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
52
53
54
55
56
57
58

use super::*;
use crate::internal_prelude::*;

//=================================================================================
// NOTE:
// See versioned.rs for tests and a demonstration for the calculation of hashes etc
//=================================================================================

/// The main fields of an intent, used in both a Subintent and a TransactionIntent.
///
/// The instructions are put last so that it can be sensibly streamed into a manifest.
#[derive(Debug, Clone, Eq, PartialEq, ManifestSbor, ScryptoDescribe)]
pub struct IntentCoreV2 {
    pub header: IntentHeaderV2,
    pub blobs: BlobsV1,
    pub message: MessageV2,
    pub children: ChildSubintentSpecifiersV2,
    pub instructions: InstructionsV2,
}

impl TransactionPartialPrepare for IntentCoreV2 {
    type Prepared = PreparedIntentCoreV2;
}

#[derive(Debug, Clone, Eq, PartialEq)]
pub struct PreparedIntentCoreV2 {
    pub header: PreparedIntentHeaderV2,
    pub blobs: PreparedBlobsV1,
    pub message: PreparedMessageV2,
    pub children: PreparedChildSubintentSpecifiersV2,
    pub instructions: PreparedInstructionsV2,
    pub summary: Summary,
}

impl_has_summary!(PreparedIntentCoreV2);

impl TransactionPreparableFromValueBody for PreparedIntentCoreV2 {
    fn prepare_from_value_body(decoder: &mut TransactionDecoder) -> Result<Self, PrepareError> {
        if !decoder.settings().v2_transactions_permitted {
            return Err(PrepareError::TransactionTypeNotSupported);
        }
        // When embedded as an child, it's SBOR encoded as a struct
        let ((header, blobs, message, children, instructions), summary) =
            ConcatenatedDigest::prepare_from_sbor_tuple_value_body(decoder)?;
        Ok(Self {
            header,
            instructions,
            blobs,
            message,
            children,
            summary,
        })
    }

    fn value_kind() -> ManifestValueKind {
        ManifestValueKind::Tuple
    }
}