Class JifInstanceofExt

  extended by polyglot.ast.Ext_c
      extended by jif.ast.Jif_c
          extended by jif.extension.JifExprExt
              extended by jif.extension.JifInstanceofExt
All Implemented Interfaces:
java.lang.Cloneable, Jif, polyglot.ast.Ext, polyglot.util.Copy

public class JifInstanceofExt
extends JifExprExt

The Jif extension of the Instanceof node.

See Also:

Field Summary
Fields inherited from class jif.ast.Jif_c
toJava, X
Fields inherited from class polyglot.ast.Ext_c
ext, node
Constructor Summary
JifInstanceofExt(ToJavaExt toJava)
Method Summary
 polyglot.ast.Node labelCheck(LabelChecker lc)
          Label check the node to which this extension is attached.
Methods inherited from class jif.extension.JifExprExt
getNumericBounds, setNumericBounds
Methods inherited from class jif.ast.Jif_c
checkAndRemoveThrowType, checkThrowTypes, copy, getPathMap, init, integerBoundsCalculated, 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


public JifInstanceofExt(ToJavaExt toJava)
Method Detail


public polyglot.ast.Node labelCheck(LabelChecker lc)
                             throws polyglot.types.SemanticException
Description copied from interface: Jif
Label check the node to which this extension is attached.

Specified by:
labelCheck in interface Jif
labelCheck in class Jif_c