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
61
62
63
64
65
66
67
68
69
70
/*
 * 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::ExecutionCtx;
use super::ExecutionError;
use super::ExecutionResult;
use super::TraceHandler;
use crate::log_instruction;

use air_parser::ast::Xor;

impl<'i> super::ExecutableInstruction<'i> for Xor<'i> {
    fn execute(&self, exec_ctx: &mut ExecutionCtx<'i>, trace_ctx: &mut TraceHandler) -> ExecutionResult<()> {
        log_instruction!(xor, exec_ctx, trace_ctx);

        exec_ctx.flush_subgraph_completeness();
        match self.0.execute(exec_ctx, trace_ctx) {
            Err(e) if e.is_catchable() => {
                print_xor_log(&e);

                exec_ctx.flush_subgraph_completeness();
                exec_ctx.last_error_descriptor.meet_xor_right_branch();

                exec_ctx.error_descriptor.set_original_execution_error(&e);
                exec_ctx.error_descriptor.enable_error_setting();

                let right_subgraph_result = self.1.execute(exec_ctx, trace_ctx);
                // This sets :error: to a no-error state.
                // Please note the right_subgraph_result might be an Error that bubbles up to an :error:
                // above this execute().
                exec_ctx.error_descriptor.clear_error_object_if_needed();

                if right_subgraph_result.is_ok() {
                    exec_ctx.error_descriptor.enable_error_setting();
                }

                right_subgraph_result
            }
            res => res,
        }
    }
}

fn print_xor_log(e: &ExecutionError) {
    if e.is_match_or_mismatch() {
        // These errors actually aren't real errors, but a way to bubble execution_step up from match
        // to a corresponding xor. They'll become errors iff there is no such xor and execution_step is
        // bubble up until the very beginning of current subgraph. So the error message shouldn't
        // be print out in order not to confuse users.
        return;
    }

    log::trace!("xor caught an error: {}", e);
}