Overview | Package | Class | Use | Tree | Deprecated | Index | Help
| 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 NEXT | FRAMES NO FRAMES

## Uses of Class
javafe.ast.Visitor

Packages that use Visitor
escjava.ast |
javafe.ast |
javafe.tc |

Uses of Visitor in escjava.ast

Subclasses of Visitor in escjava.ast
`class` | `Visitor`

Methods in escjava.ast with parameters of type Visitor
`void` | `WildRefExpr.accept(Visitor v)`
`void` | `VarInCmd.accept(Visitor v)`
`void` | `VarExprModifierPragma.accept(Visitor v)`
`void` | `VarDeclModifierPragma.accept(Visitor v)`
`void` | `TypeExpr.accept(Visitor v)`
`void` | `SubSubGetsCmd.accept(Visitor v)`
`void` | `SubstExpr.accept(Visitor v)`
`void` | `SubGetsCmd.accept(Visitor v)`
`void` | `StillDeferredDeclPragma.accept(Visitor v)`
`void` | `Spec.accept(Visitor v)`
`void` | `SkolemConstantPragma.accept(Visitor v)`
`void` | `SimpleStmtPragma.accept(Visitor v)`
`void` | `SimpleModifierPragma.accept(Visitor v)`
`void` | `SimpleCmd.accept(Visitor v)`
`void` | `SetStmtPragma.accept(Visitor v)`
`void` | `SetCompExpr.accept(Visitor v)`
`void` | `SeqCmd.accept(Visitor v)`
`void` | `RestoreFromCmd.accept(Visitor v)`
`void` | `ResExpr.accept(Visitor v)`
`void` | `RefinePragma.accept(Visitor v)`
`void` | `ReachModifierPragma.accept(Visitor v)`
`void` | `QuantifiedExpr.accept(Visitor v)`
`void` | `ParsedSpecs.accept(Visitor v)`
`void` | `NumericalQuantifiedExpr.accept(Visitor v)`
`void` | `NowarnPragma.accept(Visitor v)`
`void` | `NotSpecifiedExpr.accept(Visitor v)`
`void` | `NotModifiedExpr.accept(Visitor v)`
`void` | `NothingExpr.accept(Visitor v)`
`void` | `NestedModifierPragma.accept(Visitor v)`
`void` | `NaryExpr.accept(Visitor v)`
`void` | `NamedExprDeclPragma.accept(Visitor v)`
`void` | `ModifiesGroupPragma.accept(Visitor v)`
`void` | `ModelTypePragma.accept(Visitor v)`
`void` | `ModelProgamModifierPragma.accept(Visitor v)`
`void` | `ModelMethodDeclPragma.accept(Visitor v)`
`void` | `ModelDeclPragma.accept(Visitor v)`
`void` | `ModelConstructorDeclPragma.accept(Visitor v)`
`void` | `MapsExprModifierPragma.accept(Visitor v)`
`void` | `LoopCmd.accept(Visitor v)`
`void` | `LockSetExpr.accept(Visitor v)`
`void` | `LabelExpr.accept(Visitor v)`
`void` | `ImportPragma.accept(Visitor v)`
`void` | `IdExprDeclPragma.accept(Visitor v)`
`void` | `IdentifierModifierPragma.accept(Visitor v)`
`void` | `GuardExpr.accept(Visitor v)`
`abstract void` | `GuardedCmd.accept(Visitor v)` Accept a visit from `v`.
`void` | `GhostDeclPragma.accept(Visitor v)`
`void` | `GetsCmd.accept(Visitor v)`
`void` | `GeneralizedQuantifiedExpr.accept(Visitor v)`
`abstract void` | `GCExpr.accept(Visitor v)` Accept a visit from `v`.
`void` | `ExprStmtPragma.accept(Visitor v)`
`void` | `ExprModifierPragma.accept(Visitor v)`
`void` | `ExprDeclPragma.accept(Visitor v)`
`void` | `ExprCmd.accept(Visitor v)`
`void` | `EverythingExpr.accept(Visitor v)`
`void` | `DynInstCmd.accept(Visitor v)`
`void` | `DependsPragma.accept(Visitor v)`
`void` | `DefPredLetExpr.accept(Visitor v)`
`void` | `DefPredApplExpr.accept(Visitor v)`
`void` | `DefPred.accept(Visitor v)`
`void` | `Condition.accept(Visitor v)`
`void` | `CondExprModifierPragma.accept(Visitor v)`
`void` | `CmdCmdCmd.accept(Visitor v)`
`void` | `Call.accept(Visitor v)`
`void` | `ArrayRangeRefExpr.accept(Visitor v)`
`abstract void` | `AnOverview.accept(Visitor v)` Accept a visit from `v`.

