AST
node type ASTNode<T extends ASTNode>

General Info

Production
ASTNode;
Type Hierarchy:
java.lang.Object
  extended by beaver.Symbol
      extended by AST.ASTNode<T>
All Implemented Interfaces:
java.lang.Cloneable, java.lang.Iterable<T>
Direct Known Subclasses:
BodyDecl, CatchClause, CatchParameterDeclaration, CompilationUnit, Dims, ElementValue, ElementValuePair, Expr, IdUse, ImportDecl, List, Modifier, Modifiers, Opt, ParameterDeclaration, Program, Stmt, TypeDecl, VariableDecl

Description

Member Filters

API level:

Aspect:

Constructors

public ASTNode()
 

Attributes

syn boolean unassignedEverywhere(Variable v,
                             TryStmt stmt)
Source
Declared in Java1.4Frontend/DefiniteAssignment.jrag at line 1196
Aspect
DU
syn int lineNumber()
Source
Declared in Java1.4Frontend/ErrorCheck.jrag at line 22
Aspect
ErrorCheck
syn java.lang.String indent()
Source
Declared in Java1.4Frontend/PrettyPrint.jadd at line 744
Aspect
PrettyPrint
syn java.lang.String extractIndent()
Source
Declared in Java1.4Frontend/PrettyPrint.jadd at line 749
Aspect
PrettyPrint
syn boolean addsIndentationLevel()
Source
Declared in Java1.4Frontend/PrettyPrint.jadd at line 758
Aspect
PrettyPrint
syn java.lang.String dumpString()
Source
Declared in Java1.4Frontend/PrettyPrint.jadd at line 800
Aspect
PrettyPrint
syn int sourceLineNumber()
Source
Declared in Java1.4Backend/CodeGeneration.jrag at line 15
Aspect
CodeGeneration
syn boolean definesLabel()
Source
Declared in Java1.4Backend/CreateBCode.jrag at line 946
Aspect
CreateBCode
syn boolean flush()
Source
Declared in Java1.4Backend/GenerateClassfile.jrag at line 325
Aspect
GenerateClassfile
syn boolean isStringAdd()
Source
Declared in Java1.4Backend/InnerClasses.jrag at line 88
Aspect
InnerClasses
syn boolean usesTypeVariable()
Source
Declared in Java1.5Frontend/Generics.jrag at line 1056
Aspect
LookupParTypeDecl
Fetches the immediately enclosing compilation unit.
Source
Declared in Java7Frontend/Literals.jrag at line 451
Aspect
Literals

Methods

public void flushCache()
public void flushCollectionCache()
public ASTNode<T> clone()
                                 throws java.lang.CloneNotSupportedException
Overrides:clone in class beaver.Symbol
Throws:
java.lang.CloneNotSupportedException
public ASTNode<T> copy()
public ASTNode<T> fullCopy()
Create a deep copy of the AST subtree at this node. The copy is dangling, i.e. has no parent.
Returns:
dangling copy of the subtree at this node
public void accessControl()
Source
Declared in Java1.4Frontend/AccessControl.jrag at line 125
Aspect
AccessControl
protected void collectExceptions(java.util.Collection c,
                                 ASTNode target)
Source
Declared in Java1.4Frontend/AnonymousClasses.jrag at line 202
Aspect
AnonymousClasses
public void collectBranches(java.util.Collection c)
Source
Declared in Java1.4Frontend/BranchTarget.jrag at line 44
Aspect
BranchTarget
public Stmt branchTarget(Stmt branchStmt)
Source
Declared in Java1.4Frontend/BranchTarget.jrag at line 150
Aspect
BranchTarget
public void collectFinally(Stmt branchStmt,
                           java.util.ArrayList list)
