jif.extension
Class JifArrayAccessAssignExt

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

All Implemented Interfaces:

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

public class JifArrayAccessAssignExt
extends JifAssignExt

The Jif extension of the ArrayAccessAssign 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

JifArrayAccessAssignExt(ToJavaExt toJava)

Method Summary

polyglot.ast.Node	labelCheckLHS(LabelChecker lc)
protected PathMap	rhsPathMap(LabelChecker checker, polyglot.ast.Expr rhs, java.util.List throwTypes)

Methods inherited from class jif.extension.JifAssignExt

labelCheck

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

JifArrayAccessAssignExt

public JifArrayAccessAssignExt(ToJavaExt toJava)

Method Detail

labelCheckLHS

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

Specified by:

labelCheckLHS in class JifAssignExt

Throws:

polyglot.types.SemanticException

rhsPathMap

protected PathMap rhsPathMap(LabelChecker checker,
                             polyglot.ast.Expr rhs,
                             java.util.List throwTypes)