public class AmbWildCard extends TypeNode_c implements Ambiguous
TypeNode.Instance
Modifier and Type | Field and Description |
---|---|
protected TypeNode |
constraint |
type
exceptions, reachable
Constructor and Description |
---|
AmbWildCard(Position pos) |
AmbWildCard(Position pos,
TypeNode constraint,
boolean isExtendsConstraint) |
Modifier and Type | Method and Description |
---|---|
protected <N extends AmbWildCard> |
constraint(N n,
TypeNode constraint) |
Node |
disambiguate(AmbiguityRemover sc)
Remove any remaining ambiguities from the AST.
|
void |
prettyPrint(CodeWriter w,
PrettyPrinter tr)
Pretty-print the AST using the given
CodeWriter . |
protected AmbWildCard |
reconstruct(TypeNode constraint) |
java.lang.String |
toString() |
Node |
visitChildren(NodeVisitor v)
Visit the children of the node.
|
acceptCFG, buildTypes, firstChild, isDisambiguated, name, 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 constraint
public AmbWildCard(Position pos)
protected <N extends AmbWildCard> N constraint(N n, TypeNode constraint)
protected AmbWildCard reconstruct(TypeNode constraint)
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
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.