Package   node type  Tree  Deprecated  Help 
FRAMES    NO FRAMES    

AST
node type TryWithResources

General Info

Production
TryWithResources : TryStmt ::= Resource:ResourceDeclaration* Block CatchClause* [Finally:Block];
Type Hierarchy:
java.lang.Object
  extended by beaver.Symbol
      extended by AST.ASTNode<ASTNode>
          extended by AST.Stmt
              extended by AST.TryStmt
                  extended by AST.TryWithResources
All Implemented Interfaces:
FinallyHost, VariableScope, java.lang.Cloneable, java.lang.Iterable<ASTNode>

Description

The JSR 334 try with resources statement.
Source
Declared in Java7Frontend/TryWithResources.ast at line 4

Member Filters

API level:

Aspect:

Constructors

public TryWithResources()
 
public TryWithResources(List<ResourceDeclaration> p0,
                        Block p1,
                        List<CatchClause> p2,
                        Opt<Block> p3)
 

Attributes

syn boolean catchHandlesException(TypeDecl exceptionType)
This attribute computes whether or not the TWR statement has a catch clause which handles the exception.
Source
Declared in Java7Frontend/TryWithResources.jrag at line 60
Aspect
TryWithResources
syn 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.
Source
Declared in Java7Frontend/TryWithResources.jrag at line 72
Aspect
TryWithResources
syn MethodDecl lookupClose(ResourceDeclaration resource)
Lookup the close method declaration for the resource which is being used.
Source
Declared in Java7Frontend/TryWithResources.jrag at line 95
Aspect
TryWithResources
syn SimpleSet localLookup(java.lang.String name)
Source
Declared in Java7Frontend/TryWithResources.jrag at line 128
Aspect
TryWithResources
syn VariableDeclaration localVariableDeclaration(java.lang.String name)
Source
Declared in Java7Frontend/TryWithResources.jrag at line 133
Aspect
TryWithResources
syn boolean isDAafter(Variable v)
Overrides:isDAafter in class TryStmt
Source
Declared in Java7Frontend/TryWithResources.jrag at line 167
Aspect
TryWithResources
syn boolean resourceClosingException(TypeDecl catchType)
True if the automatic closing of resources in this try-with-resources statement may throw an exception of type catchType.
Source
Declared in Java7Frontend/TryWithResources.jrag at line 204
Aspect
TryWithResources
syn boolean resourceInitializationException(TypeDecl catchType)
True if the resource initialization of this try-with-resources statement may throw an exception of type catchType.
Source
Declared in Java7Frontend/TryWithResources.jrag at line 221
Aspect
TryWithResources
syn 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)
Source
Declared in Java7Frontend/TryWithResources.jrag at line 232
Aspect
TryWithResources
syn Stmt getTransformed()
An NTA which is used for code generation. This NTA will handle the recursive nature of code generation for try-with-resources statements.
Source
Declared in Java7Backend/TryWithResources.jrag at line 17
Aspect
TryWithResources
inh boolean handlesException(TypeDecl exceptionType)
Inherit the handlesException attribute from methoddecl.
Overrides:handlesException in class TryStmt
Source
Declared in Java7Frontend/TryWithResources.jrag at line 83
Aspect
TryWithResources
inh TypeDecl typeError()
Overrides:typeError in class TryStmt
Source
Declared in Java7Frontend/TryWithResources.jrag at line 110
Aspect
TryWithResources
inh TypeDecl typeRuntimeException()
Overrides:typeRuntimeException in class TryStmt
Source
Declared in Java7Frontend/TryWithResources.jrag at line 111
Aspect
TryWithResources
inh SimpleSet lookupVariable(java.lang.String name)
Specified by:lookupVariable in interface VariableScopeOverrides:lookupVariable in class Stmt
Source
Declared in Java7Frontend/TryWithResources.jrag at line 141
Aspect
TryWithResources
inh boolean resourcePreviouslyDeclared(java.lang.String name)
Source
Declared in Java7Frontend/TryWithResources.jrag at line 145
Aspect
TryWithResources

Methods

public void flushCache()
Overrides:flushCache in class TryStmt
public void flushCollectionCache()
Overrides:flushCollectionCache in class TryStmt
public TryWithResources clone()
                       throws java.lang.CloneNotSupportedException
