Skip to main content

IriAudit

Struct IriAudit 

Source
pub struct IriAudit {
    pub strict: bool,
    pub report: IriReport,
}
Expand description

Policy and tally for the invalid-IRI check that runs during ingest.

rete’s reader is deliberately tolerant of IRIs a strict parser rejects (see crate::iri), which is what lets it hold every published dataset — and also what let three of the scholar/ exports produce N-Quads Oxigraph refuses to load. Passing an audit makes the tolerance visible: the build still succeeds and stores exactly what it was given, but it can now say how much of what it stored is not valid RDF. strict turns the same finding into a refusal, on the first offending statement.

Fields§

§strict: bool

Fail the parse on the first invalid IRI instead of counting it.

§report: IriReport

What the parse saw. Constant memory — see crate::iri::IriReport.

Implementations§

Source§

impl IriAudit

Source

pub fn counting() -> IriAudit

Count invalid IRIs; never fail (rete build’s default).

Source

pub fn refusing() -> IriAudit

Refuse the input at the first invalid IRI (rete build --strict).

Trait Implementations§

Source§

impl Debug for IriAudit

Source§

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

Formats the value using the given formatter. Read more
Source§

impl Default for IriAudit

Source§

fn default() -> IriAudit

Returns the “default value” for a type. Read more

Auto Trait Implementations§

Blanket Implementations§

Source§

impl<T> Any for T
where T: 'static + ?Sized,

Source§

fn type_id(&self) -> TypeId

Gets the TypeId of self. Read more
Source§

impl<T> Borrow<T> for T
where T: ?Sized,

Source§

fn borrow(&self) -> &T

Immutably borrows from an owned value. Read more
Source§

impl<T> BorrowMut<T> for T
where T: ?Sized,

Source§

fn borrow_mut(&mut self) -> &mut T

Mutably borrows from an owned value. Read more
Source§

impl<ST, DT> CastableFrom<ST, Initialized, Initialized> for DT
where ST: ?Sized, DT: ?Sized,

Source§

impl<ST, DT> CastableFrom<ST, Uninit, Uninit> for DT
where ST: ?Sized, DT: ?Sized,

Source§

impl<T> From<T> for T

Source§

fn from(t: T) -> T

Returns the argument unchanged.

Source§

impl<T, U> Into<U> for T
where U: From<T>,

Source§

fn into(self) -> U

Calls U::from(self).

That is, this conversion is whatever the implementation of From<T> for U chooses to do.

Source§

impl<T> Read<Exclusive, BecauseExclusive> for T
where T: ?Sized,

Source§

impl<T> Same for T

Source§

type Output = T

Should always be Self
Source§

impl<T, U> TryFrom<U> for T
where U: Into<T>,

Source§

type Error = !

The type returned in the event of a conversion error.
Source§

fn try_from(value: U) -> Result<T, !>

Performs the conversion.
Source§

impl<T, U> TryInto<U> for T
where U: TryFrom<T>,

Source§

type Error = <U as TryFrom<T>>::Error

The type returned in the event of a conversion error.
Source§

fn try_into(self) -> Result<U, <U as TryFrom<T>>::Error>

Performs the conversion.
Source§

impl<V, T> VZip<V> for T
where V: MultiLane<T>,

Source§

fn vzip(self) -> V