Struct Closed

Source

pub struct Closed<S: SRDFBasic> { /* private fields */ }

Expand description

Closed Constraint Component.

The RDF data model offers a huge amount of flexibility. Any node can in principle have values for any property. However, in some cases it makes sense to specify conditions on which properties can be applied to nodes. The SHACL Core language includes a property called sh:closed that can be used to specify the condition that each value node has values only for those properties that have been explicitly enumerated via the property shapes specified for the shape via sh:property.

https://www.w3.org/TR/shacl/#ClosedConstraintComponent

Struct ClosedCopy item path

Implementations§

impl<S: SRDFBasic> Closed<S>

pub fn new(is_closed: bool, ignored_properties: Vec<S::IRI>) -> Self

pub fn is_closed(&self) -> bool

pub fn ignored_properties(&self) -> &Vec<S::IRI>

Trait Implementations§

impl<S: Debug + SRDFBasic> Debug for Closed<S>where S::IRI: Debug,

fn fmt(&self, f: &mut Formatter<'_>) -> Result

Auto Trait Implementations§

impl<S> Freeze for Closed<S>

impl<S> RefUnwindSafe for Closed<S>where <S as SRDFBasic>::IRI: RefUnwindSafe,

impl<S> Send for Closed<S>where <S as SRDFBasic>::IRI: Send,

impl<S> Sync for Closed<S>where <S as SRDFBasic>::IRI: Sync,

impl<S> Unpin for Closed<S>where <S as SRDFBasic>::IRI: Unpin,

impl<S> UnwindSafe for Closed<S>where <S as SRDFBasic>::IRI: UnwindSafe,

Blanket Implementations§

impl<T> Any for Twhere T: 'static + ?Sized,

fn type_id(&self) -> TypeId

impl<T> Borrow<T> for Twhere T: ?Sized,

fn borrow(&self) -> &T

impl<T> BorrowMut<T> for Twhere T: ?Sized,

fn borrow_mut(&mut self) -> &mut T

impl<T> From<T> for T

fn from(t: T) -> T

impl<T> Instrument for T

fn instrument(self, span: Span) -> Instrumented<Self>

fn in_current_span(self) -> Instrumented<Self>

impl<T, U> Into<U> for Twhere U: From<T>,

fn into(self) -> U

impl<T> IntoEither for T

fn into_either(self, into_left: bool) -> Either<Self, Self>

fn into_either_with<F>(self, into_left: F) -> Either<Self, Self>where F: FnOnce(&Self) -> bool,

impl<T, U> TryFrom<U> for Twhere U: Into<T>,

type Error = Infallible

fn try_from(value: U) -> Result<T, <T as TryFrom<U>>::Error>

impl<T, U> TryInto<U> for Twhere U: TryFrom<T>,

type Error = <U as TryFrom<T>>::Error

fn try_into(self) -> Result<U, <U as TryFrom<T>>::Error>

impl<V, T> VZip<V> for Twhere V: MultiLane<T>,

fn vzip(self) -> V

impl<T> WithSubscriber for T

fn with_subscriber<S>(self, subscriber: S) -> WithDispatch<Self>where S: Into<Dispatch>,

fn with_current_subscriber(self) -> WithDispatch<Self>

impl<T> ErasedDestructor for Twhere T: 'static,

impl<T> MaybeSendSync for T

Struct Closed

impl<S: Debug + SRDFBasic> Debug for Closed<S>
where S::IRI: Debug,

impl<S> RefUnwindSafe for Closed<S>
where <S as SRDFBasic>::IRI: RefUnwindSafe,

impl<S> Send for Closed<S>
where <S as SRDFBasic>::IRI: Send,

impl<S> Sync for Closed<S>
where <S as SRDFBasic>::IRI: Sync,

impl<S> Unpin for Closed<S>
where <S as SRDFBasic>::IRI: Unpin,

impl<S> UnwindSafe for Closed<S>
where <S as SRDFBasic>::IRI: UnwindSafe,

impl<T> Any for T
where T: 'static + ?Sized,

impl<T> Borrow<T> for T
where T: ?Sized,

impl<T> BorrowMut<T> for T
where T: ?Sized,

impl<T, U> Into<U> for T
where U: From<T>,

fn into_either_with<F>(self, into_left: F) -> Either<Self, Self>
where F: FnOnce(&Self) -> bool,

impl<T, U> TryFrom<U> for T
where U: Into<T>,

impl<T, U> TryInto<U> for T
where U: TryFrom<T>,

impl<V, T> VZip<V> for T
where V: MultiLane<T>,

fn with_subscriber<S>(self, subscriber: S) -> WithDispatch<Self>
where S: Into<Dispatch>,

impl<T> ErasedDestructor for T
where T: 'static,