scala

object Console

[source: scala/Console.scala]

object Console
extends AnyRef
The Console object implements functionality for printing Scala values on the terminal. There are also functions for reading specific values. Console also defines constants for marking up text on ANSI terminals.
Author
Matthias Zenger
Version
1.0, 03/09/2003
Value Summary
final val BLACK : java.lang.String = "\033[30m"
final val BLACK_B : java.lang.String = "\033[40m"
final val BLINK : java.lang.String = "\033[5m"
final val BLUE : java.lang.String = "\033[34m"
final val BLUE_B : java.lang.String = "\033[44m"
final val BOLD : java.lang.String = "\033[1m"
final val CYAN : java.lang.String = "\033[36m"
final val CYAN_B : java.lang.String = "\033[46m"
final val GREEN : java.lang.String = "\033[32m"
final val GREEN_B : java.lang.String = "\033[42m"
final val INVISIBLE : java.lang.String = "\033[8m"
final val MAGENTA : java.lang.String = "\033[35m"
final val MAGENTA_B : java.lang.String = "\033[45m"
final val RED : java.lang.String = "\033[31m"
final val RED_B : java.lang.String = "\033[41m"
final val RESET : java.lang.String = "\033[0m"
final val REVERSED : java.lang.String = "\033[7m"
final val UNDERLINED : java.lang.String = "\033[4m"
final val WHITE : java.lang.String = "\033[37m"
final val WHITE_B : java.lang.String = "\033[47m"
final val YELLOW : java.lang.String = "\033[33m"
final val YELLOW_B : java.lang.String = "\033[43m"
val err : java.io.PrintStream
Method Summary
def flush : Unit
Flush the output stream. This function is required when partial output (i.e. output not terminated by a new line character) has to be made visible on the terminal.
def format (text : java.lang.String, args : Any*) : Unit
def in : java.io.BufferedReader
def out : java.io.PrintStream
def print (obj : Any) : Unit
Print an object on the terminal.
def printf (text : java.lang.String, args : Any*) : Unit
def println : Unit
Print a new line character on the terminal.
def println (x : Any) : Unit
Print out an object followed by a new line character.
def readBoolean : Boolean
Read a boolean value from the terminal.
def readByte : Byte
Read a byte value from the terminal.
def readChar : Char
Read a char value from the terminal.
def readDouble : Double
Read a double value from the terminal.
def readFloat : Float
Read a float value from the terminal.
def readInt : Int
Read an int value from the terminal.
def readLine : java.lang.String
Read a full line from the terminal.
def readLine (text : java.lang.String, args : Any*) : java.lang.String
Print a formatted text and read a full line from the terminal
def readLong : Long
Read an int value from the terminal.
def readShort : Short
Read a short value from the terminal.
def readf (format : java.lang.String) : List[Any]
Read in some structured input, specified by a format specifier. See class java.text.MessageFormat for details of the format specification.
def readf1 (format : java.lang.String) : Any
Read in some structured input, specified by a format specifier. Opposed to readf, this function only returns the first value extracted from the input according to the format specification.
def readf2 (format : java.lang.String) : (Any, Any)
Read in some structured input, specified by a format specifier. Opposed to readf, this function only returns the first two values extracted from the input according to the format specification.
def readf3 (format : java.lang.String) : (Any, Any, Any)
Read in some structured input, specified by a format specifier. Opposed to readf, this function only returns the first three values extracted from the input according to the format specification.
def setIn (reader : java.io.Reader) : Unit
Set the default input stream.
def setIn (in : java.io.InputStream) : Unit
Set the default input stream.
def setOut (out : java.io.OutputStream) : Unit
Set the default output stream. @param@ out the new output stream.
def setOut (out : java.io.PrintStream) : Unit
Set the default output stream.
def withIn [T](reader : java.io.Reader)(thunk : => T) : T
Set the default input stream for the duration of execution of one thunk.
def withIn [T](in : java.io.InputStream)(thunk : => T) : T
Set the default input stream for the duration of execution of one thunk.
def withOut [T](out : java.io.PrintStream)(thunk : => T) : T
Set the default output stream for the duration of execution of one thunk.
def withOut [T](out : java.io.OutputStream)(thunk : => T) : T
Set the default output stream for the duration of execution of one thunk.
Methods inherited from AnyRef
getClass, hashCode, equals, clone, toString, notify, notifyAll, wait, wait, wait, finalize, ==, !=, eq, ne, synchronized
Methods inherited from Any
==, !=, isInstanceOf, asInstanceOf
Value Details
final val BLACK : java.lang.String

final val RED : java.lang.String

final val GREEN : java.lang.String

