Package soot.JastAddJ

Class ArrayTypeWithSizeAccess

java.lang.Object

beaver.Symbol

soot.JastAddJ.ASTNode<ASTNode>

soot.JastAddJ.Expr

soot.JastAddJ.Access

soot.JastAddJ.TypeAccess

soot.JastAddJ.ArrayTypeAccess

soot.JastAddJ.ArrayTypeWithSizeAccess

All Implemented Interfaces:

Cloneable, Iterable<ASTNode>

public class ArrayTypeWithSizeAccess
extends ArrayTypeAccess
implements Cloneable

Field Summary

Fields inherited from class soot.JastAddJ.ArrayTypeAccess

decl_computed, decl_value, getID_computed, getID_value, getPackage_computed, getPackage_value, tokenString_ID, tokenString_Package

Fields inherited from class soot.JastAddJ.TypeAccess

decls_computed, decls_value, IDend, IDstart, Packageend, Packagestart, type_computed, type_value

Fields inherited from class soot.JastAddJ.Access

hasPrevExpr_computed, hasPrevExpr_value, prevExpr_computed, prevExpr_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
ArrayTypeWithSizeAccess()
ArrayTypeWithSizeAccess(Access p0, Expr p1)

Method Summary

Modifier and Type	Method	Description
void	addArraySize(Body b, ArrayList list)
ArrayTypeWithSizeAccess	clone()
ArrayTypeWithSizeAccess	copy()
boolean	Define_boolean_hasPackage(ASTNode caller, ASTNode child, String packageName)
boolean	Define_boolean_isDAbefore(ASTNode caller, ASTNode child, Variable v)
boolean	Define_boolean_isDest(ASTNode caller, ASTNode child)
boolean	Define_boolean_isDUbefore(ASTNode caller, ASTNode child, Variable v)
boolean	Define_boolean_isSource(ASTNode caller, ASTNode child)
Collection	Define_Collection_lookupMethod(ASTNode caller, ASTNode child, String name)
NameType	Define_NameType_nameType(ASTNode caller, ASTNode child)
SimpleSet	Define_SimpleSet_lookupType(ASTNode caller, ASTNode child, String name)
SimpleSet	Define_SimpleSet_lookupVariable(ASTNode caller, ASTNode child, String name)
void	flushCache()
void	flushCollectionCache()
ArrayTypeWithSizeAccess	fullCopy()	Create a deep copy of the AST subtree at this node.
Access	getAccess()	Retrieves the Access child.
Access	getAccessNoTransform()	Retrieves the Access child.
Expr	getExpr()	Retrieves the Expr child.
Expr	getExprNoTransform()	Retrieves the Expr child.
void	init$Children()	Initializes the child array to the correct size.
boolean	isDAafter(Variable v)
boolean	isDUafter(Variable v)
boolean	mayHaveRewrite()
protected int	numChildren()
ASTNode	rewriteTo()
void	setAccess(Access node)	Replaces the Access child.
void	setExpr(Expr node)	Replaces the Expr child.
void	setID(String value)	Replaces the lexeme ID.
void	setPackage(String value)	Replaces the lexeme Package.
void	toString(StringBuffer s)
void	typeCheck()

Methods inherited from class soot.JastAddJ.ArrayTypeAccess

decl, dumpString, getID, getPackage, nameCheck, predNameType, staticContextQualifier

Methods inherited from class soot.JastAddJ.TypeAccess

accessControl, checkModifiers, decls, isRaw, isTypeAccess, name, nameWithPackage, packageName, qualifiedLookupVariable, setID, setPackage, substituted, transformation, type, typeName, usesTypeVariable

Methods inherited from class soot.JastAddJ.Access

addArrayDims, emitLoadLocalInNestedClass, emitThis, hasPrevExpr, inExplicitConstructorInvocation, isDiamond, isQualified, lastAccess, nestedScope, prevExpr, qualifier, superConstructorQualifier, unknownField, unknownType, unqualifiedScope, withinDeprecatedAnnotation, withinSuppressWarnings

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, eval, 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, isUnknown, isVariable, isVariable, keepAccessibleFields, keepAccessibleTypes, lookupMethod, lookupType, lookupType, lookupVariable, mayAccess, methodHost, modifiedInScope, mostSpecific, mostSpecificConstructor, nameType, nextAccess, parentDot, qualifiedLookupType, qualifiesAccess, refined_BooleanExpressions_Expr_emitEvalBranch, representableIn, throwTypes, true_label, typeBoolean, typeByte, typeChar, typeDouble, typeFloat, typeInt, typeLong, typeNull, typeShort, typeString, typeVoid, varDecl

