blob: 9fd563382155f15293a50d7ce95e0c1654d59bd3 (
plain) (
blame)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
|
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()
}
}
|