Package soot.JastAddJ

Class MethodAccess

java.lang.Object

beaver.Symbol

soot.JastAddJ.ASTNode<ASTNode>

soot.JastAddJ.Expr

soot.JastAddJ.Access

soot.JastAddJ.MethodAccess

All Implemented Interfaces:

Cloneable, Iterable<ASTNode>

Direct Known Subclasses:

BoundMethodAccess, ParMethodAccess

public class MethodAccess
extends Access
implements Cloneable

Field Summary

Fields

Modifier and Type	Field	Description
protected Map	computeDAbefore_int_Variable_values
protected boolean	decl_computed
protected MethodDecl	decl_value
protected boolean	decls_computed
protected SimpleSet	decls_value
protected boolean	exceptionCollection_computed
protected Collection	exceptionCollection_value
int	IDend
int	IDstart
protected String	tokenString_ID
protected boolean	type_computed
protected TypeDecl	type_value
protected Map	typeArguments_MethodDecl_values

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
MethodAccess()
MethodAccess(Symbol p0, List<Expr> p1)
MethodAccess(String p0, List<Expr> p1)
MethodAccess(String name, List args, int start, int end)

Method Summary

Modifier and Type	Method	Description
boolean	accessible(MethodDecl m)
void	addArg(Expr node)	Append an element to the Arg list.
void	addArgNoTransform(Expr node)
boolean	applicable(MethodDecl decl)
boolean	applicableByMethodInvocationConversion(MethodDecl m)
protected SimpleSet	applicableByMethodInvocationConversion(SimpleSet potentiallyApplicable, SimpleSet maxSpecific)
boolean	applicableBySubtyping(MethodDecl m)
protected SimpleSet	applicableBySubtyping(SimpleSet potentiallyApplicable)
boolean	applicableVariableArity(MethodDecl m)
protected SimpleSet	applicableVariableArity(SimpleSet potentiallyApplicable, SimpleSet maxSpecific)
int	arity()
void	checkModifiers()
void	checkWarnings()	Checking of the SafeVarargs annotation is only needed for method declarations.
MethodAccess	clone()
protected void	collectExceptions(Collection c, ASTNode target)
void	collectTypesToSignatures(Collection<Type> set)
Collection	computeConstraints(GenericMethodDecl decl)
boolean	computeDAbefore(int i, Variable v)
MethodAccess	copy()
MethodDecl	decl()
SimpleSet	decls()
boolean	Define_boolean_hasPackage(ASTNode caller, ASTNode child, String packageName)
boolean	Define_boolean_isDAbefore(ASTNode caller, ASTNode child, Variable v)
Collection	Define_Collection_lookupMethod(ASTNode caller, ASTNode child, String name)
NameType	Define_NameType_nameType(ASTNode caller, ASTNode child)
SimpleSet	Define_SimpleSet_lookupType(ASTNode caller, ASTNode child, String name)
SimpleSet	Define_SimpleSet_lookupVariable(ASTNode caller, ASTNode child, String name)
String	Define_String_methodHost(ASTNode caller, ASTNode child)
TypeDecl	Define_TypeDecl_assignConvertedType(ASTNode caller, ASTNode child)
String	dumpString()
Value	eval(Body b)
Collection	exceptionCollection()
void	exceptionHandling()
void	flushCache()
void	flushCollectionCache()
MethodAccess	fullCopy()	Create a deep copy of the AST subtree at this node.
Expr	getArg(int i)	Retrieves the element at index i in the Arg list..
List<Expr>	getArgList()	Retrieves the Arg list.
List<Expr>	getArgListNoTransform()	Retrieves the Arg list.
List<Expr>	getArgs()	Retrieves the Arg list.
List<Expr>	getArgsNoTransform()	Retrieves the Arg list.
String	getID()	Retrieves the value for the lexeme ID.
int	getNumArg()	Retrieves the number of children in the Arg list.
int	getNumArgNoTransform()	Retrieves the number of children in the Arg list.
boolean	handlesException(TypeDecl exceptionType)
boolean	inExplicitConstructorInvocation()
void	init$Children()	Initializes the child array to the correct size.
boolean	invokesVariableArityAsArray()
boolean	isDAafter(Variable v)
boolean	isDAafterFalse(Variable v)
boolean	isDAafterTrue(Variable v)
boolean	isMethodAccess()
protected SimpleSet	maxSpecific(Collection candidates)
boolean	mayHaveRewrite()
protected TypeDecl	methodQualifierType()
String	name()
void	nameCheck()
protected int	numChildren()
protected SimpleSet	potentiallyApplicable(Collection candidates)
boolean	potentiallyApplicable(MethodDecl m)
NameType	predNameType()
protected boolean	reachedException(TypeDecl catchType)
protected TypeDecl	refined_GenericsCodegen_MethodAccess_methodQualifierType()
void	refined_Transformations_MethodAccess_transformation()
boolean	requiresAccessor()
ASTNode	rewriteTo()
void	setArg(Expr node, int i)	Replaces the Arg list element at index i with the new node node.
void	setArgList(List<Expr> list)	Replaces the Arg list.
void	setID(Symbol symbol)	JastAdd-internal setter for lexeme ID using the Beaver parser.
void	setID(String value)	Replaces the lexeme ID.
MethodDecl	singleCandidateDecl()
TypeDecl	superAccessorTarget()
void	toString(StringBuffer s)
void	transformation()
TypeDecl	type()
ArrayList	typeArguments(MethodDecl m)
void	typeCheck()
TypeDecl	typeObject()
MethodDecl	unknownMethod()
boolean	validArgs()
boolean	withinSuppressWarnings(String s)

