java.lang.Object
- beaver.Symbol
- - soot.JastAddJ.ASTNode<ASTNode>
  - - soot.JastAddJ.BodyDecl
    - - soot.JastAddJ.MemberDecl
      - soot.JastAddJ.MethodDecl

All Implemented Interfaces:

Cloneable, Iterable<ASTNode>, Iterator, SimpleSet

Direct Known Subclasses:

AnnotationMethodDecl, BridgeMethodDecl, GenericMethodDecl, MethodDeclSubstituted, ParMethodDecl
```
public class MethodDecl
extends MemberDecl
implements Cloneable, SimpleSet, Iterator
```

Nested Class Summary
- Nested classes/interfaces inherited from interface soot.JastAddJ.SimpleSet
  SimpleSet.SimpleSetImpl

Field Summary

Fields
Modifier and Type	Field	Description
`protected Map`	`accessibleFrom_TypeDecl_values`
`protected Map`	`handlesException_TypeDecl_values`
`protected Map`	`hides_MethodDecl_values`
`int`	`IDend`
`int`	`IDstart`
`protected Map`	`moreSpecificThan_MethodDecl_values`
`protected boolean`	`offsetAfterParameters_computed`
`protected int`	`offsetAfterParameters_value`
`protected boolean`	`offsetBeforeParameters_computed`
`protected int`	`offsetBeforeParameters_value`
`protected Map`	`overrides_MethodDecl_values`
`protected Map`	`parameterDeclaration_String_values`
`protected boolean`	`signature_computed`
`protected String`	`signature_value`
`SootMethod`	`sootMethod`
`protected boolean`	`sootMethod_computed`
`protected SootMethod`	`sootMethod_value`
`protected boolean`	`sootRef_computed`
`protected SootMethodRef`	`sootRef_value`
`protected boolean`	`sourceMethodDecl_computed`
`protected MethodDecl`	`sourceMethodDecl_value`
`protected Map`	`throwsException_TypeDecl_values`
`protected String`	`tokenString_ID`
`protected boolean`	`type_computed`
`protected TypeDecl`	`type_value`
`protected boolean`	`usesTypeVariable_computed`
`protected boolean`	`usesTypeVariable_value`

Fields inherited from class soot.JastAddJ.BodyDecl
isDAafter_Variable_values, isDAbefore_Variable_values, isDUafter_Variable_values, isDUbefore_Variable_values, lookupVariable_String_values, typeThrowable_computed, typeThrowable_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

Fields inherited from interface soot.JastAddJ.SimpleSet
emptySet, fullSet

Constructor Summary

Constructors
Constructor	Description
`MethodDecl()`
`MethodDecl(Modifiers p0, Access p1, Symbol p2, List<ParameterDeclaration> p3, List<Access> p4, Opt<Block> p5)`
`MethodDecl(Modifiers p0, Access p1, String p2, List<ParameterDeclaration> p3, List<Access> p4, Opt<Block> p5)`

Method Summary

