Automatic generation produced by ISE Eiffel

Classes Clusters Cluster hierarchy Chart Relations Flat contracts Go to:
class SED_MEDIUM_READER_WRITER General cluster: ise description: "Serialize/Deserialize data from a medium." create: make, make_for_reading, make_for_writing, make_with_buffer Ancestors PLATFORM SED_BINARY_READER_WRITER* Queries is_for_reading: BOOLEAN is_last_chunk: BOOLEAN is_pointer_value_stored: BOOLEAN is_ready_for_reading: BOOLEAN is_ready_for_writing: BOOLEAN read_boolean: BOOLEAN read_character_32: CHARACTER_32 read_character_8: CHARACTER_8 read_compressed_integer_32: INTEGER_32 read_compressed_natural_32: NATURAL_32 read_immutable_string_32: IMMUTABLE_STRING_32 read_immutable_string_8: IMMUTABLE_STRING_8 read_integer_16: INTEGER_16 read_integer_32: INTEGER_32 read_integer_64: INTEGER_64 read_integer_8: INTEGER_8 read_natural_16: NATURAL_16 read_natural_32: NATURAL_32 read_natural_64: NATURAL_64 read_natural_8: NATURAL_8 read_pointer: POINTER read_real_32: REAL_32 read_real_64: REAL_64 read_string_32: STRING_32 read_string_8: STRING_8 Reader_writer_version_6_6: NATURAL_32 Commands cleanup read_footer read_header set_for_reading set_for_writing set_is_pointer_value_stored (v: [like is_pointer_value_stored] BOOLEAN) write_boolean (v: BOOLEAN) write_character_32 (v: CHARACTER_32) write_character_8 (v: CHARACTER_8) write_chunk_header write_compressed_integer_32 (v: INTEGER_32) write_compressed_natural_32 (v: NATURAL_32) write_footer write_header write_integer_16 (v: INTEGER_16) write_integer_32 (v: INTEGER_32) write_integer_64 (v: INTEGER_64) write_integer_8 (v: INTEGER_8) write_natural_16 (v: NATURAL_16) write_natural_32 (v: NATURAL_32) write_natural_64 (v: NATURAL_64) write_natural_8 (v: NATURAL_8) write_pointer (v: POINTER) write_real_32 (v: REAL_32) write_real_64 (v: REAL_64) write_string_32 (v: READABLE_STRING_GENERAL) write_string_8 (v: READABLE_STRING_8) Constraints medium not void
Classes Clusters Cluster hierarchy Chart Relations Flat contracts Go to:

-- Generated by Eiffel Studio --
For more details: eiffel.org