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.
|
|
|
|
|
|
|
|
|
|
1.3.7