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

Returns the StreamType of the given stream

Panic

The function panics if the StreamReference is invalid.

Returns true if the given stream has a periodic evaluation pacing

Panic

The function panics if the StreamReference is invalid.

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

Panic

The function panics if the StreamReference is invalid.

Returns the StreamType of the given expression

Panic

The function panics if the ExprId is invalid.

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