Enum ExecutionError 

pub enum ExecutionError {
    AceChipError {
        label: SourceSpan,
        source_file: Option<Arc<SourceFile>>,
        error: AceError,
    },
    AdviceError {
        label: SourceSpan,
        source_file: Option<Arc<SourceFile>>,
        err: AdviceError,
    },
    CycleLimitExceeded(u32),
    EventError {
        label: SourceSpan,
        source_file: Option<Arc<SourceFile>>,
        event_id: EventId,
        event_name: Option<EventName>,
        error: Box<dyn Error + Sync + Send>,
    },
    Internal(&'static str),
    TraceLenExceeded(usize),
    MemoryError {
        label: SourceSpan,
        source_file: Option<Arc<SourceFile>>,
        err: MemoryError,
    },
    MemoryErrorNoCtx(MemoryError),
    OperationError {
        label: SourceSpan,
        source_file: Option<Arc<SourceFile>>,
        err: OperationError,
    },
    OutputStackOverflow(usize),
    ProcedureNotFound {
        label: SourceSpan,
        source_file: Option<Arc<SourceFile>>,
        root_digest: Word,
    },
    ProvingError(String),
    HostError(HostError),
}

Variants

AceChipError

Fields

label: SourceSpan

source_file: Option<Arc<SourceFile>>

error: AceError

AdviceError

Fields

label: SourceSpan

source_file: Option<Arc<SourceFile>>

err: AdviceError

CycleLimitExceeded(u32)

EventError

Fields

label: SourceSpan

source_file: Option<Arc<SourceFile>>

event_id: EventId

event_name: Option<EventName>

error: Box<dyn Error + Sync + Send>

Internal(&'static str)

TraceLenExceeded(usize)

This means trace generation would go over the configured row limit.

In parallel trace building, this is used for core-row prechecks and chiplet overflow.

MemoryError

Memory error with source context for diagnostics.

Use MemoryResultExt::map_mem_err to convert Result<T, MemoryError> with context.

Fields

label: SourceSpan

source_file: Option<Arc<SourceFile>>

err: MemoryError

MemoryErrorNoCtx(MemoryError)

Memory error without source context (for internal operations like FMP initialization).

Use ExecutionError::MemoryErrorNoCtx for memory errors that don’t have error context available (e.g., during call/syscall context initialization).

OperationError

Fields

label: SourceSpan

source_file: Option<Arc<SourceFile>>

err: OperationError

OutputStackOverflow(usize)

ProcedureNotFound

Fields

label: SourceSpan

source_file: Option<Arc<SourceFile>>

root_digest: Word

ProvingError(String)

HostError(HostError)

Trait Implementations

impl AsRef<dyn Diagnostic> for ExecutionError

fn as_ref(&self) -> &(dyn Diagnostic + 'static)

Converts this type into a shared reference of the (usually inferred) input type.

impl Debug for ExecutionError

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

Formats the value using the given formatter.

impl Diagnostic for ExecutionError

fn code(&self) -> Option<Box<dyn Display + '_>>

Unique diagnostic code that can be used to look up more information about this Diagnostic. Ideally also globally unique, and documented in the toplevel crate’s documentation for easy searching. Rust path format (foo::bar::baz) is recommended, but more classic codes like E0123 or enums will work just fine.

fn help(&self) -> Option<Box<dyn Display + '_>>

Additional help text related to this Diagnostic. Do you have any advice for the poor soul who’s just run into this issue?

fn severity(&self) -> Option<Severity>

Diagnostic severity. This may be used by ReportHandlers to change the display format of this diagnostic.

fn labels(&self) -> Option<Box<dyn Iterator<Item = LabeledSpan> + '_>>

Labels to apply to this Diagnostic’s [Diagnostic::source_code]

fn source_code(&self) -> Option<&dyn SourceCode>

Source code to apply this Diagnostic’s [Diagnostic::labels] to.

fn related(&self) -> Option<Box<dyn Iterator<Item = &dyn Diagnostic> + '_>>

Additional related Diagnostics.

fn url(&self) -> Option<Box<dyn Display + '_>>

URL to visit for a more detailed explanation/help about this Diagnostic.

fn diagnostic_source(&self) -> Option<&dyn Diagnostic>

The cause of the error.

impl Display for ExecutionError

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

Formats the value using the given formatter.

impl Error for ExecutionError

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

Returns 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<HostError> for ExecutionError

fn from(source: HostError) -> ExecutionError

Converts to this type from the input type.