Enum swipl::result::PrologError

pub enum PrologError {
    Failure,
    Exception,
}

A prolog error.

This is either a failure or an exception. In case of an exception, whowever returned the exception was also supposed to raise an exception on the context.

Variants

Failure

Exception

Implementations

impl PrologError

pub fn is_failure(&self) -> bool

Returns true if this error is a failure.

pub fn is_exception(&self) -> bool

Returns true if this error is an exception.

Trait Implementations

impl Debug for PrologError

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

Formats the value using the given formatter.

impl Display for PrologError

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

Formats the value using the given formatter.

impl Error for PrologError

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

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<PrologException> for PrologError

fn from(_val: PrologException) -> PrologError

Converts to this type from the input type.

impl PartialEq for PrologError

fn eq(&self, other: &PrologError) -> bool

This method tests for self and other values to be equal, and is used by ==.

fn ne(&self, other: &Rhs) -> bool

This method tests for !=. The default implementation is almost always sufficient, and should not be overridden without very good reason.

impl Eq for PrologError

impl StructuralEq for PrologError

impl StructuralPartialEq for PrologError