Enum cairo_lang_sierra::program_registry::ProgramRegistryError

pub enum ProgramRegistryError {
    FunctionIdAlreadyExists(FunctionId),
    MissingFunction(FunctionId),
    TypeSpecialization {
        concrete_id: ConcreteTypeId,
        error: ExtensionError,
    },
    TypeConcreteIdAlreadyExists(ConcreteTypeId),
    TypeAlreadyDeclared(Box<TypeDeclaration>),
    MissingType(ConcreteTypeId),
    LibfuncSpecialization {
        concrete_id: ConcreteLibfuncId,
        error: ExtensionError,
    },
    LibfuncConcreteIdAlreadyExists(ConcreteLibfuncId),
    MissingLibfunc(ConcreteLibfuncId),
    TypeInfoDeclarationMismatch(ConcreteTypeId),
    FunctionWithUnstorableType {
        func_id: FunctionId,
        ty: ConcreteTypeId,
    },
    LibfuncInvocationInputCountMismatch(StatementIdx),
    LibfuncInvocationBranchCountMismatch(StatementIdx),
    LibfuncInvocationBranchResultCountMismatch(StatementIdx, usize),
    LibfuncInvocationBranchTargetMismatch(StatementIdx, usize),
    BranchBackwards {
        src: StatementIdx,
        dst: StatementIdx,
    },
    BranchNotToBranchAlign {
        src: StatementIdx,
        dst: StatementIdx,
    },
    MultipleJumpsToSameStatement {
        src1: StatementIdx,
        src2: StatementIdx,
        dst: StatementIdx,
    },
    JumpOutOfRange(StatementIdx),
}

Errors encountered in the program registry.

Variants

FunctionIdAlreadyExists(FunctionId)

MissingFunction(FunctionId)

TypeSpecialization

Fields

concrete_id: ConcreteTypeId

error: ExtensionError

TypeConcreteIdAlreadyExists(ConcreteTypeId)

TypeAlreadyDeclared(Box<TypeDeclaration>)

MissingType(ConcreteTypeId)

LibfuncSpecialization

Fields

concrete_id: ConcreteLibfuncId

error: ExtensionError

LibfuncConcreteIdAlreadyExists(ConcreteLibfuncId)

MissingLibfunc(ConcreteLibfuncId)

TypeInfoDeclarationMismatch(ConcreteTypeId)

FunctionWithUnstorableType

Fields

func_id: FunctionId

ty: ConcreteTypeId

LibfuncInvocationInputCountMismatch(StatementIdx)

LibfuncInvocationBranchCountMismatch(StatementIdx)

LibfuncInvocationBranchResultCountMismatch(StatementIdx, usize)

LibfuncInvocationBranchTargetMismatch(StatementIdx, usize)

BranchBackwards

Fields

src: StatementIdx

dst: StatementIdx

BranchNotToBranchAlign

Fields

src: StatementIdx

dst: StatementIdx

MultipleJumpsToSameStatement

Fields

src1: StatementIdx

src2: StatementIdx

dst: StatementIdx

JumpOutOfRange(StatementIdx)

Trait Implementations

impl Debug for ProgramRegistryError

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

Formats the value using the given formatter.

impl Display for ProgramRegistryError

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

Formats the value using the given formatter.

impl Error for ProgramRegistryError

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, 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 PartialEq for ProgramRegistryError

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

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

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 ProgramRegistryError

impl StructuralPartialEq for ProgramRegistryError