Module debug_protocol_handler 

Framework-agnostic handler for the Petri net debug protocol.

Manages debug subscriptions, event filtering, breakpoints, and replay for connected clients. Decoupled from any specific WebSocket framework via the ResponseSink trait.

Structs

DebugProtocolHandler

Debug protocol handler managing client connections and command dispatch.

Traits

ResponseSink

Callback for sending responses to a connected client.