Package   node type  Tree  Deprecated  Help 
FRAMES    NO FRAMES    

org.extendj.ast
node type ArrayAccess

General Info

Production
ArrayAccess : Access ::= Expr;
Type Hierarchy:
java.lang.Object
  extended by beaver.Symbol
      extended by org.extendj.ast.ASTNode<ASTNode>
          extended by org.extendj.ast.Expr
              extended by org.extendj.ast.Access
                  extended by org.extendj.ast.ArrayAccess
All Implemented Interfaces:
java.lang.Cloneable, java.lang.Iterable<ASTNode>, org.jastadd.util.PrettyPrintable

Description

Source
Declared in /home/jesper/git/extendj/java4/grammar/Java.ast at line 30

Member Filters

API level:

Aspect:

Constructors

public ArrayAccess()
 
Source
Declared in /home/jesper/git/extendj/ASTNode at line 1
public ArrayAccess(Expr p0)
 
Source
Declared in /home/jesper/git/extendj/ASTNode at line 13

Attributes

@ASTNodeAnnotation.Attribute
syn boolean isDAafter(org.extendj.ast.Variable v)
Overrides:isDAafter in class Expr
Source
Declared in /home/jesper/git/extendj/java4/frontend/DefiniteAssignment.jrag at line 259
Aspect
DA
@ASTNodeAnnotation.Attribute
syn boolean isDUafter(org.extendj.ast.Variable v)
Overrides:isDUafter in class Expr
Source
Declared in /home/jesper/git/extendj/java4/frontend/DefiniteAssignment.jrag at line 783
Aspect
DU
@ASTNodeAnnotation.Attribute
syn boolean isArrayAccess()
Overrides:isArrayAccess in class Expr
Source
Declared in /home/jesper/git/extendj/java4/frontend/ResolveAmbiguousNames.jrag at line 63
Aspect
AccessTypes
@ASTNodeAnnotation.Attribute
syn org.extendj.ast.NameType predNameType()
Defines the expected kind of name for the left hand side in a qualified expression.
Overrides:predNameType in class Access
Source
Declared in /home/jesper/git/extendj/java4/frontend/SyntacticClassification.jrag at line 58
Aspect
SyntacticClassification
@ASTNodeAnnotation.Attribute
syn TypeDecl type()
Overrides:type in class Access
Source
Declared in /home/jesper/git/extendj/java4/frontend/TypeAnalysis.jrag at line 302
Aspect
TypeAnalysis
@ASTNodeAnnotation.Attribute
syn boolean isVariable()
Overrides:isVariable in class Expr
Source
Declared in /home/jesper/git/extendj/java4/frontend/TypeCheck.jrag at line 36
Aspect
TypeCheck
@ASTNodeAnnotation.Attribute
syn boolean modifiedInScope(org.extendj.ast.Variable var)
Overrides:modifiedInScope in class Expr
Source
Declared in /home/jesper/git/extendj/java7/frontend/PreciseRethrow.jrag at line 149
Aspect
PreciseRethrow
@ASTNodeAnnotation.Attribute
inh TypeDecl unknownType()
Overrides:unknownType in class Access
Source
Declared in /home/jesper/git/extendj/java4/frontend/TypeAnalysis.jrag at line 307
Aspect
TypeAnalysis

Methods