Source
Declared in Java1.4Frontend/BranchTarget.jrag at line 190
Aspect
BranchTarget
public int varChildIndex(Block b)
Source
Declared in Java1.4Frontend/DeclareBeforeUse.jrag at line 13
Aspect
DeclareBeforeUse
public int varChildIndex(TypeDecl t)
Source
Declared in Java1.4Frontend/DeclareBeforeUse.jrag at line 31
Aspect
DeclareBeforeUse
public void definiteAssignment()
Source
Declared in Java1.4Frontend/DefiniteAssignment.jrag at line 12
Aspect
DefiniteAssignment
protected boolean checkDUeverywhere(Variable v)
Source
Declared in Java1.4Frontend/DefiniteAssignment.jrag at line 450
Aspect
DA
protected boolean isDescendantTo(ASTNode node)
Source
Declared in Java1.4Frontend/DefiniteAssignment.jrag at line 560
Aspect
DA
protected java.lang.String sourceFile()
Source
Declared in Java1.4Frontend/ErrorCheck.jrag at line 12
Aspect
ErrorCheck
Source
Declared in Java1.4Frontend/ErrorCheck.jrag at line 34
Aspect
ErrorCheck
public ASTNode setStart(int i)
Source
Declared in Java1.4Frontend/ErrorCheck.jrag at line 40
Aspect
ErrorCheck
public int start()
Source
Declared in Java1.4Frontend/ErrorCheck.jrag at line 44
Aspect
ErrorCheck
public ASTNode setEnd(int i)
Source
Declared in Java1.4Frontend/ErrorCheck.jrag at line 47
Aspect
ErrorCheck
public int end()
Source
Declared in Java1.4Frontend/ErrorCheck.jrag at line 51
Aspect
ErrorCheck
public java.lang.String location()
Source
Declared in Java1.4Frontend/ErrorCheck.jrag at line 55
Aspect
ErrorCheck
public java.lang.String errorPrefix()
Source
Declared in Java1.4Frontend/ErrorCheck.jrag at line 58
Aspect
ErrorCheck
public java.lang.String warningPrefix()
Source
Declared in Java1.4Frontend/ErrorCheck.jrag at line 61
Aspect
ErrorCheck
public void error(java.lang.String s)
Source
Declared in Java1.4Frontend/ErrorCheck.jrag at line 171
Aspect
ErrorCheck
public void warning(java.lang.String s)
Source
Declared in Java1.4Frontend/ErrorCheck.jrag at line 187
Aspect
ErrorCheck
public void exceptionHandling()
Source
Declared in Java1.4Frontend/ExceptionHandling.jrag at line 54
Aspect
ExceptionHandling
protected boolean reachedException(TypeDecl type)
Source
Declared in Java1.4Frontend/ExceptionHandling.jrag at line 224
Aspect
ExceptionHandling
public static java.util.Collection removeInstanceMethods(java.util.Collection c)
Source
Declared in Java1.4Frontend/LookupMethod.jrag at line 54
Aspect
LookupMethod
protected static void putSimpleSetElement(java.util.HashMap map,
                                          java.lang.Object key,
                                          java.lang.Object value)
Source
Declared in Java1.4Frontend/LookupMethod.jrag at line 359
Aspect
MemberMethods
Source
Declared in Java1.4Frontend/LookupVariable.jrag at line 182
Aspect
VariableScope
public void nameCheck()
Source
Declared in Java1.4Frontend/NameCheck.jrag at line 11
Aspect
NameCheck
Source
Declared in Java1.4Frontend/NameCheck.jrag at line 14
Aspect
NameCheck
public Options options()
Source
Declared in Java1.4Frontend/Options.jadd at line 14
Aspect
AddOptionsToProgram
public java.lang.String toString()
Overrides:toString in class java.lang.Object
Source
Declared in Java1.4Frontend/PrettyPrint.jadd at line 13
Aspect
PrettyPrint
public void toString(java.lang.StringBuffer s)
Source
Declared in Java1.4Frontend/PrettyPrint.jadd at line 19
Aspect
PrettyPrint
public java.lang.String dumpTree()
Source
Declared in Java1.4Frontend/PrettyPrint.jadd at line 770
Aspect
PrettyPrint
public void dumpTree(java.lang.StringBuffer s,
                     int j)
