Package   node type  Tree  Deprecated  Help 
FRAMES    NO FRAMES    

AST
node type VariableDeclaration

General Info

Production
VariableDeclaration : Stmt ::= Modifiers TypeAccess:Access <ID:String> [Init:Expr];
Type Hierarchy:
java.lang.Object
  extended by beaver.Symbol
      extended by AST.ASTNode<ASTNode>
          extended by AST.Stmt
              extended by AST.VariableDeclaration
All Implemented Interfaces:
SimpleSet, Variable, java.lang.Cloneable, java.lang.Iterable<ASTNode>, java.util.Iterator
Direct Known Subclasses:
ResourceDeclaration

Nested classes/interfaces inherited from interface AST.SimpleSet

SimpleSet.SimpleSetImpl

Description

Source
Declared in Java1.4Frontend/java.ast at line 83

Member Filters

API level:

Aspect:

Constructors

public VariableDeclaration(Access type,
                           java.lang.String name,
                           Expr init)
 
Source
Declared in Java1.4Frontend/NodeConstructors.jrag at line 74
Aspect
NodeConstructors
public VariableDeclaration(Access type,
                           java.lang.String name)
 
Source
Declared in Java1.4Frontend/NodeConstructors.jrag at line 78
Aspect
NodeConstructors
public VariableDeclaration()
 
public VariableDeclaration(Modifiers p0,
                           Access p1,
                           java.lang.String p2,
                           Opt<Expr> p3)
 
public VariableDeclaration(Modifiers p0,
                           Access p1,
                           beaver.Symbol p2,
                           Opt<Expr> p3)
 

Attributes

