pub struct CheckerConfig {
pub deep_analysis: bool,
pub max_check_time: Duration,
pub realtime_checking: bool,
pub sample_rate: f64,
}Expand description
Configuration for checkers
Fields§
§deep_analysis: boolWhether to enable deep analysis
max_check_time: DurationMaximum time to spend checking
realtime_checking: boolWhether to check during operation
sample_rate: f64Sampling rate for performance monitoring
Trait Implementations§
Source§impl Clone for CheckerConfig
impl Clone for CheckerConfig
Source§fn clone(&self) -> CheckerConfig
fn clone(&self) -> CheckerConfig
Returns a duplicate of the value. Read more
1.0.0 · Source§fn clone_from(&mut self, source: &Self)
fn clone_from(&mut self, source: &Self)
Performs copy-assignment from
source. Read moreSource§impl Debug for CheckerConfig
impl Debug for CheckerConfig
Auto Trait Implementations§
impl Freeze for CheckerConfig
impl RefUnwindSafe for CheckerConfig
impl Send for CheckerConfig
impl Sync for CheckerConfig
impl Unpin for CheckerConfig
impl UnwindSafe for CheckerConfig
Blanket Implementations§
Source§impl<T> BorrowMut<T> for Twhere
T: ?Sized,
impl<T> BorrowMut<T> for Twhere
T: ?Sized,
Source§fn borrow_mut(&mut self) -> &mut T
fn borrow_mut(&mut self) -> &mut T
Mutably borrows from an owned value. Read more
Source§impl<T> CloneToUninit for Twhere
T: Clone,
impl<T> CloneToUninit for Twhere
T: Clone,
Source§impl<T> Instrument for T
impl<T> Instrument for T
Source§fn instrument(self, span: Span) -> Instrumented<Self>
fn instrument(self, span: Span) -> Instrumented<Self>
Source§fn in_current_span(self) -> Instrumented<Self>
fn in_current_span(self) -> Instrumented<Self>
Source§impl<T> IntoEither for T
impl<T> IntoEither for T
Source§fn into_either(self, into_left: bool) -> Either<Self, Self>
fn into_either(self, into_left: bool) -> Either<Self, Self>
Converts
self into a Left variant of Either<Self, Self>
if into_left is true.
Converts self into a Right variant of Either<Self, Self>
otherwise. Read moreSource§fn into_either_with<F>(self, into_left: F) -> Either<Self, Self>
fn into_either_with<F>(self, into_left: F) -> Either<Self, Self>
Converts
self into a Left variant of Either<Self, Self>
if into_left(&self) returns true.
Converts self into a Right variant of Either<Self, Self>
otherwise. Read more