pub struct InCodePredicate(_);
Expand description

Keep predicates concrete Predicates out of our public API. predicates_core::Predicate used by IntoCodePredicate for iterables of codes.

Example

use assert_cmd::prelude::*;

use std::process::Command;

Command::cargo_bin("bin_fixture")
    .unwrap()
    .env("exit", "42")
    .assert()
    .code(&[2, 42] as &[i32]);

Trait Implementations§

source§

impl Debug for InCodePredicate

source§

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

Formats the value using the given formatter. Read more
source§

impl Display for InCodePredicate

source§

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

Formats the value using the given formatter. Read more
source§

impl IntoCodePredicate<InCodePredicate> for &'static [i32]

§

type Predicate = InCodePredicate

The type of the predicate being returned.
source§

fn into_code(self) -> Self::Predicate

Convert to a predicate for testing a program’s exit code.
source§

impl IntoCodePredicate<InCodePredicate> for Vec<i32>

§

type Predicate = InCodePredicate

The type of the predicate being returned.
source§

fn into_code(self) -> Self::Predicate

Convert to a predicate for testing a program’s exit code.
source§

impl Predicate<i32> for InCodePredicate

source§

fn eval(&self, item: &i32) -> bool

Execute this Predicate against variable, returning the resulting boolean.
source§

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

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

impl PredicateReflection for InCodePredicate

source§

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

Nested Predicates of the current Predicate.

source§

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

Parameters of the current Predicate.

Auto Trait Implementations§

Blanket Implementations§

source§

impl<T> Any for Twhere T: 'static + ?Sized,

source§

fn type_id(&self) -> TypeId

Gets the TypeId of self. Read more
source§

impl<T> Borrow<T> for Twhere T: ?Sized,

const: unstable · source§

fn borrow(&self) -> &T

Immutably borrows from an owned value. Read more
source§

impl<T> BorrowMut<T> for Twhere T: ?Sized,

const: unstable · source§

fn borrow_mut(&mut self) -> &mut T

Mutably borrows from an owned value. Read more
source§

impl<T> From<T> for T

const: unstable · source§

fn from(t: T) -> T

Returns the argument unchanged.

source§

impl<T, U> Into<U> for Twhere U: From<T>,

const: unstable · source§

fn into(self) -> U

Calls U::from(self).

That is, this conversion is whatever the implementation of From<T> for U chooses to do.

source§

impl<P> IntoCodePredicate<P> for Pwhere P: Predicate<i32>,

§

type Predicate = P

The type of the predicate being returned.
source§

fn into_code(self) -> <P as IntoCodePredicate<P>>::Predicate

Convert to a predicate for testing a program’s exit code.
source§

impl<P, Item> PredicateBooleanExt<Item> for Pwhere P: Predicate<Item>, Item: ?Sized,

source§

fn and<B>(self, other: B) -> AndPredicate<Self, B, Item>where B: Predicate<Item>, Self: Sized,

Compute the logical AND of two Predicate results, returning the result. Read more
source§

fn or<B>(self, other: B) -> OrPredicate<Self, B, Item>where B: Predicate<Item>, Self: Sized,

Compute the logical OR of two Predicate results, returning the result. Read more
source§

fn not(self) -> NotPredicate<Self, Item>where Self: Sized,

Compute the logical NOT of a Predicate, returning the result. Read more
source§

impl<P, Item> PredicateBoxExt<Item> for Pwhere P: Predicate<Item>,

source§

fn boxed(self) -> BoxPredicate<Item>where Self: Sized + Send + Sync + 'static,

Returns a BoxPredicate wrapper around this Predicate type. Read more
source§

impl<P, Item> PredicateNameExt<Item> for Pwhere P: Predicate<Item>, Item: ?Sized,

source§

fn name(self, name: &'static str) -> NamePredicate<Self, Item>where Self: Sized,

Name a predicate expression. Read more
source§

impl<T> ToString for Twhere T: Display + ?Sized,

source§

default fn to_string(&self) -> String

Converts the given value to a String. Read more
source§

impl<T, U> TryFrom<U> for Twhere U: Into<T>,

§

type Error = Infallible

The type returned in the event of a conversion error.
const: unstable · source§

fn try_from(value: U) -> Result<T, <T as TryFrom<U>>::Error>

Performs the conversion.
source§

impl<T, U> TryInto<U> for Twhere U: TryFrom<T>,

§

type Error = <U as TryFrom<T>>::Error

The type returned in the event of a conversion error.
const: unstable · source§

fn try_into(self) -> Result<U, <U as TryFrom<T>>::Error>

Performs the conversion.