jif.extension
Class JifCastDel

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.JifCastDel
All Implemented Interfaces:
java.lang.Cloneable, JifPreciseClassDel, polyglot.ast.Ext, polyglot.ast.JL, polyglot.ast.NodeOps, polyglot.util.Copy

public class JifCastDel
extends JifJL_c
implements JifPreciseClassDel

The Jif extension of the Cast node.

See Also:
Cast_c

Field Summary
 
Fields inherited from class polyglot.ast.Ext_c
ext, node
 
Constructor Summary
JifCastDel()
           
 
Method Summary
 polyglot.ast.Expr getPreciseClassExpr()
           
 boolean isToSubstJifClass()
           
 void setPreciseClass(java.util.Set preciseClasses)
           
 boolean throwsClassCastException()
           
 java.util.List 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.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, 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

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.JL_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.JL_c
Throws:
polyglot.types.SemanticException

throwTypes

public java.util.List throwTypes(polyglot.types.TypeSystem ts)
Specified by:
throwTypes in interface polyglot.ast.NodeOps
Overrides:
throwTypes in class polyglot.ast.JL_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 preciseClasses)
Specified by:
setPreciseClass in interface JifPreciseClassDel