Struct GenInterpretation 

pub struct GenInterpretation<G>(/* private fields */);

Lexical interpretation based on a term generator.

Implementations

impl<G> GenInterpretation<G>

pub fn new(generator: G) -> Self

Creates a new interpretation from the given term generator.

pub fn into_generator(self) -> G

Discards the interpretation, returning the inner generator.

Trait Implementations

impl<G: Generator> ConstGenDomain for GenInterpretation<G>

fn new_resource(&self) -> Self::Resource

Create a new resource.

impl<G> Domain for GenInterpretation<G>

type Resource = Term

Resource type.

impl<G> GroundInterpretation for GenInterpretation<G>

fn iri(&self, iri: &Iri) -> Option<Self::Resource>

Interprets the given IRI, if possible.

fn literal<'a>( &self, literal: impl Into<LiteralRef<'a>>, ) -> Option<Self::Resource>

Interprets the given literal, if possible.

fn ground_term<'a>( &self, term: impl Into<GroundTermRef<'a>>, ) -> Option<Self::Resource>

Interprets the given ground term (an IRI or a literal), if possible.

impl<G> GroundInterpretationMut for GenInterpretation<G>

fn insert_iri<'a>(&mut self, iri: impl Into<Cow<'a, Iri>>) -> Self::Resource

Interprets the given IRI, inserting a fresh resource for it if none exists yet.

fn insert_literal<'a>( &mut self, literal: impl Into<CowLiteral<'a>>, ) -> Self::Resource

Interprets the given literal, inserting a fresh resource for it if none exists yet.

fn insert_ground_term<'a>( &mut self, term: impl Into<CowGroundTerm<'a>>, ) -> Self::Resource

Interprets the given ground term, inserting a fresh resource for it if none exists yet.

impl<G> Interpretation for GenInterpretation<G>

fn blank_id(&self, blank_id: &BlankId) -> Option<Self::Resource>

Interprets the given blank node identifier, if possible.

fn term<'a>(&self, term: impl Into<TermRef<'a>>) -> Option<Self::Resource>

Interprets the given term (a blank node identifier or a ground term), if possible.

fn id<'a>(&self, id: impl Into<IdRef<'a>>) -> Option<Self::Resource>

Interprets the given identifier (a blank node identifier or an IRI), if possible.

impl<G> InterpretationMut for GenInterpretation<G>

fn insert_blank_id<'a>( &mut self, blank_id: impl Into<Cow<'a, BlankId>>, ) -> Self::Resource

Interprets the given blank node identifier, inserting a fresh resource for it if none exists yet.

fn insert_term<'a>(&mut self, term: impl Into<CowTerm<'a>>) -> Self::Resource

Interprets the given term, inserting a fresh resource for it if none exists yet.

fn insert_id<'a>(&mut self, term: impl Into<CowId<'a>>) -> Self::Resource

Interprets the given identifier, inserting a fresh resource for it if none exists yet.

impl<G> ReverseGroundInterpretation for GenInterpretation<G>

type Iris<'a> = IntoIter<&'a Iri> where Self: 'a

Iterator over the IRIs of a resource.

type Literals<'a> = IntoIter<LiteralRef<'a>> where Self: 'a

Iterator over the literals of a resource.

fn iris_of<'a>(&'a self, resource: &'a Self::Resource) -> Self::Iris<'a>

Returns an iterator over the IRIs of resource.

fn literals_of<'a>(&'a self, resource: &'a Self::Resource) -> Self::Literals<'a>

Returns an iterator over the literals of resource.

fn ground_terms_of<'a>( &'a self, resource: &'a Self::Resource, ) -> GroundTermsOf<'a, Self>

Returns an iterator over the ground terms (IRIs and literals) of resource.

fn is_anonymous(&self, resource: &Self::Resource) -> bool

Checks whether resource has no ground term lexical representation.

impl<G> ReverseInterpretation for GenInterpretation<G>

type BlankIds<'a> = IntoIter<&'a BlankId> where Self: 'a

Iterator over the blank node identifiers of a resource.

fn blank_ids_of<'a>( &'a self, resource: &'a Self::Resource, ) -> Self::BlankIds<'a>

Returns an iterator over the blank node identifiers of resource.

fn terms_of<'a>(&'a self, resource: &'a Self::Resource) -> TermsOf<'a, Self>

Returns an iterator over the terms (ground terms and blank node identifiers) of resource.