Class JifThrowDel

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

public class JifThrowDel
extends JifJL_c

Jif extension of the Throw node.

See Also:

Field Summary
Fields inherited from class polyglot.ast.Ext_c
ext, node
Constructor Summary
Method Summary
 void setThrownIsNeverNull()
 boolean thrownIsNeverNull()
 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

Constructor Detail


public JifThrowDel()
Method Detail


public void setThrownIsNeverNull()


public boolean thrownIsNeverNull()


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 Throw_c in that it does not throw a null pointer exception if the thrown object is guaranteed to be non-null

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