public class ASTPtLeafNode extends ASTPtRootNode
ASTPtRootNode,
PtParser,
Token| Red (cxh) |
| Yellow (nsmyth) |
| Modifier and Type | Field and Description |
|---|---|
protected java.lang.String |
_name
The identifier that this leaf node refers to.
|
_children, _id, _isConstant, _parent, _ptToken, _ptType| Constructor and Description |
|---|
ASTPtLeafNode(int id) |
ASTPtLeafNode(PtParser p,
int id) |
| Modifier and Type | Method and Description |
|---|---|
java.lang.String |
getName()
Return the name that this node refers to.
|
boolean |
isCongruent(ASTPtRootNode node,
java.util.Map renaming)
Return true if this node is (hierarchically) congruent to the
given node, under the given renaming of bound identifiers.
|
boolean |
isIdentifier()
Return true if the leaf is an identifier that must be
evaluated in scope.
|
java.lang.String |
toString()
Return a string representation
|
void |
visit(ParseTreeVisitor visitor)
Traverse this node with the given visitor.
|
clone, displayParseTree, evaluateParseTree, getToken, getType, isConstant, isEvaluated, jjtAddChild, jjtClose, jjtGetChild, jjtGetNumChildren, jjtGetParent, jjtOpen, jjtSetParent, setConstant, setToken, setType, toStringpublic ASTPtLeafNode(int id)
public ASTPtLeafNode(PtParser p, int id)
public java.lang.String getName()
public boolean isCongruent(ASTPtRootNode node, java.util.Map renaming)
isCongruent in class ASTPtRootNodenode - The node to compare to.renaming - A map from String to String that gives a
renaming from identifiers in this node to identifiers in the
given node.public boolean isIdentifier()
public java.lang.String toString()
toString in class ASTPtRootNodepublic void visit(ParseTreeVisitor visitor) throws IllegalActionException
visit in class ASTPtRootNodeIllegalActionException