scala3-repl
DocsAPI
Generated with
Copyright (c) 2002-2025, LAMP/EPFL
Copyright (c) 2002-2025, LAMP/EPFL
scala3-repl/dotty.tools.repl/JLineTerminal

JLineTerminal

dotty.tools.repl.JLineTerminal
class JLineTerminal extends Closeable

Attributes

Graph
Supertypes
trait Closeable
class Object
trait Matchable
class Any

Members list

Value members

Concrete methods

def close(): Unit
def handle(signal: Signal, handler: SignalHandler): SignalHandler

Register a signal handler and return the previous handler

Register a signal handler and return the previous handler

Attributes

protected def promptStr: String
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-2025, LAMP/EPFL
Copyright (c) 2002-2025, LAMP/EPFL