Methods inherited from class soot.JastAddJ.Access

addArrayDims, addArraySize, emitLoadLocalInNestedClass, emitThis, hasPrevExpr, isDiamond, isQualified, lastAccess, nestedScope, prevExpr, qualifier, substituted, superConstructorQualifier, unknownField, unknownType, unqualifiedScope, withinDeprecatedAnnotation

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, false_label, hasNextAccess, hasPackage, hasParentDot, hasQualifiedPackage, hostPackage, hostType, inExtendsOrImplements, inStaticContext, isArrayAccess, isClassAccess, isConstant, isDAbefore, isDest, isDUafter, isDUafterFalse, isDUafterTrue, isDUbefore, isEnumConstant, isFalse, isFieldAccess, isIncOrDec, isLeftChildOfDot, isPackageAccess, isPositive, isRightChildOfDot, isSource, isSuperAccess, isSuperConstructorAccess, isThisAccess, isTrue, isTypeAccess, 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, clearLocations, cloneSubtree, collectBranches, collectEnclosingVariables, collectErrors, collectFinally, compilationUnit, Define_Annotation_lookupAnnotation, Define_ArrayList_exceptionRanges, Define_ASTNode_enclosingBlock, Define_BodyDecl_enclosingBodyDecl, Define_boolean_enclosedByExceptionHandler, Define_boolean_handlesException, 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_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_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_SimpleSet_allImportedTypes, Define_soot_jimple_Stmt_condition_false_label, Define_soot_jimple_Stmt_condition_true_label, Define_String_hostPackage, Define_String_packageName, Define_String_typeDeclIndent, 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, 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, removeChild, removeInstanceMethods, removeInstanceVariables, replace, setChild, setEnd, setLocation, setParent, setStart, sourceFile, start, state, toString, 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

tokenString_ID

protected String tokenString_ID

IDstart

public int IDstart

IDend

public int IDend

computeDAbefore_int_Variable_values

protected Map computeDAbefore_int_Variable_values

exceptionCollection_computed

protected boolean exceptionCollection_computed

exceptionCollection_value

protected Collection exceptionCollection_value

decls_computed

protected boolean decls_computed

decls_value

protected SimpleSet decls_value

decl_computed

protected boolean decl_computed

decl_value

protected MethodDecl decl_value

type_computed

protected boolean type_computed

type_value

protected TypeDecl type_value

typeArguments_MethodDecl_values

protected Map typeArguments_MethodDecl_values