syn int size()
Specified by:size in interface SimpleSet
Source
Declared in Java1.4Frontend/DataStructures.jrag at line 97
Aspect
DataStructures
syn boolean isEmpty()
Specified by:isEmpty in interface SimpleSet
Source
Declared in Java1.4Frontend/DataStructures.jrag at line 98
Aspect
DataStructures
syn boolean contains(java.lang.Object o)
Specified by:contains in interface SimpleSet
Source
Declared in Java1.4Frontend/DataStructures.jrag at line 102
Aspect
DataStructures
syn boolean isBlankFinal()
Source
Declared in Java1.4Frontend/DefiniteAssignment.jrag at line 91
Aspect
DefiniteAssignment
syn boolean isValue()
Source
Declared in Java1.4Frontend/DefiniteAssignment.jrag at line 92
Aspect
DefiniteAssignment
syn boolean isDAafter(Variable v)
Overrides:isDAafter in class Stmt
Source
Declared in Java1.4Frontend/DefiniteAssignment.jrag at line 492
Aspect
DA
syn boolean isDUafter(Variable v)
Overrides:isDUafter in class Stmt
Source
Declared in Java1.4Frontend/DefiniteAssignment.jrag at line 875
Aspect
DU
syn boolean declaresVariable(java.lang.String name)
Overrides:declaresVariable in class Stmt
Source
Declared in Java1.4Frontend/LookupVariable.jrag at line 129
Aspect
VariableScope
syn boolean isSynthetic()
Specified by:isSynthetic in interface Variable
Source
Declared in Java1.4Frontend/Modifiers.jrag at line 219
Aspect
Modifiers
syn java.lang.String dumpString()
Overrides:dumpString in class ASTNode<ASTNode>
Source
Declared in Java1.4Frontend/PrettyPrint.jadd at line 800
Aspect
PrettyPrint
syn TypeDecl type()
Specified by:type in interface Variable
Source
Declared in Java1.4Frontend/TypeAnalysis.jrag at line 252
Aspect
TypeAnalysis
syn boolean isParameter()
Specified by:isParameter in interface Variable
Source
Declared in Java1.4Frontend/VariableDeclaration.jrag at line 13
Aspect
Variables
syn boolean isClassVariable()
Specified by:isClassVariable in interface Variable
Source
Declared in Java1.4Frontend/VariableDeclaration.jrag at line 15
Aspect
Variables
syn boolean isInstanceVariable()
Specified by:isInstanceVariable in interface Variable
Source
Declared in Java1.4Frontend/VariableDeclaration.jrag at line 16
Aspect
Variables
syn boolean isMethodParameter()
Specified by:isMethodParameter in interface Variable
Source
Declared in Java1.4Frontend/VariableDeclaration.jrag at line 17
Aspect
Variables
syn boolean isConstructorParameter()
Specified by:isConstructorParameter in interface Variable
Source
Declared in Java1.4Frontend/VariableDeclaration.jrag at line 18
Aspect
Variables
syn boolean isExceptionHandlerParameter()
Specified by:isExceptionHandlerParameter in interface Variable
Source
Declared in Java1.4Frontend/VariableDeclaration.jrag at line 19
Aspect
Variables
syn boolean isLocalVariable()
Specified by:isLocalVariable in interface Variable
Source
Declared in Java1.4Frontend/VariableDeclaration.jrag at line 20
Aspect
Variables
syn boolean isFinal()
Specified by:isFinal in interface Variable
Source
Declared in Java1.4Frontend/VariableDeclaration.jrag at line 22
Aspect
Variables
syn boolean isVolatile()
Specified by:isVolatile in interface Variable
Source
Declared in Java1.4Frontend/VariableDeclaration.jrag at line 23
Aspect
Variables
syn boolean isBlank()
Specified by:isBlank in interface Variable
Source
Declared in Java1.4Frontend/VariableDeclaration.jrag at line 24
Aspect
Variables
syn boolean isStatic()
Specified by:isStatic in interface Variable
Source
Declared in Java1.4Frontend/VariableDeclaration.jrag at line 25
Aspect
Variables
syn java.lang.String name()
Specified by:name in interface Variable
Source
Declared in Java1.4Frontend/VariableDeclaration.jrag at line 27
Aspect
Variables
syn Constant constant()
Specified by:constant in interface Variable
Source
Declared in Java1.4Frontend/VariableDeclaration.jrag at line 29
Aspect
Variables
syn Variable sourceVariableDecl()
Specified by:sourceVariableDecl in interface Variable
Source
Declared in Java1.5Frontend/Generics.jrag at line 1520
Aspect
SourceDeclarations
syn java.util.Collection<TypeDecl> throwTypes()
Specified by:throwTypes in interface Variable
Source
Declared in Java7Frontend/PreciseRethrow.jrag at line 17
Aspect
PreciseRethrow
syn boolean modifiedInScope(Variable var)
Specified by:modifiedInScope in class Stmt
Source
Declared in Java7Frontend/PreciseRethrow.jrag at line 55
Aspect
PreciseRethrow
syn boolean hasAnnotationSuppressWarnings(java.lang.String s)
Source
Declared in Java7Frontend/SuppressWarnings.jrag at line 10
Aspect
SuppressWarnings
syn boolean suppressWarnings(java.lang.String type)
Source
Declared in Java7Frontend/SuppressWarnings.jrag at line 20
Aspect
SuppressWarnings
inh SimpleSet lookupVariable(java.lang.String name)
Overrides:lookupVariable in class Stmt
Source
Declared in Java1.4Frontend/LookupVariable.jrag at line 21
Aspect
VariableScope
inh VariableScope outerScope()
Source
Declared in Java1.4Frontend/NameCheck.jrag at line 294
Aspect
NameCheck
inh TypeDecl hostType()
Specified by:hostType in interface VariableOverrides:hostType in class Stmt
Source
Declared in Java1.4Frontend/TypeAnalysis.jrag at line 588
Aspect
NestedTypes
inh int variableScopeEndLabel(CodeGeneration gen)
Source
Declared in Java1.4Backend/CodeGeneration.jrag at line 42
Aspect
CodeGeneration
inh int localNum()
Overrides:localNum in class Stmt
Source
Declared in Java1.4Backend/LocalNum.jrag at line 11
Aspect
LocalNum
inh boolean withinSuppressWarnings(java.lang.String s)
Source
Declared in Java7Frontend/SuppressWarnings.jrag at line 13
Aspect
SuppressWarnings
inh boolean resourcePreviouslyDeclared(java.lang.String name)
Source
Declared in Java7Frontend/TryWithResources.jrag at line 144
Aspect
TryWithResources