final val YELLOW : java.lang.String

final val BLUE : java.lang.String

final val MAGENTA : java.lang.String

final val CYAN : java.lang.String

final val WHITE : java.lang.String

final val BLACK_B : java.lang.String

final val RED_B : java.lang.String

final val GREEN_B : java.lang.String

final val YELLOW_B : java.lang.String

final val BLUE_B : java.lang.String

final val MAGENTA_B : java.lang.String

final val CYAN_B : java.lang.String

final val WHITE_B : java.lang.String

final val RESET : java.lang.String

final val BOLD : java.lang.String

final val UNDERLINED : java.lang.String

final val BLINK : java.lang.String

final val REVERSED : java.lang.String

final val INVISIBLE : java.lang.String

val err : java.io.PrintStream

Method Details
def out : java.io.PrintStream

def in : java.io.BufferedReader

def setOut(out : java.io.PrintStream) : Unit
Set the default output stream.
Parameters
out - the new output stream.

def withOut[T](out : java.io.PrintStream)(thunk : => T) : T
Set the default output stream for the duration of execution of one thunk.
Parameters
out - the new output stream.
thunk - the code to execute with the new output stream active
Returns
...

def setOut(out : java.io.OutputStream) : Unit
Set the default output stream. @param@ out the new output stream.

def withOut[T](out : java.io.OutputStream)(thunk : => T) : T
Set the default output stream for the duration of execution of one thunk.
Parameters
out - the new output stream.
thunk - the code to execute with the new output stream active
Returns
...

def setIn(reader : java.io.Reader) : Unit
Set the default input stream.
Parameters
reader - specifies the new input stream.

def withIn[T](reader : java.io.Reader)(thunk : => T) : T
Set the default input stream for the duration of execution of one thunk.
Parameters
in - the new input stream.
thunk - the code to execute with the new input stream active

def setIn(in : java.io.InputStream) : Unit
Set the default input stream.
Parameters
in - the new input stream.

def withIn[T](in : java.io.InputStream)(thunk : => T) : T
Set the default input stream for the duration of execution of one thunk.
Parameters
in - the new input stream.
thunk - the code to execute with the new input stream active

def print(obj : Any) : Unit
Print an object on the terminal.
Parameters
obj - the object to print.

def flush : Unit
Flush the output stream. This function is required when partial output (i.e. output not terminated by a new line character) has to be made visible on the terminal.

def println : Unit
Print a new line character on the terminal.

def println(x : Any) : Unit
Print out an object followed by a new line character.
Parameters
x - the object to print.

def printf(text : java.lang.String, args : Any*) : Unit

Prints its arguments as a formatted string, based on a string pattern (in a fashion similar to printf in C).

The interpretation of the formatting patterns is described in java.text.MessageFormat.

Parameters
text - the pattern for formatting the arguments.
args - the arguments used to instantiating the pattern.
Throws
java.lang.IllegalArgumentException -

def format(text : java.lang.String, args : Any*) : Unit
See Also
Console.printf.

def readLine : java.lang.String
Read a full line from the terminal.
Returns
the string read from the terminal.

def readLine(text : java.lang.String, args : Any*) : java.lang.String
Print a formatted text and read a full line from the terminal
Parameters
text - the format of the text to print out.
args - the parameters used to instantiate the format.
Returns
the string read from the terminal.

def readBoolean : Boolean
Read a boolean value from the terminal.
Returns
the boolean value read from the terminal.

def readByte : Byte
Read a byte value from the terminal.

def readShort : Short
Read a short value from the terminal.

def readChar : Char
Read a char value from the terminal.

def readInt : Int
Read an int value from the terminal.

def readLong : Long
Read an int value from the terminal.

def readFloat : Float
Read a float value from the terminal.

def readDouble : Double
Read a double value from the terminal.

def readf(format : java.lang.String) : List[Any]
Read in some structured input, specified by a format specifier. See class java.text.MessageFormat for details of the format specification.
Parameters
format - the format of the input.
Returns
a list of all extracted values.

def readf1(format : java.lang.String) : Any
Read in some structured input, specified by a format specifier. Opposed to readf, this function only returns the first value extracted from the input according to the format specification.
Parameters
format - ...
Returns
...

def readf2(format : java.lang.String) : (Any, Any)
Read in some structured input, specified by a format specifier. Opposed to readf, this function only returns the first two values extracted from the input according to the format specification.
Parameters
format - ...
Returns
...

def readf3(format : java.lang.String) : (Any, Any, Any)
Read in some structured input, specified by a format specifier. Opposed to readf, this function only returns the first three values extracted from the input according to the format specification.
Parameters
format - ...
Returns
...