All Methods Instance Methods Concrete Methods
Modifier and Type	Method	Description
`boolean`	`accessibleFrom(TypeDecl type)`
`SimpleSet`	`add(Object o)`
`void`	`addAttributes()`
`void`	`addException(Access node)`	Append an element to the Exception list.
`void`	`addExceptionNoTransform(Access node)`
`void`	`addParameter(ParameterDeclaration node)`	Append an element to the Parameter list.
`void`	`addParameterNoTransform(ParameterDeclaration node)`
`void`	`addRuntimeInvisibleParameterAnnotationsAttribute(Collection c)`
`void`	`addRuntimeVisibleParameterAnnotationsAttribute(Collection c)`
`void`	`addSourceLevelParameterAnnotationsAttribute(Collection c)`
`boolean`	`annotationMethodOverride()`
`int`	`arity()`
`void`	`checkModifiers()`
`void`	`checkWarnings()`	Check if the method is missing a SafeVarargs annotation.
`MethodDecl`	`clone()`
`boolean`	`contains(Object o)`
`MethodDecl`	`copy()`
`MethodDecl`	`createAccessor(TypeDecl methodQualifier)`
`Access`	`createBoundAccess(List args)`
`MethodDecl`	`createSuperAccessor(TypeDecl methodQualifier)`
`ASTNode`	`Define_ASTNode_enclosingBlock(ASTNode caller, ASTNode child)`
`boolean`	`Define_boolean_enclosedByExceptionHandler(ASTNode caller, ASTNode child)`
`boolean`	`Define_boolean_handlesException(ASTNode caller, ASTNode child, TypeDecl exceptionType)`
`boolean`	`Define_boolean_inhModifiedInScope(ASTNode caller, ASTNode child, Variable var)`
`boolean`	`Define_boolean_inStaticContext(ASTNode caller, ASTNode child)`
`boolean`	`Define_boolean_isCatchParam(ASTNode caller, ASTNode child)`
`boolean`	`Define_boolean_isConstructorParameter(ASTNode caller, ASTNode child)`
`boolean`	`Define_boolean_isDAbefore(ASTNode caller, ASTNode child, Variable v)`
`boolean`	`Define_boolean_isDUbefore(ASTNode caller, ASTNode child, Variable v)`
`boolean`	`Define_boolean_isExceptionHandlerParameter(ASTNode caller, ASTNode child)`
`boolean`	`Define_boolean_isMethodParameter(ASTNode caller, ASTNode child)`
`boolean`	`Define_boolean_mayBeAbstract(ASTNode caller, ASTNode child)`
`boolean`	`Define_boolean_mayBeFinal(ASTNode caller, ASTNode child)`
`boolean`	`Define_boolean_mayBeNative(ASTNode caller, ASTNode child)`
`boolean`	`Define_boolean_mayBePrivate(ASTNode caller, ASTNode child)`
`boolean`	`Define_boolean_mayBeProtected(ASTNode caller, ASTNode child)`
`boolean`	`Define_boolean_mayBePublic(ASTNode caller, ASTNode child)`
`boolean`	`Define_boolean_mayBeStatic(ASTNode caller, ASTNode child)`
`boolean`	`Define_boolean_mayBeStrictfp(ASTNode caller, ASTNode child)`
`boolean`	`Define_boolean_mayBeSynchronized(ASTNode caller, ASTNode child)`
`boolean`	`Define_boolean_mayUseAnnotationTarget(ASTNode caller, ASTNode child, String name)`
`boolean`	`Define_boolean_reachable(ASTNode caller, ASTNode child)`
`boolean`	`Define_boolean_variableArityValid(ASTNode caller, ASTNode child)`
`int`	`Define_int_localNum(ASTNode caller, ASTNode child)`
`NameType`	`Define_NameType_nameType(ASTNode caller, ASTNode child)`
`SimpleSet`	`Define_SimpleSet_lookupVariable(ASTNode caller, ASTNode child, String name)`
`TypeDecl`	`Define_TypeDecl_returnType(ASTNode caller, ASTNode child)`
`String`	`dumpString()`
`MethodDecl`	`erasedMethod()`
`void`	`flushCache()`
`void`	`flushCollectionCache()`
`MethodDecl`	`fullCopy()`	Create a deep copy of the AST subtree at this node.
`Block`	`getBlock()`	Retrieves the (optional) Block child.
`Opt<Block>`	`getBlockOpt()`
`Opt<Block>`	`getBlockOptNoTransform()`	Retrieves the optional node for child Block.
`Access`	`getException(int i)`	Retrieves the element at index `i` in the Exception list..
`List<Access>`	`getExceptionList()`	Retrieves the Exception list.
`List<Access>`	`getExceptionListNoTransform()`	Retrieves the Exception list.
`List<Access>`	`getExceptions()`	Retrieves the Exception list.
`List<Access>`	`getExceptionsNoTransform()`	Retrieves the Exception list.
`String`	`getID()`	Retrieves the value for the lexeme ID.
`Modifiers`	`getModifiers()`	Retrieves the Modifiers child.
`Modifiers`	`getModifiersNoTransform()`	Retrieves the Modifiers child.
`int`	`getNumException()`	Retrieves the number of children in the Exception list.
`int`	`getNumExceptionNoTransform()`	Retrieves the number of children in the Exception list.
`int`	`getNumParameter()`	Retrieves the number of children in the Parameter list.
`int`	`getNumParameterNoTransform()`	Retrieves the number of children in the Parameter list.
`ParameterDeclaration`	`getParameter(int i)`	Retrieves the element at index `i` in the Parameter list..
`List<ParameterDeclaration>`	`getParameterList()`	Retrieves the Parameter list.
`List<ParameterDeclaration>`	`getParameterListNoTransform()`	Retrieves the Parameter list.
`List<ParameterDeclaration>`	`getParameters()`	Retrieves the Parameter list.
`List<ParameterDeclaration>`	`getParametersNoTransform()`	Retrieves the Parameter list.
`Access`	`getTypeAccess()`	Retrieves the TypeAccess child.
`Access`	`getTypeAccessNoTransform()`	Retrieves the TypeAccess child.
`boolean`	`handlesException(TypeDecl exceptionType)`
`boolean`	`hasAnnotationSafeVarargs()`
`boolean`	`hasAnnotationSuppressWarnings(String s)`
`boolean`	`hasBlock()`	Check whether the optional Block child exists.
`boolean`	`hasIllegalAnnotationSafeVarargs()`	It is an error if the SafeVarargs annotation is used on something that is not a variable arity method or constructor.
`boolean`	`hasNext()`
`boolean`	`hides(MethodDecl m)`
`void`	`init$Children()`	Initializes the child array to the correct size.
`boolean`	`isAbstract()`
`boolean`	`isDeprecated()`
`boolean`	`isEmpty()`
`boolean`	`isFinal()`
`boolean`	`isNative()`
`boolean`	`isPrivate()`
`boolean`	`isProtected()`
`boolean`	`isPublic()`
`boolean`	`isSingleton()`
`boolean`	`isSingleton(Object o)`
`boolean`	`isStatic()`
`boolean`	`isStrictfp()`
`boolean`	`isSynchronized()`
`boolean`	`isSynthetic()`
`boolean`	`isVariableArity()`
`boolean`	`isVoid()`
`Iterator`	`iterator()`
`void`	`jimplify1phase2()`
`void`	`jimplify2()`
`ParameterDeclaration`	`lastParameter()`
`int`	`lineNumber()`
`boolean`	`mayHaveRewrite()`
`boolean`	`mayOverrideReturn(MethodDecl m)`
`boolean`	`moreSpecificThan(MethodDecl m)`
`String`	`name()`
`void`	`nameCheck()`
`Object`	`next()`
`protected int`	`numChildren()`
`int`	`offsetAfterParameters()`
`int`	`offsetBeforeParameters()`
`boolean`	`overrides(MethodDecl m)`
`SimpleSet`	`parameterDeclaration(String name)`
`void`	`remove()`
`ASTNode`	`rewriteTo()`
`boolean`	`sameSignature(MethodDecl m)`
`void`	`setBlock(Block node)`	Replaces the (optional) Block child.
`void`	`setBlockOpt(Opt<Block> opt)`	Replaces the optional node for the Block child.
`void`	`setException(Access node, int i)`	Replaces the Exception list element at index `i` with the new node `node`.
`void`	`setExceptionList(List<Access> list)`	Replaces the Exception list.
`void`	`setID(Symbol symbol)`	JastAdd-internal setter for lexeme ID using the Beaver parser.
`void`	`setID(String value)`	Replaces the lexeme ID.
`void`	`setModifiers(Modifiers node)`	Replaces the Modifiers child.
`void`	`setParameter(ParameterDeclaration node, int i)`	Replaces the Parameter list element at index `i` with the new node `node`.
`void`	`setParameterList(List<ParameterDeclaration> list)`	Replaces the Parameter list.
`void`	`setTypeAccess(Access node)`	Replaces the TypeAccess child.
`String`	`signature()`
`int`	`size()`
`SootMethod`	`sootMethod()`
`SootMethodRef`	`sootRef()`
`int`	`sootTypeModifiers()`
`MethodDecl`	`sourceMethodDecl()`
`Opt`	`substituteBody(Parameterization parTypeDecl)`
`BodyDecl`	`substitutedBodyDecl(Parameterization parTypeDecl)`
`boolean`	`suppressWarnings(String type)`
`boolean`	`throwsException(TypeDecl exceptionType)`
`void`	`toString(StringBuffer s)`
`void`	`transformation()`
`TypeDecl`	`type()`
`void`	`typeCheck()`
`TypeDecl`	`typeObject()`
`MethodDecl`	`unknownMethod()`
`boolean`	`usesTypeVariable()`
`boolean`	`visibleTypeParameters()`
`boolean`	`withinSuppressWarnings(String s)`

