class Covered::MarkdownSummary

def print_line(output, line, line_offset, count)

@parameter count [Integer | Nil] The execution count for the line.
@parameter line_offset [Integer] The current line number.
@parameter line [String] The source line.
@parameter output [IO] The output stream.
Print a single source line. 
def print_line(output, line, line_offset, count)
	prefix = "#{line_offset}|".rjust(8) + "#{count}|".rjust(8)
	
	output.write prefix
	output.write line
	
	# If there was no newline at end of file, we add one:
	unless line.end_with?($/)
		output.puts
	end
end