jif.extension
Class JifExprExt

java.lang.Object
  polyglot.ast.Ext_c
      jif.ast.Jif_c
          jif.extension.JifExprExt

All Implemented Interfaces:

java.lang.Cloneable, Jif, polyglot.ast.Ext, polyglot.util.Copy

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 Jif_c

The Jif extension for all Expr nodes.

Field Summary

Fields inherited from class jif.ast.Jif_c

toJava, X

Fields inherited from class polyglot.ast.Ext_c

ext, node

Constructor Summary

JifExprExt(ToJavaExt toJava)

Method Summary

IntegerBoundsChecker.Interval	getNumericBounds()
void	setNumericBounds(IntegerBoundsChecker.Interval numericBounds)

Methods inherited from class jif.ast.Jif_c

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

Methods inherited from class polyglot.ast.Ext_c

dump, ext, ext, node, toString

Methods inherited from class java.lang.Object

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

Methods inherited from interface polyglot.ast.Ext

dump, ext, ext, node

Constructor Detail

JifExprExt

public JifExprExt(ToJavaExt toJava)

Method Detail

setNumericBounds

public void setNumericBounds(IntegerBoundsChecker.Interval numericBounds)

getNumericBounds

public IntegerBoundsChecker.Interval getNumericBounds()