Struct Halt 

pub struct Halt {
    pub scope: HaltScope,
    pub reason: String,
    pub by: Operator,
    pub at: Timestamp,
}

One standing emergency stop.

The runtime cannot check this instruction — there is no verdict to re-derive and no policy that authorized the judgement — so its whole evidentiary weight is the name beside it, and Operator carries what established that name.

Who lifted one is not kept. Lifting removes the row; retaining lifted rows would be a listing that grows with nothing to empty it. Where the stop reached a running run, AuthorityWithheld holds the operator from this row.

Fields

scope: HaltScope

reason: String

Why. Required when halting, because the next person to look will be somebody else, possibly at three in the morning, and why is the whole question.

by: Operator

Who threw it, and what established the name.

at: Timestamp

When it was thrown. Supplied by the caller, never read from a clock here, for the reason every other lifecycle instant in this crate is: a pass that reads its own clock cannot be tested against an ageing plane.

Trait Implementations

impl Clone for Halt

fn clone(&self) -> Self

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for Halt

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

Formats the value using the given formatter.

impl Eq for Halt

impl PartialEq for Halt

fn eq(&self, other: &Self) -> bool

Equality operator ==.

fn ne(&self, other: &Rhs) -> bool

Inequality operator !=.

impl StructuralPartialEq for Halt