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).


Method Summary
 void visit(IAccessBasic e)
           
 void visit(IAccessIndexed e)
           
 void visit(IAccessMulti e)
           
 void visit(IAnnotations e)
           
 void visit(ICall e)
           
 void visit(IControlState e)
           
 void visit(IExprAnd e)
           
 void visit(IExprArraySize e)
           
 void visit(IExprDivide e)
           
 void visit(IExprEq e)
           
 void visit(IExprEquiv e)
           
 void visit(IExprExists e)
           
 void visit(IExprForall e)
           
 void visit(IExprGeq e)
           
 void visit(IExprGt e)
           
 void visit(IExprImpl e)
           
 void visit(IExprLeq e)
           
 void visit(IExprList e)
           
 void visit(IExprLt e)
           
 void visit(IExprMinus e)
           
 void visit(IExprMult e)
           
 void visit(IExprNeq e)
           
 void visit(IExprNot e)
           
 void visit(IExprOr e)
           
 void visit(IExprPlus e)
           
 void visit(IExprRemainder e)
           
 void visit(IExprUnaryMinus e)
           
 void visit(IHavoc e)
           
 void visit(ILitBool e)
           
 void visit(ILitInt e)
           
 void visit(ILitReal e)
           
 void visit(INTS e)
           
 void visit(ISubsystem e)
           
 void visit(ITransition e)
           
 void visit(IType e)
           
 void visit(IVarTable e)
           
 void visit(IVarTableEntry e)
           
 

Method Detail

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)