Struct IriReport 

pub struct IriReport { /* private fields */ }

A bounded tally of invalid IRIs — the shape both the build-time audit and the export-time sanitizer report.

Memory is constant, not proportional to the damage: per-class occurrence counters plus at most one example string per class. A graph where the same bad IRI appears ten million times costs five sample strings, not ten million.

Implementations

impl IriReport

pub fn observe_term(&mut self, token: &str) -> Option<IriDefect>

Classify one term token and record every defect it carries — an RDF-star quoted triple holds three IRIs and can be broken in three ways. Returns the first, so a strict caller can fail on the spot.

pub fn observe_quad( &mut self, s: &str, p: &str, o: &str, g: Option<&str>, ) -> Option<IriDefect>

Classify a whole statement — subject, predicate, object and (for N-Quads) the graph — recording every offending term and counting the statement once. Returns the first defect found.

pub fn sanitize<'a>(&mut self, token: &'a str) -> Cow<'a, str>

Repair one term for export: percent-encode what escaping can fix, record what it found, and return the token to emit. An unrepairable IRI is counted and returned unchanged — the caller is told, and the data is not silently dropped or invented.

pub fn is_empty(&self) -> bool

Nothing invalid was seen.

pub fn statements(&self) -> u64

Statements carrying at least one invalid IRI (build audit only; the export sanitizer works term by term and leaves this at zero).

pub fn occurrences(&self) -> u64

Invalid IRI term occurrences — the same IRI in a million statements counts a million times.

pub fn repaired(&self) -> u64

Occurrences IriReport::sanitize actually rewrote.

pub fn unrepairable(&self) -> u64

Occurrences no escaping can repair — every class for which IriDefect::repairable is false, asked class by class rather than named one at a time.

This is the number a publication gate must look at. > 0 means the dump contains an IRI that is still invalid after everything the sanitizer could do, so a strict loader will reject it. Gating on one specific class instead is how an unrecognised defect gets published.

pub fn repairable(&self) -> u64

Occurrences escaping can repair. Complements IriReport::unrepairable — the two partition IriReport::occurrences.

pub fn unclassified(&self) -> u64

Occurrences the RFC 3987 parser rejected that no repair class recognised — IriDefect::Unclassified.

Reported separately because it is the number that says the taxonomy has a gap. It is already inside IriReport::unrepairable, so a gate that reads that one does not need this; it is for the human who has to decide whether a new class is worth adding.

pub fn count(&self, defect: IriDefect) -> u64

Per-class occurrence count.

pub fn sample(&self, defect: IriDefect) -> Option<&str>

The first term seen in this class, if any.

pub fn classes(&self) -> impl Iterator<Item = (IriDefect, u64, Option<&str>)>

The non-empty classes, in declaration order, with their count and example — the rows of a warning block.

pub fn merge(&mut self, other: &IriReport)

Fold another report in — used to total the per-input audits of a multi-input build.

Trait Implementations

impl Clone for IriReport

fn clone(&self) -> IriReport

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for IriReport

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

Formats the value using the given formatter.

impl Default for IriReport

fn default() -> IriReport

Returns the “default value” for a type.