Methods

public void flushCache()
Overrides:flushCache in class Stmt
public void flushCollectionCache()
Overrides:flushCollectionCache in class Stmt
public VariableDeclaration clone()
                          throws java.lang.CloneNotSupportedException
Overrides:clone in class Stmt
Throws:
java.lang.CloneNotSupportedException
public VariableDeclaration copy()
Overrides:copy in class ASTNode<ASTNode>
public VariableDeclaration fullCopy()
Create a deep copy of the AST subtree at this node. The copy is dangling, i.e. has no parent.
Overrides:fullCopy in class ASTNode<ASTNode>
Returns:
dangling copy of the subtree at this node
public SimpleSet add(java.lang.Object o)
Specified by:add in interface SimpleSet
Source
Declared in Java1.4Frontend/DataStructures.jrag at line 99
Aspect
DataStructures
public boolean isSingleton()
Specified by:isSingleton in interface SimpleSet
Source
Declared in Java1.4Frontend/DataStructures.jrag at line 103
Aspect
DataStructures
public boolean isSingleton(java.lang.Object o)
Specified by:isSingleton in interface SimpleSet
Source
Declared in Java1.4Frontend/DataStructures.jrag at line 104
Aspect
DataStructures
public java.util.Iterator iterator()
Specified by:iterator in interface SimpleSetSpecified by:iterator in interface java.lang.Iterable<ASTNode>Overrides:iterator in class ASTNode<ASTNode>
Source
Declared in Java1.4Frontend/DataStructures.jrag at line 108
Aspect
DataStructures
public boolean hasNext()
Specified by:hasNext in interface java.util.Iterator
Source
Declared in Java1.4Frontend/DataStructures.jrag at line 109
Aspect
DataStructures
public java.lang.Object next()
Specified by:next in interface java.util.Iterator
Source
Declared in Java1.4Frontend/DataStructures.jrag at line 110
Aspect
DataStructures
public void remove()
Specified by:remove in interface java.util.Iterator
Source
Declared in Java1.4Frontend/DataStructures.jrag at line 111
Aspect
DataStructures
public void toString(java.lang.StringBuffer s)
Overrides:toString in class ASTNode<ASTNode>
Source
Declared in Java1.4Frontend/PrettyPrint.jadd at line 164
Aspect
PrettyPrint
public void typeCheck()
Overrides:typeCheck in class ASTNode<ASTNode>
Source
Declared in Java1.4Frontend/TypeCheck.jrag at line 22
Aspect
TypeCheck
public void createBCode(CodeGeneration gen)
Overrides:createBCode in class Stmt
Source
Declared in Java1.4Backend/CreateBCode.jrag at line 237
Aspect
CreateBCode
public void checkWarnings()
Description copied from class: ASTNodeChecking of the SafeVarargs annotation is only needed for method declarations.
Overrides:checkWarnings in class ASTNode<ASTNode>
Source
Declared in Java7Frontend/UncheckedConversion.jrag at line 20
Aspect
UncheckedConversion
public void init$Children()
Initializes the child array to the correct size. Initializes List and Opt nta children.
Overrides:init$Children in class Stmt
protected int numChildren()
Overrides:numChildren in class Stmt
public boolean mayHaveRewrite()
Overrides:mayHaveRewrite in class Stmt
public void setModifiers(Modifiers node)
Replaces the Modifiers child.
Parameters:
node - The new node to replace the Modifiers child.
public Modifiers getModifiers()
Retrieves the Modifiers child.
Specified by:getModifiers in interface Variable
Returns:
The current node used as the Modifiers child.
public Modifiers getModifiersNoTransform()
Retrieves the Modifiers child.

