Struct CilExtNameScope 

pub struct CilExtNameScope { /* private fields */ }

Tracks declared names for CilExt scope analysis.

Implementations

impl CilExtNameScope

pub fn new() -> Self

pub fn declare(&mut self, name: impl Into<String>) -> bool

pub fn is_declared(&self, name: &str) -> bool

pub fn push_scope(self) -> Self

pub fn pop_scope(self) -> Self

pub fn depth(&self) -> usize

pub fn len(&self) -> usize

Trait Implementations

impl Debug for CilExtNameScope

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

Formats the value using the given formatter.

impl Default for CilExtNameScope

fn default() -> CilExtNameScope

Returns the “default value” for a type.