pinapod 0.4.0

Zero-copy pod types with derive macros. Alignment-1 representations for zero-overhead data access.
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
62
63
64
65

#![allow(
    unused_qualifications,
    missing_docs,
    reason = "upstream layout assertions intentionally spell out trait paths and these test \
              fixtures are not a published surface"
)]

use pinapod::PinaPod;

#[allow(dead_code)]
#[derive(PinaPod)]
struct Inner {
    pub threshold: u64,
    pub bump: u8,
    pub enabled: bool,
}

#[allow(dead_code)]
#[derive(PinaPod)]
struct Outer {
    pub authority: [u8; 32],
    pub settings: Inner,
    pub value: u64,
}

#[test]
fn nested_size() {
    assert_eq!(Inner::SIZE, 10); // PodU64(8) + u8(1) + PodBool(1)
    assert_eq!(Outer::SIZE, 50); // [u8;32](32) + InnerZc(10) + PodU64(8)
}

#[test]
fn nested_alignment() {
    assert_eq!(
        core::mem::align_of::<<Inner as pinapod::PinaPodFixed>::Zc>(),
        1
    );
    assert_eq!(
        core::mem::align_of::<<Outer as pinapod::PinaPodFixed>::Zc>(),
        1
    );
}

#[test]
fn nested_field_access() {
    let mut buf = [0u8; 50];
    let zc = Outer::read_exact_mut(&mut buf).unwrap();
    zc.settings.threshold = 100.into();
    zc.settings.bump = 7;
    zc.settings.enabled = true.into();
    zc.value = 42.into();

    assert_eq!(zc.settings.threshold.get(), 100);
    assert_eq!(zc.settings.bump, 7);
    assert!(zc.settings.enabled.get());
    assert_eq!(zc.value.get(), 42);
}

#[test]
fn nested_validation_propagates() {
    let mut buf = [0u8; 50];
    // Inner.enabled is at offset 32 (authority) + 8 (threshold) + 1 (bump) = 41
    buf[41] = 5; // invalid bool
    assert!(Outer::read_exact(&buf).is_err());
}