TryWithResources (Soot - a J*va Optimization Framework 4.2.1 API)

java.lang.Object
- beaver.Symbol
- - soot.JastAddJ.ASTNode<ASTNode>
  - - soot.JastAddJ.Stmt
    - - soot.JastAddJ.TryStmt
      - soot.JastAddJ.TryWithResources

All Implemented Interfaces:

Cloneable, Iterable<ASTNode>, FinallyHost, VariableScope
```
public class TryWithResources
extends TryStmt
implements Cloneable, VariableScope
```
The JSR 334 try with resources statement.

Field Summary

Fields
Modifier and Type	Field and Description
`protected Map`	`catchableException_TypeDecl_values`
`protected Map`	`handlesException_TypeDecl_values`
`protected Map`	`isDAafter_Variable_values`
`protected Map`	`localLookup_String_values`
`protected Map`	`localVariableDeclaration_String_values`
`protected Map`	`lookupVariable_String_values`
`protected boolean`	`typeError_computed`
`protected TypeDecl`	`typeError_value`
`protected boolean`	`typeRuntimeException_computed`
`protected TypeDecl`	`typeRuntimeException_value`

Fields inherited from class soot.JastAddJ.Stmt
localNum_computed, localNum_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 and Description
`TryWithResources()`
`TryWithResources(List<ResourceDeclaration> p0, Block p1, List<CatchClause> p2, Opt<Block> p3)`

Method Summary

