polyglot.ext.jl7.ast

Class TryWithResources_c

java.lang.Object

polyglot.ast.Node_c

polyglot.ast.Term_c

polyglot.ast.Stmt_c

polyglot.ast.Try_c

polyglot.ext.jl7.ast.TryWithResources_c

All Implemented Interfaces:

java.io.Serializable, java.lang.Cloneable, CompoundStmt, Node, NodeOps, Stmt, Term, TermOps, Try, TryOps, TryWithResources, Copy<Node>

public class TryWithResources_c
extends Try_c
implements TryWithResources

An immutable representation of a try-with-resources block.

See Also:

Serialized Form

Nested Class Summary

Nested classes/interfaces inherited from interface polyglot.ast.Term

Term.Instance

Nested classes/interfaces inherited from interface polyglot.util.Copy

Copy.Util

Field Summary

Fields

Modifier and Type	Field and Description
protected java.util.List<LocalDecl>	resources

Fields inherited from class polyglot.ast.Try_c

catchBlocks, finallyBlock, tryBlock

Fields inherited from class polyglot.ast.Term_c

exceptions, reachable

Fields inherited from class polyglot.ast.Node_c

del, error, ext, position

Fields inherited from interface polyglot.ast.Term

ENTRY, EXIT

Constructor Summary

Constructors

Constructor and Description
TryWithResources_c(Position pos, java.util.List<LocalDecl> resources, Block tryBlock, java.util.List<Catch> catchBlocks, Block finallyBlock)

Method Summary

Methods

Modifier and Type	Method and Description
<T> java.util.List<T>	acceptCFG(CFGBuilder<?> v, java.util.List<T> succs) Visit this term in evaluation order, calling v.edge() for each successor in succs, if data flows on that edge.
protected void	assert_(Position pos, Block tryBlock, java.util.List<Catch> catchBlocks, Block finallyBlock)
Node	exceptionCheck(ExceptionChecker ec) Performs exceptionChecking.
Term	firstChild() Return the first direct subterm performed when evaluating this term.
void	prettyPrint(CodeWriter w, PrettyPrinter tr) Pretty-print the AST using the given CodeWriter.
protected <N extends TryWithResources_c> N	reconstruct(N n, java.util.List<LocalDecl> resources, Block tryBlock, java.util.List<Catch> catchBlocks, Block finallyBlock) Reconstruct the statement.
java.util.List<LocalDecl>	resources()
TryWithResources	resources(java.util.List<LocalDecl> resources)
protected <N extends TryWithResources_c> N	resources(N n, java.util.List<LocalDecl> resources)
java.lang.String	toString()
Node	visitChildren(NodeVisitor v) Visit the children of the node.

Methods inherited from class polyglot.ast.Try_c

catchBlocks, catchBlocks, catchBlocks, constructTryBlockExceptionChecker, copy, exceptionCheckCatchBlocks, exceptionCheckEnter, exceptionCheckFinallyBlock, exceptionCheckTryBlock, finallyBlock, finallyBlock, finallyBlock, reconstruct, tryBlock, tryBlock, tryBlock

Methods inherited from class polyglot.ast.Term_c

exceptions, exceptions, exceptions, extRewrite, listChild, reachable, reachable, reachable

Methods inherited from class polyglot.ast.Node_c

addDecls, buildTypes, buildTypesEnter, checkConstants, childExpectedType, copy, copy, copyIfNeeded, del, del, disambiguate, disambiguateEnter, disambiguateOverride, dump, dump, dump, dump, dump, enterChildScope, enterScope, error, error, error, ext, ext, ext, ext, extRewriteEnter, isDisambiguated, isTypeChecked, lang, position, position, position, prettyPrint, prettyPrint, prettyPrint, prettyPrint, print, printBlock, printSubStmt, throwTypes, translate, typeCheck, typeCheckEnter, typeCheckOverride, visit, visitChild, visitEdge, visitList

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, wait, wait, wait

Methods inherited from interface polyglot.ast.Try

catchBlocks, catchBlocks, finallyBlock, finallyBlock, tryBlock, tryBlock

