pub struct NativeEngine;Trait Implementations§
Source§impl<S: SRDF + Debug + 'static> Engine<S> for NativeEngine
impl<S: SRDF + Debug + 'static> Engine<S> for NativeEngine
Source§fn target_node(
&self,
_: &S,
node: &S::Term,
) -> Result<FocusNodes<S>, ValidateError>
fn target_node( &self, _: &S, node: &S::Term, ) -> Result<FocusNodes<S>, ValidateError>
If s is a shape in a shapes graph SG and s has value t for sh:targetNode in SG then { t } is a target from any data graph for s in SG.
fn evaluate( &self, store: &S, shape: &CompiledShape<S>, component: &CompiledComponent<S>, value_nodes: &ValueNodes<S>, ) -> Result<Vec<ValidationResult>, ValidateError>
fn target_class( &self, store: &S, class: &S::Term, ) -> Result<FocusNodes<S>, ValidateError>
fn target_subject_of( &self, store: &S, predicate: &S::IRI, ) -> Result<FocusNodes<S>, ValidateError>
fn target_object_of( &self, store: &S, predicate: &S::IRI, ) -> Result<FocusNodes<S>, ValidateError>
fn implicit_target_class( &self, store: &S, shape: &CompiledShape<S>, ) -> Result<FocusNodes<S>, ValidateError>
fn predicate( &self, store: &S, _: &CompiledPropertyShape<S>, predicate: &S::IRI, focus_node: &S::Term, ) -> Result<FocusNodes<S>, ValidateError>
fn alternative( &self, _store: &S, _shape: &CompiledPropertyShape<S>, _paths: &[SHACLPath], _focus_node: &S::Term, ) -> Result<FocusNodes<S>, ValidateError>
fn sequence( &self, _store: &S, _shape: &CompiledPropertyShape<S>, _paths: &[SHACLPath], _focus_node: &S::Term, ) -> Result<FocusNodes<S>, ValidateError>
fn inverse( &self, _store: &S, _shape: &CompiledPropertyShape<S>, _path: &SHACLPath, _focus_node: &S::Term, ) -> Result<FocusNodes<S>, ValidateError>
fn zero_or_more( &self, _store: &S, _shape: &CompiledPropertyShape<S>, _path: &SHACLPath, _focus_node: &S::Term, ) -> Result<FocusNodes<S>, ValidateError>
fn one_or_more( &self, _store: &S, _shape: &CompiledPropertyShape<S>, _path: &SHACLPath, _focus_node: &S::Term, ) -> Result<FocusNodes<S>, ValidateError>
fn zero_or_one( &self, _store: &S, _shape: &CompiledPropertyShape<S>, _path: &SHACLPath, _focus_node: &S::Term, ) -> Result<FocusNodes<S>, ValidateError>
fn focus_nodes( &self, store: &S, shape: &CompiledShape<S>, targets: &[CompiledTarget<S>], ) -> Result<FocusNodes<S>, ValidateError>
fn path( &self, store: &S, shape: &CompiledPropertyShape<S>, focus_node: &S::Term, ) -> Result<FocusNodes<S>, ValidateError>
Auto Trait Implementations§
impl Freeze for NativeEngine
impl RefUnwindSafe for NativeEngine
impl Send for NativeEngine
impl Sync for NativeEngine
impl Unpin for NativeEngine
impl UnwindSafe for NativeEngine
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
Source§impl<T> Instrument for T
impl<T> Instrument for T
Source§fn instrument(self, span: Span) -> Instrumented<Self>
fn instrument(self, span: Span) -> Instrumented<Self>
Source§fn in_current_span(self) -> Instrumented<Self>
fn in_current_span(self) -> Instrumented<Self>
Source§impl<T> IntoEither for T
impl<T> IntoEither for T
Source§fn into_either(self, into_left: bool) -> Either<Self, Self>
fn into_either(self, into_left: bool) -> Either<Self, Self>
Converts
self into a Left variant of Either<Self, Self>
if into_left is true.
Converts self into a Right variant of Either<Self, Self>
otherwise. Read moreSource§fn into_either_with<F>(self, into_left: F) -> Either<Self, Self>
fn into_either_with<F>(self, into_left: F) -> Either<Self, Self>
Converts
self into a Left variant of Either<Self, Self>
if into_left(&self) returns true.
Converts self into a Right variant of Either<Self, Self>
otherwise. Read more