Struct HazardSpec 

pub struct HazardSpec {
    pub key: &'static str,
    pub ftti_ms: u32,
    pub settle_ms: u32,
    pub guards: &'static [GuardSpec],
    pub sink: u16,
    pub cell: &'static HazardCell,
}

One contracted hazard (contracts.hazards), lowered by the bake.

Fields

key: &'static str

The hazard’s contract key (<scope>/<name>), the report key.

ftti_ms: u32

Declared ftti_ms; 0 = none declared.

settle_ms: u32

The reacting path’s safe_state.settle_ms, added to the reaction time as play_launch adds it; 0 = none.

guards: &'static [GuardSpec]

The faults the hazard covers; any one of them is the hazard.

sink: u16

Rate-table row of the safe_state.emits publisher, or NO_SINK.

cell: &'static HazardCell

The observer’s state.

Trait Implementations

impl Clone for HazardSpec

fn clone(&self) -> HazardSpec

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Copy for HazardSpec

impl Debug for HazardSpec

fn fmt(&self, f: &mut Formatter<'_>) -> Result

Formats the value using the given formatter.