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 Package
javafe.ast

Packages that use javafe.ast
escjava   
escjava.ast   
escjava.backpred   
escjava.gui   
escjava.pa   
escjava.parser   
escjava.reader   
escjava.sp   
escjava.tc   
escjava.translate   
javafe   
javafe.ast   
javafe.parser   
javafe.reader   
javafe.tc   
 

Classes in javafe.ast used by escjava
ASTNode
          ASTNode is the root of the abstract syntax tree node hierarchy.
BinaryExpr
          Represents various kinds of binary expressions (eg +,-,|,%=, etc).
CompilationUnit
          The make method of this class has the side effect of pointing the parent pointers of the TypeDecls inside a CompilationUnit to point to that unit.
Expr
          Represents an Expression.
FieldDecl
          Represents a field declaration.
FormalParaDecl
          Represents a FormalParameter.
FormalParaDeclVec
           
LiteralExpr
          Represents a Literal.
MethodDecl
           
ModifierPragma
           
ModifierPragmaVec
           
PrettyPrint
           
RoutineDecl
          Represents both MethodDeclarations and ConstructorDeclarations.
Type
          Represents a Type syntactic unit.
TypeDecl
          Represents a TypeDeclaration.
TypeDeclElem
          Represents either a ClassBodyDeclaration or an InterfaceMemberDeclaration.
TypeDeclVec
           
TypeNameVec
           
VarInit
          Represents a VariableInitializer.
 

Classes in javafe.ast used by escjava.ast
ASTDecoration
          Provides an extensible way to add 'fields' to the ASTNode.
ASTNode
          ASTNode is the root of the abstract syntax tree node hierarchy.
ConstructorDecl
          Represents a ConstructorDeclaration.
DelegatingPrettyPrint
           
Expr
          Represents an Expression.
ExprVec
           
FieldDecl
          Represents a field declaration.
FormalParaDecl
          Represents a FormalParameter.
FormalParaDeclVec
           
GeneratedTags
           
GenericVarDecl
          Represents all variable declarations, including field declarations, local variables and formal arguments.
Identifier
          An Identifier is a symbol, that is, a sequence of characters.
IdentifierVec
           
IdPragma
           
ImportDecl
           
LexicalPragma
           
LocalVarDecl
          Represents a LocalVariableDeclarationStatement.
MethodDecl
           
ModifierPragma
           
ModifierPragmaVec
           
Modifiers
          Modifiers is a class defining the constants used to identify the different kinds of modifiers, and static methods to test for modifiers.
ObjectDesignator
          Designates the object or type used for a field or method access.
OperatorTags
          OperatorTags is a class defining a partially-opaque type for tags used in the AST.
PrettyPrint
           
RoutineDecl
          Represents both MethodDeclarations and ConstructorDeclarations.
SimpleName
           
Stmt
          Represents a BlockStatement syntactic unit (which includes variable declarations).
StmtPragma
           
TagConstants
          TagConstants is a class defining a partially-opaque type for tags used in the AST.
Type
          Represents a Type syntactic unit.
TypeDecl
          Represents a TypeDeclaration.
TypeDeclElem
          Represents either a ClassBodyDeclaration or an InterfaceMemberDeclaration.
TypeDeclElemPragma
           
TypeNameVec
           
VariableAccess
          Represents a simple name that is bound to a local variable declaration.
VarInit
          Represents a VariableInitializer.
Visitor
           
VisitorArgResult
           
 

Classes in javafe.ast used by escjava.backpred
ASTNode
          ASTNode is the root of the abstract syntax tree node hierarchy.
ConstructorDecl
          Represents a ConstructorDeclaration.
Expr
          Represents an Expression.
FieldDecl
          Represents a field declaration.
FieldDeclVec
           
GenericVarDecl
          Represents all variable declarations, including field declarations, local variables and formal arguments.
LiteralExpr
          Represents a Literal.
RoutineDecl
          Represents both MethodDeclarations and ConstructorDeclarations.
Type
          Represents a Type syntactic unit.
TypeDecl
          Represents a TypeDeclaration.
VarInit
          Represents a VariableInitializer.
 

Classes in javafe.ast used by escjava.gui
CompilationUnit
          The make method of this class has the side effect of pointing the parent pointers of the TypeDecls inside a CompilationUnit to point to that unit.
RoutineDecl
          Represents both MethodDeclarations and ConstructorDeclarations.
TypeDecl
          Represents a TypeDeclaration.
 

Classes in javafe.ast used by escjava.pa
ASTDecoration
          Provides an extensible way to add 'fields' to the ASTNode.
