public class JifLocalAssignExt extends JifAssignExt
LocalAssign
node.Constructor and Description |
---|
JifLocalAssignExt(ToJavaExt toJava) |
Modifier and Type | Method and Description |
---|---|
polyglot.ast.Node |
labelCheckLHS(LabelChecker lc) |
protected PathMap |
rhsPathMap(LabelChecker lc,
polyglot.ast.Expr rhs,
java.util.List<polyglot.types.Type> throwTypes) |
labelCheck
getNumericBounds, setNumericBounds
checkAndRemoveThrowType, checkThrowTypes, copy, dump, getPathMap, init, 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 JifLocalAssignExt(ToJavaExt toJava)
public polyglot.ast.Node labelCheckLHS(LabelChecker lc) throws polyglot.types.SemanticException
labelCheckLHS
in class JifAssignExt
polyglot.types.SemanticException
protected PathMap rhsPathMap(LabelChecker lc, polyglot.ast.Expr rhs, java.util.List<polyglot.types.Type> throwTypes)