Struct rtlola_interpreter::config::Config

pub struct Config<InputTime: TimeRepresentation, OutputTime: OutputTimeRepresentation> {
    pub ir: RtLolaMir,
    pub mode: ExecutionMode,
    pub input_time_representation: InputTime,
    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: ExecutionMode

In which mode the evaluator is executed

input_time_representation: InputTime

Which format the time is given to the monitor

output_time_representation: PhantomData<OutputTime>

Which format to use to output time

start_time: Option<SystemTime>

The start time to assume

Implementations

impl Config<RelativeFloat, RelativeFloat>

pub fn debug(ir: RtLolaMir) -> Self

Creates a new Debug config.

impl<InputTime: TimeRepresentation, OutputTime: OutputTimeRepresentation> Config<InputTime, OutputTime>

pub fn api(ir: RtLolaMir) -> Self

Creates a new API config

pub fn monitor<Source: Input, Verdict: VerdictRepresentation>(
    self,
    data: Source::CreationData
) -> Result<Monitor<Source, InputTime, Verdict, OutputTime>, Source::Error>

Turn the configuration into the Monitor API.

Trait Implementations

impl<InputTime: Clone + TimeRepresentation, OutputTime: Clone + OutputTimeRepresentation> Clone for Config<InputTime, OutputTime>

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

Returns a copy of the value.

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

Performs copy-assignment from source.

impl<InputTime: Debug + TimeRepresentation, OutputTime: Debug + OutputTimeRepresentation> Debug for Config<InputTime, OutputTime>

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

Formats the value using the given formatter.