Struct InterfaceLock 

pub struct InterfaceLock {
    pub next: u32,
    pub entries: Vec<LockEntry>,
}

The parsed table.

Fields

next: u32

The next number to allocate; greater than every entry’s number.

entries: Vec<LockEntry>

Every entry, live and retired, in file order. render sorts them by number.

Implementations

impl InterfaceLock

pub fn render(&self) -> String

The file text: the header, next N, then every entry in number order, one \n after each line.

pub fn live(&self, key: &LockKey) -> Option<&LockEntry>

The live entry holding key, if any. A retired entry never matches.

pub fn max_number(&self) -> u32

The highest number in the table, retired entries included; 0 when there is none.

pub fn allocate(&mut self, key: LockKey) -> Result<u32, LockEditError>

Allocates next to a new live entry for key and raises next by one. A retired entry with the same key does not stand in the way: the old name is free for a later, unrelated interface (lock design §4).

pub fn rename( &mut self, old: &LockKey, new: LockKey, ) -> Result<u32, LockEditError>

Rewrites the live entry old to hold the key new, in place; the number does not change and nothing is allocated. Returns the number.

pub fn retire(&mut self, key: &LockKey) -> Result<u32, LockEditError>

Marks the live entry key retired; the line and its number stay and next does not move. Returns the number.

Trait Implementations

impl Clone for InterfaceLock

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 InterfaceLock

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

Formats the value using the given formatter.

impl Default for InterfaceLock

fn default() -> Self

next 1 with no entries — what the merge driver reads an empty BASE as (lock design §6), and what the first plain ridl lock starts from.

impl Eq for InterfaceLock

impl Hash for InterfaceLock

fn hash<__H: Hasher>(&self, state: &mut __H)

Feeds this value into the given Hasher.

fn hash_slice<H>(data: &[Self], state: &mut H)

where H: Hasher, Self: Sized,

Feeds a slice of this type into the given Hasher.

impl PartialEq for InterfaceLock

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

Equality operator ==.

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

Inequality operator !=.

impl StructuralPartialEq for InterfaceLock