This method does not invoke AST transformations.

Returns:
The current node used as the Modifiers child.
public void setTypeAccess(Access node)
Replaces the TypeAccess child.
Parameters:
node - The new node to replace the TypeAccess child.
public Access getTypeAccess()
Retrieves the TypeAccess child.
Returns:
The current node used as the TypeAccess child.
public Access getTypeAccessNoTransform()
Retrieves the TypeAccess child.

This method does not invoke AST transformations.

Returns:
The current node used as the TypeAccess child.
public void setID(java.lang.String value)
Replaces the lexeme ID.
Parameters:
value - The new value for the lexeme ID.
public void setID(beaver.Symbol symbol)
JastAdd-internal setter for lexeme ID using the Beaver parser.
public java.lang.String getID()
Retrieves the value for the lexeme ID.
Returns:
The value for the lexeme ID.
public void setInitOpt(Opt<Expr> opt)
Replaces the optional node for the Init child. This is the Opt node containing the child Init, not the actual child!
Parameters:
opt - The new node to be used as the optional node for the Init child.
public boolean hasInit()
Check whether the optional Init child exists.
Specified by:hasInit in interface Variable
Returns:
true if the optional Init child exists, false if it does not.
public Expr getInit()
Retrieves the (optional) Init child.
Specified by:getInit in interface Variable
Returns:
The Init child, if it exists. Returns null otherwise.
public void setInit(Expr node)
Replaces the (optional) Init child.
Parameters:
node - The new node to be used as the Init child.
public Opt<Expr> getInitOpt()
public Opt<Expr> getInitOptNoTransform()
Retrieves the optional node for child Init. This is the Opt node containing the child Init, not the actual child!

This method does not invoke AST transformations.

Returns:
The optional node for child Init.
public void nameCheck()
Overrides:nameCheck in class ASTNode<ASTNode>
Source
Declared in Java7Frontend/MultiCatch.jrag at line 240
Aspect
MultiCatch
public boolean Define_boolean_isSource(ASTNode caller,
                                       ASTNode child)
Overrides:Define_boolean_isSource in class ASTNode<ASTNode>
Source
Declared in Java1.4Frontend/DefiniteAssignment.jrag at line 40
public boolean Define_boolean_isDAbefore(ASTNode caller,
                                         ASTNode child,
                                         Variable v)
Overrides:Define_boolean_isDAbefore in class ASTNode<ASTNode>
Source
Declared in Java1.4Frontend/DefiniteAssignment.jrag at line 497
public boolean Define_boolean_isDUbefore(ASTNode caller,
                                         ASTNode child,
                                         Variable v)
Overrides:Define_boolean_isDUbefore in class ASTNode<ASTNode>
Source
Declared in Java1.4Frontend/DefiniteAssignment.jrag at line 880
public boolean Define_boolean_mayBeFinal(ASTNode caller,
                                         ASTNode child)
Overrides:Define_boolean_mayBeFinal in class ASTNode<ASTNode>
Source
Declared in Java1.4Frontend/Modifiers.jrag at line 286
public NameType Define_NameType_nameType(ASTNode caller,
                                         ASTNode child)
Overrides:Define_NameType_nameType in class ASTNode<ASTNode>
Source
Declared in Java1.4Frontend/SyntacticClassification.jrag at line 85
public TypeDecl Define_TypeDecl_declType(ASTNode caller,
                                         ASTNode child)
Overrides:Define_TypeDecl_declType in class ASTNode<ASTNode>
Source
Declared in Java1.4Frontend/TypeAnalysis.jrag at line 261
public TypeDecl Define_TypeDecl_expectedType(ASTNode caller,
                                             ASTNode child)
Overrides:Define_TypeDecl_expectedType in class ASTNode<ASTNode>
Source
Declared in Java1.4Backend/InnerClasses.jrag at line 68
public boolean Define_boolean_mayUseAnnotationTarget(ASTNode caller,
                                                     ASTNode child,
                                                     java.lang.String name)
