pub trait DebugInfoMethods<'tcx>: BackendTypes {
    // Required methods
    fn create_vtable_debuginfo(
        &self,
        ty: Ty<'tcx>,
        trait_ref: Option<PolyExistentialTraitRef<'tcx>>,
        vtable: Self::Value
    );
    fn create_function_debug_context(
        &self,
        instance: Instance<'tcx>,
        fn_abi: &FnAbi<'tcx, Ty<'tcx>>,
        llfn: Self::Function,
        mir: &Body<'tcx>
    ) -> Option<FunctionDebugContext<'tcx, Self::DIScope, Self::DILocation>>;
    fn dbg_scope_fn(
        &self,
        instance: Instance<'tcx>,
        fn_abi: &FnAbi<'tcx, Ty<'tcx>>,
        maybe_definition_llfn: Option<Self::Function>
    ) -> Self::DIScope;
    fn dbg_loc(
        &self,
        scope: Self::DIScope,
        inlined_at: Option<Self::DILocation>,
        span: Span
    ) -> Self::DILocation;
    fn extend_scope_to_file(
        &self,
        scope_metadata: Self::DIScope,
        file: &SourceFile
    ) -> Self::DIScope;
    fn debuginfo_finalize(&self);
    fn create_dbg_var(
        &self,
        variable_name: Symbol,
        variable_type: Ty<'tcx>,
        scope_metadata: Self::DIScope,
        variable_kind: VariableKind,
        span: Span
    ) -> Self::DIVariable;
}

Required Methods§

source

fn create_vtable_debuginfo( &self, ty: Ty<'tcx>, trait_ref: Option<PolyExistentialTraitRef<'tcx>>, vtable: Self::Value )

source

fn create_function_debug_context( &self, instance: Instance<'tcx>, fn_abi: &FnAbi<'tcx, Ty<'tcx>>, llfn: Self::Function, mir: &Body<'tcx> ) -> Option<FunctionDebugContext<'tcx, Self::DIScope, Self::DILocation>>

Creates the function-specific debug context.

Returns the FunctionDebugContext for the function which holds state needed for debug info creation, if it is enabled.

source

fn dbg_scope_fn( &self, instance: Instance<'tcx>, fn_abi: &FnAbi<'tcx, Ty<'tcx>>, maybe_definition_llfn: Option<Self::Function> ) -> Self::DIScope

source

fn dbg_loc( &self, scope: Self::DIScope, inlined_at: Option<Self::DILocation>, span: Span ) -> Self::DILocation

source

fn extend_scope_to_file( &self, scope_metadata: Self::DIScope, file: &SourceFile ) -> Self::DIScope

source

fn debuginfo_finalize(&self)

source

fn create_dbg_var( &self, variable_name: Symbol, variable_type: Ty<'tcx>, scope_metadata: Self::DIScope, variable_kind: VariableKind, span: Span ) -> Self::DIVariable

Implementors§