|
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.VisitorArgResult
escjava.ast.VisitorArgResult
Constructor Summary | |
VisitorArgResult()
|
Method Summary | |
abstract java.lang.Object |
visitAnOverview(AnOverview x,
java.lang.Object o)
|
abstract java.lang.Object |
visitArrayRangeRefExpr(ArrayRangeRefExpr x,
java.lang.Object o)
|
java.lang.Object |
visitAssignCmd(AssignCmd x,
java.lang.Object o)
|
java.lang.Object |
visitCall(Call x,
java.lang.Object o)
|
java.lang.Object |
visitCmdCmdCmd(CmdCmdCmd x,
java.lang.Object o)
|
abstract java.lang.Object |
visitCondExprModifierPragma(CondExprModifierPragma x,
java.lang.Object o)
|
abstract java.lang.Object |
visitCondition(Condition x,
java.lang.Object o)
|
abstract java.lang.Object |
visitDefPred(DefPred x,
java.lang.Object o)
|
abstract java.lang.Object |
visitDefPredApplExpr(DefPredApplExpr x,
java.lang.Object o)
|
abstract java.lang.Object |
visitDefPredLetExpr(DefPredLetExpr x,
java.lang.Object o)
|
abstract java.lang.Object |
visitDependsPragma(DependsPragma x,
java.lang.Object o)
|
java.lang.Object |
visitDynInstCmd(DynInstCmd x,
java.lang.Object o)
|
abstract java.lang.Object |
visitEverythingExpr(EverythingExpr x,
java.lang.Object o)
|
java.lang.Object |
visitExprCmd(ExprCmd x,
java.lang.Object o)
|
abstract java.lang.Object |
visitExprDeclPragma(ExprDeclPragma x,
java.lang.Object o)
|
abstract java.lang.Object |
visitExprModifierPragma(ExprModifierPragma x,
java.lang.Object o)
|
abstract java.lang.Object |
visitExprStmtPragma(ExprStmtPragma x,
java.lang.Object o)
|
abstract java.lang.Object |
visitGCExpr(GCExpr x,
java.lang.Object o)
|
java.lang.Object |
visitGeneralizedQuantifiedExpr(GeneralizedQuantifiedExpr x,
java.lang.Object o)
|
java.lang.Object |
visitGetsCmd(GetsCmd x,
java.lang.Object o)
|
abstract java.lang.Object |
visitGhostDeclPragma(GhostDeclPragma x,
java.lang.Object o)
|
abstract java.lang.Object |
visitGuardedCmd(GuardedCmd x,
java.lang.Object o)
|
abstract java.lang.Object |
visitGuardExpr(GuardExpr x,
java.lang.Object o)
|
abstract java.lang.Object |
visitIdentifierModifierPragma(IdentifierModifierPragma x,
java.lang.Object o)
|
abstract java.lang.Object |
visitIdExprDeclPragma(IdExprDeclPragma x,
java.lang.Object o)
|
abstract java.lang.Object |
visitImportPragma(ImportPragma x,
java.lang.Object o)
|
java.lang.Object |
visitLabelExpr(LabelExpr x,
java.lang.Object o)
|
abstract java.lang.Object |
visitLockSetExpr(LockSetExpr x,
java.lang.Object o)
|
java.lang.Object |
visitLoopCmd(LoopCmd x,
java.lang.Object o)
|
abstract java.lang.Object |
visitMapsExprModifierPragma(MapsExprModifierPragma x,
java.lang.Object o)
|
abstract java.lang.Object |
visitModelConstructorDeclPragma(ModelConstructorDeclPragma x,
java.lang.Object o)
|
abstract java.lang.Object |
visitModelDeclPragma(ModelDeclPragma x,
java.lang.Object o)
|
abstract java.lang.Object |
visitModelMethodDeclPragma(ModelMethodDeclPragma x,
java.lang.Object o)
|
abstract java.lang.Object |
visitModelProgamModifierPragma(ModelProgamModifierPragma x,
java.lang.Object o)
|
abstract java.lang.Object |
visitModelTypePragma(ModelTypePragma x,
java.lang.Object o)
|
abstract java.lang.Object |
visitModifiesGroupPragma(ModifiesGroupPragma x,
java.lang.Object o)
|
abstract java.lang.Object |
visitNamedExprDeclPragma(NamedExprDeclPragma x,
java.lang.Object o)
|
java.lang.Object |
visitNaryExpr(NaryExpr x,
java.lang.Object o)
|
abstract java.lang.Object |
visitNestedModifierPragma(NestedModifierPragma x,
java.lang.Object o)
|
abstract java.lang.Object |
visitNothingExpr(NothingExpr x,
java.lang.Object o)
|
abstract java.lang.Object |
visitNotModifiedExpr(NotModifiedExpr x,
java.lang.Object o)
|
abstract java.lang.Object |
visitNotSpecifiedExpr(NotSpecifiedExpr x,
java.lang.Object o)
|
abstract java.lang.Object |
visitNowarnPragma(NowarnPragma x,
java.lang.Object o)
|
java.lang.Object |
visitNumericalQuantifiedExpr(NumericalQuantifiedExpr x,
java.lang.Object o)
|
abstract java.lang.Object |
visitParsedSpecs(ParsedSpecs x,
java.lang.Object o)
|
java.lang.Object |
visitQuantifiedExpr(QuantifiedExpr x,
java.lang.Object o)
|
abstract java.lang.Object |
visitReachModifierPragma(ReachModifierPragma x,
java.lang.Object o)
|
abstract java.lang.Object |
visitRefinePragma(RefinePragma x,
java.lang.Object o)
|
abstract java.lang.Object |
visitResExpr(ResExpr x,
java.lang.Object o)
|
java.lang.Object |
visitRestoreFromCmd(RestoreFromCmd x,
java.lang.Object o)
|
java.lang.Object |
visitSeqCmd(SeqCmd x,
java.lang.Object o)
|
abstract java.lang.Object |
visitSetCompExpr(SetCompExpr x,
java.lang.Object o)
|
abstract java.lang.Object |
visitSetStmtPragma(SetStmtPragma x,
java.lang.Object o)
|
java.lang.Object |
visitSimpleCmd(SimpleCmd x,
java.lang.Object o)
|
abstract java.lang.Object |
visitSimpleModifierPragma(SimpleModifierPragma x,
java.lang.Object o)
|
abstract java.lang.Object |
visitSimpleStmtPragma(SimpleStmtPragma x,
java.lang.Object o)
|
abstract java.lang.Object |
visitSkolemConstantPragma(SkolemConstantPragma x,
java.lang.Object o)
|
abstract java.lang.Object |
visitSpec(Spec x,
java.lang.Object o)
|
abstract java.lang.Object |
visitStillDeferredDeclPragma(StillDeferredDeclPragma x,
java.lang.Object o)
|
java.lang.Object |
visitSubGetsCmd(SubGetsCmd x,
java.lang.Object o)
|
java.lang.Object |
visitSubstExpr(SubstExpr x,
java.lang.Object o)
|
java.lang.Object |
visitSubSubGetsCmd(SubSubGetsCmd x,
java.lang.Object o)
|
java.lang.Object |
visitTypeExpr(TypeExpr x,
java.lang.Object o)
|
abstract java.lang.Object |
visitVarDeclModifierPragma(VarDeclModifierPragma x,
java.lang.Object o)
|
abstract java.lang.Object |
visitVarExprModifierPragma(VarExprModifierPragma x,
java.lang.Object o)
|
java.lang.Object |
visitVarInCmd(VarInCmd x,
java.lang.Object o)
|
abstract java.lang.Object |
visitWildRefExpr(WildRefExpr x,
java.lang.Object o)
|
Methods inherited from class java.lang.Object |
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait |
Constructor Detail |
public VisitorArgResult()
Method Detail |
public abstract java.lang.Object visitAnOverview(AnOverview x, java.lang.Object o)
public abstract java.lang.Object visitGCExpr(GCExpr x, java.lang.Object o)
public java.lang.Object visitNaryExpr(NaryExpr x, java.lang.Object o)
public java.lang.Object visitQuantifiedExpr(QuantifiedExpr x, java.lang.Object o)
public java.lang.Object visitGeneralizedQuantifiedExpr(GeneralizedQuantifiedExpr x, java.lang.Object o)
public java.lang.Object visitNumericalQuantifiedExpr(NumericalQuantifiedExpr x, java.lang.Object o)
public java.lang.Object visitSubstExpr(SubstExpr x, java.lang.Object o)
public java.lang.Object visitTypeExpr(TypeExpr x, java.lang.Object o)
public java.lang.Object visitLabelExpr(LabelExpr x, java.lang.Object o)
public abstract java.lang.Object visitWildRefExpr(WildRefExpr x, java.lang.Object o)
public abstract java.lang.Object visitGuardExpr(GuardExpr x, java.lang.Object o)
public abstract java.lang.Object visitResExpr(ResExpr x, java.lang.Object o)
public abstract java.lang.Object visitSetCompExpr(SetCompExpr x, java.lang.Object o)
public abstract java.lang.Object visitLockSetExpr(LockSetExpr x, java.lang.Object o)
public abstract java.lang.Object visitEverythingExpr(EverythingExpr x, java.lang.Object o)
public abstract java.lang.Object visitNothingExpr(NothingExpr x, java.lang.Object o)
public abstract java.lang.Object visitNotSpecifiedExpr(NotSpecifiedExpr x, java.lang.Object o)
public abstract java.lang.Object visitNotModifiedExpr(NotModifiedExpr x, java.lang.Object o)
public abstract java.lang.Object visitArrayRangeRefExpr(ArrayRangeRefExpr x, java.lang.Object o)
public abstract java.lang.Object visitDefPredLetExpr(DefPredLetExpr x, java.lang.Object o)
public abstract java.lang.Object visitDefPredApplExpr(DefPredApplExpr x, java.lang.Object o)
public abstract java.lang.Object visitGuardedCmd(GuardedCmd x, java.lang.Object o)
public java.lang.Object visitSimpleCmd(SimpleCmd x, java.lang.Object o)
public java.lang.Object visitExprCmd(ExprCmd x, java.lang.Object o)
public java.lang.Object visitAssignCmd(AssignCmd x, java.lang.Object o)
public java.lang.Object visitGetsCmd(GetsCmd x, java.lang.Object o)
public java.lang.Object visitSubGetsCmd(SubGetsCmd x, java.lang.Object o)
public java.lang.Object visitSubSubGetsCmd(SubSubGetsCmd x, java.lang.Object o)
public java.lang.Object visitRestoreFromCmd(RestoreFromCmd x, java.lang.Object o)
public java.lang.Object visitVarInCmd(VarInCmd x, java.lang.Object o)
public java.lang.Object visitDynInstCmd(DynInstCmd x, java.lang.Object o)
public java.lang.Object visitSeqCmd(SeqCmd x, java.lang.Object o)
public java.lang.Object visitLoopCmd(LoopCmd x, java.lang.Object o)
public java.lang.Object visitCmdCmdCmd(CmdCmdCmd x, java.lang.Object o)
public java.lang.Object visitCall(Call x, java.lang.Object o)
public abstract java.lang.Object visitExprDeclPragma(ExprDeclPragma x, java.lang.Object o)
public abstract java.lang.Object visitIdExprDeclPragma(IdExprDeclPragma x, java.lang.Object o)
public abstract java.lang.Object visitNamedExprDeclPragma(NamedExprDeclPragma x, java.lang.Object o)
public abstract java.lang.Object visitModelDeclPragma(ModelDeclPragma x, java.lang.Object o)
public abstract java.lang.Object visitDependsPragma(DependsPragma x, java.lang.Object o)
public abstract java.lang.Object visitModelConstructorDeclPragma(ModelConstructorDeclPragma x, java.lang.Object o)
public abstract java.lang.Object visitModelTypePragma(ModelTypePragma x, java.lang.Object o)
public abstract java.lang.Object visitModelMethodDeclPragma(ModelMethodDeclPragma x, java.lang.Object o)
public abstract java.lang.Object visitGhostDeclPragma(GhostDeclPragma x, java.lang.Object o)
public abstract java.lang.Object visitStillDeferredDeclPragma(StillDeferredDeclPragma x, java.lang.Object o)
public abstract java.lang.Object visitSimpleStmtPragma(SimpleStmtPragma x, java.lang.Object o)
public abstract java.lang.Object visitIdentifierModifierPragma(IdentifierModifierPragma x, java.lang.Object o)
public abstract java.lang.Object visitExprStmtPragma(ExprStmtPragma x, java.lang.Object o)
public abstract java.lang.Object visitSetStmtPragma(SetStmtPragma x, java.lang.Object o)
public abstract java.lang.Object visitSkolemConstantPragma(SkolemConstantPragma x, java.lang.Object o)
public abstract java.lang.Object visitModelProgamModifierPragma(ModelProgamModifierPragma x, java.lang.Object o)
public abstract java.lang.Object visitNestedModifierPragma(NestedModifierPragma x, java.lang.Object o)
public abstract java.lang.Object visitParsedSpecs(ParsedSpecs x, java.lang.Object o)
public abstract java.lang.Object visitSimpleModifierPragma(SimpleModifierPragma x, java.lang.Object o)
public abstract java.lang.Object visitExprModifierPragma(ExprModifierPragma x, java.lang.Object o)
public abstract java.lang.Object visitModifiesGroupPragma(ModifiesGroupPragma x, java.lang.Object o)
public abstract java.lang.Object visitCondExprModifierPragma(CondExprModifierPragma x, java.lang.Object o)
public abstract java.lang.Object visitMapsExprModifierPragma(MapsExprModifierPragma x, java.lang.Object o)
public abstract java.lang.Object visitReachModifierPragma(ReachModifierPragma x, java.lang.Object o)
public abstract java.lang.Object visitVarDeclModifierPragma(VarDeclModifierPragma x, java.lang.Object o)
public abstract java.lang.Object visitVarExprModifierPragma(VarExprModifierPragma x, java.lang.Object o)
public abstract java.lang.Object visitNowarnPragma(NowarnPragma x, java.lang.Object o)
public abstract java.lang.Object visitImportPragma(ImportPragma x, java.lang.Object o)
public abstract java.lang.Object visitRefinePragma(RefinePragma x, java.lang.Object o)
public abstract java.lang.Object visitSpec(Spec x, java.lang.Object o)
public abstract java.lang.Object visitCondition(Condition x, java.lang.Object o)
public abstract java.lang.Object visitDefPred(DefPred x, java.lang.Object o)
|
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 |