Automatic generation produced by ISE Eiffel
indexing description: "Implementation of the STORABLE mechanism with streams." date: "$Date: 2001-11-16 20:32:23 +0000 (Fri, 16 Nov 2001) $" revision: "$Revision: 51435 $" class interface STREAM create make, make_with_size feature -- Initialization make -- Create stream object with a default_size of 100 bytes make_with_size (n: INTEGER) -- Create stream object with a default_size of n bytes feature -- Status report Support_storable: BOOLEAN is True -- Can medium be used to store an Eiffel structure? feature -- Access buffer: POINTER -- C buffer correspond to the Eiffel STREAM. buffer_size: INTEGER -- Buffer's size. object_stored_size: INTEGER -- Size of last stored object. create_c_buffer -- Create the C memory corresponding to the C -- buffer. retrieved: ANY -- Retrieved object structure -- To access resulting object under correct type, -- use assignment attempt. -- Will raise an exception (code Retrieve_exception) -- if content is not a stored Eiffel structure. feature -- Element change basic_store (object: ANY) -- Produce an external representation of the -- entire object structure reachable from object. -- Retrievable within current system only. general_store (object: ANY) -- Produce an external representation of the -- entire object structure reachable from object. -- Retrievable from other systems for same platform -- (machine architecture). independent_store (object: ANY) -- Produce an external representation of the -- entire object structure reachable from object. -- Retrievable from other systems for the same or other -- platform (machine architecture). set_additional_size (new_size: INTEGER) -- Set new_size to BUFFER_SIZE, internal value used to -- increment buffer_size during storable operations. feature -- Status report Exists: BOOLEAN is True -- Stream exists in any cases. Is_open_read: BOOLEAN is True -- Stream opens for input. Is_open_write: BOOLEAN is True -- Stream opens for output. Is_readable: BOOLEAN is True is_executable: BOOLEAN -- Is stream executable? Is_writable: BOOLEAN is True -- Stream is writable. readable: BOOLEAN -- Is there a current item that may be read? extendible: BOOLEAN -- May new items be added? is_closed: BOOLEAN -- Is the I/O medium open feature -- Status setting close -- Close medium. feature -- Output put_new_line -- Write a new line character to medium -- Was declared in STREAM as synonym of new_line. require else stream_exists: exists new_line -- Write a new line character to medium -- Was declared in STREAM as synonym of put_new_line. require else stream_exists: exists put_string (s: STRING) -- Write s to medium. -- Was declared in STREAM as synonym of putstring. putstring (s: STRING) -- Write s to medium. -- Was declared in STREAM as synonym of put_string. put_character (c: CHARACTER) -- Write c to medium. -- Was declared in STREAM as synonym of putchar. putchar (c: CHARACTER) -- Write c to medium. -- Was declared in STREAM as synonym of put_character. put_real (r: REAL) -- Write r to medium. -- Was declared in STREAM as synonym of putreal. putreal (r: REAL) -- Write r to medium. -- Was declared in STREAM as synonym of put_real. put_integer (i: INTEGER) -- Write i to medium. -- Was declared in STREAM as synonym of putint. putint (i: INTEGER) -- Write i to medium. -- Was declared in STREAM as synonym of put_integer. put_boolean (b: BOOLEAN) -- Write b to medium. -- Was declared in STREAM as synonym of putbool. putbool (b: BOOLEAN) -- Write b to medium. -- Was declared in STREAM as synonym of put_boolean. put_double (d: DOUBLE) -- Write d to medium. -- Was declared in STREAM as synonym of putdouble. putdouble (d: DOUBLE) -- Write d to medium. -- Was declared in STREAM as synonym of put_double. feature -- Input read_real -- Read a new real. -- Make result available in last_real. -- Was declared in STREAM as synonym of readreal. readreal -- Read a new real. -- Make result available in last_real. -- Was declared in STREAM as synonym of read_real. read_double -- Read a new double. -- Make result available in last_double. -- Was declared in STREAM as synonym of readdouble. readdouble -- Read a new double. -- Make result available in last_double. -- Was declared in STREAM as synonym of read_double. read_character -- Read a new character. -- Make result available in last_character. -- Was declared in STREAM as synonym of readchar. readchar -- Read a new character. -- Make result available in last_character. -- Was declared in STREAM as synonym of read_character. read_integer -- Read a new integer. -- Make result available in last_integer. -- Was declared in STREAM as synonym of readint. readint -- Read a new integer. -- Make result available in last_integer. -- Was declared in STREAM as synonym of read_integer. read_stream (nb_char: INTEGER) -- Read a string of at most nb_char bound characters -- or until end of medium is encountered. -- Make result available in last_string. -- Was declared in STREAM as synonym of readstream. readstream (nb_char: INTEGER) -- Read a string of at most nb_char bound characters -- or until end of medium is encountered. -- Make result available in last_string. -- Was declared in STREAM as synonym of read_stream. read_line -- Read characters until a new line or -- end of medium. -- Make result available in last_string. -- Was declared in STREAM as synonym of readline. readline -- Read characters until a new line or -- end of medium. -- Make result available in last_string. -- Was declared in STREAM as synonym of read_line. indexing library: "[ EiffelBase: Library of reusable components for Eiffel. ]" status: "[ Copyright 1986-2001 Interactive Software Engineering (ISE). For ISE customers the original versions are an ISE product covered by the ISE Eiffel license and support agreements. ]" license: "[ EiffelBase may now be used by anyone as FREE SOFTWARE to develop any product, public-domain or commercial, without payment to ISE, under the terms of the ISE Free Eiffel Library License (IFELL) at http://eiffel.com/products/base/license.html. ]" source: "[ Interactive Software Engineering Inc. ISE Building 360 Storke Road, Goleta, CA 93117 USA Telephone 805-685-1006, Fax 805-685-6869 Electronic mail <info@eiffel.com> Customer support http://support.eiffel.com ]" info: "[ For latest info see award-winning pages: http://eiffel.com ]" end -- class STREAM -- Generated by ISE Eiffel --
For more details: www.eiffel.com