1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20 21 22 23 24 25 26 27 28 29 30 31 32 33 34 35 36 37 38 39 40 41 42 43 44 45 46 47 48 49 50 51 52 53 54 55 56 57 58 59 60
/*
* AquaVM Workflow Engine
*
* Copyright (C) 2024 Fluence DAO
*
* This program is free software: you can redistribute it and/or modify
* it under the terms of the GNU Affero General Public License as
* published by the Free Software Foundation version 3 of the
* License.
*
* This program is distributed in the hope that it will be useful,
* but WITHOUT ANY WARRANTY; without even the implied warranty of
* MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
* GNU Affero General Public License for more details.
*
* You should have received a copy of the GNU Affero General Public License
* along with this program. If not, see <https://www.gnu.org/licenses/>.
*/
use super::ExecutedState;
use crate::TracePos;
use air_interpreter_data::TraceLen;
use thiserror::Error as ThisError;
/// Errors arose out while accessing various interpreter data.
#[derive(ThisError, Debug, PartialEq, Eq)]
pub enum KeeperError {
/// Errors occurred when trace_len - trace_position < requested_subtrace_len.
#[error(
"executed trace has {trace_len} elements and current position is {trace_position}, \
but tried to set {requested_subtrace_len} subtrace_len"
)]
SetSubtraceLenFailed {
requested_subtrace_len: TraceLen,
trace_position: TracePos,
trace_len: TraceLen,
},
/// Errors occurred when
/// requested_subtrace_len != 0 && requested_pos + requested_subtrace_len > trace_len.
#[error(
"executed trace has {trace_len} elements, \
but tried to set {requested_subtrace_len} subtrace_len and {requested_pos} position"
)]
SetSubtraceLenAndPosFailed {
requested_pos: TracePos,
requested_subtrace_len: TraceLen,
trace_len: TraceLen,
},
/// Errors occurred when Fold FSM tries to obtain stream generation by value_pos from a trace,
/// but this value_pos is bigger than the trace length.
#[error("requested an element at position '{position}', but executed trace contains only '{trace_len}' elements")]
NoElementAtPosition { position: TracePos, trace_len: TraceLen },
/// Errors occurred when Fold FSM tries to obtain stream generation by value_pos from a trace,
/// but such state doesn't belong to values in streams (it doesn't contain a generation).
#[error("expected a state of CallResult(Value::Stream) or Ap types but '{state}' obtained")]
NoStreamState { state: ExecutedState },
}