Overrides:Define_boolean_mayUseAnnotationTarget in class ASTNode<ASTNode>
Source
Declared in Java1.5Frontend/Annotations.jrag at line 92
public TypeDecl Define_TypeDecl_assignConvertedType(ASTNode caller,
                                                    ASTNode child)
Overrides:Define_TypeDecl_assignConvertedType in class ASTNode<ASTNode>
Source
Declared in Java1.5Frontend/GenericMethodsInference.jrag at line 34
public ASTNode rewriteTo()
Overrides:rewriteTo in class Stmt

Fields

protected java.lang.String tokenString_ID
public int IDstart
public int IDend
protected java.util.Map isDAafter_Variable_values
protected java.util.Map isDUafter_Variable_values
protected boolean constant_computed
protected Constant constant_value
protected boolean sourceVariableDecl_computed
protected Variable sourceVariableDecl_value
protected boolean throwTypes_computed
protected java.util.Collection<TypeDecl> throwTypes_value
protected boolean localNum_computed
protected int localNum_value

Inherited Members

Attributes inherited from AST.Stmt

addsIndentationLevel
break_label
canCompleteNormally
continue_label
continueLabel
enclosingBodyDecl
isDAbefore
isDUbefore
lookupMethod
lookupType
lookupType
reachable
reportUnreachable

Attributes inherited from AST.ASTNode

compilationUnit
definesLabel
extractIndent
flush
indent
isStringAdd
lineNumber
sourceLineNumber
unassignedEverywhere
usesTypeVariable

Methods inherited from class AST.Stmt

Define_String_typeDeclIndent

Methods inherited from class AST.ASTNode

