soot.JastAddJ

Class BoundFieldAccess

java.lang.Object

beaver.Symbol

soot.JastAddJ.ASTNode<ASTNode>

soot.JastAddJ.Expr

soot.JastAddJ.Access

soot.JastAddJ.VarAccess

soot.JastAddJ.BoundFieldAccess

All Implemented Interfaces:

Cloneable, Iterable<ASTNode>

public class BoundFieldAccess
extends VarAccess
implements Cloneable

Field Summary

Fields

Modifier and Type	Field and Description
protected boolean	decl_computed
protected Variable	decl_value
protected FieldDeclaration	tokenFieldDeclaration_FieldDeclaration

Fields inherited from class soot.JastAddJ.VarAccess

base_Body_values, decls_computed, decls_value, IDend, IDstart, isConstant_computed, isConstant_initialized, isConstant_value, isConstant_visited, isDAafter_Variable_values, isFieldAccess_computed, isFieldAccess_value, tokenString_ID, 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
BoundFieldAccess()
BoundFieldAccess(FieldDeclaration f)
BoundFieldAccess(String p0, FieldDeclaration p1)
BoundFieldAccess(Symbol p0, FieldDeclaration p1)

Method Summary

Modifier and Type	Method and Description
BoundFieldAccess	clone()
BoundFieldAccess	copy()
Variable	decl()
void	flushCache()
void	flushCollectionCache()
BoundFieldAccess	fullCopy() Create a deep copy of the AST subtree at this node.
FieldDeclaration	getFieldDeclaration() Retrieves the value for the lexeme FieldDeclaration.
String	getID() Retrieves the value for the lexeme ID.
void	init$Children() Initializes the child array to the correct size.
boolean	isExactVarAccess()
boolean	mayHaveRewrite()
protected int	numChildren()
ASTNode	rewriteTo()
void	setFieldDeclaration(FieldDeclaration value) Replaces the lexeme FieldDeclaration.
void	setID(String value) Replaces the lexeme ID.
void	setID(Symbol symbol) JastAdd-internal setter for lexeme ID using the Beaver parser.

Methods inherited from class soot.JastAddJ.VarAccess

base, checkDUeverywhere, checkEnum, checkModifiers, closestBodyDecl, collectEnclosingVariables, collectTypesToSignatures, constant, createLoadQualifier, decls, definiteAssignment, dumpString, emitStore, eval, fieldQualifierType, inDeclaringClass, inExplicitConstructorInvocation, inSameInitializer, isConstant, isDAafter, isDUafter, isEnumConstant, isFieldAccess, isVariable, isVariable, name, nameCheck, predNameType, refined_Expressions_VarAccess_emitStore, refined_Expressions_VarAccess_eval, refined_GenericsCodegen_VarAccess_fieldQualifierType, requiresAccessor, simpleAssignment, throwTypes, toString, transformation, type, unassignedEverywhere, varDecl

Methods inherited from class soot.JastAddJ.Access

addArrayDims, addArraySize, emitLoadLocalInNestedClass, emitThis, hasPrevExpr, isDiamond, isQualified, lastAccess, nestedScope, prevExpr, qualifier, substituted, 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, emitBooleanCondition, emitEvalBranch, enclosingBodyDecl, enclosingStmt, false_label, hasNextAccess, hasPackage, hasParentDot, hasQualifiedPackage, hostPackage, hostType, inExtendsOrImplements, inStaticContext, isArrayAccess, isClassAccess, isDAafterFalse, isDAafterTrue, isDAbefore, isDest, isDUafterFalse, isDUafterTrue, isDUbefore, isFalse, isIncOrDec, isLeftChildOfDot, isMethodAccess, isPackageAccess, isPositive, isRightChildOfDot, isSource, isSuperAccess, isSuperConstructorAccess, isThisAccess, isTrue, isTypeAccess, isUnknown, keepAccessibleFields, keepAccessibleTypes, lookupMethod, lookupType, lookupType, lookupVariable, mayAccess, methodHost, modifiedInScope, mostSpecific, mostSpecificConstructor, nameType, nextAccess, packageName, parentDot, qualifiedLookupType, qualifiedLookupVariable, qualifiesAccess, refined_BooleanExpressions_Expr_emitEvalBranch, representableIn, staticContextQualifier, true_label, typeBoolean, typeByte, typeChar, typeDouble, typeFloat, typeInt, typeLong, typeName, typeNull, typeShort, typeString, typeVoid

Methods inherited from class soot.JastAddJ.ASTNode

accessControl, addAttributes, addChild, addsIndentationLevel, asImmediate, asLocal, asLocal, asRValue, beginExceptionRange, branchTarget, checkUncheckedConversion, checkWarnings, clearLocations, cloneSubtree, collectBranches, collectErrors, collectExceptions, collectFinally, 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, 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, typeCheck, 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

tokenFieldDeclaration_FieldDeclaration

protected FieldDeclaration tokenFieldDeclaration_FieldDeclaration

decl_computed

protected boolean decl_computed

decl_value

protected Variable decl_value

Constructor Detail

BoundFieldAccess

public BoundFieldAccess(FieldDeclaration f)

BoundFieldAccess

public BoundFieldAccess()

BoundFieldAccess

public BoundFieldAccess(String p0,
                        FieldDeclaration p1)

BoundFieldAccess

public BoundFieldAccess(Symbol p0,
                        FieldDeclaration p1)

Method Detail

flushCache

public void flushCache()

Overrides:

flushCache in class VarAccess

flushCollectionCache

public void flushCollectionCache()

Overrides:

flushCollectionCache in class VarAccess

clone

public BoundFieldAccess clone()
                       throws CloneNotSupportedException

Overrides:

clone in class VarAccess

Throws:

CloneNotSupportedException

copy

public BoundFieldAccess copy()

Overrides:

copy in class VarAccess

fullCopy

public BoundFieldAccess 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 VarAccess

Returns:

dangling copy of the subtree at this node

isExactVarAccess

public boolean isExactVarAccess()

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 VarAccess

numChildren

protected int numChildren()

Overrides:

numChildren in class VarAccess

mayHaveRewrite

public boolean mayHaveRewrite()

Overrides:

mayHaveRewrite in class VarAccess

setID

public void setID(String value)

Replaces the lexeme ID.

Overrides:

setID in class VarAccess

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 VarAccess

getID

public String getID()

Retrieves the value for the lexeme ID.

Overrides:

getID in class VarAccess

Returns:

The value for the lexeme ID.

setFieldDeclaration

public void setFieldDeclaration(FieldDeclaration value)

Replaces the lexeme FieldDeclaration.

Parameters:

value - The new value for the lexeme FieldDeclaration.

getFieldDeclaration

public FieldDeclaration getFieldDeclaration()

Retrieves the value for the lexeme FieldDeclaration.

Returns:

The value for the lexeme FieldDeclaration.

decl

public Variable decl()

Overrides:

decl in class VarAccess

rewriteTo

public ASTNode rewriteTo()

Overrides:

rewriteTo in class VarAccess