macro_rules! get_expectation_for {
( $actual: expr, panics ) => { ... };
( $actual: expr, does not panic ) => { ... };
( $actual: expr) => { ... };
( $actual: expr , otherwise $reason: expr ) => { ... };
( $actual: expr, $matcher: expr ) => { ... };
}Expand description
States that the asserted values satisfies the required properties of the supplied Matcher
and returns an Expectation object to inspect the results at a later time.
The postulated assertion is verfied immediately,
but the returned Expectation defers a potential panic either until Expectation::verify is called
or the Expectation object is dropped.
It is safe for multiple expectations to fail the assertion code will prevent nested panics.
The macro comes in three different forms:
-
Expect that some expression is true, supplied with an optional error message.
ⓘlet e1 = get_expectation_for!(EXPRESSION); let e2 = get_expectation_for!(EXPRESSION, otherwise "some error message"); -
Expect that some expression satifies the properties of some
Matcher. Expressions used withMatchers must return a reference to a value. TheMatcheris either predefined, a user defined type with aMatcherimplementation, or a closure returning aMatchResult.ⓘlet e1 = get_expectation_for!(&1, eq(1)); let e2 = get_expectation_for!(&1, |x| { let builder = MatchResultBuilder::for_("my_matcher"); if x == 1 { builder.matched } else { builder.failed_because("some reason") } }) -
Expect that some expression is expected to panic/not panic.
ⓘlet e1 = get_expectation_for!(panic!("panic"), panics); let e2 = get_expectation_for!(&1+1, does not panic);
An expectation can be verfied manually
let e1 = get_expectation_for!(&1+1, equal_to(0));
let e2 = get_expectation_for!(&1+1, less_than(4)); // is executed
e1.verify();
let e3 = get_expectation_for!(&1+1, panics); // is never executed as e1 panicsor is automatically verfied on drop.
{
let e1 = get_expectation_for!(&1+1, equal_to(0));
let e2 = get_expectation_for!(&1+1, less_than(4)); // is executed
}
let e3 = get_expectation_for!(1+1, panics); // is never executed as e1 panics