Package soot.JastAddJ

Class VarAccess

java.lang.Object

beaver.Symbol

soot.JastAddJ.ASTNode<ASTNode>

soot.JastAddJ.Expr

soot.JastAddJ.Access

soot.JastAddJ.VarAccess

All Implemented Interfaces:

Cloneable, Iterable<ASTNode>

Direct Known Subclasses:

BoundFieldAccess

public class VarAccess
extends Access
implements Cloneable

Field Summary

Fields

Modifier and Type	Field	Description
protected Map	base_Body_values
protected boolean	decl_computed
protected Variable	decl_value
protected boolean	decls_computed
protected SimpleSet	decls_value
int	IDend
int	IDstart
protected boolean	isConstant_computed
protected boolean	isConstant_initialized
protected boolean	isConstant_value
protected int	isConstant_visited
protected Map	isDAafter_Variable_values
protected boolean	isFieldAccess_computed
protected boolean	isFieldAccess_value
protected String	tokenString_ID
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	Description
VarAccess()
VarAccess(Symbol p0)
VarAccess(String p0)
VarAccess(String name, int start, int end)

Method Summary

Modifier and Type	Method	Description
Local	base(Body b)
protected boolean	checkDUeverywhere(Variable v)
protected void	checkEnum(EnumDecl enumDecl)
void	checkModifiers()
VarAccess	clone()
BodyDecl	closestBodyDecl(TypeDecl t)
void	collectEnclosingVariables(HashSet set, TypeDecl typeDecl)
void	collectTypesToSignatures(Collection<Type> set)
Constant	constant()
VarAccess	copy()
Local	createLoadQualifier(Body b)
Variable	decl()
SimpleSet	decls()
void	definiteAssignment()
String	dumpString()
Value	emitStore(Body b, Value lvalue, Value rvalue, ASTNode location)
Value	eval(Body b)
protected TypeDecl	fieldQualifierType()
void	flushCache()
void	flushCollectionCache()
VarAccess	fullCopy()	Create a deep copy of the AST subtree at this node.
String	getID()	Retrieves the value for the lexeme ID.
boolean	inDeclaringClass()
boolean	inExplicitConstructorInvocation()
void	init$Children()	Initializes the child array to the correct size.
boolean	inSameInitializer()
boolean	isConstant()
boolean	isDAafter(Variable v)
boolean	isDUafter(Variable v)
boolean	isEnumConstant()
boolean	isFieldAccess()
boolean	isVariable()
boolean	isVariable(Variable var)
boolean	mayHaveRewrite()
String	name()
void	nameCheck()
protected int	numChildren()
NameType	predNameType()
Value	refined_Expressions_VarAccess_emitStore(Body b, Value lvalue, Value rvalue, ASTNode location)
Value	refined_Expressions_VarAccess_eval(Body b)
protected TypeDecl	refined_GenericsCodegen_VarAccess_fieldQualifierType()
boolean	requiresAccessor()
ASTNode	rewriteTo()
void	setID(Symbol symbol)	JastAdd-internal setter for lexeme ID using the Beaver parser.
void	setID(String value)	Replaces the lexeme ID.
boolean	simpleAssignment()
Collection<TypeDecl>	throwTypes()
void	toString(StringBuffer s)
void	transformation()
TypeDecl	type()
boolean	unassignedEverywhere(Variable v, TryStmt stmt)
Variable	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

tokenString_ID

protected String tokenString_ID

IDstart

public int IDstart

IDend

public int IDend

isConstant_visited

protected int isConstant_visited

isConstant_computed

protected boolean isConstant_computed

isConstant_initialized

protected boolean isConstant_initialized

isConstant_value

protected boolean isConstant_value

isDAafter_Variable_values

protected Map isDAafter_Variable_values

decls_computed

protected boolean decls_computed

decls_value

protected SimpleSet decls_value

decl_computed

protected boolean decl_computed

decl_value

protected Variable decl_value

isFieldAccess_computed

protected boolean isFieldAccess_computed

isFieldAccess_value

protected boolean isFieldAccess_value

type_computed

protected boolean type_computed

type_value

protected TypeDecl type_value

base_Body_values

protected Map base_Body_values

Constructor Detail

VarAccess

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

VarAccess

public VarAccess()

VarAccess

public VarAccess(String p0)

VarAccess

public VarAccess(Symbol p0)

