scala3-compiler-bootstrapped/dotty.tools.repl/JLineTerminal

JLineTerminal

final class JLineTerminal extends Closeable
trait Closeable
class Object
trait Matchable
class Any

Value members

Concrete methods

def close(): Unit
def readLine(completer: Completer)(using Context): String

Blockingly read line from System.in

Blockingly read line from System.in

This entry point into JLine handles everything to do with terminal emulation. This includes:

  • Multi-line support
  • Copy-pasting
  • History
  • Syntax highlighting
  • Auto-completions
Throws
EndOfFileException

This exception is thrown when the user types Ctrl-D.