Package soot.JastAddJ

Class ConstructorDecl

java.lang.Object

beaver.Symbol

soot.JastAddJ.ASTNode<ASTNode>

soot.JastAddJ.BodyDecl

soot.JastAddJ.ConstructorDecl

All Implemented Interfaces:

Cloneable, Iterable<ASTNode>

Direct Known Subclasses:

ConstructorDeclSubstituted, GenericConstructorDecl, ParConstructorDecl

public class ConstructorDecl
extends BodyDecl
implements Cloneable

Field Summary

Fields

Modifier and Type	Field	Description
protected Map	accessibleFrom_TypeDecl_values
protected boolean	addEnclosingVariables
protected Map	circularThisInvocation_ConstructorDecl_values
protected Map	handlesException_TypeDecl_values
int	IDend
int	IDstart
protected Map	isDAafter_Variable_values
protected Map	isDUafter_Variable_values
protected boolean	localNumOfFirstParameter_computed
protected int	localNumOfFirstParameter_value
protected Map	moreSpecificThan_ConstructorDecl_values
protected boolean	name_computed
protected String	name_value
protected boolean	offsetFirstEnclosingVariable_computed
protected int	offsetFirstEnclosingVariable_value
protected Map	parameterDeclaration_String_values
protected Map	sameSignature_ConstructorDecl_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	sourceConstructorDecl_computed
protected ConstructorDecl	sourceConstructorDecl_value
protected Map	throwsException_TypeDecl_values
protected String	tokenString_ID

Fields inherited from class soot.JastAddJ.BodyDecl

isDAbefore_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

Constructor Summary

Constructors

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

Method Summary

Modifier and Type	Method	Description
boolean	accessibleFrom(TypeDecl type)
void	addAttributes()
void	addEnclosingVariables()
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	applicable(List argList)
boolean	applicableByMethodInvocationConversion(List argList)
boolean	applicableBySubtyping(List argList)
boolean	applicableVariableArity(List argList)
int	arity()
void	checkModifiers()
boolean	circularThisInvocation(ConstructorDecl decl)
ConstructorDecl	clone()
ConstructorDecl	copy()
ConstructorDecl	createAccessor()
protected List	createAccessorParameters()
protected TypeDecl	createAnonymousJavaTypeDecl()
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_inExplicitConstructorInvocation(ASTNode caller, ASTNode child)
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_mayBePrivate(ASTNode caller, ASTNode child)
boolean	Define_boolean_mayBeProtected(ASTNode caller, ASTNode child)
boolean	Define_boolean_mayBePublic(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)
Collection	Define_Collection_lookupMethod(ASTNode caller, ASTNode child, String name)
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_enclosingInstance(ASTNode caller, ASTNode child)
TypeDecl	enclosing()
ConstructorDecl	erasedConstructor()
void	flushCache()
void	flushCollectionCache()
ConstructorDecl	fullCopy()	Create a deep copy of the AST subtree at this node.
Block	getBlock()	Retrieves the Block child.
Block	getBlockNoTransform()	Retrieves the Block child.
Stmt	getConstructorInvocation()	Retrieves the (optional) ConstructorInvocation child.
Opt<Stmt>	getConstructorInvocationOpt()
Opt<Stmt>	getConstructorInvocationOptNoTransform()	Retrieves the optional node for child ConstructorInvocation.
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.
boolean	handlesException(TypeDecl exceptionType)
boolean	hasAnnotationSafeVarargs()
boolean	hasAnnotationSuppressWarnings(String s)
boolean	hasConstructorInvocation()	Check whether the optional ConstructorInvocation 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.
void	init$Children()	Initializes the child array to the correct size.
boolean	isDAafter(Variable v)
boolean	isDefaultConstructor()
boolean	isDeprecated()
boolean	isDUafter(Variable v)
boolean	isPrivate()
boolean	isProtected()
boolean	isPublic()
boolean	isSynthetic()
boolean	isVariableArity()
boolean	isVoid()
void	jimplify1phase2()
void	jimplify2()
ParameterDeclaration	lastParameter()
int	localNumOfFirstParameter()
boolean	mayHaveRewrite()
boolean	moreSpecificThan(ConstructorDecl m)
String	name()
void	nameCheck()
boolean	needsEnclosing()
boolean	needsSuperEnclosing()
protected int	numChildren()
int	offsetFirstEnclosingVariable()
SimpleSet	parameterDeclaration(String name)
boolean	potentiallyApplicable(List argList)
ASTNode	rewriteTo()
boolean	sameSignature(ConstructorDecl c)
void	setBlock(Block node)	Replaces the Block child.
void	setConstructorInvocation(Stmt node)	Replaces the (optional) ConstructorInvocation child.
void	setConstructorInvocationOpt(Opt<Stmt> opt)	Replaces the optional node for the ConstructorInvocation child.
void	setDefaultConstructor()	Set the default constructor flag.
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.
String	signature()
SootMethod	sootMethod()
SootMethodRef	sootRef()
int	sootTypeModifiers()
ConstructorDecl	sourceConstructorDecl()
BodyDecl	substitutedBodyDecl(Parameterization parTypeDecl)
TypeDecl	superEnclosing()
boolean	throwsException(TypeDecl exceptionType)
void	toString(StringBuffer s)
void	transformation()
protected void	transformEnumConstructors()
TypeDecl	type()
void	typeCheck()
TypeDecl	unknownType()