All Methods Instance Methods Concrete Methods
Modifier and Type	Method and Description
`void`	`addCatchClause(CatchClause node)` Append an element to the CatchClause list.
`void`	`addCatchClauseNoTransform(CatchClause node)`
`void`	`addResource(ResourceDeclaration node)` Append an element to the Resource list.
`void`	`addResourceNoTransform(ResourceDeclaration node)`
`boolean`	`catchableException(TypeDecl type)` The block of the try statement can throw an exception of a type assignable to the given type.
`boolean`	`catchHandlesException(TypeDecl exceptionType)` This attribute computes whether or not the TWR statement has a catch clause which handles the exception.
`TryWithResources`	`clone()`
`TryWithResources`	`copy()`
`boolean`	`Define_boolean_handlesException(ASTNode caller, ASTNode child, TypeDecl exceptionType)`
`boolean`	`Define_boolean_isDAbefore(ASTNode caller, ASTNode child, Variable v)`
`boolean`	`Define_boolean_reachableCatchClause(ASTNode caller, ASTNode child, TypeDecl exceptionType)`
`boolean`	`Define_boolean_resourcePreviouslyDeclared(ASTNode caller, ASTNode child, String name)`
`SimpleSet`	`Define_SimpleSet_lookupVariable(ASTNode caller, ASTNode child, String name)`
`VariableScope`	`Define_VariableScope_outerScope(ASTNode caller, ASTNode child)`
`void`	`exceptionHandling()` Exception error checks.
`void`	`flushCache()`
`void`	`flushCollectionCache()`
`TryWithResources`	`fullCopy()` Create a deep copy of the AST subtree at this node.
`Block`	`getBlock()` Retrieves the Block child.
`Block`	`getBlockNoTransform()` Retrieves the Block child.
`CatchClause`	`getCatchClause(int i)` Retrieves the element at index `i` in the CatchClause list..
`List<CatchClause>`	`getCatchClauseList()` Retrieves the CatchClause list.
`List<CatchClause>`	`getCatchClauseListNoTransform()` Retrieves the CatchClause list.
`List<CatchClause>`	`getCatchClauses()` Retrieves the CatchClause list.
`List<CatchClause>`	`getCatchClausesNoTransform()` Retrieves the CatchClause list.
`Block`	`getFinally()` Retrieves the (optional) Finally child.
`Opt<Block>`	`getFinallyOpt()`
`Opt<Block>`	`getFinallyOptNoTransform()` Retrieves the optional node for child Finally.
`int`	`getNumCatchClause()` Retrieves the number of children in the CatchClause list.
`int`	`getNumCatchClauseNoTransform()` Retrieves the number of children in the CatchClause list.
`int`	`getNumResource()` Retrieves the number of children in the Resource list.
`int`	`getNumResourceNoTransform()` Retrieves the number of children in the Resource list.
`ResourceDeclaration`	`getResource(int i)` Retrieves the element at index `i` in the Resource list..
`List<ResourceDeclaration>`	`getResourceList()` Retrieves the Resource list.
`List<ResourceDeclaration>`	`getResourceListNoTransform()` Retrieves the Resource list.
`List<ResourceDeclaration>`	`getResources()` Retrieves the Resource list.
`List<ResourceDeclaration>`	`getResourcesNoTransform()` Retrieves the Resource list.
`boolean`	`handlesException(TypeDecl exceptionType)` Inherit the handlesException attribute from methoddecl.
`boolean`	`hasFinally()` Check whether the optional Finally child exists.
`void`	`init$Children()` Initializes the child array to the correct size.
`boolean`	`isDAafter(Variable v)`
`SimpleSet`	`localLookup(String name)`
`VariableDeclaration`	`localVariableDeclaration(String name)`
`MethodDecl`	`lookupClose(ResourceDeclaration resource)` Lookup the close method declaration for the resource which is being used.
`SimpleSet`	`lookupVariable(String name)`
`boolean`	`mayHaveRewrite()`
`protected int`	`numChildren()`
`protected boolean`	`reachedException(TypeDecl catchType)` Returns true if the try-with-resources statement can throw an exception of type (or a subtype of) catchType.
`boolean`	`resourceClosingException(TypeDecl catchType)` True if the automatic closing of resources in this try-with-resources statement may throw an exception of type catchType.
`boolean`	`resourceInitializationException(TypeDecl catchType)` True if the resource initialization of this try-with-resources statement may throw an exception of type catchType.
`boolean`	`resourcePreviouslyDeclared(String name)`
`ASTNode`	`rewriteTo()`
`void`	`setBlock(Block node)` Replaces the Block child.
`void`	`setCatchClause(CatchClause node, int i)` Replaces the CatchClause list element at index `i` with the new node `node`.
`void`	`setCatchClauseList(List<CatchClause> list)` Replaces the CatchClause list.
`void`	`setFinally(Block node)` Replaces the (optional) Finally child.
`void`	`setFinallyOpt(Opt<Block> opt)` Replaces the optional node for the Finally child.
`void`	`setResource(ResourceDeclaration node, int i)` Replaces the Resource list element at index `i` with the new node `node`.
`void`	`setResourceList(List<ResourceDeclaration> list)` Replaces the Resource list.
`void`	`toString(StringBuffer sb)` Pretty printing of try-with-resources
`boolean`	`twrHandlesException(TypeDecl exceptionType)` Returns true if exceptions of type exceptionType are handled in the try-with-resources statement or any containing statement within the directly enclosing method or initializer block.
`TypeDecl`	`typeError()`
`TypeDecl`	`typeRuntimeException()`

Methods inherited from class soot.JastAddJ.Stmt
addsIndentationLevel, continueLabel, declaresVariable, Define_String_typeDeclIndent, enclosingBodyDecl, hostType, isDAbefore, localNum, lookupMethod, lookupType, lookupType, reachable, reportUnreachable

Methods inherited from class soot.JastAddJ.ASTNode
accessControl, addAttributes, addChild, asImmediate, asLocal, asLocal, asRValue, beginExceptionRange, checkDUeverywhere, checkEnum, checkUncheckedConversion, checkWarnings, clearLocations, cloneSubtree, collectEnclosingVariables, collectErrors, collectExceptions, collectTypesToHierarchy, collectTypesToSignatures, compilationUnit, Define_Annotation_lookupAnnotation, Define_ASTNode_enclosingBlock, Define_BodyDecl_enclosingBodyDecl, 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_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_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_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_NameType_nameType, 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_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, definesLabel, definiteAssignment, dumpString, dumpTree, dumpTree, dumpTreeNoRewrite, dumpTreeNoRewrite, duringAnnotations, duringAnonymousClasses, duringBoundNames, duringDU, duringEnums, duringGenericTypeVariables, duringImplicitConstructor, duringLiterals, duringNameResolution, duringSyntacticClassification, duringVariableDeclarationTransformation, emitConstant, end, endExceptionRange, error, errorPrefix, extractIndent, extractSingleType, flushCaches, getChild, getChildNoTransform, getIndexOfChild, getNumChild, getNumChildNoTransform, getParent, in$Circle, in$Circle, indent, insertChild, is$Final, is$Final, isDescendantTo, isStringAdd, iterator, jimplify1phase1, jimplify1phase2, jimplify2, lineNumber, location, nameCheck, newLabel, options, putSimpleSetElement, removeChild, removeInstanceMethods, removeInstanceVariables, replace, setChild, setEnd, setLocation, setParent, setStart, sourceFile, start, state, toString, transformation, transformEnumConstructors, typeCheck, 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
  - localLookup_String_values
