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