Trait rtlola_frontend::mir::Stream
source · pub trait Stream {
fn spawn_layer(&self) -> Layer;
fn eval_layer(&self) -> Layer;
fn name(&self) -> &str;
fn ty(&self) -> &Type;
fn is_input(&self) -> bool;
fn is_parameterized(&self) -> bool;
fn is_spawned(&self) -> bool;
fn is_closed(&self) -> bool;
fn values_to_memorize(&self) -> MemorizationBound;
fn as_stream_ref(&self) -> StreamReference;
}
Expand description
A trait for any kind of stream.
Required Methods§
sourcefn spawn_layer(&self) -> Layer
fn spawn_layer(&self) -> Layer
Reports the evaluation layer of the spawn condition of the stream.
sourcefn eval_layer(&self) -> Layer
fn eval_layer(&self) -> Layer
Reports the evaluation layer of the stream.
sourcefn is_parameterized(&self) -> bool
fn is_parameterized(&self) -> bool
Indicates whether or not the stream has parameters.
sourcefn is_spawned(&self) -> bool
fn is_spawned(&self) -> bool
Indicates whether or not the stream spawned / dynamically created.
sourcefn values_to_memorize(&self) -> MemorizationBound
fn values_to_memorize(&self) -> MemorizationBound
Indicates how many values of the stream’s Type need to be memorized.
sourcefn as_stream_ref(&self) -> StreamReference
fn as_stream_ref(&self) -> StreamReference
Produces a stream references referring to the stream.