diff options
author | Paul Phillips <paulp@improving.org> | 2009-09-11 18:12:33 +0000 |
---|---|---|
committer | Paul Phillips <paulp@improving.org> | 2009-09-11 18:12:33 +0000 |
commit | e604abb25c1c95aa75b969519aea3a915ba11798 (patch) | |
tree | 05081680122b722e0d62c2b34cbc18cc7c5019ed /src/compiler/scala/tools/nsc/io/SourceReader.scala | |
parent | f9394a4d472887c4563e768467170a9b1677d5c1 (diff) | |
download | scala-e604abb25c1c95aa75b969519aea3a915ba11798.tar.gz scala-e604abb25c1c95aa75b969519aea3a915ba11798.tar.bz2 scala-e604abb25c1c95aa75b969519aea3a915ba11798.zip |
Resurrected the former contents of scala.io in ...
Resurrected the former contents of scala.io in their new home,
scala.tools.nsc.io, and equipped them with fake beards and handlebar
moustaches. Also restored the reverted bits of the compiler which had
been taking advantage of them.
Diffstat (limited to 'src/compiler/scala/tools/nsc/io/SourceReader.scala')
-rw-r--r-- | src/compiler/scala/tools/nsc/io/SourceReader.scala | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/src/compiler/scala/tools/nsc/io/SourceReader.scala b/src/compiler/scala/tools/nsc/io/SourceReader.scala index 21b4305b6b..f2b3373619 100644 --- a/src/compiler/scala/tools/nsc/io/SourceReader.scala +++ b/src/compiler/scala/tools/nsc/io/SourceReader.scala @@ -8,7 +8,7 @@ package scala.tools.nsc package io -import java.io.{File, FileInputStream, InputStream, IOException} +import java.io.{ FileInputStream, InputStream, IOException, File => JFile } import java.nio.{ByteBuffer, CharBuffer} import java.nio.channels.{FileChannel, ReadableByteChannel, Channels} import java.nio.charset.{CharsetDecoder, CoderResult} @@ -38,10 +38,10 @@ class SourceReader(decoder: CharsetDecoder, reporter: Reporter) { // Public Methods /** Reads the file with the specified name. */ - def read(filename: String): Array[Char]= read(new File(filename)) + def read(filename: String): Array[Char]= read(new JFile(filename)) /** Reads the specified file. */ - def read(file: File): Array[Char] = { + def read(file: JFile): Array[Char] = { val c = new FileInputStream(file).getChannel try { read(c) |