Package gov.nasa.jpf.symbc.veritesting.ast.visitors

Interface Summary

Interface	Description
AstVisitor<T>	An interface for visiting all Statements in RangerIR.
ExprVisitor<T>	An interface for visiting all expression in RangerIR.

Class Summary

Class	Description
AstIterVisitor<T>
AstMapVisitor	A RangerIR statement visitor that creates a new instance of the statement.
ExprIdVisitor
ExprIterVisitor<T>	Visits all expressions and applies the checking "combine" and returns the result of the checking.
ExprMapVisitor	RangerIR expression visitor that creates a new instance of the same expression.
ExprVisitorAdapter<T>	An adaptor that pushes the visitor to the right visit for a Green expression.
FixedPointAstMapVisitor
ForallAstVisitor
ForallExprVisitor	A visitor that enforces invariant checking on all expressions by passing the operation and expected result.
PrettyPrintVisitor	Pretty print of all statements and expressions in RangerIR.
StmtPrintVisitor	Prints out Statement in RangerIR.