soot.JastAddJ

Class ArrayCreationExpr

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 and 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 and Description
ArrayCreationExpr()
ArrayCreationExpr(Access p0, Opt<ArrayInit> p1)

Method Summary

Modifier and Type	Method and 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