java.lang.Object
- beaver.Symbol
- - soot.JastAddJ.ASTNode<ASTNode>
  - - soot.JastAddJ.Expr
    - - soot.JastAddJ.PrimaryExpr
      - soot.JastAddJ.ArrayCreationExpr

All Implemented Interfaces:: Cloneable, Iterable<ASTNode>

public class ArrayCreationExpr
extends PrimaryExpr
implements Cloneable

Field Summary

Fields
Modifier and Type Field Description

protected boolean numArrays_computed

protected int numArrays_value

protected boolean type_computed

protected TypeDecl type_value
- Fields inherited from class soot.JastAddJ.Expr
  false_label_computed, false_label_value, true_label_computed, true_label_value
- Fields inherited from class soot.JastAddJ.ASTNode
  children, generatedWithCacheCycle, generatedWithCircularEnabled, generatedWithComponentCheck, in$Circle, is$Final, numChildren, parent, PRIMITIVE_PACKAGE_NAME, state
- Fields inherited from class beaver.Symbol
  end, id, start, value

Constructor Summary

Constructors
Constructor Description

ArrayCreationExpr()

ArrayCreationExpr(Access p0, Opt<ArrayInit> p1)

Method Summary

All Methods Instance Methods Concrete Methods
Modifier and Type	Method	Description
`ArrayCreationExpr`	`clone()`
`ArrayCreationExpr`	`copy()`
`boolean`	`Define_boolean_isDAbefore(ASTNode caller, ASTNode child, Variable v)`
`boolean`	`Define_boolean_isDUbefore(ASTNode caller, ASTNode child, Variable v)`
`NameType`	`Define_NameType_nameType(ASTNode caller, ASTNode child)`
`TypeDecl`	`Define_TypeDecl_declType(ASTNode caller, ASTNode child)`
`TypeDecl`	`Define_TypeDecl_expectedType(ASTNode caller, ASTNode child)`
`Value`	`eval(Body b)`
`void`	`flushCache()`
`void`	`flushCollectionCache()`
`ArrayCreationExpr`	`fullCopy()`	Create a deep copy of the AST subtree at this node.
`ArrayInit`	`getArrayInit()`	Retrieves the (optional) ArrayInit child.
`Opt<ArrayInit>`	`getArrayInitOpt()`
`Opt<ArrayInit>`	`getArrayInitOptNoTransform()`	Retrieves the optional node for child ArrayInit.
`Access`	`getTypeAccess()`	Retrieves the TypeAccess child.
`Access`	`getTypeAccessNoTransform()`	Retrieves the TypeAccess child.
`boolean`	`hasArrayInit()`	Check whether the optional ArrayInit child exists.
`void`	`init$Children()`	Initializes the child array to the correct size.
`boolean`	`isDAafter(Variable v)`
`boolean`	`isDAafterCreation(Variable v)`
`boolean`	`isDUafter(Variable v)`
`boolean`	`isDUafterCreation(Variable v)`
`boolean`	`mayHaveRewrite()`
`int`	`numArrays()`
`protected int`	`numChildren()`
`ASTNode`	`rewriteTo()`
`void`	`setArrayInit(ArrayInit node)`	Replaces the (optional) ArrayInit child.
`void`	`setArrayInitOpt(Opt<ArrayInit> opt)`	Replaces the optional node for the ArrayInit child.
`void`	`setTypeAccess(Access node)`	Replaces the TypeAccess child.
`void`	`toString(StringBuffer s)`
`TypeDecl`	`type()`

Methods inherited from class soot.JastAddJ.Expr
addDependencyIfNeeded, applicableAndAccessible, assignConvertedType, canBeFalse, canBeTrue, chooseConstructor, collectTypesToHierarchy, condition_false_label, condition_true_label, constant, emitBooleanCondition, emitEvalBranch, emitStore, enclosingBodyDecl, enclosingStmt, false_label, hasNextAccess, hasPackage, hasParentDot, hasQualifiedPackage, hostPackage, hostType, inExtendsOrImplements, inStaticContext, isArrayAccess, isClassAccess, isConstant, isDAafterFalse, isDAafterTrue, isDAbefore, isDest, isDUafterFalse, isDUafterTrue, isDUbefore, isEnumConstant, isFalse, isFieldAccess, isIncOrDec, isLeftChildOfDot, isMethodAccess, isPackageAccess, isPositive, isRightChildOfDot, isSource, isSuperAccess, isSuperConstructorAccess, isThisAccess, isTrue, isTypeAccess, isUnknown, isVariable, isVariable, keepAccessibleFields, keepAccessibleTypes, lookupMethod, lookupType, lookupType, lookupVariable, mayAccess, methodHost, modifiedInScope, mostSpecific, mostSpecificConstructor, nameType, nextAccess, packageName, parentDot, qualifiedLookupType, qualifiedLookupVariable, qualifiesAccess, refined_BooleanExpressions_Expr_emitEvalBranch, representableIn, staticContextQualifier, throwTypes, true_label, typeBoolean, typeByte, typeChar, typeDouble, typeFloat, typeInt, typeLong, typeName, typeNull, typeShort, typeString, typeVoid, unknownType, varDecl

