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

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)
           
 


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

The ESC/Java2 Project Homepage