soot.JastAddJ

Class TypeAccess

java.lang.Object

beaver.Symbol

soot.JastAddJ.ASTNode<ASTNode>

soot.JastAddJ.Expr

soot.JastAddJ.Access

soot.JastAddJ.TypeAccess

All Implemented Interfaces:

Cloneable, Iterable<ASTNode>

Direct Known Subclasses:

ArrayTypeAccess, BoundTypeAccess, BytecodeTypeAccess, PrimitiveTypeAccess

public class TypeAccess
extends Access
implements Cloneable

Field Summary

Fields

Modifier and Type	Field and Description
protected boolean	decl_computed
protected TypeDecl	decl_value
protected boolean	decls_computed
protected SimpleSet	decls_value
int	IDend
int	IDstart
int	Packageend
int	Packagestart
protected String	tokenString_ID
protected String	tokenString_Package
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
TypeAccess()
TypeAccess(String typeName)
TypeAccess(String name, int start, int end)
TypeAccess(String p0, String p1)
TypeAccess(Symbol p0, Symbol p1)

Method Summary

Modifier and Type	Method and Description
void	accessControl()
void	checkModifiers()
TypeAccess	clone()
TypeAccess	copy()
TypeDecl	decl()
SimpleSet	decls()
String	dumpString()
void	flushCache()
void	flushCollectionCache()
TypeAccess	fullCopy() Create a deep copy of the AST subtree at this node.
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	isRaw()
boolean	isTypeAccess()
boolean	mayHaveRewrite()
String	name()
void	nameCheck()
String	nameWithPackage()
protected int	numChildren()
String	packageName()
NameType	predNameType()
SimpleSet	qualifiedLookupVariable(String name)
ASTNode	rewriteTo()
void	setID(String value) Replaces the lexeme ID.
void	setID(Symbol symbol) JastAdd-internal setter for lexeme ID using the Beaver parser.
void	setPackage(String value) Replaces the lexeme Package.
void	setPackage(Symbol symbol) JastAdd-internal setter for lexeme Package using the Beaver parser.
boolean	staticContextQualifier()
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)
void	transformation()
TypeDecl	type()
void	typeCheck()
String	typeName()
boolean	usesTypeVariable()

Methods inherited from class soot.JastAddJ.Access

addArrayDims, addArraySize, 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, 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, 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

Packagestart

public int Packagestart

Packageend

public int Packageend

tokenString_ID

protected String tokenString_ID

IDstart

public int IDstart

IDend

public int IDend

decls_computed

protected boolean decls_computed

decls_value

protected SimpleSet decls_value

decl_computed

protected boolean decl_computed

decl_value

protected TypeDecl decl_value

type_computed

protected boolean type_computed

type_value

protected TypeDecl type_value

Constructor Detail

TypeAccess

public TypeAccess(String name,
                  int start,
                  int end)

TypeAccess

public TypeAccess(String typeName)

TypeAccess

public TypeAccess()

TypeAccess

public TypeAccess(String p0,
                  String p1)

TypeAccess

public TypeAccess(Symbol p0,
                  Symbol p1)

Method Detail

flushCache

public void flushCache()

Overrides:

flushCache in class Access

flushCollectionCache

public void flushCollectionCache()

Overrides:

flushCollectionCache in class Access

clone

public TypeAccess clone()
                 throws CloneNotSupportedException

Overrides:

clone in class Access

Throws:

CloneNotSupportedException

copy

public TypeAccess copy()

Overrides:

copy in class ASTNode<ASTNode>

fullCopy

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

accessControl

public void accessControl()

Overrides:

accessControl in class ASTNode<ASTNode>

nameCheck

public void nameCheck()

Overrides:

nameCheck in class ASTNode<ASTNode>

toString

public void toString(StringBuffer s)

Overrides:

toString in class ASTNode<ASTNode>

checkModifiers

public void checkModifiers()

isRaw

public boolean isRaw()

typeCheck

public void typeCheck()

Overrides:

typeCheck in class ASTNode<ASTNode>

transformation

public void transformation()

Overrides:

transformation 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

setPackage

public void setPackage(String value)

Replaces the lexeme Package.

Parameters:

value - The new value for the lexeme Package.

setPackage

public void setPackage(Symbol symbol)

JastAdd-internal setter for lexeme Package using the Beaver parser.

getPackage

public String getPackage()

Retrieves the value for the lexeme Package.

Returns:

The value for the lexeme Package.

setID

public void setID(String value)

Replaces the lexeme ID.

Parameters:

value - The new value for the lexeme ID.

setID

public void setID(Symbol symbol)

JastAdd-internal setter for lexeme ID using the Beaver parser.

getID

public String getID()

Retrieves the value for the lexeme ID.

Returns:

The value for the lexeme ID.

decls

public SimpleSet decls()

decl

public TypeDecl decl()

qualifiedLookupVariable

public SimpleSet qualifiedLookupVariable(String name)

Overrides:

qualifiedLookupVariable in class Expr

dumpString

public String dumpString()

Overrides:

dumpString in class ASTNode<ASTNode>

name

public String name()

packageName

public String packageName()

Overrides:

packageName in class Expr

nameWithPackage

public String nameWithPackage()

typeName

public String typeName()

Overrides:

typeName in class Expr

isTypeAccess

public boolean isTypeAccess()

Overrides:

isTypeAccess in class Expr

predNameType

public NameType predNameType()

Overrides:

predNameType in class Access

type

public TypeDecl type()

Overrides:

type in class Access

staticContextQualifier

public boolean staticContextQualifier()

Overrides:

staticContextQualifier in class Expr

usesTypeVariable

public boolean usesTypeVariable()

Overrides:

usesTypeVariable in class ASTNode<ASTNode>

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

rewriteTo

public ASTNode rewriteTo()

Overrides:

rewriteTo in class Access