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