public class ASTPtLeafNode extends ASTPtRootNode
ASTPtRootNode
,
PtParser
,
Token
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, toString
public 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 ASTPtRootNode
node
- 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 ASTPtRootNode
public void visit(ParseTreeVisitor visitor) throws IllegalActionException
visit
in class ASTPtRootNode
visitor
- The visitor.IllegalActionException
- Always thrown in this base
class the visit() method is not implemented here.