Struct predicates::reflection::Case [−][src]
pub struct Case<'a> { /* fields omitted */ }
Expand description
A descriptive explanation for why a predicate failed.
Implementations
Create a new Case
describing the result of a Predicate
.
Add an additional by product to a Case
.
The Predicate
that produced this case.
pub fn products(&self) -> CaseProducts<'_>ⓘNotable traits for CaseProducts<'a>
impl<'a> Iterator for CaseProducts<'a> type Item = &'a Product;
pub fn products(&self) -> CaseProducts<'_>ⓘNotable traits for CaseProducts<'a>
impl<'a> Iterator for CaseProducts<'a> type Item = &'a Product;
Access the by-products from determining this case.
pub fn children(&self) -> CaseChildren<'_>ⓘNotable traits for CaseChildren<'a>
impl<'a> Iterator for CaseChildren<'a> type Item = &'a Case<'a>;
pub fn children(&self) -> CaseChildren<'_>ⓘNotable traits for CaseChildren<'a>
impl<'a> Iterator for CaseChildren<'a> type Item = &'a Case<'a>;
Access the sub-cases.
Trait Implementations
Auto Trait Implementations
impl<'a> !RefUnwindSafe for Case<'a>
impl<'a> !UnwindSafe for Case<'a>