class
	CONSOLE

General
	cluster: base.kernel
	description: 
		"Commonly used console input and output mechanisms. 
		This class may be used as ancestor by classes needing its facilities."
	create: make_open_stdin, make_open_stdout, make_open_stderr

Ancestors
	PLAIN_TEXT_FILE

Queries
	end_of_file: BOOLEAN
	exists: BOOLEAN
	file_pointer: POINTER
	file_readable: BOOLEAN
	last_character: CHARACTER
	last_double: DOUBLE
	last_integer: INTEGER
	last_real: REAL
	last_string: STRING
	lastchar: CHARACTER
	lastdouble: DOUBLE
	lastint: INTEGER
	lastreal: REAL
	laststring: STRING
	separator: CHARACTER

Commands
	append (f: [like Current] CONSOLE)
	dispose
	make_open_stderr (fn: STRING)
	make_open_stdin (fn: STRING)
	make_open_stdout (fn: STRING)
	new_line
	next_line
	put_boolean (b: BOOLEAN)
	put_character (c: CHARACTER)
	put_double (d: DOUBLE)
	put_integer (i: INTEGER)
	put_new_line
	put_real (r: REAL)
	put_string (s: STRING)
	putbool (b: BOOLEAN)
	putchar (c: CHARACTER)
	putdouble (d: DOUBLE)
	putint (i: INTEGER)
	putreal (r: REAL)
	putstring (s: STRING)
	read_character
	read_double
	read_integer
	read_line
	read_real
	read_stream (nb_char: INTEGER)
	read_word
	readchar
	readdouble
	readint
	readline
	readreal
	readstream (nb_char: INTEGER)
	readword