Methods inherited from class soot.JastAddJ.MemberDecl
isConstant

Methods inherited from class soot.JastAddJ.BodyDecl
addsIndentationLevel, collectFinally, declaresType, Define_ArrayList_exceptionRanges, Define_BodyDecl_enclosingBodyDecl, Define_boolean_resourcePreviouslyDeclared, Define_String_typeDeclIndent, generate, hostPackage, hostType, isDAafter, isDAbefore, isDUafter, isDUbefore, isEnumConstant, lookupMethod, lookupType, lookupType, lookupVariable, nameType, type, typeThrowable

Methods inherited from class soot.JastAddJ.ASTNode
accessControl, addChild, asImmediate, asLocal, asLocal, asRValue, beginExceptionRange, branchTarget, checkDUeverywhere, checkEnum, checkUncheckedConversion, clearLocations, cloneSubtree, collectBranches, collectEnclosingVariables, collectErrors, collectExceptions, collectTypesToHierarchy, collectTypesToSignatures, compilationUnit, Define_Annotation_lookupAnnotation, Define_boolean_hasPackage, Define_boolean_inExplicitConstructorInvocation, Define_boolean_inExtendsOrImplements, Define_boolean_insideLoop, Define_boolean_insideSwitch, Define_boolean_isAnonymous, Define_boolean_isAnonymousDecl, Define_boolean_isDest, Define_boolean_isExplicitGenericConstructorAccess, Define_boolean_isIncOrDec, Define_boolean_isLocalClass, Define_boolean_isMemberType, Define_boolean_isNestedType, Define_boolean_isSource, Define_boolean_mayBeTransient, Define_boolean_mayBeVolatile, Define_boolean_reachableCatchClause, Define_boolean_reportUnreachable, 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_LabeledStmt_lookupLabel, Define_LUBType_lookupLUBType, Define_MethodDecl_unknownMethod, Define_SimpleSet_allImportedTypes, Define_SimpleSet_lookupType, Define_soot_jimple_Stmt_condition_false_label, Define_soot_jimple_Stmt_condition_true_label, Define_String_hostPackage, Define_String_methodHost, Define_String_packageName, 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_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, jimplify1phase1, jimplify2, 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

Methods inherited from interface java.util.Iterator
forEachRemaining

Field Detail

sootMethod
```
public SootMethod sootMethod
```

tokenString_ID
```
protected String tokenString_ID
```

IDstart
```
public int IDstart
```

IDend
```
public int IDend
```

accessibleFrom_TypeDecl_values

protected Map accessibleFrom_TypeDecl_values

throwsException_TypeDecl_values

protected Map throwsException_TypeDecl_values

signature_computed
```
protected boolean signature_computed
```

signature_value
```
protected String signature_value
```

moreSpecificThan_MethodDecl_values

protected Map moreSpecificThan_MethodDecl_values

overrides_MethodDecl_values

protected Map overrides_MethodDecl_values

hides_MethodDecl_values
```
protected Map hides_MethodDecl_values
```

parameterDeclaration_String_values

protected Map parameterDeclaration_String_values

type_computed
```
protected boolean type_computed
```

type_value
```
protected TypeDecl type_value
```

usesTypeVariable_computed

protected boolean usesTypeVariable_computed

usesTypeVariable_value

protected boolean usesTypeVariable_value

sourceMethodDecl_computed

protected boolean sourceMethodDecl_computed

sourceMethodDecl_value

protected MethodDecl sourceMethodDecl_value

sootMethod_computed
```
protected boolean sootMethod_computed
```

sootMethod_value
```
protected SootMethod sootMethod_value
```

sootRef_computed
```
protected boolean sootRef_computed
```

sootRef_value
```
protected SootMethodRef sootRef_value
```

offsetBeforeParameters_computed

protected boolean offsetBeforeParameters_computed

offsetBeforeParameters_value

protected int offsetBeforeParameters_value

offsetAfterParameters_computed

protected boolean offsetAfterParameters_computed

offsetAfterParameters_value

protected int offsetAfterParameters_value

handlesException_TypeDecl_values

protected Map handlesException_TypeDecl_values

Constructor Detail

MethodDecl
```
public MethodDecl()
```

MethodDecl

public MethodDecl(Modifiers p0,
                  Access p1,
                  String p2,
                  List<ParameterDeclaration> p3,
                  List<Access> p4,
                  Opt<Block> p5)

MethodDecl

public MethodDecl(Modifiers p0,
                  Access p1,
                  Symbol p2,
                  List<ParameterDeclaration> p3,
                  List<Access> p4,
                  Opt<Block> p5)

Method Detail

flushCache
```
public void flushCache()
```
Overrides:

flushCache in class MemberDecl

flushCollectionCache
```
public void flushCollectionCache()
```
Overrides:

flushCollectionCache in class MemberDecl

clone

public MethodDecl clone()
                 throws CloneNotSupportedException

Overrides:: clone in class MemberDecl
Throws:: CloneNotSupportedException

copy
```
public MethodDecl copy()
```
Overrides:

copy in class ASTNode<ASTNode>

fullCopy
```
public MethodDecl 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

createBoundAccess

public Access createBoundAccess(List args)

add
```
public SimpleSet add(Object o)
```
Specified by:

add in interface SimpleSet

isSingleton
```
public boolean isSingleton()
```
Specified by:

isSingleton in interface SimpleSet

isSingleton
```
public boolean isSingleton(Object o)
```
Specified by:

isSingleton in interface SimpleSet

iterator
```
public Iterator iterator()
```
Specified by:

iterator in interface Iterable<ASTNode>

Specified by:

iterator in interface SimpleSet

Overrides:

iterator in class ASTNode<ASTNode>

hasNext
```
public boolean hasNext()
```
Specified by:

hasNext in interface Iterator

next
```
public Object next()
```
Specified by:

next in interface Iterator

remove
```
public void remove()
```
Specified by:

remove in interface Iterator

nameCheck
```
public void nameCheck()
```
Overrides:

nameCheck in class ASTNode<ASTNode>

toString
```
public void toString(StringBuffer s)
```
Overrides:

toString in class ASTNode<ASTNode>

typeCheck
```
public void typeCheck()
```
Overrides:

typeCheck in class ASTNode<ASTNode>

substitutedBodyDecl

public BodyDecl substitutedBodyDecl(Parameterization parTypeDecl)

Overrides:: substitutedBodyDecl in class BodyDecl

substituteBody

public Opt substituteBody(Parameterization parTypeDecl)

createAccessor

public MethodDecl createAccessor(TypeDecl methodQualifier)

createSuperAccessor

public MethodDecl createSuperAccessor(TypeDecl methodQualifier)

jimplify1phase2
```
public void jimplify1phase2()
```
Overrides:

jimplify1phase2 in class BodyDecl

addAttributes
```
public void addAttributes()
```
Overrides:

addAttributes in class ASTNode<ASTNode>

addRuntimeVisibleParameterAnnotationsAttribute

public void addRuntimeVisibleParameterAnnotationsAttribute(Collection c)

addRuntimeInvisibleParameterAnnotationsAttribute

public void addRuntimeInvisibleParameterAnnotationsAttribute(Collection c)

addSourceLevelParameterAnnotationsAttribute

public void addSourceLevelParameterAnnotationsAttribute(Collection c)

transformation
```
public void transformation()
```
Overrides:

transformation in class ASTNode<ASTNode>

checkWarnings
```
public void checkWarnings()
```
Check if the method is missing a SafeVarargs annotation.

Overrides:

checkWarnings in class BodyDecl

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 MemberDecl

numChildren
```
protected int numChildren()
```
Overrides:

numChildren in class MemberDecl

mayHaveRewrite
```
public boolean mayHaveRewrite()
```
Overrides:

mayHaveRewrite in class MemberDecl

setModifiers
```
public void setModifiers(Modifiers node)
```
Replaces the Modifiers child.

Parameters:

node - The new node to replace the Modifiers child.

getModifiers
```
public Modifiers getModifiers()
```
Retrieves the Modifiers child.

Returns:

The current node used as the Modifiers child.

getModifiersNoTransform
```
public Modifiers getModifiersNoTransform()
```
Retrieves the Modifiers child.
This method does not invoke AST transformations.

Returns:

The current node used as the Modifiers child.

setTypeAccess
```
public void setTypeAccess(Access node)
```
Replaces the TypeAccess child.

Parameters:

node - The new node to replace the TypeAccess child.

getTypeAccess
```
public Access getTypeAccess()
```
Retrieves the TypeAccess child.

Returns:

The current node used as the TypeAccess child.

getTypeAccessNoTransform
```
public Access getTypeAccessNoTransform()
```
Retrieves the TypeAccess child.
This method does not invoke AST transformations.

Returns:

The current node used as the TypeAccess child.

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.

setParameterList
```
public void setParameterList(List<ParameterDeclaration> list)
```
Replaces the Parameter list.

Parameters:

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

getNumParameter
```
public int getNumParameter()
```
Retrieves the number of children in the Parameter list.

Returns:

Number of children in the Parameter list.

getNumParameterNoTransform
```
public int getNumParameterNoTransform()
```
Retrieves the number of children in the Parameter list. Calling this method will not trigger rewrites..

Returns:

Number of children in the Parameter list.

getParameter
```
public ParameterDeclaration getParameter(int i)
```
Retrieves the element at index i in the Parameter list..

Parameters:

i - Index of the element to return.

Returns:

The element at position i in the Parameter list.

addParameter
```
public void addParameter(ParameterDeclaration node)
```
Append an element to the Parameter list.

Parameters:

node - The element to append to the Parameter list.

addParameterNoTransform

public void addParameterNoTransform(ParameterDeclaration node)

setParameter
```
public void setParameter(ParameterDeclaration node,
                         int i)
```
Replaces the Parameter 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.

getParameters
```
public List<ParameterDeclaration> getParameters()
```
Retrieves the Parameter list.

Returns:

The node representing the Parameter list.

getParametersNoTransform
```
public List<ParameterDeclaration> getParametersNoTransform()
```
Retrieves the Parameter list.
This method does not invoke AST transformations.

Returns:

The node representing the Parameter list.

getParameterList
```
public List<ParameterDeclaration> getParameterList()
```
Retrieves the Parameter list.

Returns:

The node representing the Parameter list.

getParameterListNoTransform
```
public List<ParameterDeclaration> getParameterListNoTransform()
```
Retrieves the Parameter list.
This method does not invoke AST transformations.

Returns:

The node representing the Parameter list.

setExceptionList
```
public void setExceptionList(List<Access> list)
```
Replaces the Exception list.

Parameters:

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

getNumException
```
public int getNumException()
```
Retrieves the number of children in the Exception list.

Returns:

Number of children in the Exception list.

getNumExceptionNoTransform
```
public int getNumExceptionNoTransform()
```
Retrieves the number of children in the Exception list. Calling this method will not trigger rewrites..

Returns:

Number of children in the Exception list.

getException
```
public Access getException(int i)
```
Retrieves the element at index i in the Exception list..

Parameters:

i - Index of the element to return.

Returns:

The element at position i in the Exception list.

addException
```
public void addException(Access node)
```
Append an element to the Exception list.

Parameters:

node - The element to append to the Exception list.

addExceptionNoTransform

public void addExceptionNoTransform(Access node)

setException
```
public void setException(Access node,
                         int i)