public void prettyPrint(org.jastadd.util.PrettyPrinter out)
Specified by:prettyPrint in interface org.jastadd.util.PrettyPrintableOverrides:prettyPrint in class ASTNode<ASTNode>
Source
Declared in /home/jesper/git/extendj/java4/frontend/PrettyPrint.jadd at line 432
Aspect
Java4PrettyPrint
public void typeCheck()
Overrides:typeCheck in class ASTNode<ASTNode>
Source
Declared in /home/jesper/git/extendj/java4/frontend/TypeCheck.jrag at line 159
Aspect
TypeCheck
public void emitStore(org.extendj.ast.CodeGeneration gen)
Overrides:emitStore in class Expr
Source
Declared in /home/jesper/git/extendj/java4/backend/CodeGeneration.jrag at line 377
Aspect
CodeGeneration
public void createPushAssignmentResult(org.extendj.ast.CodeGeneration gen)
Description copied from class: Exprduplicate top value on stack and store below destination element
Overrides:createPushAssignmentResult in class Expr
Source
Declared in /home/jesper/git/extendj/java4/backend/CreateBCode.jrag at line 459
Aspect
CreateBCode
public void init$Children()
Initializes the child array to the correct size. Initializes List and Opt nta children.
Overrides:init$Children in class Access
Source
Declared in /home/jesper/git/extendj/ASTNode at line 10
protected int numChildren()
Overrides:numChildren in class Access
Source
Declared in /home/jesper/git/extendj/ASTNode at line 19
public boolean mayHaveRewrite()
Overrides:mayHaveRewrite in class Access
Source
Declared in /home/jesper/git/extendj/ASTNode at line 25
public void flushAttrCache()
Overrides:flushAttrCache in class Access
Source
Declared in /home/jesper/git/extendj/ASTNode at line 31
public void flushCollectionCache()
Overrides:flushCollectionCache in class Access
Source
Declared in /home/jesper/git/extendj/ASTNode at line 38
public void flushRewriteCache()
Overrides:flushRewriteCache in class Access
Source
Declared in /home/jesper/git/extendj/ASTNode at line 44
public ArrayAccess clone()
                  throws java.lang.CloneNotSupportedException
Overrides:clone in class Access
Throws:
java.lang.CloneNotSupportedException
Source
Declared in /home/jesper/git/extendj/ASTNode at line 50
public ArrayAccess copy()
Overrides:copy in class ASTNode<ASTNode>
Source
Declared in /home/jesper/git/extendj/ASTNode at line 57
@Deprecated
public ArrayAccess fullCopy()
Deprecated. Please use treeCopy or treeCopyNoTransform instead

Create a deep copy of the AST subtree at this node. The copy is dangling, i.e. has no parent.

Specified by:fullCopy in class Access
Returns:
dangling copy of the subtree at this node
Source
Declared in /home/jesper/git/extendj/ASTNode at line 76
public ArrayAccess treeCopyNoTransform()
Create a deep copy of the AST subtree at this node. The copy is dangling, i.e. has no parent.
Specified by:treeCopyNoTransform in class Access
Returns:
dangling copy of the subtree at this node
Source
Declared in /home/jesper/git/extendj/ASTNode at line 86
public ArrayAccess treeCopy()
Create a deep copy of the AST subtree at this node. The subtree of this node is traversed to trigger rewrites before copy. The copy is dangling, i.e. has no parent.
Specified by:treeCopy in class Access
Returns:
dangling copy of the subtree at this node
Source
Declared in /home/jesper/git/extendj/ASTNode at line 106
protected boolean is$Equal(ASTNode node)
Overrides:is$Equal in class ASTNode<ASTNode>
Source
Declared in /home/jesper/git/extendj/ASTNode at line 113
public void setExpr(Expr node)
Replaces the Expr child.
Parameters:
node - The new node to replace the Expr child.
@ASTNodeAnnotation.Child(name="Expr")
public Expr getExpr()
Retrieves the Expr child.
Returns:
The current node used as the Expr child.
public Expr getExprNoTransform()
Retrieves the Expr child.

This method does not invoke AST transformations.

Returns:
The current node used as the Expr child.
public void createAssignSimpleLoadDest(org.extendj.ast.CodeGeneration gen)
Overrides:createAssignSimpleLoadDest in class Expr
Source
Declared in /home/jesper/git/extendj/java5/backend/AutoBoxingCodegen.jrag at line 449
Aspect
AutoBoxingCodegen
public void createAssignLoadDest(org.extendj.ast.CodeGeneration gen)
Overrides:createAssignLoadDest in class Expr
Source
Declared in /home/jesper/git/extendj/java5/backend/AutoBoxingCodegen.jrag at line 455
Aspect
AutoBoxingCodegen
public void createBCode(org.extendj.ast.CodeGeneration gen)
Overrides:createBCode in class ASTNode<ASTNode>
Source
Declared in /home/jesper/git/extendj/java5/backend/AutoBoxingCodegen.jrag at line 442
Aspect
AutoBoxingCodegen
public boolean Define_isDest(ASTNode caller,
                             ASTNode child)
