rdfx 0.23.2

RDF 1.2 data-structures, traits and utilities: terms (incl. triple terms), triples, quads, interpretations, graphs, datasets, unstar/restar reification helpers.
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
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61

#![cfg(feature = "meta")]
#![allow(clippy::unwrap_used, clippy::panic, clippy::expect_used, clippy::get_unwrap)]

use rdfx::{
    Quad,
    Triple,
    dataset::{BTreeDataset, HashDataset},
    meta::{Meta, Strip},
};

type MetaUsize = Meta<usize, u32>;
type MetaQuadAlias = Meta<Quad<MetaUsize, MetaUsize, MetaUsize, MetaUsize>, u32>;

#[test]
fn strip_meta_quad_collapses_to_plain_quad() {
    let s: usize = 0;
    let p: usize = 1;
    let o: usize = 2;

    let mq: MetaQuadAlias = Meta(Quad(Meta(s, 1), Meta(p, 2), Meta(o, 3), None), 7);

    let stripped: Quad<usize, usize, usize, usize> = mq.strip();
    assert_eq!(stripped, Quad(s, p, o, None));
}

#[test]
fn btree_dataset_of_meta_inserts() {
    let mut d: BTreeDataset<Meta<usize, u32>> = BTreeDataset::new();
    d.insert(Quad(Meta(0usize, 1), Meta(1usize, 1), Meta(2usize, 1), None));
    assert_eq!(d.len(), 1);
}

#[test]
fn meta_eq_distinguishes_metadata() {
    let s: usize = 0;
    let p: usize = 1;
    let o: usize = 2;

    let mut d: BTreeDataset<Meta<usize, u32>> = BTreeDataset::new();
    d.insert(Quad(Meta(s, 1), Meta(p, 1), Meta(o, 1), None));
    d.insert(Quad(Meta(s, 2), Meta(p, 2), Meta(o, 2), None));
    assert_eq!(d.len(), 2);
}

#[test]
fn hash_dataset_of_meta_inserts() {
    let mut d: HashDataset<Meta<usize, u32>> = HashDataset::new();
    d.insert(Quad(Meta(0usize, 1), Meta(1usize, 1), Meta(2usize, 1), None));
    assert_eq!(d.len(), 1);
}

#[test]
fn round_trip_strip_triple() {
    let s: usize = 0;
    let p: usize = 1;
    let o: usize = 2;

    let mt: Triple<Meta<usize, u32>, Meta<usize, u32>, Meta<usize, u32>> = Triple(Meta(s, 1), Meta(p, 1), Meta(o, 1));
    let plain: Triple<usize, usize, usize> = mt.strip();
    assert_eq!(plain, Triple(s, p, o));
}