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
#[allow(unused_imports, clippy::wildcard_imports)]
use super::*;
/// PersistedScpStateV1 is a borrowing equivalent of [`PersistedScpStateV1`](super::super::PersistedScpStateV1)
/// over `'static` data, for const XDR encoding.
#[derive(Clone, Debug, Hash, PartialEq, Eq, PartialOrd, Ord)]
#[cfg_attr(feature = "arbitrary", derive(Arbitrary))]
pub struct PersistedScpStateV1 {
pub scp_envelopes: VecM<ScpEnvelope>,
pub quorum_sets: VecM<ScpQuorumSet>,
}
impl PersistedScpStateV1 {
/// The exact XDR-encoded length of this value, in bytes.
///
/// Evaluable in a const context, so a caller (such as a proc-macro) can
/// size a buffer for [`Self::const_to_xdr`] at compile time.
#[must_use]
pub const fn const_xdr_len(&self) -> usize {
let mut empty: [u8; 0] = [];
let mut w = ConstWriter::new(&mut empty);
w.write_type_persisted_scp_state_v1(self);
w.len()
}
/// Serialize this value as XDR into a fixed-size `[u8; N]` using only const
/// operations. This is the const counterpart to
/// [`WriteXdr::to_xdr`](super::super::WriteXdr::to_xdr).
///
/// `N` must equal [`Self::const_xdr_len`]. It is intended for callers, such
/// as a proc-macro, that compute the length with `const_xdr_len` and pass
/// it as `N`; `const_to_xdr` itself does not need to call `const_xdr_len`.
///
/// # Panics
///
/// Panics if `N` does not equal the value's [`Self::const_xdr_len`].
#[must_use]
pub const fn const_to_xdr<const N: usize>(&self) -> [u8; N] {
let mut buf = [0u8; N];
let mut w = ConstWriter::new(&mut buf);
w.write_type_persisted_scp_state_v1(self);
assert!(
w.len() == N,
"const_to_xdr: N does not equal the XDR-encoded length"
);
buf
}
}
impl ConstWriter<'_> {
/// Serializes a [`PersistedScpStateV1`], mirroring `<PersistedScpStateV1 as WriteXdr>::write_xdr`.
pub const fn write_type_persisted_scp_state_v1(&mut self, v: &PersistedScpStateV1) {
self.write_type_vec_scp_envelope(&v.scp_envelopes);
self.write_type_vec_scp_quorum_set(&v.quorum_sets);
}
}