Methods inherited from interface polyglot.ast.Term

exceptions, exceptions, reachable, reachable

Methods inherited from interface polyglot.ast.Node

del, del, dump, error, error, ext, ext, ext, ext, isDisambiguated, isTypeChecked, position, position, visit, visitEdge

Methods inherited from interface polyglot.ast.NodeOps

addDecls, buildTypes, buildTypesEnter, checkConstants, childExpectedType, copy, copy, disambiguate, disambiguateEnter, disambiguateOverride, dump, dump, dump, dump, enterChildScope, enterScope, exceptionCheckEnter, extRewrite, extRewriteEnter, lang, prettyPrint, prettyPrint, prettyPrint, prettyPrint, throwTypes, translate, typeCheck, typeCheckEnter, typeCheckOverride, visitChild, visitList

Methods inherited from interface polyglot.util.Copy

copy

Field Detail

resources

protected java.util.List<LocalDecl> resources

Constructor Detail

TryWithResources_c

public TryWithResources_c(Position pos,
                  java.util.List<LocalDecl> resources,
                  Block tryBlock,
                  java.util.List<Catch> catchBlocks,
                  Block finallyBlock)

Method Detail

assert_

protected void assert_(Position pos,
           Block tryBlock,
           java.util.List<Catch> catchBlocks,
           Block finallyBlock)

Overrides:

assert_ in class Try_c

resources

public java.util.List<LocalDecl> resources()

Specified by:

resources in interface TryWithResources

resources

public TryWithResources resources(java.util.List<LocalDecl> resources)

Specified by:

resources in interface TryWithResources

resources

protected <N extends TryWithResources_c> N resources(N n,
                                         java.util.List<LocalDecl> resources)

reconstruct

protected <N extends TryWithResources_c> N reconstruct(N n,
                                           java.util.List<LocalDecl> resources,
                                           Block tryBlock,
                                           java.util.List<Catch> catchBlocks,
                                           Block finallyBlock)

Reconstruct the statement.

visitChildren

public Node visitChildren(NodeVisitor v)

Description copied from interface: NodeOps

Visit the children of the node.

Specified by:

visitChildren in interface NodeOps

Overrides:

visitChildren in class Try_c

Parameters:

v - The visitor that will traverse/rewrite the AST.

Returns:

A new AST if a change was made, or this.

exceptionCheck

public Node exceptionCheck(ExceptionChecker ec)
                    throws SemanticException

Description copied from class: Try_c

Performs exceptionChecking. This is a special method that is called via the exceptionChecker's override method (i.e., doesn't follow the standard model for visitation.

Specified by:

exceptionCheck in interface NodeOps

Overrides:

exceptionCheck in class Try_c

Parameters:

ec - The ExceptionChecker that was run against the child node. It contains the exceptions that can be thrown by the try block.

Throws:

SemanticException

toString

public java.lang.String toString()

Overrides:

toString in class Try_c

prettyPrint

public void prettyPrint(CodeWriter w,
               PrettyPrinter tr)

Description copied from class: Node_c

Pretty-print the AST using the given CodeWriter.

Specified by:

prettyPrint in interface NodeOps

Overrides:

prettyPrint in class Try_c

Parameters:

w - The code writer to which to write.

tr - The pretty printer. This is not a visitor.

firstChild

public Term firstChild()

Description copied from interface: TermOps

Return the first direct subterm performed when evaluating this term. If this term has no subterms, this should return null. This method is similar to the deprecated entry(), but it should *not* recursively drill down to the innermost subterm. The direct child visited first in this term's dataflow should be returned.

Specified by:

firstChild in interface TermOps

Overrides:

firstChild in class Try_c

acceptCFG

public <T> java.util.List<T> acceptCFG(CFGBuilder<?> v,
                              java.util.List<T> succs)

Description copied from interface: TermOps

Visit this term in evaluation order, calling v.edge() for each successor in succs, if data flows on that edge.

Specified by:

acceptCFG in interface TermOps

Overrides:

acceptCFG in class Try_c