Struct rtlola_hir::hir::SpawnDef

pub struct SpawnDef<'a> {
    pub expression: Option<&'a Expression>,
    pub condition: Option<&'a Expression>,
    pub annotated_pacing: Option<&'a AnnotatedPacingType>,
}

The Hir Spawn definition is composed of two optional expressions and the annotated pacing. The first one refers to the spawn expression while the second one represents the spawn condition.

Fields

expression: Option<&'a Expression>

The expression of the stream is spawned with, setting the parameters, e.g. spawn with (3,x)

condition: Option<&'a Expression>

The conditional expression of the spawn, e.g. when x > 5

annotated_pacing: Option<&'a AnnotatedPacingType>

The pacing type of the spawn, e.g. @1Hz or @input_i

Implementations

impl<'a> SpawnDef<'a>

pub fn new(
    expression: Option<&'a Expression>,
    condition: Option<&'a Expression>,
    annotated_pacing: Option<&'a AnnotatedPacingType>
) -> Self

Constructs a new SpawnDef

Trait Implementations

impl<'a> Clone for SpawnDef<'a>

fn clone(&self) -> SpawnDef<'a>

Returns a copy of the value.

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

Performs copy-assignment from source.

impl<'a> Debug for SpawnDef<'a>

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

Formats the value using the given formatter.

impl<'a> Copy for SpawnDef<'a>