Struct Definitions 

pub struct Definitions { /* private fields */ }

The item-level namespaces of a whole program (one or more modules).

defs and DefIds are global; name lookups are module-relative — a name is resolved in the scope of the module that owns the item currently being checked (see Definitions::module_of).

Implementations

impl Definitions

pub fn defs(&self) -> &[Def]

All collected definitions, indexable by DefId.0.

pub fn def(&self, id: DefId) -> &Def

Look up a definition by id.

pub fn module_of(&self, item_index: usize) -> ModuleId

The module that owns the item at item_index in the merged file.

pub fn module_count(&self) -> usize

Number of modules in the program.

pub fn module_name(&self, module: ModuleId) -> &str

The name of a module.

pub fn resolve_value(&self, module: ModuleId, name: &str) -> Option<Res>

Resolve a name in value position, relative to module.

pub fn resolve_type(&self, module: ModuleId, name: &str) -> Option<DefId>

Resolve a name in type position, relative to module.

pub fn resolve_trait(&self, module: ModuleId, name: &str) -> Option<DefId>

Resolve a name in trait position, relative to module.

pub fn methods( &self, ) -> impl Iterator<Item = (DefId, usize, usize, MethodOwner)> + '_

Iterate all method definitions as (DefId, item_index, method_index, owner).

pub fn functions(&self) -> impl Iterator<Item = (DefId, usize)> + '_

Iterate all function definitions as (DefId, item_index).

pub fn extern_functions( &self, ) -> impl Iterator<Item = (DefId, usize, usize)> + '_

Iterate all extern function declarations as (DefId, item_index, fn_index) (fn_index into the extern block’s items).

impl Definitions

pub fn names_in_scope(&self, module: ModuleId) -> Vec<(String, ScopeEntry)>

Every name module can see, in all three namespaces:

• its own items;
• its imports;
• the builtins;
• std’s glob-imported names.

A module binds each name once per namespace, so a std name the module shadows appears once, as the module’s own. The result is sorted by name, then values, types and traits, for a stable order.

impl Definitions

pub fn importable(&self, module: ModuleId) -> &[(String, ModuleId)]

The modules module could import, by the name an import writes (spec 3.4b §4.6).

pub fn exported(&self, module: ModuleId, name: &str) -> Exported

What module exports under name.

pub fn same_package(&self, a: ModuleId, b: ModuleId) -> bool

Whether a and b are modules of one package. A loose program’s modules are.

pub fn bound_outside_std(&self, module: ModuleId, name: &str) -> Exported

What module binds name to, in each namespace, other than through std’s glob (plan decision 8): a binding equal to some std module’s export of that name came through it. Builtins are bound outside std.

pub fn is_std_module(&self, module: ModuleId) -> bool

Whether module is one of the implicit std modules.

pub fn owned(&self, module: ModuleId) -> bool

Whether a fix may edit module (spec 3.4b §3.1; plan decision 19): it is the root package’s, whose key is 0, or a loose program’s, and not std’s.

Trait Implementations

impl Debug for Definitions

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

Formats the value using the given formatter.

impl Default for Definitions

fn default() -> Self

Returns the “default value” for a type.