|
ESC/Java2 © 2003,2004,2005 David Cok and Joseph Kiniry © 2005 UCD Dublin © 2003,2004 Radboud University Nijmegen © 1999,2000 Compaq Computer Corporation © 1997,1998,1999 Digital Equipment Corporation All Rights Reserved |
||||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | ||||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |
java.lang.Objectjavafe.ast.Visitor
escjava.ast.Visitor
Constructor Summary | |
Visitor()
|
Methods inherited from class java.lang.Object |
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait |
Constructor Detail |
public Visitor()
Method Detail |
public abstract void visitAnOverview(AnOverview x)
public abstract void visitGCExpr(GCExpr x)
public void visitNaryExpr(NaryExpr x)
public void visitQuantifiedExpr(QuantifiedExpr x)
public void visitGeneralizedQuantifiedExpr(GeneralizedQuantifiedExpr x)
public void visitNumericalQuantifiedExpr(NumericalQuantifiedExpr x)
public void visitSubstExpr(SubstExpr x)
public void visitTypeExpr(TypeExpr x)
public void visitLabelExpr(LabelExpr x)
public abstract void visitWildRefExpr(WildRefExpr x)
public abstract void visitGuardExpr(GuardExpr x)
public abstract void visitResExpr(ResExpr x)
public abstract void visitSetCompExpr(SetCompExpr x)
public abstract void visitLockSetExpr(LockSetExpr x)
public abstract void visitEverythingExpr(EverythingExpr x)
public abstract void visitNothingExpr(NothingExpr x)
public abstract void visitNotSpecifiedExpr(NotSpecifiedExpr x)
public abstract void visitNotModifiedExpr(NotModifiedExpr x)
public abstract void visitArrayRangeRefExpr(ArrayRangeRefExpr x)
public abstract void visitDefPredLetExpr(DefPredLetExpr x)
public abstract void visitDefPredApplExpr(DefPredApplExpr x)
public abstract void visitGuardedCmd(GuardedCmd x)
public void visitSimpleCmd(SimpleCmd x)
public void visitExprCmd(ExprCmd x)
public void visitAssignCmd(AssignCmd x)
public void visitGetsCmd(GetsCmd x)
public void visitSubGetsCmd(SubGetsCmd x)
public void visitSubSubGetsCmd(SubSubGetsCmd x)
public void visitRestoreFromCmd(RestoreFromCmd x)
public void visitVarInCmd(VarInCmd x)
public void visitDynInstCmd(DynInstCmd x)
public void visitSeqCmd(SeqCmd x)
public void visitLoopCmd(LoopCmd x)
public void visitCmdCmdCmd(CmdCmdCmd x)
public void visitCall(Call x)
public abstract void visitExprDeclPragma(ExprDeclPragma x)
public abstract void visitIdExprDeclPragma(IdExprDeclPragma x)
public abstract void visitNamedExprDeclPragma(NamedExprDeclPragma x)
public abstract void visitModelDeclPragma(ModelDeclPragma x)
public abstract void visitDependsPragma(DependsPragma x)
public abstract void visitModelConstructorDeclPragma(ModelConstructorDeclPragma x)
public abstract void visitModelTypePragma(ModelTypePragma x)
public abstract void visitModelMethodDeclPragma(ModelMethodDeclPragma x)
public abstract void visitGhostDeclPragma(GhostDeclPragma x)
public abstract void visitStillDeferredDeclPragma(StillDeferredDeclPragma x)
public abstract void visitSimpleStmtPragma(SimpleStmtPragma x)
public abstract void visitIdentifierModifierPragma(IdentifierModifierPragma x)
public abstract void visitExprStmtPragma(ExprStmtPragma x)
public abstract void visitSetStmtPragma(SetStmtPragma x)
public abstract void visitSkolemConstantPragma(SkolemConstantPragma x)
public abstract void visitModelProgamModifierPragma(ModelProgamModifierPragma x)
public abstract void visitNestedModifierPragma(NestedModifierPragma x)
public abstract void visitParsedSpecs(ParsedSpecs x)
public abstract void visitSimpleModifierPragma(SimpleModifierPragma x)
public abstract void visitExprModifierPragma(ExprModifierPragma x)
public abstract void visitModifiesGroupPragma(ModifiesGroupPragma x)
public abstract void visitCondExprModifierPragma(CondExprModifierPragma x)
public abstract void visitMapsExprModifierPragma(MapsExprModifierPragma x)
public abstract void visitReachModifierPragma(ReachModifierPragma x)
public abstract void visitVarDeclModifierPragma(VarDeclModifierPragma x)
public abstract void visitVarExprModifierPragma(VarExprModifierPragma x)
public abstract void visitNowarnPragma(NowarnPragma x)
public abstract void visitImportPragma(ImportPragma x)
public abstract void visitRefinePragma(RefinePragma x)
public abstract void visitSpec(Spec x)
public abstract void visitCondition(Condition x)
public abstract void visitDefPred(DefPred x)
|
ESC/Java2 © 2003,2004,2005 David Cok and Joseph Kiniry © 2005 UCD Dublin © 2003,2004 Radboud University Nijmegen © 1999,2000 Compaq Computer Corporation © 1997,1998,1999 Digital Equipment Corporation All Rights Reserved |
||||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | ||||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |