Struct VerifierError

pub struct VerifierError {
    pub location: AnyEntity,
    pub context: Option<String>,
    pub message: String,
}

A verifier error.

Fields

location: AnyEntity

The entity causing the verifier error.

context: Option<String>

Optionally provide some context for the given location; e.g., for inst42 provide Some("v3 = iconst.i32 0") for more comprehensible errors.

message: String

The error message.

Trait Implementations

impl Clone for VerifierError

fn clone(&self) -> VerifierError

Returns a copy of the value.

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

Performs copy-assignment from source.

impl Debug for VerifierError

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

Formats the value using the given formatter.

impl Display for VerifierError

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

Formats the value using the given formatter.

impl Error for VerifierError

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<L, C, M> From<(L, C, M)> for VerifierError

where L: Into<AnyEntity>, C: Into<String>, M: Into<String>,

Convenience converter for making error-reporting less verbose.

Converts a tuple of (location, context, message) to a VerifierError.

use cranelift_codegen::verifier::VerifierErrors;
use cranelift_codegen::ir::Inst;
let mut errors = VerifierErrors::new();
errors.report((Inst::from_u32(42), "v3 = iadd v1, v2", "iadd cannot be used with values of this type"));
// note the double parenthenses to use this syntax

fn from(items: (L, C, M)) -> Self

Converts to this type from the input type.

impl<L, M> From<(L, M)> for VerifierError

where L: Into<AnyEntity>, M: Into<String>,

Convenience converter for making error-reporting less verbose.

Same as above but without context.

fn from(items: (L, M)) -> Self

Converts to this type from the input type.

impl PartialEq for VerifierError

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

Tests for self and other values to be equal, and is used by ==.

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

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

impl Eq for VerifierError

impl StructuralPartialEq for VerifierError