Uses of Visitor in javafe.ast

Subclasses of Visitor in javafe.ast
`class` | `DefaultVisitor`

Methods in javafe.ast with parameters of type Visitor
`void` | `WhileStmt.accept(Visitor v)`
`void` | `VariableAccess.accept(Visitor v)`
`void` | `VarDeclStmt.accept(Visitor v)`
`void` | `UnaryExpr.accept(Visitor v)`
`void` | `TypeObjectDesignator.accept(Visitor v)`
`void` | `TypeName.accept(Visitor v)`
`void` | `TypeDeclElem.accept(Visitor v)`
`void` | `TryFinallyStmt.accept(Visitor v)`
`void` | `TryCatchStmt.accept(Visitor v)`
`void` | `ThrowStmt.accept(Visitor v)`
`void` | `ThisExpr.accept(Visitor v)`
`void` | `SynchronizeStmt.accept(Visitor v)`
`void` | `SwitchStmt.accept(Visitor v)`
`void` | `SwitchLabel.accept(Visitor v)`
`void` | `SuperObjectDesignator.accept(Visitor v)`
`void` | `SkipStmt.accept(Visitor v)`
`void` | `SingleTypeImportDecl.accept(Visitor v)`
`void` | `SimpleName.accept(Visitor v)`
`void` | `ReturnStmt.accept(Visitor v)`
`void` | `PrimitiveType.accept(Visitor v)`
`void` | `ParenExpr.accept(Visitor v)`
`void` | `OnDemandImportDecl.accept(Visitor v)`
`void` | `NewInstanceExpr.accept(Visitor v)`
`void` | `NewArrayExpr.accept(Visitor v)`
`void` | `MethodInvocation.accept(Visitor v)`
`void` | `MethodDecl.accept(Visitor v)`
`void` | `LocalVarDecl.accept(Visitor v)`
`void` | `LiteralExpr.accept(Visitor v)`
`void` | `LabelStmt.accept(Visitor v)`
`void` | `InterfaceDecl.accept(Visitor v)`
`void` | `InstanceOfExpr.accept(Visitor v)`
`void` | `InitBlock.accept(Visitor v)`
`void` | `IfStmt.accept(Visitor v)`
`void` | `IdentifierNode.accept(Visitor v)`
`void` | `ForStmt.accept(Visitor v)`
`void` | `FormalParaDecl.accept(Visitor v)`
`void` | `FieldDecl.accept(Visitor v)`
`void` | `FieldAccess.accept(Visitor v)`
`void` | `ExprObjectDesignator.accept(Visitor v)`
`void` | `EvalStmt.accept(Visitor v)`
`void` | `ErrorType.accept(Visitor v)`
`void` | `DoStmt.accept(Visitor v)`
`void` | `ContinueStmt.accept(Visitor v)`
`void` | `ConstructorInvocation.accept(Visitor v)`
`void` | `ConstructorDecl.accept(Visitor v)`
`void` | `CondExpr.accept(Visitor v)`
`void` | `CompoundName.accept(Visitor v)`
`void` | `CompilationUnit.accept(Visitor v)`
`void` | `ClassLiteral.accept(Visitor v)`
`void` | `ClassDeclStmt.accept(Visitor v)`
`void` | `ClassDecl.accept(Visitor v)`
`void` | `CatchClause.accept(Visitor v)`
`void` | `CastExpr.accept(Visitor v)`
`void` | `BreakStmt.accept(Visitor v)`
`void` | `BlockStmt.accept(Visitor v)`
`void` | `BinaryExpr.accept(Visitor v)`
`abstract void` | `ASTNode.accept(Visitor v)` Accept a visit from `v`.
`void` | `AssertStmt.accept(Visitor v)`
`void` | `ArrayType.accept(Visitor v)`
`void` | `ArrayRefExpr.accept(Visitor v)`
`void` | `ArrayInit.accept(Visitor v)`
`void` | `AmbiguousVariableAccess.accept(Visitor v)`
`void` | `AmbiguousMethodInvocation.accept(Visitor v)`

Uses of Visitor in javafe.tc

Methods in javafe.tc with parameters of type Visitor
`void` | `TypeSig.accept(Visitor v)`

Overview | Package | Class | Use | Tree | Deprecated | Index | Help
| 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 NEXT | FRAMES NO FRAMES

The ESC/Java2 Project Homepage