Overrides:Define_isDest in class ASTNode<ASTNode>
Source
Declared in /home/jesper/git/extendj/java4/frontend/DefiniteAssignment.jrag at line 37
protected boolean canDefine_isDest(ASTNode caller,
                                   ASTNode child)
public boolean Define_isSource(ASTNode caller,
                               ASTNode child)
Overrides:Define_isSource in class ASTNode<ASTNode>
Source
Declared in /home/jesper/git/extendj/java4/frontend/DefiniteAssignment.jrag at line 47
protected boolean canDefine_isSource(ASTNode caller,
                                     ASTNode child)
public java.util.Collection Define_lookupMethod(ASTNode caller,
                                                ASTNode child,
                                                java.lang.String name)
Overrides:Define_lookupMethod in class ASTNode<ASTNode>
Source
Declared in /home/jesper/git/extendj/java4/frontend/LookupMethod.jrag at line 46
protected boolean canDefine_lookupMethod(ASTNode caller,
                                         ASTNode child,
                                         java.lang.String name)
public boolean Define_hasPackage(ASTNode caller,
                                 ASTNode child,
                                 java.lang.String packageName)
Overrides:Define_hasPackage in class ASTNode<ASTNode>
Source
Declared in /home/jesper/git/extendj/java4/frontend/LookupType.jrag at line 115
protected boolean canDefine_hasPackage(ASTNode caller,
                                       ASTNode child,
                                       java.lang.String packageName)
public org.extendj.ast.SimpleSet Define_lookupType(ASTNode caller,
                                                   ASTNode child,
                                                   java.lang.String name)
Overrides:Define_lookupType in class ASTNode<ASTNode>
Source
Declared in /home/jesper/git/extendj/java5/frontend/GenericMethods.jrag at line 197
protected boolean canDefine_lookupType(ASTNode caller,
                                       ASTNode child,
                                       java.lang.String name)
public org.extendj.ast.SimpleSet Define_lookupVariable(ASTNode caller,
                                                       ASTNode child,
                                                       java.lang.String name)
Overrides:Define_lookupVariable in class ASTNode<ASTNode>
Source
Declared in /home/jesper/git/extendj/java8/frontend/LookupVariable.jrag at line 30
protected boolean canDefine_lookupVariable(ASTNode caller,
                                           ASTNode child,
                                           java.lang.String name)
public org.extendj.ast.NameType Define_nameType(ASTNode caller,
                                                ASTNode child)
Overrides:Define_nameType in class ASTNode<ASTNode>
Source
Declared in /home/jesper/git/extendj/java4/frontend/SyntacticClassification.jrag at line 36
protected boolean canDefine_nameType(ASTNode caller,
                                     ASTNode child)
public boolean Define_assignmentContext(ASTNode caller,
                                        ASTNode child)
Overrides:Define_assignmentContext in class ASTNode<ASTNode>
Source
Declared in /home/jesper/git/extendj/java8/frontend/TargetType.jrag at line 196
protected boolean canDefine_assignmentContext(ASTNode caller,
                                              ASTNode child)
public boolean Define_invocationContext(ASTNode caller,
                                        ASTNode child)
Overrides:Define_invocationContext in class ASTNode<ASTNode>
Source
Declared in /home/jesper/git/extendj/java8/frontend/TargetType.jrag at line 197
protected boolean canDefine_invocationContext(ASTNode caller,
                                              ASTNode child)
public boolean Define_castContext(ASTNode caller,
                                  ASTNode child)
Overrides:Define_castContext in class ASTNode<ASTNode>
Source
Declared in /home/jesper/git/extendj/java8/frontend/TargetType.jrag at line 198
protected boolean canDefine_castContext(ASTNode caller,
                                        ASTNode child)
public boolean Define_stringContext(ASTNode caller,
                                    ASTNode child)
Overrides:Define_stringContext in class ASTNode<ASTNode>
Source
Declared in /home/jesper/git/extendj/java8/frontend/TargetType.jrag at line 199
protected boolean canDefine_stringContext(ASTNode caller,
                                          ASTNode child)
public boolean Define_numericContext(ASTNode caller,
                                     ASTNode child)
