gapt.cli.GaptRepl.GaptTerminal
Attributes
-
Source
-
GaptRepl.scala
-
Graph
-
-
Supertypes
-
class JLineTerminal
trait Closeable
trait AutoCloseable
class Object
trait Matchable
class Any
Show all
Members list
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.
-
Inherited from:
-
JLineTerminal
-
Source
-
JLineTerminal.scala