Struct DebugSession 

pub struct DebugSession {
    pub session_id: String,
    pub net_name: String,
    pub dot_diagram: String,
    pub places: Option<PlaceAnalysis>,
    pub transition_names: Vec<String>,
    pub event_store: Arc<DebugEventStore>,
    pub start_time: u64,
    pub active: bool,
    pub imported_structure: Option<NetStructure>,
    pub end_time: Option<u64>,
    pub tags: HashMap<String, String>,
}

A registered debug session.

Fields

session_id: String

net_name: String

dot_diagram: String

places: Option<PlaceAnalysis>

transition_names: Vec<String>

event_store: Arc<DebugEventStore>

start_time: u64

active: bool

imported_structure: Option<NetStructure>

end_time: Option<u64>

Stamped on first DebugSessionRegistry::complete. None while active. (libpetri 1.6.0+)

tags: HashMap<String, String>

Per-session tag storage. Prefer DebugSessionRegistry::tag / DebugSessionRegistry::tags_for over direct access. (libpetri 1.6.0+)

Implementations

impl DebugSession

pub fn duration_ms(&self) -> Option<u64>

Returns the session duration in milliseconds if the session has completed. (libpetri 1.6.0+)