Methods inherited from class soot.JastAddJ.ASTNode
accessControl, addAttributes, addChild, addsIndentationLevel, asImmediate, asLocal, asLocal, asRValue, beginExceptionRange, branchTarget, checkDUeverywhere, checkEnum, checkUncheckedConversion, checkWarnings, clearLocations, cloneSubtree, collectBranches, collectEnclosingVariables, collectErrors, collectExceptions, collectFinally, collectTypesToSignatures, compilationUnit, Define_Annotation_lookupAnnotation, Define_ArrayList_exceptionRanges, Define_ASTNode_enclosingBlock, Define_BodyDecl_enclosingBodyDecl, Define_boolean_enclosedByExceptionHandler, 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_isSource, Define_boolean_mayBeAbstract, Define_boolean_mayBeFinal, 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_mayUseAnnotationTarget, 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_localNum, Define_LabeledStmt_lookupLabel, Define_LUBType_lookupLUBType, Define_MethodDecl_unknownMethod, Define_SimpleSet_allImportedTypes, Define_SimpleSet_lookupType, Define_SimpleSet_lookupVariable, Define_soot_jimple_Stmt_condition_false_label, Define_soot_jimple_Stmt_condition_true_label, Define_String_hostPackage, Define_String_methodHost, Define_String_packageName, Define_String_typeDeclIndent, Define_TypeDecl_assignConvertedType, 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, definesLabel, definiteAssignment, dumpString, dumpTree, dumpTree, dumpTreeNoRewrite, dumpTreeNoRewrite, duringAnnotations, duringAnonymousClasses, duringBoundNames, duringDU, duringEnums, duringGenericTypeVariables, duringImplicitConstructor, duringLiterals, duringNameResolution, duringSyntacticClassification, duringVariableDeclarationTransformation, emitConstant, end, endExceptionRange, error, errorPrefix, exceptionHandling, extractIndent, extractSingleType, flushCaches, getChild, getChildNoTransform, getIndexOfChild, getNumChild, getNumChildNoTransform, getParent, in$Circle, in$Circle, indent, insertChild, is$Final, is$Final, isDescendantTo, isStringAdd, iterator, jimplify1phase1, jimplify1phase2, jimplify2, jimplify2, lineNumber, location, nameCheck, newLabel, options, putSimpleSetElement, reachedException, removeChild, removeInstanceMethods, removeInstanceVariables, replace, setChild, setEnd, setLocation, setParent, setStart, sourceFile, start, state, toString, transformation, transformEnumConstructors, typeCheck, unassignedEverywhere, usesTypeVariable, 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 java.lang.Iterable
forEach, spliterator

- Field Detail
  - type_computed
```
protected boolean type_computed
```
  - type_value
```
protected TypeDecl type_value
```
  - numArrays_computed
```
protected boolean numArrays_computed
```
  - numArrays_value
```
protected int numArrays_value
```
- Constructor Detail
  - ArrayCreationExpr
```
public ArrayCreationExpr()
```
  - ArrayCreationExpr
```
public ArrayCreationExpr(Access p0,
                         Opt<ArrayInit> p1)
```
- Method Detail
  - flushCache
```
public void flushCache()
```
    Overrides:
    
    flushCache in class PrimaryExpr
  - flushCollectionCache
```
public void flushCollectionCache()
```
    Overrides:
    
    flushCollectionCache in class PrimaryExpr
  - clone
```
public ArrayCreationExpr clone()
                        throws CloneNotSupportedException
```
    Overrides:
    
    clone in class PrimaryExpr
    
    Throws:
    
    CloneNotSupportedException
  - copy
```
public ArrayCreationExpr copy()
```
    Overrides:
    
    copy in class ASTNode<ASTNode>
  - fullCopy
```
public ArrayCreationExpr 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
  - toString
```
public void toString(StringBuffer s)
```
    Overrides:
    
    toString in class ASTNode<ASTNode>
  - eval
```
public Value eval(Body b)
```
    Overrides:
    
    eval in class Expr
  - init$Children
```
public void init$Children()
```
    Initializes the child array to the correct size. Initializes List and Opt nta children.
    
    Overrides:
    
    init$Children in class PrimaryExpr
  - numChildren
```
protected int numChildren()
```
    Overrides:
    
    numChildren in class PrimaryExpr
  - mayHaveRewrite
```
public boolean mayHaveRewrite()
```
    Overrides:
    
    mayHaveRewrite in class PrimaryExpr
  - setTypeAccess
```
public void setTypeAccess(Access node)
```
    Replaces the TypeAccess child.
    
    Parameters:
    
    node - The new node to replace the TypeAccess child.
  - getTypeAccess
```
public Access getTypeAccess()
```
    Retrieves the TypeAccess child.
    
    Returns:
    
    The current node used as the TypeAccess child.
  - getTypeAccessNoTransform
```
public Access getTypeAccessNoTransform()
```
    Retrieves the TypeAccess child.
    This method does not invoke AST transformations.
    
    Returns:
    
    The current node used as the TypeAccess child.
  - setArrayInitOpt
```
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.
  - hasArrayInit
