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

pub(in transform::coverage) struct CoverageSpan {
    pub span: Span,
    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

bcb: BasicCoverageBlock

coverage_statements: Vec<CoverageStatement>

is_closure: bool

Implementations

impl CoverageSpan

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

pub fn for_terminator(
    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

Trait Implementations

impl Clone for CoverageSpan

pub fn clone(&self) -> CoverageSpan

Returns a copy of the value.

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

Performs copy-assignment from source.

impl Debug for CoverageSpan

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

Formats the value using the given formatter.