Enum ra_ap_ide_db::defs::NameClass

pub enum NameClass {
    Definition(Definition),
    ConstReference(Definition),
    PatFieldShorthand {
        local_def: Local,
        field_ref: Field,
    },
}

On a first blush, a single ast::Name defines a single definition at some scope. That is, that, by just looking at the syntactical category, we can unambiguously define the semantic category.

Sadly, that’s not 100% true, there are special cases. To make sure that callers handle all the special cases correctly via exhaustive matching, we add a NameClass enum which lists all of them!

A model special case is None constant in pattern.

Variants

Definition(Definition)

Tuple Fields of Definition

0: Definition

ConstReference(Definition)

None in if let None = Some(82) {}. Syntactically, it is a name, but semantically it is a reference.

Tuple Fields of ConstReference

0: Definition

PatFieldShorthand

field in if let Foo { field } = foo. Here, ast::Name both introduces a definition into a local scope, and refers to an existing definition.

Fields of PatFieldShorthand

local_def: Localfield_ref: Field

Implementations

impl NameClass

pub fn defined(self) -> Option<Definition>

Definition defined by this name.

pub fn classify(
    sema: &Semantics<'_, RootDatabase>,
    name: &Name
) -> Option<NameClass>

pub fn classify_lifetime(
    sema: &Semantics<'_, RootDatabase>,
    lifetime: &Lifetime
) -> Option<NameClass>

Trait Implementations

impl Debug for NameClass

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

Formats the value using the given formatter.