Inheritance diagram for CCM::Node:
This encapsulates common behaviour, but only its concrete child classes should (and can) be instantiated.
Public Member Functions | |
Node () | |
Initialize the node. | |
void | addBranch (Node n) |
Add a new alternative branch n to the node. | |
bool | hasSuccessors () |
Return whether this node has any successor nodes. | |
virtual string | ccmb () |
Generate a CCMB notation of this node and all its successors (i. e. its transitive alternatives). | |
virtual string | prolog () |
Generate a Prolog notation of this node and all its successors (i. e. its transitive alternatives). | |
IEnumerator | GetEnumerator () |
Return an enumerator over all child nodes. | |
override string | ToString () |
Return a string representation of this Node. | |
Static Public Member Functions | |
void | appendCurrent (Node node) |
Append given node to the current node and make it the new current node. | |
Static Public Attributes | |
Node | currentNode = null |
Provide global access to the current node. | |
int | numNodes = 0 |
Static Protected Attributes | |
int | writeDepth = 0 |
Private Attributes | |
IList | next |
|
Initialize the node.
|
|
Add a new alternative branch n to the node.
|
|
Append given node to the current node and make it the new current node.
|
|
Generate a CCMB notation of this node and all its successors (i. e. its transitive alternatives).
Reimplemented in CCM::StateRefNode, and CCM::TransitionNode. |
|
Return an enumerator over all child nodes.
|
|
Return whether this node has any successor nodes.
|
|
Generate a Prolog notation of this node and all its successors (i. e. its transitive alternatives).
Reimplemented in CCM::StateRefNode, and CCM::TransitionNode. |
|
Return a string representation of this Node.
Reimplemented in CCM::StateNode, CCM::StateRefNode, CCM::ValueInNode, CCM::ValueOutNode, and CCM::MethodCallNode. |
|
Provide global access to the current node.
|
|
|
|
|
|
|