```
protected Map localLookup_String_values
```
  - localVariableDeclaration_String_values
```
protected Map localVariableDeclaration_String_values
```
  - isDAafter_Variable_values
```
protected Map isDAafter_Variable_values
```
  - catchableException_TypeDecl_values
```
protected Map catchableException_TypeDecl_values
```
  - handlesException_TypeDecl_values
```
protected Map handlesException_TypeDecl_values
```
  - typeError_computed
```
protected boolean typeError_computed
```
  - typeError_value
```
protected TypeDecl typeError_value
```
  - typeRuntimeException_computed
```
protected boolean typeRuntimeException_computed
```
  - typeRuntimeException_value
```
protected TypeDecl typeRuntimeException_value
```
  - lookupVariable_String_values
```
protected Map lookupVariable_String_values
```
- Constructor Detail
  - TryWithResources
```
public TryWithResources()
```
  - TryWithResources
```
public TryWithResources(List<ResourceDeclaration> p0,
                        Block p1,
                        List<CatchClause> p2,
                        Opt<Block> p3)
```
- Method Detail
  - flushCache
```
public void flushCache()
```
    Overrides:
    
    flushCache in class TryStmt
  - flushCollectionCache
```
public void flushCollectionCache()
```
    Overrides:
    
    flushCollectionCache in class TryStmt
  - clone
```
public TryWithResources clone()
                       throws CloneNotSupportedException
```
    Overrides:
    
    clone in class TryStmt
    
    Throws:
    
    CloneNotSupportedException
  - copy
```
public TryWithResources copy()
```
    Overrides:
    
    copy in class TryStmt
  - fullCopy
```
public TryWithResources 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 TryStmt
    
    Returns:
    
    dangling copy of the subtree at this node
  - exceptionHandling
```
public void exceptionHandling()
```
    Exception error checks.
    
    Overrides:
    
    exceptionHandling in class ASTNode<ASTNode>
  - reachedException
```
protected boolean reachedException(TypeDecl catchType)
```
    Returns true if the try-with-resources statement can throw an exception of type (or a subtype of) catchType.
    
    Overrides:
    
    reachedException in class TryStmt
  - toString
```
public void toString(StringBuffer sb)
```
    Pretty printing of try-with-resources
    
    Overrides:
    
    toString in class TryStmt
  - 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 TryStmt
  - numChildren
```
protected int numChildren()
```
    Overrides:
    
    numChildren in class TryStmt
  - mayHaveRewrite
```
public boolean mayHaveRewrite()
```
    Overrides:
    
    mayHaveRewrite in class TryStmt
  - setResourceList
```
public void setResourceList(List<ResourceDeclaration> list)
```
    Replaces the Resource list.
    
    Parameters:
    
    list - The new list node to be used as the Resource list.
  - getNumResource
```
public int getNumResource()
```
    Retrieves the number of children in the Resource list.
    
    Returns:
    
    Number of children in the Resource list.
  - getNumResourceNoTransform
```
public int getNumResourceNoTransform()
```
    Retrieves the number of children in the Resource list. Calling this method will not trigger rewrites..
    
    Returns:
    
    Number of children in the Resource list.
  - getResource
```
public ResourceDeclaration getResource(int i)
```
    Retrieves the element at index i in the Resource list..
    
    Parameters:
    
    i - Index of the element to return.
    
    Returns:
    
    The element at position i in the Resource list.
  - addResource
```
public void addResource(ResourceDeclaration node)
```
    Append an element to the Resource list.
    
    Parameters:
    
    node - The element to append to the Resource list.
  - addResourceNoTransform
```
public void addResourceNoTransform(ResourceDeclaration node)
```
  - setResource
```
public void setResource(ResourceDeclaration node,
                        int i)
