public interface TypeNode extends Receiver, QualifierNode, Term
TypeNode
is the syntactic representation of a
Type
within the abstract syntax tree.Modifier and Type | Interface and Description |
---|---|
static class |
TypeNode.Instance |
Modifier and Type | Method and Description |
---|---|
java.lang.String |
name()
Short name of the type, or null if not a
Named type. |
TypeNode |
type(Type type)
Set the type object for this node.
|
qualifier
del, del, dump, error, error, ext, ext, ext, ext, isDisambiguated, 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, lang, prettyPrint, prettyPrint, prettyPrint, prettyPrint, prettyPrint, throwTypes, translate, typeCheck, typeCheckEnter, typeCheckOverride, visitChild, visitChildren, visitList
exceptions, exceptions, reachable, reachable