```
Replaces the Exception 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.

getExceptions
```
public List<Access> getExceptions()
```
Retrieves the Exception list.

Returns:

The node representing the Exception list.

getExceptionsNoTransform
```
public List<Access> getExceptionsNoTransform()
```
Retrieves the Exception list.
This method does not invoke AST transformations.

Returns:

The node representing the Exception list.

getExceptionList
```
public List<Access> getExceptionList()
```
Retrieves the Exception list.

Returns:

The node representing the Exception list.

getExceptionListNoTransform
```
public List<Access> getExceptionListNoTransform()
```
Retrieves the Exception list.
This method does not invoke AST transformations.

Returns:

The node representing the Exception list.

setBlockOpt
```
public void setBlockOpt(Opt<Block> opt)
```
Replaces the optional node for the Block child. This is the Opt node containing the child Block, not the actual child!

Parameters:

opt - The new node to be used as the optional node for the Block child.

hasBlock
```
public boolean hasBlock()
```
Check whether the optional Block child exists.

Returns:

true if the optional Block child exists, false if it does not.

getBlock
```
public Block getBlock()
```
Retrieves the (optional) Block child.

Returns:

The Block child, if it exists. Returns null otherwise.

setBlock
```
public void setBlock(Block node)
```
Replaces the (optional) Block child.

Parameters:

node - The new node to be used as the Block child.

getBlockOpt
```
public Opt<Block> getBlockOpt()
```

getBlockOptNoTransform
```
public Opt<Block> getBlockOptNoTransform()
```
Retrieves the optional node for child Block. This is the Opt node containing the child Block, not the actual child!
This method does not invoke AST transformations.

Returns:

The optional node for child Block.

checkModifiers
```
public void checkModifiers()
```
Overrides:

checkModifiers in class MemberDecl

jimplify2
```
public void jimplify2()
```
Overrides:

jimplify2 in class BodyDecl

accessibleFrom

public boolean accessibleFrom(TypeDecl type)

size
```
public int size()
```
Specified by:

size in interface SimpleSet

isEmpty
```
public boolean isEmpty()
```
Specified by:

isEmpty in interface SimpleSet

contains
```
public boolean contains(Object o)
```
Specified by:

contains in interface SimpleSet

lineNumber
```
public int lineNumber()
```
Overrides:

lineNumber in class ASTNode<ASTNode>

throwsException

public boolean throwsException(TypeDecl exceptionType)

name
```
public String name()
```

signature
```
public String signature()
```

sameSignature

public boolean sameSignature(MethodDecl m)

moreSpecificThan

public boolean moreSpecificThan(MethodDecl m)

overrides

public boolean overrides(MethodDecl m)

hides

public boolean hides(MethodDecl m)

parameterDeclaration

public SimpleSet parameterDeclaration(String name)

isSynthetic
```
public boolean isSynthetic()
```
Overrides:

isSynthetic in class MemberDecl

isPublic
```
public boolean isPublic()
```

isPrivate
```
public boolean isPrivate()
```

isProtected
```
public boolean isProtected()
```

isAbstract
```
public boolean isAbstract()
```

isStatic
```
public boolean isStatic()
```
Specified by:

isStatic in class MemberDecl

isFinal
```
public boolean isFinal()
```

isSynchronized
```
public boolean isSynchronized()
```

isNative
```
public boolean isNative()
```

isStrictfp
```
public boolean isStrictfp()
```

dumpString
```
public String dumpString()
```
Overrides:

dumpString in class ASTNode<ASTNode>

type
```
public TypeDecl type()
```

isVoid
```
public boolean isVoid()
```
Overrides:

isVoid in class BodyDecl

mayOverrideReturn

public boolean mayOverrideReturn(MethodDecl m)

annotationMethodOverride

public boolean annotationMethodOverride()

hasAnnotationSuppressWarnings
```
public boolean hasAnnotationSuppressWarnings(String s)
```
Overrides:

hasAnnotationSuppressWarnings in class BodyDecl

isDeprecated
```
public boolean isDeprecated()
```
Overrides:

isDeprecated in class BodyDecl

usesTypeVariable
```
public boolean usesTypeVariable()
```
Overrides:

usesTypeVariable in class ASTNode<ASTNode>

sourceMethodDecl
```
public MethodDecl sourceMethodDecl()
```

visibleTypeParameters
```
public boolean visibleTypeParameters()
```
Overrides:

visibleTypeParameters in class BodyDecl

arity
```
public int arity()
```

isVariableArity
```
public boolean isVariableArity()
```

lastParameter

public ParameterDeclaration lastParameter()

sootTypeModifiers
```
public int sootTypeModifiers()
```

sootMethod
```
public SootMethod sootMethod()
```

sootRef
```
public SootMethodRef sootRef()
```

offsetBeforeParameters
```
public int offsetBeforeParameters()
```

offsetAfterParameters
```
public int offsetAfterParameters()
```

erasedMethod
```
public MethodDecl erasedMethod()
```

hasAnnotationSafeVarargs
```
public boolean hasAnnotationSafeVarargs()
```
Overrides:

hasAnnotationSafeVarargs in class BodyDecl

Returns:

true if the modifier list includes the SafeVarargs annotation

hasIllegalAnnotationSafeVarargs
```
public boolean hasIllegalAnnotationSafeVarargs()
```
It is an error if the SafeVarargs annotation is used on something that is not a variable arity method or constructor.

Overrides:

hasIllegalAnnotationSafeVarargs in class BodyDecl

suppressWarnings

public boolean suppressWarnings(String type)

handlesException

public boolean handlesException(TypeDecl exceptionType)

unknownMethod
```
public MethodDecl unknownMethod()
```

typeObject
```
public TypeDecl typeObject()
```

withinSuppressWarnings

public boolean withinSuppressWarnings(String s)

Define_boolean_isDAbefore

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

Overrides:: Define_boolean_isDAbefore in class ASTNode<ASTNode>

Define_boolean_isDUbefore

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

Overrides:: Define_boolean_isDUbefore in class ASTNode<ASTNode>

Define_boolean_handlesException

public boolean Define_boolean_handlesException(ASTNode caller,
                                               ASTNode child,
                                               TypeDecl exceptionType)

Overrides:: Define_boolean_handlesException 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_boolean_mayBePublic

public boolean Define_boolean_mayBePublic(ASTNode caller,
                                          ASTNode child)

Overrides:: Define_boolean_mayBePublic in class ASTNode<ASTNode>

Define_boolean_mayBeProtected

public boolean Define_boolean_mayBeProtected(ASTNode caller,
                                             ASTNode child)

Overrides:: Define_boolean_mayBeProtected in class ASTNode<ASTNode>

Define_boolean_mayBePrivate

public boolean Define_boolean_mayBePrivate(ASTNode caller,
                                           ASTNode child)

Overrides:: Define_boolean_mayBePrivate in class ASTNode<ASTNode>

Define_boolean_mayBeAbstract

public boolean Define_boolean_mayBeAbstract(ASTNode caller,
                                            ASTNode child)

Overrides:: Define_boolean_mayBeAbstract in class ASTNode<ASTNode>

Define_boolean_mayBeStatic

public boolean Define_boolean_mayBeStatic(ASTNode caller,
                                          ASTNode child)

Overrides:: Define_boolean_mayBeStatic in class ASTNode<ASTNode>

Define_boolean_mayBeFinal

public boolean Define_boolean_mayBeFinal(ASTNode caller,
                                         ASTNode child)

Overrides:: Define_boolean_mayBeFinal in class ASTNode<ASTNode>

Define_boolean_mayBeSynchronized

public boolean Define_boolean_mayBeSynchronized(ASTNode caller,
                                                ASTNode child)

Overrides:: Define_boolean_mayBeSynchronized in class ASTNode<ASTNode>

Define_boolean_mayBeNative

public boolean Define_boolean_mayBeNative(ASTNode caller,
                                          ASTNode child)

Overrides:: Define_boolean_mayBeNative in class ASTNode<ASTNode>

Define_boolean_mayBeStrictfp

public boolean Define_boolean_mayBeStrictfp(ASTNode caller,
                                            ASTNode child)

Overrides:: Define_boolean_mayBeStrictfp in class ASTNode<ASTNode>

Define_ASTNode_enclosingBlock

public ASTNode Define_ASTNode_enclosingBlock(ASTNode caller,
                                             ASTNode child)

Overrides:: Define_ASTNode_enclosingBlock 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_TypeDecl_returnType

public TypeDecl Define_TypeDecl_returnType(ASTNode caller,
                                           ASTNode child)

Overrides:: Define_TypeDecl_returnType in class ASTNode<ASTNode>

Define_boolean_inStaticContext

public boolean Define_boolean_inStaticContext(ASTNode caller,
                                              ASTNode child)

Overrides:: Define_boolean_inStaticContext in class ASTNode<ASTNode>

Define_boolean_reachable

public boolean Define_boolean_reachable(ASTNode caller,
                                        ASTNode child)

Overrides:: Define_boolean_reachable in class ASTNode<ASTNode>

Define_boolean_isMethodParameter

public boolean Define_boolean_isMethodParameter(ASTNode caller,
                                                ASTNode child)

Overrides:: Define_boolean_isMethodParameter in class ASTNode<ASTNode>

Define_boolean_isConstructorParameter

public boolean Define_boolean_isConstructorParameter(ASTNode caller,
                                                     ASTNode child)

Overrides:: Define_boolean_isConstructorParameter in class ASTNode<ASTNode>

Define_boolean_isExceptionHandlerParameter

public boolean Define_boolean_isExceptionHandlerParameter(ASTNode caller,
                                                          ASTNode child)

Overrides:: Define_boolean_isExceptionHandlerParameter in class ASTNode<ASTNode>

Define_boolean_mayUseAnnotationTarget

public boolean Define_boolean_mayUseAnnotationTarget(ASTNode caller,
                                                     ASTNode child,
                                                     String name)

Overrides:: Define_boolean_mayUseAnnotationTarget in class ASTNode<ASTNode>

Define_boolean_variableArityValid

public boolean Define_boolean_variableArityValid(ASTNode caller,
                                                 ASTNode child)

Overrides:: Define_boolean_variableArityValid in class ASTNode<ASTNode>

Define_int_localNum

public int Define_int_localNum(ASTNode caller,
                               ASTNode child)

Overrides:: Define_int_localNum in class ASTNode<ASTNode>

Define_boolean_enclosedByExceptionHandler

public boolean Define_boolean_enclosedByExceptionHandler(ASTNode caller,
                                                         ASTNode child)

Overrides:: Define_boolean_enclosedByExceptionHandler in class ASTNode<ASTNode>

Define_boolean_inhModifiedInScope

public boolean Define_boolean_inhModifiedInScope(ASTNode caller,
                                                 ASTNode child,
                                                 Variable var)

Overrides:: Define_boolean_inhModifiedInScope in class ASTNode<ASTNode>

Define_boolean_isCatchParam

public boolean Define_boolean_isCatchParam(ASTNode caller,
                                           ASTNode child)

Overrides:: Define_boolean_isCatchParam in class ASTNode<ASTNode>

rewriteTo
```
public ASTNode rewriteTo()
```
Overrides:

rewriteTo in class MemberDecl

Class MethodDecl

Nested Class Summary

Nested classes/interfaces inherited from interface soot.JastAddJ.SimpleSet

Field Summary

Fields inherited from class soot.JastAddJ.BodyDecl

Fields inherited from class soot.JastAddJ.ASTNode

Fields inherited from class beaver.Symbol

Fields inherited from interface soot.JastAddJ.SimpleSet

Constructor Summary

Method Summary

Methods inherited from class soot.JastAddJ.MemberDecl

Methods inherited from class soot.JastAddJ.BodyDecl

Methods inherited from class soot.JastAddJ.ASTNode

Methods inherited from class beaver.Symbol

Methods inherited from class java.lang.Object

Methods inherited from interface java.lang.Iterable

Methods inherited from interface java.util.Iterator

Field Detail

sootMethod

tokenString_ID

IDstart

IDend

accessibleFrom_TypeDecl_values

throwsException_TypeDecl_values

signature_computed

signature_value

moreSpecificThan_MethodDecl_values

overrides_MethodDecl_values

hides_MethodDecl_values

parameterDeclaration_String_values

type_computed

type_value

usesTypeVariable_computed

usesTypeVariable_value

sourceMethodDecl_computed

sourceMethodDecl_value

sootMethod_computed

sootMethod_value

sootRef_computed

sootRef_value

offsetBeforeParameters_computed

offsetBeforeParameters_value

offsetAfterParameters_computed

offsetAfterParameters_value

handlesException_TypeDecl_values

Constructor Detail

MethodDecl

MethodDecl

MethodDecl

Method Detail

flushCache

flushCollectionCache

clone

copy

fullCopy

createBoundAccess

add

isSingleton

isSingleton

iterator

hasNext

next

remove

nameCheck

toString

typeCheck

substitutedBodyDecl

substituteBody

createAccessor

createSuperAccessor

jimplify1phase2

addAttributes

addRuntimeVisibleParameterAnnotationsAttribute

addRuntimeInvisibleParameterAnnotationsAttribute

addSourceLevelParameterAnnotationsAttribute

transformation

checkWarnings

init$Children

numChildren

mayHaveRewrite