selene-db-core 1.3.0

Foundation types for the selene-db ISO/IEC 39075:2024 GQL property graph engine.
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

use proptest::prelude::*;

use super::*;
use crate::{Value, db_string};

proptest! {
    #[test]
    fn random_label_diff_preserves_sorted_deduped(
        raw_added in proptest::collection::vec(0_u8..32, 0..32),
        raw_removed in proptest::collection::vec(33_u8..64, 0..32),
    ) {
        let added = raw_added.into_iter().map(|value| {
            let name = format!("change.diff.{value}");
            db_string(&name).unwrap()
        });
        let removed = raw_removed.into_iter().map(|value| {
            let name = format!("change.diff.{value}");
            db_string(&name).unwrap()
        });
        let diff = LabelDiff::new(added, removed).unwrap();
        prop_assert!(diff.added.windows(2).all(|pair| pair[0] < pair[1]));
        prop_assert!(diff.removed.windows(2).all(|pair| pair[0] < pair[1]));
        prop_assert!(diff.added.iter().all(|label| !diff.removed.contains(label)));
    }

    #[test]
    fn random_property_diff_preserves_sorted_sets(
        raw_set in proptest::collection::vec(0_u8..32, 0..32),
        raw_removed in proptest::collection::vec(33_u8..64, 0..32),
    ) {
        let set = raw_set.into_iter().map(|value| {
            let name = format!("change.prop.{value}");
            (db_string(&name).unwrap(), Value::Uint(u64::from(value)))
        });
        let removed = raw_removed.into_iter().map(|value| {
            let name = format!("change.prop.{value}");
            db_string(&name).unwrap()
        });
        let diff = PropertyDiff::new(set, removed).unwrap();
        prop_assert!(diff.set.windows(2).all(|pair| pair[0].0 < pair[1].0));
        prop_assert!(diff.removed.windows(2).all(|pair| pair[0] < pair[1]));
    }
}