@Deprecated public class JifCanonicalTypeNode_c extends polyglot.ast.CanonicalTypeNode_c implements JifCanonicalTypeNode
JifCanonicalTypeNode
is a type node for a canonical type in Polyj.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.
|
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.
|
copy, copy, dump, extRewrite, prettyPrint, toString, translate
acceptCFG, buildTypes, firstChild, name, qualifier, type, type, type
exceptionCheck, exceptions, exceptions, exceptions, listChild, reachable, reachable, reachable
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
clone, equals, finalize, getClass, hashCode, notify, notifyAll, wait, wait, wait
del, del, dump, error, error, ext, ext, ext, ext, isTypeChecked, position, position, visit, visitEdge
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
public JifCanonicalTypeNode_c(polyglot.util.Position pos, polyglot.types.Type type)
public JifCanonicalTypeNode_c(polyglot.util.Position pos, polyglot.types.Type type, polyglot.ast.Ext ext)
public boolean isDisambiguated()
isDisambiguated
in interface polyglot.ast.Node
isDisambiguated
in class polyglot.ast.TypeNode_c
protected polyglot.types.Type typeCheck(polyglot.types.Type t, polyglot.visit.TypeChecker tc) throws polyglot.types.SemanticException
polyglot.types.SemanticException
public polyglot.ast.Node typeCheck(polyglot.visit.TypeChecker tc) throws polyglot.types.SemanticException
typeCheck
in interface polyglot.ast.NodeOps
typeCheck
in class polyglot.ast.CanonicalTypeNode_c
polyglot.types.SemanticException