Struct CodeTable 

pub struct CodeTable { /* private fields */ }

A table of per-character codes with a default function.

Storage is a two-level page table: 256-character pages, allocated on first assignment and filled with the defaults. Lookups are two array indexings, with no hashing, which matters because the scanner consults these tables for every character.

Implementations

impl CodeTable

pub fn new(default: fn(u32) -> i64) -> Self

A table where every character has value default(c).

pub fn pages(&self) -> &[Option<Rc<Page>>]

The pages allocated, by number (see crate::fingerprint).

pub fn get(&self, c: u32) -> i64

The value for c.

pub fn level(&self, c: u32) -> u16

The level of the definition for c.

pub fn define_in_place(&mut self, c: u32, val: i64, cur: u16) -> bool

Assigns val to c at level cur when that needs no save-stack entry (the value is unchanged, or was defined at level cur, or cur is level one). Returns false, changing nothing, otherwise.

pub fn define_identity(&mut self, upto: u32, cur: u16) -> CodeTable

\lccode c = c (or the like) for every c < upto, at level cur (above level one, in a group where no character has been assigned yet): the bulk form of that many local assignments. Returns the table as it was, from which the save-stack entry restores exactly the characters whose value changed.

pub fn restore_identity(&mut self, old: &CodeTable, upto: u32)

Undoes define_identity at the end of the group, as the individual save-stack entries would: every character it changed gets its old value and level back, unless it has been assigned globally since.

pub fn set(&mut self, c: u32, val: i64, level: u16)

Sets value and level for c.

pub fn default_fn(&self) -> fn(u32) -> i64

The default function of this table.

pub fn dump_pages(&self) -> Vec<(usize, [i64; 256])>

The values of every allocated page that differs from the defaults, as (page number, values), for format dumping.

pub fn load_page(&mut self, k: usize, page: Rc<Page>)

Installs a page (format loading); the page may be shared.

pub fn explicit(&self) -> impl Iterator<Item = (u32, i64, u16)> + '_

Iterates, in code-point order, over the characters of all allocated pages: the first 256 characters and every page containing an assignment.

Trait Implementations

impl Clone for CodeTable

fn clone(&self) -> Self

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for CodeTable

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

Formats the value using the given formatter.