Enum cairo_lang_sierra_to_casm::annotations::AnnotationError

pub enum AnnotationError {
Show 16 variants
    InconsistentReferencesAnnotation(StatementIdx),
    AnnotationAlreadySet {
        source_statement_idx: StatementIdx,
        destination_statement_idx: StatementIdx,
    },
    InconsistentEnvironments {
        statement_idx: StatementIdx,
        error: EnvironmentError,
    },
    InconsistentFunctionId {
        statement_idx: StatementIdx,
    },
    InvalidConvergence {
        statement_idx: StatementIdx,
    },
    InvalidStatementIdx,
    MissingAnnotationsForStatement(StatementIdx),
    MissingReferenceError {
        statement_idx: StatementIdx,
        var_id: VarId,
    },
    OverrideReferenceError {
        source_statement_idx: StatementIdx,
        destination_statement_idx: StatementIdx,
        var_id: VarId,
    },
    FrameStateError(FrameStateError),
    GasWalletError {
        source_statement_idx: StatementIdx,
        destination_statement_idx: StatementIdx,
        error: GasWalletError,
    },
    ReferencesError {
        statement_idx: StatementIdx,
        error: ReferencesError,
    },
    ApTrackingAlreadyEnabled {
        statement_idx: StatementIdx,
    },
    ApChangeError {
        var_id: VarId,
        source_statement_idx: StatementIdx,
        destination_statement_idx: StatementIdx,
        error: ApChangeError,
    },
    ApTrackingError {
        source_statement_idx: StatementIdx,
        destination_statement_idx: StatementIdx,
        error: ApChangeError,
    },
    InvalidFunctionApChange {
        statement_idx: StatementIdx,
        expected: ApTracking,
        actual: ApTracking,
    },
}

Variants§

InconsistentReferencesAnnotation(StatementIdx)

AnnotationAlreadySet

Fields

§source_statement_idx: StatementIdx

§destination_statement_idx: StatementIdx

InconsistentEnvironments

Fields

§statement_idx: StatementIdx

§error: EnvironmentError

InconsistentFunctionId

Fields

§statement_idx: StatementIdx

InvalidConvergence

Fields

§statement_idx: StatementIdx

InvalidStatementIdx

MissingAnnotationsForStatement(StatementIdx)

MissingReferenceError

Fields

§statement_idx: StatementIdx

§var_id: VarId

OverrideReferenceError

Fields

§source_statement_idx: StatementIdx

§destination_statement_idx: StatementIdx

§var_id: VarId

FrameStateError(FrameStateError)

GasWalletError

Fields

§source_statement_idx: StatementIdx

§destination_statement_idx: StatementIdx

§error: GasWalletError

ReferencesError

Fields

§statement_idx: StatementIdx

§error: ReferencesError

ApTrackingAlreadyEnabled

Fields

§statement_idx: StatementIdx

ApChangeError

Fields

§var_id: VarId

§source_statement_idx: StatementIdx

§destination_statement_idx: StatementIdx

§error: ApChangeError

ApTrackingError

Fields

§source_statement_idx: StatementIdx

§destination_statement_idx: StatementIdx

§error: ApChangeError

InvalidFunctionApChange

Fields

§statement_idx: StatementIdx

§expected: ApTracking

§actual: ApTracking

Trait Implementations§

impl Debug for AnnotationError

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

Formats the value using the given formatter. Read more

impl Display for AnnotationError

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

Formats the value using the given formatter. Read more

impl Error for AnnotationError

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

The lower-level source of this error, if any. Read more

1.0.0 · source§

fn description(&self) -> &str

👎Deprecated since 1.42.0: use the Display impl or to_string()

1.0.0 · source§

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. Read more

impl From<AnnotationError> for CompilationError

fn from(source: AnnotationError) -> Self

Converts to this type from the input type.

impl From<FrameStateError> for AnnotationError

fn from(source: FrameStateError) -> Self

Converts to this type from the input type.

impl PartialEq for AnnotationError

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

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

1.0.0 · source§

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 AnnotationError

impl StructuralPartialEq for AnnotationError

Auto Trait Implementations§

impl RefUnwindSafe for AnnotationError

impl Send for AnnotationError

impl Sync for AnnotationError

impl Unpin for AnnotationError

impl UnwindSafe for AnnotationError

Blanket Implementations§

impl<T> Any for T
where T: 'static + ?Sized,

fn type_id(&self) -> TypeId

Gets the TypeId of self. Read more

impl<T> Borrow<T> for T
where T: ?Sized,

fn borrow(&self) -> &T

Immutably borrows from an owned value. Read more

impl<T> BorrowMut<T> for T
where T: ?Sized,

fn borrow_mut(&mut self) -> &mut T

Mutably borrows from an owned value. Read more

impl<Q, K> Equivalent<K> for Q
where Q: Eq + ?Sized, K: Borrow<Q> + ?Sized,

fn equivalent(&self, key: &K) -> bool

Compare self to key and return true if they are equal.

impl<Q, K> Equivalent<K> for Q
where Q: Eq + ?Sized, K: Borrow<Q> + ?Sized,

fn equivalent(&self, key: &K) -> bool

Checks if this value is equivalent to the given key. Read more

impl<Q, K> Equivalent<K> for Q
where Q: Eq + ?Sized, K: Borrow<Q> + ?Sized,

fn equivalent(&self, key: &K) -> bool

Compare self to key and return true if they are equal.

impl<T> From<T> for T

fn from(t: T) -> T

Returns the argument unchanged.

impl<T, U> Into<U> for T
where U: From<T>,

fn into(self) -> U

Calls U::from(self).

That is, this conversion is whatever the implementation of From<T> for U chooses to do.

impl<T> Same for T

type Output = T

Should always be Self

impl<T> ToSmolStr for T
where T: Display + ?Sized,

fn to_smolstr(&self) -> SmolStr

impl<T> ToString for T
where T: Display + ?Sized,

default fn to_string(&self) -> String

Converts the given value to a String. Read more

impl<T, U> TryFrom<U> for T
where U: Into<T>,

type Error = Infallible

The type returned in the event of a conversion error.

fn try_from(value: U) -> Result<T, <T as TryFrom<U>>::Error>

Performs the conversion.

impl<T, U> TryInto<U> for T
where U: TryFrom<T>,

type Error = <U as TryFrom<T>>::Error

The type returned in the event of a conversion error.

fn try_into(self) -> Result<U, <U as TryFrom<T>>::Error>

Performs the conversion.

impl<T> Upcast<T> for T
where T: ?Sized,

fn upcast(&self) -> &T

impl<T> UpcastMut<T> for T
where T: ?Sized,

fn upcast_mut(&mut self) -> &mut T