Class PreconditionAssertRewriter
- java.lang.Object
-
- org.benf.cfr.reader.bytecode.analysis.opgraph.op4rewriters.transformers.PreconditionAssertRewriter
-
- All Implemented Interfaces:
StructuredStatementTransformer
public class PreconditionAssertRewriter extends java.lang.Object implements StructuredStatementTransformer
-
-
Field Summary
Fields Modifier and Type Field Description private Expression
test
-
Constructor Summary
Constructors Constructor Description PreconditionAssertRewriter(StaticVariable assertionStatic)
-
Method Summary
All Methods Instance Methods Concrete Methods Modifier and Type Method Description private java.util.List<ConditionalExpression>
getFlattenedCNF(ConditionalExpression ce)
private void
getFlattenedCNF(ConditionalExpression ce, java.util.List<ConditionalExpression> accum)
void
transform(Op04StructuredStatement root)
StructuredStatement
transform(StructuredStatement in, StructuredScope scope)
private StructuredStatement
transformAssertIf(StructuredIf in)
-
-
-
Field Detail
-
test
private Expression test
-
-
Constructor Detail
-
PreconditionAssertRewriter
public PreconditionAssertRewriter(StaticVariable assertionStatic)
-
-
Method Detail
-
transform
public void transform(Op04StructuredStatement root)
-
transform
public StructuredStatement transform(StructuredStatement in, StructuredScope scope)
- Specified by:
transform
in interfaceStructuredStatementTransformer
-
transformAssertIf
private StructuredStatement transformAssertIf(StructuredIf in)
-
getFlattenedCNF
private java.util.List<ConditionalExpression> getFlattenedCNF(ConditionalExpression ce)
-
getFlattenedCNF
private void getFlattenedCNF(ConditionalExpression ce, java.util.List<ConditionalExpression> accum)
-
-