pub struct DataGraph { /* private fields */ }Expand description
A validation data graph held fully in memory as a sorted triple vector. Backs
the shapes graph and the eager data path; the lazy data path uses
ReteGraph.
Implementations§
Trait Implementations§
Source§impl GraphView for DataGraph
impl GraphView for DataGraph
Source§fn objects(&self, subject: &str, predicate: &str) -> Vec<String>
fn objects(&self, subject: &str, predicate: &str) -> Vec<String>
Objects of
(subject, predicate, ?).Source§fn subjects_with(&self, predicate: &str, object: &str) -> Vec<String>
fn subjects_with(&self, predicate: &str, object: &str) -> Vec<String>
Subjects of
(?, predicate, object).Source§fn predicates_for_subject(&self, subject: &str) -> Vec<String>
fn predicates_for_subject(&self, subject: &str) -> Vec<String>
Distinct predicates of
(subject, ?, ?).Source§fn all_nodes(&self) -> Vec<String>
fn all_nodes(&self) -> Vec<String>
Every node (subject or object). The one inherently non-targeted lookup
— a remote validation that reaches it reads the whole graph (only a general
inverse path or a target-less shape does).
Source§fn is_subclass_of(&self, child: &str, parent: &str) -> bool
fn is_subclass_of(&self, child: &str, parent: &str) -> bool
Is
child a reflexive/transitive rdfs:subClassOf of parent?Source§fn subclasses_of(&self, parent: &str) -> BTreeSet<String>
fn subclasses_of(&self, parent: &str) -> BTreeSet<String>
The (transitive) subclasses of
parent.Auto Trait Implementations§
impl Freeze for DataGraph
impl RefUnwindSafe for DataGraph
impl Send for DataGraph
impl Sync for DataGraph
impl Unpin for DataGraph
impl UnsafeUnpin for DataGraph
impl UnwindSafe for DataGraph
Blanket Implementations§
Source§impl<T> BorrowMut<T> for Twhere
T: ?Sized,
impl<T> BorrowMut<T> for Twhere
T: ?Sized,
Source§fn borrow_mut(&mut self) -> &mut T
fn borrow_mut(&mut self) -> &mut T
Mutably borrows from an owned value. Read more