|
||||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |
java.lang.Objecttip.node.Node
tip.node.PStm
public abstract class PStm
PStm
is the super class of all stm
classes.
Constructor Summary | |
---|---|
PStm()
|
Method Summary | |
---|---|
abstract PStm |
clone()
Returns a deep clone of this PStm node. |
abstract PStm |
clone(Map<Node,Node> oldToNewMap)
Creates a deep clone of this PStm node while putting all
old node-new node relations in the map oldToNewMap . |
abstract Token |
getToken()
Returns the Token node which is the token child of this PStm node. |
NodeEnum |
kindNode()
Returns the NodeEnum corresponding to the
type of this Node node. |
abstract EStm |
kindPStm()
Returns the EStm corresponding to the
type of this PStm node. |
Methods inherited from class tip.node.Node |
---|
apply, apply, apply, apply, checkOptionalInvariant, getAncestor, getAncestor, getAncestor, getChildren, getChildren, getChildren, getDescendants, getDescendants, getDescendants, getDescendants, isOptionalInvariant, parent, replaceBy, setOptionalInvariant |
Methods inherited from class java.lang.Object |
---|
equals, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait |
Constructor Detail |
---|
public PStm()
Method Detail |
---|
public abstract PStm clone()
PStm
node.
clone
in interface NodeInterface
clone
in class Node
PStm
nodepublic abstract PStm clone(Map<Node,Node> oldToNewMap)
PStm
node while putting all
old node-new node relations in the map oldToNewMap
.
clone
in interface NodeInterface
clone
in class Node
oldToNewMap
- the map filled with the old node-new node relation
PStm
nodepublic abstract Token getToken()
Token
node which is the token
child of this PStm
node.
Token
node which is the token
child of this PStm
nodepublic abstract EStm kindPStm()
EStm
corresponding to the
type of this PStm
node.
EStm
for this nodepublic NodeEnum kindNode()
NodeEnum
corresponding to the
type of this Node
node.
kindNode
in class Node
NodeEnum
for this node
|
||||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |