src/Pure/General/scan.scala
changeset 48342 4a8f06cbf8bb
parent 46712 8650d9a95736
child 48409 0d2114eb412a
equal deleted inserted replaced
48341:752de4e10162 48342:4a8f06cbf8bb
    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 **/