Struct rtlola_frontend::mir::RtLolaMir

pub struct RtLolaMir {
    pub inputs: Vec<InputStream>,
    pub outputs: Vec<OutputStream>,
    pub time_driven: Vec<TimeDrivenStream>,
    pub event_driven: Vec<EventDrivenStream>,
    pub discrete_windows: Vec<DiscreteWindow>,
    pub sliding_windows: Vec<SlidingWindow>,
    pub triggers: Vec<Trigger>,
}

This struct constitutes the Mid-Level Intermediate Representation (MIR) of an RTLola specification.

The RtLolaMir is specifically designed to allow convenient navigation and access to data. Hence, it is perfect for working with the specification rather than work on it.

Most Notable Structs and Enums

• Stream is a trait offering several convenient access methods for everything constituting a stream.
• OutputStream represents a single output stream. The data structure is enriched with information regarding streams accessing it or accessed by it and much more. For input streams confer InputStream.
• StreamReference used for referencing streams within the Mir.
• InstanceTemplate contains all information regarding the parametrization and spawning behavior of streams.
• Expression represents an expression. It contains its ExpressionKind and its type. The latter contains all information specific to a certain kind of expression such as sub-expressions of operators.

See Also

• rtlola_frontend for an overview regarding different representations.
• rtlola_frontend::parse to obtain an RtLolaMir for a specification in form of a string or path to a specification file.
• rtlola_hir::hir::RtLolaHir for a data structs designed for working _on_it.
• RtLolaAst, which is the most basic and down-to-syntax data structure available for RTLola.

Fields

inputs: Vec<InputStream>

Contains all input streams.

outputs: Vec<OutputStream>

Contains all output streams including all triggers. They only contain the information relevant for every single kind of output stream. Refer to RtLolaMir::time_driven, RtLolaMir::event_driven, and RtLolaMir::triggers for more information.

time_driven: Vec<TimeDrivenStream>

References and pacing information of all time-driven streams.

event_driven: Vec<EventDrivenStream>

References and pacing information of all event-driven streams.

discrete_windows: Vec<DiscreteWindow>

A collection of all discrete windows.

sliding_windows: Vec<SlidingWindow>

A collection of all sliding windows.

triggers: Vec<Trigger>

References and message information of all triggers.

Implementations

impl RtLolaMir

pub fn input_refs(&self) -> impl Iterator<Item = InputReference>

Returns a collection containing a reference to each input stream in the specification.

pub fn output_refs(&self) -> impl Iterator<Item = OutputReference>

Returns a collection containing a reference to each output stream in the specification.

pub fn input_mut(&mut self, reference: StreamReference) -> &mut InputStream

Provides mutable access to an input stream.

Panic

Panics if reference is a StreamReference::Out.

pub fn input(&self, reference: StreamReference) -> &InputStream

Provides immutable access to an input stream.

Panic

Panics if reference is a StreamReference::Out.

pub fn output_mut(&mut self, reference: StreamReference) -> &mut OutputStream

Provides mutable access to an output stream.

Panic

Panics if reference is a StreamReference::In.

pub fn output(&self, reference: StreamReference) -> &OutputStream

Provides immutable access to an output stream.

Panic

Panics if reference is a StreamReference::In.

pub fn all_streams(&self) -> impl Iterator<Item = StreamReference>

Produces an iterator over all stream references.

pub fn all_triggers(&self) -> Vec<&OutputStream>

Provides a collection of all output streams representing a trigger.

pub fn all_event_driven(&self) -> Vec<&OutputStream>

Provides a collection of all event-driven output streams.

pub fn all_time_driven(&self) -> Vec<&OutputStream>

Provides a collection of all time-driven output streams.

pub fn get_ac(&self, sref: StreamReference) -> Option<&ActivationCondition>

Provides the activation contion of a event-driven stream and none if the stream is time-driven

pub fn discrete_window(&self, window: WindowReference) -> &DiscreteWindow

Provides immutable access to a discrete window.

Panic

Panics if window is a WindowReference::Sliding.

pub fn sliding_window(&self, window: WindowReference) -> &SlidingWindow

Provides immutable access to a sliding window.

Panic

Panics if window is a WindowReference::Discrete.

pub fn get_event_driven_layers(&self) -> Vec<Vec<OutputReference>>

Provides a representation for the evaluation layers of all event-driven output streams. Each element of the outer Vec represents a layer, each element of the inner Vec an output stream in the layer.

pub fn compute_schedule(&self) -> Result<Schedule, String>

Attempts to compute a schedule for all time-driven streams.

Fail

Fails if the resulting schedule would require at least 10^7 deadlines.

Trait Implementations

impl Clone for RtLolaMir

fn clone(&self) -> RtLolaMir

Returns a copy of the value.

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

Performs copy-assignment from source.

impl Debug for RtLolaMir

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

Formats the value using the given formatter.

impl PartialEq<RtLolaMir> for RtLolaMir

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

This method tests for self and other values to be equal, and is used by ==.

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

This method tests for !=.

impl StructuralPartialEq for RtLolaMir