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

FileConsole

class FileConsole(filename: String) extends ReaderConsole

A console that reads from the given UTF-8 encoded file.

A console that reads from the given UTF-8 encoded file.

class Console
class Object
trait Matchable
class Any

Value members

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
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 from
ReaderConsole

Concrete fields

lazy val reader: BufferedReader

A reader for the underlying file.

A reader for the underlying file.