Expr
          Represents an Expression.
ExprVec
           
GenericVarDecl
          Represents all variable declarations, including field declarations, local variables and formal arguments.
Type
          Represents a Type syntactic unit.
 

Classes in javafe.ast used by escjava.parser
ASTDecoration
          Provides an extensible way to add 'fields' to the ASTNode.
ASTNode
          ASTNode is the root of the abstract syntax tree node hierarchy.
Expr
          Represents an Expression.
FieldDecl
          Represents a field declaration.
FormalParaDecl
          Represents a FormalParameter.
FormalParaDeclVec
           
GenericVarDecl
          Represents all variable declarations, including field declarations, local variables and formal arguments.
Identifier
          An Identifier is a symbol, that is, a sequence of characters.
LocalVarDecl
          Represents a LocalVariableDeclarationStatement.
ModifierPragma
           
ModifierPragmaVec
           
PrimitiveType
          Represents a PrimitiveType syntactic unit.
Type
          Represents a Type syntactic unit.
TypeDecl
          Represents a TypeDeclaration.
TypeDeclElem
          Represents either a ClassBodyDeclaration or an InterfaceMemberDeclaration.
TypeName
           
VarInit
          Represents a VariableInitializer.
 

Classes in javafe.ast used by escjava.reader
CompilationUnit
          The make method of this class has the side effect of pointing the parent pointers of the TypeDecls inside a CompilationUnit to point to that unit.
Identifier
          An Identifier is a symbol, that is, a sequence of characters.
Name
          Treated as an immutable type.
 

Classes in javafe.ast used by escjava.sp
Expr
          Represents an Expression.
GenericVarDecl
          Represents all variable declarations, including field declarations, local variables and formal arguments.
 

Classes in javafe.ast used by escjava.tc
ASTDecoration
          Provides an extensible way to add 'fields' to the ASTNode.
ASTNode
          ASTNode is the root of the abstract syntax tree node hierarchy.
Expr
          Represents an Expression.
FieldDecl
          Represents a field declaration.
FieldDeclVec
           
GenericVarDecl
          Represents all variable declarations, including field declarations, local variables and formal arguments.
Identifier
          An Identifier is a symbol, that is, a sequence of characters.
MethodDecl
           
RoutineDecl
          Represents both MethodDeclarations and ConstructorDeclarations.
TypeDecl
          Represents a TypeDeclaration.
 

Classes in javafe.ast used by escjava.translate
ASTDecoration
          Provides an extensible way to add 'fields' to the ASTNode.
ASTNode
          ASTNode is the root of the abstract syntax tree node hierarchy.
BinaryExpr
          Represents various kinds of binary expressions (eg +,-,|,%=, etc).
ClassDecl
           
CompilationUnit
          The make method of this class has the side effect of pointing the parent pointers of the TypeDecls inside a CompilationUnit to point to that unit.
ConstructorDecl
          Represents a ConstructorDeclaration.
ConstructorInvocation
          Represents an ExplicitConstructorInvocation.
Expr
          Represents an Expression.
ExprVec
           
FieldAccess
          Represents various kinds of field access expressions.
FieldDecl
          Represents a field declaration.
FormalParaDecl
          Represents a FormalParameter.
FormalParaDeclVec
           
GenericVarDecl
          Represents all variable declarations, including field declarations, local variables and formal arguments.
Identifier
          An Identifier is a symbol, that is, a sequence of characters.
LexicalPragmaVec
           
LocalVarDecl
          Represents a LocalVariableDeclarationStatement.
MethodDecl
           
MethodInvocation
          Represents a MethodInvocation.
Name
          Treated as an immutable type.
ObjectDesignator
          Designates the object or type used for a field or method access.
RoutineDecl
          Represents both MethodDeclarations and ConstructorDeclarations.
Stmt
          Represents a BlockStatement syntactic unit (which includes variable declarations).
ThisExpr
          We represent [C.]this.
Type
          Represents a Type syntactic unit.
TypeDecl
          Represents a TypeDeclaration.
TypeDeclElem
          Represents either a ClassBodyDeclaration or an InterfaceMemberDeclaration.
TypeDeclElemVec
           
TypeName
           
UnaryExpr
          Represents various kinds of unary expressions.
VariableAccess
          Represents a simple name that is bound to a local variable declaration.
VarInit
          Represents a VariableInitializer.
 

Classes in javafe.ast used by javafe
ASTNode
          ASTNode is the root of the abstract syntax tree node hierarchy.
