|
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