Methods inherited from class soot.JastAddJ.ASTNode

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_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_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_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_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_declType, Define_TypeDecl_enclosingAnnotationDecl, Define_TypeDecl_enclosingInstance, Define_TypeDecl_enclosingType, Define_TypeDecl_expectedType, 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, 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, newLabel, options, putSimpleSetElement, reachedException, removeChild, removeInstanceMethods, removeInstanceVariables, replace, setChild, setEnd, setLocation, setParent, setStart, sourceFile, start, state, toString, transformEnumConstructors, unassignedEverywhere, 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

Constructor Detail

ArrayTypeWithSizeAccess

public ArrayTypeWithSizeAccess()

ArrayTypeWithSizeAccess

public ArrayTypeWithSizeAccess(Access p0,
                               Expr p1)

Method Detail

flushCache

public void flushCache()

Overrides:

flushCache in class ArrayTypeAccess

flushCollectionCache

public void flushCollectionCache()

Overrides:

flushCollectionCache in class ArrayTypeAccess

clone

public ArrayTypeWithSizeAccess clone()
                              throws CloneNotSupportedException

Overrides:

clone in class ArrayTypeAccess

Throws:

CloneNotSupportedException

copy

public ArrayTypeWithSizeAccess copy()

Overrides:

copy in class ArrayTypeAccess

fullCopy

public ArrayTypeWithSizeAccess 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 ArrayTypeAccess

Returns:

dangling copy of the subtree at this node

toString

public void toString(StringBuffer s)

Overrides:

toString in class ArrayTypeAccess

typeCheck

public void typeCheck()

Overrides:

typeCheck in class TypeAccess

addArraySize

public void addArraySize(Body b,
                         ArrayList list)

Overrides:

addArraySize in class ArrayTypeAccess

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 ArrayTypeAccess

numChildren

protected int numChildren()

Overrides:

numChildren in class ArrayTypeAccess

mayHaveRewrite

public boolean mayHaveRewrite()

Overrides:

mayHaveRewrite in class ArrayTypeAccess

setAccess

public void setAccess(Access node)

Replaces the Access child.

Overrides:

setAccess in class ArrayTypeAccess

Parameters:

node - The new node to replace the Access child.

getAccess

public Access getAccess()

Retrieves the Access child.

Overrides:

getAccess in class ArrayTypeAccess

Returns:

The current node used as the Access child.

getAccessNoTransform

public Access getAccessNoTransform()

Retrieves the Access child.

This method does not invoke AST transformations.

Overrides:

getAccessNoTransform in class ArrayTypeAccess

Returns:

The current node used as the Access child.

setExpr

public void setExpr(Expr node)

Replaces the Expr child.

Parameters:

node - The new node to replace the Expr child.

getExpr

public Expr getExpr()

Retrieves the Expr child.

Returns:

The current node used as the Expr child.

getExprNoTransform

public Expr getExprNoTransform()

Retrieves the Expr child.

This method does not invoke AST transformations.

Returns:

The current node used as the Expr child.

setPackage

public void setPackage(String value)

Replaces the lexeme Package.

Overrides:

setPackage in class ArrayTypeAccess

Parameters:

value - The new value for the lexeme Package.

setID

public void setID(String value)

Replaces the lexeme ID.

Overrides:

setID in class ArrayTypeAccess

Parameters:

value - The new value for the lexeme ID.

isDAafter

public boolean isDAafter(Variable v)

Overrides:

isDAafter in class ArrayTypeAccess

isDUafter

public boolean isDUafter(Variable v)

Overrides:

isDUafter in class ArrayTypeAccess

Define_boolean_isDest

public boolean Define_boolean_isDest(ASTNode caller,
                                     ASTNode child)

Overrides:

Define_boolean_isDest in class ASTNode<ASTNode>

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_Collection_lookupMethod

public Collection Define_Collection_lookupMethod(ASTNode caller,
                                                 ASTNode child,
                                                 String name)

Overrides:

Define_Collection_lookupMethod in class ASTNode<ASTNode>

Define_boolean_hasPackage

public boolean Define_boolean_hasPackage(ASTNode caller,
                                         ASTNode child,
                                         String packageName)

Overrides:

Define_boolean_hasPackage in class ASTNode<ASTNode>

Define_SimpleSet_lookupType

public SimpleSet Define_SimpleSet_lookupType(ASTNode caller,
                                             ASTNode child,
                                             String name)

Overrides:

Define_SimpleSet_lookupType in class ASTNode<ASTNode>

Define_SimpleSet_lookupVariable

public SimpleSet Define_SimpleSet_lookupVariable(ASTNode caller,
                                                 ASTNode child,
                                                 String name)

Overrides:

Define_SimpleSet_lookupVariable in class ASTNode<ASTNode>

Define_NameType_nameType

public NameType Define_NameType_nameType(ASTNode caller,
                                         ASTNode child)

Overrides:

Define_NameType_nameType in class ASTNode<ASTNode>

rewriteTo

public ASTNode rewriteTo()

Overrides:

rewriteTo in class ArrayTypeAccess