public class AmbPrefix_c extends Node_c implements AmbPrefix
AmbPrefix
is an ambiguous AST node composed of dot-separated
list of identifiers that must resolve to a prefix.Modifier and Type | Field and Description |
---|---|
protected Id |
name |
protected Prefix |
prefix |
Constructor and Description |
---|
AmbPrefix_c(Position pos,
Prefix prefix,
Id name) |
AmbPrefix_c(Position pos,
Prefix prefix,
Id name,
Ext ext) |
Modifier and Type | Method and Description |
---|---|
Node |
copy(NodeFactory nf)
Produce a copy of this node using the given NodeFactory.
|
Node |
disambiguate(AmbiguityRemover ar)
Remove any remaining ambiguities from the AST.
|
Node |
exceptionCheck(ExceptionChecker ec)
Check that exceptions are properly propagated throughout the AST.
|
AmbPrefix |
id(Id name)
Set the name of the prefix.
|
protected <N extends AmbPrefix_c> |
id(N n,
Id name) |
java.lang.String |
name()
Get the name of the prefix.
|
AmbPrefix |
name(java.lang.String name)
Set the name of the prefix.
|
Id |
nameNode()
Get the name of the prefix.
|
Prefix |
prefix()
Get the prefix of the prefix.
|
protected <N extends AmbPrefix_c> |
prefix(N n,
Prefix prefix) |
AmbPrefix |
prefix(Prefix prefix)
Set the prefix of the prefix.
|
void |
prettyPrint(CodeWriter w,
PrettyPrinter tr)
Pretty-print the AST using the given
CodeWriter . |
protected <N extends AmbPrefix_c> |
reconstruct(N n,
Prefix prefix,
Id name)
Reconstruct the prefix.
|
java.lang.String |
toString() |
Node |
typeCheck(TypeChecker tc)
Type check the AST.
|
Node |
visitChildren(NodeVisitor v)
Visit the children of the node.
|
addDecls, buildTypes, buildTypesEnter, checkConstants, childExpectedType, copy, copy, copyIfNeeded, del, del, disambiguateEnter, disambiguateOverride, dump, dump, dump, dump, dump, enterChildScope, enterScope, error, error, error, exceptionCheckEnter, ext, ext, ext, ext, extRewrite, extRewriteEnter, isDisambiguated, isTypeChecked, lang, position, position, position, prettyPrint, prettyPrint, prettyPrint, prettyPrint, print, printBlock, printSubStmt, throwTypes, translate, 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, disambiguateEnter, disambiguateOverride, dump, dump, dump, dump, enterChildScope, enterScope, exceptionCheckEnter, extRewrite, extRewriteEnter, lang, prettyPrint, prettyPrint, prettyPrint, prettyPrint, throwTypes, translate, typeCheckEnter, typeCheckOverride, visitChild, visitList
public Id nameNode()
AmbPrefix
protected <N extends AmbPrefix_c> N id(N n, Id name)
public java.lang.String name()
AmbPrefix
public AmbPrefix name(java.lang.String name)
public Prefix prefix()
AmbPrefix
protected <N extends AmbPrefix_c> N prefix(N n, Prefix prefix)
protected <N extends AmbPrefix_c> N reconstruct(N n, Prefix prefix, Id name)
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 ar) 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
ar
- The visitor which disambiguates.SemanticException
public Node typeCheck(TypeChecker tc) 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.typeCheck
in interface NodeOps
typeCheck
in class Node_c
tc
- The type checking visitor.SemanticException
public Node exceptionCheck(ExceptionChecker ec) 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.exceptionCheck
in interface NodeOps
exceptionCheck
in class Node_c
ec
- The visitor.SemanticException
public void prettyPrint(CodeWriter w, PrettyPrinter tr)
Node_c
CodeWriter
.prettyPrint
in interface NodeOps
prettyPrint
in class Node_c
w
- The code writer to which to write.tr
- The pretty printer. This is not a visitor.