Struct rtlola_hir::hir::Trigger

pub struct Trigger {
    pub message: String,
    pub info_streams: Vec<StreamReference>,
    /* private fields */
}

Represents a trigger of an RTLola specification.

Fields

message: String

The message that will be conveyed when the trigger expression evaluates to true.

info_streams: Vec<StreamReference>

A collection of streams which can be used in the message. Their value is printed when the trigger is activated.

Implementations

impl Trigger

pub fn sr(&self) -> StreamReference

Provides the reference of a stream that represents this trigger.

pub fn expression(&self) -> ExprId

Provides access to the trigger condition

pub fn span(&self) -> Span

The code span referring to the original location of the trigger in the specification.

Trait Implementations

impl Clone for Trigger

fn clone(&self) -> Trigger

Returns a copy of the value.

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

Performs copy-assignment from source.

impl Debug for Trigger

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

Formats the value using the given formatter.