Struct RungSpec 

pub struct RungSpec {
    pub mode: u16,
    pub output_row: u16,
    pub route_ms: u32,
    pub role: u8,
    pub starts_at: &'static [HazardMonitorRef],
}

play_launch phase 96 W4.2 (phase 85 D4) – one rung of a hazard’s ladder (contracts.hazards.<h>.rungs[], top first), lowered by the bake.

Fields

mode: u16

The baked mode id the rung IS (the id request_mode takes), or NO_MODE. While the executor is in this mode, the ladder has fallen to this rung.

output_row: u16

Rate-table row of a publisher on one of the rung’s output topics, or NO_SINK when this executor does not observe one.

route_ms: u32

The rung’s ROUTE as play_launch’s checker charged it (route_ms, rounded up): from its starts_at node’s detection to the rung’s first output, excluding the detection time, any window and the settle. 0 = no route, so the rung is tracked but not judged.

role: u8

RUNG_ROLE_RUNG, RUNG_ROLE_WINDOW or RUNG_ROLE_FLOOR.

starts_at: &'static [HazardMonitorRef]

The hazard’s guard members that belong to the rung’s starts_at node: the route clock starts when one of them reports faulted. Empty when this executor does not observe that node as a detector (a rung below a window starts at the window owner, which is not a guard), and then the clock starts when the rung becomes active.

Trait Implementations

impl Clone for RungSpec

fn clone(&self) -> RungSpec

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Copy for RungSpec

impl Debug for RungSpec

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

Formats the value using the given formatter.