Enum NameResolutionSym 

pub enum NameResolutionSym<'db> {
    SymModule(SymModule<'db>),
    SymAggregate(SymAggregate<'db>),
    SymFunction(SymFunction<'db>),
    SymPrimitive(SymPrimitive<'db>),
    SymVariable(SymVariable<'db>),
}

Result of name resolution.

Variants

SymModule(SymModule<'db>)

SymAggregate(SymAggregate<'db>)

SymFunction(SymFunction<'db>)

SymPrimitive(SymPrimitive<'db>)

SymVariable(SymVariable<'db>)

Implementations

impl<'db> NameResolutionSym<'db>

pub fn categorize(self, db: &'db dyn Db) -> impl Display + 'db

Returns a string describing self that fits the mold “an X”.

pub(crate) fn resolve_relative_id( self, db: &'db dyn Db, id: SpannedIdentifier<'db>, ) -> Errors<Result<NameResolutionSym<'db>, NameResolutionSym<'db>>>

Attempt to resolve a single identifier; only works if self is a module or other “lexically resolved” name resolution.

Returns Ok(Ok(r)) if resolution succeeded.

Returns Ok(Err(self)) if resolution failed because this is not a lexically resolved result. Type checking will have to handle it.

Returns error only if this was a lexically resolved name resolution and the identifier is not found.

FIXME: Remove all error reporting from here and push it further up the chain, since the context of the lookup may matter to how we report the error.

pub fn describe(self, db: &'db dyn Db) -> impl Display + 'db

Returns a string describing self that fits the mold “an X named foo”.

fn expected_generic_parameters(&self, db: &'db dyn Db) -> usize

fn span(&self, db: &'db dyn Db) -> Option<Span<'db>>

pub fn style(self, db: &'db dyn Db) -> Option<SymAggregateStyle>

If this symbol references an aggregate (class, struct, etc) returns the aggregate style. Else returns None.

Trait Implementations

impl<'db> Clone for NameResolutionSym<'db>

fn clone(&self) -> NameResolutionSym<'db>

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl<'db> Debug for NameResolutionSym<'db>

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

Formats the value using the given formatter.

impl<'db> From<SymAggregate<'db>> for NameResolutionSym<'db>

fn from(value: SymAggregate<'db>) -> Self

Converts to this type from the input type.

impl<'db> From<SymFunction<'db>> for NameResolutionSym<'db>

fn from(value: SymFunction<'db>) -> Self

Converts to this type from the input type.

impl<'db> From<SymModule<'db>> for NameResolutionSym<'db>

fn from(value: SymModule<'db>) -> Self

Converts to this type from the input type.

impl<'db> From<SymPrimitive<'db>> for NameResolutionSym<'db>

fn from(value: SymPrimitive<'db>) -> Self

Converts to this type from the input type.

impl<'db> From<SymVariable<'db>> for NameResolutionSym<'db>

fn from(value: SymVariable<'db>) -> Self

Converts to this type from the input type.

impl<'db> PartialEq for NameResolutionSym<'db>

fn eq(&self, other: &NameResolutionSym<'db>) -> 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<'db> Serialize for NameResolutionSym<'db>

fn serialize<__S>(&self, __serializer: __S) -> Result<__S::Ok, __S::Error>

where __S: Serializer,

Serialize this value into the given Serde serializer.

impl<'db> Update for NameResolutionSym<'db>

unsafe fn maybe_update(old_pointer_: *mut Self, new_value_: Self) -> bool

Returns

impl<'db> Copy for NameResolutionSym<'db>

impl<'db> Eq for NameResolutionSym<'db>

impl<'db> StructuralPartialEq for NameResolutionSym<'db>