summaryrefslogtreecommitdiffstats
path: root/vendor/zerovec-derive/examples
diff options
context:
space:
mode:
authorDaniel Baumann <daniel.baumann@progress-linux.org>2024-04-17 12:18:32 +0000
committerDaniel Baumann <daniel.baumann@progress-linux.org>2024-04-17 12:18:32 +0000
commit4547b622d8d29df964fa2914213088b148c498fc (patch)
tree9fc6b25f3c3add6b745be9a2400a6e96140046e9 /vendor/zerovec-derive/examples
parentReleasing progress-linux version 1.66.0+dfsg1-1~progress7.99u1. (diff)
downloadrustc-4547b622d8d29df964fa2914213088b148c498fc.tar.xz
rustc-4547b622d8d29df964fa2914213088b148c498fc.zip
Merging upstream version 1.67.1+dfsg1.
Signed-off-by: Daniel Baumann <daniel.baumann@progress-linux.org>
Diffstat (limited to 'vendor/zerovec-derive/examples')
-rw-r--r--vendor/zerovec-derive/examples/derives.rs157
-rw-r--r--vendor/zerovec-derive/examples/make.rs107
-rw-r--r--vendor/zerovec-derive/examples/make_var.rs189
3 files changed, 453 insertions, 0 deletions
diff --git a/vendor/zerovec-derive/examples/derives.rs b/vendor/zerovec-derive/examples/derives.rs
new file mode 100644
index 000000000..40f821023
--- /dev/null
+++ b/vendor/zerovec-derive/examples/derives.rs
@@ -0,0 +1,157 @@
+// This file is part of ICU4X. For terms of use, please see the file
+// called LICENSE at the top level of the ICU4X source tree
+// (online at: https://github.com/unicode-org/icu4x/blob/main/LICENSE ).
+
+use zerovec::ule::AsULE;
+use zerovec::ule::EncodeAsVarULE;
+use zerovec::*;
+
+#[repr(packed)]
+#[derive(ule::ULE, Copy, Clone)]
+pub struct FooULE {
+ a: u8,
+ b: <u32 as AsULE>::ULE,
+ c: <char as AsULE>::ULE,
+}
+
+#[derive(Clone, Copy, Debug, PartialEq, Eq)]
+struct Foo {
+ a: u8,
+ b: u32,
+ c: char,
+}
+
+impl AsULE for Foo {
+ type ULE = FooULE;
+ fn to_unaligned(self) -> FooULE {
+ FooULE {
+ a: self.a,
+ b: self.b.to_unaligned(),
+ c: self.c.to_unaligned(),
+ }
+ }
+
+ fn from_unaligned(other: FooULE) -> Self {
+ Self {
+ a: other.a,
+ b: AsULE::from_unaligned(other.b),
+ c: AsULE::from_unaligned(other.c),
+ }
+ }
+}
+
+#[repr(packed)]
+#[derive(ule::VarULE)]
+pub struct RelationULE {
+ /// This maps to (AndOr, Polarity, Operand),
+ /// with the first bit mapping to AndOr (1 == And), the second bit
+ /// to Polarity (1 == Positive), and the remaining bits to Operand
+ /// encoded via Operand::encode. It is unsound for the Operand bits to
+ /// not be a valid encoded Operand.
+ andor_polarity_operand: u8,
+ modulo: <u32 as AsULE>::ULE,
+ range_list: ZeroSlice<Foo>,
+}
+
+#[derive(Clone, PartialEq, Debug)]
+pub struct Relation<'a> {
+ andor_polarity_operand: u8,
+ modulo: u32,
+ range_list: ZeroVec<'a, Foo>,
+}
+
+unsafe impl EncodeAsVarULE<RelationULE> for Relation<'_> {
+ fn encode_var_ule_as_slices<R>(&self, cb: impl FnOnce(&[&[u8]]) -> R) -> R {
+ cb(&[
+ &[self.andor_polarity_operand],
+ ule::ULE::as_byte_slice(&[self.modulo.to_unaligned()]),
+ self.range_list.as_bytes(),
+ ])
+ }
+}
+
+impl RelationULE {
+ pub fn as_relation(&self) -> Relation {
+ Relation {
+ andor_polarity_operand: self.andor_polarity_operand,
+ modulo: u32::from_unaligned(self.modulo),
+ range_list: self.range_list.as_zerovec(),
+ }
+ }
+}
+
+const TEST_SLICE: &[Foo] = &[
+ Foo {
+ a: 101,
+ b: 924,
+ c: '⸘',
+ },
+ Foo {
+ a: 217,
+ b: 4228,
+ c: 'ə',
+ },
+ Foo {
+ a: 117,
+ b: 9090,
+ c: 'ø',
+ },
+];
+
+const TEST_SLICE2: &[Foo] = &[
+ Foo {
+ a: 92,
+ b: 4,
+ c: 'å',
+ },
+ Foo {
+ a: 9,
+ b: 49993,
+ c: '±',
+ },
+];
+fn test_zerovec() {
+ let zerovec: ZeroVec<Foo> = TEST_SLICE.iter().copied().collect();
+
+ assert_eq!(zerovec, TEST_SLICE);
+
+ let bytes = zerovec.as_bytes();
+ let reparsed: ZeroVec<Foo> = ZeroVec::parse_byte_slice(bytes).expect("Parsing should succeed");
+
+ assert_eq!(reparsed, TEST_SLICE);
+}
+
+fn test_varzerovec() {
+ let relation1 = Relation {
+ andor_polarity_operand: 1,
+ modulo: 5004,
+ range_list: TEST_SLICE.iter().copied().collect(),
+ };
+ let relation2 = Relation {
+ andor_polarity_operand: 5,
+ modulo: 909,
+ range_list: TEST_SLICE2.iter().copied().collect(),
+ };
+
+ let relations = &[relation1, relation2];
+
+ let vzv = VarZeroVec::<_>::from(relations);
+
+ for (ule, stack) in vzv.iter().zip(relations.iter()) {
+ assert_eq!(*stack, ule.as_relation());
+ }
+
+ let bytes = vzv.as_bytes();
+
+ let recovered: VarZeroVec<RelationULE> =
+ VarZeroVec::parse_byte_slice(bytes).expect("Parsing should succeed");
+
+ for (ule, stack) in recovered.iter().zip(relations.iter()) {
+ assert_eq!(*stack, ule.as_relation());
+ }
+}
+
+fn main() {
+ test_zerovec();
+ test_varzerovec();
+}
diff --git a/vendor/zerovec-derive/examples/make.rs b/vendor/zerovec-derive/examples/make.rs
new file mode 100644
index 000000000..a6fa908e8
--- /dev/null
+++ b/vendor/zerovec-derive/examples/make.rs
@@ -0,0 +1,107 @@
+// This file is part of ICU4X. For terms of use, please see the file
+// called LICENSE at the top level of the ICU4X source tree
+// (online at: https://github.com/unicode-org/icu4x/blob/main/LICENSE ).
+
+use std::fmt::Debug;
+use zerovec::*;
+
+#[make_ule(StructULE)]
+#[derive(Clone, Copy, Debug, PartialEq, Eq, PartialOrd, Ord)]
+struct Struct {
+ a: u8,
+ b: u32,
+ c: Option<char>,
+}
+
+#[derive(Clone, Copy, Debug, PartialEq, Eq, PartialOrd, Ord)]
+#[make_ule(TupleStructULE)]
+struct TupleStruct(u8, char);
+
+#[make_ule(EnumULE)]
+#[repr(u8)]
+#[derive(Copy, Clone, PartialEq, Eq, Ord, PartialOrd, Debug)]
+#[zerovec::derive(Debug)]
+enum Enum {
+ A = 0,
+ B = 1,
+ D = 2,
+ E = 3,
+ FooBar = 4,
+ F = 5,
+}
+
+#[make_ule(OutOfOrderEnumULE)]
+#[repr(u8)]
+#[derive(Copy, Clone, PartialEq, Eq, Ord, PartialOrd, Debug)]
+#[allow(unused)]
+enum OutOfOrderEnum {
+ A = 0,
+ B = 1,
+ E = 3,
+ FooBar = 4,
+ D = 2,
+ F = 5,
+}
+
+#[derive(Clone, Copy, Debug, PartialEq, Eq, Ord, PartialOrd)]
+#[make_ule(NoKVULE)]
+#[zerovec::skip_derive(ZeroMapKV)]
+struct NoKV(u8, char);
+
+#[derive(Clone, Copy, Debug, PartialEq, Eq)]
+#[make_ule(NoOrdULE)]
+#[zerovec::skip_derive(ZeroMapKV, Ord)]
+struct NoOrd(u8, char);
+
+fn test_zerovec<T: ule::AsULE + Debug + PartialEq>(slice: &[T]) {
+ let zerovec: ZeroVec<T> = slice.iter().copied().collect();
+
+ assert_eq!(zerovec, slice);
+
+ let bytes = zerovec.as_bytes();
+ let name = std::any::type_name::<T>();
+ let reparsed: ZeroVec<T> = ZeroVec::parse_byte_slice(bytes)
+ .unwrap_or_else(|_| panic!("Parsing {} should succeed", name));
+
+ assert_eq!(reparsed, slice);
+}
+
+fn main() {
+ test_zerovec(TEST_SLICE_STRUCT);
+ test_zerovec(TEST_SLICE_TUPLESTRUCT);
+ test_zerovec(TEST_SLICE_ENUM);
+}
+
+const TEST_SLICE_STRUCT: &[Struct] = &[
+ Struct {
+ a: 101,
+ b: 924,
+ c: Some('⸘'),
+ },
+ Struct {
+ a: 217,
+ b: 4228,
+ c: Some('ə'),
+ },
+ Struct {
+ a: 117,
+ b: 9090,
+ c: Some('ø'),
+ },
+];
+
+const TEST_SLICE_TUPLESTRUCT: &[TupleStruct] = &[
+ TupleStruct(101, 'ř'),
+ TupleStruct(76, '°'),
+ TupleStruct(15, 'a'),
+];
+
+const TEST_SLICE_ENUM: &[Enum] = &[
+ Enum::A,
+ Enum::FooBar,
+ Enum::F,
+ Enum::D,
+ Enum::B,
+ Enum::FooBar,
+ Enum::E,
+];
diff --git a/vendor/zerovec-derive/examples/make_var.rs b/vendor/zerovec-derive/examples/make_var.rs
new file mode 100644
index 000000000..00dfdbdbf
--- /dev/null
+++ b/vendor/zerovec-derive/examples/make_var.rs
@@ -0,0 +1,189 @@
+// This file is part of ICU4X. For terms of use, please see the file
+// called LICENSE at the top level of the ICU4X source tree
+// (online at: https://github.com/unicode-org/icu4x/blob/main/LICENSE ).
+
+use std::borrow::Cow;
+
+use zerofrom::ZeroFrom;
+use zerovec::*;
+
+#[make_varule(VarStructULE)]
+#[derive(Clone, PartialEq, Eq, PartialOrd, Ord, Debug, serde::Serialize, serde::Deserialize)]
+#[zerovec::derive(Serialize, Deserialize, Debug)]
+struct VarStruct<'a> {
+ a: u32,
+ b: char,
+ #[serde(borrow)]
+ c: Cow<'a, str>,
+}
+
+#[make_varule(VarStructOutOfOrderULE)]
+#[derive(Clone, PartialEq, Eq, PartialOrd, Ord, Debug, serde::Serialize, serde::Deserialize)]
+#[zerovec::derive(Serialize, Deserialize, Debug)]
+struct VarStructOutOfOrder<'a> {
+ a: u32,
+ #[serde(borrow)]
+ b: Cow<'a, str>,
+ c: char,
+ d: u8,
+}
+
+#[make_varule(VarTupleStructULE)]
+#[derive(Clone, PartialEq, Eq, PartialOrd, Ord, Debug, serde::Serialize, serde::Deserialize)]
+#[zerovec::derive(Serialize, Deserialize, Debug)]
+struct VarTupleStruct<'a>(u32, char, #[serde(borrow)] VarZeroVec<'a, str>);
+
+#[make_varule(NoKVULE)]
+#[derive(Clone, PartialEq, Eq, PartialOrd, Ord, Debug, serde::Serialize, serde::Deserialize)]
+#[zerovec::skip_derive(ZeroMapKV)]
+#[zerovec::derive(Serialize, Deserialize, Debug)]
+struct NoKV<'a>(u32, char, #[serde(borrow)] VarZeroVec<'a, str>);
+
+#[make_varule(NoOrdULE)]
+#[derive(Clone, PartialEq, Eq, PartialOrd, Ord, Debug, serde::Serialize, serde::Deserialize)]
+#[zerovec::skip_derive(ZeroMapKV, Ord)]
+#[zerovec::derive(Serialize, Deserialize, Debug)]
+struct NoOrd<'a>(u32, char, #[serde(borrow)] VarZeroVec<'a, str>);
+
+#[make_varule(MultiFieldStructULE)]
+#[derive(Clone, PartialEq, Eq, PartialOrd, Ord, Debug, serde::Serialize, serde::Deserialize)]
+#[zerovec::derive(Serialize, Deserialize, Debug)]
+struct MultiFieldStruct<'a> {
+ a: u32,
+ b: char,
+ #[serde(borrow)]
+ c: Cow<'a, str>,
+ d: u8,
+ #[serde(borrow)]
+ e: Cow<'a, str>,
+ f: char,
+}
+
+#[make_varule(MultiFieldTupleULE)]
+#[derive(Clone, PartialEq, Eq, PartialOrd, Ord, Debug, serde::Serialize, serde::Deserialize)]
+#[zerovec::derive(Serialize, Deserialize, Debug)]
+struct MultiFieldTuple<'a>(
+ u8,
+ char,
+ #[serde(borrow)] VarZeroVec<'a, str>,
+ #[serde(borrow)] VarZeroVec<'a, [u8]>,
+ #[serde(borrow)] Cow<'a, str>,
+);
+
+/// The `assert` function should have the body `|(stack, zero)| assert_eq!(stack, &U::zero_from(&zero))`
+///
+/// We cannot do this internally because we technically need a different `U` with a shorter lifetime here
+/// which would require some gnarly lifetime bounds and perhaps a Yoke dependency. This is just a test, so it's
+/// not important to get this 100% perfect
+fn assert_zerovec<T, U, F>(slice: &[U], assert: F)
+where
+ T: ule::VarULE + ?Sized + serde::Serialize,
+ U: ule::EncodeAsVarULE<T> + serde::Serialize,
+ F: Fn(&U, &T),
+ for<'a> Box<T>: serde::Deserialize<'a>,
+{
+ let varzerovec: VarZeroVec<T> = slice.into();
+
+ assert_eq!(varzerovec.len(), slice.len());
+
+ for (stack, zero) in slice.iter().zip(varzerovec.iter()) {
+ assert(stack, zero)
+ }
+
+ let bytes = varzerovec.as_bytes();
+ let name = std::any::type_name::<T>();
+ let reparsed: VarZeroVec<T> = VarZeroVec::parse_byte_slice(bytes)
+ .unwrap_or_else(|_| panic!("Parsing VarZeroVec<{}> should succeed", name));
+
+ assert_eq!(reparsed.len(), slice.len());
+
+ for (stack, zero) in slice.iter().zip(reparsed.iter()) {
+ assert(stack, zero)
+ }
+
+ let bincode = bincode::serialize(&varzerovec).unwrap();
+ let deserialized: VarZeroVec<T> = bincode::deserialize(&bincode).unwrap();
+
+ for (stack, zero) in slice.iter().zip(deserialized.iter()) {
+ assert(stack, zero)
+ }
+
+ let json_slice = serde_json::to_string(&slice).unwrap();
+ let json_vzv = serde_json::to_string(&varzerovec).unwrap();
+
+ assert_eq!(json_slice, json_vzv);
+
+ let deserialized: VarZeroVec<T> = serde_json::from_str(&json_vzv).unwrap();
+
+ for (stack, zero) in slice.iter().zip(deserialized.iter()) {
+ assert(stack, zero)
+ }
+}
+
+fn main() {
+ assert_zerovec::<VarStructULE, VarStruct, _>(TEST_VARSTRUCTS, |stack, zero| {
+ assert_eq!(stack, &VarStruct::zero_from(zero))
+ });
+
+ assert_zerovec::<MultiFieldStructULE, MultiFieldStruct, _>(TEST_MULTIFIELD, |stack, zero| {
+ assert_eq!(stack, &MultiFieldStruct::zero_from(zero))
+ });
+
+ let vartuples = &[
+ VarTupleStruct(101, 'ø', TEST_STRINGS1.into()),
+ VarTupleStruct(9499, '⸘', TEST_STRINGS2.into()),
+ VarTupleStruct(3478, '月', TEST_STRINGS3.into()),
+ ];
+ assert_zerovec::<VarTupleStructULE, VarTupleStruct, _>(vartuples, |stack, zero| {
+ assert_eq!(stack, &VarTupleStruct::zero_from(zero))
+ });
+}
+
+const TEST_VARSTRUCTS: &[VarStruct<'static>] = &[
+ VarStruct {
+ a: 101,
+ b: 'ø',
+ c: Cow::Borrowed("testīng strīng"),
+ },
+ VarStruct {
+ a: 9499,
+ b: '⸘',
+ c: Cow::Borrowed("a diffərənt ştring"),
+ },
+ VarStruct {
+ a: 3478,
+ b: '月',
+ c: Cow::Borrowed("好多嘅 string"),
+ },
+];
+
+const TEST_STRINGS1: &[&str] = &["foo", "bar", "baz"];
+const TEST_STRINGS2: &[&str] = &["hellø", "wørłd"];
+const TEST_STRINGS3: &[&str] = &["łořem", "ɨpsu₥"];
+
+const TEST_MULTIFIELD: &[MultiFieldStruct<'static>] = &[
+ MultiFieldStruct {
+ a: 101,
+ b: 'ø',
+ c: Cow::Borrowed("testīng strīng"),
+ d: 8,
+ e: Cow::Borrowed("another testīng strīng"),
+ f: 'å',
+ },
+ MultiFieldStruct {
+ a: 9499,
+ b: '⸘',
+ c: Cow::Borrowed("a diffərənt ştring"),
+ d: 120,
+ e: Cow::Borrowed("a diffərənt testing ştring"),
+ f: 'ł',
+ },
+ MultiFieldStruct {
+ a: 3478,
+ b: '月',
+ c: Cow::Borrowed("好多嘅 string"),
+ d: 89,
+ e: Cow::Borrowed("many 好多嘅 string"),
+ f: 'ə',
+ },
+];