Struct predicates::BoxPredicate

pub struct BoxPredicate<Item: ?Sized>(_);

Predicate that wraps another Predicate as a trait object, allowing sized storage of predicate types.

Methods

impl<Item> BoxPredicate<Item> where     Item: ?Sized,

pub fn new<P: Predicate<Item>>(inner: P) -> BoxPredicate<Item> where     P: Send + Sync + 'static,

Creates a new BoxPredicate, a wrapper around a dynamically-dispatched Predicate type with useful trait impls.

Trait Implementations

impl<Item> Debug for BoxPredicate<Item> where     Item: ?Sized,

fn fmt(&self, f: &mut Formatter) -> Result

Formats the value using the given formatter.

impl<Item> PredicateReflection for BoxPredicate<Item> where     Item: ?Sized,

Important traits for Box<R>

impl<R> Read for Box<R> where
    R: Read + ?Sized, impl<W> Write for Box<W> where
    W: Write + ?Sized, impl<I> Iterator for Box<I> where
    I: Iterator + ?Sized,  type Item = <I as Iterator>::Item;

fn parameters<'a>(&'a self) -> Box<Iterator<Item = Parameter<'a>> + 'a>

Parameters of the current Predicate.

Important traits for Box<R>

impl<R> Read for Box<R> where
    R: Read + ?Sized, impl<W> Write for Box<W> where
    W: Write + ?Sized, impl<I> Iterator for Box<I> where
    I: Iterator + ?Sized,  type Item = <I as Iterator>::Item;

fn children<'a>(&'a self) -> Box<Iterator<Item = Child<'a>> + 'a>

Nested Predicates of the current Predicate.

impl<Item> Display for BoxPredicate<Item> where     Item: ?Sized,

fn fmt(&self, f: &mut Formatter) -> Result

Formats the value using the given formatter.

impl<Item> Predicate<Item> for BoxPredicate<Item> where     Item: ?Sized,

fn eval(&self, variable: &Item) -> bool

Execute this Predicate against variable, returning the resulting boolean.

fn find_case<'a>(&'a self, expected: bool, variable: &Item) -> Option<Case<'a>>

Find a case that proves this predicate as expected when run against variable.