class CONSOLE General cluster: base 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 ANY PLAIN_TEXT_FILE Queries Count: INTEGER_32 end_of_file: BOOLEAN exists: BOOLEAN extendible: BOOLEAN file_pointer: POINTER file_readable: BOOLEAN is_closed: BOOLEAN is_open_write: BOOLEAN last_character: CHARACTER_8 last_double: REAL_64 last_integer: INTEGER_32 last_integer_16: INTEGER_16 last_integer_32: INTEGER_32 last_integer_64: INTEGER_64 last_integer_8: INTEGER_8 last_natural: NATURAL_32 last_natural_16: NATURAL_16 last_natural_32: NATURAL_32 last_natural_64: NATURAL_64 last_natural_8: NATURAL_8 last_real: REAL_32 last_string: STRING_8 lastchar: CHARACTER_8 lastdouble: REAL_64 lastint: INTEGER_32 lastreal: REAL_32 laststring: STRING_8 readable: BOOLEAN separator: CHARACTER_8 Commands append (f: [like Current] CONSOLE) dispose make_open_stderr (fn: STRING_8) make_open_stdin (fn: STRING_8) make_open_stdout (fn: STRING_8) new_line next_line put_boolean (b: BOOLEAN) put_character (c: CHARACTER_8) put_double (d: REAL_64) put_new_line put_real (r: REAL_32) put_string (s: STRING_8) putbool (b: BOOLEAN) putchar (c: CHARACTER_8) putdouble (d: REAL_64) putreal (r: REAL_32) putstring (s: STRING_8) read_character read_double read_line read_real read_stream (nb_char: INTEGER_32) read_word readchar readdouble readline readreal readstream (nb_char: INTEGER_32) readword