summaryrefslogtreecommitdiff
path: root/src/library/scala/io/BufferedSource.scala
diff options
context:
space:
mode:
authorPaul Phillips <paulp@improving.org>2010-06-03 17:58:27 +0000
committerPaul Phillips <paulp@improving.org>2010-06-03 17:58:27 +0000
commite9d3987da750e2d6ce154dd3b2ceca309b665674 (patch)
treef8741728ff1f0d642549bf882883e22e3db19bbb /src/library/scala/io/BufferedSource.scala
parent43e5eff2c8c3fbf1bba1440db9c5780179b70c6e (diff)
downloadscala-e9d3987da750e2d6ce154dd3b2ceca309b665674.tar.gz
scala-e9d3987da750e2d6ce154dd3b2ceca309b665674.tar.bz2
scala-e9d3987da750e2d6ce154dd3b2ceca309b665674.zip
Restored Source factories to a form source comp...
Restored Source factories to a form source compatible with 2.7.7. No default implicit arguments, now low priority saves the day with a low priority codec which io.Codec offers as last resort. Dropped the line separator argument to getLines and made it act in a separator agnostic way (any of \r\n, \r, or \n is a separator.) Review by community.
Diffstat (limited to 'src/library/scala/io/BufferedSource.scala')
-rw-r--r--src/library/scala/io/BufferedSource.scala6
1 files changed, 3 insertions, 3 deletions
diff --git a/src/library/scala/io/BufferedSource.scala b/src/library/scala/io/BufferedSource.scala
index b4e0389e12..f0230d3724 100644
--- a/src/library/scala/io/BufferedSource.scala
+++ b/src/library/scala/io/BufferedSource.scala
@@ -18,10 +18,10 @@ import Source.DefaultBufSize
*
* @author Burak Emir, Paul Phillips
*/
-class BufferedSource(inputStream: InputStream)(implicit codec: Codec = Codec.default) extends Source
-{
+class BufferedSource(inputStream: InputStream, bufferSize: Int)(implicit val codec: Codec) extends Source {
+ def this(inputStream: InputStream)(implicit codec: Codec) = this(inputStream, DefaultBufSize)(codec)
def reader() = new InputStreamReader(inputStream, codec.decoder)
- def bufferedReader() = new BufferedReader(reader(), DefaultBufSize)
+ def bufferedReader() = new BufferedReader(reader(), bufferSize)
override val iter = {
val reader = bufferedReader()