Struct clingo::ClingoError

pub struct ClingoError {
    pub error_type: ErrorType,
    pub msg: &'static str,
}

Error from the clingo library.

Note: Errors can only be recovered from if explicitly mentioned; most functions do not provide strong exception guarantees. This means that in case of errors associated objects cannot be used further.

Fields

error_type: ErrorType

msg: &'static str

Trait Implementations

impl Debug for ClingoError

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

Formats the value using the given formatter.

impl Fail for ClingoError

fn cause(&self) -> Option<&Fail>

Returns a reference to the underlying cause of this failure, if it is an error that wraps other errors.

fn backtrace(&self) -> Option<&Backtrace>

Returns a reference to the Backtrace carried by this failure, if it carries one.

fn context<D>(self, context: D) -> Context<D> where
    D: Display + Send + Sync + 'static, 

Provides context for this failure.

fn compat(self) -> Compat<Self>

Wraps this failure in a compatibility wrapper that implements std::error::Error.

Important traits for Causes<'f>

impl<'f> Iterator for Causes<'f> type Item = &'f (Fail + 'static);

fn causes(&self) -> Causes

Returns a iterator over the causes of this Fail with itself as the first item and the root_cause as the final item.

fn root_cause(&self) -> &(Fail + 'static)

Returns the "root cause" of this Fail - the last value in the cause chain which does not return an underlying cause.

impl Display for ClingoError

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

Formats the value using the given formatter.