consortium-codec 0.2.0

Codec traits and implementations for Consortium IPC serialization
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

use consortium_codec::TrustedArchive;
use rkyv::{Archive, Serialize};

#[derive(Archive, Serialize, TrustedArchive)]
#[repr(C)]
struct Sensor {
    id: u32,
    value: f32,
    flags: u8,
}

#[derive(Archive, Serialize, TrustedArchive)]
#[repr(align(16))]
struct AlignedBuffer {
    data: [u32; 4],
}

#[derive(Archive, Serialize, TrustedArchive)]
#[repr(u8)]
enum Status {
    Idle,
    Running,
    Error(u32),
}

#[derive(Archive, Serialize, TrustedArchive)]
#[repr(C)]
struct Wrapper<T> {
    value: T,
    tag: u32,
}

#[derive(Archive, Serialize, TrustedArchive)]
#[repr(C, align(16))]
struct AlignedC {
    x: u32,
    y: u32,
}

fn assert_trusted<T: consortium_codec::TrustedArchive>() {}

fn main() {
    assert_trusted::<Sensor>();
    assert_trusted::<AlignedBuffer>();
    assert_trusted::<Status>();
    assert_trusted::<AlignedC>();
    assert_trusted::<Wrapper<u32>>();
    assert_trusted::<Wrapper<[u64; 2]>>();
    // Nested struct: confirms the where T: TrustedArchive bound is sufficient
    // for a Wrapper whose field is itself a TrustedArchive type.
    assert_trusted::<Wrapper<Sensor>>();
}