Struct sophia::dataset::inmem::OgpsWrapper

pub struct OgpsWrapper<T> where
    T: IndexedDataset,  { /* fields omitted */ }

A DatasetWrapper indexing quads by object, then by graph name, then by predicate, then by subject.

Compared to its wrapped dataset, it overrides the methods that can efficiently be implemented using this index.

Since it must be able to produce quads instead of the underlying datasets, it is limited to wrapping datasets whose quads are ([&Term<H>;3], Option<&Term<H>>).

Methods

impl<T> OgpsWrapper<T> where
    T: IndexedDataset + Default,
    T::Index: Default, 

pub fn new() -> Self

Trait Implementations

impl<T> IndexedDataset for OgpsWrapper<T> where
    T: IndexedDataset + for<'a> Dataset<'a, Quad = ([&'a Term<<T as IndexedDataset>::TermData>; 3], Option<&'a Term<<T as IndexedDataset>::TermData>>)>, 

type Index = T::Index

The type used to represent terms internally.

type TermData = T::TermData

fn get_index<U>(&self, t: &Term<U>) -> Option<Self::Index> where
    U: TermData, 

Return the index for the given term, if it exists.

fn get_index_for_graph_name<U>(
    &self,
    g: Option<&Term<U>>
) -> Option<Self::Index> where
    U: TermData, 

Return the index for the given graph name, if it exists.

fn get_term(&self, i: Self::Index) -> Option<&Term<Self::TermData>>

Return the term for the given index, if it exists.

fn get_graph_name(
    &self,
    i: Self::Index
) -> Option<Option<&Term<Self::TermData>>>

Return the graph name for the given index, if it exists

fn insert_indexed<U, V, W, X>(
    &mut self,
    s: &Term<U>,
    p: &Term<V>,
    o: &Term<W>,
    g: Option<&Term<X>>
) -> Option<[Self::Index; 4]> where
    U: TermData,
    V: TermData,
    W: TermData,
    X: TermData, 

Insert a triple in this Dataset, and return the corresponding tuple of indices.

fn remove_indexed<U, V, W, X>(
    &mut self,
    s: &Term<U>,
    p: &Term<V>,
    o: &Term<W>,
    g: Option<&Term<X>>
) -> Option<[Self::Index; 4]> where
    U: TermData,
    V: TermData,
    W: TermData,
    X: TermData, 

Remove a triple from this Dataset, and return the corresponding tuple of indices.

fn shrink_to_fit(&mut self)

impl<'a, T> DatasetWrapper<'a> for OgpsWrapper<T> where
    T: IndexedDataset + Dataset<'a, Quad = ([&'a Term<<T as IndexedDataset>::TermData>; 3], Option<&'a Term<<T as IndexedDataset>::TermData>>)>, 

type Wrapped = T

The type of the wrapped dataset.

