Skip to main content

AtomTable

Struct AtomTable 

Source
pub struct AtomTable { /* private fields */ }
Expand description

Concurrent intern table for atom strings.

The table stores atoms in both directions. Strings are leaked when first interned because runtime atoms are never freed in this design, which lets resolve return a borrowed &str without tying it to a map guard.

Implementations§

Source§

impl AtomTable

Source

pub fn new() -> Self

Create an atom table with the common atoms at stable indices.

There is deliberately no constructor that omits them. Every Atom::* constant is an index into this table, so a table that seats nothing hands those same indices to whatever it interns first, and Atom::NIL then resolves to a real but unrelated name rather than to nothing. That is worse than a missing name, because a wrong name from the right domain survives the sanity check a missing one would fail: the telemetry span that exposed this reported code.module = "put_chars".

Source

pub fn with_common_atoms() -> Self

Create an atom table with the common atoms at stable indices.

Equivalent to AtomTable::new, which seats them unconditionally. Retained because the name states the invariant at the call site.

Source

pub fn intern(&self, name: &str) -> Atom

Intern name, returning its existing or newly assigned atom.

Source

pub fn lookup(&self, name: &str) -> Option<Atom>

Look up an atom by name without interning it.

Returns Some(atom) if the name has already been interned, None otherwise. Used by binary_to_existing_atom which must not create new atom table entries.

Source

pub fn resolve(&self, atom: Atom) -> Option<&str>

Resolve an atom back to its original string.

Source

pub fn len(&self) -> usize

Return the number of atoms currently interned in this table.

Source

pub fn is_empty(&self) -> bool

Return whether this table currently contains no atoms.

Source

pub const fn limit(&self) -> usize

Return the maximum atom count representable by this table.

Trait Implementations§

Source§

impl Default for AtomTable

Source§

fn default() -> Self

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<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> Pointable for T

Source§

const ALIGN: usize

The alignment of pointer.
Source§

type Init = T

The type for initializers.
Source§

unsafe fn init(init: <T as Pointable>::Init) -> usize

Initializes a with the given initializer. Read more
Source§

unsafe fn deref<'a>(ptr: usize) -> &'a T

Dereferences the given pointer. Read more
Source§

unsafe fn deref_mut<'a>(ptr: usize) -> &'a mut T

Mutably dereferences the given pointer. Read more
Source§

unsafe fn drop(ptr: usize)

Drops the object pointed to by the given pointer. Read more
Source§

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

Source§

type Error = Infallible

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

fn try_from(value: U) -> Result<T, <T as TryFrom<U>>::Error>

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.