nts.interf.base
Interface IVisitor
public interface IVisitor
The visitor is responsible for determining the order of traversal. For instance, upon visiting the AND operator,
the visitor is expected to invoke operand1.accept(this) and operand2.accept(this).
visit
void visit(INTS e)
visit
void visit(ISubsystem e)
visit
void visit(IAnnotations e)
visit
void visit(IControlState e)
visit
void visit(ITransition e)
visit
void visit(ICall e)
visit
void visit(IVarTable e)
visit
void visit(IVarTableEntry e)
visit
void visit(IType e)
visit
void visit(IExprNot e)
visit
void visit(IExprAnd e)
visit
void visit(IExprOr e)
visit
void visit(IExprImpl e)
visit
void visit(IExprEquiv e)
visit
void visit(IExprExists e)
visit
void visit(IExprForall e)
visit
void visit(IExprEq e)
visit
void visit(IExprNeq e)
visit
void visit(IExprLeq e)
visit
void visit(IExprLt e)
visit
void visit(IExprGeq e)
visit
void visit(IExprGt e)
visit
void visit(IExprMult e)
visit
void visit(IExprRemainder e)
visit
void visit(IExprDivide e)
visit
void visit(IExprPlus e)
visit
void visit(IExprMinus e)
visit
void visit(IExprUnaryMinus e)
visit
void visit(IExprArraySize e)
visit
void visit(IExprList e)
visit
void visit(IAccessBasic e)
visit
void visit(IAccessIndexed e)
visit
void visit(IAccessMulti e)
visit
void visit(ILitBool e)
visit
void visit(ILitInt e)
visit
void visit(ILitReal e)
visit
void visit(IHavoc e)