Struct rustc_mir_transform::coverage::counters::CoverageCounters

pub(super) struct CoverageCounters {
    function_source_hash: u64,
    next_counter_id: u32,
    num_expressions: u32,
    pub debug_counters: DebugCounters,
}

Manages the counter and expression indexes/IDs to generate CoverageKind components for MIR Coverage statements.

Fields

function_source_hash: u64

next_counter_id: u32

num_expressions: u32

debug_counters: DebugCounters

Implementations

impl CoverageCounters

pub fn new(function_source_hash: u64) -> Self

pub fn enable_debug(&mut self)

Activate the DebugCounters data structures, to provide additional debug formatting features when formatting CoverageKind (counter) values.

pub fn make_bcb_counters(
    &mut self,
    basic_coverage_blocks: &mut CoverageGraph,
    coverage_spans: &[CoverageSpan]
) -> Result<Vec<CoverageKind>, Error>

Makes CoverageKind Counters and Expressions for the BasicCoverageBlocks directly or indirectly associated with CoverageSpans, and returns additional Expressions representing intermediate values.

fn make_counter<F>(&mut self, debug_block_label_fn: F) -> CoverageKindwhere
    F: Fn() -> Option<String>,

fn make_expression<F>(
    &mut self,
    lhs: ExpressionOperandId,
    op: Op,
    rhs: ExpressionOperandId,
    debug_block_label_fn: F
) -> CoverageKindwhere
    F: Fn() -> Option<String>,

pub fn make_identity_counter(
    &mut self,
    counter_operand: ExpressionOperandId
) -> CoverageKind

fn next_counter(&mut self) -> CounterValueReference

Counter IDs start from one and go up.

fn next_expression(&mut self) -> InjectedExpressionId

Expression IDs start from u32::MAX and go down because an Expression can reference (add or subtract counts) of both Counter regions and Expression regions. The counter expression operand IDs must be unique across both types.

Layout

Note: Most layout information is completely unstable and may even differ between compilations. The only exception is types with certain repr(...) attributes. Please see the Rust Reference’s “Type Layout” chapter for details on type layout guarantees.

Size: 48 bytes