Overview | Package | Class | Tree | Deprecated | Index | Help
PREV CLASS NEXT CLASS | FRAMES NO FRAMES
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD

## 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()

Overview | Package | Class | Tree | Deprecated | Index | Help
PREV CLASS NEXT CLASS | FRAMES NO FRAMES
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD