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
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
// This file is part of Gear.

// Copyright (C) 2021-2024 Gear Technologies Inc.
// SPDX-License-Identifier: GPL-3.0-or-later WITH Classpath-exception-2.0

// This program is free software: you can redistribute it and/or modify
// it under the terms of the GNU General Public License as published by
// the Free Software Foundation, either version 3 of the License, or
// (at your option) any later version.

// 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 General Public License for more details.

// You should have received a copy of the GNU General Public License
// along with this program. If not, see <https://www.gnu.org/licenses/>.

use super::{scheduler::StorageType, *};
pub use gear_core::gas::LockId;

/// An error indicating there is no corresponding enum variant to the one provided
#[derive(Debug)]
pub struct TryFromStorageTypeError;

impl fmt::Display for TryFromStorageTypeError {
    fn fmt(&self, formatter: &mut fmt::Formatter<'_>) -> fmt::Result {
        write!(formatter, "Corresponding enum variant not found")
    }
}

impl TryFrom<StorageType> for LockId {
    type Error = TryFromStorageTypeError;

    fn try_from(storage: StorageType) -> Result<Self, Self::Error> {
        match storage {
            StorageType::Mailbox => Ok(Self::Mailbox),
            StorageType::Waitlist => Ok(Self::Waitlist),
            StorageType::Reservation => Ok(Self::Reservation),
            StorageType::DispatchStash => Ok(Self::DispatchStash),
            _ => Err(TryFromStorageTypeError),
        }
    }
}

pub trait LockableTree: Tree {
    /// Locking some value from underlying node balance.
    ///
    /// If `key` does not identify any value or the `amount` exceeds what's
    /// locked under that key, an error is returned.
    ///
    /// This can't create imbalance as no value is burned or created.
    fn lock(
        key: impl Into<Self::NodeId>,
        id: LockId,
        amount: Self::Balance,
    ) -> Result<(), Self::Error>;

    /// Unlocking some value from node's locked balance.
    ///
    /// If `key` does not identify any value or the `amount` exceeds what's
    /// locked under that key, an error is returned.
    ///
    /// This can't create imbalance as no value is burned or created.
    fn unlock(
        key: impl Into<Self::NodeId>,
        id: LockId,
        amount: Self::Balance,
    ) -> Result<(), Self::Error>;

    /// Unlocking all value from node's locked balance. Returns the actual amount having been unlocked
    /// (wrapped in a `Result`)
    ///
    /// See [`unlock`](Self::unlock) for details.
    fn unlock_all(key: impl Into<Self::NodeId>, id: LockId) -> Result<Self::Balance, Self::Error> {
        let key = key.into();
        let amount = Self::get_lock(key.clone(), id)?;
        Self::unlock(key, id, amount.clone()).map(|_| amount)
    }

    /// Get locked value associated with given id.
    ///
    /// Returns errors in cases of absence associated with given key node,
    /// or if such functionality is forbidden for specific node type:
    /// for example, for `GasNode::ReservedLocal`.
    fn get_lock(key: impl Into<Self::NodeId>, id: LockId) -> Result<Self::Balance, Self::Error>;
}

#[test]
fn lock_id_enum_discriminants_are_consistent() {
    // Important for the [`gclient::api::GearApi`] implementation:
    // the function `migrate_program()` relies on `LockId::Reservation` having discriminant 2
    assert_eq!(0, LockId::Mailbox as usize);
    assert_eq!(1, LockId::Waitlist as usize);
    assert_eq!(2, LockId::Reservation as usize);
    assert_eq!(3, LockId::DispatchStash as usize);
}