Struct rtlola_interpreter::Config

pub struct Config { /* fields omitted */ }

Config combines an RTLola specification in LolaIR form with an EvalConfig.

The evaluation 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.

Implementations

impl Config

pub fn new_api(cfg: EvalConfig, ir: RTLolaIR) -> Config

Creates a new Config which can then be turned into a Monitor by into_monitor.

pub fn new(args: &[String]) -> Self

Parses command line arguments and return a Config if successful.

If the arguments are not valid, this function will print an error message and exit the process with value 1.

pub fn into_monitor(self) -> Result<Monitor, Box<dyn Error>>

Turns a Config that was created through a call to new_api into a Monitor.

pub fn run(self) -> Result<Arc<OutputHandler>, Box<dyn Error>>

Runs a Config that was created through a call to new.

Trait Implementations

impl Clone for Config

fn clone(&self) -> Config

Returns a copy of the value.

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

Performs copy-assignment from source.

impl Debug for Config

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

Formats the value using the given formatter.