jif.extension
Class JifInstanceOfDel

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

public class JifInstanceOfDel
extends JifJL_c

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
JifInstanceOfDel()
           
 
Method Summary
 boolean isToSubstJifClass()
           
 java.util.List throwTypes(polyglot.types.TypeSystem ts)
           
 polyglot.ast.Node typeCheck(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, 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

JifInstanceOfDel

public JifInstanceOfDel()
Method Detail

isToSubstJifClass

public boolean isToSubstJifClass()

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