kiama-extras/org.bitbucket.inkytonik.kiama.util/JLineConsole

JLineConsole

object JLineConsole extends Console

A console that provides line editing using JLine. This code follows sbt's equivalent code to try to ensure that there are no incompatibilities.

A console that provides line editing using JLine. This code follows sbt's equivalent code to try to ensure that there are no incompatibilities.

class Console
class Object
trait Matchable
class Any

Value members

Concrete methods

override def readLine(prompt: String): String

Read a line under controlled conditions. Need to do this since console is a shared static resource. In particular, it's shared with sbt if run in that context.

Read a line under controlled conditions. Need to do this since console is a shared static resource. In particular, it's shared with sbt if run in that context.

Definition Classes
def terminal: Terminal

Return a handle for the current terminal.

Return a handle for the current terminal.

override def toString: String

Print representation for usage messages.

Print representation for usage messages.

Definition Classes
Any
def usingTerminal[T](f: Terminal => T): T

As for withTerminal but restores the terminal before running the computation.

As for withTerminal but restores the terminal before running the computation.

def withTerminal[T](f: Terminal => T): T

Run a computation that depends on the current terminal in a synchromized fashion.

Run a computation that depends on the current terminal in a synchromized fashion.

Inherited methods

def readInt(prompt: String): Int

Read an integer after prompting with the given prompt. Throws a number format exception if something that is not an integer is entered.

Read an integer after prompting with the given prompt. Throws a number format exception if something that is not an integer is entered.

Inherited from
Console

Concrete fields

lazy val reader: ConsoleReader

The reader to use to access the console.

The reader to use to access the console.