polyglot.ext.jl7.ast

Class JL7TryExt

java.lang.Object

polyglot.ast.Ext_c

polyglot.ext.jl7.ast.JL7Ext

polyglot.ext.jl7.ast.JL7TryExt

All Implemented Interfaces:

java.io.Serializable, java.lang.Cloneable, Ext, NodeOps, TryOps, JL7TryOps, Copy<Ext>

public class JL7TryExt
extends JL7Ext
implements JL7TryOps

See Also:

Serialized Form

Nested Class Summary

Nested Classes

Modifier and Type	Class and Description
class	JL7TryExt.EffectivelyFinalVisitor
class	JL7TryExt.SetThrowSetVisitor

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

Copy.Util

Field Summary

Fields inherited from class polyglot.ast.Ext_c

ext, node, pred

Constructor Summary

Constructors

Constructor and Description
JL7TryExt()

Method Summary

Methods

Modifier and Type	Method and Description
void	checkPreciseRethrows(J7Lang lang, TypeSystem ts, Block tryBlock)
ExceptionChecker	constructTryBlockExceptionChecker(ExceptionChecker ec) Construct an ExceptionChecker that is suitable for checking the try block of a try-catch-finally AST node.
java.util.List<Catch>	exceptionCheckCatchBlocks(ExceptionChecker ec) Perform exception checking of the catch blocks of a try-catch-finally AST node, using the supplied exception checker.
Block	exceptionCheckFinallyBlock(ExceptionChecker ec) Perform exception checking of the finally block of a try-catch-finally AST node (if there is one), using the supplied exception checker.
Block	exceptionCheckTryBlock(ExceptionChecker ec) Perform exception checking of the try block of a try-catch-finally AST node, using the supplied exception checker.
protected boolean	isFinalFormal(JLang lang, Catch cb)
Try	node() The node we ultimately extend.
void	preciseRethrowsForCatchBlock(J7Lang lang, Catch cb, SubtypeSet reaching)
protected void	setThrowsTypes(JLang lang, LocalInstance localInstance, java.util.List<Type> s, Block b)

Methods inherited from class polyglot.ext.jl7.ast.JL7Ext

ext, lang

Methods inherited from class polyglot.ast.Ext_c

addDecls, buildTypes, buildTypesEnter, checkConstants, childExpectedType, copy, copy, copy, disambiguate, disambiguateEnter, disambiguateOverride, dump, dump, dump, dump, dump, enterChildScope, enterScope, exceptionCheck, exceptionCheckEnter, ext, ext, extRewrite, extRewriteEnter, init, initPred, pred, prettyPrint, prettyPrint, prettyPrint, prettyPrint, prettyPrint, print, printBlock, printSubStmt, superLang, throwTypes, toString, translate, typeCheck, typeCheckEnter, typeCheckOverride, visitChild, visitChildren, visitList

Methods inherited from class java.lang.Object

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

Constructor Detail

JL7TryExt

public JL7TryExt()

Method Detail

node

public Try node()

Description copied from interface: Ext

The node we ultimately extend.

Specified by:

node in interface Ext

Overrides:

node in class Ext_c

exceptionCheckTryBlock

public Block exceptionCheckTryBlock(ExceptionChecker ec)
                             throws SemanticException

Description copied from interface: TryOps

Perform exception checking of the try block of a try-catch-finally AST node, using the supplied exception checker.

Specified by:

exceptionCheckTryBlock in interface TryOps

Returns:

Throws:

SemanticException

constructTryBlockExceptionChecker

public ExceptionChecker constructTryBlockExceptionChecker(ExceptionChecker ec)

Description copied from interface: TryOps

Construct an ExceptionChecker that is suitable for checking the try block of a try-catch-finally AST node.

Specified by:

constructTryBlockExceptionChecker in interface TryOps

Parameters:

ec - The exception checker immediately prior to the try block.

Returns:

exceptionCheckCatchBlocks

public java.util.List<Catch> exceptionCheckCatchBlocks(ExceptionChecker ec)
                                                throws SemanticException

Description copied from interface: TryOps

Perform exception checking of the catch blocks of a try-catch-finally AST node, using the supplied exception checker.

Specified by:

exceptionCheckCatchBlocks in interface TryOps

Returns:

Throws:

SemanticException

exceptionCheckFinallyBlock

public Block exceptionCheckFinallyBlock(ExceptionChecker ec)
                                 throws SemanticException

Description copied from interface: TryOps

Perform exception checking of the finally block of a try-catch-finally AST node (if there is one), using the supplied exception checker.

Specified by:

exceptionCheckFinallyBlock in interface TryOps

Returns:

Throws:

SemanticException

checkPreciseRethrows

public void checkPreciseRethrows(J7Lang lang,
                        TypeSystem ts,
                        Block tryBlock)

Specified by:

checkPreciseRethrows in interface JL7TryOps

preciseRethrowsForCatchBlock

public void preciseRethrowsForCatchBlock(J7Lang lang,
                                Catch cb,
                                SubtypeSet reaching)

Specified by:

preciseRethrowsForCatchBlock in interface JL7TryOps

isFinalFormal

protected boolean isFinalFormal(JLang lang,
                    Catch cb)

setThrowsTypes

protected void setThrowsTypes(JLang lang,
                  LocalInstance localInstance,
                  java.util.List<Type> s,
                  Block b)