harmos-operations 0.1.12

Portable Harmos built-in operations and optional execution.
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

/* ***
 *
 * Harmos
 *
 * SPDX-License-Identifier: Apache-2.0
 *
 * ***
 */

// Verify Built-In Catalog Identity And Reserved Lifecycle Contracts.

/* === Modules === */

/* === Re-Exports === */

/* === Imports === */

// Standard Library Imports

// Third Party Imports

// Local Imports

/* === Constants === */

/* === Macros === */

/* === Type Aliases === */

/* === Structs === */

/* === Enums === */

/* === Traits === */

/* === Implementations === */

/* === Public Functions === */

/* === Private Functions === */

/* === Tests === */

#[test]
fn builtin_inventory() {
    let definitions = harmos_operations::Builtins::catalog();
    let ids: std::collections::BTreeSet<_> = definitions.iter().map(|definition| definition.id.as_str()).collect();
    assert_eq!(definitions.len(), 30);
    assert_eq!(ids.len(), definitions.len());
    let mut dependencies = definitions.into_iter();
    assert!(dependencies.all(|definition| definition.fingerprint.0 != [0; 32]));
}

#[test]
fn reserved_lifecycle_fingerprints() {
    use harmos_operations::lifecycle::{Action, Descriptor, Initialize, POLICY, Shutdown};
    for (action, definition) in [(Action::Initialize, Initialize::definition()), (Action::Shutdown, Shutdown::definition())] {
        let descriptor = Descriptor::new(action, POLICY).unwrap();
        assert_eq!(descriptor.contract().operation(), &definition);
    }
}