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: Into<String>>(msg: S) -> Self

Create a custom error with a message.

pub fn invalid_invariant<S: Into<String>>(msg: S) -> Self

Create an invalid invariant error.

pub fn undefined_identifier<S: Into<String>>(name: S) -> Self

Create an undefined identifier error.

pub fn type_mismatch<S: Into<String>>(msg: S) -> Self

Create a type mismatch error.

pub fn unsupported<S: Into<String>>(msg: S) -> Self

Create an unsupported pattern error.

Trait Implementations

impl Debug for InvarError

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

Formats the value using the given formatter.

impl Display for InvarError

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

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) -> Self

Converts to this type from the input type.