public class JifIfExt extends JifStmtExt_c
If
node.If
,
Serialized FormstmtDel
Modifier and Type | Method and Description |
---|---|
protected static void |
extendContext(LabelChecker lc,
JifContext A,
polyglot.ast.Expr e,
boolean warn) |
protected static void |
extendFact(LabelChecker lc,
JifContext A,
polyglot.ast.Binary b,
boolean warn) |
protected static void |
extendFact(LabelChecker lc,
JifContext A,
polyglot.ast.Expr e,
boolean warn) |
polyglot.ast.Node |
labelCheckStmt(LabelChecker lc) |
protected void |
updateContextForConsequent(LabelChecker lc,
JifContext A,
PathMap Xcond)
Utility method for updating the context for checking the
consequent/alternative.
|
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 JifIfExt(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 static void extendContext(LabelChecker lc, JifContext A, polyglot.ast.Expr e, boolean warn) throws polyglot.types.SemanticException
polyglot.types.SemanticException
protected static void extendFact(LabelChecker lc, JifContext A, polyglot.ast.Expr e, boolean warn) throws polyglot.types.SemanticException
polyglot.types.SemanticException
protected static void extendFact(LabelChecker lc, JifContext A, polyglot.ast.Binary b, boolean warn) throws polyglot.types.SemanticException
polyglot.types.SemanticException
protected void updateContextForConsequent(LabelChecker lc, JifContext A, PathMap Xcond)