scala3-compiler-bootstrapped
API
Generated with
Copyright (c) 2002-2022, LAMP/EPFL
Copyright (c) 2002-2022, LAMP/EPFL
scala3-compiler-bootstrapped/dotty.tools.repl/JLineTerminal

JLineTerminal

dotty.tools.repl.JLineTerminal
final class JLineTerminal extends Closeable

Attributes

Graph
Supertypes
trait Closeable
class Object
trait Matchable
class Any

Members list

Concise view

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

Attributes

Throws:
EndOfFileException

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

Generated with
Copyright (c) 2002-2022, LAMP/EPFL
Copyright (c) 2002-2022, LAMP/EPFL