Struct TextResolver 

pub struct TextResolver<'a> {
    pub literals: &'a LiteralTable,
    pub lexicon: Option<&'a dyn Fn(u64) -> Option<String>>,
    pub sink: Option<&'a StringSink>,
    pub now_ms: u64,
    pub seed: u64,
}

Borrowed text resolver threaded into expression evaluation. Resolves a term hash to its literal text via, in order: the query-scoped LiteralTable (query constants), a StringSink of values produced during this query, an optional ingested-data lexicon closure (e.g. wrapping a Q42LexMmap::lookup_hash), and finally the global demo lexicon. Also carries the query-stable now_ms clock and seed used by the temporal / UUID / RAND builtins so their results are referentially transparent within one query snapshot (plan §4.4). All borrowed — no per-query heap in the evaluator, so the §6 hot-path invariant holds.

Fields

literals: &'a LiteralTable

lexicon: Option<&'a dyn Fn(u64) -> Option<String>>

sink: Option<&'a StringSink>

Interner for strings produced by evaluation (CONCAT, NOW, UUID, …).

now_ms: u64

Query-stable wall clock, ms since the Unix epoch. 0 = unset (temporal builtins then fail closed rather than fabricate a non-deterministic time).

seed: u64

Query-stable RNG seed for UUID/STRUUID. 0 = unset.

Implementations

impl<'a> TextResolver<'a>

pub fn new(literals: &'a LiteralTable) -> Self

pub fn with_lexicon( literals: &'a LiteralTable, lexicon: &'a dyn Fn(u64) -> Option<String>, ) -> Self

pub fn with_sink(self, sink: &'a StringSink) -> Self

Attach a StringSink so value-producing builtins can intern their results.

pub fn with_env(self, now_ms: u64, seed: u64) -> Self

Set the query-stable clock (ms since epoch) and RNG seed used by NOW/date and UUID/STRUUID. Both must be query-stable for referential transparency.

pub fn resolve_text(&self, hash: u64) -> Option<String>

Resolve a term hash to its literal text, if known.

pub fn lang_of(&self, hash: u64) -> Option<String>

The language tag of a literal term (LANG). A plain, non-tagged literal has the empty tag "" (correct SPARQL default); None only for a term that is not a known literal at all.

pub fn datatype_of(&self, hash: u64) -> Option<String>

The datatype IRI of a literal term (DATATYPE): an explicit tag, else rdf:langString for a lang-tagged literal, else the inline-encoded XSD type (integer/decimal/double/boolean), else xsd:string for a plain known literal. None for a term that is not a known/typed literal.

Trait Implementations

impl<'a> Clone for TextResolver<'a>

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

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl<'a> Copy for TextResolver<'a>