CompilationUnit
          The make method of this class has the side effect of pointing the parent pointers of the TypeDecls inside a CompilationUnit to point to that unit.
PrettyPrint
           
StandardPrettyPrint
           
TypeDecl
          Represents a TypeDeclaration.
 

Classes in javafe.ast used by javafe.ast
AmbiguousMethodInvocation
          Represents a Name occuring before an argument list.
AmbiguousVariableAccess
          Represents a Name that occurs in an Expression position.
ArrayInit
          Represents an ArrayInitializer.
ArrayRefExpr
           
ArrayType
           
AssertStmt
           
ASTNode
          ASTNode is the root of the abstract syntax tree node hierarchy.
BinaryExpr
          Represents various kinds of binary expressions (eg +,-,|,%=, etc).
BlockStmt
           
BranchStmt
           
BreakStmt
           
CastExpr
           
CatchClause
           
CatchClauseVec
           
ClassDecl
           
ClassDeclStmt
           
ClassLiteral
          Represents a class literal (Type . class)
CompilationUnit
          The make method of this class has the side effect of pointing the parent pointers of the TypeDecls inside a CompilationUnit to point to that unit.
CompoundName
           
CondExpr
           
ConstructorDecl
          Represents a ConstructorDeclaration.
ConstructorInvocation
          Represents an ExplicitConstructorInvocation.
ContinueStmt
           
DoStmt
           
ErrorType
          Used to indicate the type of an illegal operation, so that error messages do not unnecessarily propagate; should only be used if the error has already been reported.
EvalStmt
           
Expr
          Represents an Expression.
ExprObjectDesignator
          Represents an ObjectDesignator of the form "Expr . ".
ExprVec
           
FieldAccess
          Represents various kinds of field access expressions.
FieldDecl
          Represents a field declaration.
FieldDeclVec
           
FormalParaDecl
          Represents a FormalParameter.
FormalParaDeclVec
           
ForStmt
          Represents a ForStatement.
GeneratedTags
           
GenericBlockStmt
           
GenericVarDecl
          Represents all variable declarations, including field declarations, local variables and formal arguments.
Identifier
          An Identifier is a symbol, that is, a sequence of characters.
IdentifierNode
          This class is not actually ever an element of an AST.
IdentifierVec
           
IfStmt
           
ImportDecl
           
ImportDeclVec
           
InitBlock
          Represents an initializing block of code as a class member We include modifiers for later extensibility to JDK 1.1, where both static and dynamic initializer blocks are allowed.
InstanceOfExpr
           
InterfaceDecl
           
LabelStmt
           
LexicalPragma
           
LexicalPragmaVec
           
LiteralExpr
          Represents a Literal.
LocalVarDecl
          Represents a LocalVariableDeclarationStatement.
MethodDecl
           
MethodDeclVec
           
MethodInvocation
          Represents a MethodInvocation.
ModifierPragma
           
ModifierPragmaVec
           
Name
          Treated as an immutable type.
NewArrayExpr
           
NewInstanceExpr
           
ObjectDesignator
          Designates the object or type used for a field or method access.
OnDemandImportDecl
           
OperatorTags
          OperatorTags is a class defining a partially-opaque type for tags used in the AST.
ParenExpr
           
PrettyPrint
           
PrimitiveType
          Represents a PrimitiveType syntactic unit.
ReturnStmt
           
RoutineDecl
          Represents both MethodDeclarations and ConstructorDeclarations.
SimpleName
           
SingleTypeImportDecl
           
SkipStmt
           
Stmt
          Represents a BlockStatement syntactic unit (which includes variable declarations).
StmtPragma
           
StmtVec
           
SuperObjectDesignator
          Represents a ObjectDesignator of the form "super . ".
SwitchLabel
          Represents a SwitchLabel syntactic unit.
SwitchStmt
           
SynchronizeStmt
           
ThisExpr
          We represent [C.]this.
ThrowStmt
           
TryCatchStmt
          Represents a try-catch statement.
TryFinallyStmt
           
Type
          Represents a Type syntactic unit.
TypeDecl
          Represents a TypeDeclaration.
TypeDeclElem
          Represents either a ClassBodyDeclaration or an InterfaceMemberDeclaration.
TypeDeclElemPragma
           
TypeDeclElemVec
           
TypeDeclVec
           
TypeModifierPragma
           
TypeModifierPragmaVec
           
TypeName
           
TypeNameVec
           
TypeObjectDesignator
          Represents a ObjectDesignator of the form "TypeName . " Is created from AmbiguousVariableAccess/AmbiguousMethodInvocation by the name resolution code.
