Struct StreamIr 

pub struct StreamIr {
    pub stmt: Stmt,
    pub sr2memory: HashMap<StreamReference, Memory>,
    pub wref2window: HashMap<WindowReference, Window>,
    pub lref2lfreq: HashMap<LocalFreqRef, LocalFreq>,
    pub livetime_equivalences: LivetimeEquivalences,
    pub static_schedule: Option<StaticSchedule>,
    pub triggers: HashMap<OutputReference, usize>,
    pub accesses: HashMap<StreamReference, Accesses>,
    pub accessed_by: HashMap<StreamReference, Accesses>,
}

The internal representation of the StreamIR.

Fields

stmt: Stmt

The outermost statement of the StreamIR program.

sr2memory: HashMap<StreamReference, Memory>

The memory representation of each stream.

wref2window: HashMap<WindowReference, Window>

Information on windows in the specification.

lref2lfreq: HashMap<LocalFreqRef, LocalFreq>

A mapping from references to information of local frequencies.

livetime_equivalences: LivetimeEquivalences

Equivalence classes for the livetime information of streams.

static_schedule: Option<StaticSchedule>

The precomputed schedule for global periodic output streams

triggers: HashMap<OutputReference, usize>

The mapping of all output references that represent triggers to the corresponding trigger reference

accesses: HashMap<StreamReference, Accesses>

The collection of streams this stream accesses non-transitively. Includes this stream’s spawn, evaluation condition, and close expressions.

accessed_by: HashMap<StreamReference, Accesses>

The collection of streams that access the current stream non-transitively

Implementations

impl StreamIr

pub fn display(self) -> String

Display the StreamIR using a debugging formatter

impl StreamIr

pub fn stream_memory(&self, sr: StreamReference) -> &Memory

Returns the memory representation for the given stream.

pub fn name(&self, sr: StreamReference) -> &str

Returns the name of the given stream.

pub fn stream_by_name(&self, name: &str) -> Option<StreamReference>

Returns the stream reference of the stream with the given name

pub fn streams(&self) -> impl Iterator<Item = StreamReference> + '_

Returns an iterator over all streams in the specification UNSORTED

pub fn inputs(&self) -> impl Iterator<Item = InputReference> + '_

Returns an iterator over all inputs in the specification UNSORTED

pub fn num_inputs(&self) -> usize

Returns the number of input streams in the specification

pub fn outputs(&self) -> impl Iterator<Item = OutputReference> + '_

Returns an iterator over all output streams in the specification UNSORTED

pub fn triggers(&self) -> impl Iterator<Item = OutputReference> + '_

Returns an iterator over all the output streams that represent triggers UNSORTED

pub fn num_outputs(&self) -> usize

Returns the total number of output streams in the specification

pub fn static_outputs(&self) -> impl Iterator<Item = OutputReference> + '_

Returns an iterator over all static output streams in the specification

pub fn dynamic_outputs(&self) -> impl Iterator<Item = OutputReference> + '_

Returns an iterator over of dynamic output streams in the specification

pub fn parameterized_outputs( &self, ) -> impl Iterator<Item = OutputReference> + '_

Returns the number of parameterized output streams in the specification

impl StreamIr

pub fn all_periodic_pacings(&self) -> (Vec<Duration>, Vec<&LocalFreq>)

Returns all periodic pacings that are used in guards in the StreamIR

Returns a tuple, the first element holds the durations of global frequencies, the second element the reference of local frequencies

Trait Implementations

impl Clone for StreamIr

fn clone(&self) -> StreamIr

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for StreamIr

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

Formats the value using the given formatter.

impl TryFrom<RtLolaMir> for StreamIr

type Error = LoweringError

The type returned in the event of a conversion error.

fn try_from(value: RtLolaMir) -> Result<Self, Self::Error>

Performs the conversion.