trace_recorder_parser/streaming/event/
state_machine.rs

1use crate::streaming::event::EventCount;
2use crate::time::Timestamp;
3use crate::types::{ObjectHandle, StateMachineName, StateMachineStateName};
4use derive_more::Display;
5
6#[derive(Clone, Eq, PartialEq, Ord, PartialOrd, Hash, Debug, Display)]
7#[display(fmt = "[{timestamp}]:{handle}:{name}")]
8pub struct StateMachineCreateEvent {
9    pub event_count: EventCount,
10    pub timestamp: Timestamp,
11
12    pub handle: ObjectHandle,
13    pub name: StateMachineName,
14}
15
16#[derive(Clone, Eq, PartialEq, Ord, PartialOrd, Hash, Debug, Display)]
17#[display(fmt = "[{timestamp}]:{handle}:{name}:{state}")]
18pub struct StateMachineStateEvent {
19    pub event_count: EventCount,
20    pub timestamp: Timestamp,
21
22    pub handle: ObjectHandle,
23    pub name: StateMachineName,
24    pub state_handle: ObjectHandle,
25    pub state: StateMachineStateName,
26}
27
28pub type StateMachineStateCreateEvent = StateMachineStateEvent;
29pub type StateMachineStateChangeEvent = StateMachineStateEvent;