soot.JastAddJ

Class BoundTypeAccess

java.lang.Object

beaver.Symbol

soot.JastAddJ.ASTNode<ASTNode>

soot.JastAddJ.Expr

soot.JastAddJ.Access

soot.JastAddJ.TypeAccess

soot.JastAddJ.BoundTypeAccess

All Implemented Interfaces:

Cloneable, Iterable<ASTNode>

public class BoundTypeAccess
extends TypeAccess
implements Cloneable

Field Summary

Fields

Modifier and Type	Field and Description
protected boolean	decls_computed
protected SimpleSet	decls_value
protected TypeDecl	tokenTypeDecl_TypeDecl

Fields inherited from class soot.JastAddJ.TypeAccess

decl_computed, decl_value, IDend, IDstart, Packageend, Packagestart, tokenString_ID, tokenString_Package, 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 and Description
BoundTypeAccess()
BoundTypeAccess(String p0, String p1, TypeDecl p2)
BoundTypeAccess(Symbol p0, Symbol p1, TypeDecl p2)

Method Summary

Modifier and Type	Method and Description
BoundTypeAccess	clone()
BoundTypeAccess	copy()
SimpleSet	decls()
String	dumpString()
void	flushCache()
void	flushCollectionCache()
BoundTypeAccess	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.
TypeDecl	getTypeDecl() Retrieves the value for the lexeme TypeDecl.
void	init$Children() Initializes the child array to the correct size.
boolean	isRaw()
boolean	mayHaveRewrite()
protected int	numChildren()
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.
void	setTypeDecl(TypeDecl value) Replaces the lexeme TypeDecl.

Methods inherited from class soot.JastAddJ.TypeAccess

accessControl, checkModifiers, decl, isTypeAccess, name, nameCheck, nameWithPackage, packageName, predNameType, qualifiedLookupVariable, staticContextQualifier, substituted, toString, transformation, type, typeCheck, typeName, 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

tokenTypeDecl_TypeDecl

protected TypeDecl tokenTypeDecl_TypeDecl

decls_computed

protected boolean decls_computed

decls_value

protected SimpleSet decls_value

Constructor Detail

BoundTypeAccess

public BoundTypeAccess()

BoundTypeAccess

public BoundTypeAccess(String p0,
                       String p1,
                       TypeDecl p2)

BoundTypeAccess

public BoundTypeAccess(Symbol p0,
                       Symbol p1,
                       TypeDecl p2)

Method Detail

flushCache

public void flushCache()

Overrides:

flushCache in class TypeAccess

flushCollectionCache

public void flushCollectionCache()

Overrides:

flushCollectionCache in class TypeAccess

clone

public BoundTypeAccess clone()
                      throws CloneNotSupportedException

Overrides:

clone in class TypeAccess

Throws:

CloneNotSupportedException

copy

public BoundTypeAccess copy()

Overrides:

copy in class TypeAccess

fullCopy

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

isRaw

public boolean isRaw()

Overrides:

isRaw in class TypeAccess

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

setPackage

public void setPackage(String value)

Replaces the lexeme Package.

Overrides:

setPackage in class TypeAccess

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.

Overrides:

setPackage in class TypeAccess

getPackage

public String getPackage()

Retrieves the value for the lexeme Package.

Overrides:

getPackage in class TypeAccess

Returns:

The 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.

setID

public void setID(Symbol symbol)

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

Overrides:

setID in class TypeAccess

getID

public String getID()

Retrieves the value for the lexeme ID.

Overrides:

getID in class TypeAccess

Returns:

The value for the lexeme ID.

setTypeDecl

public void setTypeDecl(TypeDecl value)

Replaces the lexeme TypeDecl.

Parameters:

value - The new value for the lexeme TypeDecl.

getTypeDecl

public TypeDecl getTypeDecl()

Retrieves the value for the lexeme TypeDecl.

Returns:

The value for the lexeme TypeDecl.

decls

public SimpleSet decls()

Overrides:

decls in class TypeAccess

dumpString

public String dumpString()

Overrides:

dumpString in class TypeAccess

rewriteTo

public ASTNode rewriteTo()

Overrides:

rewriteTo in class TypeAccess