soot.JastAddJ

Class ParTypeAccess

java.lang.Object

beaver.Symbol

soot.JastAddJ.ASTNode<ASTNode>

soot.JastAddJ.Expr

soot.JastAddJ.Access

soot.JastAddJ.ParTypeAccess

All Implemented Interfaces:

Cloneable, Iterable<ASTNode>

public class ParTypeAccess
extends Access
implements Cloneable

Field Summary

Fields

Modifier and Type	Field and Description
protected boolean	type_computed
protected TypeDecl	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 and Description
ParTypeAccess()
ParTypeAccess(Access p0, List<Access> p1)

Method Summary

Modifier and Type	Method and Description
void	addTypeArgument(Access node) Append an element to the TypeArgument list.
void	addTypeArgumentNoTransform(Access node)
ParTypeAccess	clone()
ParTypeAccess	copy()
SimpleSet	Define_SimpleSet_lookupType(ASTNode caller, ASTNode child, String name)
void	flushCache()
void	flushCollectionCache()
ParTypeAccess	fullCopy() Create a deep copy of the AST subtree at this node.
TypeDecl	genericDecl()
int	getNumTypeArgument() Retrieves the number of children in the TypeArgument list.
int	getNumTypeArgumentNoTransform() Retrieves the number of children in the TypeArgument list.
Access	getTypeAccess() Retrieves the TypeAccess child.
Access	getTypeAccessNoTransform() Retrieves the TypeAccess child.
Access	getTypeArgument(int i) Retrieves the element at index i in the TypeArgument list..
List<Access>	getTypeArgumentList() Retrieves the TypeArgument list.
List<Access>	getTypeArgumentListNoTransform() Retrieves the TypeArgument list.
List<Access>	getTypeArguments() Retrieves the TypeArgument list.
List<Access>	getTypeArgumentsNoTransform() Retrieves the TypeArgument list.
void	init$Children() Initializes the child array to the correct size.
boolean	isRaw()
boolean	isTypeAccess()
boolean	mayHaveRewrite()
protected int	numChildren()
ASTNode	rewriteTo()
void	setTypeAccess(Access node) Replaces the TypeAccess child.
void	setTypeArgument(Access node, int i) Replaces the TypeArgument list element at index i with the new node node.
void	setTypeArgumentList(List<Access> list) Replaces the TypeArgument list.
Access	substituted(Collection<TypeVariable> original, List<TypeVariable> substitution) Builds a copy of this Access node where all occurrences of type variables in the original type parameter list have been replaced by the substitution type parameters.
void	toString(StringBuffer s)
TypeDecl	type()
void	typeCheck()
Expr	unqualifiedScope()

Methods inherited from class soot.JastAddJ.Access

addArrayDims, addArraySize, emitLoadLocalInNestedClass, emitThis, hasPrevExpr, inExplicitConstructorInvocation, isDiamond, isQualified, lastAccess, nestedScope, predNameType, prevExpr, qualifier, superConstructorQualifier, unknownField, unknownType, 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, isDAafter, isDAafterFalse, isDAafterTrue, isDAbefore, isDest, isDUafter, 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, 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, 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_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_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, 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

type_computed

protected boolean type_computed

type_value

protected TypeDecl type_value

Constructor Detail

ParTypeAccess

public ParTypeAccess()

ParTypeAccess

public ParTypeAccess(Access p0,
                     List<Access> p1)

Method Detail

flushCache

public void flushCache()

Overrides:

flushCache in class Access

flushCollectionCache

public void flushCollectionCache()

Overrides:

flushCollectionCache in class Access

clone

public ParTypeAccess clone()
                    throws CloneNotSupportedException

Overrides:

clone in class Access

Throws:

CloneNotSupportedException

copy

public ParTypeAccess copy()

Overrides:

copy in class ASTNode<ASTNode>

fullCopy

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

isRaw

public boolean isRaw()

typeCheck

public void typeCheck()

Overrides:

typeCheck in class ASTNode<ASTNode>

toString

public void toString(StringBuffer s)

Overrides:

toString in class ASTNode<ASTNode>

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 Access

numChildren

protected int numChildren()

Overrides:

numChildren in class Access

mayHaveRewrite

public boolean mayHaveRewrite()

Overrides:

mayHaveRewrite in class Access

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.

setTypeArgumentList

public void setTypeArgumentList(List<Access> list)

Replaces the TypeArgument list.

Parameters:

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

getNumTypeArgument

public int getNumTypeArgument()

Retrieves the number of children in the TypeArgument list.

Returns:

Number of children in the TypeArgument list.

getNumTypeArgumentNoTransform

public int getNumTypeArgumentNoTransform()

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

Returns:

Number of children in the TypeArgument list.

getTypeArgument

public Access getTypeArgument(int i)

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

Parameters:

i - Index of the element to return.

Returns:

The element at position i in the TypeArgument list.

addTypeArgument

public void addTypeArgument(Access node)

Append an element to the TypeArgument list.

Parameters:

node - The element to append to the TypeArgument list.

addTypeArgumentNoTransform

public void addTypeArgumentNoTransform(Access node)

setTypeArgument

public void setTypeArgument(Access node,
                            int i)

Replaces the TypeArgument 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.

getTypeArguments

public List<Access> getTypeArguments()

Retrieves the TypeArgument list.

Returns:

The node representing the TypeArgument list.

getTypeArgumentsNoTransform

public List<Access> getTypeArgumentsNoTransform()

Retrieves the TypeArgument list.

This method does not invoke AST transformations.

Returns:

The node representing the TypeArgument list.

getTypeArgumentList

public List<Access> getTypeArgumentList()

Retrieves the TypeArgument list.

Returns:

The node representing the TypeArgument list.

getTypeArgumentListNoTransform

public List<Access> getTypeArgumentListNoTransform()

Retrieves the TypeArgument list.

This method does not invoke AST transformations.

Returns:

The node representing the TypeArgument list.

unqualifiedScope

public Expr unqualifiedScope()

Overrides:

unqualifiedScope in class Access

type

public TypeDecl type()

Overrides:

type in class Access

genericDecl

public TypeDecl genericDecl()

isTypeAccess

public boolean isTypeAccess()

Overrides:

isTypeAccess in class Expr

substituted

public Access substituted(Collection<TypeVariable> original,
                          List<TypeVariable> substitution)

Builds a copy of this Access node where all occurrences of type variables in the original type parameter list have been replaced by the substitution type parameters.

Overrides:

substituted in class Access

Returns:

the substituted Access node

Define_SimpleSet_lookupType

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

Overrides:

Define_SimpleSet_lookupType in class ASTNode<ASTNode>

rewriteTo

public ASTNode rewriteTo()

Overrides:

rewriteTo in class Access