jif.extension
Class JifArrayAccessDel

java.lang.Object
  polyglot.ast.Ext_c
      polyglot.ast.JL_c
          jif.extension.JifJL_c
              jif.extension.JifArrayAccessDel

All Implemented Interfaces:

java.lang.Cloneable, polyglot.ast.Ext, polyglot.ast.JL, polyglot.ast.NodeOps, polyglot.util.Copy

public class JifArrayAccessDel
extends JifJL_c

The Jif extension of the ArrayAccess node.

Field Summary

Fields inherited from class polyglot.ast.Ext_c

ext, node

Constructor Summary

JifArrayAccessDel()

Method Summary

boolean	arrayIsNeverNull()
boolean	outOfBoundsExcThrown()
void	setArrayIsNeverNull()
void	setNoOutOfBoundsExcThrown()
java.util.List	throwTypes(polyglot.types.TypeSystem ts) List of Types of exceptions that might get thrown.

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, typeCheck, 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

JifArrayAccessDel

public JifArrayAccessDel()

Method Detail

setArrayIsNeverNull

public void setArrayIsNeverNull()

arrayIsNeverNull

public boolean arrayIsNeverNull()

setNoOutOfBoundsExcThrown

public void setNoOutOfBoundsExcThrown()

outOfBoundsExcThrown

public boolean outOfBoundsExcThrown()

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