Methods inherited from class soot.JastAddJ.BodyDecl

addsIndentationLevel, checkWarnings, collectFinally, declaresType, Define_ArrayList_exceptionRanges, Define_BodyDecl_enclosingBodyDecl, Define_boolean_resourcePreviouslyDeclared, Define_String_typeDeclIndent, generate, hostPackage, hostType, isDAbefore, isDUbefore, isEnumConstant, lookupMethod, lookupType, lookupType, lookupVariable, nameType, type, typeThrowable, visibleTypeParameters

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_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_mayBeAbstract, Define_boolean_mayBeFinal, Define_boolean_mayBeNative, Define_boolean_mayBeStatic, Define_boolean_mayBeStrictfp, Define_boolean_mayBeSynchronized, 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_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_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, dumpString, 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, jimplify2, lineNumber, location, newLabel, options, putSimpleSetElement, reachedException, removeChild, removeInstanceMethods, removeInstanceVariables, replace, setChild, setEnd, setLocation, setParent, setStart, sourceFile, start, state, toString, 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

addEnclosingVariables

protected boolean addEnclosingVariables

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

isDAafter_Variable_values

protected Map isDAafter_Variable_values

isDUafter_Variable_values

protected Map isDUafter_Variable_values

throwsException_TypeDecl_values

protected Map throwsException_TypeDecl_values

name_computed

protected boolean name_computed

name_value

protected String name_value

signature_computed

protected boolean signature_computed

signature_value

protected String signature_value

sameSignature_ConstructorDecl_values

protected Map sameSignature_ConstructorDecl_values

moreSpecificThan_ConstructorDecl_values

protected Map moreSpecificThan_ConstructorDecl_values

parameterDeclaration_String_values

protected Map parameterDeclaration_String_values

circularThisInvocation_ConstructorDecl_values

protected Map circularThisInvocation_ConstructorDecl_values

sourceConstructorDecl_computed

protected boolean sourceConstructorDecl_computed

sourceConstructorDecl_value

protected ConstructorDecl sourceConstructorDecl_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

localNumOfFirstParameter_computed

protected boolean localNumOfFirstParameter_computed

localNumOfFirstParameter_value

protected int localNumOfFirstParameter_value

offsetFirstEnclosingVariable_computed

protected boolean offsetFirstEnclosingVariable_computed

offsetFirstEnclosingVariable_value

protected int offsetFirstEnclosingVariable_value

handlesException_TypeDecl_values

protected Map handlesException_TypeDecl_values

Constructor Detail

ConstructorDecl

public ConstructorDecl()

ConstructorDecl

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

ConstructorDecl

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

Method Detail

flushCache

public void flushCache()

Overrides:

flushCache in class BodyDecl

flushCollectionCache

public void flushCollectionCache()

Overrides:

flushCollectionCache in class BodyDecl

clone

public ConstructorDecl clone()
                      throws CloneNotSupportedException

Overrides:

clone in class BodyDecl

Throws:

CloneNotSupportedException

copy

public ConstructorDecl copy()

Overrides:

copy in class ASTNode<ASTNode>

fullCopy

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

applicable

public boolean applicable(List argList)

setDefaultConstructor

public void setDefaultConstructor()

Set the default constructor flag. Causes this constructor to not be pretty printed.

checkModifiers

public void checkModifiers()

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>

transformEnumConstructors

protected void transformEnumConstructors()

Overrides:

transformEnumConstructors in class ASTNode<ASTNode>

substitutedBodyDecl

public BodyDecl substitutedBodyDecl(Parameterization parTypeDecl)

Overrides:

substitutedBodyDecl in class BodyDecl

addEnclosingVariables

public void addEnclosingVariables()

createAccessor

public ConstructorDecl createAccessor()

createAccessorParameters

protected List createAccessorParameters()

createAnonymousJavaTypeDecl

protected TypeDecl createAnonymousJavaTypeDecl()

transformation

public void transformation()

Overrides:

transformation in class ASTNode<ASTNode>

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)

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 BodyDecl

numChildren

protected int numChildren()

Overrides:

numChildren in class BodyDecl

mayHaveRewrite

public boolean mayHaveRewrite()

Overrides:

mayHaveRewrite in class BodyDecl

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.

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.

setConstructorInvocationOpt

public void setConstructorInvocationOpt(Opt<Stmt> opt)

Replaces the optional node for the ConstructorInvocation child. This is the Opt node containing the child ConstructorInvocation, not the actual child!

Parameters:

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

hasConstructorInvocation

public boolean hasConstructorInvocation()

Check whether the optional ConstructorInvocation child exists.

Returns:

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

getConstructorInvocation

public Stmt getConstructorInvocation()

Retrieves the (optional) ConstructorInvocation child.

Returns:

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

setConstructorInvocation

public void setConstructorInvocation(Stmt node)

Replaces the (optional) ConstructorInvocation child.

Parameters:

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

getConstructorInvocationOpt

public Opt<Stmt> getConstructorInvocationOpt()

getConstructorInvocationOptNoTransform

public Opt<Stmt> getConstructorInvocationOptNoTransform()

Retrieves the optional node for child ConstructorInvocation. This is the Opt node containing the child ConstructorInvocation, not the actual child!

This method does not invoke AST transformations.

Returns:

The optional node for child ConstructorInvocation.

setBlock

public void setBlock(Block node)

Replaces the Block child.

Parameters:

node - The new node to replace the Block child.

getBlock

public Block getBlock()

Retrieves the Block child.

Returns:

The current node used as the Block child.

getBlockNoTransform

public Block getBlockNoTransform()

Retrieves the Block child.

This method does not invoke AST transformations.

Returns:

The current node used as the Block child.

jimplify2

public void jimplify2()

Overrides:

jimplify2 in class BodyDecl

accessibleFrom

public boolean accessibleFrom(TypeDecl type)

isDAafter

public boolean isDAafter(Variable v)

Overrides:

isDAafter in class BodyDecl

isDUafter

public boolean isDUafter(Variable v)

Overrides:

isDUafter in class BodyDecl

throwsException

public boolean throwsException(TypeDecl exceptionType)

name

public String name()

signature

public String signature()

sameSignature

public boolean sameSignature(ConstructorDecl c)

moreSpecificThan

public boolean moreSpecificThan(ConstructorDecl m)

isDefaultConstructor

public boolean isDefaultConstructor()

Returns:

true if this is an auto-generated default constructor

parameterDeclaration

public SimpleSet parameterDeclaration(String name)

isSynthetic

public boolean isSynthetic()

isPublic

public boolean isPublic()

isPrivate

public boolean isPrivate()

isProtected

public boolean isProtected()

circularThisInvocation

public boolean circularThisInvocation(ConstructorDecl decl)

type

public TypeDecl type()

isVoid

public boolean isVoid()

Overrides:

isVoid in class BodyDecl

hasAnnotationSuppressWarnings

public boolean hasAnnotationSuppressWarnings(String s)

Overrides:

hasAnnotationSuppressWarnings in class BodyDecl

isDeprecated

public boolean isDeprecated()

Overrides:

isDeprecated in class BodyDecl

sourceConstructorDecl

public ConstructorDecl sourceConstructorDecl()

applicableBySubtyping

public boolean applicableBySubtyping(List argList)

applicableByMethodInvocationConversion

public boolean applicableByMethodInvocationConversion(List argList)

applicableVariableArity

public boolean applicableVariableArity(List argList)

potentiallyApplicable

public boolean potentiallyApplicable(List argList)

arity

public int arity()

isVariableArity

public boolean isVariableArity()

lastParameter

public ParameterDeclaration lastParameter()

needsEnclosing

public boolean needsEnclosing()

needsSuperEnclosing

public boolean needsSuperEnclosing()

enclosing

public TypeDecl enclosing()

superEnclosing

public TypeDecl superEnclosing()

sootTypeModifiers

public int sootTypeModifiers()

sootMethod

public SootMethod sootMethod()

sootRef

public SootMethodRef sootRef()

localNumOfFirstParameter

public int localNumOfFirstParameter()

offsetFirstEnclosingVariable

public int offsetFirstEnclosingVariable()

erasedConstructor

public ConstructorDecl erasedConstructor()

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

handlesException

public boolean handlesException(TypeDecl exceptionType)

unknownType

public TypeDecl unknownType()

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_Collection_lookupMethod

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

Overrides:

Define_Collection_lookupMethod 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_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_enclosingInstance

public TypeDecl Define_TypeDecl_enclosingInstance(ASTNode caller,
                                                  ASTNode child)

Overrides:

Define_TypeDecl_enclosingInstance in class ASTNode<ASTNode>

Define_boolean_inExplicitConstructorInvocation

public boolean Define_boolean_inExplicitConstructorInvocation(ASTNode caller,
                                                              ASTNode child)

Overrides:

Define_boolean_inExplicitConstructorInvocation 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 BodyDecl