```
    Replaces the Resource 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.
  - getResources
```
public List<ResourceDeclaration> getResources()
```
    Retrieves the Resource list.
    
    Returns:
    
    The node representing the Resource list.
  - getResourcesNoTransform
```
public List<ResourceDeclaration> getResourcesNoTransform()
```
    Retrieves the Resource list.
    This method does not invoke AST transformations.
    
    Returns:
    
    The node representing the Resource list.
  - getResourceList
```
public List<ResourceDeclaration> getResourceList()
```
    Retrieves the Resource list.
    
    Returns:
    
    The node representing the Resource list.
  - getResourceListNoTransform
```
public List<ResourceDeclaration> getResourceListNoTransform()
```
    Retrieves the Resource list.
    This method does not invoke AST transformations.
    
    Returns:
    
    The node representing the Resource list.
  - setBlock
```
public void setBlock(Block node)
```
    Replaces the Block child.
    
    Overrides:
    
    setBlock in class TryStmt
    
    Parameters:
    
    node - The new node to replace the Block child.
  - getBlock
```
public Block getBlock()
```
    Retrieves the Block child.
    
    Overrides:
    
    getBlock in class TryStmt
    
    Returns:
    
    The current node used as the Block child.
  - getBlockNoTransform
```
public Block getBlockNoTransform()
```
    Retrieves the Block child.
    This method does not invoke AST transformations.
    
    Overrides:
    
    getBlockNoTransform in class TryStmt
    
    Returns:
    
    The current node used as the Block child.
  - setCatchClauseList
```
public void setCatchClauseList(List<CatchClause> list)
```
    Replaces the CatchClause list.
    
    Overrides:
    
    setCatchClauseList in class TryStmt
    
    Parameters:
    
    list - The new list node to be used as the CatchClause list.
  - getNumCatchClause
```
public int getNumCatchClause()
```
    Retrieves the number of children in the CatchClause list.
    
    Overrides:
    
    getNumCatchClause in class TryStmt
    
    Returns:
    
    Number of children in the CatchClause list.
  - getNumCatchClauseNoTransform
```
public int getNumCatchClauseNoTransform()
```
    Retrieves the number of children in the CatchClause list. Calling this method will not trigger rewrites..
    
    Overrides:
    
    getNumCatchClauseNoTransform in class TryStmt
    
    Returns:
    
    Number of children in the CatchClause list.
  - getCatchClause
```
public CatchClause getCatchClause(int i)
```
    Retrieves the element at index i in the CatchClause list..
    
    Overrides:
    
    getCatchClause in class TryStmt
    
    Parameters:
    
    i - Index of the element to return.
    
    Returns:
    
    The element at position i in the CatchClause list.
  - addCatchClause
```
public void addCatchClause(CatchClause node)
```
    Append an element to the CatchClause list.
    
    Overrides:
    
    addCatchClause in class TryStmt
    
    Parameters:
    
    node - The element to append to the CatchClause list.
  - addCatchClauseNoTransform
```
public void addCatchClauseNoTransform(CatchClause node)
```
    Overrides:
    
    addCatchClauseNoTransform in class TryStmt
  - setCatchClause
```
public void setCatchClause(CatchClause node,
                           int i)
