Struct Config

pub struct Config<Mode: ExecutionMode, OutputTime: OutputTimeRepresentation> {
    pub ir: RtLolaMir,
    pub mode: Mode,
    pub output_time_representation: PhantomData<OutputTime>,
    pub start_time: Option<SystemTime>,
}

Config combines an RTLola specification in RtLolaMir form with various configuration parameters for the interpreter.

The configuration describes how the specification should be executed. The Config can then be turned into a monitor for use via the API or simply executed.

Fields

ir: RtLolaMir

The representation of the specification

mode: Mode

In which mode the evaluator is executed

output_time_representation: PhantomData<OutputTime>

Which format to use to output time

start_time: Option<SystemTime>

The start time to assume

Implementations

impl Config<OfflineMode<RelativeFloat>, RelativeFloat>

pub fn debug(ir: RtLolaMir) -> Self

Creates a new Debug config.

impl<Mode: ExecutionMode, OutputTime: OutputTimeRepresentation> Config<Mode, OutputTime>

pub fn api(ir: RtLolaMir) -> Config<OfflineMode<RelativeFloat>, OutputTime>

Creates a new API config

pub fn monitor<Source: EventFactory, Verdict: VerdictRepresentation>( self, data: Source::CreationData, ) -> Result<Monitor<Source, Mode, Verdict, OutputTime>, EventFactoryError>

Turn the configuration into the Monitor API.

Trait Implementations

impl<Mode: Clone + ExecutionMode, OutputTime: Clone + OutputTimeRepresentation> Clone for Config<Mode, OutputTime>

fn clone(&self) -> Config<Mode, OutputTime>

Returns a copy of the value.

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

Performs copy-assignment from source.

impl<Mode: Debug + ExecutionMode, OutputTime: Debug + OutputTimeRepresentation> Debug for Config<Mode, OutputTime>

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

Formats the value using the given formatter.