pub struct RuntimeMonitor<S> { /* private fields */ }Expand description
Runtime monitor for continuous verification.
Implementations§
Source§impl<S: ChainState> RuntimeMonitor<S>
impl<S: ChainState> RuntimeMonitor<S>
Sourcepub fn with_config(config: MonitorConfig) -> Self
pub fn with_config(config: MonitorConfig) -> Self
Create with custom configuration.
Sourcepub fn add_check(&mut self, check: impl RuntimeCheck<S> + Send + Sync + 'static)
pub fn add_check(&mut self, check: impl RuntimeCheck<S> + Send + Sync + 'static)
Add a check to the monitor.
Sourcepub fn check_state(&self, state: &S) -> Vec<CheckRecord>
pub fn check_state(&self, state: &S) -> Vec<CheckRecord>
Run all checks against a state.
Sourcepub fn failure_count(&self) -> usize
pub fn failure_count(&self) -> usize
Get total failure count.
Sourcepub fn recent_history(&self, count: usize) -> Vec<CheckRecord>
pub fn recent_history(&self, count: usize) -> Vec<CheckRecord>
Get recent history.
Sourcepub fn clear_history(&self)
pub fn clear_history(&self)
Clear history.
Trait Implementations§
Source§impl<S: ChainState> Default for RuntimeMonitor<S>
impl<S: ChainState> Default for RuntimeMonitor<S>
Auto Trait Implementations§
impl<S> Freeze for RuntimeMonitor<S>
impl<S> !RefUnwindSafe for RuntimeMonitor<S>
impl<S> Send for RuntimeMonitor<S>
impl<S> Sync for RuntimeMonitor<S>
impl<S> Unpin for RuntimeMonitor<S>
impl<S> !UnwindSafe for RuntimeMonitor<S>
Blanket Implementations§
Source§impl<T> ArchivePointee for T
impl<T> ArchivePointee for T
Source§type ArchivedMetadata = ()
type ArchivedMetadata = ()
The archived version of the pointer metadata for this type.
Source§fn pointer_metadata(
_: &<T as ArchivePointee>::ArchivedMetadata,
) -> <T as Pointee>::Metadata
fn pointer_metadata( _: &<T as ArchivePointee>::ArchivedMetadata, ) -> <T as Pointee>::Metadata
Converts some archived metadata to the pointer metadata for itself.
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> 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 moreSource§impl<T> LayoutRaw for T
impl<T> LayoutRaw for T
Source§fn layout_raw(_: <T as Pointee>::Metadata) -> Result<Layout, LayoutError>
fn layout_raw(_: <T as Pointee>::Metadata) -> Result<Layout, LayoutError>
Returns the layout of the type.
Source§impl<T, N1, N2> Niching<NichedOption<T, N1>> for N2
impl<T, N1, N2> Niching<NichedOption<T, N1>> for N2
Source§unsafe fn is_niched(niched: *const NichedOption<T, N1>) -> bool
unsafe fn is_niched(niched: *const NichedOption<T, N1>) -> bool
Returns whether the given value has been niched. Read more
Source§fn resolve_niched(out: Place<NichedOption<T, N1>>)
fn resolve_niched(out: Place<NichedOption<T, N1>>)
Writes data to
out indicating that a T is niched.