public class InfiniteAssertRewriter extends Object implements StructuredStatementTransformer
Constructor and Description |
---|
InfiniteAssertRewriter(StaticVariable assertionStatic) |
Modifier and Type | Method and Description |
---|---|
void |
transform(Op04StructuredStatement root) |
StructuredStatement |
transform(StructuredStatement in,
StructuredScope scope) |
public InfiniteAssertRewriter(StaticVariable assertionStatic)
public void transform(Op04StructuredStatement root)
public StructuredStatement transform(StructuredStatement in, StructuredScope scope)
transform
in interface StructuredStatementTransformer
Copyright © 2011-2021. All Rights Reserved.