Struct rustc_mir::transform::coverage::spans::CoverageSpan

pub(super) struct CoverageSpan {
    pub span: Span,
    pub expn_span: Span,
    pub current_macro_or_none: RefCell<Option<Option<Symbol>>>,
    pub bcb: BasicCoverageBlock,
    pub coverage_statements: Vec<CoverageStatement>,
    pub is_closure: bool,
}

A BCB is deconstructed into one or more Spans. Each Span maps to a CoverageSpan that references the originating BCB and one or more MIR Statements and/or Terminators. Initially, the Spans come from the Statements and Terminators, but subsequent transforms can combine adjacent Spans and CoverageSpan from the same BCB, merging the CoverageStatement vectors, and the Spans to cover the extent of the combined Spans.

Note: A CoverageStatement merged into another CoverageSpan may come from a BasicBlock that is not part of the CoverageSpan bcb if the statement was included because it’s Span matches or is subsumed by the Span associated with this CoverageSpan, and it’s BasicBlock is_dominated_by() the BasicBlocks in this CoverageSpan.

Fields

span: Span

expn_span: Span

current_macro_or_none: RefCell<Option<Option<Symbol>>>

bcb: BasicCoverageBlock

coverage_statements: Vec<CoverageStatement>

is_closure: bool

Implementations

impl CoverageSpan

pub fn for_fn_sig(fn_sig_span: Span) -> Self

pub fn for_statement<'tcx>(
    statement: &Statement<'tcx>,
    span: Span,
    expn_span: Span,
    bcb: BasicCoverageBlock,
    bb: BasicBlock,
    stmt_index: usize
) -> Self

pub fn for_terminator(
    span: Span,
    expn_span: Span,
    bcb: BasicCoverageBlock,
    bb: BasicBlock
) -> Self

pub fn merge_from(&mut self, other: CoverageSpan)

pub fn cutoff_statements_at(&mut self, cutoff_pos: BytePos)

pub fn is_mergeable(&self, other: &Self) -> bool

pub fn is_in_same_bcb(&self, other: &Self) -> bool

pub fn format<'tcx, 'a>(
    &self,
    tcx: TyCtxt<'tcx>,
    mir_body: &'a Body<'tcx>
) -> String

pub fn format_coverage_statements<'tcx, 'a>(
    &self,
    tcx: TyCtxt<'tcx>,
    mir_body: &'a Body<'tcx>
) -> String

pub fn current_macro(&self) -> Option<Symbol>

If the span is part of a macro, returns the macro name symbol.

pub fn visible_macro(&self, body_span: Span) -> Option<Symbol>

If the span is part of a macro, and the macro is visible (expands directly to the given body_span), returns the macro name symbol.

pub fn is_macro_expansion(&self) -> bool

Trait Implementations

impl Clone for CoverageSpan

fn clone(&self) -> CoverageSpan

Returns a copy of the value.

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

Performs copy-assignment from source.

impl Debug for CoverageSpan

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

Formats the value using the given formatter.