pub struct CallGraphValidator;Expand description
Call graph validator
Implementations§
Source§impl CallGraphValidator
impl CallGraphValidator
Sourcepub fn validate(call_graph: &CallGraph) -> ValidationReport
pub fn validate(call_graph: &CallGraph) -> ValidationReport
Validate call graph structure
Sourcepub fn validate_with_config(
call_graph: &CallGraph,
config: &CallGraphValidationConfig,
) -> ValidationReport
pub fn validate_with_config( call_graph: &CallGraph, config: &CallGraphValidationConfig, ) -> ValidationReport
Validate call graph structure with custom configuration
Sourcepub fn validate_expectations(
call_graph: &CallGraph,
expectations: &[Expectation],
) -> ValidationReport
pub fn validate_expectations( call_graph: &CallGraph, expectations: &[Expectation], ) -> ValidationReport
Validate against expected patterns
Sourcepub fn validate_expectations_with_config(
call_graph: &CallGraph,
expectations: &[Expectation],
config: &CallGraphValidationConfig,
) -> ValidationReport
pub fn validate_expectations_with_config( call_graph: &CallGraph, expectations: &[Expectation], config: &CallGraphValidationConfig, ) -> ValidationReport
Validate against expected patterns with custom configuration
Auto Trait Implementations§
impl Freeze for CallGraphValidator
impl RefUnwindSafe for CallGraphValidator
impl Send for CallGraphValidator
impl Sync for CallGraphValidator
impl Unpin for CallGraphValidator
impl UnsafeUnpin for CallGraphValidator
impl UnwindSafe for CallGraphValidator
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> EnsureExt<T> for T
impl<T> EnsureExt<T> for T
Source§fn ensure<P, E>(self, predicate: P, error: E) -> Validation<T, NonEmptyVec<E>>where
P: Predicate<T>,
fn ensure<P, E>(self, predicate: P, error: E) -> Validation<T, NonEmptyVec<E>>where
P: Predicate<T>,
Validate that this value satisfies the given predicate. Read more
Source§fn ensure_with<P, E, F>(
self,
predicate: P,
error_fn: F,
) -> Validation<T, NonEmptyVec<E>>
fn ensure_with<P, E, F>( self, predicate: P, error_fn: F, ) -> Validation<T, NonEmptyVec<E>>
Validate with an error-generating function. Read more
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