Constructor Detail

MethodAccess

public MethodAccess(String name,
                    List args,
                    int start,
                    int end)

MethodAccess

public MethodAccess()

MethodAccess

public MethodAccess(String p0,
                    List<Expr> p1)

MethodAccess

public MethodAccess(Symbol p0,
                    List<Expr> p1)

Method Detail

flushCache

public void flushCache()

Overrides:

flushCache in class Access

flushCollectionCache

public void flushCollectionCache()

Overrides:

flushCollectionCache in class Access

clone

public MethodAccess clone()
                   throws CloneNotSupportedException

Overrides:

clone in class Access

Throws:

CloneNotSupportedException

copy

public MethodAccess copy()

Overrides:

copy in class ASTNode<ASTNode>

fullCopy

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

collectExceptions

protected void collectExceptions(Collection c,
                                 ASTNode target)

Overrides:

collectExceptions in class ASTNode<ASTNode>

exceptionHandling

public void exceptionHandling()

Overrides:

exceptionHandling in class ASTNode<ASTNode>

reachedException

protected boolean reachedException(TypeDecl catchType)

Overrides:

reachedException in class ASTNode<ASTNode>

applicable

public boolean applicable(MethodDecl decl)

toString

public void toString(StringBuffer s)

Overrides:

toString in class ASTNode<ASTNode>

nameCheck

public void nameCheck()

Overrides:

nameCheck in class ASTNode<ASTNode>

checkModifiers

public void checkModifiers()

computeConstraints

public Collection computeConstraints(GenericMethodDecl decl)

potentiallyApplicable

protected SimpleSet potentiallyApplicable(Collection candidates)

applicableBySubtyping

protected SimpleSet applicableBySubtyping(SimpleSet potentiallyApplicable)

applicableByMethodInvocationConversion

protected SimpleSet applicableByMethodInvocationConversion(SimpleSet potentiallyApplicable,
                                                           SimpleSet maxSpecific)

applicableVariableArity

protected SimpleSet applicableVariableArity(SimpleSet potentiallyApplicable,
                                            SimpleSet maxSpecific)

superAccessorTarget

public TypeDecl superAccessorTarget()

refined_Transformations_MethodAccess_transformation

public void refined_Transformations_MethodAccess_transformation()

checkWarnings

public void checkWarnings()

Description copied from class: ASTNode

Checking of the SafeVarargs annotation is only needed for method declarations.

Overrides:

checkWarnings in class ASTNode<ASTNode>

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.

setArgList

public void setArgList(List<Expr> list)

Replaces the Arg list.

Parameters:

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

getNumArg

public int getNumArg()

Retrieves the number of children in the Arg list.

Returns:

Number of children in the Arg list.

getNumArgNoTransform

public int getNumArgNoTransform()

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

Returns:

Number of children in the Arg list.

getArg

public Expr getArg(int i)

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

Parameters:

i - Index of the element to return.

Returns:

The element at position i in the Arg list.

addArg

public void addArg(Expr node)

Append an element to the Arg list.

Parameters:

node - The element to append to the Arg list.

addArgNoTransform

public void addArgNoTransform(Expr node)

setArg

public void setArg(Expr node,
                   int i)

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

getArgs

public List<Expr> getArgs()

Retrieves the Arg list.

Returns:

The node representing the Arg list.

getArgsNoTransform

public List<Expr> getArgsNoTransform()

Retrieves the Arg list.

This method does not invoke AST transformations.

Returns:

The node representing the Arg list.

getArgList

public List<Expr> getArgList()

Retrieves the Arg list.

Returns:

The node representing the Arg list.

getArgListNoTransform

public List<Expr> getArgListNoTransform()

Retrieves the Arg list.

This method does not invoke AST transformations.

Returns:

The node representing the Arg list.

maxSpecific

protected SimpleSet maxSpecific(Collection candidates)

typeCheck

public void typeCheck()

Overrides:

typeCheck in class ASTNode<ASTNode>

refined_GenericsCodegen_MethodAccess_methodQualifierType