```
    Replaces the CatchClause list element at index i with the new node node.
    
    Overrides:
    
    setCatchClause in class TryStmt
    
    Parameters:
    
    node - The new node to replace the old list element.
    
    i - The list index of the node to be replaced.
  - getCatchClauses
```
public List<CatchClause> getCatchClauses()
```
    Retrieves the CatchClause list.
    
    Overrides:
    
    getCatchClauses in class TryStmt
    
    Returns:
    
    The node representing the CatchClause list.
  - getCatchClausesNoTransform
```
public List<CatchClause> getCatchClausesNoTransform()
```
    Retrieves the CatchClause list.
    This method does not invoke AST transformations.
    
    Overrides:
    
    getCatchClausesNoTransform in class TryStmt
    
    Returns:
    
    The node representing the CatchClause list.
  - getCatchClauseList
```
public List<CatchClause> getCatchClauseList()
```
    Retrieves the CatchClause list.
    
    Overrides:
    
    getCatchClauseList in class TryStmt
    
    Returns:
    
    The node representing the CatchClause list.
  - getCatchClauseListNoTransform
```
public List<CatchClause> getCatchClauseListNoTransform()
```
    Retrieves the CatchClause list.
    This method does not invoke AST transformations.
    
    Overrides:
    
    getCatchClauseListNoTransform in class TryStmt
    
    Returns:
    
    The node representing the CatchClause list.
  - setFinallyOpt
```
public void setFinallyOpt(Opt<Block> opt)
```
    Replaces the optional node for the Finally child. This is the Opt node containing the child Finally, not the actual child!
    
    Overrides:
    
    setFinallyOpt in class TryStmt
    
    Parameters:
    
    opt - The new node to be used as the optional node for the Finally child.
  - hasFinally
```
public boolean hasFinally()
```
    Check whether the optional Finally child exists.
    
    Overrides:
    
    hasFinally in class TryStmt
    
    Returns:
    
    true if the optional Finally child exists, false if it does not.
  - getFinally
```
public Block getFinally()
```
    Retrieves the (optional) Finally child.
    
    Overrides:
    
    getFinally in class TryStmt
    
    Returns:
    
    The Finally child, if it exists. Returns null otherwise.
  - setFinally
```
public void setFinally(Block node)
```
    Replaces the (optional) Finally child.
    
    Overrides:
    
    setFinally in class TryStmt
    
    Parameters:
    
    node - The new node to be used as the Finally child.
  - getFinallyOpt
```
public Opt<Block> getFinallyOpt()
```
    Overrides:
    
    getFinallyOpt in class TryStmt
  - getFinallyOptNoTransform
```
public Opt<Block> getFinallyOptNoTransform()
```
    Retrieves the optional node for child Finally. This is the Opt node containing the child Finally, not the actual child!
    This method does not invoke AST transformations.
    
    Overrides:
    
    getFinallyOptNoTransform in class TryStmt
    
    Returns:
    
    The optional node for child Finally.
  - catchHandlesException
```
public boolean catchHandlesException(TypeDecl exceptionType)
```
    This attribute computes whether or not the TWR statement has a catch clause which handles the exception.
  - twrHandlesException
```
public boolean twrHandlesException(TypeDecl exceptionType)
```
    Returns true if exceptions of type exceptionType are handled in the try-with-resources statement or any containing statement within the directly enclosing method or initializer block.
  - lookupClose
```
public MethodDecl lookupClose(ResourceDeclaration resource)
```
    Lookup the close method declaration for the resource which is being used.
  - localLookup
```
public SimpleSet localLookup(String name)
```
  - localVariableDeclaration
```
public VariableDeclaration localVariableDeclaration(String name)
```
  - isDAafter
```
public boolean isDAafter(Variable v)
```
    Overrides:
    
    isDAafter in class TryStmt
  - resourceClosingException
```
public boolean resourceClosingException(TypeDecl catchType)
```
    True if the automatic closing of resources in this try-with-resources statement may throw an exception of type catchType.
  - resourceInitializationException
```
public boolean resourceInitializationException(TypeDecl catchType)
```
    True if the resource initialization of this try-with-resources statement may throw an exception of type catchType.
  - catchableException
```
public boolean catchableException(TypeDecl type)
```
    Description copied from class: TryStmt
    
    The block of the try statement can throw an exception of a type assignable to the given type.
    
    Overrides:
    
    catchableException in class TryStmt
    
    See Also:
    
    TryStmt.catchableException(TypeDecl)
  - handlesException
```
public boolean handlesException(TypeDecl exceptionType)
```
    Inherit the handlesException attribute from methoddecl.
    
    Overrides:
    
    handlesException in class TryStmt
  - typeError
```
public TypeDecl typeError()
```
    Overrides:
    
    typeError in class TryStmt
  - typeRuntimeException
```
public TypeDecl typeRuntimeException()
```
    Overrides:
    
    typeRuntimeException in class TryStmt
  - lookupVariable
```
public SimpleSet lookupVariable(String name)
```
    Specified by:
    
    lookupVariable in interface VariableScope
    
    Overrides:
    
    lookupVariable in class Stmt
  - resourcePreviouslyDeclared
```
public boolean resourcePreviouslyDeclared(String name)
```
  - Define_boolean_handlesException
```
public boolean Define_boolean_handlesException(ASTNode caller,
                                               ASTNode child,
                                               TypeDecl exceptionType)
