Enum rsmt2::ErrorKind

pub enum ErrorKind {
    Msg(String),
    Unsupported,
    SolverError(String),
    IoError(String),
    ParseError(IError),
}

The kind of an error.

Variants

Msg(String)

A convenient variant for String.

Unsupported

The solver reported unsupported.

SolverError(String)

The solver reported an error.

IoError(String)

IO error.

ParseError(IError)

Parsing error (nom style).

Methods

impl ErrorKind

fn description(&self) -> &str

A string describing the error kind.

Trait Implementations

impl Debug for ErrorKind

fn fmt(&self, __arg_0: &mut Formatter) -> Result

Formats the value using the given formatter.

impl Display for ErrorKind

fn fmt(&self, fmt: &mut Formatter) -> Result

Formats the value using the given formatter.

impl<'a> From<&'a str> for ErrorKind

fn from(s: &'a str) -> Self

Performs the conversion.

impl From<String> for ErrorKind

fn from(s: String) -> Self

Performs the conversion.

impl From<Error> for ErrorKind

fn from(e: Error) -> Self

Performs the conversion.