public class InfiniteAssertRewriter extends java.lang.Object implements StructuredStatementTransformer
Modifier and Type | Field and Description |
---|---|
private Expression |
match1 |
private Expression |
match2 |
private StructuredStatement |
thrw |
private WildcardMatch |
wcm1 |
Constructor and Description |
---|
InfiniteAssertRewriter(StaticVariable assertionStatic) |
Modifier and Type | Method and Description |
---|---|
private boolean |
checkThrow(StructuredStatement thrw) |
private void |
replaceThrow(Op04StructuredStatement thrw,
Op04StructuredStatement whil,
BlockIdentifier ident,
ConditionalExpression cond) |
void |
transform(Op04StructuredStatement root) |
StructuredStatement |
transform(StructuredStatement in,
StructuredScope scope) |
private final WildcardMatch wcm1
private final Expression match1
private final Expression match2
private final StructuredStatement thrw
public InfiniteAssertRewriter(StaticVariable assertionStatic)
public void transform(Op04StructuredStatement root)
public StructuredStatement transform(StructuredStatement in, StructuredScope scope)
transform
in interface StructuredStatementTransformer
private void replaceThrow(Op04StructuredStatement thrw, Op04StructuredStatement whil, BlockIdentifier ident, ConditionalExpression cond)
private boolean checkThrow(StructuredStatement thrw)