jif.extension

Class JifThrowDel

java.lang.Object

polyglot.ast.JLDel_c

jif.extension.JifDel_c

jif.extension.JifThrowDel

All Implemented Interfaces:

java.io.Serializable, java.lang.Cloneable, JifDel, polyglot.ast.JLDel, polyglot.ast.NodeOps, polyglot.util.Copy<polyglot.ast.JLDel>

public class JifThrowDel
extends JifDel_c

Jif extension of the Throw node.

See Also:

Throw, Serialized Form

Nested Class Summary

Nested classes/interfaces inherited from interface polyglot.util.Copy

polyglot.util.Copy.Util

Field Summary

Fields inherited from class jif.extension.JifDel_c

fatalExceptions

Fields inherited from class polyglot.ast.JLDel_c

instance

Constructor Summary

Constructors

Constructor and Description
JifThrowDel()

Method Summary

Modifier and Type	Method and Description
void	setThrownIsNeverNull()
boolean	thrownIsNeverNull()
java.util.List<polyglot.types.Type>	throwTypes(polyglot.types.TypeSystem ts) List of Types of exceptions that might get thrown.

Methods inherited from class jif.extension.JifDel_c

buildTypes, fatalExceptions, setFatalExceptions, translate

Methods inherited from class polyglot.ast.JLDel_c

addDecls, buildTypesEnter, checkConstants, childExpectedType, copy, copy, copy, disambiguate, disambiguateEnter, disambiguateOverride, dump, dump, dump, dump, enterChildScope, enterScope, exceptionCheck, exceptionCheckEnter, extRewrite, extRewriteEnter, extRewriteOverride, init, jl, lang, node, prettyPrint, prettyPrint, prettyPrint, prettyPrint, prettyPrint, typeCheck, typeCheckEnter, typeCheckOverride, visitChild, visitChildren, visitList

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Constructor Detail

JifThrowDel

public JifThrowDel()

Method Detail

setThrownIsNeverNull

public void setThrownIsNeverNull()

thrownIsNeverNull

public boolean thrownIsNeverNull()

throwTypes

public java.util.List<polyglot.types.Type> 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

Overrides:

throwTypes in class JifDel_c