Struct prop_check_rs::prop::Prop

pub struct Prop { /* private fields */ }

Represents the property.
プロパティを表す。

Implementations

impl Prop

pub fn new<F>(f: F) -> Prop

where F: Fn(MaxSize, TestCases, RNG) -> PropResult + 'static,

Create a new Prop.

Arguments

• f - The function to evaluate the properties.

Returns

• Prop - The new Prop.

pub fn run( &self, max_size: MaxSize, test_cases: TestCases, rng: RNG ) -> PropResult

Execute the Prop.

Arguments

• max_size - The maximum size of the generated value.
• test_cases - The number of test cases.
• rng - The random number generator.

Returns

• PropResult - The result of the Prop.

pub fn tag(self, msg: String) -> Prop

The tag method can add a message to the PropResult.

Arguments

• msg - The message.

Returns

• Prop - The tagged Prop.

pub fn and(self, other: Self) -> Prop

The and method can combine a other Prop. If the first Prop is passed, the second Prop is executed.

Arguments

• other - The other Prop.

Returns

• Prop - The combined Prop.

pub fn or(self, other: Self) -> Prop

The ‘or’ method can combine a other Prop. If the first Prop is falsified, the second Prop is executed.

Arguments

• other - The other Prop.

Returns

• Prop - The combined Prop.

Trait Implementations

impl Clone for Prop

fn clone(&self) -> Self

Returns a copy of the value.

fn clone_from(&mut self, source: &Self)

Performs copy-assignment from source.