Enum PropertyError 

pub enum PropertyError {
    PropertyFailed {
        message: String,
        context: Option<String>,
        iteration: Option<usize>,
    },
    GenerationFailed {
        message: String,
        context: Option<String>,
    },
    ShrinkageTimeout {
        iterations: usize,
        last_successful_shrink: Option<String>,
    },
    ConfigError {
        message: String,
        field: Option<String>,
    },
    TestCancelled {
        reason: String,
    },
    InternalError {
        message: String,
        source_message: Option<String>,
    },
}

Comprehensive error type for property testing failures

Variants

PropertyFailed

Property test failed with a specific message and optional context

Fields

message: String

context: Option<String>

iteration: Option<usize>

GenerationFailed

Generation of test data failed

Fields

message: String

context: Option<String>

ShrinkageTimeout

Shrinkage process timed out

Fields

iterations: usize

last_successful_shrink: Option<String>

ConfigError

Configuration error

Fields

message: String

field: Option<String>

TestCancelled

Test execution was cancelled

Fields

reason: String

InternalError

Internal error in the testing framework

Fields

message: String

source_message: Option<String>

Implementations

impl PropertyError

Helper functions for creating PropertyError instances with context

pub fn property_failed(message: impl Into<String>) -> Self

Create a simple property failed error

pub fn property_failed_with_context( message: impl Into<String>, context: Option<impl Into<String>>, iteration: Option<usize>, ) -> Self

Create a property failed error with context

pub fn generation_failed_with_context( message: impl Into<String>, context: Option<impl Into<String>>, ) -> Self

Create a generation failed error with context

pub fn config_error_with_field( message: impl Into<String>, field: Option<impl Into<String>>, ) -> Self

Create a configuration error with field information

pub fn shrinkage_timeout_with_context( iterations: usize, last_successful_shrink: Option<impl Into<String>>, ) -> Self

Create a shrinkage timeout error with last successful shrink

pub fn internal_error( message: impl Into<String>, source_message: Option<impl Into<String>>, ) -> Self

Create an internal error

pub fn test_cancelled(reason: impl Into<String>) -> Self

Create a test cancelled error

pub fn execution_failed(message: impl Into<String>) -> Self

Create an execution failed error (convenience method)

Trait Implementations

impl Clone for PropertyError

fn clone(&self) -> PropertyError

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for PropertyError

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

Formats the value using the given formatter.

impl Display for PropertyError

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

Formats the value using the given formatter.

impl Error for PropertyError

fn source(&self) -> Option<&(dyn Error + 'static)>

Returns the lower-level source of this error, if any.

fn description(&self) -> &str

👎Deprecated since 1.42.0: use the Display impl or to_string()

fn cause(&self) -> Option<&dyn Error>

👎Deprecated since 1.33.0: replaced by Error::source, which can support downcasting

fn provide<'a>(&'a self, request: &mut Request<'a>)

🔬This is a nightly-only experimental API. (error_generic_member_access)

Provides type-based access to context intended for error reports.