public class JifSwitchExt extends JifStmtExt_c
Switch
node.Switch
,
Serialized FormstmtDel
Constructor and Description |
---|
JifSwitchExt(ToJavaExt toJava) |
Modifier and Type | Method and Description |
---|---|
polyglot.ast.Node |
labelCheckStmt(LabelChecker lc)
Label check the switch statement.
|
protected void |
updateContextForCases(LabelChecker lc,
JifContext A,
PathMap Xval)
Utility method for updating the context for checking the cases of a
switch statement.
|
protected void |
updateContextForNextCase(LabelChecker lc,
JifContext A,
PathMap Xprev)
Utility method for updating the context for checking the cases of a
switch statement.
|
copy, init, labelCheck, stmtDel, stmtDel
checkAndRemoveThrowType, checkThrowTypes, dump, getPathMap, integerBoundsCalculated, toJava, toJava, updatePathMap, X, X
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
clone, equals, finalize, getClass, hashCode, notify, notifyAll, wait, wait, wait
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
public JifSwitchExt(ToJavaExt toJava)
public polyglot.ast.Node labelCheckStmt(LabelChecker lc) throws polyglot.types.SemanticException
labelCheckStmt
in interface JifStmtExt
labelCheckStmt
in class JifStmtExt_c
polyglot.types.SemanticException
protected void updateContextForCases(LabelChecker lc, JifContext A, PathMap Xval)
protected void updateContextForNextCase(LabelChecker lc, JifContext A, PathMap Xprev)