StructSemantic

Trait StructSemantic 

Source
pub trait StructSemantic<'db>: Database {
    // Provided methods
    fn struct_declaration_diagnostics(
        &'db self,
        struct_id: StructId<'db>,
    ) -> Diagnostics<'db, SemanticDiagnostic<'db>> { ... }
    fn struct_generic_params(
        &'db self,
        struct_id: StructId<'db>,
    ) -> Maybe<&'db [GenericParam<'db>]> { ... }
    fn struct_attributes(
        &'db self,
        struct_id: StructId<'db>,
    ) -> Maybe<&'db [Attribute<'db>]> { ... }
    fn struct_declaration_resolver_data(
        &'db self,
        struct_id: StructId<'db>,
    ) -> Maybe<Arc<ResolverData<'db>>> { ... }
    fn struct_definition_diagnostics(
        &'db self,
        struct_id: StructId<'db>,
    ) -> Diagnostics<'db, SemanticDiagnostic<'db>> { ... }
    fn struct_members(
        &'db self,
        struct_id: StructId<'db>,
    ) -> Maybe<&'db OrderedHashMap<SmolStrId<'db>, Member<'db>>> { ... }
    fn struct_definition_resolver_data(
        &'db self,
        struct_id: StructId<'db>,
    ) -> Maybe<Arc<ResolverData<'db>>> { ... }
    fn concrete_struct_members(
        &'db self,
        concrete_struct_id: ConcreteStructId<'db>,
    ) -> Maybe<&'db OrderedHashMap<SmolStrId<'db>, Member<'db>>> { ... }
}
Expand description

Trait for struct-related semantic queries.

Provided Methods§

Source

fn struct_declaration_diagnostics( &'db self, struct_id: StructId<'db>, ) -> Diagnostics<'db, SemanticDiagnostic<'db>>

Returns the declaration diagnostics of a struct.

Source

fn struct_generic_params( &'db self, struct_id: StructId<'db>, ) -> Maybe<&'db [GenericParam<'db>]>

Returns the generic parameters of a struct.

Source

fn struct_attributes( &'db self, struct_id: StructId<'db>, ) -> Maybe<&'db [Attribute<'db>]>

Returns the attributes attached to a struct.

Source

fn struct_declaration_resolver_data( &'db self, struct_id: StructId<'db>, ) -> Maybe<Arc<ResolverData<'db>>>

Returns the resolution resolved_items of a struct declaration.

Source

fn struct_definition_diagnostics( &'db self, struct_id: StructId<'db>, ) -> Diagnostics<'db, SemanticDiagnostic<'db>>

Returns the definition diagnostics of a struct definition.

Source

fn struct_members( &'db self, struct_id: StructId<'db>, ) -> Maybe<&'db OrderedHashMap<SmolStrId<'db>, Member<'db>>>

Returns the members of a struct.

Source

fn struct_definition_resolver_data( &'db self, struct_id: StructId<'db>, ) -> Maybe<Arc<ResolverData<'db>>>

Returns the resolution resolved_items of a struct definition.

Source

fn concrete_struct_members( &'db self, concrete_struct_id: ConcreteStructId<'db>, ) -> Maybe<&'db OrderedHashMap<SmolStrId<'db>, Member<'db>>>

Returns the concrete members of a struct.

Implementors§

Source§

impl<'db, T: Database + ?Sized> StructSemantic<'db> for T