Package soot.JastAddJ

Class CatchParameterDeclaration

java.lang.Object

beaver.Symbol

soot.JastAddJ.ASTNode<ASTNode>

soot.JastAddJ.CatchParameterDeclaration

All Implemented Interfaces:

Cloneable, Iterable<ASTNode>, Iterator, SimpleSet, Variable

public class CatchParameterDeclaration
extends ASTNode<ASTNode>
implements Cloneable, Variable, SimpleSet, Iterator

A catch parameter with disjunct exception type.

Nested Class Summary

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

SimpleSet.SimpleSetImpl

Field Summary

Fields

Modifier and Type	Field	Description
int	IDend
int	IDstart
protected boolean	sourceVariableDecl_computed
protected Variable	sourceVariableDecl_value
protected boolean	throwTypes_computed
protected Collection<TypeDecl>	throwTypes_value
protected String	tokenString_ID

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
CatchParameterDeclaration()
CatchParameterDeclaration(Modifiers p0, List<Access> p1, Symbol p2)
CatchParameterDeclaration(Modifiers p0, List<Access> p1, String p2)

Method Summary

Modifier and Type	Method	Description
SimpleSet	add(Object o)
void	addTypeAccess(Access node)	Append an element to the TypeAccess list.
void	addTypeAccessNoTransform(Access node)
CatchClause	catchClause()
CatchParameterDeclaration	clone()
Constant	constant()
boolean	contains(Object o)
CatchParameterDeclaration	copy()
NameType	Define_NameType_nameType(ASTNode caller, ASTNode child)
BodyDecl	enclosingBodyDecl()
void	flushCache()
void	flushCollectionCache()
CatchParameterDeclaration	fullCopy()	Create a deep copy of the AST subtree at this node.
String	getID()	Retrieves the value for the lexeme ID.
Expr	getInit()
Modifiers	getModifiers()	Retrieves the Modifiers child.
Modifiers	getModifiersNoTransform()	Retrieves the Modifiers child.
int	getNumTypeAccess()	Retrieves the number of children in the TypeAccess list.
int	getNumTypeAccessNoTransform()	Retrieves the number of children in the TypeAccess list.
Access	getTypeAccess(int i)	Retrieves the element at index i in the TypeAccess list..
List<Access>	getTypeAccessList()	Retrieves the TypeAccess list.
List<Access>	getTypeAccessListNoTransform()	Retrieves the TypeAccess list.
List<Access>	getTypeAccesss()	Retrieves the TypeAccess list.
List<Access>	getTypeAccesssNoTransform()	Retrieves the TypeAccess list.
boolean	hasInit()
boolean	hasNext()
TypeDecl	hostType()
void	init$Children()	Initializes the child array to the correct size.
boolean	isBlank()
boolean	isClassVariable()
boolean	isConstructorParameter()
boolean	isEmpty()
boolean	isExceptionHandlerParameter()
boolean	isFinal()	The catch parameter of a multi-catch clause is implicitly final.
boolean	isInstanceVariable()
boolean	isLocalVariable()
boolean	isMethodParameter()
boolean	isParameter()
boolean	isSingleton()
boolean	isSingleton(Object o)
boolean	isStatic()
boolean	isSynthetic()
boolean	isVolatile()
Iterator	iterator()
LUBType	lookupLUBType(Collection bounds)
SimpleSet	lookupVariable(String name)	Inherit the lookupVariable attribute.
boolean	mayHaveRewrite()
String	name()
void	nameCheck()	Duplicate declaration checking for catch parameters.
Object	next()
protected int	numChildren()
VariableScope	outerScope()
void	remove()
ASTNode	rewriteTo()
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	setTypeAccess(Access node, int i)	Replaces the TypeAccess list element at index i with the new node node.
void	setTypeAccessList(List<Access> list)	Replaces the TypeAccess list.
int	size()
Variable	sourceVariableDecl()
Collection<TypeDecl>	throwTypes()
void	toString(StringBuffer sb)	Pretty printing of catch parameter declaration.
TypeDecl	type()	A catch parameter declared with a disjunction type has the effective type lub(t1, t2, ...)
void	typeCheck()	Type checking.

