Package soot.JastAddJ

Class ResourceDeclaration

java.lang.Object

beaver.Symbol

soot.JastAddJ.ASTNode<ASTNode>

soot.JastAddJ.Stmt

soot.JastAddJ.VariableDeclaration

soot.JastAddJ.ResourceDeclaration

All Implemented Interfaces:

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

public class ResourceDeclaration
extends VariableDeclaration
implements Cloneable

A resource declaration in a try with resources statement.

Nested Class Summary

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

SimpleSet.SimpleSetImpl

Field Summary

Fields inherited from class soot.JastAddJ.VariableDeclaration

constant_computed, constant_value, IDend, IDstart, isDAafter_Variable_values, isDUafter_Variable_values, local, localNum_computed, localNum_value, sourceVariableDecl_computed, sourceVariableDecl_value, throwTypes_computed, throwTypes_value, tokenString_ID

Fields inherited from class soot.JastAddJ.Stmt

canCompleteNormally_computed, canCompleteNormally_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
ResourceDeclaration()
ResourceDeclaration(Modifiers p0, Access p1, Symbol p2, Opt<Expr> p3)
ResourceDeclaration(Modifiers p0, Access p1, String p2, Opt<Expr> p3)

Method Summary

Modifier and Type	Method	Description
ResourceDeclaration	clone()
ResourceDeclaration	copy()
NameType	Define_NameType_nameType(ASTNode caller, ASTNode child)
void	flushCache()
void	flushCollectionCache()
ResourceDeclaration	fullCopy()	Create a deep copy of the AST subtree at this node.
String	getID()	Retrieves the value for the lexeme ID.
Expr	getInit()	Retrieves the (optional) Init child.
Opt<Expr>	getInitOpt()
Opt<Expr>	getInitOptNoTransform()	Retrieves the optional node for child Init.
Modifiers	getModifiers()	Retrieves the Modifiers child.
Modifiers	getModifiersNoTransform()	Retrieves the Modifiers child.
Access	getTypeAccess()	Retrieves the TypeAccess child.
Access	getTypeAccessNoTransform()	Retrieves the TypeAccess child.
boolean	hasInit()	Check whether the optional Init child exists.
void	init$Children()	Initializes the child array to the correct size.
TypeDecl	lookupType(String packageName, String typeName)	Inherit the lookupType attribute in ResourceDeclaration.
boolean	mayHaveRewrite()
void	nameCheck()
protected int	numChildren()
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	setInit(Expr node)	Replaces the (optional) Init child.
void	setInitOpt(Opt<Expr> opt)	Replaces the optional node for the Init child.
void	setModifiers(Modifiers node)	Replaces the Modifiers child.
void	setTypeAccess(Access node)	Replaces the TypeAccess child.
void	typeCheck()	Type checking for TWR.

Methods inherited from class soot.JastAddJ.VariableDeclaration

add, checkWarnings, constant, contains, declaresVariable, Define_boolean_isDAbefore, Define_boolean_isDUbefore, Define_boolean_isSource, Define_boolean_mayBeFinal, Define_boolean_mayUseAnnotationTarget, Define_TypeDecl_assignConvertedType, Define_TypeDecl_declType, Define_TypeDecl_expectedType, dumpString, hasAnnotationSuppressWarnings, hasNext, hostType, isBlank, isBlankFinal, isClassVariable, isConstructorParameter, isDAafter, isDUafter, isEmpty, isExceptionHandlerParameter, isFinal, isInstanceVariable, isLocalVariable, isMethodParameter, isParameter, isSingleton, isSingleton, isStatic, isSynthetic, isValue, isVolatile, iterator, jimplify2, localNum, lookupVariable, modifiedInScope, name, next, outerScope, remove, resourcePreviouslyDeclared, size, sourceVariableDecl, suppressWarnings, throwTypes, toString, type, withinSuppressWarnings

Methods inherited from class soot.JastAddJ.Stmt

addsIndentationLevel, break_label, canCompleteNormally, continue_label, continueLabel, Define_String_typeDeclIndent, enclosingBodyDecl, isDAbefore, isDUbefore, lookupMethod, lookupType, reachable, reportUnreachable

Methods inherited from class soot.JastAddJ.ASTNode

accessControl, addAttributes, addChild, asImmediate, asLocal, asLocal, asRValue, beginExceptionRange, branchTarget, checkDUeverywhere, checkEnum, checkUncheckedConversion, 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_isDest, Define_boolean_isExceptionHandlerParameter, Define_boolean_isExplicitGenericConstructorAccess, Define_boolean_isIncOrDec, Define_boolean_isLocalClass, Define_boolean_isMemberType, Define_boolean_isMethodParameter, Define_boolean_isNestedType, Define_boolean_mayBeAbstract, 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_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_TypeDecl_componentType, Define_TypeDecl_enclosingAnnotationDecl, Define_TypeDecl_enclosingInstance, Define_TypeDecl_enclosingType, Define_TypeDecl_genericDecl, Define_TypeDecl_hostType, Define_TypeDecl_lookupType, Define_TypeDecl_lookupWildcardExtends, Define_TypeDecl_lookupWildcardSuper, Define_TypeDecl_returnType, Define_TypeDecl_superType, Define_TypeDecl_switchType, Define_TypeDecl_typeBoolean, Define_TypeDecl_typeByte, Define_TypeDecl_typeChar, Define_TypeDecl_typeCloneable, Define_TypeDecl_typeDouble, Define_TypeDecl_typeError, Define_TypeDecl_typeException, Define_TypeDecl_typeFloat, Define_TypeDecl_typeInt, Define_TypeDecl_typeLong, Define_TypeDecl_typeNull, Define_TypeDecl_typeNullPointerException, Define_TypeDecl_typeObject, Define_TypeDecl_typeRuntimeException, Define_TypeDecl_typeSerializable, Define_TypeDecl_typeShort, Define_TypeDecl_typeString, Define_TypeDecl_typeThrowable, Define_TypeDecl_typeVoid, Define_TypeDecl_typeWildcard, Define_TypeDecl_unknownType, Define_Variable_unknownField, Define_VariableScope_outerScope, definesLabel, definiteAssignment, dumpTree, dumpTree, dumpTreeNoRewrite, dumpTreeNoRewrite, duringAnnotations, duringAnonymousClasses, duringBoundNames, duringDU, duringEnums, duringGenericTypeVariables, duringImplicitConstructor, duringLiterals, duringNameResolution, duringSyntacticClassification, duringVariableDeclarationTransformation, emitConstant, end, endExceptionRange, error, errorPrefix, 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, 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