```
    Overrides:
    
    Define_boolean_handlesException in class TryStmt
  - Define_boolean_reachableCatchClause
```
public boolean Define_boolean_reachableCatchClause(ASTNode caller,
                                                   ASTNode child,
                                                   TypeDecl exceptionType)
```
    Overrides:
    
    Define_boolean_reachableCatchClause in class TryStmt
  - Define_SimpleSet_lookupVariable
```
public SimpleSet Define_SimpleSet_lookupVariable(ASTNode caller,
                                                 ASTNode child,
                                                 String name)
```
    Overrides:
    
    Define_SimpleSet_lookupVariable in class ASTNode<ASTNode>
  - Define_VariableScope_outerScope
```
public VariableScope Define_VariableScope_outerScope(ASTNode caller,
                                                     ASTNode child)
```
    Overrides:
    
    Define_VariableScope_outerScope in class ASTNode<ASTNode>
  - Define_boolean_resourcePreviouslyDeclared
```
public boolean Define_boolean_resourcePreviouslyDeclared(ASTNode caller,
                                                         ASTNode child,
                                                         String name)
```
    Overrides:
    
    Define_boolean_resourcePreviouslyDeclared in class ASTNode<ASTNode>
  - Define_boolean_isDAbefore
```
public boolean Define_boolean_isDAbefore(ASTNode caller,
                                         ASTNode child,
                                         Variable v)
```
    Overrides:
    
    Define_boolean_isDAbefore in class TryStmt
  - rewriteTo
```
public ASTNode rewriteTo()
```
    Overrides:
    
    rewriteTo in class TryStmt

Class TryWithResources

Field Summary

Fields inherited from class soot.JastAddJ.TryStmt

Fields inherited from class soot.JastAddJ.Stmt

Fields inherited from class soot.JastAddJ.ASTNode

Fields inherited from class beaver.Symbol

Constructor Summary

Method Summary

Methods inherited from class soot.JastAddJ.TryStmt

Methods inherited from class soot.JastAddJ.Stmt

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

Field Detail

localLookup_String_values

localVariableDeclaration_String_values

isDAafter_Variable_values

catchableException_TypeDecl_values

handlesException_TypeDecl_values

typeError_computed

typeError_value

typeRuntimeException_computed

typeRuntimeException_value

lookupVariable_String_values

Constructor Detail

TryWithResources

TryWithResources

Method Detail

flushCache

flushCollectionCache

clone

copy

fullCopy

exceptionHandling

reachedException

toString

init$Children

numChildren

mayHaveRewrite

setResourceList

getNumResource

getNumResourceNoTransform

getResource

addResource

addResourceNoTransform

setResource

getResources

getResourcesNoTransform

getResourceList

getResourceListNoTransform

setBlock

getBlock

getBlockNoTransform

setCatchClauseList

getNumCatchClause

getNumCatchClauseNoTransform

getCatchClause

addCatchClause

addCatchClauseNoTransform

setCatchClause

getCatchClauses

getCatchClausesNoTransform

getCatchClauseList

getCatchClauseListNoTransform

setFinallyOpt

hasFinally

getFinally

setFinally

getFinallyOpt

getFinallyOptNoTransform

catchHandlesException

twrHandlesException

lookupClose

localLookup

localVariableDeclaration

isDAafter

resourceClosingException

resourceInitializationException

catchableException