Methods inherited from class soot.JastAddJ.ASTNode

accessControl, addAttributes, addChild, addsIndentationLevel, asImmediate, asLocal, asLocal, asRValue, beginExceptionRange, branchTarget, checkDUeverywhere, checkEnum, checkUncheckedConversion, checkWarnings, clearLocations, cloneSubtree, collectBranches, collectEnclosingVariables, collectErrors, collectExceptions, collectFinally, collectTypesToHierarchy, collectTypesToSignatures, compilationUnit, Define_Annotation_lookupAnnotation, Define_ArrayList_exceptionRanges, Define_ASTNode_enclosingBlock, Define_BodyDecl_enclosingBodyDecl, Define_boolean_enclosedByExceptionHandler, Define_boolean_handlesException, Define_boolean_hasPackage, Define_boolean_inExplicitConstructorInvocation, Define_boolean_inExtendsOrImplements, Define_boolean_inhModifiedInScope, Define_boolean_insideLoop, Define_boolean_insideSwitch, Define_boolean_inStaticContext, Define_boolean_isAnonymous, Define_boolean_isAnonymousDecl, Define_boolean_isCatchParam, Define_boolean_isConstructorParameter, Define_boolean_isDAbefore, Define_boolean_isDest, Define_boolean_isDUbefore, Define_boolean_isExceptionHandlerParameter, Define_boolean_isExplicitGenericConstructorAccess, Define_boolean_isIncOrDec, Define_boolean_isLocalClass, Define_boolean_isMemberType, Define_boolean_isMethodParameter, Define_boolean_isNestedType, Define_boolean_isSource, Define_boolean_mayBeAbstract, Define_boolean_mayBeFinal, Define_boolean_mayBeNative, Define_boolean_mayBePrivate, Define_boolean_mayBeProtected, Define_boolean_mayBePublic, Define_boolean_mayBeStatic, Define_boolean_mayBeStrictfp, Define_boolean_mayBeSynchronized, Define_boolean_mayBeTransient, Define_boolean_mayBeVolatile, Define_boolean_mayUseAnnotationTarget, Define_boolean_reachable, Define_boolean_reachableCatchClause, Define_boolean_reportUnreachable, Define_boolean_resourcePreviouslyDeclared, Define_boolean_variableArityValid, Define_boolean_withinDeprecatedAnnotation, Define_boolean_withinSuppressWarnings, Define_Case_bind, Define_CatchClause_catchClause, Define_ClassInstanceExpr_getClassInstanceExpr, Define_Collection_lookupConstructor, Define_Collection_lookupMethod, Define_Collection_lookupSuperConstructor, Define_Collection_TypeDecl__caughtExceptions, Define_CompilationUnit_compilationUnit, Define_ConstructorDecl_constructorDecl, Define_ConstructorDecl_unknownConstructor, Define_ElementValue_lookupElementTypeValue, Define_Expr_nestedScope, Define_GLBType_lookupGLBType, Define_int_localNum, Define_LabeledStmt_lookupLabel, Define_LUBType_lookupLUBType, Define_MethodDecl_unknownMethod, Define_SimpleSet_allImportedTypes, Define_SimpleSet_lookupType, Define_SimpleSet_lookupVariable, Define_soot_jimple_Stmt_condition_false_label, Define_soot_jimple_Stmt_condition_true_label, Define_String_hostPackage, Define_String_methodHost, Define_String_packageName, Define_String_typeDeclIndent, Define_TypeDecl_assignConvertedType, Define_TypeDecl_componentType, Define_TypeDecl_declType, Define_TypeDecl_enclosingAnnotationDecl, Define_TypeDecl_enclosingInstance, Define_TypeDecl_enclosingType, Define_TypeDecl_expectedType, Define_TypeDecl_genericDecl, Define_TypeDecl_hostType, Define_TypeDecl_lookupType, Define_TypeDecl_lookupWildcardExtends, Define_TypeDecl_lookupWildcardSuper, Define_TypeDecl_returnType, Define_TypeDecl_superType, Define_TypeDecl_switchType, Define_TypeDecl_typeBoolean, Define_TypeDecl_typeByte, Define_TypeDecl_typeChar, Define_TypeDecl_typeCloneable, Define_TypeDecl_typeDouble, Define_TypeDecl_typeError, Define_TypeDecl_typeException, Define_TypeDecl_typeFloat, Define_TypeDecl_typeInt, Define_TypeDecl_typeLong, Define_TypeDecl_typeNull, Define_TypeDecl_typeNullPointerException, Define_TypeDecl_typeObject, Define_TypeDecl_typeRuntimeException, Define_TypeDecl_typeSerializable, Define_TypeDecl_typeShort, Define_TypeDecl_typeString, Define_TypeDecl_typeThrowable, Define_TypeDecl_typeVoid, Define_TypeDecl_typeWildcard, Define_TypeDecl_unknownType, Define_Variable_unknownField, Define_VariableScope_outerScope, definesLabel, 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, jimplify1phase1, jimplify1phase2, jimplify2, jimplify2, lineNumber, location, newLabel, options, putSimpleSetElement, reachedException, removeChild, removeInstanceMethods, removeInstanceVariables, replace, setChild, setEnd, setLocation, setParent, setStart, sourceFile, start, state, toString, transformation, 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

