Package   node type  Tree  Deprecated  Help 
FRAMES    NO FRAMES    

org.jastadd.extendj.ast
node type ArrayCreationExpr

General Info

Production
ArrayCreationExpr : PrimaryExpr ::= TypeAccess:Access [ArrayInit];
Type Hierarchy:
java.lang.Object
  extended by beaver.Symbol
      extended by org.jastadd.extendj.ast.ASTNode<ASTNode>
          extended by org.jastadd.extendj.ast.Expr
              extended by org.jastadd.extendj.ast.PrimaryExpr
                  extended by org.jastadd.extendj.ast.ArrayCreationExpr
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 130

Member Filters

API level:

Aspect:

Constructors

public ArrayCreationExpr()
 
Source
Declared in /home/jesper/git/extendj/ASTNode at line 1
public ArrayCreationExpr(Access p0,
                         Opt<ArrayInit> p1)
 
Source
Declared in /home/jesper/git/extendj/ASTNode at line 14

Attributes

@ASTNodeAnnotation.Attribute
syn boolean isDAafterCreation(org.jastadd.extendj.ast.Variable v)
Source
Declared in /home/jesper/git/extendj/java4/frontend/DefiniteAssignment.jrag at line 474
Aspect
DA
@ASTNodeAnnotation.Attribute
syn boolean isDAafter(org.jastadd.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 isDUafterCreation(org.jastadd.extendj.ast.Variable v)
Source
Declared in /home/jesper/git/extendj/java4/frontend/DefiniteAssignment.jrag at line 975
Aspect
DU
@ASTNodeAnnotation.Attribute
syn boolean isDUafter(org.jastadd.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 TypeDecl type()
Specified by:type in class Expr
Source
Declared in /home/jesper/git/extendj/java4/frontend/TypeAnalysis.jrag at line 302
Aspect
TypeAnalysis
@ASTNodeAnnotation.Attribute
syn int numArrays()
Source
Declared in /home/jesper/git/extendj/java4/backend/InnerClasses.jrag at line 103
Aspect
InnerClasses
@ASTNodeAnnotation.Attribute
syn boolean modifiedInScope(org.jastadd.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

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 589
Aspect
Java4PrettyPrint
public void typeCheck()
Overrides:typeCheck in class ASTNode<ASTNode>
Source
Declared in /home/jesper/git/extendj/java5/frontend/Generics.jrag at line 439
Aspect
GenericsTypeCheck
public void init$Children()
Initializes the child array to the correct size. Initializes List and Opt nta children.
Overrides:init$Children in class PrimaryExpr
Source
Declared in /home/jesper/git/extendj/ASTNode at line 10
protected int numChildren()
Overrides:numChildren in class PrimaryExpr
Source
Declared in /home/jesper/git/extendj/ASTNode at line 21
public boolean mayHaveRewrite()
Overrides:mayHaveRewrite in class PrimaryExpr
Source
Declared in /home/jesper/git/extendj/ASTNode at line 27
public void flushAttrCache()
Overrides:flushAttrCache in class PrimaryExpr
Source
Declared in /home/jesper/git/extendj/ASTNode at line 33
public void flushCollectionCache()
Overrides:flushCollectionCache in class PrimaryExpr
Source
Declared in /home/jesper/git/extendj/ASTNode at line 41
public void flushRewriteCache()
Overrides:flushRewriteCache in class PrimaryExpr
Source
Declared in /home/jesper/git/extendj/ASTNode at line 47
public ArrayCreationExpr clone()
                        throws java.lang.CloneNotSupportedException
Overrides:clone in class PrimaryExpr
Throws:
java.lang.CloneNotSupportedException
Source
Declared in /home/jesper/git/extendj/ASTNode at line 53
public ArrayCreationExpr copy()
Overrides:copy in class ASTNode<ASTNode>
Source
Declared in /home/jesper/git/extendj/ASTNode at line 60
@Deprecated
public ArrayCreationExpr 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 PrimaryExpr
Returns:
dangling copy of the subtree at this node
Source
Declared in /home/jesper/git/extendj/ASTNode at line 79
public ArrayCreationExpr 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 PrimaryExpr
Returns:
dangling copy of the subtree at this node
Source
Declared in /home/jesper/git/extendj/ASTNode at line 89
public ArrayCreationExpr 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 PrimaryExpr
Returns:
dangling copy of the subtree at this node
Source
Declared in /home/jesper/git/extendj/ASTNode at line 109
protected boolean is$Equal(ASTNode node)
Overrides:is$Equal in class ASTNode<ASTNode>
Source
Declared in /home/jesper/git/extendj/ASTNode at line 116
public void setTypeAccess(Access node)
Replaces the TypeAccess child.
Parameters:
node - The new node to replace the TypeAccess child.
@ASTNodeAnnotation.Child(name="TypeAccess")
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 setArrayInitOpt(Opt<ArrayInit> opt)
Replaces the optional node for the ArrayInit child. This is the Opt node containing the child ArrayInit, not the actual child!
Parameters:
opt - The new node to be used as the optional node for the ArrayInit child.
public void setArrayInit(ArrayInit node)
Replaces the (optional) ArrayInit child.
Parameters:
node - The new node to be used as the ArrayInit child.
public boolean hasArrayInit()
Check whether the optional ArrayInit child exists.
Returns:
true if the optional ArrayInit child exists, false if it does not.
public ArrayInit getArrayInit()
Retrieves the (optional) ArrayInit child.
Returns:
The ArrayInit child, if it exists. Returns null otherwise.
@ASTNodeAnnotation.OptChild(name="ArrayInit")
public Opt<ArrayInit> getArrayInitOpt()
Retrieves the optional node for the ArrayInit child. This is the Opt node containing the child ArrayInit, not the actual child!
Returns:
The optional node for child the ArrayInit child.
public Opt<ArrayInit> getArrayInitOptNoTransform()
Retrieves the optional node for child ArrayInit. This is the Opt node containing the child ArrayInit, not the actual child!

This method does not invoke AST transformations.

Returns:
The optional node for child ArrayInit.
public void createBCode(org.jastadd.extendj.ast.CodeGeneration gen)
Overrides:createBCode in class ASTNode<ASTNode>
Source
Declared in /home/jesper/git/extendj/java5/backend/AutoBoxingCodegen.jrag at line 288
Aspect
AutoBoxingCodegen
public boolean Define_isDAbefore(ASTNode caller,
                                 ASTNode child,
                                 org.jastadd.extendj.ast.Variable v)
Overrides:Define_isDAbefore in class ASTNode<ASTNode>
Source
Declared in /home/jesper/git/extendj/java4/frontend/DefiniteAssignment.jrag at line 255
protected boolean canDefine_isDAbefore(ASTNode caller,
                                       ASTNode child,
                                       org.jastadd.extendj.ast.Variable v)
public boolean Define_isDUbefore(ASTNode caller,
                                 ASTNode child,
                                 org.jastadd.extendj.ast.Variable v)
Overrides:Define_isDUbefore in class ASTNode<ASTNode>
Source
Declared in /home/jesper/git/extendj/java4/frontend/DefiniteAssignment.jrag at line 779
protected boolean canDefine_isDUbefore(ASTNode caller,
                                       ASTNode child,
                                       org.jastadd.extendj.ast.Variable v)
public org.jastadd.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 TypeDecl Define_declType(ASTNode caller,
                                ASTNode child)
Overrides:Define_declType in class ASTNode<ASTNode>
Source
Declared in /home/jesper/git/extendj/java5/frontend/Annotations.jrag at line 601
protected boolean canDefine_declType(ASTNode caller,
                                     ASTNode child)
public TypeDecl Define_expectedType(ASTNode caller,
                                    ASTNode child)
Overrides:Define_expectedType in class ASTNode<ASTNode>
Source
Declared in /home/jesper/git/extendj/java4/backend/InnerClasses.jrag at line 93
protected boolean canDefine_expectedType(ASTNode caller,
                                         ASTNode child)
public ASTNode rewriteTo()
Overrides:rewriteTo in class PrimaryExpr

Fields

protected boolean type_computed
protected TypeDecl type_value
protected boolean numArrays_computed
protected int numArrays_value

Inherited Members

Attributes inherited from org.jastadd.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
isArrayAccess
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
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
unknownType
varDecl

Attributes inherited from org.jastadd.extendj.ast.ASTNode

dumpString
flush
isStringAdd
lineNumber
program
sourceLineNumber
usesTypeVariable

Methods inherited from class org.jastadd.extendj.ast.Expr

branchFalse
branchTrue
chooseConstructor
computeConstraints
createAssignLoadDest
createAssignSimpleLoadDest
createPushAssignmentResult
emitBooleanCondition
emitStore
keepAccessibleFields
keepAccessibleTypes
mayAccess
moreSpecificThan
mostSpecific
mostSpecific
needsPush
qualifiesAccess
refined_CreateBCode_Expr_branchFalse
refined_CreateBCode_Expr_branchTrue

Methods inherited from class org.jastadd.extendj.ast.ASTNode

accessControl
addChild
canDefine_allImportedTypes
canDefine_assignConvertedType
canDefine_assignmentContext
canDefine_bind
canDefine_blockIndex
canDefine_branchTarget
canDefine_castContext
canDefine_catchClause
canDefine_caughtExceptions
canDefine_compilationUnit
canDefine_componentType
canDefine_constructorDecl
canDefine_enclosingAnnotationDecl
canDefine_enclosingBlock
canDefine_enclosingBodyDecl
canDefine_enclosingExplicitConstructorHostType
canDefine_enclosingFinally
canDefine_enclosingInstance
canDefine_enclosingLambda
canDefine_enclosingType
canDefine_genericDecl
canDefine_genericMethodLevel
canDefine_getClassInstanceExpr
canDefine_handlesException
canDefine_hasPackage
canDefine_hostPackage
canDefine_hostType
canDefine_inExplicitConstructorInvocation
canDefine_inExtendsOrImplements
canDefine_inferredType
canDefine_inhModifiedInScope
canDefine_insideLoop
canDefine_insideSwitch
canDefine_inStaticContext
canDefine_invocationContext
canDefine_isAnonymous
canDefine_isAnonymousDecl
canDefine_isCatchParam
canDefine_isConstructorParameter
canDefine_isDAbefore
canDefine_isDest
canDefine_isDUbefore
canDefine_isExceptionHandlerParameter
canDefine_isExplicitGenericConstructorAccess
canDefine_isIncOrDec
canDefine_isLocalClass
canDefine_isMemberType
canDefine_isMethodParameter
canDefine_isNestedType
canDefine_isSource
canDefine_leavesMonitor
canDefine_localNum
canDefine_lookupAnnotation
canDefine_lookupConstructor
canDefine_lookupElementTypeValue
canDefine_lookupGLBType
canDefine_lookupLabel
canDefine_lookupLUBType
canDefine_lookupMethod
canDefine_lookupSuperConstructor
canDefine_lookupType
canDefine_lookupType
canDefine_lookupVariable
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_numericContext
canDefine_otherLocalClassDecls
canDefine_outerScope
canDefine_packageName
canDefine_program
canDefine_reachable
canDefine_reachableCatchClause
canDefine_reportUnreachable
canDefine_resourcePreviouslyDeclared
canDefine_resultSaveLocalNum
canDefine_returnType
canDefine_stringContext
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_assignmentContext
Define_bind
Define_blockIndex
Define_branchTarget
Define_castContext
Define_catchClause
Define_caughtExceptions
Define_compilationUnit
Define_componentType
Define_constructorDecl
Define_enclosingAnnotationDecl
Define_enclosingBlock
Define_enclosingBodyDecl
Define_enclosingExplicitConstructorHostType
Define_enclosingFinally
Define_enclosingInstance
Define_enclosingLambda
Define_enclosingType
Define_genericDecl
Define_genericMethodLevel
Define_getClassInstanceExpr
Define_handlesException
Define_hasPackage
Define_hostPackage
Define_hostType
Define_inExplicitConstructorInvocation
Define_inExtendsOrImplements
Define_inferredType
Define_inhModifiedInScope
Define_insideLoop
Define_insideSwitch
Define_inStaticContext
Define_invocationContext
Define_isAnonymous
Define_isAnonymousDecl
Define_isCatchParam
Define_isConstructorParameter
Define_isDAbefore
Define_isDest
Define_isDUbefore
Define_isExceptionHandlerParameter
Define_isExplicitGenericConstructorAccess
Define_isIncOrDec
Define_isLocalClass
Define_isMemberType
Define_isMethodParameter
Define_isNestedType
Define_isSource
Define_leavesMonitor
Define_localNum
Define_lookupAnnotation
Define_lookupConstructor
Define_lookupElementTypeValue
Define_lookupGLBType
Define_lookupLabel
Define_lookupLUBType
Define_lookupMethod
Define_lookupSuperConstructor
Define_lookupType
Define_lookupType
Define_lookupVariable
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_numericContext
Define_otherLocalClassDecls
Define_outerScope
Define_packageName
Define_program
Define_reachable
Define_reachableCatchClause
Define_reportUnreachable
Define_resourcePreviouslyDeclared
Define_resultSaveLocalNum
Define_returnType
Define_stringContext
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
dumpTreeNoRewrite
dumpTreeNoRewrite
end
error
error
errorf
errorPrefix
exceptionHandling
extractSingleType
findFirstSourceLineNumber
flushAttrAndCollectionCache
flushCache
flushCaches
flushTreeCache
getChild
getChildNoTransform
getIndexOfChild
getMethod
getNumChild
getNumChildNoTransform
getParent
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.jastadd.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.jastadd.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