fn get_wrapped(&'a self) -> &'a T

Borrow the wrapped dataset.

fn get_wrapped_mut(&'a mut self) -> &'a mut T

Borrow the wrapped dataset mutably.

fn dw_quads_with_o<U>(
    &'a self,
    o: &'a Term<U>
) -> DQuadSource<'a, Self::Wrapped> where
    U: TermData, 

Mimmic the quads_with_o method.

fn dw_quads_with_og<U, V>(
    &'a self,
    o: &'a Term<U>,
    g: Option<&'a Term<V>>
) -> DQuadSource<'a, Self::Wrapped> where
    U: TermData,
    V: TermData, 

Mimmic the quads_with_og method.

fn dw_quads_with_pog<U, V, W>(
    &'a self,
    p: &'a Term<U>,
    o: &'a Term<V>,
    g: Option<&'a Term<W>>
) -> DQuadSource<'a, Self::Wrapped> where
    U: TermData,
    V: TermData,
    W: TermData, 

Mimmic the quads_with_pog method.

fn dw_objects(&'a self) -> DResultTermSet<'a, Self::Wrapped>

Mimmic the objects method.

fn dw_quads(&'a self) -> DQuadSource<'a, Self::Wrapped>

Mimmic the iter method.

fn dw_quads_with_s<T>(
    &'a self,
    s: &'a Term<T>
) -> DQuadSource<'a, Self::Wrapped> where
    T: TermData, 

Mimmic the quads_with_s method.

fn dw_quads_with_p<T>(
    &'a self,
    p: &'a Term<T>
) -> DQuadSource<'a, Self::Wrapped> where
    T: TermData, 

Mimmic the quads_with_p method.

fn dw_quads_with_g<T>(
    &'a self,
    g: Option<&'a Term<T>>
) -> DQuadSource<'a, Self::Wrapped> where
    T: TermData, 

Mimmic the quads_with_g method.

fn dw_quads_with_sp<T, U>(
    &'a self,
    s: &'a Term<T>,
    p: &'a Term<U>
) -> DQuadSource<'a, Self::Wrapped> where
    T: TermData,
    U: TermData, 

Mimmic the quads_with_sp method.

fn dw_quads_with_so<T, U>(
    &'a self,
    s: &'a Term<T>,
    o: &'a Term<U>
) -> DQuadSource<'a, Self::Wrapped> where
    T: TermData,
    U: TermData, 

Mimmic the quads_with_so method.

fn dw_quads_with_sg<T, U>(
    &'a self,
    s: &'a Term<T>,
    g: Option<&'a Term<U>>
) -> DQuadSource<'a, Self::Wrapped> where
    T: TermData,
    U: TermData, 

Mimmic the quads_with_sg method.

fn dw_quads_with_po<T, U>(
    &'a self,
    p: &'a Term<T>,
    o: &'a Term<U>
) -> DQuadSource<'a, Self::Wrapped> where
    T: TermData,
    U: TermData, 

Mimmic the quads_with_po method.

fn dw_quads_with_pg<T, U>(
    &'a self,
    p: &'a Term<T>,
    g: Option<&'a Term<U>>
) -> DQuadSource<'a, Self::Wrapped> where
    T: TermData,
    U: TermData, 

Mimmic the quads_with_pg method.

fn dw_quads_with_spo<T, U, V>(
    &'a self,
    s: &'a Term<T>,
    p: &'a Term<U>,
    o: &'a Term<V>
) -> DQuadSource<'a, Self::Wrapped> where
    T: TermData,
    U: TermData,
    V: TermData, 

Mimmic the quads_with_spo method.

fn dw_quads_with_spg<T, U, V>(
    &'a self,
    s: &'a Term<T>,
    p: &'a Term<U>,
    g: Option<&'a Term<V>>
) -> DQuadSource<'a, Self::Wrapped> where
    T: TermData,
    U: TermData,
    V: TermData, 

Mimmic the quads_with_spg method.

fn dw_quads_with_sog<T, U, V>(
    &'a self,
    s: &'a Term<T>,
    o: &'a Term<U>,
    g: Option<&'a Term<V>>
) -> DQuadSource<'a, Self::Wrapped> where
    T: TermData,
    U: TermData,
    V: TermData, 

Mimmic the quads_with_sog method.

fn dw_quads_with_spog<T, U, V, W>(
    &'a self,
    s: &'a Term<T>,
    p: &'a Term<U>,
    o: &'a Term<V>,
    g: Option<&'a Term<W>>
) -> DQuadSource<'a, Self::Wrapped> where
    T: TermData,
    U: TermData,
    V: TermData,
    W: TermData, 

Mimmic the quads_with_spog method.

fn dw_contains<T, U, V, W>(
    &'a self,
    s: &'a Term<T>,
    p: &'a Term<U>,
    o: &'a Term<V>,
    g: Option<&'a Term<W>>
) -> DResult<'a, Self::Wrapped, bool> where
    T: TermData,
    U: TermData,
    V: TermData,
    W: TermData, 

Mimmic the contains method.

fn dw_subjects(&'a self) -> DResultTermSet<'a, Self::Wrapped>

Mimmic the subjects method.

fn dw_predicates(&'a self) -> DResultTermSet<'a, Self::Wrapped>

Mimmic the predicates method.

fn dw_graph_names(&'a self) -> DResultTermSet<'a, Self::Wrapped>

Mimmic the graph_names method.

fn dw_iris(&'a self) -> DResultTermSet<'a, Self::Wrapped>

Mimmic the iris method.

fn dw_bnodes(&'a self) -> DResultTermSet<'a, Self::Wrapped>

Mimmic the bnodes method.

fn dw_literals(&'a self) -> DResultTermSet<'a, Self::Wrapped>

Mimmic the literals method.

fn dw_variables(&'a self) -> DResultTermSet<'a, Self::Wrapped>

Mimmic the variables method.

impl<T> IndexedDatasetWrapper<T> for OgpsWrapper<T> where
    T: IndexedDataset, 

fn idw_hook_insert_indexed(&mut self, modified: &Option<[T::Index; 4]>)

Hook to be executed at the end of IndexedDataset::insert_indexed.

fn idw_hook_remove_indexed(&mut self, modified: &Option<[T::Index; 4]>)

Hook to be executed at the end of IndexedDataset::remove_indexed.

fn idw_hook_shrink_to_fit(&mut self)

Hook to be executed at the end of IndexedDataset::shrink_to_fit.

impl<'a, T> Dataset<'a> for OgpsWrapper<T> where
    T: IndexedDataset + Dataset<'a, Quad = ([&'a Term<<T as IndexedDataset>::TermData>; 3], Option<&'a Term<<T as IndexedDataset>::TermData>>)>, 

type Quad = <Self::Wrapped as Dataset<'a>>::Quad

The type of Quads that the methods of this dataset will yield.

type Error = <Self::Wrapped as Dataset<'a>>::Error

The error type that this dataset may raise.

fn quads(&'a self) -> DQuadSource<'a, Self>

An iterator visiting all quads of this dataset in arbitrary order.

fn quads_with_s<T_>(&'a self, s: &'a Term<T_>) -> DQuadSource<'a, Self> where
    T_: TermData, 

An iterator visiting all quads with the given subject.

fn quads_with_p<T_>(&'a self, p: &'a Term<T_>) -> DQuadSource<'a, Self> where
    T_: TermData, 

An iterator visiting all quads with the given predicate.

fn quads_with_o<T_>(&'a self, o: &'a Term<T_>) -> DQuadSource<'a, Self> where
    T_: TermData, 

An iterator visiting add quads with the given object.

fn quads_with_g<T_>(&'a self, g: Option<&'a Term<T_>>) -> DQuadSource<'a, Self> where
    T_: TermData, 

An iterator visiting add quads with the given graph name.

fn quads_with_sp<T_, U_>(
    &'a self,
    s: &'a Term<T_>,
    p: &'a Term<U_>
) -> DQuadSource<'a, Self> where
    T_: TermData,
    U_: TermData, 

An iterator visiting add quads with the given subject and predicate.

fn quads_with_so<T_, U_>(
    &'a self,
    s: &'a Term<T_>,
    o: &'a Term<U_>
) -> DQuadSource<'a, Self> where
    T_: TermData,
    U_: TermData, 

An iterator visiting add quads with the given subject and object.

fn quads_with_sg<T_, U_>(
    &'a self,
    s: &'a Term<T_>,
    g: Option<&'a Term<U_>>
) -> DQuadSource<'a, Self> where
    T_: TermData,
    U_: TermData, 

An iterator visiting add quads with the given subject and graph name.

fn quads_with_po<T_, U_>(
    &'a self,
    p: &'a Term<T_>,
    o: &'a Term<U_>
) -> DQuadSource<'a, Self> where
    T_: TermData,
    U_: TermData, 

An iterator visiting add quads with the given predicate and object.

fn quads_with_pg<T_, U_>(
    &'a self,
    p: &'a Term<T_>,
    g: Option<&'a Term<U_>>
) -> DQuadSource<'a, Self> where
    T_: TermData,
    U_: TermData, 

An iterator visiting add quads with the given predicate and graph name.

fn quads_with_og<T_, U_>(
    &'a self,
    o: &'a Term<T_>,
    g: Option<&'a Term<U_>>
) -> DQuadSource<'a, Self> where
    T_: TermData,
    U_: TermData, 

An iterator visiting add quads with the given object and graph name.

fn quads_with_spo<T_, U_, V_>(
    &'a self,
    s: &'a Term<T_>,
    p: &'a Term<U_>,
    o: &'a Term<V_>
) -> DQuadSource<'a, Self> where
    T_: TermData,
    U_: TermData,
    V_: TermData, 

An iterator visiting add quads with the given subject, predicate and object.

fn quads_with_spg<T_, U_, V_>(
    &'a self,
    s: &'a Term<T_>,
    p: &'a Term<U_>,
    g: Option<&'a Term<V_>>
) -> DQuadSource<'a, Self> where
    T_: TermData,
    U_: TermData,
    V_: TermData, 

An iterator visiting add quads with the given subject, predicate and graph name.

fn quads_with_sog<T_, U_, V_>(
    &'a self,
    s: &'a Term<T_>,
    o: &'a Term<U_>,
    g: Option<&'a Term<V_>>
) -> DQuadSource<'a, Self> where
    T_: TermData,
    U_: TermData,
    V_: TermData, 

An iterator visiting add quads with the given subject, object and graph name.

fn quads_with_pog<T_, U_, V_>(
    &'a self,
    p: &'a Term<T_>,
    o: &'a Term<U_>,
    g: Option<&'a Term<V_>>
) -> DQuadSource<'a, Self> where
    T_: TermData,
    U_: TermData,
    V_: TermData, 

An iterator visiting add quads with the given predicate, object and graph name.

fn quads_with_spog<T_, U_, V_, W_>(
    &'a self,
    s: &'a Term<T_>,
    p: &'a Term<U_>,
    o: &'a Term<V_>,
    g: Option<&'a Term<W_>>
) -> DQuadSource<'a, Self> where
    T_: TermData,
    U_: TermData,
    V_: TermData,
    W_: TermData, 

An iterator visiting add quads with the given subject, predicate, object and graph name.

fn contains<T_, U_, V_, W_>(
    &'a self,
    s: &'a Term<T_>,
    p: &'a Term<U_>,
    o: &'a Term<V_>,
    g: Option<&'a Term<W_>>
) -> DResult<'a, Self, bool> where
    T_: TermData,
    U_: TermData,
    V_: TermData,
    W_: TermData, 

Return true if this dataset contains the given quad.

fn subjects(&'a self) -> DResult<'a, Self, HashSet<DTerm<'a, Self>>>

Build a Hashset of all the terms used as subject in this Dataset.

fn predicates(&'a self) -> DResult<'a, Self, HashSet<DTerm<'a, Self>>>

Build a Hashset of all the terms used as predicate in this Dataset.

fn objects(&'a self) -> DResult<'a, Self, HashSet<DTerm<'a, Self>>>

Build a Hashset of all the terms used as object in this Dataset.

fn iris(&'a self) -> DResult<'a, Self, HashSet<DTerm<'a, Self>>>

Build a Hashset of all the IRIs used in this Dataset.

fn bnodes(&'a self) -> DResult<'a, Self, HashSet<DTerm<'a, Self>>>

Build a Hashset of all the BNodes used in this Dataset.

fn literals(&'a self) -> DResult<'a, Self, HashSet<DTerm<'a, Self>>>

Build a Hashset of all the Literals used in this Dataset.

fn variables(&'a self) -> DResult<'a, Self, HashSet<DTerm<'a, Self>>>

Build a Hashset of all the variables used in this Dataset.

fn quads_matching<S: ?Sized, P: ?Sized, O: ?Sized, G: ?Sized>(
    &'a self,
    ms: &'a S,
    mp: &'a P,
    mo: &'a O,
    mg: &'a G
) -> DQuadSource<'a, Self> where
    S: TermMatcher,
    P: TermMatcher,
    O: TermMatcher,
    G: GraphNameMatcher, 

An iterator visiting add quads matching the given subject, predicate, object and graph name.

fn graph_names(&'a self) -> DResultTermSet<'a, Self>

Build a Hashset of all the terms used as graph names in this Dataset.

fn graph<T>(
    &self,
    graph_name: Option<&Term<T>>
) -> DatasetGraph<Self, &Self, Option<BoxTerm>> where
    T: TermData, 

Borrows one of the graphs of this dataset

fn graph_mut<T>(
    &mut self,
    graph_name: Option<&Term<T>>
) -> DatasetGraph<Self, &mut Self, Option<BoxTerm>> where
    T: TermData, 

Borrows mutably one of the graphs of this dataset

fn union_graph<T>(&'a self, gmatcher: T) -> DatasetGraph<Self, &Self, T> where
    T: GraphNameMatcher, 

Borrows a graph containing the union of all graphs matched by gmatcher

impl<T> MutableDataset for OgpsWrapper<T> where
    T: IndexedDataset + for<'a> Dataset<'a, Quad = ([&'a Term<<T as IndexedDataset>::TermData>; 3], Option<&'a Term<<T as IndexedDataset>::TermData>>)>, 

type MutationError = Never

The error type that this dataset may raise during mutations.

fn insert<T_, U_, V_, W_>(
    &mut self,
    s: &Term<T_>,
    p: &Term<U_>,
    o: &Term<V_>,
    g: Option<&Term<W_>>
) -> MDResult<Self, bool> where
    T_: TermData,
    U_: TermData,
    V_: TermData,
    W_: TermData, 

Insert the given quad in this dataset.

fn remove<T_, U_, V_, W_>(
    &mut self,
    s: &Term<T_>,
    p: &Term<U_>,
    o: &Term<V_>,
    g: Option<&Term<W_>>
) -> MDResult<Self, bool> where
    T_: TermData,
    U_: TermData,
    V_: TermData,
    W_: TermData, 

Remove the given quad in this dataset.

fn inserter(&mut self) -> Inserter<Self>

Return a QuadSink that will insert into this dataset all the quads it receives.

fn insert_all<'a, TS>(
    &mut self,
    src: &mut TS
) -> CoercedResult<usize, TS::Error, Self::MutationError> where
    TS: QuadSource<'a>,
    TS::Error: CoercibleWith<Self::MutationError>, 

Insert into this dataset all quads from the given source.

fn remover(&mut self) -> Remover<Self>

Return a QuadSink that will remove from this dataset all the quads it receives.

fn remove_all<'a, TS>(
    &mut self,
    src: &mut TS
) -> CoercedResult<usize, TS::Error, Self::MutationError> where
    TS: QuadSource<'a>,
    TS::Error: CoercibleWith<Self::MutationError>, 

Remove from this dataset all quads from the given source.

fn remove_matching<S: ?Sized, P: ?Sized, O: ?Sized, G: ?Sized>(
    &mut self,
    ms: &S,
    mp: &P,
    mo: &O,
    mg: &G
) -> MDResult<Self, usize> where
    S: TermMatcher,
    P: TermMatcher,
    O: TermMatcher,
    G: GraphNameMatcher,
    Self::Error: Into<Self::MutationError>,
    Never: CoercibleWith<Self::MutationError>,
    Self::MutationError: From<CoercedError<Never, Self::MutationError>>, 

Remove all quads matching the given matchers.

fn retain<S: ?Sized, P: ?Sized, O: ?Sized, G: ?Sized>(
    &mut self,
    ms: &S,
    mp: &P,
    mo: &O,
    mg: &G
) -> MDResult<Self, ()> where
    S: TermMatcher,
    P: TermMatcher,
    O: TermMatcher,
    G: GraphNameMatcher,
    Self::Error: Into<Self::MutationError>,
    Never: CoercibleWith<Self::MutationError>,
    Self::MutationError: From<CoercedError<Never, Self::MutationError>>, 

Keep only the quads matching the given matchers.

impl<T> SetDataset for OgpsWrapper<T> where
    T: IndexedDataset + SetDataset, 

impl<T: Default> Default for OgpsWrapper<T> where
    T: IndexedDataset,
    T::Index: Default,
    T::Index: Default,
    T::Index: Default,
    T::Index: Default,
    T::Index: Default,
    T::Index: Default, 

fn default() -> OgpsWrapper<T>

Returns the "default value" for a type.