Struct CilExtIdGen 

pub struct CilExtIdGen { /* private fields */ }

A monotonically increasing ID generator for CilExt.

Implementations

impl CilExtIdGen

pub fn new() -> Self

pub fn next_id(&mut self) -> u32

pub fn peek_next(&self) -> u32

pub fn reset(&mut self)

pub fn skip(&mut self, n: u32)

Trait Implementations

impl Debug for CilExtIdGen

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

Formats the value using the given formatter.

impl Default for CilExtIdGen

fn default() -> CilExtIdGen

Returns the “default value” for a type.