public class JifNewArrayExt extends JifExprExt
NewArray
node.NewArray
,
Serialized FormConstructor and Description |
---|
JifNewArrayExt(ToJavaExt toJava) |
Modifier and Type | Method and Description |
---|---|
void |
integerBoundsCalculated()
A method that is called to notify the extension that
the numeric bounds have been calculated.
|
polyglot.ast.Node |
labelCheck(LabelChecker lc)
Label check the node to which this extension is attached.
|
protected void |
updateContextForDims(LabelChecker lc,
JifContext A,
PathMap Xprev)
Utility method for updating the context for checking the dims.
|
getNumericBounds, setNumericBounds
checkAndRemoveThrowType, checkThrowTypes, copy, dump, getPathMap, init, 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 JifNewArrayExt(ToJavaExt toJava)
public polyglot.ast.Node labelCheck(LabelChecker lc) throws polyglot.types.SemanticException
JifExt
labelCheck
in interface JifExt
labelCheck
in class JifExt_c
polyglot.types.SemanticException
public void integerBoundsCalculated()
JifExt
integerBoundsCalculated
in interface JifExt
integerBoundsCalculated
in class JifExt_c
protected void updateContextForDims(LabelChecker lc, JifContext A, PathMap Xprev)