Trait rtlola_hir::hir::TypedTrait

source · 
pub trait TypedTrait {
    fn stream_type(&self, sr: StreamReference) -> StreamType;
    fn is_periodic(&self, sr: StreamReference) -> bool;
    fn is_event(&self, sr: StreamReference) -> bool;
    fn expr_type(&self, eid: ExprId) -> StreamType;
    fn get_parameter_type(
        &self,
        sr: StreamReference,
        idx: usize
    ) -> ConcreteValueType;
}
Expand description

Describes the functionality of a mode after checking and inferring types

Required Methods§

source

fn stream_type(&self, sr: StreamReference) -> StreamType

Returns the StreamType of the given stream

Panic

The function panics if the StreamReference is invalid.

source

fn is_periodic(&self, sr: StreamReference) -> bool

Returns true if the given stream has a periodic evaluation pacing

Panic

The function panics if the StreamReference is invalid.

source

fn is_event(&self, sr: StreamReference) -> bool

Returns true if the given stream has a event-based evaluation pacing

Panic

The function panics if the StreamReference is invalid.

source

fn expr_type(&self, eid: ExprId) -> StreamType

Returns the StreamType of the given expression

Panic

The function panics if the ExprId is invalid.

source

fn get_parameter_type(&self, sr: StreamReference, idx: usize) -> ConcreteValueType

Returns the ConcreteValueType of the idx parameter of the sr stream template

Panic

The function panics if the StreamReference or the index is invalid.

Implementors§

source§

impl<T> TypedTrait for Twhere
    T: TypedTraitWrapper,