Struct kimchi::snarky::errors::RealSnarkyError

pub struct RealSnarkyError {
    pub source: SnarkyError,
    pub loc: Option<String>,
    pub label_stack: Option<Vec<Cow<'static, str>>>,
    /* private fields */
}

Fields

source: SnarkyError

The actual error.

loc: Option<String>

A location string, usually a file name and line number. Location information is usually useful for:

• assert that failed (so we need to keep track of the location that created each gates)

label_stack: Option<Vec<Cow<'static, str>>>

A stack of labels, where each label represents an important function call.

Implementations

impl RealSnarkyError

pub fn new(source: SnarkyError) -> Self

Creates a new RealSnarkyError.

pub fn new_with_ctx( source: SnarkyError, loc: Cow<'static, str>, label_stack: Vec<Cow<'static, str>> ) -> Self

Creates a new RealSnarkyError.

Trait Implementations

impl Debug for RealSnarkyError

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

Formats the value using the given formatter.

impl Display for RealSnarkyError

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

Formats the value using the given formatter.

impl Error for RealSnarkyError

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, demand: &mut Demand<'a>)

🔬This is a nightly-only experimental API. (error_generic_member_access)

Provides type based access to context intended for error reports.