Struct SimulationLayerHandle 

pub struct SimulationLayerHandle { /* private fields */ }

Cheap-to-clone handle to a SimulationLayer’s captured state.

Implementations

impl SimulationLayerHandle

pub fn register(&self, inv: Box<dyn Invariant + Send>)

Register an invariant, run on every Self::run_invariants call.

pub fn reset_for_seed(&self)

Reset captured events and invariant state for a new seed.

Clears all event vectors, resets the sequence counter, and calls Invariant::reset on each registered invariant.

pub fn current_sim_time_ms(&self) -> u64

Latest known simulation time in milliseconds.

Updated by Self::set_sim_time_ms (the orchestrator pushes after each sim.step()). Read at capture time to stamp captured events.

pub fn set_sim_time_ms(&self, ms: u64)

Override the latest known simulation time. Called by the orchestrator to keep the layer’s clock advancing between steps.

pub fn record_sim_fault(&self, time_ms: u64, fault: &SimFaultEvent)

Record a runner-injected fault into the timeline.

Stored under the SIM_FAULT_EVENT_NAME event name with source = "sim", a kind field identifying the fault variant, and the fault’s payload flattened into fields. time_ms is the sim time at which the fault occurred (stamped by the engine, not at drain time).

pub fn run_invariants(&self)

Run all registered invariants against the captured events at the current sim time. Called by the orchestrator after each step.

Trait Implementations

impl Clock for SimulationLayerHandle

fn now_ms(&self) -> u64

Current simulation time in milliseconds.

impl Clone for SimulationLayerHandle

fn clone(&self) -> SimulationLayerHandle

Returns a duplicate of the value.

fn clone_from(&mut self, source: &Self)

Performs copy-assignment from source.

impl TraceQuery for SimulationLayerHandle

fn len(&self, name: &str) -> usize

Total number of events captured under name.

fn since(&self, name: &str, cursor: &Cell<usize>) -> Vec<TraceEvent>

Return clones of events named name past cursor, and advance the cursor to the new end.

fn snapshot(&self, name: &str) -> Vec<TraceEvent>

All events captured under name since the start of the seed. Convenience for full re-scans; prefer since when an incremental cursor will do.