Overrides:Define_numericContext in class ASTNode<ASTNode>
Source
Declared in /home/jesper/git/extendj/java8/frontend/TargetType.jrag at line 200
protected boolean canDefine_numericContext(ASTNode caller,
                                           ASTNode child)
public ASTNode rewriteTo()
Overrides:rewriteTo in class Access

Fields

protected boolean type_computed
protected TypeDecl type_value

Inherited Members

Attributes inherited from org.extendj.ast.Access

hasPrevExpr
inExplicitConstructorInvocation
isDiamond
isQualified
isWildcard
lastAccess
nestedScope
prevExpr
qualifier
sourceLineNumber
substituted
unknownField
unqualifiedScope
withinDeprecatedAnnotation
withinSuppressWarnings

Attributes inherited from org.extendj.ast.Expr

applicableAndAccessible
assignConversionTo
assignConvertedType
assignmentContext
canBeFalse
canBeTrue
castContext
classAccess
compatibleLooseContext
compatibleStrictContext
constant
enclosingBodyDecl
enclosingStmt
hasNextAccess
hasPackage
hasParentDot
hasQualifiedPackage
hostPackage
hostType
inExtendsOrImplements
inferTypeArguments
inStaticContext
invocationContext
isBooleanExpression
isClassAccess
isConstant
isDAafterFalse
isDAafterTrue
isDAbefore
isDest
isDUafterFalse
isDUafterTrue
isDUbefore
isEnumConstant
isFalse
isFieldAccess
isIncOrDec
isLeftChildOfDot
isMethodAccess
isNumericExpression
isPackageAccess
isPolyExpression
isPositive
isRightChildOfDot
isSource
isSuperAccess
isSuperConstructorAccess
isThisAccess
isTrue
isTypeAccess
isUnknown
isVarAccessWithAccessor
isVariable
lookupMethod
lookupType
lookupType
lookupVariable
methodHost
moreSpecificThan
mostSpecificConstructor
nameType
needsPop
nextAccess
numericContext
packageName
parentDot
pertinentToApplicability
potentiallyCompatible
qualifiedLookupType
qualifiedLookupVariable
representableIn
staticContextQualifier
stmtCompatible
stringContext
targetType
throwTypes
typeBoolean
typeByte
typeChar
typeDouble
typeFloat
typeInt
typeLong
typeName
typeNull
typeObject
typeShort
typeString
typeVoid
varDecl

Attributes inherited from org.extendj.ast.ASTNode

flush
isStringAdd
lineNumber
program
usesTypeVariable

Methods inherited from class org.extendj.ast.Access

addArrayDims
emitLoadLocalInNestedClass
emitThis
sameType
superConstructorQualifier

Methods inherited from class org.extendj.ast.Expr

branchFalse
branchTrue
chooseConstructor
computeConstraints
emitBooleanCondition
keepAccessibleFields
keepAccessibleTypes
mayAccess
moreSpecificThan
mostSpecific
mostSpecific
needsPush
qualifiesAccess
refined_CreateBCode_Expr_branchFalse
refined_CreateBCode_Expr_branchTrue

Methods inherited from class org.extendj.ast.ASTNode

