diff options
author | Lex Spoon <lex@lexspoon.org> | 2006-03-24 16:26:44 +0000 |
---|---|---|
committer | Lex Spoon <lex@lexspoon.org> | 2006-03-24 16:26:44 +0000 |
commit | ce7646c79bdf56d936193d10b754e51fbb33a992 (patch) | |
tree | d4d02e0a25a782bf8c74b7094d46fb4f003c0534 /src/library | |
parent | 8515d4a5abb5a669e78c5c56db3f9dd2bfc74dd9 (diff) | |
download | scala-ce7646c79bdf56d936193d10b754e51fbb33a992.tar.gz scala-ce7646c79bdf56d936193d10b754e51fbb33a992.tar.bz2 scala-ce7646c79bdf56d936193d10b754e51fbb33a992.zip |
Changed Fluid.set to Fluid.value_=, per a sugge...
Changed Fluid.set to Fluid.value_=, per a suggestion by Stefan M. Aust
Diffstat (limited to 'src/library')
-rw-r--r-- | src/library/scala/Console.scala | 4 | ||||
-rw-r--r-- | src/library/scala/util/Fluid.scala | 2 |
2 files changed, 3 insertions, 3 deletions
diff --git a/src/library/scala/Console.scala b/src/library/scala/Console.scala index 79a3c586d8..007b805d1c 100644 --- a/src/library/scala/Console.scala +++ b/src/library/scala/Console.scala @@ -64,7 +64,7 @@ object Console { * * @param out the new output stream. */ - def setOut(out: PrintStream): Unit = outFluid.set(out) + def setOut(out: PrintStream): Unit = outFluid.value = out /** Set the default output stream for the duration * of execution of one thunk. @@ -99,7 +99,7 @@ object Console { * @param reader specifies the new input stream. */ def setIn(reader: Reader): Unit = { - inFluid.set(new BufferedReader(reader)) + inFluid.value = new BufferedReader(reader) } /** Set the default input stream for the duration diff --git a/src/library/scala/util/Fluid.scala b/src/library/scala/util/Fluid.scala index 2cabde350b..3858f21c26 100644 --- a/src/library/scala/util/Fluid.scala +++ b/src/library/scala/util/Fluid.scala @@ -68,7 +68,7 @@ class Fluid[T](init: T) { /** Change the currently bound value, discarding the old value. * Usually withValue() gives better semantics. */ - def set(newval: T) = { tl.set(newval) } + def value_=(newval: T) = { tl.set(newval) } override def toString: String = "Fluid(" + value +")" } |