[−][src]Struct predicates::reflection::Case
A descriptive explanation for why a predicate failed.
Methods
impl<'a> Case<'a>
[src]
pub fn new(
predicate: Option<&'a (dyn PredicateReflection + 'a)>,
result: bool
) -> Case<'a>
[src]
predicate: Option<&'a (dyn PredicateReflection + 'a)>,
result: bool
) -> Case<'a>
Create a new Case
describing the result of a Predicate
.
pub fn add_product(self, product: Product) -> Case<'a>
[src]
Add an additional by product to a Case
.
pub fn add_child(self, child: Case<'a>) -> Case<'a>
[src]
Add an additional by product to a Case
.
pub fn predicate(&self) -> Option<&dyn PredicateReflection>
[src]
The Predicate
that produced this case.
pub fn result(&self) -> bool
[src]
The result of this case.
ⓘImportant traits for CaseProducts<'a>pub fn products(&self) -> CaseProducts
[src]
ⓘImportant traits for CaseProducts<'a>
Access the by-products from determining this case.
ⓘImportant traits for CaseChildren<'a>pub fn children(&self) -> CaseChildren
[src]
ⓘImportant traits for CaseChildren<'a>
Access the sub-cases.
Trait Implementations
Auto Trait Implementations
impl<'a> !Send for Case<'a>
impl<'a> !Sync for Case<'a>
impl<'a> Unpin for Case<'a>
impl<'a> !UnwindSafe for Case<'a>
impl<'a> !RefUnwindSafe for Case<'a>
Blanket Implementations
impl<T, U> Into<U> for T where
U: From<T>,
[src]
U: From<T>,
impl<T> From<T> for T
[src]
impl<T, U> TryFrom<U> for T where
U: Into<T>,
[src]
U: Into<T>,
type Error = Infallible
The type returned in the event of a conversion error.
fn try_from(value: U) -> Result<T, <T as TryFrom<U>>::Error>
[src]
impl<T, U> TryInto<U> for T where
U: TryFrom<T>,
[src]
U: TryFrom<T>,
type Error = <U as TryFrom<T>>::Error
The type returned in the event of a conversion error.
fn try_into(self) -> Result<U, <U as TryFrom<T>>::Error>
[src]
impl<T> Borrow<T> for T where
T: ?Sized,
[src]
T: ?Sized,
impl<T> BorrowMut<T> for T where
T: ?Sized,
[src]
T: ?Sized,
fn borrow_mut(&mut self) -> &mut T
[src]
impl<T> Any for T where
T: 'static + ?Sized,
[src]
T: 'static + ?Sized,