|
ESC/Java2 © 2003,2004,2005,2006 David Cok and Joseph Kiniry © 2005,2006 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 | ||||||||||
| 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
This class defines 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
|
|
| PrimitiveType
Represents a PrimitiveType syntactic unit. |
|
| 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
|
|
| TypeModifierPragmaVec
|
|
| 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
|
|
| 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 escjava.vcGeneration | |
ASTNode
ASTNode is the root of the abstract syntax tree node
hierarchy. |
|
| Expr
Represents an Expression. |
|
| Classes in javafe.ast used by escjava.vcGeneration.coq | |
| Expr
Represents an Expression. |
|
| Classes in javafe.ast used by escjava.vcGeneration.pvs | |
| Expr
Represents an Expression. |
|
| Classes in javafe.ast used by escjava.vcGeneration.sammy | |
| Expr
Represents an Expression. |
|
| Classes in javafe.ast used by escjava.vcGeneration.simplify | |
| Expr
Represents an Expression. |
|
| Classes in javafe.ast used by escjava.vcGeneration.xml | |
| Expr
Represents an Expression. |
|
| 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
|
|
| JavafePrimitiveType
Represents a Java Front End PrimitiveType syntactic unit. |
|
| 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
|
|
| StandardPrettyPrint
|
|
| 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. |
|
| ASTDecoration
Provides an extensible way to add 'fields' to the ASTNode.
|
|
ASTNode
ASTNode is the root of the abstract syntax tree node
hierarchy. |
|
| 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. |
|
| 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. |
|
| 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. |
|
| AmbiguousVariableAccess
Represents a Name that occurs in an Expression position. |
|
| ArrayRefExpr
|
|
| 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). |
|
| BranchStmt
|
|
| CastExpr
|
|
| 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. |
|
| CondExpr
|
|
| ConstructorDecl
Represents a ConstructorDeclaration. |
|
| DelegatingPrettyPrint
|
|
| Expr
Represents an Expression. |
|
| ExprVec
|
|
| FieldAccess
Represents various kinds of field access expressions. |
|
| 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. |
|
| InstanceOfExpr
|
|
| InterfaceDecl
|
|
| 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. |
|
| ParenExpr
|
|
| 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
|
|
| SwitchStmt
|
|
| 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
|
|
| UnaryExpr
Represents various kinds of unary expressions. |
|
| VariableAccess
Represents a simple name that is bound to a local variable declaration. |
|
| VarInit
Represents a VariableInitializer. |
|
| Visitor
|
|
| VisitorArgResult
|
|
|
ESC/Java2 © 2003,2004,2005,2006 David Cok and Joseph Kiniry © 2005,2006 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 | ||||||||||