4 def initialize(range, color, message)
5 range = (range.split('...').first.to_i ... range.split('...').last.to_i) if range.is_a? String
6 @attrs = { 'range' => range, 'color' => color, 'message' => message}
9 def self.read(original_file)
10 JSON.parse(File.read(Augment.augment_path(original_file))).map{ |l| Layer.new(l['range'], l['color'], l['message']) }.sort_by{ |l| l['range'].begin }.reverse
13 def self.line_to_char_range(file, line)
14 file = File.read(file).split("\n")
15 start = file[0 ... line - 1].join("\n").size + 2
16 (start ... start + file[line - 1].size)