|
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 ASTNode | |
escjava | |
escjava.ast | |
escjava.backpred | |
escjava.parser | |
escjava.tc | |
escjava.translate | |
javafe | |
javafe.ast | |
javafe.tc |
Uses of ASTNode in escjava |
Subclasses of ASTNode in escjava | |
static class |
AnnotationHandler.NonNullExpr
|
class |
RefinementSequence
|
Methods in escjava with parameters of type ASTNode | |
void |
AnnotationHandler.CheckPurity.visitNode(ASTNode x,
AnnotationHandler.Context cc)
|
Uses of ASTNode in escjava.ast |
Methods in escjava.ast with parameters of type ASTNode | |
void |
Utils.BooleanDecoration.set(ASTNode o,
boolean b)
|
boolean |
Utils.BooleanDecoration.isTrue(ASTNode o)
|
abstract boolean |
Utils.BooleanDecoration.calculate(ASTNode o)
|
Uses of ASTNode in escjava.backpred |
Methods in escjava.backpred with parameters of type ASTNode | |
private void |
FindContributors.walk(ASTNode N)
Walks a given ASTNode, adding all the types it "mentions" via addType and adding all the fields it "mentions" via addField. |
private void |
FindContributors.walk(ASTNode N,
FieldDeclVec fields,
boolean addTypes,
java.util.LinkedList visited)
Walks a given ASTNode, finding all the types it "mentions" and all the fields it "mentions". |
Uses of ASTNode in escjava.parser |
Subclasses of ASTNode in escjava.parser | |
class |
OldVarDecl
|
Uses of ASTNode in escjava.tc |
Fields in escjava.tc declared as ASTNode | |
protected ASTNode |
FlowInsensitiveChecks.accessibilityContext
If accessibilityLowerBound ! |
Methods in escjava.tc that return ASTNode | |
ASTNode |
EnvForGhostLocals.locateFieldOrLocal(Identifier id)
Locate the lexically innermost field or local variable declaration. |
Methods in escjava.tc with parameters of type ASTNode | |
protected Env |
FlowInsensitiveChecks.checkModifierPragma(ModifierPragma p,
ASTNode ctxt,
Env env)
|
Uses of ASTNode in escjava.translate |
Fields in escjava.translate declared as ASTNode | |
ASTNode |
RepHelper.a
|
Methods in escjava.translate with parameters of type ASTNode | |
(package private) void |
CalcFreeVars.traverse(ASTNode e)
|
private GuardedCmd |
Translate.traceInfoLabelCmd(ASTNode ast,
java.lang.String traceInfoTag)
|
private GuardedCmd |
Translate.traceInfoLabelCmd(ASTNode ast,
java.lang.String traceInfoTag,
int loc)
|
private void |
Translate.addCheck(ASTNode use,
int errorName,
Expr pred)
Calls GC.check to create a check and appends the result to
code . |
private void |
Translate.addCheck(int locUse,
int errorName,
Expr pred,
ASTNode prag)
Calls GC.check to create a check and appends the
result to code . |
(package private) static void |
Translate.setop(ASTNode e)
|
static Set |
Substitute.freeVars(ASTNode e)
Calculate the free variables of an expression or a GuardedCmd. |
private static void |
ATarget.computeMentionsSet(ASTNode n,
Set s)
|
Uses of ASTNode in javafe |
Methods in javafe with parameters of type ASTNode | |
static int |
CountLines.count(ASTNode n)
|
Uses of ASTNode in javafe.ast |
Subclasses of ASTNode in javafe.ast | |
class |
AmbiguousMethodInvocation
Represents a Name occuring before an argument list. |
class |
AmbiguousVariableAccess
Represents a Name that occurs in an Expression position. |
class |
ArrayInit
Represents an ArrayInitializer. |
class |
ArrayRefExpr
|
class |
ArrayType
|
class |
AssertStmt
|
class |
BinaryExpr
Represents various kinds of binary expressions (eg +,-,|,%=, etc). |
class |
BlockStmt
|
class |
BranchStmt
|
class |
BreakStmt
|
class |
CastExpr
|
class |
CatchClause
|
class |
ClassDecl
|
class |
ClassDeclStmt
|
class |
ClassLiteral
Represents a class literal (Type . class) |
class |
CompilationUnit
The make method of this class has the side effect of
pointing the parent pointers of the TypeDecl s
inside a CompilationUnit to point to that unit. |
class |
CompoundName
|
class |
CondExpr
|
class |
ConstructorDecl
Represents a ConstructorDeclaration. |
class |
ConstructorInvocation
Represents an ExplicitConstructorInvocation. |
class |
ContinueStmt
|
class |
DoStmt
|
class |
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. |
class |
EvalStmt
|
class |
Expr
Represents an Expression. |
class |
ExprObjectDesignator
Represents an ObjectDesignator of the form "Expr . ". |
class |
FieldAccess
Represents various kinds of field access expressions. |
class |
FieldDecl
Represents a field declaration. |
class |
FormalParaDecl
Represents a FormalParameter. |
class |
ForStmt
Represents a ForStatement. |
class |
GenericBlockStmt
|
class |
GenericVarDecl
Represents all variable declarations, including field declarations, local variables and formal arguments. |
class |
IdentifierNode
This class is not actually ever an element of an AST. |
class |
IfStmt
|
class |
ImportDecl
|
class |
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. |
class |
InstanceOfExpr
|
class |
InterfaceDecl
|
class |
LabelStmt
|
class |
LexicalPragma
|
class |
LiteralExpr
Represents a Literal. |
class |
LocalVarDecl
Represents a LocalVariableDeclarationStatement. |
class |
MethodDecl
|
class |
MethodInvocation
Represents a MethodInvocation. |
class |
ModifierPragma
|
class |
Name
Treated as an immutable type. |
class |
NewArrayExpr
|
class |
NewInstanceExpr
|
class |
ObjectDesignator
Designates the object or type used for a field or method access. |
class |
OnDemandImportDecl
|
class |
ParenExpr
|
class |
PrimitiveType
Represents a PrimitiveType syntactic unit. |
class |
ReturnStmt
|
class |
RoutineDecl
Represents both MethodDeclarations and ConstructorDeclarations. |
class |
SimpleName
|
class |
SingleTypeImportDecl
|
class |
SkipStmt
|
class |
Stmt
Represents a BlockStatement syntactic unit (which includes variable declarations). |
class |
StmtPragma
|
class |
SuperObjectDesignator
Represents a ObjectDesignator of the form "super . ". |
class |
SwitchLabel
Represents a SwitchLabel syntactic unit. |
class |
SwitchStmt
|
class |
SynchronizeStmt
|
class |
ThisExpr
We represent [C.]this. |
class |
ThrowStmt
|
class |
TryCatchStmt
Represents a try-catch statement. |
class |
TryFinallyStmt
|
class |
Type
Represents a Type syntactic unit. |
class |
TypeDecl
Represents a TypeDeclaration. |
class |
TypeDeclElemPragma
|
class |
TypeModifierPragma
|
class |
TypeName
|
class |
TypeObjectDesignator
Represents a ObjectDesignator of the form "TypeName . " Is created from AmbiguousVariableAccess/AmbiguousMethodInvocation by the name resolution code. |
class |
UnaryExpr
Represents various kinds of unary expressions. |
class |
VarDeclStmt
|
class |
VariableAccess
Represents a simple name that is bound to a local variable declaration. |
class |
VarInit
Represents a VariableInitializer. |
class |
WhileStmt
|
Methods in javafe.ast with parameters of type ASTNode | |
abstract java.lang.Object |
VisitorArgResult.visitASTNode(ASTNode x,
java.lang.Object o)
|
abstract void |
Visitor.visitASTNode(ASTNode x)
|
static int |
Util.size(ASTNode n)
Returns the size of the AST n . |
static int |
Util.size(ASTNode n,
int limit)
Returns the size of the AST n (see above),
except returns -1 if the size exceeds limit . |
java.lang.String |
StandardPrettyPrint.unknownTag(ASTNode n)
Generate text to describe a ASTNote with an unknown tag |
void |
DefaultVisitor.visitASTNode(ASTNode x)
|
java.lang.Object |
ASTDecoration.get(ASTNode n)
Return the decoration value of an ASTNode , or null
if the |
void |
ASTDecoration.set(ASTNode n,
java.lang.Object val)
Set the decoration value of an ASTNode . |
java.lang.String |
ASTDecoration.toString(ASTNode n)
Return a string containing the decoration's name, and the decoration value for this ASTNode . |
Uses of ASTNode in javafe.tc |
Subclasses of ASTNode in javafe.tc | |
class |
TypeSig
|
Methods in javafe.tc that return ASTNode | |
ASTNode |
EnvForTypeSig.locateFieldOrLocal(Identifier id)
Locate the lexically innermost field or local variable declaration. |
ASTNode |
EnvForLocalType.locateFieldOrLocal(Identifier id)
Locate the lexically innermost field or local variable declaration. |
ASTNode |
EnvForLocals.locateFieldOrLocal(Identifier id)
Locate the lexically innermost field or local variable declaration. |
ASTNode |
EnvForEnclosedScope.locateFieldOrLocal(Identifier id)
Locate the lexically innermost field or local variable declaration. |
ASTNode |
EnvForCU.locateFieldOrLocal(Identifier id)
Locate the lexically innermost field or local variable declaration. |
abstract ASTNode |
Env.locateFieldOrLocal(Identifier id)
Locate the lexically innermost field or local variable declaration with a given name. |
Methods in javafe.tc with parameters of type ASTNode | |
protected Env |
FlowInsensitiveChecks.checkModifierPragmaVec(ModifierPragmaVec v,
ASTNode ctxt,
Env env)
Hook to do additional processing on ModifierVec s. |
protected Env |
FlowInsensitiveChecks.checkModifierPragma(ModifierPragma p,
ASTNode ctxt,
Env env)
Hook to do additional processing on Modifier s. |
protected Env |
FlowInsensitiveChecks.checkTypeModifierPragmaVec(TypeModifierPragmaVec v,
ASTNode ctxt,
Env env)
|
protected Env |
FlowInsensitiveChecks.checkTypeModifierPragma(TypeModifierPragma p,
ASTNode ctxt,
Env env)
|
|
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 |