scala-repl-pp
API
Generated with
scala-repl-pp/replpp/JLineTerminal

JLineTerminal

replpp.JLineTerminal
class JLineTerminal extends Closeable

Based on https://github.com/lampepfl/dotty/blob/3.3.0-RC6/compiler/src/dotty/tools/repl/JLineTerminal.scala and adapted for our needs

Attributes

Graph
Supertypes
trait Closeable
trait AutoCloseable
class Object
trait Matchable
class Any

Members list

Value members

Concrete methods

def close(): Unit
def dumbTerminal: Boolean
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
org.jline.reader.EndOfFileException

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

Concrete fields

Generated with