nts.interf.base
Interface IVisitable

All Known Subinterfaces:
IAccess, IAccessBasic, IAccessIndexed, IAccessMulti, IAnnotations, ICall, IControlState, IExpr, IExprAnd, IExprArraySize, IExprBin, IExprDivide, IExprEq, IExprEquiv, IExprExists, IExprForall, IExprGeq, IExprGt, IExprImpl, IExprLeq, IExprList, IExprLt, IExprMinus, IExprMult, IExprNeq, IExprNot, IExprOr, IExprPlus, IExprQ, IExprRemainder, IExprUn, IExprUnaryMinus, IHavoc, ILabel, ILitBool, ILitReal, INTS, ISubsystem, ITransition, IType, IVarTable, IVarTableEntry

public interface IVisitable

Visitable syntactical elements.


Method Summary
 void accept(IVisitor v)
           
 

Method Detail

accept

void accept(IVisitor v)