pub enum CompilationError {
Show 18 variants
ProgramRegistryError(Box<ProgramRegistryError>),
AnnotationError(AnnotationError),
InvocationError {
statement_idx: StatementIdx,
error: InvocationError,
},
ReturnArgumentsNotOnStack {
statement_idx: StatementIdx,
},
ReferencesError {
statement_idx: StatementIdx,
error: ReferencesError,
},
LibfuncInvocationMismatch {
statement_idx: StatementIdx,
},
DanglingReferences {
statement_idx: StatementIdx,
var_id: VarId,
},
ExpectedBranchAlign {
source_statement_idx: StatementIdx,
destination_statement_idx: StatementIdx,
},
ConstDataMismatch,
UnsupportedConstType,
UnsupportedCircuitType,
ConstSegmentsOutOfOrder,
CodeSizeLimitExceeded,
MetadataUnknownFunctionId,
MetadataStatementOutOfBound(StatementIdx),
StatementNotSupportingGasVariables(StatementIdx),
StatementNotSupportingApChangeVariables(StatementIdx),
MetadataNegativeGasVariable,
}Variants§
ProgramRegistryError(Box<ProgramRegistryError>)
AnnotationError(AnnotationError)
InvocationError
ReturnArgumentsNotOnStack
Fields
§
statement_idx: StatementIdxReferencesError
LibfuncInvocationMismatch
Fields
§
statement_idx: StatementIdxDanglingReferences
ExpectedBranchAlign
ConstDataMismatch
UnsupportedConstType
UnsupportedCircuitType
ConstSegmentsOutOfOrder
CodeSizeLimitExceeded
MetadataUnknownFunctionId
MetadataStatementOutOfBound(StatementIdx)
StatementNotSupportingGasVariables(StatementIdx)
StatementNotSupportingApChangeVariables(StatementIdx)
MetadataNegativeGasVariable
Implementations§
Source§impl CompilationError
impl CompilationError
pub fn stmt_indices(&self) -> Vec<StatementIdx>
Trait Implementations§
Source§impl Debug for CompilationError
impl Debug for CompilationError
Source§impl Display for CompilationError
impl Display for CompilationError
Source§impl Error for CompilationError
impl Error for CompilationError
Source§fn source(&self) -> Option<&(dyn Error + 'static)>
fn source(&self) -> Option<&(dyn Error + 'static)>
Returns the lower-level source of this error, if any. Read more
1.0.0 · Source§fn description(&self) -> &str
fn description(&self) -> &str
👎Deprecated since 1.42.0: use the Display impl or to_string()
Source§impl From<AnnotationError> for CompilationError
impl From<AnnotationError> for CompilationError
Source§fn from(source: AnnotationError) -> Self
fn from(source: AnnotationError) -> Self
Converts to this type from the input type.
Source§impl PartialEq for CompilationError
impl PartialEq for CompilationError
impl Eq for CompilationError
impl StructuralPartialEq for CompilationError
Auto Trait Implementations§
impl Freeze for CompilationError
impl RefUnwindSafe for CompilationError
impl Send for CompilationError
impl Sync for CompilationError
impl Unpin for CompilationError
impl UnwindSafe for CompilationError
Blanket Implementations§
Source§impl<T> BorrowMut<T> for Twhere
T: ?Sized,
impl<T> BorrowMut<T> for Twhere
T: ?Sized,
Source§fn borrow_mut(&mut self) -> &mut T
fn borrow_mut(&mut self) -> &mut T
Mutably borrows from an owned value. Read more
Source§impl<Q, K> Equivalent<K> for Q
impl<Q, K> Equivalent<K> for Q
Source§fn equivalent(&self, key: &K) -> bool
fn equivalent(&self, key: &K) -> bool
Compare self to
key and return true if they are equal.Source§impl<T> Instrument for T
impl<T> Instrument for T
Source§fn instrument(self, span: Span) -> Instrumented<Self>
fn instrument(self, span: Span) -> Instrumented<Self>
Source§fn in_current_span(self) -> Instrumented<Self>
fn in_current_span(self) -> Instrumented<Self>
Source§impl<T> IntoEither for T
impl<T> IntoEither for T
Source§fn into_either(self, into_left: bool) -> Either<Self, Self>
fn into_either(self, into_left: bool) -> Either<Self, Self>
Converts
self into a Left variant of Either<Self, Self>
if into_left is true.
Converts self into a Right variant of Either<Self, Self>
otherwise. Read moreSource§fn into_either_with<F>(self, into_left: F) -> Either<Self, Self>
fn into_either_with<F>(self, into_left: F) -> Either<Self, Self>
Converts
self into a Left variant of Either<Self, Self>
if into_left(&self) returns true.
Converts self into a Right variant of Either<Self, Self>
otherwise. Read more