class Covered::Coverage

@parameter line_numbers [Array(Integer)] The line numbers to include in the new coverage object.
Construct a new coverage object for the given line numbers. Only the given line numbers will be considered for the purposes of computing coverage.

def for_lines(line_numbers)
	self.class.new(@source, @counts.values_at(*line_numbers), @annotations)
end