mirror of
https://github.com/fluencelabs/aquavm
synced 2025-04-01 20:31:03 +00:00
100 lines
4.4 KiB
Rust
100 lines
4.4 KiB
Rust
/*
|
|
* Copyright 2021 Fluence Labs Limited
|
|
*
|
|
* Licensed under the Apache License, Version 2.0 (the "License");
|
|
* you may not use this file except in compliance with the License.
|
|
* You may obtain a copy of the License at
|
|
*
|
|
* http://www.apache.org/licenses/LICENSE-2.0
|
|
*
|
|
* Unless required by applicable law or agreed to in writing, software
|
|
* distributed under the License is distributed on an "AS IS" BASIS,
|
|
* WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied.
|
|
* See the License for the specific language governing permissions and
|
|
* limitations under the License.
|
|
*/
|
|
|
|
use super::Stream;
|
|
use crate::execution_step::Generation;
|
|
use crate::ToErrorCode;
|
|
|
|
use air_interpreter_cid::CidCalculationError;
|
|
use air_interpreter_data::ValueRef;
|
|
use air_trace_handler::GenerationCompatificationError;
|
|
use air_trace_handler::TraceHandlerError;
|
|
|
|
use strum::IntoEnumIterator;
|
|
use strum_macros::EnumDiscriminants;
|
|
use strum_macros::EnumIter;
|
|
use thiserror::Error as ThisError;
|
|
|
|
/// Uncatchable errors arisen during AIR script execution. Uncatchable here means that these errors
|
|
/// couldn't be handled by a xor instruction and their error_code couldn't be used in a match
|
|
/// instruction. They are similar to JVM runtime errors and some of them could be caught only
|
|
/// while execution of AIR script, others (FoldStateNotFound and MultipleVariablesFound) are
|
|
/// checked additionally on the validation step, and presence here for convenience.
|
|
#[derive(ThisError, EnumDiscriminants, Debug)]
|
|
#[strum_discriminants(derive(EnumIter))]
|
|
pub enum UncatchableError {
|
|
/// Errors bubbled from a trace handler.
|
|
#[error("on instruction '{instruction}' trace handler encountered an error: {trace_error}")]
|
|
TraceError {
|
|
trace_error: TraceHandlerError,
|
|
instruction: String,
|
|
},
|
|
|
|
/// These errors are related to internal bug in the interpreter when result trace is corrupted.
|
|
#[error(transparent)]
|
|
GenerationCompatificationError(#[from] GenerationCompatificationError),
|
|
|
|
/// Fold state wasn't found for such iterator name.
|
|
#[error("fold state not found for this iterable '{0}'")]
|
|
FoldStateNotFound(String),
|
|
|
|
/// Errors encountered while shadowing non-scalar values.
|
|
#[error("variable with name '{0}' can't be shadowed, shadowing isn't supported for iterables")]
|
|
IterableShadowing(String),
|
|
|
|
/// Multiple fold states found for such iterator name.
|
|
#[error("multiple iterable values found for iterable name '{0}'")]
|
|
MultipleIterableValues(String),
|
|
|
|
/// Errors occurred when result from data doesn't match to a call instruction, f.e. a call
|
|
/// could be applied to a stream, but result doesn't contain generation in a source position.
|
|
#[error("call result value {0:?} doesn't match with corresponding instruction")]
|
|
CallResultNotCorrespondToInstr(ValueRef),
|
|
|
|
/// Variable shadowing is not allowed, usually it's thrown when a AIR tries to assign value
|
|
/// for a variable not in a fold block or in a global scope but not right after new.
|
|
#[error("trying to shadow variable '{0}', but shadowing is allowed only inside fold blocks")]
|
|
ShadowingIsNotAllowed(String),
|
|
|
|
/// This error occurred when new tries to pop up a variable at the end, but scalar state doesn't
|
|
/// contain an appropriate variable. It should be considered as an internal error and shouldn't
|
|
/// be caught by a xor instruction.
|
|
#[error("new end block tries to pop up a variable '{scalar_name}' that wasn't defined at depth {depth}")]
|
|
ScalarsStateCorrupted { scalar_name: String, depth: usize },
|
|
|
|
#[error("failed to calculate value's CID")]
|
|
CidError(#[from] CidCalculationError),
|
|
|
|
/// We consider now that every CID should present in the data;
|
|
/// and not having any CID is considered a non-catching error.
|
|
#[error("{0} for CID {1:?} not found")]
|
|
ValueForCidNotFound(&'static str, String),
|
|
|
|
/// Errors occurred while insertion of a value inside stream that doesn't have corresponding generation.
|
|
#[error(
|
|
"stream doesn't have generation with number {generation}, supplied to the interpreter data is corrupted,\n\
|
|
stream is {stream:?}"
|
|
)]
|
|
StreamDontHaveSuchGeneration { stream: Stream, generation: Generation },
|
|
}
|
|
|
|
impl ToErrorCode for UncatchableError {
|
|
fn to_error_code(&self) -> i64 {
|
|
use crate::utils::UNCATCHABLE_ERRORS_START_ID;
|
|
crate::generate_to_error_code!(self, UncatchableError, UNCATCHABLE_ERRORS_START_ID)
|
|
}
|
|
}
|