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
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
112
113
114
115
116

use crate::{
    BlankId,
    BlankIdBuf,
    Interpretation,
    vocabulary::{BlankIdVocabulary, BlankIdVocabularyMut},
};

/// Blank node identifier interpretation.
pub trait BlankIdInterpretation<B: ?Sized>: Interpretation {
    /// Returns the interpretation of the given blank node identifier, if any.
    fn blank_id_interpretation(&self, blank_id: &B) -> Option<Self::Resource>;

    fn lexical_blank_id_interpretation(&self, vocabulary: &impl BlankIdVocabulary<BlankId = B>, blank_id: &BlankId) -> Option<Self::Resource>
    where
        B: Sized,
    {
        vocabulary.get_blank_id(blank_id).and_then(|blank_id| self.blank_id_interpretation(&blank_id))
    }
}

impl<B, T: BlankIdInterpretation<B>> BlankIdInterpretation<B> for &T {
    fn blank_id_interpretation(&self, blank_id: &B) -> Option<Self::Resource> {
        T::blank_id_interpretation(*self, blank_id)
    }

    fn lexical_blank_id_interpretation(&self, vocabulary: &impl BlankIdVocabulary<BlankId = B>, blank_id: &BlankId) -> Option<Self::Resource>
    where
        B: Sized,
    {
        T::lexical_blank_id_interpretation(*self, vocabulary, blank_id)
    }
}

impl<B, T: BlankIdInterpretation<B>> BlankIdInterpretation<B> for &mut T {
    fn blank_id_interpretation(&self, blank_id: &B) -> Option<Self::Resource> {
        T::blank_id_interpretation(*self, blank_id)
    }

    fn lexical_blank_id_interpretation(&self, vocabulary: &impl BlankIdVocabulary<BlankId = B>, blank_id: &BlankId) -> Option<Self::Resource>
    where
        B: Sized,
    {
        T::lexical_blank_id_interpretation(*self, vocabulary, blank_id)
    }
}

/// Mutable blank node identifier interpretation.
pub trait BlankIdInterpretationMut<B = BlankIdBuf>: Interpretation {
    /// Interprets the given blank node identifier.
    fn interpret_blank_id(&mut self, blank_id: B) -> Self::Resource;

    fn interpret_lexical_blank_id(&mut self, vocabulary: &mut impl BlankIdVocabularyMut<BlankId = B>, blank_id: &BlankId) -> Self::Resource {
        self.interpret_blank_id(vocabulary.insert_blank_id(blank_id))
    }

    fn interpret_owned_lexical_blank_id(&mut self, vocabulary: &mut impl BlankIdVocabularyMut<BlankId = B>, blank_id: BlankIdBuf) -> Self::Resource {
        self.interpret_blank_id(vocabulary.insert_owned_blank_id(blank_id))
    }
}

impl<B, T: BlankIdInterpretationMut<B>> BlankIdInterpretationMut<B> for &mut T {
    fn interpret_blank_id(&mut self, blank_id: B) -> Self::Resource {
        T::interpret_blank_id(*self, blank_id)
    }

    fn interpret_lexical_blank_id(&mut self, vocabulary: &mut impl BlankIdVocabularyMut<BlankId = B>, blank_id: &BlankId) -> Self::Resource {
        T::interpret_lexical_blank_id(*self, vocabulary, blank_id)
    }

    fn interpret_owned_lexical_blank_id(&mut self, vocabulary: &mut impl BlankIdVocabularyMut<BlankId = B>, blank_id: BlankIdBuf) -> Self::Resource {
        T::interpret_owned_lexical_blank_id(*self, vocabulary, blank_id)
    }
}

pub trait ReverseBlankIdInterpretation: Interpretation {
    type BlankId;
    type BlankIds<'a>: Clone + Iterator<Item = &'a Self::BlankId>
    where
        Self: 'a;

    fn blank_ids_of<'a>(&'a self, id: &'a Self::Resource) -> Self::BlankIds<'a>;
}

impl<T: ReverseBlankIdInterpretation> ReverseBlankIdInterpretation for &T {
    type BlankId = T::BlankId;
    type BlankIds<'a>
        = T::BlankIds<'a>
    where
        Self: 'a;

    fn blank_ids_of<'a>(&'a self, id: &'a Self::Resource) -> Self::BlankIds<'a> {
        T::blank_ids_of(*self, id)
    }
}

impl<T: ReverseBlankIdInterpretation> ReverseBlankIdInterpretation for &mut T {
    type BlankId = T::BlankId;
    type BlankIds<'a>
        = T::BlankIds<'a>
    where
        Self: 'a;

    fn blank_ids_of<'a>(&'a self, id: &'a Self::Resource) -> Self::BlankIds<'a> {
        T::blank_ids_of(*self, id)
    }
}

pub trait ReverseBlankIdInterpretationMut: ReverseBlankIdInterpretation {
    fn assign_blank_id(&mut self, id: &Self::Resource, blank_id: Self::BlankId) -> bool;
}

impl<T: ReverseBlankIdInterpretationMut> ReverseBlankIdInterpretationMut for &mut T {
    fn assign_blank_id(&mut self, id: &Self::Resource, blank_id: Self::BlankId) -> bool {
        T::assign_blank_id(*self, id, blank_id)
    }
}