```
public boolean hasArrayInit()
```
    Check whether the optional ArrayInit child exists.
    
    Returns:
    
    true if the optional ArrayInit child exists, false if it does not.
  - getArrayInit
```
public ArrayInit getArrayInit()
```
    Retrieves the (optional) ArrayInit child.
    
    Returns:
    
    The ArrayInit child, if it exists. Returns null otherwise.
  - setArrayInit
```
public void setArrayInit(ArrayInit node)
```
    Replaces the (optional) ArrayInit child.
    
    Parameters:
    
    node - The new node to be used as the ArrayInit child.
  - getArrayInitOpt
```
public Opt<ArrayInit> getArrayInitOpt()
```
  - getArrayInitOptNoTransform
```
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.
  - isDAafterCreation
```
public boolean isDAafterCreation(Variable v)
```
  - isDAafter
```
public boolean isDAafter(Variable v)
```
    Overrides:
    
    isDAafter in class Expr
  - isDUafterCreation
```
public boolean isDUafterCreation(Variable v)
```
  - isDUafter
```
public boolean isDUafter(Variable v)
```
    Overrides:
    
    isDUafter in class Expr
  - type
```
public TypeDecl type()
```
    Specified by:
    
    type in class Expr
  - numArrays
```
public int numArrays()
```
  - Define_boolean_isDAbefore
```
public boolean Define_boolean_isDAbefore(ASTNode caller,
                                         ASTNode child,
                                         Variable v)
```
    Overrides:
    
    Define_boolean_isDAbefore in class ASTNode<ASTNode>
  - Define_boolean_isDUbefore
```
public boolean Define_boolean_isDUbefore(ASTNode caller,
                                         ASTNode child,
                                         Variable v)
```
    Overrides:
    
    Define_boolean_isDUbefore in class ASTNode<ASTNode>
  - Define_NameType_nameType
```
public NameType Define_NameType_nameType(ASTNode caller,
                                         ASTNode child)
```
    Overrides:
    
    Define_NameType_nameType in class ASTNode<ASTNode>
  - Define_TypeDecl_declType
```
public TypeDecl Define_TypeDecl_declType(ASTNode caller,
                                         ASTNode child)
```
    Overrides:
    
    Define_TypeDecl_declType in class ASTNode<ASTNode>
  - Define_TypeDecl_expectedType
```
public TypeDecl Define_TypeDecl_expectedType(ASTNode caller,
                                             ASTNode child)
```
    Overrides:
    
    Define_TypeDecl_expectedType in class ASTNode<ASTNode>
  - rewriteTo
```
public ASTNode rewriteTo()
```
    Overrides:
    
    rewriteTo in class PrimaryExpr

Modifier and Type	Field	Description
`protected boolean`	`numArrays_computed`
`protected int`	`numArrays_value`
`protected boolean`	`type_computed`
`protected TypeDecl`	`type_value`

Constructor	Description
`ArrayCreationExpr()`
`ArrayCreationExpr(Access p0, Opt<ArrayInit> p1)`

Class ArrayCreationExpr

Field Summary

Fields inherited from class soot.JastAddJ.Expr

Fields inherited from class soot.JastAddJ.ASTNode

Fields inherited from class beaver.Symbol

Constructor Summary

Method Summary

Methods inherited from class soot.JastAddJ.Expr

Methods inherited from class soot.JastAddJ.ASTNode

Methods inherited from class beaver.Symbol

Methods inherited from class java.lang.Object

Methods inherited from interface java.lang.Iterable

Field Detail

type_computed

type_value

numArrays_computed

numArrays_value

Constructor Detail

ArrayCreationExpr

ArrayCreationExpr

Method Detail

flushCache

flushCollectionCache

clone

copy

fullCopy

toString

eval

init$Children

numChildren

mayHaveRewrite

setTypeAccess

getTypeAccess

getTypeAccessNoTransform

setArrayInitOpt

hasArrayInit

getArrayInit

setArrayInit

getArrayInitOpt

getArrayInitOptNoTransform

isDAafterCreation

isDAafter

isDUafterCreation

isDUafter

type

numArrays

Define_boolean_isDAbefore

Define_boolean_isDUbefore

Define_NameType_nameType

Define_TypeDecl_declType

Define_TypeDecl_expectedType

rewriteTo