Method Detail

flushCache

public void flushCache()

Overrides:

flushCache in class Access

flushCollectionCache

public void flushCollectionCache()

Overrides:

flushCollectionCache in class Access

clone

public VarAccess clone()
                throws CloneNotSupportedException

Overrides:

clone in class Access

Throws:

CloneNotSupportedException

copy

public VarAccess copy()

Overrides:

copy in class ASTNode<ASTNode>

fullCopy

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

definiteAssignment

public void definiteAssignment()

Overrides:

definiteAssignment in class ASTNode<ASTNode>

checkDUeverywhere

protected boolean checkDUeverywhere(Variable v)

Overrides:

checkDUeverywhere in class ASTNode<ASTNode>

nameCheck

public void nameCheck()

Overrides:

nameCheck in class ASTNode<ASTNode>

closestBodyDecl

public BodyDecl closestBodyDecl(TypeDecl t)

toString

public void toString(StringBuffer s)

Overrides:

toString in class ASTNode<ASTNode>

checkModifiers

public void checkModifiers()

checkEnum

protected void checkEnum(EnumDecl enumDecl)

Overrides:

checkEnum in class ASTNode<ASTNode>

collectEnclosingVariables

public void collectEnclosingVariables(HashSet set,
                                      TypeDecl typeDecl)

Overrides:

collectEnclosingVariables in class ASTNode<ASTNode>

transformation

public void transformation()

Overrides:

transformation in class ASTNode<ASTNode>

refined_Expressions_VarAccess_eval

public Value refined_Expressions_VarAccess_eval(Body b)

refined_Expressions_VarAccess_emitStore

public Value refined_Expressions_VarAccess_emitStore(Body b,
                                                     Value lvalue,
                                                     Value rvalue,
                                                     ASTNode location)

collectTypesToSignatures

public void collectTypesToSignatures(Collection<Type> set)

Overrides:

collectTypesToSignatures 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

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.

refined_GenericsCodegen_VarAccess_fieldQualifierType

protected TypeDecl refined_GenericsCodegen_VarAccess_fieldQualifierType()

eval

public Value eval(Body b)

Overrides:

eval in class Expr

emitStore

public Value emitStore(Body b,
                       Value lvalue,
                       Value rvalue,
                       ASTNode location)

Overrides:

emitStore in class Expr

createLoadQualifier

public Local createLoadQualifier(Body b)

fieldQualifierType

protected TypeDecl fieldQualifierType()

constant

public Constant constant()

Overrides:

constant in class Expr

isConstant

public boolean isConstant()

Overrides:

isConstant in class Expr

varDecl

public Variable varDecl()

Overrides:

varDecl in class Expr

isDAafter

public boolean isDAafter(Variable v)

Overrides:

isDAafter in class Expr

isDUafter

public boolean isDUafter(Variable v)

Overrides:

isDUafter in class Expr

unassignedEverywhere

public boolean unassignedEverywhere(Variable v,
                                    TryStmt stmt)

Overrides:

unassignedEverywhere in class ASTNode<ASTNode>

decls

public SimpleSet decls()

decl

public Variable decl()

inSameInitializer

public boolean inSameInitializer()

simpleAssignment

public boolean simpleAssignment()

inDeclaringClass

public boolean inDeclaringClass()

dumpString

public String dumpString()

Overrides:

dumpString in class ASTNode<ASTNode>

name

public String name()

isFieldAccess

public boolean isFieldAccess()

Overrides:

isFieldAccess in class Expr

predNameType

public NameType predNameType()

Overrides:

predNameType in class Access

type

public TypeDecl type()

Overrides:

type in class Access

isVariable

public boolean isVariable()

Overrides:

isVariable in class Expr

isEnumConstant

public boolean isEnumConstant()

Overrides:

isEnumConstant in class Expr

requiresAccessor

public boolean requiresAccessor()

base

public Local base(Body b)

throwTypes

public Collection<TypeDecl> throwTypes()

Overrides:

throwTypes in class Expr

isVariable

public boolean isVariable(Variable var)

Overrides:

isVariable in class Expr

inExplicitConstructorInvocation

public boolean inExplicitConstructorInvocation()

Overrides:

inExplicitConstructorInvocation in class Access

rewriteTo

public ASTNode rewriteTo()

Overrides:

rewriteTo in class Access