Struct rtlola_interpreter::Config [−][src]
pub struct Config { /* fields omitted */ }
Expand description
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
[src]
impl Config
[src]pub fn new_api(cfg: EvalConfig, ir: RtLolaMir) -> Config
[src]
pub fn new_api(cfg: EvalConfig, ir: RtLolaMir) -> Config
[src]Creates a new Config
which can then be turned into a Monitor
by into_monitor
.
pub fn new(args: &[String]) -> Self
[src]
pub fn new(args: &[String]) -> Self
[src]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.
Trait Implementations
Auto Trait Implementations
impl RefUnwindSafe for Config
impl Send for Config
impl Sync for Config
impl Unpin for Config
impl UnwindSafe for Config
Blanket Implementations
impl<T> BorrowMut<T> for T where
T: ?Sized,
[src]
impl<T> BorrowMut<T> for T where
T: ?Sized,
[src]pub fn borrow_mut(&mut self) -> &mut T
[src]
pub fn borrow_mut(&mut self) -> &mut T
[src]Mutably borrows from an owned value. Read more
impl<T> Same<T> for T
impl<T> Same<T> for T
type Output = T
type Output = T
Should always be Self
impl<T> ToOwned for T where
T: Clone,
[src]
impl<T> ToOwned for T where
T: Clone,
[src]type Owned = T
type Owned = T
The resulting type after obtaining ownership.
pub fn to_owned(&self) -> T
[src]
pub fn to_owned(&self) -> T
[src]Creates owned data from borrowed data, usually by cloning. Read more
pub fn clone_into(&self, target: &mut T)
[src]
pub fn clone_into(&self, target: &mut T)
[src]🔬 This is a nightly-only experimental API. (toowned_clone_into
)
recently added
Uses borrowed data to replace owned data, usually by cloning. Read more