Enum hir_def::nameres::ModuleOrigin

pub enum ModuleOrigin {
    CrateRoot {
        definition: EditionedFileId,
    },
    File {
        is_mod_rs: bool,
        declaration: FileAstId<Module>,
        declaration_tree_id: ItemTreeId<Mod>,
        definition: EditionedFileId,
    },
    Inline {
        definition_tree_id: ItemTreeId<Mod>,
        definition: FileAstId<Module>,
    },
    BlockExpr {
        id: BlockId,
        block: AstId<BlockExpr>,
    },
}

Variants

CrateRoot

Fields

definition: EditionedFileId

File

Note that non-inline modules, by definition, live inside non-macro file.

Fields

is_mod_rs: bool

declaration: FileAstId<Module>

declaration_tree_id: ItemTreeId<Mod>

definition: EditionedFileId

Inline

Fields

definition_tree_id: ItemTreeId<Mod>

definition: FileAstId<Module>

BlockExpr

Pseudo-module introduced by a block scope (contains only inner items).

Fields

id: BlockId

block: AstId<BlockExpr>

Implementations

impl ModuleOrigin

pub fn declaration(&self) -> Option<AstId<Module>>

pub fn file_id(&self) -> Option<EditionedFileId>

pub fn is_inline(&self) -> bool

pub fn definition_source(&self, db: &dyn DefDatabase) -> InFile<ModuleSource>

Returns a node which defines this module. That is, a file or a mod foo {} with items.

Trait Implementations

impl Clone for ModuleOrigin

fn clone(&self) -> ModuleOrigin

Returns a copy of the value.

fn clone_from(&mut self, source: &Self)

Performs copy-assignment from source.

impl Debug for ModuleOrigin

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

Formats the value using the given formatter.

impl Hash for ModuleOrigin

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 ModuleOrigin

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

Tests for self and other values to be equal, and is used by ==.

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

Tests for !=. The default implementation is almost always sufficient, and should not be overridden without very good reason.

impl Copy for ModuleOrigin

impl Eq for ModuleOrigin

impl StructuralPartialEq for ModuleOrigin