UnaryExpr
          Represents various kinds of unary expressions.
VarDeclStmt
           
VariableAccess
          Represents a simple name that is bound to a local variable declaration.
VarInit
          Represents a VariableInitializer.
VarInitVec
           
Visitor
           
VisitorArgResult
           
WhileStmt
           
 

Classes in javafe.ast used by javafe.parser
ArrayInit
          Represents an ArrayInitializer.
BlockStmt
           
CatchClauseVec
           
CompilationUnit
          The make method of this class has the side effect of pointing the parent pointers of the TypeDecls inside a CompilationUnit to point to that unit.
Expr
          Represents an Expression.
ExprVec
           
FieldDecl
          Represents a field declaration.
FormalParaDecl
          Represents a FormalParameter.
FormalParaDeclVec
           
ForStmt
          Represents a ForStatement.
Identifier
          An Identifier is a symbol, that is, a sequence of characters.
ImportDecl
           
LexicalPragma
           
LexicalPragmaVec
           
ModifierPragmaVec
           
Name
          Treated as an immutable type.
PrimitiveType
          Represents a PrimitiveType syntactic unit.
Stmt
          Represents a BlockStatement syntactic unit (which includes variable declarations).
SwitchStmt
           
TagConstants
          TagConstants is a class defining a partially-opaque type for tags used in the AST.
Type
          Represents a Type syntactic unit.
TypeDecl
          Represents a TypeDeclaration.
TypeDeclElem
          Represents either a ClassBodyDeclaration or an InterfaceMemberDeclaration.
TypeDeclElemVec
           
TypeModifierPragmaVec
           
TypeName
           
TypeNameVec
           
VarInit
          Represents a VariableInitializer.
 

Classes in javafe.ast used by javafe.reader
CompilationUnit
          The make method of this class has the side effect of pointing the parent pointers of the TypeDecls inside a CompilationUnit to point to that unit.
FieldDecl
          Represents a field declaration.
FormalParaDecl
          Represents a FormalParameter.
Identifier
          An Identifier is a symbol, that is, a sequence of characters.
Name
          Treated as an immutable type.
RoutineDecl
          Represents both MethodDeclarations and ConstructorDeclarations.
Type
          Represents a Type syntactic unit.
TypeDecl
          Represents a TypeDeclaration.
TypeDeclElem
          Represents either a ClassBodyDeclaration or an InterfaceMemberDeclaration.
TypeDeclElemVec
           
TypeName
           
TypeNameVec
           
 

Classes in javafe.ast used by javafe.tc
AmbiguousMethodInvocation
          Represents a Name occuring before an argument list.
ASTDecoration
          Provides an extensible way to add 'fields' to the ASTNode.
ASTNode
          ASTNode is the root of the abstract syntax tree node hierarchy.
BranchStmt
           
ClassDecl
           
CompilationUnit
          The make method of this class has the side effect of pointing the parent pointers of the TypeDecls inside a CompilationUnit to point to that unit.
ConstructorDecl
          Represents a ConstructorDeclaration.
DelegatingPrettyPrint
           
Expr
          Represents an Expression.
ExprVec
           
FieldDecl
          Represents a field declaration.
FieldDeclVec
           
FormalParaDeclVec
           
ForStmt
          Represents a ForStatement.
GenericVarDecl
          Represents all variable declarations, including field declarations, local variables and formal arguments.
Identifier
          An Identifier is a symbol, that is, a sequence of characters.
InterfaceDecl
           
LiteralExpr
          Represents a Literal.
MethodDecl
           
MethodDeclVec
           
MethodInvocation
          Represents a MethodInvocation.
ModifierPragma
           
ModifierPragmaVec
           
Name
          Treated as an immutable type.
ObjectDesignator
          Designates the object or type used for a field or method access.
PrettyPrint
           
PrimitiveType
          Represents a PrimitiveType syntactic unit.
RoutineDecl
          Represents both MethodDeclarations and ConstructorDeclarations.
Stmt
          Represents a BlockStatement syntactic unit (which includes variable declarations).
StmtPragma
           
StmtVec
           
ThisExpr
          We represent [C.]this.
Type
          Represents a Type syntactic unit.
TypeDecl
          Represents a TypeDeclaration.
TypeDeclElem
          Represents either a ClassBodyDeclaration or an InterfaceMemberDeclaration.
TypeDeclElemPragma
           
TypeModifierPragma
           
TypeModifierPragmaVec
           
TypeName
           
TypeNameVec
           
VarInit
          Represents a VariableInitializer.
Visitor
           
VisitorArgResult
           
 


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