polyglot.ext.pao.extension
Class PaoInstanceofDel_c

java.lang.Object
  polyglot.ext.jl.ast.Ext_c
      polyglot.ext.jl.ast.JL_c
          polyglot.ext.pao.extension.PaoInstanceofDel_c

All Implemented Interfaces:

java.lang.Cloneable, Ext, JL, NodeOps, Copy

public class PaoInstanceofDel_c
extends JL_c

The implementation of the delegate for the InstanceOf AST node. Overrides the typeCheck(TypeChecker) method.

Field Summary

Fields inherited from class polyglot.ext.jl.ast.Ext_c

ext, node

Constructor Summary

PaoInstanceofDel_c()

Method Summary

Node	typeCheck(TypeChecker tc) Removes the restriction that the compare type must be a ReferenceType.

Methods inherited from class polyglot.ext.jl.ast.JL_c

addDecls, addMembers, addMembersEnter, buildTypes, buildTypesEnter, disambiguate, disambiguateEnter, enterScope, enterScope, exceptionCheck, exceptionCheckEnter, jl, prettyPrint, throwTypes, translate, typeCheckEnter, 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

PaoInstanceofDel_c

public PaoInstanceofDel_c()

Method Detail

typeCheck

public Node typeCheck(TypeChecker tc)
               throws SemanticException

Removes the restriction that the compare type must be a ReferenceType.

Specified by:

typeCheck in interface NodeOps

Overrides:

typeCheck in class JL_c

Parameters:

tc - The type checking visitor.

Throws:

SemanticException

See Also:

NodeOps.typeCheck(TypeChecker), Instanceof_c.typeCheck(TypeChecker)