pub struct APIConsistencyValidator {
pub config: ValidationConfig,
pub results: ValidationResults,
pub function_registry: FunctionRegistry,
}Expand description
API consistency validation framework
Fields§
§config: ValidationConfigConfiguration for validation
results: ValidationResultsValidation results
function_registry: FunctionRegistryFunction registry for cross-module validation
Implementations§
Source§impl APIConsistencyValidator
impl APIConsistencyValidator
Sourcepub fn new(config: ValidationConfig) -> Self
pub fn new(config: ValidationConfig) -> Self
Create new API consistency validator
Sourcepub fn validate_all(&mut self) -> StatsResult<&ValidationResults>
pub fn validate_all(&mut self) -> StatsResult<&ValidationResults>
Run complete API consistency validation
Sourcepub fn register_function(&mut self, functionsig: FunctionSignature)
pub fn register_function(&mut self, functionsig: FunctionSignature)
Register a function for validation
Sourcepub fn generate_report(&self) -> ValidationReport
pub fn generate_report(&self) -> ValidationReport
Generate validation report
Auto Trait Implementations§
impl Freeze for APIConsistencyValidator
impl RefUnwindSafe for APIConsistencyValidator
impl Send for APIConsistencyValidator
impl Sync for APIConsistencyValidator
impl Unpin for APIConsistencyValidator
impl UnwindSafe for APIConsistencyValidator
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> 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> Pointable for T
impl<T> Pointable for T
Source§impl<SS, SP> SupersetOf<SS> for SPwhere
SS: SubsetOf<SP>,
impl<SS, SP> SupersetOf<SS> for SPwhere
SS: SubsetOf<SP>,
Source§fn to_subset(&self) -> Option<SS>
fn to_subset(&self) -> Option<SS>
The inverse inclusion map: attempts to construct
self from the equivalent element of its
superset. Read moreSource§fn is_in_subset(&self) -> bool
fn is_in_subset(&self) -> bool
Checks if
self is actually part of its subset T (and can be converted to it).Source§fn to_subset_unchecked(&self) -> SS
fn to_subset_unchecked(&self) -> SS
Use with care! Same as
self.to_subset but without any property checks. Always succeeds.Source§fn from_subset(element: &SS) -> SP
fn from_subset(element: &SS) -> SP
The inclusion map: converts
self to the equivalent element of its superset.