Public Member Functions | |
Model () | |
Initialize an empty model. | |
Model (FileStream reader) | |
Deserialize model from the given reader. | |
void | setStartState () |
Create a state node from the current state of the component and marks it as start state. | |
StateNode | getStartState () |
Return the start state. | |
int | fieldIndex (string fieldname) |
Return the index of the field with given name or -1 if no such field exists. | |
void | terminateThread () |
Terminate the current process thread by appending a state node and add it to the todo list (if necessary). | |
void | writeCCMB (TextWriter writer) |
Write the generated processes in CCMB notation to the given writer. | |
void | writeProlog (TextWriter writer) |
Write the generated processes in Prolog syntax to the given writer. | |
void | writeBin (Stream writer) |
Write the generated processes in binary form to the given stream. | |
StateNode | nextTodo () |
Return the next state whose process is not yet calculated and add it to the set of known states. | |
Hashtable | getStates () |
Return the state dictionary. | |
Public Attributes | |
Class | comp |
The modelled CCM.Comp class. | |
StateAbstraction | stateAbstraction |
State abstraction in deserialized models. | |
TransitionAbstraction | transitionAbstraction |
Transition abstraction in deserialized models. | |
IList | stateFormat |
List of state names in deserialized models. | |
Static Public Attributes | |
Model | currentInstance |
Used for writeProlog(): StateNodeRef must be able to resolve to a proper StateNode to produce a proper string; this contains a global pointer to the Model instance of which writeProlog() was called. | |
Private Attributes | |
StateNode | startState |
Initial state as set by setStartState(). | |
Hashtable | states |
Already calculated processes (StateNode.stateName() -> Node). | |
Queue | todo |
States whose processes must still be calculated (contains StateNodes). |
|
Initialize an empty model.
|
|
Deserialize model from the given reader.
|
|
Return the index of the field with given name or -1 if no such field exists.
|
|
Return the start state.
|
|
Return the state dictionary.
|
|
Return the next state whose process is not yet calculated and add it to the set of known states.
|
|
Create a state node from the current state of the component and marks it as start state.
|
|
Terminate the current process thread by appending a state node and add it to the todo list (if necessary).
|
|
Write the generated processes in binary form to the given stream.
|
|
Write the generated processes in CCMB notation to the given writer.
|
|
Write the generated processes in Prolog syntax to the given writer.
|
|
The modelled CCM.Comp class. This field is not serialized! When loading a binary dump, the abstractions will be stored in stateAbstraction and transitionAbstraction. |
|
Used for writeProlog(): StateNodeRef must be able to resolve to a proper StateNode to produce a proper string; this contains a global pointer to the Model instance of which writeProlog() was called.
|
|
Initial state as set by setStartState().
|
|
State abstraction in deserialized models.
|
|
List of state names in deserialized models.
|
|
Already calculated processes (StateNode.stateName() -> Node).
|
|
States whose processes must still be calculated (contains StateNodes).
|
|
Transition abstraction in deserialized models.
|