jif.extension

Class JifExprExt

java.lang.Object

polyglot.ast.Ext_c

jif.ast.JifExt_c

jif.extension.JifExprExt

All Implemented Interfaces:

java.io.Serializable, java.lang.Cloneable, JifExt, polyglot.ast.Ext, polyglot.ast.NodeOps, polyglot.util.Copy<polyglot.ast.Ext>

Direct Known Subclasses:

JifArrayAccessExt, JifArrayInitExt, JifAssignExt, JifBinaryExt, JifCallExt, JifCastExt, JifConditionalExt, JifDowngradeExprExt, JifFieldExt, JifInstanceofExt, JifLabelExprExt, JifLiteralExt, JifLocalExt, JifNewArrayExt, JifNewExt, JifPrincipalExprExt, JifPrincipalNodeExt, JifSpecialExt, JifUnaryExt

public class JifExprExt
extends JifExt_c

The Jif extension for all Expr nodes.

See Also:

Serialized Form

Nested Class Summary

Nested classes/interfaces inherited from interface polyglot.util.Copy

polyglot.util.Copy.Util

Field Summary

Fields inherited from class jif.ast.JifExt_c

toJava, X

Fields inherited from class polyglot.ast.Ext_c

ext, node, pred

Constructor Summary

Constructors

Constructor and Description
JifExprExt(ToJavaExt toJava)

Method Summary

Modifier and Type	Method and Description
IntegerBoundsChecker.Interval	getNumericBounds()
void	setNumericBounds(IntegerBoundsChecker.Interval numericBounds)

Methods inherited from class jif.ast.JifExt_c

checkAndRemoveThrowType, checkThrowTypes, copy, dump, getPathMap, init, integerBoundsCalculated, labelCheck, toJava, toJava, updatePathMap, X, X

Methods inherited from class polyglot.ast.Ext_c

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

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, wait, wait, wait

Methods inherited from interface polyglot.ast.Ext

ext, ext, initPred, node, pred

Methods inherited from interface polyglot.ast.NodeOps

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

Constructor Detail

JifExprExt

public JifExprExt(ToJavaExt toJava)

Method Detail

setNumericBounds

public void setNumericBounds(IntegerBoundsChecker.Interval numericBounds)

getNumericBounds

public IntegerBoundsChecker.Interval getNumericBounds()