Skip to main content

ForceObserved

vj_sim::state

Trait ForceObserved 

Source 
pub trait ForceObserved {
    // Required method
    fn on_force_observed(&mut self, net: StateCellId);
}
Expand description

The corresponding runtime guard for external writes (ST-122’s own acceptance text: “an external write (force/release/vpi_put_value) never performs a direct disjoint-range write, only a serialized ForceObserved/on_force_observed path”). driver::force_driver/ release_driver (Task 14, retrofitted by this task) each call every listener registered via StateEngine::register_force_observed, so a future partitioning/independence assumption can invalidate itself the instant an external force/vpi_put_value touches a region-crossing net, rather than trusting a now-stale static classification (ARCHITECTURE §4/§9).

Required Methods§

Source

fn on_force_observed(&mut self, net: StateCellId)

Dyn Compatibility§

This trait is dyn compatible.

In older versions of Rust, dyn compatibility was called "object safety".

Implementors§