Struct Allocator 

pub struct Allocator {
    blocks: u32,
    pins: u32,
    routes: u32,
    route_labels: u32,
    texts: u32,
    areas: u32,
    images: u32,
}

Per-kind high-water marks: the largest id of each kind the document has ever held, minted or folded. Never stored — a loaded document derives them from its own content — so there is no durable counter to run backwards and no invariant for the fold to police.

Fields

blocks: u32

pins: u32

routes: u32

route_labels: u32

texts: u32

areas: u32

images: u32

Implementations

impl Allocator

pub fn raise_to(&mut self, other: &Allocator)

Raise every mark to other’s. Marks only ever rise, so merging two views of the same document cannot hand out an id either of them has already given.

pub fn observe(&mut self, target: EntityRef)

Record that target exists, so it is never minted again.

impl Allocator

pub fn mint<K: IdKind>(&mut self) -> Id<K>

The next id of its kind, counting from 1 — Id::NULL is the document root and must stay distinguishable from a minted id.

fn raise<K: IdKind>(&mut self, id: Id<K>)

Trait Implementations

impl Clone for Allocator

fn clone(&self) -> Allocator

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for Allocator

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

Formats the value using the given formatter.

impl Default for Allocator

fn default() -> Allocator

Returns the “default value” for a type.

impl PartialEq for Allocator

fn eq(&self, other: &Allocator) -> bool

Tests for self and other values to be equal, and is used by ==.

fn ne(&self, other: &Rhs) -> bool

Tests for !=. The default implementation is almost always sufficient, and should not be overridden without very good reason.

impl Copy for Allocator

impl Eq for Allocator

impl StructuralPartialEq for Allocator