Methods inherited from interface java.util.Iterator

forEachRemaining

Field Detail

tokenString_ID

protected String tokenString_ID

IDstart

public int IDstart

IDend

public int IDend

sourceVariableDecl_computed

protected boolean sourceVariableDecl_computed

sourceVariableDecl_value

protected Variable sourceVariableDecl_value

throwTypes_computed

protected boolean throwTypes_computed

throwTypes_value

protected Collection<TypeDecl> throwTypes_value

Constructor Detail

CatchParameterDeclaration

public CatchParameterDeclaration()

CatchParameterDeclaration

public CatchParameterDeclaration(Modifiers p0,
                                 List<Access> p1,
                                 String p2)

CatchParameterDeclaration

public CatchParameterDeclaration(Modifiers p0,
                                 List<Access> p1,
                                 Symbol p2)

Method Detail

flushCache

public void flushCache()

Overrides:

flushCache in class ASTNode<ASTNode>

flushCollectionCache

public void flushCollectionCache()

Overrides:

flushCollectionCache in class ASTNode<ASTNode>

clone

public CatchParameterDeclaration clone()
                                throws CloneNotSupportedException

Overrides:

clone in class ASTNode<ASTNode>

Throws:

CloneNotSupportedException

copy

public CatchParameterDeclaration copy()

Overrides:

copy in class ASTNode<ASTNode>

fullCopy

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

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

typeCheck

public void typeCheck()

Type checking. The types given in a disjunction type may not be subtypes of each other.

Overrides:

typeCheck in class ASTNode<ASTNode>

toString

public void toString(StringBuffer sb)

Pretty printing of catch parameter declaration.

Overrides:

toString in class ASTNode<ASTNode>

nameCheck

public void nameCheck()

Duplicate declaration checking for catch parameters.

Overrides:

nameCheck 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 ASTNode<ASTNode>

numChildren

protected int numChildren()

Overrides:

numChildren in class ASTNode<ASTNode>

mayHaveRewrite

public boolean mayHaveRewrite()

Overrides:

mayHaveRewrite in class ASTNode<ASTNode>

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.

Specified by:

getModifiers in interface Variable

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.

setTypeAccessList

public void setTypeAccessList(List<Access> list)

Replaces the TypeAccess list.

Parameters:

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

getNumTypeAccess

public int getNumTypeAccess()

Retrieves the number of children in the TypeAccess list.

Returns:

Number of children in the TypeAccess list.

getNumTypeAccessNoTransform

