pub struct ModelPropertyVerifier { /* private fields */ }Expand description
Advanced model property verification
Implementations§
Source§impl ModelPropertyVerifier
impl ModelPropertyVerifier
Sourcepub fn new() -> ModelPropertyVerifier
pub fn new() -> ModelPropertyVerifier
Create a new property verifier
Sourcepub fn add_property(&mut self, property: ModelProperty)
pub fn add_property(&mut self, property: ModelProperty)
Add a property to verify
Sourcepub fn verify_all(&self) -> Vec<PropertyVerificationResult>
pub fn verify_all(&self) -> Vec<PropertyVerificationResult>
Verify all properties
Trait Implementations§
Source§impl Default for ModelPropertyVerifier
impl Default for ModelPropertyVerifier
Source§fn default() -> ModelPropertyVerifier
fn default() -> ModelPropertyVerifier
Returns the “default value” for a type. Read more
Auto Trait Implementations§
impl Freeze for ModelPropertyVerifier
impl RefUnwindSafe for ModelPropertyVerifier
impl Send for ModelPropertyVerifier
impl Sync for ModelPropertyVerifier
impl Unpin for ModelPropertyVerifier
impl UnsafeUnpin for ModelPropertyVerifier
impl UnwindSafe for ModelPropertyVerifier
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.