|
3 | 3 | extern crate std;
|
4 | 4 |
|
5 | 5 | use ciborium::cbor;
|
6 |
| -use ciborium::tag::Required; |
7 |
| -use ciborium::value::CanonicalValue; |
| 6 | +use ciborium::value::{canonical_into_vec, canonical_value, CanonicalValue, Value}; |
8 | 7 | use rand::prelude::*;
|
| 8 | +use serde::{Deserialize, Serialize}; |
9 | 9 | use std::collections::BTreeMap;
|
| 10 | +use std::vec; |
10 | 11 |
|
11 | 12 | macro_rules! cval {
|
12 | 13 | ($x:expr) => {
|
@@ -64,48 +65,89 @@ fn map() {
|
64 | 65 | }
|
65 | 66 |
|
66 | 67 | #[test]
|
67 |
| -fn negative_numbers() { |
68 |
| - let mut array: Vec<CanonicalValue> = vec![ |
69 |
| - cval!(10), |
70 |
| - cval!(-1), |
71 |
| - cval!(-2), |
72 |
| - cval!(-3), |
73 |
| - cval!(-4), |
74 |
| - cval!(false), |
75 |
| - cval!(100), |
76 |
| - cval!(-100), |
77 |
| - cval!(-200), |
78 |
| - cval!("z"), |
79 |
| - cval!([-1]), |
80 |
| - cval!(-300), |
81 |
| - cval!("aa"), |
82 |
| - cval!([100]), |
83 |
| - ]; |
84 |
| - let golden = array.clone(); |
85 |
| - |
86 |
| - // Shuffle the array. |
87 |
| - array.shuffle(&mut rand::thread_rng()); |
| 68 | +fn canonical_value_example() { |
| 69 | + let map = Value::Map(vec![ |
| 70 | + (val!(false), val!(2)), |
| 71 | + (val!([-1]), val!(5)), |
| 72 | + (val!(-1), val!(1)), |
| 73 | + (val!(10), val!(0)), |
| 74 | + (val!(100), val!(3)), |
| 75 | + (val!([100]), val!(7)), |
| 76 | + (val!("z"), val!(4)), |
| 77 | + (val!("aa"), val!(6)), |
| 78 | + ]); |
| 79 | + |
| 80 | + let bytes = canonical_into_vec(&map).unwrap(); |
| 81 | + assert_eq!( |
| 82 | + hex::encode(&bytes), |
| 83 | + "a80a002001f402186403617a048120056261610681186407" |
| 84 | + ); |
88 | 85 |
|
89 |
| - array.sort(); |
| 86 | + let canonical = canonical_value(map); |
| 87 | + let bytes = ciborium::ser::into_vec(&canonical).unwrap(); |
90 | 88 |
|
91 |
| - assert_eq!(array, golden); |
| 89 | + assert_eq!( |
| 90 | + hex::encode(&bytes), |
| 91 | + "a80a002001f402186403617a048120056261610681186407" |
| 92 | + ); |
92 | 93 | }
|
93 | 94 |
|
94 | 95 | #[test]
|
95 |
| -fn tagged_option() { |
96 |
| - let mut opt = Some(Required::<u64, 0xff>(2u32.into())); |
97 |
| - |
98 |
| - let mut bytes = Vec::new(); |
99 |
| - ciborium::ser::into_writer(&opt, &mut bytes).unwrap(); |
100 |
| - |
101 |
| - let output = ciborium::de::from_reader(&bytes[..]).unwrap(); |
102 |
| - assert_eq!(opt, output); |
103 |
| - |
104 |
| - opt = None; |
| 96 | +fn canonical_value_nested_structures() { |
| 97 | + // Create nested structure with unsorted maps |
| 98 | + let nested = Value::Array(vec![ |
| 99 | + Value::Map(vec![(val!("b"), val!(2)), (val!("a"), val!(1))]), |
| 100 | + Value::Tag( |
| 101 | + 1, |
| 102 | + Box::new(Value::Map(vec![ |
| 103 | + (val!(100), val!("high")), |
| 104 | + (val!(10), val!("low")), |
| 105 | + ])), |
| 106 | + ), |
| 107 | + ]); |
| 108 | + |
| 109 | + let canonical = canonical_value(nested); |
| 110 | + |
| 111 | + if let Value::Array(elements) = canonical { |
| 112 | + // Check first map is sorted |
| 113 | + if let Value::Map(entries) = &elements[0] { |
| 114 | + assert_eq!(entries[0].0, val!("a")); |
| 115 | + assert_eq!(entries[1].0, val!("b")); |
| 116 | + } |
| 117 | + |
| 118 | + // Check tagged map is sorted |
| 119 | + if let Value::Tag(_, inner) = &elements[1] { |
| 120 | + if let Value::Map(entries) = inner.as_ref() { |
| 121 | + assert_eq!(entries[0].0, val!(10)); |
| 122 | + assert_eq!(entries[1].0, val!(100)); |
| 123 | + } |
| 124 | + } |
| 125 | + } else { |
| 126 | + panic!("Expected Array value"); |
| 127 | + } |
| 128 | +} |
105 | 129 |
|
106 |
| - let mut bytes = Vec::new(); |
107 |
| - ciborium::ser::into_writer(&opt, &mut bytes).unwrap(); |
| 130 | +#[test] |
| 131 | +fn canonical_value_struct() { |
| 132 | + #[derive(Clone, Debug, Deserialize, Serialize)] |
| 133 | + struct T1 { |
| 134 | + a: u32, |
| 135 | + b: u32, |
| 136 | + c: u32, |
| 137 | + } |
| 138 | + |
| 139 | + #[derive(Clone, Debug, Deserialize, Serialize)] |
| 140 | + struct T2 { |
| 141 | + c: u32, |
| 142 | + b: u32, |
| 143 | + a: u32, |
| 144 | + } |
| 145 | + |
| 146 | + let t1 = T1 { a: 1, b: 2, c: 3 }; |
| 147 | + let t2 = T2 { c: 3, b: 2, a: 1 }; |
108 | 148 |
|
109 |
| - let output = ciborium::de::from_reader(&bytes[..]).unwrap(); |
110 |
| - assert_eq!(opt, output); |
| 149 | + assert_eq!( |
| 150 | + canonical_into_vec(&t1).unwrap(), |
| 151 | + canonical_into_vec(&t2).unwrap() |
| 152 | + ); |
111 | 153 | }
|
0 commit comments