radix-transactions 1.3.1

Various Radix transaction models and the manifest compiler/decompiler, from the Radix DLT project.
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

use crate::internal_prelude::*;

#[derive(Default, Debug, Clone, PartialEq, Eq)]
pub struct ManifestIdAllocator {
    next_bucket_id: u32,
    next_proof_id: u32,
    next_address_reservation_id: u32,
    next_address_id: u32,
    next_intent_id: u32,
}

impl ManifestIdAllocator {
    pub fn new() -> Self {
        Self::default()
    }

    // NOTE: Overflow of untrusted inputs is impossible:
    // * MAX_TRANSACTION_SIZE is 1MB (and this check happens first)
    // * Each instruction takes more than 1 byte
    // * u32 accepts more than 1M ~ 2^20

    pub fn new_bucket_id(&mut self) -> ManifestBucket {
        let id = self.next_bucket_id;
        self.next_bucket_id += 1;
        ManifestBucket(id)
    }

    pub fn new_proof_id(&mut self) -> ManifestProof {
        let id = self.next_proof_id;
        self.next_proof_id += 1;
        ManifestProof(id)
    }

    pub fn new_address_reservation_id(&mut self) -> ManifestAddressReservation {
        let id = self.next_address_reservation_id;
        self.next_address_reservation_id += 1;
        ManifestAddressReservation(id)
    }

    pub fn new_address_id(&mut self) -> ManifestNamedAddress {
        let id = self.next_address_id;
        self.next_address_id += 1;
        ManifestNamedAddress(id)
    }

    pub fn new_named_intent_id(&mut self) -> ManifestNamedIntent {
        let id = self.next_intent_id;
        self.next_intent_id += 1;
        ManifestNamedIntent(id)
    }
}