Enum DataRange 

pub enum DataRange<L = OwlLiteral> {
    Datatype(Iri<String>),
    DataIntersectionOf(OperandSet<Self, 2>),
    DataUnionOf(OperandSet<Self, 2>),
    DataComplementOf(Box<Self>),
    DataOneOf(OperandSet<L, 1>),
    DatatypeRestriction {
        datatype: Iri<String>,
        restrictions: OperandSet<FacetRestriction<L>, 1>,
    },
}

A unary OWL 2 data range, independent of any datatype evaluator or RDF store.

Variants

Datatype(Iri<String>)

A named datatype.

DataIntersectionOf(OperandSet<Self, 2>)

Intersection of at least two data ranges.

DataUnionOf(OperandSet<Self, 2>)

Union of at least two data ranges.

DataComplementOf(Box<Self>)

Complement of one data range.

DataOneOf(OperandSet<L, 1>)

Enumeration of at least one literal, preserving exact lexical forms.

DatatypeRestriction

A named datatype restricted by at least one facet/value pair.

Fields

datatype: Iri<String>

The restricted datatype.

restrictions: OperandSet<FacetRestriction<L>, 1>

Structural restrictions, interpreted conjunctively.

Implementations

impl<L> DataRange<L>

pub fn datatype(datatype: Iri<String>) -> Self

Create a named datatype range.

pub fn data_intersection_of( operands: Vec<Self>, ) -> Result<Self, StructuralModelError>

Create an intersection of data ranges.

Errors

Returns StructuralModelError::InvalidFormat for fewer than two operands.

pub fn data_union_of(operands: Vec<Self>) -> Result<Self, StructuralModelError>

Create a union of data ranges.

Errors

Returns StructuralModelError::InvalidFormat for fewer than two operands.

pub fn data_complement_of(operand: Self) -> Self

Create the complement of a data range.

pub fn data_one_of(literals: Vec<L>) -> Result<Self, StructuralModelError>

Create a literal enumeration without normalizing datatype values.

Errors

Returns StructuralModelError::InvalidFormat for zero literals.

pub fn datatype_restriction( datatype: Iri<String>, restrictions: Vec<FacetRestriction<L>>, ) -> Result<Self, StructuralModelError>

Create a restricted datatype without evaluating its facets or values.

Errors

Returns StructuralModelError::InvalidFormat for zero facet restrictions.

impl<L> DataRange<L>

pub fn kind(&self) -> DataRangeKind

Return the standard data-range family without evaluating datatype values.

Trait Implementations

impl<L: Clone> Clone for DataRange<L>

fn clone(&self) -> Self

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl<L: Debug> Debug for DataRange<L>

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

Formats the value using the given formatter.

impl<'de, L> Deserialize<'de> for DataRange<L>

where L: Deserialize<'de>,

fn deserialize<__D>(__deserializer: __D) -> Result<Self, __D::Error>

where __D: Deserializer<'de>,

Deserialize this value from the given Serde deserializer.

impl<L: Eq> Eq for DataRange<L>

impl<L: Hash> Hash for DataRange<L>

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<L: PartialEq> PartialEq for DataRange<L>

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

Equality operator ==.

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

Inequality operator !=.

impl<L> Serialize for DataRange<L>

where L: Serialize,

fn serialize<__S>(&self, __serializer: __S) -> Result<__S::Ok, __S::Error>

where __S: Serializer,

Serialize this value into the given Serde serializer.

impl<L: PartialEq> StructuralPartialEq for DataRange<L>