equal
deleted
inserted
replaced
10 import scala.collection.{IndexedSeq, TraversableOnce} |
10 import scala.collection.{IndexedSeq, TraversableOnce} |
11 import scala.collection.immutable.PagedSeq |
11 import scala.collection.immutable.PagedSeq |
12 import scala.util.parsing.input.{OffsetPosition, Position => InputPosition, Reader} |
12 import scala.util.parsing.input.{OffsetPosition, Position => InputPosition, Reader} |
13 import scala.util.parsing.combinator.RegexParsers |
13 import scala.util.parsing.combinator.RegexParsers |
14 |
14 |
15 import java.io.{File, InputStream, BufferedInputStream, FileInputStream} |
15 import java.io.{File, BufferedInputStream, FileInputStream} |
16 |
16 |
17 |
17 |
18 object Scan |
18 object Scan |
19 { |
19 { |
20 /** context of partial scans **/ |
20 /** context of partial scans **/ |