Struct Scopes 

pub struct Scopes { /* private fields */ }

The scopes of one translation unit.

Implementations

impl Scopes

pub fn new() -> Scopes

Empty scopes, with the file scope open.

pub fn push(&mut self)

Opens a scope in every namespace.

Both are pushed together because C opens them together. A parameter list is a scope of its own, which is why the tag in void f(struct S *p); is gone by the next declaration, and getting that wrong in one namespace and not the other is how the two drift.

pub fn pop(&mut self)

Closes the innermost scope in every namespace.

Panics

Panics on closing the file scope.

pub fn at_file_scope(&self) -> bool

Whether the only open scope is the file scope.

pub fn depth(&self) -> u32

How many scopes are open, the file scope counting as one.

pub fn declare(&mut self, name: Symbol, binding: Binding) -> Option<Binding>

Binds an ordinary identifier, and gives back what it was bound to in the same scope.

A returned value is a redeclaration, which is the caller’s to judge, since int x; int x; is one object at file scope and an error inside a function.

pub fn lookup(&self, name: Symbol) -> Option<Binding>

What an ordinary identifier names here.

pub fn lookup_here(&self, name: Symbol) -> Option<Binding>

What an ordinary identifier names in the innermost scope alone.

pub fn declare_tag(&mut self, name: Symbol, tag: Tag) -> Option<Tag>

Binds a tag, and gives back what it was bound to in the same scope.

pub fn tag(&self, name: Symbol) -> Option<Tag>

What tag a name names here.

pub fn tag_here(&self, name: Symbol) -> Option<Tag>

What tag a name names in the innermost scope alone.

This is the question struct S; asks, since a bare declaration of a tag declares a new type in this scope even where an outer one is visible, and struct S *p; asks the other one, since it refers to whatever S already means.

Trait Implementations

impl Debug for Scopes

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

Formats the value using the given formatter.

impl Default for Scopes

fn default() -> Scopes

Returns the “default value” for a type.