Struct rtlola_hir::hir::CloseDef

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

The Hir Close definition is composed of the Close condition expression and the annotated pacing.

Fields

condition: Option<&'a Expression>

The close condition, defining when a stream instance is closed and no longer evaluated.

annotated_pacing: Option<&'a AnnotatedPacingType>

The annotated pacing, indicating when the condition should be evaluated.

Implementations

impl<'a> CloseDef<'a>

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

Constructs a new CloseDef

Trait Implementations

impl<'a> Clone for CloseDef<'a>

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

Returns a copy of the value.

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

Performs copy-assignment from source.

impl<'a> Debug for CloseDef<'a>

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

Formats the value using the given formatter.

impl<'a> Copy for CloseDef<'a>