Source
Declared in Java1.4Frontend/PrettyPrint.jadd at line 776
Aspect
PrettyPrint
public java.lang.String dumpTreeNoRewrite()
Source
Declared in Java1.4Frontend/PrettyPrint.jadd at line 785
Aspect
PrettyPrint
protected void dumpTreeNoRewrite(java.lang.StringBuffer s,
                                 int indent)
Source
Declared in Java1.4Frontend/PrettyPrint.jadd at line 790
Aspect
PrettyPrint
public void typeCheck()
Source
Declared in Java1.4Frontend/TypeCheck.jrag at line 12
Aspect
TypeCheck
public void clearLocations()
Source
Declared in Java1.4Frontend/VariableDeclaration.jrag at line 134
Aspect
VariableDeclarationTransformation
public void setSourceLineNumber(int i)
Source
Declared in Java1.4Backend/CodeGeneration.jrag at line 11
Aspect
CodeGeneration
Source
Declared in Java1.4Backend/CodeGeneration.jrag at line 30
Aspect
CodeGeneration
public void error()
Source
Declared in Java1.4Backend/CodeGeneration.jrag at line 586
Aspect
CodeGeneration
public void createBCode(CodeGeneration gen)
Source
Declared in Java1.4Backend/CreateBCode.jrag at line 202
Aspect
CreateBCode
public void flushCaches()
Source
Declared in Java1.4Backend/FlushCaches.jrag at line 3
Aspect
FlushCaches
public boolean clear()
Source
Declared in Java1.4Backend/GenerateClassfile.jrag at line 303
Aspect
GenerateClassfile
public void collectEnclosingVariables(java.util.HashSet set,
                                      TypeDecl typeDecl)
Source
Declared in Java1.4Backend/InnerClasses.jrag at line 158
Aspect
InnerClasses
public void transformation()
Source
Declared in Java1.4Backend/Transformations.jrag at line 12
Aspect
Transformations
protected ASTNode replace(ASTNode node)
Source
Declared in Java1.4Backend/Transformations.jrag at line 209
Aspect
Transformations
protected ASTNode with(ASTNode node)
Source
Declared in Java1.4Backend/Transformations.jrag at line 214
Aspect
Transformations
protected void transformEnumConstructors()
Source
Declared in Java1.5Frontend/Enums.jrag at line 131
Aspect
Enums
protected void checkEnum(EnumDecl enumDecl)
Source
Declared in Java1.5Frontend/Enums.jrag at line 444
Aspect
Enums
Create a deep copy of this subtree. The copy is dangling, i.e. has no parent.
Returns:
a dangling copy of the subtree at this node
Source
Declared in Java7Frontend/JastAddExtensions.jadd at line 20
Aspect
JastAddExtensions
public void checkUncheckedConversion(TypeDecl source,
                                     TypeDecl dest)
Source
Declared in Java7Frontend/UncheckedConversion.jrag at line 40
Aspect
UncheckedConversion
public void checkWarnings()
Checking of the SafeVarargs annotation is only needed for method declarations.
Source
Declared in Java7Frontend/Warnings.jadd at line 38
Aspect
Warnings
public void init$Children()
Initializes the child array to the correct size. Initializes List and Opt nta children.
public final ASTNode$State state()
public boolean in$Circle()
public void in$Circle(boolean b)
public boolean is$Final()
public void is$Final(boolean b)
public T getChild(int i)
public int getIndexOfChild(ASTNode node)
public void addChild(T node)
public final T getChildNoTransform(int i)

This method does not invoke AST transformations.

protected int numChildren()
public int getNumChild()
public final int getNumChildNoTransform()

This method does not invoke AST transformations.

public void setChild(ASTNode node,
                     int i)
public void insertChild(ASTNode node,
                        int i)
