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)
	counts = [nil] * @counts.size
	line_numbers.each do |line_number|
		counts[line_number] = @counts[line_number]
	end
	
	self.class.new(@source, counts, @annotations)
end