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§
Sourcefn struct_declaration_diagnostics(
&'db self,
struct_id: StructId<'db>,
) -> Diagnostics<'db, SemanticDiagnostic<'db>>
fn struct_declaration_diagnostics( &'db self, struct_id: StructId<'db>, ) -> Diagnostics<'db, SemanticDiagnostic<'db>>
Returns the declaration diagnostics of a struct.
Sourcefn struct_generic_params(
&'db self,
struct_id: StructId<'db>,
) -> Maybe<&'db [GenericParam<'db>]>
fn struct_generic_params( &'db self, struct_id: StructId<'db>, ) -> Maybe<&'db [GenericParam<'db>]>
Returns the generic parameters of a struct.
Sourcefn struct_attributes(
&'db self,
struct_id: StructId<'db>,
) -> Maybe<&'db [Attribute<'db>]>
fn struct_attributes( &'db self, struct_id: StructId<'db>, ) -> Maybe<&'db [Attribute<'db>]>
Returns the attributes attached to a struct.
Sourcefn struct_declaration_resolver_data(
&'db self,
struct_id: StructId<'db>,
) -> Maybe<Arc<ResolverData<'db>>>
fn struct_declaration_resolver_data( &'db self, struct_id: StructId<'db>, ) -> Maybe<Arc<ResolverData<'db>>>
Returns the resolution resolved_items of a struct declaration.
Sourcefn struct_definition_diagnostics(
&'db self,
struct_id: StructId<'db>,
) -> Diagnostics<'db, SemanticDiagnostic<'db>>
fn struct_definition_diagnostics( &'db self, struct_id: StructId<'db>, ) -> Diagnostics<'db, SemanticDiagnostic<'db>>
Returns the definition diagnostics of a struct definition.
Sourcefn struct_members(
&'db self,
struct_id: StructId<'db>,
) -> Maybe<&'db OrderedHashMap<SmolStrId<'db>, Member<'db>>>
fn struct_members( &'db self, struct_id: StructId<'db>, ) -> Maybe<&'db OrderedHashMap<SmolStrId<'db>, Member<'db>>>
Returns the members of a struct.
Sourcefn struct_definition_resolver_data(
&'db self,
struct_id: StructId<'db>,
) -> Maybe<Arc<ResolverData<'db>>>
fn struct_definition_resolver_data( &'db self, struct_id: StructId<'db>, ) -> Maybe<Arc<ResolverData<'db>>>
Returns the resolution resolved_items of a struct definition.
Sourcefn concrete_struct_members(
&'db self,
concrete_struct_id: ConcreteStructId<'db>,
) -> Maybe<&'db OrderedHashMap<SmolStrId<'db>, Member<'db>>>
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.