Struct rtlola_frontend::mir::InputStream

pub struct InputStream {
    pub name: String,
    pub ty: Type,
    pub accessed_by: Vec<(StreamReference, Vec<StreamAccessKind>)>,
    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, Vec<StreamAccessKind>)>

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<'de> Deserialize<'de> for InputStream

fn deserialize<__D>(__deserializer: __D) -> Result<Self, __D::Error>where
    __D: Deserializer<'de>,

Deserialize this value from the given Serde deserializer.

impl Display 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: &Rhs) -> bool

This method tests for !=. The default implementation is almost always sufficient, and should not be overridden without very good reason.

impl Serialize for InputStream

fn serialize<__S>(&self, __serializer: __S) -> Result<__S::Ok, __S::Error>where
    __S: Serializer,

Serialize this value into the given Serde serializer.

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 name(&self) -> &str

Reports the name of the stream.

fn ty(&self) -> &Type

Returns the type 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 is_closed(&self) -> bool

Indicates whether or not the stream is closed.

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