Class InfiniteAssertRewriter
- java.lang.Object
-
- org.benf.cfr.reader.bytecode.analysis.opgraph.op4rewriters.transformers.InfiniteAssertRewriter
-
- All Implemented Interfaces:
StructuredStatementTransformer
public class InfiniteAssertRewriter extends java.lang.Object implements StructuredStatementTransformer
-
-
Field Summary
Fields Modifier and Type Field Description private Expression
match1
private Expression
match2
private StructuredStatement
thrw
private WildcardMatch
wcm1
-
Constructor Summary
Constructors Constructor Description InfiniteAssertRewriter(StaticVariable assertionStatic)
-
Method Summary
All Methods Instance Methods Concrete Methods Modifier and Type Method 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)
-
-
-
Field Detail
-
wcm1
private final WildcardMatch wcm1
-
match1
private final Expression match1
-
match2
private final Expression match2
-
thrw
private final StructuredStatement thrw
-
-
Constructor Detail
-
InfiniteAssertRewriter
public InfiniteAssertRewriter(StaticVariable assertionStatic)
-
-
Method Detail
-
transform
public void transform(Op04StructuredStatement root)
-
transform
public StructuredStatement transform(StructuredStatement in, StructuredScope scope)
- Specified by:
transform
in interfaceStructuredStatementTransformer
-
replaceThrow
private void replaceThrow(Op04StructuredStatement thrw, Op04StructuredStatement whil, BlockIdentifier ident, ConditionalExpression cond)
-
checkThrow
private boolean checkThrow(StructuredStatement thrw)
-
-