Trait QueryableDataset

pub trait QueryableDataset: Sized + 'static {
    type InternalTerm: Clone + Eq + Hash;
    type Error: Error + Send + Sync;

    // Required methods
    fn internal_quads_for_pattern(
        &self,
        subject: Option<&Self::InternalTerm>,
        predicate: Option<&Self::InternalTerm>,
        object: Option<&Self::InternalTerm>,
        graph_name: Option<Option<&Self::InternalTerm>>,
    ) -> Box<dyn Iterator<Item = Result<InternalQuad<Self>, Self::Error>>>;
    fn internalize_term(
        &self,
        term: Term,
    ) -> Result<Self::InternalTerm, Self::Error>;
    fn externalize_term(
        &self,
        term: Self::InternalTerm,
    ) -> Result<Term, Self::Error>;

    // Provided methods
    fn internal_named_graphs(
        &self,
    ) -> Box<dyn Iterator<Item = Result<Self::InternalTerm, Self::Error>>> { ... }
    fn contains_internal_graph_name(
        &self,
        graph_name: &Self::InternalTerm,
    ) -> Result<bool, Self::Error> { ... }
    fn externalize_expression_term(
        &self,
        term: Self::InternalTerm,
    ) -> Result<ExpressionTerm, Self::Error> { ... }
    fn internalize_expression_term(
        &self,
        term: ExpressionTerm,
    ) -> Result<Self::InternalTerm, Self::Error> { ... }
    fn internal_term_effective_boolean_value(
        &self,
        term: Self::InternalTerm,
    ) -> Result<Option<bool>, Self::Error> { ... }
}

A RDF dataset that can be queried using SPARQL

Required Associated Types

type InternalTerm: Clone + Eq + Hash

Internal representation of an RDF term

Can be just an integer that indexes into a dictionary…

Equality here is the RDF term equality (SPARQL sameTerm function)

type Error: Error + Send + Sync

Error returned by the dataset.

Required Methods

fn internal_quads_for_pattern( &self, subject: Option<&Self::InternalTerm>, predicate: Option<&Self::InternalTerm>, object: Option<&Self::InternalTerm>, graph_name: Option<Option<&Self::InternalTerm>>, ) -> Box<dyn Iterator<Item = Result<InternalQuad<Self>, Self::Error>>>

Fetches quads according to a pattern

For graph_name, Some(None) encodes the default graph and Some(Some(_)) a named graph

fn internalize_term( &self, term: Term, ) -> Result<Self::InternalTerm, Self::Error>

Builds an internal term from the Term struct

fn externalize_term( &self, term: Self::InternalTerm, ) -> Result<Term, Self::Error>

Builds a Term from an internal term

Provided Methods

fn internal_named_graphs( &self, ) -> Box<dyn Iterator<Item = Result<Self::InternalTerm, Self::Error>>>

Fetches the list of dataset named graphs

fn contains_internal_graph_name( &self, graph_name: &Self::InternalTerm, ) -> Result<bool, Self::Error>

Returns if the dataset contains a given named graph

fn externalize_expression_term( &self, term: Self::InternalTerm, ) -> Result<ExpressionTerm, Self::Error>

Builds an ExpressionTerm from an internal term

fn internalize_expression_term( &self, term: ExpressionTerm, ) -> Result<Self::InternalTerm, Self::Error>

Builds an internal term from an ExpressionTerm

fn internal_term_effective_boolean_value( &self, term: Self::InternalTerm, ) -> Result<Option<bool>, Self::Error>

Computes the term Effective boolean value

Dyn Compatibility

This trait is not dyn compatible.

In older versions of Rust, dyn compatibility was called "object safety", so this trait is not object safe.

Implementations on Foreign Types

impl QueryableDataset for Dataset

type InternalTerm = Term

type Error = Infallible

fn internal_quads_for_pattern( &self, subject: Option<&Term>, predicate: Option<&Term>, object: Option<&Term>, graph_name: Option<Option<&Term>>, ) -> Box<dyn Iterator<Item = Result<InternalQuad<Self>, Infallible>>>

fn internalize_term(&self, term: Term) -> Result<Term, Infallible>

fn externalize_term(&self, term: Term) -> Result<Term, Infallible>

Implementors