Enum InvarError 

pub enum InvarError {
    IoError(Error),
    InvalidInvariant(String),
    UndefinedIdentifier(String),
    TypeMismatch(String),
    Unsupported(String),
    AnalysisFailed(String),
    GenerationFailed(String),
    SimulationFailed(String),
    ConfigError(String),
    Custom(String),
}

Errors that can occur during invariant analysis and generation.

Variants

IoError(Error)

IO error occurred during file operations.

InvalidInvariant(String)

Invalid invariant syntax or structure.

UndefinedIdentifier(String)

Undefined identifier in invariant expression.

TypeMismatch(String)

Type mismatch in expression.

Unsupported(String)

Unsupported chain or pattern.

AnalysisFailed(String)

Analysis failed with details.

GenerationFailed(String)

Generation failed with details.

SimulationFailed(String)

Simulation failed with details.

ConfigError(String)

Configuration or parsing error.

Custom(String)

Custom error message.

Implementations

impl InvarError

pub fn custom<S>(msg: S) -> InvarError

where S: Into<String>,

Create a custom error with a message.

pub fn invalid_invariant<S>(msg: S) -> InvarError

where S: Into<String>,

Create an invalid invariant error.

pub fn undefined_identifier<S>(name: S) -> InvarError

where S: Into<String>,

Create an undefined identifier error.

pub fn type_mismatch<S>(msg: S) -> InvarError

where S: Into<String>,

Create a type mismatch error.

pub fn unsupported<S>(msg: S) -> InvarError

where S: Into<String>,

Create an unsupported pattern error.

Trait Implementations

impl Debug for InvarError

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

Formats the value using the given formatter.

impl Display for InvarError

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

Formats the value using the given formatter.

impl Error for InvarError

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.

impl From<Error> for InvarError

fn from(source: Error) -> InvarError

Converts to this type from the input type.