Automatic generation produced by ISE Eiffel
class STREAM General cluster: base.kernel description: "Implementation of the STORABLE mechanism with streams." create: make_with_size, make Ancestors IO_MEDIUM Queries buffer: POINTER buffer_size: INTEGER Exists: BOOLEAN extendible: BOOLEAN is_closed: BOOLEAN is_executable: BOOLEAN Is_open_read: BOOLEAN Is_open_write: BOOLEAN is_plain_text: BOOLEAN Is_readable: BOOLEAN Is_writable: 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 object_stored_size: INTEGER readable: BOOLEAN retrieved: ANY Support_storable: BOOLEAN Commands basic_store (object: ANY) close create_c_buffer dispose general_store (object: ANY) independent_store (object: ANY) make make_with_size (n: INTEGER) new_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) readchar readdouble readint readline readreal readstream (nb_char: INTEGER) set_additional_size (new_size: INTEGER) -- Generated by ISE Eiffel --
For more details: www.eiffel.com