This package contains data type definitions that describe static and dynamic aspects of state machines.
Indicates a state change in a state machine.
Code author: Phillip Luecking <plueckin@techfak.uni-bielefeld.de>
Type : | ASCII-STRING |
---|
Indicates from which state the state machine switched into the to_state.
Type : | ASCII-STRING |
---|
Stores the new state of the state machine, coming from from_state.
Type : | ASCII-STRING |
---|
The cause of the state change, if present.
message StateChange {
/**
* Indicates from which state the state machine switched into the
* @ref .to_state.
*/
required string from_state = 1;
/**
* Stores the new state of the state machine, coming from @ref
* .from_state.
*/
required string to_state = 2;
/**
* The cause of the state change, if present.
*/
optional string cause = 3;
}
Enter search terms or a module, class or function name.