@ -18,7 +18,6 @@ use crate::sparql::plan::{DatasetView, PlanNode};
use crate ::sparql ::plan_builder ::PlanBuilder ;
use crate ::sparql ::plan_builder ::PlanBuilder ;
use crate ::store ::StoreConnection ;
use crate ::store ::StoreConnection ;
use crate ::Result ;
use crate ::Result ;
use failure ::format_err ;
use rio_api ::iri ::Iri ;
use rio_api ::iri ::Iri ;
use std ::fmt ;
use std ::fmt ;
@ -31,7 +30,7 @@ pub use crate::sparql::model::Variable;
/// A prepared [SPARQL query](https://www.w3.org/TR/sparql11-query/)
/// A prepared [SPARQL query](https://www.w3.org/TR/sparql11-query/)
pub trait PreparedQuery {
pub trait PreparedQuery {
/// Evaluates the query and returns its results
/// Evaluates the query and returns its results
fn exec < ' a > ( & ' a self , options : & ' a QueryOptions < ' a > ) -> Result < QueryResult < ' a > > ;
fn exec ( & self ) -> Result < QueryResult > ;
}
}
/// An implementation of `PreparedQuery` for internal use
/// An implementation of `PreparedQuery` for internal use
@ -59,10 +58,9 @@ enum SimplePreparedQueryAction<S: StoreConnection> {
}
}
impl < ' a , S : StoreConnection + ' a > SimplePreparedQuery < S > {
impl < ' a , S : StoreConnection + ' a > SimplePreparedQuery < S > {
pub ( crate ) fn new ( connection : S , query : & str , base_iri : Option < & ' a str > ) -> Result < Self > {
pub ( crate ) fn new ( connection : S , query : & str , options : QueryOptions ) -> Result < Self > {
let dataset = DatasetView ::new ( connection ) ;
let dataset = DatasetView ::new ( connection , options . default_graph_as_union ) ;
//TODO avoid inserting terms in the Repository StringStore
Ok ( Self ( match read_sparql_query ( query , options . base_iri ) ? {
Ok ( Self ( match read_sparql_query ( query , base_iri ) ? {
QueryVariants ::Select {
QueryVariants ::Select {
algebra ,
algebra ,
dataset : _ ,
dataset : _ ,
@ -72,7 +70,7 @@ impl<'a, S: StoreConnection + 'a> SimplePreparedQuery<S> {
SimplePreparedQueryAction ::Select {
SimplePreparedQueryAction ::Select {
plan ,
plan ,
variables ,
variables ,
evaluator : SimpleEvaluator ::new ( dataset , base_iri ) ,
evaluator : SimpleEvaluator ::new ( dataset , base_iri , options . service_handler ) ,
}
}
}
}
QueryVariants ::Ask {
QueryVariants ::Ask {
@ -83,7 +81,7 @@ impl<'a, S: StoreConnection + 'a> SimplePreparedQuery<S> {
let ( plan , _ ) = PlanBuilder ::build ( dataset . encoder ( ) , & algebra ) ? ;
let ( plan , _ ) = PlanBuilder ::build ( dataset . encoder ( ) , & algebra ) ? ;
SimplePreparedQueryAction ::Ask {
SimplePreparedQueryAction ::Ask {
plan ,
plan ,
evaluator : SimpleEvaluator ::new ( dataset , base_iri ) ,
evaluator : SimpleEvaluator ::new ( dataset , base_iri , options . service_handler ) ,
}
}
}
}
QueryVariants ::Construct {
QueryVariants ::Construct {
@ -100,7 +98,7 @@ impl<'a, S: StoreConnection + 'a> SimplePreparedQuery<S> {
& construct ,
& construct ,
variables ,
variables ,
) ? ,
) ? ,
evaluator : SimpleEvaluator ::new ( dataset , base_iri ) ,
evaluator : SimpleEvaluator ::new ( dataset , base_iri , options . service_handler ) ,
}
}
}
}
QueryVariants ::Describe {
QueryVariants ::Describe {
@ -111,7 +109,7 @@ impl<'a, S: StoreConnection + 'a> SimplePreparedQuery<S> {
let ( plan , _ ) = PlanBuilder ::build ( dataset . encoder ( ) , & algebra ) ? ;
let ( plan , _ ) = PlanBuilder ::build ( dataset . encoder ( ) , & algebra ) ? ;
SimplePreparedQueryAction ::Describe {
SimplePreparedQueryAction ::Describe {
plan ,
plan ,
evaluator : SimpleEvaluator ::new ( dataset , base_iri ) ,
evaluator : SimpleEvaluator ::new ( dataset , base_iri , options . service_handler ) ,
}
}
}
}
} ) )
} ) )
@ -121,45 +119,41 @@ impl<'a, S: StoreConnection + 'a> SimplePreparedQuery<S> {
pub ( crate ) fn new_from_pattern (
pub ( crate ) fn new_from_pattern (
connection : S ,
connection : S ,
pattern : & GraphPattern ,
pattern : & GraphPattern ,
base_iri : Option < & ' a str > ,
options : QueryOptions ,
) -> Result < Self > {
) -> Result < Self > {
let dataset = DatasetView ::new ( connection ) ;
let dataset = DatasetView ::new ( connection , options . default_graph_as_union ) ;
let ( plan , variables ) = PlanBuilder ::build ( dataset . encoder ( ) , pattern ) ? ;
let ( plan , variables ) = PlanBuilder ::build ( dataset . encoder ( ) , pattern ) ? ;
let base_iri = base_iri . map ( | str_iri | Iri ::parse ( str_iri . to_string ( ) ) ) ;
let base_iri = if let Some ( base_iri ) = options . base_iri {
match base_iri {
Some ( Iri ::parse ( base_iri . to_string ( ) ) ? )
Some ( Err ( _ ) ) = > Err ( format_err ! ( "Failed to parse base_iri" ) ) ,
} else {
Some ( Ok ( base_iri ) ) = > Ok ( Self ( SimplePreparedQueryAction ::Select {
None
plan ,
} ;
variables ,
Ok ( Self ( SimplePreparedQueryAction ::Select {
evaluator : SimpleEvaluator ::new ( dataset , Some ( base_iri ) ) ,
plan ,
} ) ) ,
variables ,
None = > Ok ( Self ( SimplePreparedQueryAction ::Select {
evaluator : SimpleEvaluator ::new ( dataset , base_iri , options . service_handler ) ,
plan ,
} ) )
variables ,
evaluator : SimpleEvaluator ::new ( dataset , None ) ,
} ) ) ,
}
}
}
}
}
impl < S : StoreConnection > PreparedQuery for SimplePreparedQuery < S > {
impl < S : StoreConnection > PreparedQuery for SimplePreparedQuery < S > {
fn exec < ' a > ( & ' a self , options : & ' a QueryOptions < ' a > ) -> Result < QueryResult < ' a > > {
fn exec ( & self ) -> Result < QueryResult > {
match & self . 0 {
match & self . 0 {
SimplePreparedQueryAction ::Select {
SimplePreparedQueryAction ::Select {
plan ,
plan ,
variables ,
variables ,
evaluator ,
evaluator ,
} = > evaluator . evaluate_select_plan ( & plan , & variables , options ) ,
} = > evaluator . evaluate_select_plan ( & plan , & variables ) ,
SimplePreparedQueryAction ::Ask { plan , evaluator } = > {
SimplePreparedQueryAction ::Ask { plan , evaluator } = > {
evaluator . evaluate_ask_plan ( & plan , options )
evaluator . evaluate_ask_plan ( & plan )
}
}
SimplePreparedQueryAction ::Construct {
SimplePreparedQueryAction ::Construct {
plan ,
plan ,
construct ,
construct ,
evaluator ,
evaluator ,
} = > evaluator . evaluate_construct_plan ( & plan , & construct , & options ) ,
} = > evaluator . evaluate_construct_plan ( & plan , & construct ) ,
SimplePreparedQueryAction ::Describe { plan , evaluator } = > {
SimplePreparedQueryAction ::Describe { plan , evaluator } = > {
evaluator . evaluate_describe_plan ( & plan , & options )
evaluator . evaluate_describe_plan ( & plan )
}
}
}
}
}
}
@ -168,15 +162,27 @@ impl<S: StoreConnection> PreparedQuery for SimplePreparedQuery<S> {
pub trait ServiceHandler {
pub trait ServiceHandler {
fn handle < ' a > (
fn handle < ' a > (
& ' a self ,
& ' a self ,
node : NamedNode ,
node : & NamedNode ,
) -> Option < ( fn ( GraphPattern ) -> Result < BindingsIterator < ' a > > ) > ;
) -> Option < ( fn ( GraphPattern ) -> Result < BindingsIterator < ' a > > ) > ;
}
}
#[ derive(Default) ]
struct EmptyServiceHandler { }
impl ServiceHandler for EmptyServiceHandler {
fn handle < ' a > (
& ' a self ,
_node : & NamedNode ,
) -> Option < ( fn ( GraphPattern ) -> Result < BindingsIterator < ' a > > ) > {
None
}
}
/// Options for SPARQL query parsing and evaluation like the query base IRI
/// Options for SPARQL query parsing and evaluation like the query base IRI
pub struct QueryOptions < ' a > {
pub struct QueryOptions < ' a > {
pub ( crate ) base_iri : Option < & ' a str > ,
pub ( crate ) base_iri : Option < & ' a str > ,
pub ( crate ) default_graph_as_union : bool ,
pub ( crate ) default_graph_as_union : bool ,
pub ( crate ) service_handler : Option < Box < dyn ServiceHandler > > ,
pub ( crate ) service_handler : Box < dyn ServiceHandler > ,
}
}
impl < ' a > Default for QueryOptions < ' a > {
impl < ' a > Default for QueryOptions < ' a > {
@ -184,7 +190,7 @@ impl<'a> Default for QueryOptions<'a> {
Self {
Self {
base_iri : None ,
base_iri : None ,
default_graph_as_union : false ,
default_graph_as_union : false ,
service_handler : None as Option < Box < dyn ServiceHandler > > ,
service_handler : Box ::new ( EmptyServiceHandler ::default ( ) ) ,
}
}
}
}
}
}
@ -204,7 +210,7 @@ impl<'a> QueryOptions<'a> {
/// Consider the union of all graphs in the repository as the default graph
/// Consider the union of all graphs in the repository as the default graph
pub fn with_service_handler ( mut self , service_handler : Box < dyn ServiceHandler > ) -> Self {
pub fn with_service_handler ( mut self , service_handler : Box < dyn ServiceHandler > ) -> Self {
self . service_handler = Some ( service_handler ) ;
self . service_handler = service_handler ;
self
self
}
}
}
}