public int getNumTypeAccessNoTransform()

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

Returns:

Number of children in the TypeAccess list.

getTypeAccess

public Access getTypeAccess(int i)

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

Parameters:

i - Index of the element to return.

Returns:

The element at position i in the TypeAccess list.

addTypeAccess

public void addTypeAccess(Access node)

Append an element to the TypeAccess list.

Parameters:

node - The element to append to the TypeAccess list.

addTypeAccessNoTransform

public void addTypeAccessNoTransform(Access node)

setTypeAccess

public void setTypeAccess(Access node,
                          int i)

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

getTypeAccesss

public List<Access> getTypeAccesss()

Retrieves the TypeAccess list.

Returns:

The node representing the TypeAccess list.

getTypeAccesssNoTransform

public List<Access> getTypeAccesssNoTransform()

Retrieves the TypeAccess list.

This method does not invoke AST transformations.

Returns:

The node representing the TypeAccess list.

getTypeAccessList

public List<Access> getTypeAccessList()

Retrieves the TypeAccess list.

Returns:

The node representing the TypeAccess list.

getTypeAccessListNoTransform

public List<Access> getTypeAccessListNoTransform()

Retrieves the TypeAccess list.

This method does not invoke AST transformations.

Returns:

The node representing the TypeAccess list.

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.

isParameter

public boolean isParameter()

Specified by:

isParameter in interface Variable

isClassVariable

public boolean isClassVariable()

Specified by:

isClassVariable in interface Variable

isInstanceVariable

public boolean isInstanceVariable()

Specified by:

isInstanceVariable in interface Variable

isLocalVariable

public boolean isLocalVariable()

Specified by:

isLocalVariable in interface Variable

isFinal

public boolean isFinal()

The catch parameter of a multi-catch clause is implicitly final.

Specified by:

isFinal in interface Variable

isVolatile

public boolean isVolatile()

Specified by:

isVolatile in interface Variable

isBlank

public boolean isBlank()

Specified by:

isBlank in interface Variable

isStatic

public boolean isStatic()

Specified by:

isStatic in interface Variable

name

public String name()

Specified by:

name in interface Variable

hasInit

public boolean hasInit()

Specified by:

hasInit in interface Variable

getInit

public Expr getInit()

Specified by:

getInit in interface Variable

constant

public Constant constant()

Specified by:

constant in interface Variable

isSynthetic

public boolean isSynthetic()

Specified by:

isSynthetic in interface Variable

sourceVariableDecl

public Variable sourceVariableDecl()

Specified by:

sourceVariableDecl in interface Variable

See Also:

"Generics.jrag"

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

type

public TypeDecl type()

A catch parameter declared with a disjunction type has the effective type lub(t1, t2, ...)

Specified by:

type in interface Variable

See Also:

"JLSv3 §15.12.2.7"

throwTypes

public Collection<TypeDecl> throwTypes()

Specified by:

throwTypes in interface Variable

lookupVariable

public SimpleSet lookupVariable(String name)

Inherit the lookupVariable attribute.

isMethodParameter

public boolean isMethodParameter()

Specified by:

isMethodParameter in interface Variable

isConstructorParameter

public boolean isConstructorParameter()

Specified by:

isConstructorParameter in interface Variable

isExceptionHandlerParameter

public boolean isExceptionHandlerParameter()

Specified by:

isExceptionHandlerParameter in interface Variable

hostType

public TypeDecl hostType()

Specified by:

hostType in interface Variable

lookupLUBType

public LUBType lookupLUBType(Collection bounds)

outerScope

public VariableScope outerScope()

enclosingBodyDecl

public BodyDecl enclosingBodyDecl()

catchClause

public CatchClause catchClause()

Define_NameType_nameType

public NameType Define_NameType_nameType(ASTNode caller,
                                         ASTNode child)

Overrides:

Define_NameType_nameType in class ASTNode<ASTNode>

rewriteTo

public ASTNode rewriteTo()

Overrides:

rewriteTo in class ASTNode<ASTNode>