jif.extension
Class JifArrayAccessExt

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

All Implemented Interfaces:

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

public class JifArrayAccessExt
extends JifExprExt

The Jif extension of the ArrayAccess node.

Field Summary

Fields inherited from class jif.ast.Jif_c

toJava, X

Fields inherited from class polyglot.ast.Ext_c

ext, node

Constructor Summary

JifArrayAccessExt(ToJavaExt toJava)

Method Summary

polyglot.ast.Node	labelCheck(LabelChecker lc) Label check the node to which this extension is attached.
polyglot.ast.Node	labelCheckIncrement(LabelChecker lc)

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

JifArrayAccessExt

public JifArrayAccessExt(ToJavaExt toJava)

Method Detail

labelCheckIncrement

public polyglot.ast.Node labelCheckIncrement(LabelChecker lc)
                                      throws polyglot.types.SemanticException

Throws:

polyglot.types.SemanticException

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