jif.extension
Class JifArrayAccessAssignDel

java.lang.Object
  extended by polyglot.ast.Ext_c
      extended by polyglot.ast.JL_c
          extended by jif.extension.JifJL_c
              extended by jif.extension.JifArrayAccessAssignDel
All Implemented Interfaces:
java.lang.Cloneable, polyglot.ast.Ext, polyglot.ast.JL, polyglot.ast.NodeOps, polyglot.util.Copy

public class JifArrayAccessAssignDel
extends JifJL_c

The Jif extension of the ArrayAccessAssign node.


Field Summary
 
Fields inherited from class polyglot.ast.Ext_c
ext, node
 
Constructor Summary
JifArrayAccessAssignDel()
           
 
Method Summary
 java.util.List throwTypes(polyglot.types.TypeSystem ts)
          List of Types of exceptions that might get thrown.
 polyglot.ast.Node typeCheck(polyglot.visit.TypeChecker tc)
           
 
Methods inherited from class jif.extension.JifJL_c
buildTypes, translate
 
Methods inherited from class polyglot.ast.JL_c
addDecls, buildTypesEnter, checkConstants, copy, copy, disambiguate, disambiguateEnter, disambiguateOverride, dump, dump, enterChildScope, enterScope, exceptionCheck, exceptionCheckEnter, jl, prettyPrint, prettyPrint, prettyPrint, typeCheckEnter, typeCheckOverride, visitChildren
 
Methods inherited from class polyglot.ast.Ext_c
copy, dump, ext, ext, init, 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.JL
init, node
 
Methods inherited from interface polyglot.util.Copy
copy
 

Constructor Detail

JifArrayAccessAssignDel

public JifArrayAccessAssignDel()
Method Detail

throwTypes

public java.util.List throwTypes(polyglot.types.TypeSystem ts)
List of Types of exceptions that might get thrown. This differs from the method defined in ArrayAccess_c in that it does not throw a null pointer exception if the array is guaranteed to be non-null

Specified by:
throwTypes in interface polyglot.ast.NodeOps
Overrides:
throwTypes in class polyglot.ast.JL_c

typeCheck

public polyglot.ast.Node typeCheck(polyglot.visit.TypeChecker tc)
                            throws polyglot.types.SemanticException
Specified by:
typeCheck in interface polyglot.ast.NodeOps
Overrides:
typeCheck in class polyglot.ast.JL_c
Throws:
polyglot.types.SemanticException