jif.ast

Class JifCanonicalTypeNode_c

java.lang.Object

polyglot.ast.Node_c

polyglot.ast.Term_c

polyglot.ast.TypeNode_c

polyglot.ast.CanonicalTypeNode_c

jif.ast.JifCanonicalTypeNode_c

All Implemented Interfaces:

java.io.Serializable, java.lang.Cloneable, JifCanonicalTypeNode, polyglot.ast.CanonicalTypeNode, polyglot.ast.Node, polyglot.ast.NodeOps, polyglot.ast.Prefix, polyglot.ast.QualifierNode, polyglot.ast.Receiver, polyglot.ast.Term, polyglot.ast.TermOps, polyglot.ast.Typed, polyglot.ast.TypeNode, polyglot.util.Copy<polyglot.ast.Node>

Deprecated.

@Deprecated
public class JifCanonicalTypeNode_c
extends polyglot.ast.CanonicalTypeNode_c
implements JifCanonicalTypeNode

A JifCanonicalTypeNode is a type node for a canonical type in Polyj.

See Also:

Serialized Form

Nested Class Summary

Nested classes/interfaces inherited from interface polyglot.ast.TypeNode

polyglot.ast.TypeNode.Instance

Nested classes/interfaces inherited from interface polyglot.util.Copy

polyglot.util.Copy.Util

Field Summary

Fields inherited from class polyglot.ast.TypeNode_c

type

Fields inherited from class polyglot.ast.Term_c

exceptions, reachable

Fields inherited from class polyglot.ast.Node_c

del, error, ext, position

Fields inherited from interface polyglot.ast.Term

ENTRY, EXIT

Constructor Summary

Constructors

Constructor and Description
JifCanonicalTypeNode_c(polyglot.util.Position pos, polyglot.types.Type type) Deprecated.
JifCanonicalTypeNode_c(polyglot.util.Position pos, polyglot.types.Type type, polyglot.ast.Ext ext) Deprecated.

Method Summary

Modifier and Type	Method and Description
boolean	isDisambiguated() Deprecated.
polyglot.ast.Node	typeCheck(polyglot.visit.TypeChecker tc) Deprecated.
protected polyglot.types.Type	typeCheck(polyglot.types.Type t, polyglot.visit.TypeChecker tc) Deprecated.

Methods inherited from class polyglot.ast.CanonicalTypeNode_c

copy, copy, dump, extRewrite, prettyPrint, toString, translate

Methods inherited from class polyglot.ast.TypeNode_c

acceptCFG, buildTypes, firstChild, name, qualifier, type, type, type

Methods inherited from class polyglot.ast.Term_c

exceptionCheck, exceptions, exceptions, exceptions, listChild, reachable, reachable, reachable

Methods inherited from class polyglot.ast.Node_c

addDecls, buildTypesEnter, checkConstants, childExpectedType, copy, copyIfNeeded, del, del, disambiguate, disambiguateEnter, disambiguateOverride, dump, dump, dump, dump, enterChildScope, enterScope, error, error, error, exceptionCheckEnter, ext, ext, ext, ext, extRewriteEnter, extRewriteOverride, isTypeChecked, lang, position, position, position, prettyPrint, prettyPrint, prettyPrint, prettyPrint, print, printBlock, printSubStmt, throwTypes, typeCheckEnter, typeCheckOverride, visit, visitChild, visitChildren, visitEdge, visitList

Methods inherited from class java.lang.Object

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

Methods inherited from interface polyglot.ast.TypeNode

name, type

Methods inherited from interface polyglot.ast.Typed

type

Methods inherited from interface polyglot.ast.QualifierNode

qualifier

Methods inherited from interface polyglot.ast.Node

del, del, dump, error, error, ext, ext, ext, ext, isTypeChecked, position, position, visit, visitEdge

Methods inherited from interface polyglot.ast.NodeOps

addDecls, buildTypes, buildTypesEnter, checkConstants, childExpectedType, copy, copy, disambiguate, disambiguateEnter, disambiguateOverride, dump, dump, dump, dump, enterChildScope, enterScope, exceptionCheck, exceptionCheckEnter, extRewrite, extRewriteEnter, extRewriteOverride, lang, prettyPrint, prettyPrint, prettyPrint, prettyPrint, prettyPrint, throwTypes, translate, typeCheckEnter, typeCheckOverride, visitChild, visitChildren, visitList

Methods inherited from interface polyglot.util.Copy

copy

Methods inherited from interface polyglot.ast.Term

exceptions, exceptions, reachable, reachable

Constructor Detail

JifCanonicalTypeNode_c

public JifCanonicalTypeNode_c(polyglot.util.Position pos,
                              polyglot.types.Type type)

Deprecated.

JifCanonicalTypeNode_c

public JifCanonicalTypeNode_c(polyglot.util.Position pos,
                              polyglot.types.Type type,
                              polyglot.ast.Ext ext)

Deprecated.

Method Detail

isDisambiguated

public boolean isDisambiguated()

Deprecated.

Specified by:

isDisambiguated in interface polyglot.ast.Node

Overrides:

isDisambiguated in class polyglot.ast.TypeNode_c

typeCheck

protected polyglot.types.Type typeCheck(polyglot.types.Type t,
                                        polyglot.visit.TypeChecker tc)
                                 throws polyglot.types.SemanticException

Deprecated.

Throws:

polyglot.types.SemanticException

typeCheck

public polyglot.ast.Node typeCheck(polyglot.visit.TypeChecker tc)
                            throws polyglot.types.SemanticException

Deprecated.

Specified by:

typeCheck in interface polyglot.ast.NodeOps

Overrides:

typeCheck in class polyglot.ast.CanonicalTypeNode_c

Throws:

polyglot.types.SemanticException