Package soot.JastAddJ

Class ArrayTypeAccess

java.lang.Object

beaver.Symbol

soot.JastAddJ.ASTNode<ASTNode>

soot.JastAddJ.Expr

soot.JastAddJ.Access

soot.JastAddJ.TypeAccess

soot.JastAddJ.ArrayTypeAccess

All Implemented Interfaces:

Cloneable, Iterable<ASTNode>

Direct Known Subclasses:

ArrayTypeWithSizeAccess

public class ArrayTypeAccess
extends TypeAccess
implements Cloneable

Field Summary

Fields

Modifier and Type	Field	Description
protected boolean	decl_computed
protected TypeDecl	decl_value
protected boolean	getID_computed
protected String	getID_value
protected boolean	getPackage_computed
protected String	getPackage_value
protected String	tokenString_ID
protected String	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
ArrayTypeAccess()
ArrayTypeAccess(Access p0)

Method Summary

Modifier and Type	Method	Description
void	addArraySize(Body b, ArrayList list)
ArrayTypeAccess	clone()
ArrayTypeAccess	copy()
TypeDecl	decl()
String	dumpString()
void	flushCache()
void	flushCollectionCache()
ArrayTypeAccess	fullCopy()	Create a deep copy of the AST subtree at this node.
Access	getAccess()	Retrieves the Access child.
Access	getAccessNoTransform()	Retrieves the Access child.
String	getID()	Retrieves the value for the lexeme ID.
String	getPackage()	Retrieves the value for the lexeme Package.
void	init$Children()	Initializes the child array to the correct size.
boolean	isDAafter(Variable v)
boolean	isDUafter(Variable v)
boolean	mayHaveRewrite()
void	nameCheck()
protected int	numChildren()
NameType	predNameType()
ASTNode	rewriteTo()
void	setAccess(Access node)	Replaces the Access child.
void	setID(String value)	Replaces the lexeme ID.
void	setPackage(String value)	Replaces the lexeme Package.
boolean	staticContextQualifier()
void	toString(StringBuffer s)

Methods inherited from class soot.JastAddJ.TypeAccess

accessControl, checkModifiers, decls, isRaw, isTypeAccess, name, nameWithPackage, packageName, qualifiedLookupVariable, setID, setPackage, substituted, transformation, type, typeCheck, 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_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_isDAbefore, Define_boolean_isDest, Define_boolean_isDUbefore, 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_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_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

Field Detail

tokenString_Package

protected String tokenString_Package

tokenString_ID

protected String tokenString_ID

getPackage_computed

protected boolean getPackage_computed

getPackage_value

protected String getPackage_value

getID_computed

protected boolean getID_computed

getID_value

protected String getID_value

decl_computed

protected boolean decl_computed

decl_value

protected TypeDecl decl_value

Constructor Detail

ArrayTypeAccess

public ArrayTypeAccess()

ArrayTypeAccess

public ArrayTypeAccess(Access p0)

Method Detail

flushCache

public void flushCache()

Overrides:

flushCache in class TypeAccess

flushCollectionCache

public void flushCollectionCache()

Overrides:

flushCollectionCache in class TypeAccess

clone

public ArrayTypeAccess clone()
                      throws CloneNotSupportedException

Overrides:

clone in class TypeAccess

Throws:

CloneNotSupportedException

copy

public ArrayTypeAccess copy()

Overrides:

copy in class TypeAccess

fullCopy

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

Returns:

dangling copy of the subtree at this node

nameCheck

public void nameCheck()

Overrides:

nameCheck in class TypeAccess

toString

public void toString(StringBuffer s)

Overrides:

toString in class TypeAccess

addArraySize

public void addArraySize(Body b,
                         ArrayList list)

Overrides:

addArraySize in class Access

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 TypeAccess

numChildren

protected int numChildren()

Overrides:

numChildren in class TypeAccess

mayHaveRewrite

public boolean mayHaveRewrite()

Overrides:

mayHaveRewrite in class TypeAccess

setAccess

public void setAccess(Access node)

Replaces the Access child.

Parameters:

node - The new node to replace the Access child.

getAccess

public Access getAccess()

Retrieves the Access child.

Returns:

The current node used as the Access child.

getAccessNoTransform

public Access getAccessNoTransform()

Retrieves the Access child.

This method does not invoke AST transformations.

Returns:

The current node used as the Access child.

setPackage

public void setPackage(String value)

Replaces the lexeme Package.

Overrides:

setPackage in class TypeAccess

Parameters:

value - The new value for the lexeme Package.

setID

public void setID(String value)

Replaces the lexeme ID.

Overrides:

setID in class TypeAccess

Parameters:

value - The new value for the lexeme ID.

getPackage

public String getPackage()

Description copied from class: TypeAccess

Retrieves the value for the lexeme Package.

Overrides:

getPackage in class TypeAccess

Returns:

The value for the lexeme Package.

getID

public String getID()

Description copied from class: TypeAccess

Retrieves the value for the lexeme ID.

Overrides:

getID in class TypeAccess

Returns:

The value for the lexeme ID.

isDAafter

public boolean isDAafter(Variable v)

Overrides:

isDAafter in class Expr

isDUafter

public boolean isDUafter(Variable v)

Overrides:

isDUafter in class Expr

decl

public TypeDecl decl()

Overrides:

decl in class TypeAccess

dumpString

public String dumpString()

Overrides:

dumpString in class TypeAccess

predNameType

public NameType predNameType()

Overrides:

predNameType in class TypeAccess

staticContextQualifier

public boolean staticContextQualifier()

Overrides:

staticContextQualifier in class TypeAccess

rewriteTo

public ASTNode rewriteTo()

Overrides:

rewriteTo in class TypeAccess