shacl 0.2.18

A SHACL validator for RDF data, implemented in Rust.
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

use crate::error::ValidationError;
use crate::ir::{IRNodeShape, IRPropertyShape, IRShape};
use crate::validator::engine::Engine;
use crate::validator::nodes::{FocusNodes, ValueNodes};
use rudof_rdf::rdf_core::{NeighsRDF, Rdf};

pub(crate) trait ValueNodesOps<RDF: Rdf> {
    fn value_nodes(
        &self,
        store: &RDF,
        focus_nodes: &FocusNodes<RDF>,
        runner: &dyn Engine<RDF>,
    ) -> Result<ValueNodes<RDF>, ValidationError>;
}

impl<RDF: NeighsRDF> ValueNodesOps<RDF> for IRShape {
    fn value_nodes(
        &self,
        store: &RDF,
        focus_nodes: &FocusNodes<RDF>,
        runner: &dyn Engine<RDF>,
    ) -> Result<ValueNodes<RDF>, ValidationError> {
        match self {
            IRShape::NodeShape(ns) => ns.value_nodes(store, focus_nodes, runner),
            IRShape::PropertyShape(ps) => ps.value_nodes(store, focus_nodes, runner),
        }
    }
}

impl<RDF: NeighsRDF> ValueNodesOps<RDF> for IRNodeShape {
    fn value_nodes(
        &self,
        _: &RDF,
        focus_nodes: &FocusNodes<RDF>,
        _: &dyn Engine<RDF>,
    ) -> Result<ValueNodes<RDF>, ValidationError> {
        let value_nodes = focus_nodes.iter().map(|n| (n.clone(), FocusNodes::single(n.clone())));
        Ok(ValueNodes::from_iter(value_nodes))
    }
}

impl<RDF: NeighsRDF> ValueNodesOps<RDF> for IRPropertyShape {
    fn value_nodes(
        &self,
        store: &RDF,
        focus_nodes: &FocusNodes<RDF>,
        runner: &dyn Engine<RDF>,
    ) -> Result<ValueNodes<RDF>, ValidationError> {
        let value_nodes = focus_nodes.iter().filter_map(|n| {
            match runner.path(store, self, n) {
                Ok(ts) => Some((n.clone(), ts)),
                Err(_) => None, // TODO - Should we add a violation for this case?
            }
        });
        Ok(ValueNodes::from_iter(value_nodes))
    }
}