jif.extension
Class JifInstanceofExt

java.lang.Object
  polyglot.ast.Ext_c
      jif.ast.Jif_c
          jif.extension.JifExprExt
              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:

Instanceof

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

JifInstanceofExt

public JifInstanceofExt(ToJavaExt toJava)

Method Detail

labelCheck

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

Overrides:

labelCheck in class Jif_c

Throws:

polyglot.types.SemanticException