Overrides:clone in class TryStmt
Throws:
java.lang.CloneNotSupportedException
public TryWithResources copy()
Overrides:copy in class TryStmt
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
public void exceptionHandling()
Exception error checks.
Overrides:exceptionHandling in class ASTNode<ASTNode>
Source
Declared in Java7Frontend/TryWithResources.jrag at line 40
Aspect
TryWithResources
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
Source
Declared in Java7Frontend/TryWithResources.jrag at line 181
Aspect
TryWithResources
public void toString(java.lang.StringBuffer sb)
Pretty printing of try-with-resources
Overrides:toString in class TryStmt
Source
Declared in Java7Frontend/TryWithResources.jrag at line 244
Aspect
PrettyPrint
public void createBCode(CodeGeneration gen)
Code generation for the try-with-resources statement.
Overrides:createBCode in class TryStmt
Source
Declared in Java7Backend/TryWithResources.jrag at line 60
Aspect
TryWithResources
public void init$Children()
Initializes the child array to the correct size. Initializes List and Opt nta children.
Overrides:init$Children in class TryStmt
protected int numChildren()
Overrides:numChildren in class TryStmt
public boolean mayHaveRewrite()
Overrides:mayHaveRewrite in class TryStmt
public void setResourceList(List<ResourceDeclaration> list)
Replaces the Resource list.
Parameters:
list - The new list node to be used as the Resource list.
public int getNumResource()
Retrieves the number of children in the Resource list.
Returns:
Number of children in the Resource list.
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.
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.
public void addResource(ResourceDeclaration node)
Append an element to the Resource list.
Parameters:
node - The element to append to the Resource list.
public void addResourceNoTransform(ResourceDeclaration node)
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.
public List<ResourceDeclaration> getResources()
Retrieves the Resource list.
Returns:
The node representing the Resource list.
public List<ResourceDeclaration> getResourcesNoTransform()
Retrieves the Resource list.

This method does not invoke AST transformations.

Returns:
The node representing the Resource list.
public List<ResourceDeclaration> getResourceList()
Retrieves the Resource list.
Returns:
The node representing the Resource list.
public List<ResourceDeclaration> getResourceListNoTransform()
Retrieves the Resource list.

This method does not invoke AST transformations.

Returns:
The node representing the Resource list.
public void setBlock(Block node)
Replaces the Block child.
Overrides:setBlock in class TryStmt
Parameters:
node - The new node to replace the Block child.
public Block getBlock()
Retrieves the Block child.
Overrides:getBlock in class TryStmt
Returns:
The current node used as the Block child.
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.
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.
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.
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.
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.
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.
public void addCatchClauseNoTransform(CatchClause node)
Overrides:addCatchClauseNoTransform in class TryStmt
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.
public List<CatchClause> getCatchClauses()
Retrieves the CatchClause list.
Overrides:getCatchClauses in class TryStmt
Returns:
The node representing the CatchClause list.
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.
public List<CatchClause> getCatchClauseList()
Retrieves the CatchClause list.
Overrides:getCatchClauseList in class TryStmt
Returns:
The node representing the CatchClause list.
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.
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.
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.
public Block getFinally()
Retrieves the (optional) Finally child.
Overrides:getFinally in class TryStmt
Returns:
The Finally child, if it exists. Returns null otherwise.
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.
public Opt<Block> getFinallyOpt()
Overrides:getFinallyOpt in class TryStmt
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.
public boolean Define_boolean_handlesException(ASTNode caller,
                                               ASTNode child,
                                               TypeDecl exceptionType)
Overrides:Define_boolean_handlesException in class TryStmt
Source
Declared in Java7Frontend/TryWithResources.jrag at line 88
public boolean Define_boolean_reachableCatchClause(ASTNode caller,
                                                   ASTNode child,
                                                   TypeDecl exceptionType)
Overrides:Define_boolean_reachableCatchClause in class TryStmt
Source
Declared in Java7Frontend/TryWithResources.jrag at line 113
public SimpleSet Define_SimpleSet_lookupVariable(ASTNode caller,
                                                 ASTNode child,
                                                 java.lang.String name)
Overrides:Define_SimpleSet_lookupVariable in class ASTNode<ASTNode>
Source
Declared in Java7Frontend/TryWithResources.jrag at line 127
public VariableScope Define_VariableScope_outerScope(ASTNode caller,
                                                     ASTNode child)
Overrides:Define_VariableScope_outerScope in class ASTNode<ASTNode>
Source
Declared in Java7Frontend/TryWithResources.jrag at line 142
public boolean Define_boolean_resourcePreviouslyDeclared(ASTNode caller,
                                                         ASTNode child,
                                                         java.lang.String name)
Overrides:Define_boolean_resourcePreviouslyDeclared in class ASTNode<ASTNode>
Source
Declared in Java7Frontend/TryWithResources.jrag at line 146
public boolean Define_boolean_isDAbefore(ASTNode caller,
                                         ASTNode child,
                                         Variable v)
Overrides:Define_boolean_isDAbefore in class TryStmt
Source
Declared in Java7Frontend/TryWithResources.jrag at line 173
public int Define_int_localNum(ASTNode caller,
                               ASTNode child)
Overrides:Define_int_localNum in class TryStmt
Source
Declared in Java7Backend/TryWithResources.jrag at line 286
public ASTNode rewriteTo()
Overrides:rewriteTo in class TryStmt

Fields

protected java.util.Map localLookup_String_values
protected java.util.Map localVariableDeclaration_String_values
protected java.util.Map isDAafter_Variable_values
protected java.util.Map catchableException_TypeDecl_values
protected boolean getTransformed_computed
protected Stmt getTransformed_value
protected java.util.Map handlesException_TypeDecl_values
protected boolean typeError_computed
protected TypeDecl typeError_value
protected boolean typeRuntimeException_computed
protected TypeDecl typeRuntimeException_value
protected java.util.Map lookupVariable_String_values

Inherited Members

Attributes inherited from AST.TryStmt

branches
branchesFromFinally
break_label
canCompleteNormally
continue_label
escapedBranches
isDAafterFinally
isDUafter
isDUafterFinally
isDUbefore
label_begin
label_block_end
label_catch_end
label_end
label_exception_handler
label_finally_block
label_finally
modifiedInScope
targetBranches
typeThrowable

Attributes inherited from AST.Stmt

addsIndentationLevel
continueLabel
declaresVariable
enclosingBodyDecl
hostType
isDAbefore
localNum
lookupMethod
lookupType
lookupType
reachable
reportUnreachable

Attributes inherited from AST.ASTNode

compilationUnit
definesLabel
dumpString
extractIndent
flush
indent
isStringAdd
lineNumber
sourceLineNumber
unassignedEverywhere
usesTypeVariable

Methods inherited from class AST.TryStmt

branchTarget
collectBranches
collectFinally
Define_boolean_isDUbefore
Define_boolean_reachable
Define_boolean_reportUnreachable
Define_Collection_TypeDecl__caughtExceptions
emitExceptionHandler
emitFinallyBlock

Methods inherited from class AST.Stmt

Define_String_typeDeclIndent

Methods inherited from class AST.ASTNode

accessControl
addChild
checkDUeverywhere
checkEnum
checkUncheckedConversion
checkWarnings
clear
clearLocations
cloneSubtree
collectEnclosingVariables
collectErrors
collectExceptions
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_condition_false_label
Define_int_condition_true_label
Define_int_resultSaveLocalNum
Define_int_variableScopeEndLabel
Define_LabeledStmt_lookupLabel
Define_LUBType_lookupLUBType
Define_MethodDecl_unknownMethod
Define_NameType_nameType
Define_SimpleSet_allImportedTypes
Define_SimpleSet_lookupType
Define_String_destinationPath
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
definiteAssignment
dumpTree
dumpTree
dumpTreeNoRewrite
dumpTreeNoRewrite
duringAnnotations
duringAnonymousClasses
duringBoundNames
duringDU
duringEnums
duringGenericTypeVariables
duringImplicitConstructor
duringLiterals
duringNameResolution
duringSyntacticClassification
duringVariableDeclarationTransformation
end
error
error
errorPrefix
extractSingleType
findFirstSourceLineNumber
flushCaches
getChild
getChildNoTransform
getIndexOfChild
getNumChild
getNumChildNoTransform
getParent
in$Circle
in$Circle
insertChild
is$Final
is$Final
isDescendantTo
iterator
location
nameCheck
options
putSimpleSetElement
removeChild
removeInstanceMethods
removeInstanceVariables
replace
setChild
setEnd
setLocation
setParent
setSourceLineNumber
setStart
sourceFile
start
state
toString
transformation
transformEnumConstructors
typeCheck
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 AST.VariableScope

lookupVariable

Methods inherited from interface AST.FinallyHost

isDAafterFinally
isDUafterFinally

Fields inherited from AST.TryStmt

branches_computed
branches_value
branchesFromFinally_computed
branchesFromFinally_value
canCompleteNormally_computed
canCompleteNormally_value
escapedBranches_computed
escapedBranches_value
isDUafter_Variable_values
isDUbefore_Variable_values
label_begin_computed
label_begin_value
label_block_end_computed
label_block_end_value
label_catch_end_computed
label_catch_end_value
label_end_computed
label_end_value
label_exception_handler_computed
label_exception_handler_value
label_finally_block_computed
label_finally_block_value
label_finally_computed
label_finally_value
targetBranches_computed
targetBranches_value

Fields inherited from AST.Stmt

localNum_computed
localNum_value

Fields inherited from AST.ASTNode

children
generatedWithCacheCycle
generatedWithCircularEnabled
generatedWithComponentCheck
in$Circle
is$Final
numChildren
parent
PRIMITIVE_PACKAGE_NAME
state

Fields inherited from beaver.Symbol

end
id
start
value
Package   node type  Tree  Deprecated  Help 
FRAMES    NO FRAMES