Constructor Detail

ResourceDeclaration

public ResourceDeclaration()

ResourceDeclaration

public ResourceDeclaration(Modifiers p0,
                           Access p1,
                           String p2,
                           Opt<Expr> p3)

ResourceDeclaration

public ResourceDeclaration(Modifiers p0,
                           Access p1,
                           Symbol p2,
                           Opt<Expr> p3)

Method Detail

flushCache

public void flushCache()

Overrides:

flushCache in class VariableDeclaration

flushCollectionCache

public void flushCollectionCache()

Overrides:

flushCollectionCache in class VariableDeclaration

clone

public ResourceDeclaration clone()
                          throws CloneNotSupportedException

Overrides:

clone in class VariableDeclaration

Throws:

CloneNotSupportedException

copy

public ResourceDeclaration copy()

Overrides:

copy in class VariableDeclaration

fullCopy

public ResourceDeclaration 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 VariableDeclaration

Returns:

dangling copy of the subtree at this node

typeCheck

public void typeCheck()

Type checking for TWR.

Overrides:

typeCheck in class VariableDeclaration

nameCheck

public void nameCheck()

Overrides:

nameCheck in class VariableDeclaration

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 VariableDeclaration

numChildren

protected int numChildren()

Overrides:

numChildren in class VariableDeclaration

mayHaveRewrite

public boolean mayHaveRewrite()

Overrides:

mayHaveRewrite in class VariableDeclaration

setModifiers

public void setModifiers(Modifiers node)

Replaces the Modifiers child.

Overrides:

setModifiers in class VariableDeclaration

Parameters:

node - The new node to replace the Modifiers child.

getModifiers

public Modifiers getModifiers()

Retrieves the Modifiers child.

Specified by:

getModifiers in interface Variable

Overrides:

getModifiers in class VariableDeclaration

Returns:

The current node used as the Modifiers child.

getModifiersNoTransform

public Modifiers getModifiersNoTransform()

Retrieves the Modifiers child.

This method does not invoke AST transformations.

Overrides:

getModifiersNoTransform in class VariableDeclaration

Returns:

The current node used as the Modifiers child.

setTypeAccess

public void setTypeAccess(Access node)

Replaces the TypeAccess child.

Overrides:

setTypeAccess in class VariableDeclaration

Parameters:

node - The new node to replace the TypeAccess child.

getTypeAccess

public Access getTypeAccess()

Retrieves the TypeAccess child.

Overrides:

getTypeAccess in class VariableDeclaration

Returns:

The current node used as the TypeAccess child.

getTypeAccessNoTransform

public Access getTypeAccessNoTransform()

Retrieves the TypeAccess child.

This method does not invoke AST transformations.

Overrides:

getTypeAccessNoTransform in class VariableDeclaration

Returns:

The current node used as the TypeAccess child.

setID

public void setID(String value)

Replaces the lexeme ID.

Overrides:

setID in class VariableDeclaration

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.

Overrides:

setID in class VariableDeclaration

getID

public String getID()

Retrieves the value for the lexeme ID.

Overrides:

getID in class VariableDeclaration

Returns:

The value for the lexeme ID.

setInitOpt

public void setInitOpt(Opt<Expr> opt)

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

Overrides:

setInitOpt in class VariableDeclaration

Parameters:

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

hasInit

public boolean hasInit()

Check whether the optional Init child exists.

Specified by:

hasInit in interface Variable

Overrides:

hasInit in class VariableDeclaration

Returns:

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

getInit

public Expr getInit()

Retrieves the (optional) Init child.

Specified by:

getInit in interface Variable

Overrides:

getInit in class VariableDeclaration

Returns:

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

setInit

public void setInit(Expr node)

Replaces the (optional) Init child.

Overrides:

setInit in class VariableDeclaration

Parameters:

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

getInitOpt

public Opt<Expr> getInitOpt()

Overrides:

getInitOpt in class VariableDeclaration

getInitOptNoTransform

public Opt<Expr> getInitOptNoTransform()

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

This method does not invoke AST transformations.

Overrides:

getInitOptNoTransform in class VariableDeclaration

Returns:

The optional node for child Init.

lookupType

public TypeDecl lookupType(String packageName,
                           String typeName)

Inherit the lookupType attribute in ResourceDeclaration.

Overrides:

lookupType in class Stmt

Define_NameType_nameType

public NameType Define_NameType_nameType(ASTNode caller,
                                         ASTNode child)

Overrides:

Define_NameType_nameType in class VariableDeclaration

rewriteTo

public ASTNode rewriteTo()

Overrides:

rewriteTo in class VariableDeclaration