Enum PropertyPath 

pub enum PropertyPath {
    Predicate(NamedNode),
    Inverse(Box<PropertyPath>),
    Sequence(Box<PropertyPath>, Box<PropertyPath>),
    Alternative(Box<PropertyPath>, Box<PropertyPath>),
    ZeroOrMore(Box<PropertyPath>),
    OneOrMore(Box<PropertyPath>),
    ZeroOrOne(Box<PropertyPath>),
    NegatedPropertySet(Vec<NamedNode>),
    FixedLength(Box<PropertyPath>, usize),
    RangeLength(Box<PropertyPath>, usize, Option<usize>),
    Distinct(Box<PropertyPath>),
}

Property path expression

Variants

Predicate(NamedNode)

Direct predicate (e.g., :knows)

Inverse(Box<PropertyPath>)

Inverse path (e.g., ^:knows)

Sequence(Box<PropertyPath>, Box<PropertyPath>)

Sequence of paths (e.g., :knows/:worksFor)

Alternative(Box<PropertyPath>, Box<PropertyPath>)

Alternative paths (e.g., :knows|:friendOf)

ZeroOrMore(Box<PropertyPath>)

Zero or more repetitions (e.g., :knows*)

OneOrMore(Box<PropertyPath>)

One or more repetitions (e.g., :knows+)

ZeroOrOne(Box<PropertyPath>)

Zero or one occurrence (e.g., :knows?)

NegatedPropertySet(Vec<NamedNode>)

Negated property set (e.g., !(:knows|:hates))

FixedLength(Box<PropertyPath>, usize)

Fixed length path (SPARQL 1.2 extension)

RangeLength(Box<PropertyPath>, usize, Option<usize>)

Range length path (SPARQL 1.2 extension)

Distinct(Box<PropertyPath>)

Distinct path (SPARQL 1.2 extension)

Implementations

impl PropertyPath

pub fn predicate(iri: NamedNode) -> Self

Create a simple predicate path

pub fn inverse(path: PropertyPath) -> Self

Create an inverse path

pub fn sequence(left: PropertyPath, right: PropertyPath) -> Self

Create a sequence path

pub fn alternative(left: PropertyPath, right: PropertyPath) -> Self

Create an alternative path

pub fn zero_or_more(path: PropertyPath) -> Self

Create a zero-or-more path

pub fn one_or_more(path: PropertyPath) -> Self

Create a one-or-more path

pub fn zero_or_one(path: PropertyPath) -> Self

Create a zero-or-one path

pub fn negated_set(predicates: Vec<NamedNode>) -> Self

Create a negated property set

pub fn fixed_length(path: PropertyPath, n: usize) -> Self

Create a fixed length path (SPARQL 1.2)

pub fn range_length(path: PropertyPath, min: usize, max: Option<usize>) -> Self

Create a range length path (SPARQL 1.2)

pub fn distinct(path: PropertyPath) -> Self

Create a distinct path (SPARQL 1.2)

pub fn is_simple(&self) -> bool

Check if this path is simple (just a predicate)

pub fn min_length(&self) -> usize

Get the minimum length of this path

pub fn max_length(&self) -> Option<usize>

Get the maximum length of this path (None = unbounded)

pub fn predicates(&self) -> HashSet<&NamedNode>

Collect all predicates mentioned in this path

Trait Implementations

impl Clone for PropertyPath

fn clone(&self) -> PropertyPath

Returns a duplicate of the value.

fn clone_from(&mut self, source: &Self)

Performs copy-assignment from source.

impl Debug for PropertyPath

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

Formats the value using the given formatter.

impl Display for PropertyPath

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

Formats the value using the given formatter.

impl Hash for PropertyPath

fn hash<__H: Hasher>(&self, state: &mut __H)

Feeds this value into the given Hasher.

fn hash_slice<H>(data: &[Self], state: &mut H)

where H: Hasher, Self: Sized,

Feeds a slice of this type into the given Hasher.

impl PartialEq for PropertyPath

fn eq(&self, other: &PropertyPath) -> bool

Tests for self and other values to be equal, and is used by ==.

fn ne(&self, other: &Rhs) -> bool

Tests for !=. The default implementation is almost always sufficient, and should not be overridden without very good reason.

impl Eq for PropertyPath

impl StructuralPartialEq for PropertyPath