accessControl
addChild
branchTarget
checkDUeverywhere
checkEnum
checkUncheckedConversion
clear
clearLocations
cloneSubtree
collectBranches
collectEnclosingVariables
collectErrors
collectExceptions
collectFinally
Define_Annotation_lookupAnnotation
Define_ASTNode_enclosingBlock
Define_BodyDecl_enclosingBodyDecl
Define_boolean_handlesException
Define_boolean_hasPackage
Define_boolean_inExplicitConstructorInvocation
Define_boolean_inExtendsOrImplements
Define_boolean_inhModifiedInScope
Define_boolean_insideLoop
Define_boolean_insideSwitch
Define_boolean_inStaticContext
Define_boolean_isAnonymous
Define_boolean_isAnonymousDecl
Define_boolean_isCatchParam
Define_boolean_isConstructorParameter
Define_boolean_isDest
Define_boolean_isExceptionHandlerParameter
Define_boolean_isExplicitGenericConstructorAccess
Define_boolean_isIncOrDec
Define_boolean_isLocalClass
Define_boolean_isMemberType
Define_boolean_isMethodParameter
Define_boolean_isNestedType
Define_boolean_mayBeAbstract
Define_boolean_mayBeNative
Define_boolean_mayBePrivate
Define_boolean_mayBeProtected
Define_boolean_mayBePublic
Define_boolean_mayBeStatic
Define_boolean_mayBeStrictfp
Define_boolean_mayBeSynchronized
Define_boolean_mayBeTransient
Define_boolean_mayBeVolatile
Define_boolean_reachable
Define_boolean_reachableCatchClause
Define_boolean_reportUnreachable
Define_boolean_resourcePreviouslyDeclared
Define_boolean_variableArityValid
Define_boolean_withinDeprecatedAnnotation
Define_boolean_withinSuppressWarnings
Define_Case_bind
Define_CatchClause_catchClause
Define_ClassInstanceExpr_getClassInstanceExpr
Define_Collection_lookupConstructor
Define_Collection_lookupMethod
Define_Collection_lookupSuperConstructor
Define_Collection_TypeDecl__caughtExceptions
Define_CompilationUnit_compilationUnit
Define_ConstructorDecl_constructorDecl
Define_ConstructorDecl_unknownConstructor
Define_ElementValue_lookupElementTypeValue
Define_Expr_nestedScope
Define_GLBType_lookupGLBType
Define_int_condition_false_label
Define_int_condition_true_label
Define_int_localNum
Define_int_resultSaveLocalNum
Define_int_variableScopeEndLabel
Define_LabeledStmt_lookupLabel
Define_LUBType_lookupLUBType
Define_MethodDecl_unknownMethod
Define_SimpleSet_allImportedTypes
Define_SimpleSet_lookupType
Define_SimpleSet_lookupVariable
Define_String_destinationPath
Define_String_hostPackage
Define_String_methodHost
Define_String_packageName
Define_TypeDecl_componentType
Define_TypeDecl_enclosingAnnotationDecl
Define_TypeDecl_enclosingInstance
Define_TypeDecl_enclosingType
Define_TypeDecl_genericDecl
Define_TypeDecl_hostType
Define_TypeDecl_lookupType
Define_TypeDecl_lookupWildcardExtends
Define_TypeDecl_lookupWildcardSuper
Define_TypeDecl_returnType
Define_TypeDecl_superType
Define_TypeDecl_switchType
Define_TypeDecl_typeBoolean
Define_TypeDecl_typeByte
Define_TypeDecl_typeChar
Define_TypeDecl_typeCloneable
Define_TypeDecl_typeDouble
Define_TypeDecl_typeError
Define_TypeDecl_typeException
Define_TypeDecl_typeFloat
Define_TypeDecl_typeInt
Define_TypeDecl_typeLong
Define_TypeDecl_typeNull
Define_TypeDecl_typeNullPointerException
Define_TypeDecl_typeObject
Define_TypeDecl_typeRuntimeException
Define_TypeDecl_typeSerializable
Define_TypeDecl_typeShort
Define_TypeDecl_typeString
Define_TypeDecl_typeThrowable
Define_TypeDecl_typeVoid
Define_TypeDecl_typeWildcard
Define_TypeDecl_unknownType
Define_Variable_unknownField
Define_VariableScope_outerScope
definiteAssignment
dumpTree
dumpTree
dumpTreeNoRewrite
dumpTreeNoRewrite
duringAnnotations
duringAnonymousClasses
duringBoundNames
duringDU
duringEnums
duringGenericTypeVariables
duringImplicitConstructor
duringLiterals
duringNameResolution
duringSyntacticClassification
duringVariableDeclarationTransformation
end
error
error
errorPrefix
exceptionHandling
extractSingleType
findFirstSourceLineNumber
flushCaches
getChild
getChildNoTransform
getIndexOfChild
getNumChild
getNumChildNoTransform
getParent
in$Circle
in$Circle
insertChild
is$Final
is$Final
isDescendantTo
location
options
putSimpleSetElement
reachedException
removeChild
removeInstanceMethods
removeInstanceVariables
replace
setChild
setEnd
setLocation
setParent
setSourceLineNumber
setStart
sourceFile
start
state
toString
transformation
transformEnumConstructors
varChildIndex
varChildIndex
warning
warningPrefix
with

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

Methods inherited from interface AST.SimpleSet

contains
isEmpty
size

Methods inherited from interface AST.Variable

constant
hostType
isBlank
isClassVariable
isConstructorParameter
isExceptionHandlerParameter
isFinal
isInstanceVariable
isLocalVariable
isMethodParameter
isParameter
isStatic
isSynthetic
isVolatile
name
throwTypes
type

Fields inherited from AST.Stmt

canCompleteNormally_computed
canCompleteNormally_value

Fields inherited from AST.ASTNode

children
generatedWithCacheCycle
generatedWithCircularEnabled
generatedWithComponentCheck
in$Circle
is$Final
numChildren
parent
PRIMITIVE_PACKAGE_NAME
state

Fields inherited from beaver.Symbol

end
id
start
value

Fields inherited from interface AST.SimpleSet

emptySet
fullSet
Package   node type  Tree  Deprecated  Help 
FRAMES    NO FRAMES