scala3-repl
DocsAPI
Generated with
Copyright (c) 2002-2026, LAMP/EPFL
Copyright (c) 2002-2026, 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
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.

def withMonitoringCtrlC[T](handler: () => Unit)(block: => T): T

Execute a block while monitoring for Ctrl-C keypresses. Calls the handler when Ctrl-C is detected during block execution.

Execute a block while monitoring for Ctrl-C keypresses. Calls the handler when Ctrl-C is detected during block execution.

Attributes

Concrete fields

val noIntr: Attributes
Generated with
Copyright (c) 2002-2026, LAMP/EPFL
Copyright (c) 2002-2026, LAMP/EPFL