Struct sophia_term::iri::resolve::IriParsed

pub struct IriParsed<'a> { /* fields omitted */ }

Keeps track of the different components of an IRI reference.

NB: this type does not store the actual text of the IRI reference, it borrows it from one (or possibly several) external strs.

Implementations

impl<'a> IriParsed<'a>

pub fn new(txt: &'a str) -> Result<IriParsed<'a>, InvalidIri>

Parse the given str as an IRI reference, and return its inner structure (or fail with a TermError).

pub fn is_absolute(&self) -> bool

Return true if this IRI reference is absolute.

pub fn join(&self, other: &IriParsed<'a>) -> IriParsed<'a>

Resolve other using this IRI reference as the base.

NB: the resulting IriParsed may borrow parts from both parts.

Trait Implementations

impl<'a> Clone for IriParsed<'a>

fn clone(&self) -> IriParsed<'a>

Returns a copy of the value.

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

Performs copy-assignment from source.

impl<'a> Debug for IriParsed<'a>

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

Formats the value using the given formatter.

impl<'a> Default for IriParsed<'a>

fn default() -> IriParsed<'a>

Returns the "default value" for a type.

impl<'_> Display for IriParsed<'_>

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

Formats the value using the given formatter.

impl<'a> Eq for IriParsed<'a>

impl<'a> PartialEq<IriParsed<'a>> for IriParsed<'a>

fn eq(&self, other: &IriParsed<'a>) -> bool

This method tests for self and other values to be equal, and is used by ==.

fn ne(&self, other: &IriParsed<'a>) -> bool

This method tests for !=.

impl<'a, 'b, TD> Resolve<&'a Iri<TD>, Iri<MownStr<'a>>> for IriParsed<'b> where
    TD: TermData, 

fn resolve(&self, other: &'a Iri<TD>) -> Iri<MownStr<'a>>

Resolve the given IRI.

Performance

May allocate an intermediate IRI if other is suffixed.

impl<'a> Resolve<&'a IriParsed<'a>, IriParsed<'a>> for IriParsed<'a>

fn resolve(&self, other: &'a IriParsed<'a>) -> IriParsed<'a>

Just a call to IriParsed::join()

impl<'a, 'b, TD> Resolve<&'a Literal<TD>, Literal<MownStr<'a>>> for IriParsed<'b> where
    TD: TermData, 

fn resolve(&self, other: &'a Literal<TD>) -> Literal<MownStr<'a>>

Resolve the data type's IRI if it is relative.

Note that this only affects datatyped literals; language-tagged literals are absolute by construction.

Performance

May allocate an intermediate IRI if other.dt() is suffixed.

impl<'a, 'b, T> Resolve<&'a Namespace<T>, Namespace<MownStr<'a>>> for IriParsed<'b> where
    T: AsRef<str>, 

fn resolve(&self, other: &'a Namespace<T>) -> Namespace<MownStr<'a>>

Resolve the IRI of the given Namespace.

impl<'a, 'b, TD> Resolve<&'a Term<TD>, Term<MownStr<'a>>> for IriParsed<'b> where
    TD: TermData, 

fn resolve(&self, other: &'a Term<TD>) -> MownTerm<'a>

Resolve IRIs and the IRIs of typed literals.

Performance

May allocate an intermediate IRI if an IRI is suffixed.

impl<'a, 'b> Resolve<&'a str, Result<MownStr<'a>, InvalidIri>> for IriParsed<'b>

fn resolve(&self, other: &'a str) -> Result<MownStr<'a>, InvalidIri>

Resolve an IRI given as String.

Fails if other is not a valid IRI.

impl<'a, 'b> Resolve<Iri<&'a str>, Iri<MownStr<'a>>> for IriParsed<'b>

fn resolve(&self, other: Iri<&'a str>) -> Iri<MownStr<'a>>

Resolve the given IRI.

Performance

May allocate an intermediate IRI if other is suffixed.