jif.extension

Class JifTryExt

java.lang.Object

polyglot.ast.Ext_c

jif.ast.JifExt_c

jif.extension.JifStmtExt_c

jif.extension.JifTryExt

All Implemented Interfaces:

java.io.Serializable, java.lang.Cloneable, JifExt, JifStmtExt, polyglot.ast.Ext, polyglot.ast.NodeOps, polyglot.util.Copy<polyglot.ast.Ext>

public class JifTryExt
extends JifStmtExt_c

Jif extension of the Try node.

See Also:

Try, Serialized Form

Nested Class Summary

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

polyglot.util.Copy.Util

Field Summary

Fields inherited from class jif.extension.JifStmtExt_c

stmtDel

Fields inherited from class jif.ast.JifExt_c

toJava, X

Fields inherited from class polyglot.ast.Ext_c

ext, node, pred

Constructor Summary

Constructors

Constructor and Description
JifTryExt(ToJavaExt toJava)

Method Summary

Modifier and Type	Method and Description
protected polyglot.ast.Catch	checkCatch(LabelChecker lc, JifContext A, PathMap Xtry, polyglot.ast.Catch cb) Abstracted out for overriding in extensions like Fabric.
protected polyglot.ast.Block	checkFinally(LabelChecker lc, JifContext A, polyglot.ast.Block f, PathMap Xprev) Abstrated to allow for easier overriding.
protected polyglot.ast.Block	checkTry(LabelChecker lc, JifContext A, polyglot.ast.Block t) Abstrated to allow for easier overriding.
polyglot.ast.Node	labelCheckStmt(LabelChecker lc)

Methods inherited from class jif.extension.JifStmtExt_c

copy, init, labelCheck, stmtDel, stmtDel

Methods inherited from class jif.ast.JifExt_c

checkAndRemoveThrowType, checkThrowTypes, dump, getPathMap, integerBoundsCalculated, toJava, toJava, updatePathMap, X, X

Methods inherited from class polyglot.ast.Ext_c

addDecls, buildTypes, buildTypesEnter, checkConstants, childExpectedType, copy, copy, disambiguate, disambiguateEnter, disambiguateOverride, dump, dump, dump, dump, enterChildScope, enterScope, exceptionCheck, exceptionCheckEnter, ext, ext, extRewrite, extRewriteEnter, extRewriteOverride, initPred, lang, node, 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

Methods inherited from interface jif.ast.JifExt

integerBoundsCalculated, toJava, toJava, X, X

Methods inherited from interface polyglot.ast.Ext

dump, ext, ext, initPred, node, pred

Methods inherited from interface polyglot.ast.NodeOps

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

Constructor Detail

JifTryExt

public JifTryExt(ToJavaExt toJava)

Method Detail

labelCheckStmt

public polyglot.ast.Node labelCheckStmt(LabelChecker lc)
                                 throws polyglot.types.SemanticException

Specified by:

labelCheckStmt in interface JifStmtExt

Specified by:

labelCheckStmt in class JifStmtExt_c

Throws:

polyglot.types.SemanticException

checkCatch

protected polyglot.ast.Catch checkCatch(LabelChecker lc,
                                        JifContext A,
                                        PathMap Xtry,
                                        polyglot.ast.Catch cb)
                                 throws polyglot.types.SemanticException

Abstracted out for overriding in extensions like Fabric.

Throws:

polyglot.types.SemanticException

checkFinally

protected polyglot.ast.Block checkFinally(LabelChecker lc,
                                          JifContext A,
                                          polyglot.ast.Block f,
                                          PathMap Xprev)
                                   throws polyglot.types.SemanticException

Abstrated to allow for easier overriding.

Throws:

polyglot.types.SemanticException

checkTry

protected polyglot.ast.Block checkTry(LabelChecker lc,
                                      JifContext A,
                                      polyglot.ast.Block t)
                               throws polyglot.types.SemanticException

Abstrated to allow for easier overriding.

Throws:

polyglot.types.SemanticException