Struct rtlola_frontend::mir::InputStream

pub struct InputStream {
    pub name: String,
    pub ty: Type,
    pub accessed_by: Vec<StreamReference>,
    pub aggregated_by: Vec<(StreamReference, WindowReference)>,
    pub layer: StreamLayers,
    pub memory_bound: MemorizationBound,
    pub reference: StreamReference,
}

Contains all information inherent to an input stream.

Fields

name: String

The name of the stream

ty: Type

The value type of the stream. Note that its pacing is always pre-determined.

accessed_by: Vec<StreamReference>

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

aggregated_by: Vec<(StreamReference, WindowReference)>

The collection of sliding windows that access this stream non-transitively. This includes both sliding and discrete windows.

layer: StreamLayers

Provides the evaluation of layer of this stream.

memory_bound: MemorizationBound

Provides the number of values of this stream’s type that need to be memorized. Refer to Type::size to get a type’s byte-size.

reference: StreamReference

The reference referring to this stream

Trait Implementations

impl Clone for InputStream

fn clone(&self) -> InputStream

Returns a copy of the value.

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

Performs copy-assignment from source.

impl Debug for InputStream

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

Formats the value using the given formatter.

impl PartialEq<InputStream> for InputStream

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

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

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

This method tests for !=.

impl Stream for InputStream

fn spawn_layer(&self) -> Layer

Reports the evaluation layer of the spawn condition of the stream.

fn eval_layer(&self) -> Layer

Reports the evaluation layer of the stream.

fn is_input(&self) -> bool

Indicates whether or not the stream is an input stream.

fn is_parameterized(&self) -> bool

Indicates whether or not the stream has parameters.

fn is_spawned(&self) -> bool

Indicates whether or not the stream spawned / dynamically created.

fn values_to_memorize(&self) -> MemorizationBound

Indicates how many values of the stream’s Type need to be memorized.

fn as_stream_ref(&self) -> StreamReference

Produces a stream references referring to the stream.

impl Eq for InputStream

impl StructuralEq for InputStream

impl StructuralPartialEq for InputStream