jif.extension

Class JifCastDel

java.lang.Object

polyglot.ast.JLDel_c

jif.extension.JifDel_c

jif.extension.JifCastDel

All Implemented Interfaces:

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

public class JifCastDel
extends JifDel_c
implements JifPreciseClassDel

The Jif extension of the Cast node.

See Also:

Cast_c, 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
JifCastDel()

Method Summary

Modifier and Type	Method and Description
polyglot.ast.Expr	getPreciseClassExpr()
boolean	isToSubstJifClass()
void	setFatalExceptions(polyglot.types.TypeSystem ts, polyglot.util.SubtypeSet fatalExceptions) Set the exceptions thrown by this node that are treated as fatal.
void	setPreciseClass(java.util.Set<polyglot.types.Type> preciseClasses)
boolean	throwsClassCastException()
java.util.List<polyglot.types.Type>	throwTypes(polyglot.types.TypeSystem ts)
polyglot.ast.Node	typeCheck(polyglot.visit.TypeChecker tc)
polyglot.visit.NodeVisitor	typeCheckEnter(polyglot.visit.TypeChecker tc)

Methods inherited from class jif.extension.JifDel_c

buildTypes, fatalExceptions, 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, typeCheckOverride, visitChild, visitChildren, visitList

Methods inherited from class java.lang.Object

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

Constructor Detail

JifCastDel

public JifCastDel()

Method Detail

isToSubstJifClass

public boolean isToSubstJifClass()

typeCheckEnter

public polyglot.visit.NodeVisitor typeCheckEnter(polyglot.visit.TypeChecker tc)
                                          throws polyglot.types.SemanticException

Specified by:

typeCheckEnter in interface polyglot.ast.NodeOps

Overrides:

typeCheckEnter in class polyglot.ast.JLDel_c

Throws:

polyglot.types.SemanticException

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.JLDel_c

Throws:

polyglot.types.SemanticException

throwTypes

public java.util.List<polyglot.types.Type> throwTypes(polyglot.types.TypeSystem ts)

Specified by:

throwTypes in interface polyglot.ast.NodeOps

Overrides:

throwTypes in class JifDel_c

setFatalExceptions

public void setFatalExceptions(polyglot.types.TypeSystem ts,
                               polyglot.util.SubtypeSet fatalExceptions)

Description copied from class: JifDel_c

Set the exceptions thrown by this node that are treated as fatal.

Specified by:

setFatalExceptions in interface JifDel

Overrides:

setFatalExceptions in class JifDel_c

throwsClassCastException

public boolean throwsClassCastException()

getPreciseClassExpr

public polyglot.ast.Expr getPreciseClassExpr()

Specified by:

getPreciseClassExpr in interface JifPreciseClassDel

Returns:

The Expr that the node is interested in finding the precise classes for.

setPreciseClass

public void setPreciseClass(java.util.Set<polyglot.types.Type> preciseClasses)

Specified by:

setPreciseClass in interface JifPreciseClassDel