[−][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
Blanket Implementations
impl<T, U> Into for T where
U: From<T>,
[src]
U: From<T>,
impl<T> From for T
[src]
impl<T, U> TryFrom 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> Borrow for T where
T: ?Sized,
[src]
T: ?Sized,
impl<T> Any for T where
T: 'static + ?Sized,
[src]
T: 'static + ?Sized,
impl<T> BorrowMut for T where
T: ?Sized,
[src]
T: ?Sized,
fn borrow_mut(&mut self) -> &mut T
[src]
impl<T, U> TryInto for T where
U: TryFrom<T>,
[src]
U: TryFrom<T>,