public void removeChild(int i)
public void setParent(ASTNode node)
protected boolean duringImplicitConstructor()
protected boolean duringBoundNames()
protected boolean duringNameResolution()
protected boolean duringSyntacticClassification()
protected boolean duringAnonymousClasses()
protected boolean duringLiterals()
protected boolean duringDU()
protected boolean duringAnnotations()
protected boolean duringEnums()
protected boolean duringGenericTypeVariables()
public java.util.Iterator<T> iterator()
Specified by:iterator in interface java.lang.Iterable<T extends ASTNode>
public boolean mayHaveRewrite()
public void collectErrors()
The collectErrors method is refined so that it calls the checkWarnings method on each ASTNode to report unchecked warnings.
Source
Declared in Java7Frontend/Warnings.jadd at line 20
Aspect
Warnings
public LabeledStmt Define_LabeledStmt_lookupLabel(ASTNode caller,
                                                  ASTNode child,
                                                  java.lang.String name)
public boolean Define_boolean_isDest(ASTNode caller,
                                     ASTNode child)
public boolean Define_boolean_isSource(ASTNode caller,
                                       ASTNode child)
public boolean Define_boolean_isIncOrDec(ASTNode caller,
                                         ASTNode child)
public boolean Define_boolean_isDAbefore(ASTNode caller,
                                         ASTNode child,
                                         Variable v)
public boolean Define_boolean_isDUbefore(ASTNode caller,
                                         ASTNode child,
                                         Variable v)
public boolean Define_boolean_handlesException(ASTNode caller,
                                               ASTNode child,
                                               TypeDecl exceptionType)
public java.util.Collection Define_Collection_lookupConstructor(ASTNode caller,
                                                                ASTNode child)
public java.util.Collection Define_Collection_lookupSuperConstructor(ASTNode caller,
                                                                     ASTNode child)
public java.util.Collection Define_Collection_lookupMethod(ASTNode caller,
                                                           ASTNode child,
                                                           java.lang.String name)
public boolean Define_boolean_hasPackage(ASTNode caller,
                                         ASTNode child,
                                         java.lang.String packageName)
public TypeDecl Define_TypeDecl_lookupType(ASTNode caller,
                                           ASTNode child,
                                           java.lang.String packageName,
                                           java.lang.String typeName)
public SimpleSet Define_SimpleSet_lookupType(ASTNode caller,
                                             ASTNode child,
                                             java.lang.String name)
public SimpleSet Define_SimpleSet_lookupVariable(ASTNode caller,
                                                 ASTNode child,
                                                 java.lang.String name)
public boolean Define_boolean_mayBePublic(ASTNode caller,
                                          ASTNode child)
public boolean Define_boolean_mayBeProtected(ASTNode caller,
                                             ASTNode child)
public boolean Define_boolean_mayBePrivate(ASTNode caller,
                                           ASTNode child)
public boolean Define_boolean_mayBeStatic(ASTNode caller,
                                          ASTNode child)
public boolean Define_boolean_mayBeFinal(ASTNode caller,
                                         ASTNode child)
public boolean Define_boolean_mayBeAbstract(ASTNode caller,
                                            ASTNode child)
public boolean Define_boolean_mayBeVolatile(ASTNode caller,
                                            ASTNode child)
public boolean Define_boolean_mayBeTransient(ASTNode caller,
                                             ASTNode child)
public boolean Define_boolean_mayBeStrictfp(ASTNode caller,
                                            ASTNode child)
public boolean Define_boolean_mayBeSynchronized(ASTNode caller,
                                                ASTNode child)
public boolean Define_boolean_mayBeNative(ASTNode caller,
                                          ASTNode child)
public boolean Define_boolean_insideLoop(ASTNode caller,
                                         ASTNode child)
public boolean Define_boolean_insideSwitch(ASTNode caller,
                                           ASTNode child)
public Case Define_Case_bind(ASTNode caller,
                             ASTNode child,
                             Case c)
public java.lang.String Define_String_typeDeclIndent(ASTNode caller,
                                                     ASTNode child)
public boolean Define_boolean_isAnonymous(ASTNode caller,
                                          ASTNode child)
public boolean Define_boolean_isMemberType(ASTNode caller,
                                           ASTNode child)
