libpetri-debug 1.7.0

Debug protocol for libpetri Coloured Time Petri Net engine
Documentation 
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43

//! # libpetri-debug — Debug Protocol for Petri Net Inspection
//!
//! Provides a framework-agnostic debug protocol for live inspection,
//! replay, breakpoints, and event filtering of Petri net executions.
//!
//! ## Architecture
//!
//! - [`DebugAwareEventStore`] wraps a primary `EventStore` and an `Arc<DebugEventStore>`,
//!   forwarding events to both. The executor owns the wrapper; the protocol handler
//!   shares the `Arc<DebugEventStore>`.
//! - [`DebugProtocolHandler`] dispatches commands from clients, manages subscriptions,
//!   and sends responses via the [`ResponseSink`] trait.
//! - [`DebugSessionRegistry`] tracks sessions, generates DOT diagrams, and extracts
//!   net structure.
//!
//! ## Feature Flags
//!
//! - `archive` — Enables gzip-compressed session archive read/write.

pub mod archive;
pub mod debug_aware_event_store;
pub mod debug_command;
pub mod debug_event_store;
pub mod debug_protocol_handler;
pub mod debug_response;
pub mod debug_session_registry;
pub mod marking_cache;
pub mod net_event_converter;
pub mod place_analysis;

// Re-exports for convenience
pub use debug_aware_event_store::DebugAwareEventStore;
pub use debug_command::{
    BreakpointConfig, BreakpointType, DebugCommand, EventFilter, SubscriptionMode,
};
pub use debug_event_store::DebugEventStore;
pub use debug_protocol_handler::{DebugProtocolHandler, ResponseSink};
pub use debug_response::{
    DebugResponse, NetEventInfo, NetStructure, PlaceInfo, SessionSummary, TokenInfo, TransitionInfo,
};
pub use debug_session_registry::{DebugSession, DebugSessionRegistry};
pub use marking_cache::ComputedState;
pub use place_analysis::PlaceAnalysis;