public class JifWhileExt extends JifStmtExt_c
While
node.While
,
Serialized FormstmtDel
Constructor and Description |
---|
JifWhileExt(ToJavaExt toJava) |
Modifier and Type | Method and Description |
---|---|
polyglot.ast.Node |
labelCheckStmt(LabelChecker lc) |
protected void |
updateContextForBody(LabelChecker lc,
JifContext A,
PathMap Xexpr)
Utility method for updating the context for checking the body.
|
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 JifWhileExt(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 updateContextForBody(LabelChecker lc, JifContext A, PathMap Xexpr)