Overview | Package | Class | Tree | Deprecated | Index | Help
PREV CLASS NEXT CLASS | FRAMES NO FRAMES
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD

## jif.extension
Class JifCastDel

    java.lang.Object
      polyglot.ext.jl.ast.Ext_c
          polyglot.ext.jl.ast.JL_c
              jif.extension.JifJL_c
                  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.ext.jl.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)`

Methods inherited from class jif.extension.JifJL_c
`buildTypes, translate`

Methods inherited from class polyglot.ext.jl.ast.JL_c
`addDecls, buildTypesEnter, checkConstants, disambiguate, disambiguateEnter, disambiguateOverride, dump, dump, enterChildScope, enterScope, exceptionCheck, exceptionCheckEnter, jl, prettyPrint, prettyPrint, prettyPrint, typeCheckEnter, typeCheckOverride, visitChildren`

Methods inherited from class polyglot.ext.jl.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()

### 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.ext.jl.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.ext.jl.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`

Overview | Package | Class | Tree | Deprecated | Index | Help
PREV CLASS NEXT CLASS | FRAMES NO FRAMES
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD