fuel-vm 0.66.3

FuelVM interpreter.
Documentation 
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

//! Extension trait for [`fuel_tx::TransactionBuilder`]

use super::{
    Checked,
    IntoChecked,
};
use crate::{
    checked_transaction::CheckPredicates,
    prelude::*,
    storage::predicate::PredicateStorageRequirements,
};
use fuel_tx::{
    Finalizable,
    TransactionBuilder,
};
use fuel_types::BlockHeight;

/// Extension trait for [`fuel_tx::TransactionBuilder`] adding finalization methods
pub trait TransactionBuilderExt<Tx>
where
    Tx: IntoChecked,
{
    /// Finalize the builder into a [`Checked<Tx>`] of the correct type
    fn finalize_checked(&self, height: BlockHeight) -> Checked<Tx>;

    /// Finalize the builder into a [`Checked<Tx>`] of the correct type
    /// using the storage during verification.
    fn finalize_checked_with_storage(
        &self,
        height: BlockHeight,
        storage: &impl PredicateStorageRequirements,
    ) -> Checked<Tx>;

    /// Finalize the builder into a [`Checked<Tx>`] of the correct type, with basic checks
    /// only
    fn finalize_checked_basic(&self, height: BlockHeight) -> Checked<Tx>;
}

impl<Tx: ExecutableTransaction> TransactionBuilderExt<Tx> for TransactionBuilder<Tx>
where
    Self: Finalizable<Tx>,
    Checked<Tx>: CheckPredicates,
{
    fn finalize_checked(&self, height: BlockHeight) -> Checked<Tx> {
        self.finalize()
            .into_checked(height, self.get_params())
            .expect("failed to check tx")
    }

    fn finalize_checked_with_storage(
        &self,
        height: BlockHeight,
        storage: &impl PredicateStorageRequirements,
    ) -> Checked<Tx> {
        self.finalize()
            .into_checked_reusable_memory(
                height,
                self.get_params(),
                MemoryInstance::new(),
                storage,
            )
            .expect("failed to check tx")
    }

    fn finalize_checked_basic(&self, height: BlockHeight) -> Checked<Tx> {
        self.finalize()
            .into_checked_basic(height, self.get_params())
            .expect("failed to check tx")
    }
}