Trait ExternFunctionSemantic 

pub trait ExternFunctionSemantic<'db>: Database {
    // Provided methods
    fn extern_function_declaration_inline_config(
        &'db self,
        extern_function_id: ExternFunctionId<'db>,
    ) -> Maybe<InlineConfiguration<'db>> { ... }
    fn extern_function_declaration_diagnostics(
        &'db self,
        extern_function_id: ExternFunctionId<'db>,
    ) -> Diagnostics<'db, SemanticDiagnostic<'db>> { ... }
    fn extern_function_signature(
        &'db self,
        extern_function_id: ExternFunctionId<'db>,
    ) -> Maybe<&'db Signature<'db>> { ... }
    fn extern_function_declaration_generic_params(
        &'db self,
        extern_function_id: ExternFunctionId<'db>,
    ) -> Maybe<&'db [GenericParam<'db>]> { ... }
    fn extern_function_declaration_resolver_data(
        &'db self,
        extern_function_id: ExternFunctionId<'db>,
    ) -> Maybe<Arc<ResolverData<'db>>> { ... }
}

Trait for extern function-related semantic queries.

Provided Methods

fn extern_function_declaration_inline_config( &'db self, extern_function_id: ExternFunctionId<'db>, ) -> Maybe<InlineConfiguration<'db>>

Returns the inline configuration of an extern function’s declaration.

fn extern_function_declaration_diagnostics( &'db self, extern_function_id: ExternFunctionId<'db>, ) -> Diagnostics<'db, SemanticDiagnostic<'db>>

Returns the semantic diagnostics of an extern function declaration. An extern function has no body, and thus only has a declaration.

fn extern_function_signature( &'db self, extern_function_id: ExternFunctionId<'db>, ) -> Maybe<&'db Signature<'db>>

Returns the signature of an extern function.

fn extern_function_declaration_generic_params( &'db self, extern_function_id: ExternFunctionId<'db>, ) -> Maybe<&'db [GenericParam<'db>]>

Returns the generic params of an extern function.

fn extern_function_declaration_resolver_data( &'db self, extern_function_id: ExternFunctionId<'db>, ) -> Maybe<Arc<ResolverData<'db>>>

Returns the resolution resolved_items of an extern function.

Implementors

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