Class PreconditionAssertRewriter
java.lang.Object
org.benf.cfr.reader.bytecode.analysis.opgraph.op4rewriters.transformers.PreconditionAssertRewriter
- All Implemented Interfaces:
StructuredStatementTransformer
-
Field Summary
Fields -
Constructor Summary
Constructors -
Method Summary
Modifier and TypeMethodDescriptionprivate List<ConditionalExpression>
private void
void
transform
(StructuredStatement in, StructuredScope scope) private StructuredStatement
-
Field Details
-
test
-
-
Constructor Details
-
PreconditionAssertRewriter
-
-
Method Details
-
transform
-
transform
- Specified by:
transform
in interfaceStructuredStatementTransformer
-
transformAssertIf
-
getFlattenedCNF
-
getFlattenedCNF
-