Module rustc_mir_transform::coverage::spans [−][src]
Structs
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.
Converts the initial set of CoverageSpans (one per MIR Statement or Terminator) into a
minimal set of CoverageSpans, using the BCB CFG to determine where it is safe and useful to:
Enums
Functions
If the MIR Statement has a span contributive to computing coverage spans,
return it; otherwise return None.
If the MIR Terminator has a span contributive to computing coverage spans,
return it; otherwise return None.
Returns an extrapolated span (pre-expansion1) corresponding to a range
within the function’s body source. This span is guaranteed to be contained
within, or equal to, the body_span. If the extrapolated span is not
contained within the body_span, the body_span is returned.