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 },
}