Struct LiteralInterner 

pub struct LiteralInterner { /* private fields */ }

The literal interner: an address-stable literal Registry plus its dedup cache (masked value, type) → LiteralId, together behind one RwLock so the check-or-mint is atomic. Reads (Index) hand back a stable &Literal.

Implementations

impl LiteralInterner

pub fn get_or_make_typed_literal( &self, value: u64, type_id: TypeId, size: usize, ) -> LiteralId

Returns a canonical LiteralId for the given typed constant, minting (and caching) it if new. The value is masked to type_id’s size before lookup; symbolic literals (from push_literal) are not cached and never alias with constants produced here.

pub fn push_literal(&self, literal: Literal) -> LiteralId

Pushes a Literal with arbitrary fields (e.g. a symbolic ref) without interning.

pub fn len(&self) -> usize

The number of interned literals.

pub fn is_empty(&self) -> bool

Whether the interner is empty.

pub fn iter(&self) -> impl Iterator<Item = Identified<LiteralId, Literal>>

An owned snapshot of all (id, literal) pairs in id order. Owned (cloned) so it does not borrow through the lock — used by the post-lift address / string resolvers, which then mutate literals via IndexMut.

Trait Implementations

impl Clone for LiteralInterner

fn clone(&self) -> Self

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Default for LiteralInterner

fn default() -> LiteralInterner

Returns the “default value” for a type.

impl<'de> Deserialize<'de> for LiteralInterner

fn deserialize<D: Deserializer<'de>>(deserializer: D) -> Result<Self, D::Error>

Deserialize this value from the given Serde deserializer.

impl Index<LiteralId> for LiteralInterner

type Output = Literal

The returned type after indexing.

fn index(&self, id: LiteralId) -> &Literal

Performs the indexing (container[index]) operation.

impl IndexMut<LiteralId> for LiteralInterner

fn index_mut(&mut self, id: LiteralId) -> &mut Literal

Performs the mutable indexing (container[index]) operation.

impl Serialize for LiteralInterner

fn serialize<S: Serializer>(&self, serializer: S) -> Result<S::Ok, S::Error>

Serialize this value into the given Serde serializer.