Struct DebugSessionRegistry 

pub struct DebugSessionRegistry { /* private fields */ }

Registry for managing debug sessions.

Implementations

impl DebugSessionRegistry

pub fn new() -> Self

Creates a new registry with default settings.

pub fn with_options( max_sessions: usize, event_store_factory: Option<EventStoreFactory>, completion_listeners: Vec<SessionCompletionListener>, ) -> Self

Creates a registry with custom options.

pub fn register( &mut self, session_id: String, net: &PetriNet, ) -> Arc<DebugEventStore>

Registers a new debug session for the given Petri net.

pub fn complete(&mut self, session_id: &str)

Marks a session as completed.

pub fn remove(&mut self, session_id: &str) -> Option<DebugSession>

Removes a session from the registry.

pub fn get_session(&self, session_id: &str) -> Option<&DebugSession>

Returns a reference to a session by ID.

pub fn list_sessions(&self, limit: usize) -> Vec<&DebugSession>

Lists sessions, ordered by start time (most recent first).

pub fn list_active_sessions(&self, limit: usize) -> Vec<&DebugSession>

Lists only active sessions.

pub fn size(&self) -> usize

Total number of sessions.

pub fn register_imported( &mut self, session_id: String, net_name: String, dot_diagram: String, structure: NetStructure, event_store: Arc<DebugEventStore>, start_time: u64, )

Registers an imported (archived) session as inactive.

Trait Implementations

impl Default for DebugSessionRegistry

fn default() -> Self

Returns the “default value” for a type.