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
// Copyright (C) Gear Technologies Inc.
// SPDX-License-Identifier: GPL-3.0-or-later WITH Classpath-exception-2.0
use crateReservationId;
use Result;
/// Reservation identifier extension.
///
/// The identifier is used to reserve and unreserve gas amount for program
/// execution later.
///
/// # Examples
///
/// ```rust,ignore
/// use gstd::{prelude::*, ReservationId};
///
/// static mut RESERVED: Option<ReservationId> = None;
///
/// #[unsafe(no_mangle)]
/// extern "C" fn init() {
/// let reservation_id = ReservationId::reserve(50_000_000, 7).expect("Unable to reserve");
/// unsafe { RESERVED = Some(reservation_id) };
/// }
///
/// #[unsafe(no_mangle)]
/// extern "C" fn handle() {
/// let reservation_id = unsafe { RESERVED.take().expect("Empty `RESERVED`") };
/// reservation_id.unreserve().expect("Unable to unreserve");
/// }
/// ```