blob: 9fd563382155f15293a50d7ce95e0c1654d59bd3 (
plain) (
tree)
|
|
package dotty.tools
package dotc
package repl
import java.io.{BufferedReader, PrintWriter}
/** Reads using standard JDK API */
class SimpleReader(
in: BufferedReader,
out: PrintWriter,
val interactive: Boolean)
extends InteractiveReader {
def this() = this(Console.in, new PrintWriter(Console.out), true)
def readLine(prompt: String) = {
if (interactive) {
out.print(prompt)
out.flush()
}
in.readLine()
}
}
|