public class PreconditionAssertRewriter extends java.lang.Object implements StructuredStatementTransformer
Modifier and Type | Field and Description |
---|---|
private Expression |
test |
Constructor and Description |
---|
PreconditionAssertRewriter(StaticVariable assertionStatic) |
Modifier and Type | Method and 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) |
private Expression test
public PreconditionAssertRewriter(StaticVariable assertionStatic)
public void transform(Op04StructuredStatement root)
public StructuredStatement transform(StructuredStatement in, StructuredScope scope)
transform
in interface StructuredStatementTransformer
private StructuredStatement transformAssertIf(StructuredIf in)
private java.util.List<ConditionalExpression> getFlattenedCNF(ConditionalExpression ce)
private void getFlattenedCNF(ConditionalExpression ce, java.util.List<ConditionalExpression> accum)