protected TypeDecl refined_GenericsCodegen_MethodAccess_methodQualifierType()

transformation

public void transformation()

Overrides:

transformation in class ASTNode<ASTNode>

eval

public Value eval(Body b)

Overrides:

eval in class Expr

methodQualifierType

protected TypeDecl methodQualifierType()

computeDAbefore

public boolean computeDAbefore(int i,
                               Variable v)

isDAafter

public boolean isDAafter(Variable v)

Overrides:

isDAafter in class Expr

isDAafterTrue

public boolean isDAafterTrue(Variable v)

Overrides:

isDAafterTrue in class Expr

isDAafterFalse

public boolean isDAafterFalse(Variable v)

Overrides:

isDAafterFalse in class Expr

exceptionCollection

public Collection exceptionCollection()

singleCandidateDecl

public MethodDecl singleCandidateDecl()

decls

public SimpleSet decls()

decl

public MethodDecl decl()

accessible

public boolean accessible(MethodDecl m)

validArgs

public boolean validArgs()

dumpString

public String dumpString()

Overrides:

dumpString in class ASTNode<ASTNode>

name

public String name()

isMethodAccess

public boolean isMethodAccess()

Overrides:

isMethodAccess in class Expr

predNameType

public NameType predNameType()

Overrides:

predNameType in class Access

type

public TypeDecl type()

Overrides:

type in class Access

applicableBySubtyping

public boolean applicableBySubtyping(MethodDecl m)

applicableByMethodInvocationConversion

public boolean applicableByMethodInvocationConversion(MethodDecl m)

applicableVariableArity

public boolean applicableVariableArity(MethodDecl m)

potentiallyApplicable

public boolean potentiallyApplicable(MethodDecl m)

arity

public int arity()

typeArguments

public ArrayList typeArguments(MethodDecl m)

invokesVariableArityAsArray

public boolean invokesVariableArityAsArray()

requiresAccessor

public boolean requiresAccessor()

handlesException

public boolean handlesException(TypeDecl exceptionType)

unknownMethod

public MethodDecl unknownMethod()

inExplicitConstructorInvocation

public boolean inExplicitConstructorInvocation()

Overrides:

inExplicitConstructorInvocation in class Access

typeObject

public TypeDecl typeObject()

withinSuppressWarnings

public boolean withinSuppressWarnings(String s)

Overrides:

withinSuppressWarnings in class Access

Define_boolean_isDAbefore

public boolean Define_boolean_isDAbefore(ASTNode caller,
                                         ASTNode child,
                                         Variable v)

Overrides:

Define_boolean_isDAbefore in class ASTNode<ASTNode>

Define_Collection_lookupMethod

public Collection Define_Collection_lookupMethod(ASTNode caller,
                                                 ASTNode child,
                                                 String name)

Overrides:

Define_Collection_lookupMethod in class ASTNode<ASTNode>

Define_boolean_hasPackage

public boolean Define_boolean_hasPackage(ASTNode caller,
                                         ASTNode child,
                                         String packageName)

Overrides:

Define_boolean_hasPackage in class ASTNode<ASTNode>

Define_SimpleSet_lookupType

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

Overrides:

Define_SimpleSet_lookupType in class ASTNode<ASTNode>

Define_SimpleSet_lookupVariable

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

Overrides:

Define_SimpleSet_lookupVariable in class ASTNode<ASTNode>

Define_NameType_nameType

public NameType Define_NameType_nameType(ASTNode caller,
                                         ASTNode child)

Overrides:

Define_NameType_nameType in class ASTNode<ASTNode>

Define_String_methodHost

public String Define_String_methodHost(ASTNode caller,
                                       ASTNode child)

Overrides:

Define_String_methodHost in class ASTNode<ASTNode>

Define_TypeDecl_assignConvertedType

public TypeDecl Define_TypeDecl_assignConvertedType(ASTNode caller,
                                                    ASTNode child)

Overrides:

Define_TypeDecl_assignConvertedType in class ASTNode<ASTNode>

rewriteTo

public ASTNode rewriteTo()

Overrides:

rewriteTo in class Access