public class JifFieldAssignExt extends JifAssignExt
LocalAssign
node.Constructor and Description |
---|
JifFieldAssignExt(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) |
protected void |
updateContextForRHS(LabelChecker lc,
JifContext A,
PathMap Xleft)
Utility method for updating the context for checking the RHS.
|
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 JifFieldAssignExt(ToJavaExt toJava)
public polyglot.ast.Node labelCheckLHS(LabelChecker lc) throws polyglot.types.SemanticException
labelCheckLHS
in class JifAssignExt
polyglot.types.SemanticException
protected void updateContextForRHS(LabelChecker lc, JifContext A, PathMap Xleft)
protected PathMap rhsPathMap(LabelChecker lc, polyglot.ast.Expr rhs, java.util.List<polyglot.types.Type> throwTypes)