accessControl
addChild
canDefine_allImportedTypes
canDefine_assignConvertedType
canDefine_bind
canDefine_blockIndex
canDefine_branchTarget
canDefine_catchClause
canDefine_caughtExceptions
canDefine_compilationUnit
canDefine_componentType
canDefine_constructorDecl
canDefine_declType
canDefine_enclosingAnnotationDecl
canDefine_enclosingBlock
canDefine_enclosingBodyDecl
canDefine_enclosingExplicitConstructorHostType
canDefine_enclosingFinally
canDefine_enclosingInstance
canDefine_enclosingLambda
canDefine_enclosingType
canDefine_expectedType
canDefine_genericDecl
canDefine_genericMethodLevel
canDefine_getClassInstanceExpr
canDefine_handlesException
canDefine_hostPackage
canDefine_hostType
canDefine_inExplicitConstructorInvocation
canDefine_inExtendsOrImplements
canDefine_inferredType
canDefine_inhModifiedInScope
canDefine_insideLoop
canDefine_insideSwitch
canDefine_inStaticContext
canDefine_isAnonymous
canDefine_isAnonymousDecl
canDefine_isCatchParam
canDefine_isConstructorParameter
canDefine_isDAbefore
canDefine_isDAbefore
canDefine_isDUbefore
canDefine_isDUbefore
canDefine_isExceptionHandlerParameter
canDefine_isExplicitGenericConstructorAccess
canDefine_isIncOrDec
canDefine_isLocalClass
canDefine_isMemberType
canDefine_isMethodParameter
canDefine_isNestedType
canDefine_leavesMonitor
canDefine_localNum
canDefine_lookupAnnotation
canDefine_lookupConstructor
canDefine_lookupElementTypeValue
canDefine_lookupGLBType
canDefine_lookupLabel
canDefine_lookupLUBType
canDefine_lookupSuperConstructor
canDefine_lookupType
canDefine_lookupWildcardExtends
canDefine_lookupWildcardSuper
canDefine_mayBeAbstract
canDefine_mayBeFinal
canDefine_mayBeNative
canDefine_mayBePrivate
canDefine_mayBeProtected
canDefine_mayBePublic
canDefine_mayBeStatic
canDefine_mayBeStrictfp
canDefine_mayBeSynchronized
canDefine_mayBeTransient
canDefine_mayBeVolatile
canDefine_mayUseAnnotationTarget
canDefine_methodHost
canDefine_nestedScope
canDefine_otherLocalClassDecls
canDefine_outerScope
canDefine_packageName
canDefine_program
canDefine_reachable
canDefine_reachableCatchClause
canDefine_reportUnreachable
canDefine_resourcePreviouslyDeclared
canDefine_resultSaveLocalNum
canDefine_returnType
canDefine_superType
canDefine_switchType
canDefine_targetType
canDefine_typeBoolean
canDefine_typeByte
canDefine_typeChar
canDefine_typeCloneable
canDefine_typeDouble
canDefine_typeError
canDefine_typeException
canDefine_typeFloat
canDefine_typeInt
canDefine_typeLong
canDefine_typeNull
canDefine_typeNullPointerException
canDefine_typeObject
canDefine_typeRuntimeException
canDefine_typeSerializable
canDefine_typeShort
canDefine_typeString
canDefine_typeThrowable
canDefine_typeVarInMethod
canDefine_typeVarPosition
canDefine_typeVoid
canDefine_typeWildcard
canDefine_unknownConstructor
canDefine_unknownField
canDefine_unknownMethod
canDefine_unknownType
canDefine_variableArityValid
canDefine_variableScopeEndLabel
canDefine_withinDeprecatedAnnotation
canDefine_withinSuppressWarnings
checkDUeverywhere
checkEnum
checkUncheckedConversion
checkWarnings
clear
clearLocations
collect_contributors_BlockLambdaBody_lambdaReturns
collectBranches
collectEnclosingVariables
collectErrors
collectExceptions
contributeTo_BlockLambdaBody_BlockLambdaBody_lambdaReturns
Define_allImportedTypes
Define_assignConvertedType
Define_bind
Define_blockIndex
Define_branchTarget
Define_catchClause
Define_caughtExceptions
Define_compilationUnit
Define_componentType
Define_constructorDecl
Define_declType
Define_enclosingAnnotationDecl
Define_enclosingBlock
Define_enclosingBodyDecl
Define_enclosingExplicitConstructorHostType
Define_enclosingFinally
Define_enclosingInstance
Define_enclosingLambda
Define_enclosingType
Define_expectedType
Define_genericDecl
Define_genericMethodLevel
Define_getClassInstanceExpr
Define_handlesException
Define_hostPackage
Define_hostType
Define_inExplicitConstructorInvocation
Define_inExtendsOrImplements
Define_inferredType
Define_inhModifiedInScope
Define_insideLoop
Define_insideSwitch
Define_inStaticContext
Define_isAnonymous
Define_isAnonymousDecl
Define_isCatchParam
Define_isConstructorParameter
Define_isDAbefore
Define_isDAbefore
Define_isDUbefore
Define_isDUbefore
Define_isExceptionHandlerParameter
Define_isExplicitGenericConstructorAccess
Define_isIncOrDec
Define_isLocalClass
Define_isMemberType
Define_isMethodParameter
Define_isNestedType
Define_leavesMonitor
Define_localNum
Define_lookupAnnotation
Define_lookupConstructor
Define_lookupElementTypeValue
Define_lookupGLBType
Define_lookupLabel
Define_lookupLUBType
Define_lookupSuperConstructor
Define_lookupType
Define_lookupWildcardExtends
Define_lookupWildcardSuper
Define_mayBeAbstract
Define_mayBeFinal
Define_mayBeNative
Define_mayBePrivate
Define_mayBeProtected
Define_mayBePublic
Define_mayBeStatic
Define_mayBeStrictfp
Define_mayBeSynchronized
Define_mayBeTransient
Define_mayBeVolatile
Define_mayUseAnnotationTarget
Define_methodHost
Define_nestedScope
Define_otherLocalClassDecls
Define_outerScope
Define_packageName
Define_program
Define_reachable
Define_reachableCatchClause
Define_reportUnreachable
Define_resourcePreviouslyDeclared
Define_resultSaveLocalNum
Define_returnType
Define_superType
Define_switchType
Define_targetType
Define_typeBoolean
Define_typeByte
Define_typeChar
Define_typeCloneable
Define_typeDouble
Define_typeError
Define_typeException
Define_typeFloat
Define_typeInt
Define_typeLong
Define_typeNull
Define_typeNullPointerException
Define_typeObject
Define_typeRuntimeException
Define_typeSerializable
Define_typeShort
Define_typeString
Define_typeThrowable
Define_typeVarInMethod
Define_typeVarPosition
Define_typeVoid
Define_typeWildcard
Define_unknownConstructor
Define_unknownField
Define_unknownMethod
Define_unknownType
Define_variableArityValid
Define_variableScopeEndLabel
Define_withinDeprecatedAnnotation
Define_withinSuppressWarnings
definiteAssignment
doFullTraversal
dumpTree
dumpTree
dumpTree
dumpTreeNoRewrite
dumpTreeNoRewrite
dumpTreeNoRewrite
end
error
error
errorf
errorPrefix
exceptionHandling
extractSingleType
findFirstSourceLineNumber
flushAttrAndCollectionCache
flushCache
flushCaches
flushTreeCache
getChild
getChildNoTransform
getIndexOfChild
getMethod
getNumChild
getNumChildNoTransform
getParent
getTokens
in$Circle
in$Circle
insertChild
is$Equal
is$Final
is$Final
isDescendantTo
iterator
location
nameCheck
ntaFinallyBlock
prettyPrint
prettyPrint
putSimpleSetElement
reachedException
removeChild
removeInstanceMethods
removeInstanceVariables
replaceWith
setChild
setEnd
setLocation
setParent
setSourceLineNumber
setStart
sourceFile
start
state
structuredPrettyPrint
toString
transformation
transformEnumConstructors
varChildIndex
warning
warningPrefix

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 org.extendj.ast.Access

hasPrevExpr_computed
hasPrevExpr_value
prevExpr_computed
prevExpr_value

Fields inherited from org.extendj.ast.Expr

assignConversionTo_TypeDecl_values
assignmentContext_computed
assignmentContext_value
castContext_computed
castContext_value
compatibleLooseContext_TypeDecl_values
compatibleStrictContext_TypeDecl_values
inferTypeArguments_TypeDecl_List_ParameterDeclaration__List_Expr__List_TypeVariable__values
invocationContext_computed
invocationContext_value
isBooleanExpression_computed
isBooleanExpression_value
isNumericExpression_computed
isNumericExpression_value
isPolyExpression_computed
isPolyExpression_value
moreSpecificThan_TypeDecl_TypeDecl_values
nameType_computed
nameType_value
numericContext_computed
numericContext_value
pertinentToApplicability_Expr_BodyDecl_int_values
potentiallyCompatible_TypeDecl_BodyDecl_values
stmtCompatible_computed
stmtCompatible_value
stringContext_computed
stringContext_value
targetType_computed
targetType_value

Fields inherited from org.extendj.ast.ASTNode

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

Fields inherited from beaver.Symbol

end
id
start
value
Package   node type  Tree  Deprecated  Help 
FRAMES    NO FRAMES