Package soot.JastAddJ

Class ArrayInit

java.lang.Object

beaver.Symbol

soot.JastAddJ.ASTNode<ASTNode>

soot.JastAddJ.Expr

soot.JastAddJ.ArrayInit

All Implemented Interfaces:

Cloneable, Iterable<ASTNode>

public class ArrayInit
extends Expr
implements Cloneable

Field Summary

Fields

Modifier and Type	Field	Description
protected Map	computeDABefore_int_Variable_values
protected Map	computeDUbefore_int_Variable_values
protected boolean	declType_computed
protected TypeDecl	declType_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
ArrayInit()
ArrayInit(List<Expr> p0)

Method Summary

Modifier and Type	Method	Description
void	addInit(Expr node)	Append an element to the Init list.
void	addInitNoTransform(Expr node)
ArrayInit	clone()
boolean	computeDABefore(int childIndex, Variable v)
boolean	computeDUbefore(int childIndex, Variable v)
ArrayInit	copy()
TypeDecl	declType()
boolean	Define_boolean_isDAbefore(ASTNode caller, ASTNode child, Variable v)
boolean	Define_boolean_isDUbefore(ASTNode caller, ASTNode child, Variable v)
boolean	Define_boolean_isSource(ASTNode caller, ASTNode child)
TypeDecl	Define_TypeDecl_assignConvertedType(ASTNode caller, ASTNode child)
TypeDecl	Define_TypeDecl_declType(ASTNode caller, ASTNode child)
TypeDecl	Define_TypeDecl_expectedType(ASTNode caller, ASTNode child)
Value	eval(Body b)
TypeDecl	expectedType()
void	flushCache()
void	flushCollectionCache()
ArrayInit	fullCopy()	Create a deep copy of the AST subtree at this node.
Expr	getInit(int i)	Retrieves the element at index i in the Init list..
List<Expr>	getInitList()	Retrieves the Init list.
List<Expr>	getInitListNoTransform()	Retrieves the Init list.
List<Expr>	getInits()	Retrieves the Init list.
List<Expr>	getInitsNoTransform()	Retrieves the Init list.
int	getNumInit()	Retrieves the number of children in the Init list.
int	getNumInitNoTransform()	Retrieves the number of children in the Init list.
void	init$Children()	Initializes the child array to the correct size.
boolean	isDAafter(Variable v)
boolean	isDUafter(Variable v)
boolean	mayHaveRewrite()
protected int	numChildren()
boolean	representableIn(TypeDecl t)
ASTNode	rewriteTo()
void	setInit(Expr node, int i)	Replaces the Init list element at index i with the new node node.
void	setInitList(List<Expr> list)	Replaces the Init list.
void	toString(StringBuffer s)
TypeDecl	type()
void	typeCheck()

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, 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_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_NameType_nameType, 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_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, 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

computeDABefore_int_Variable_values

protected Map computeDABefore_int_Variable_values

computeDUbefore_int_Variable_values

protected Map computeDUbefore_int_Variable_values

type_computed

protected boolean type_computed

type_value

protected TypeDecl type_value

declType_computed

protected boolean declType_computed

declType_value

protected TypeDecl declType_value

Constructor Detail

ArrayInit

public ArrayInit()

ArrayInit

public ArrayInit(List<Expr> p0)

Method Detail

flushCache

public void flushCache()

Overrides:

flushCache in class Expr

flushCollectionCache

public void flushCollectionCache()

Overrides:

flushCollectionCache in class Expr

clone

public ArrayInit clone()
                throws CloneNotSupportedException

Overrides:

clone in class Expr

Throws:

CloneNotSupportedException

copy

public ArrayInit copy()

Overrides:

copy in class ASTNode<ASTNode>

fullCopy

public ArrayInit 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>

typeCheck

public void typeCheck()

Overrides:

typeCheck 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 Expr

numChildren

protected int numChildren()

Overrides:

numChildren in class Expr

mayHaveRewrite

public boolean mayHaveRewrite()

Overrides:

mayHaveRewrite in class Expr

setInitList

public void setInitList(List<Expr> list)

Replaces the Init list.

Parameters:

list - The new list node to be used as the Init list.

getNumInit

public int getNumInit()

Retrieves the number of children in the Init list.

Returns:

Number of children in the Init list.

getNumInitNoTransform

public int getNumInitNoTransform()

Retrieves the number of children in the Init list. Calling this method will not trigger rewrites..

Returns:

Number of children in the Init list.

getInit

public Expr getInit(int i)

Retrieves the element at index i in the Init list..

Parameters:

i - Index of the element to return.

Returns:

The element at position i in the Init list.

addInit

public void addInit(Expr node)

Append an element to the Init list.

Parameters:

node - The element to append to the Init list.

addInitNoTransform

public void addInitNoTransform(Expr node)

setInit

public void setInit(Expr node,
                    int i)

Replaces the Init list element at index i with the new node node.

Parameters:

node - The new node to replace the old list element.

i - The list index of the node to be replaced.

getInits

public List<Expr> getInits()

Retrieves the Init list.

Returns:

The node representing the Init list.

getInitsNoTransform

public List<Expr> getInitsNoTransform()

Retrieves the Init list.

This method does not invoke AST transformations.

Returns:

The node representing the Init list.

getInitList

public List<Expr> getInitList()

Retrieves the Init list.

Returns:

The node representing the Init list.

getInitListNoTransform

public List<Expr> getInitListNoTransform()

Retrieves the Init list.

This method does not invoke AST transformations.

Returns:

The node representing the Init list.

representableIn

public boolean representableIn(TypeDecl t)

Overrides:

representableIn in class Expr

isDAafter

public boolean isDAafter(Variable v)

Overrides:

isDAafter in class Expr

computeDABefore

public boolean computeDABefore(int childIndex,
                               Variable v)

isDUafter

public boolean isDUafter(Variable v)

Overrides:

isDUafter in class Expr

computeDUbefore

public boolean computeDUbefore(int childIndex,
                               Variable v)

type

public TypeDecl type()

Specified by:

type in class Expr

declType

public TypeDecl declType()

expectedType

public TypeDecl expectedType()

Define_boolean_isSource

public boolean Define_boolean_isSource(ASTNode caller,
                                       ASTNode child)

Overrides:

Define_boolean_isSource in class ASTNode<ASTNode>

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_TypeDecl_declType

public TypeDecl Define_TypeDecl_declType(ASTNode caller,
                                         ASTNode child)

Overrides:

Define_TypeDecl_declType in class ASTNode<ASTNode>

Define_TypeDecl_assignConvertedType

public TypeDecl Define_TypeDecl_assignConvertedType(ASTNode caller,
                                                    ASTNode child)

Overrides:

Define_TypeDecl_assignConvertedType 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 Expr