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

ReaderConsole

trait ReaderConsole extends Console

A console that reads from a given buffered reader.

A console that reads from a given buffered reader.

class Console
class Object
trait Matchable
class Any

Value members

Abstract methods

def reader: BufferedReader

The reader from which to read.

The reader from which to read.

Concrete methods

override def readLine(prompt: String): String

Read a line from the file. The prompt is ignored.

Read a line from the file. The prompt is ignored.

Definition Classes

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