public java.lang.String Define_String_methodHost(ASTNode caller,
                                                 ASTNode child)
public boolean Define_boolean_inStaticContext(ASTNode caller,
                                              ASTNode child)
public boolean Define_boolean_reportUnreachable(ASTNode caller,
                                                ASTNode child)
public boolean Define_boolean_isMethodParameter(ASTNode caller,
                                                ASTNode child)
public boolean Define_boolean_isConstructorParameter(ASTNode caller,
                                                     ASTNode child)
public int Define_int_condition_true_label(ASTNode caller,
                                           ASTNode child)
public int Define_int_localNum(ASTNode caller,
                               ASTNode child)
public int Define_int_resultSaveLocalNum(ASTNode caller,
                                         ASTNode child)
public boolean Define_boolean_mayUseAnnotationTarget(ASTNode caller,
                                                     ASTNode child,
                                                     java.lang.String name)
public ElementValue Define_ElementValue_lookupElementTypeValue(ASTNode caller,
                                                               ASTNode child,
                                                               java.lang.String name)
public boolean Define_boolean_withinSuppressWarnings(ASTNode caller,
                                                     ASTNode child,
                                                     java.lang.String s)
public boolean Define_boolean_inExtendsOrImplements(ASTNode caller,
                                                    ASTNode child)
public LUBType Define_LUBType_lookupLUBType(ASTNode caller,
                                            ASTNode child,
                                            java.util.Collection bounds)
public GLBType Define_GLBType_lookupGLBType(ASTNode caller,
                                            ASTNode child,
                                            java.util.ArrayList bounds)
public boolean Define_boolean_variableArityValid(ASTNode caller,
                                                 ASTNode child)
public boolean Define_boolean_isCatchParam(ASTNode caller,
                                           ASTNode child)
public boolean Define_boolean_resourcePreviouslyDeclared(ASTNode caller,
                                                         ASTNode child,
                                                         java.lang.String name)
public boolean Define_boolean_isAnonymousDecl(ASTNode caller,
                                              ASTNode child)
public SimpleSet Define_SimpleSet_allImportedTypes(ASTNode caller,
                                                   ASTNode child,
                                                   java.lang.String name)
public java.lang.String Define_String_packageName(ASTNode caller,
                                                  ASTNode child)
public boolean Define_boolean_isNestedType(ASTNode caller,
                                           ASTNode child)
public boolean Define_boolean_isLocalClass(ASTNode caller,
                                           ASTNode child)
public java.lang.String Define_String_hostPackage(ASTNode caller,
                                                  ASTNode child)
public java.lang.String Define_String_destinationPath(ASTNode caller,
                                                      ASTNode child)
public boolean Define_boolean_reachable(ASTNode caller,
                                        ASTNode child)
public boolean Define_boolean_inhModifiedInScope(ASTNode caller,
                                                 ASTNode child,
                                                 Variable var)
public boolean Define_boolean_reachableCatchClause(ASTNode caller,
                                                   ASTNode child,
                                                   TypeDecl exceptionType)
public java.util.Collection<TypeDecl> Define_Collection_TypeDecl__caughtExceptions(ASTNode caller,
                                                                                   ASTNode child)

Fields

protected static final java.lang.String PRIMITIVE_PACKAGE_NAME
See Also:
Constant Field Values
Source
Declared in Java1.4Frontend/PrimitiveTypes.jrag at line 11
Aspect
PrimitiveTypes
public static final boolean generatedWithCircularEnabled
public static final boolean generatedWithCacheCycle
public static final boolean generatedWithComponentCheck
protected static ASTNode$State state
public boolean in$Circle
public boolean is$Final
protected int numChildren
protected ASTNode parent
protected ASTNode[] children

Inherited Members

Methods inherited from class beaver.Symbol

getColumn
getEnd
getId
getLine
getStart
makePosition

Methods inherited from class java.lang.Object

equals
finalize
getClass
hashCode
notify
notifyAll
wait
wait
wait

Fields inherited from beaver.Symbol

end
id
start
value