public class ASTPtUnaryNode extends ASTPtRootNode
ASTPtRootNode
,
PtParser
,
Token
Modifier and Type | Field and Description |
---|---|
protected boolean |
_isBitwiseNot |
protected boolean |
_isMinus |
protected boolean |
_isNot |
protected Token |
_lexicalToken |
_children, _id, _isConstant, _parent, _ptToken, _ptType
Constructor and Description |
---|
ASTPtUnaryNode(int id) |
ASTPtUnaryNode(PtParser p,
int id) |
Modifier and Type | Method and Description |
---|---|
Token |
getOperator()
Return the token that represents the operation of this node.
|
boolean |
isBitwiseNot()
Return true if this node represents the bitwise negation of its
child.
|
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 |
isMinus()
Return true if this node represents the additive inverse of its
child.
|
boolean |
isNot()
Return true if this node represents the boolean negation of its
child.
|
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, toString
protected boolean _isMinus
protected boolean _isNot
protected boolean _isBitwiseNot
protected Token _lexicalToken
public ASTPtUnaryNode(int id)
public ASTPtUnaryNode(PtParser p, int id)
public Token getOperator()
public boolean isBitwiseNot()
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 isMinus()
public boolean isNot()
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.