Struct ThrownError 

pub struct ThrownError {
    pub term: Term,
    pub uncatchable: bool,
}

A thrown error as it flows through the solver. The term is what catch/3 pattern-matches against; the uncatchable flag is set for safety-ceiling errors (step limit) so user catch/3 clauses cannot trap them.

Fields

term: Term

uncatchable: bool

Implementations

impl ThrownError

pub fn from_prolog(err: PrologError, interner: &mut StringInterner) -> Self

Build from a structured PrologError — uncatchable is derived from the variant.

pub fn from_term(term: Term) -> Self

Build from a raw term (used by throw/1). Always catchable.

Trait Implementations

impl Clone for ThrownError

fn clone(&self) -> ThrownError

Returns a duplicate of the value.

fn clone_from(&mut self, source: &Self)

Performs copy-assignment from source.

impl Debug for ThrownError

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

Formats the value using the given formatter.