pub enum PropertyPath {
Direct(Term),
Inverse(Box<PropertyPath>),
Sequence(Box<PropertyPath>, Box<PropertyPath>),
Alternative(Box<PropertyPath>, Box<PropertyPath>),
ZeroOrMore(Box<PropertyPath>),
OneOrMore(Box<PropertyPath>),
ZeroOrOne(Box<PropertyPath>),
NegatedPropertySet(Vec<Term>),
}Expand description
Property path expression
Variants§
Direct(Term)
Direct property path (predicate)
Inverse(Box<PropertyPath>)
Inverse property path (^predicate)
Sequence(Box<PropertyPath>, Box<PropertyPath>)
Sequence path (path1/path2)
Alternative(Box<PropertyPath>, Box<PropertyPath>)
Alternative path (path1|path2)
ZeroOrMore(Box<PropertyPath>)
Zero-or-more path (path*)
OneOrMore(Box<PropertyPath>)
One-or-more path (path+)
ZeroOrOne(Box<PropertyPath>)
Zero-or-one path (path?)
NegatedPropertySet(Vec<Term>)
Negated property set (!(predicate1|predicate2|…))
Trait Implementations§
Source§impl Clone for PropertyPath
impl Clone for PropertyPath
Source§fn clone(&self) -> PropertyPath
fn clone(&self) -> PropertyPath
Returns a duplicate of the value. Read more
1.0.0 · Source§fn clone_from(&mut self, source: &Self)
fn clone_from(&mut self, source: &Self)
Performs copy-assignment from
source. Read moreSource§impl Debug for PropertyPath
impl Debug for PropertyPath
Source§impl<'de> Deserialize<'de> for PropertyPath
impl<'de> Deserialize<'de> for PropertyPath
Source§fn deserialize<__D>(__deserializer: __D) -> Result<Self, __D::Error>where
__D: Deserializer<'de>,
fn deserialize<__D>(__deserializer: __D) -> Result<Self, __D::Error>where
__D: Deserializer<'de>,
Deserialize this value from the given Serde deserializer. Read more
Source§impl Display for PropertyPath
impl Display for PropertyPath
Source§impl Hash for PropertyPath
impl Hash for PropertyPath
Source§impl Ord for PropertyPath
impl Ord for PropertyPath
Source§fn cmp(&self, other: &PropertyPath) -> Ordering
fn cmp(&self, other: &PropertyPath) -> Ordering
1.21.0 · Source§fn max(self, other: Self) -> Selfwhere
Self: Sized,
fn max(self, other: Self) -> Selfwhere
Self: Sized,
Compares and returns the maximum of two values. Read more
Source§impl PartialEq for PropertyPath
impl PartialEq for PropertyPath
Source§impl PartialOrd for PropertyPath
impl PartialOrd for PropertyPath
Source§impl Serialize for PropertyPath
impl Serialize for PropertyPath
impl Eq for PropertyPath
impl StructuralPartialEq for PropertyPath
Auto Trait Implementations§
impl Freeze for PropertyPath
impl RefUnwindSafe for PropertyPath
impl Send for PropertyPath
impl Sync for PropertyPath
impl Unpin for PropertyPath
impl UnsafeUnpin for PropertyPath
impl UnwindSafe for PropertyPath
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> CloneToUninit for Twhere
T: Clone,
impl<T> CloneToUninit for Twhere
T: Clone,
Source§impl<Q, K> Comparable<K> for Q
impl<Q, K> Comparable<K> for Q
Source§impl<Q, K> Equivalent<K> for Q
impl<Q, K> Equivalent<K> for Q
Source§impl<Q, K> Equivalent<K> for Q
impl<Q, K> Equivalent<K> for Q
Source§fn equivalent(&self, key: &K) -> bool
fn equivalent(&self, key: &K) -> bool
Compare self to
key and return true if they are equal.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 moreSource§impl<T> Pointable for T
impl<T> Pointable for T
Source§impl<T> PolicyExt for Twhere
T: ?Sized,
impl<T> PolicyExt for Twhere
T: ?Sized,
Source§impl<SS, SP> SupersetOf<SS> for SPwhere
SS: SubsetOf<SP>,
impl<SS, SP> SupersetOf<SS> for SPwhere
SS: SubsetOf<SP>,
Source§fn to_subset(&self) -> Option<SS>
fn to_subset(&self) -> Option<SS>
The inverse inclusion map: attempts to construct
self from the equivalent element of its
superset. Read moreSource§fn is_in_subset(&self) -> bool
fn is_in_subset(&self) -> bool
Checks if
self is actually part of its subset T (and can be converted to it).Source§fn to_subset_unchecked(&self) -> SS
fn to_subset_unchecked(&self) -> SS
Use with care! Same as
self.to_subset but without any property checks. Always succeeds.Source§fn from_subset(element: &SS) -> SP
fn from_subset(element: &SS) -> SP
The inclusion map: converts
self to the equivalent element of its superset.Source§impl<T> ToStringFallible for Twhere
T: Display,
impl<T> ToStringFallible for Twhere
T: Display,
Source§fn try_to_string(&self) -> Result<String, TryReserveError>
fn try_to_string(&self) -> Result<String, TryReserveError>
ToString::to_string, but without panic on OOM.