public class AmbTypeInstantiation extends TypeNode_c implements Ambiguous
TypeNode.Instance
Modifier and Type | Field and Description |
---|---|
protected TypeNode |
base |
protected java.util.List<TypeNode> |
typeArguments |
type
exceptions, reachable
Constructor and Description |
---|
AmbTypeInstantiation(Position pos,
TypeNode base,
java.util.List<TypeNode> typeArguments) |
Modifier and Type | Method and Description |
---|---|
TypeNode |
base() |
protected <N extends AmbTypeInstantiation> |
base(N n,
TypeNode base) |
protected void |
checkParamSize(JL5ParsedClassType pct) |
protected void |
checkRareType(AmbiguityRemover ar) |
Node |
disambiguate(AmbiguityRemover sc)
Remove any remaining ambiguities from the AST.
|
protected JL5ParsedClassType |
handleBase(java.util.Map<TypeVariable,ReferenceType> typeMap) |
java.lang.String |
name()
Short name of the type, or null if not a
Named type. |
void |
prettyPrint(CodeWriter w,
PrettyPrinter tr)
Pretty-print the AST using the given
CodeWriter . |
protected AmbTypeInstantiation |
reconstruct(TypeNode base,
java.util.List<TypeNode> typeArguments) |
protected boolean |
shouldDisambiguate() |
java.lang.String |
toString() |
protected <N extends AmbTypeInstantiation> |
typeArguments(N n,
java.util.List<TypeNode> typeArguments) |
Node |
visitChildren(NodeVisitor v)
Visit the children of the node.
|
acceptCFG, buildTypes, firstChild, isDisambiguated, qualifier, type, type, type
exceptionCheck, exceptions, exceptions, exceptions, extRewrite, listChild, reachable, reachable, reachable
addDecls, buildTypesEnter, checkConstants, childExpectedType, copy, copy, copy, copyIfNeeded, del, del, disambiguateEnter, disambiguateOverride, dump, dump, dump, dump, dump, enterChildScope, enterScope, error, error, error, exceptionCheckEnter, ext, ext, ext, ext, extRewriteEnter, isTypeChecked, lang, position, position, position, prettyPrint, prettyPrint, prettyPrint, prettyPrint, print, printBlock, printSubStmt, throwTypes, translate, typeCheck, typeCheckEnter, typeCheckOverride, visit, visitChild, visitEdge, visitList
clone, equals, finalize, getClass, hashCode, notify, notifyAll, wait, wait, wait
del, del, dump, error, error, ext, ext, ext, ext, isDisambiguated, isTypeChecked, position, position, visit, visitEdge
addDecls, buildTypes, buildTypesEnter, checkConstants, childExpectedType, copy, copy, disambiguateEnter, disambiguateOverride, dump, dump, dump, dump, enterChildScope, enterScope, exceptionCheck, exceptionCheckEnter, extRewrite, extRewriteEnter, lang, prettyPrint, prettyPrint, prettyPrint, prettyPrint, throwTypes, translate, typeCheck, typeCheckEnter, typeCheckOverride, visitChild, visitList
exceptions, exceptions, reachable, reachable
protected TypeNode base
protected java.util.List<TypeNode> typeArguments
public java.lang.String name()
TypeNode
Named
type.name
in interface TypeNode
name
in class TypeNode_c
public TypeNode base()
protected <N extends AmbTypeInstantiation> N base(N n, TypeNode base)
protected <N extends AmbTypeInstantiation> N typeArguments(N n, java.util.List<TypeNode> typeArguments)
protected AmbTypeInstantiation reconstruct(TypeNode base, java.util.List<TypeNode> typeArguments)
public Node visitChildren(NodeVisitor v)
NodeOps
visitChildren
in interface NodeOps
visitChildren
in class Node_c
v
- The visitor that will traverse/rewrite the AST.this
.public Node disambiguate(AmbiguityRemover sc) throws SemanticException
NodeOps
leave()
method of the
visitor. The method should perform work that should be done
after visiting the children of the node. The method may return
this
or a new copy of the node which will be
installed as a child of the node's parent.
The node should not assume that its children have been disambiguated.
If it depends on a child being disambiguated,
it may just return this
without doing any work.disambiguate
in interface NodeOps
disambiguate
in class Node_c
sc
- The visitor which disambiguates.SemanticException
protected boolean shouldDisambiguate()
protected void checkRareType(AmbiguityRemover ar) throws SemanticException
SemanticException
protected JL5ParsedClassType handleBase(java.util.Map<TypeVariable,ReferenceType> typeMap)
protected void checkParamSize(JL5ParsedClassType pct) throws SemanticException
SemanticException
public java.lang.String toString()
toString
in class TypeNode_c
public void prettyPrint(CodeWriter w, PrettyPrinter tr)
Node_c
CodeWriter
.prettyPrint
in interface NodeOps
prettyPrint
in class TypeNode_c
w
- The code writer to which to write.tr
- The pretty printer. This is not a visitor.