Type Definition rtlola_interpreter::monitor::TriggerMessages

pub type TriggerMessages = Vec<(OutputReference, String)>;

Represents the index and the formatted message of all violated triggers.

Trait Implementations

impl VerdictRepresentation for TriggerMessages

type Tracing = NoTracer

This subtype captures the tracing capabilities of the verdict representation.

fn create(data: RawVerdict<'_>) -> Selfwhere
    Self: Sized,

Creates a snapshot of the streams values.

fn is_empty(&self) -> bool

Returns whether the verdict is empty. I.e. it doesn’t contain any information.

fn create_with_trace(data: RawVerdict<'_>, _tracing: Self::Tracing) -> Self

Creates a snapshot of the streams values including tracing data.