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.VisitorArgResult

Packages that use VisitorArgResult
escjava.ast   
javafe.ast   
javafe.tc   
 

Uses of VisitorArgResult in escjava.ast
 

Subclasses of VisitorArgResult in escjava.ast
 class VisitorArgResult
           
 

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

Uses of VisitorArgResult in javafe.ast
 

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

Uses of VisitorArgResult in javafe.tc
 

Methods in javafe.tc with parameters of type VisitorArgResult
 java.lang.Object TypeSig.accept(VisitorArgResult v, 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

The ESC/Java2 Project Homepage