Automatic generation produced by ISE Eiffel

Classes Clusters Cluster hierarchy Chart Relations Flat contracts Go to:
class EQA_TEST_OUTPUT_BUFFER General cluster: testing description: "Objects that redirect file output into a buffer. If the output exceeds the size of the buffer, only the first and the last part of the output are kept in the buffer." create: make Ancestors PLAIN_TEXT_FILE Queries access_date: INTEGER_32 access_exists: BOOLEAN after: BOOLEAN before: BOOLEAN buffer_size: INTEGER_32 bytes_read: INTEGER_32 change_date: INTEGER_32 changeable_comparison_criterion: BOOLEAN closing_content: [like buffer] STRING_8 content: [like buffer] STRING_8 count: INTEGER_32 date: INTEGER_32 Default_encoding: ENCODING descriptor: INTEGER_32 descriptor_available: BOOLEAN encoding: ENCODING end_of_file: BOOLEAN exhausted: BOOLEAN Exists: BOOLEAN extendible: BOOLEAN file_info: FILE_INFO file_pointer: POINTER file_readable: BOOLEAN file_writable: BOOLEAN for_all (test: FUNCTION [CHARACTER_8, BOOLEAN]): BOOLEAN formatted_content: [like buffer] STRING_8 Full: BOOLEAN group_id: INTEGER_32 has (v: [like item] CHARACTER_8): BOOLEAN index_of (v: [like item] CHARACTER_8; i: INTEGER_32): INTEGER_32 inode: INTEGER_32 is_access_executable: BOOLEAN is_access_owner: BOOLEAN is_access_readable: BOOLEAN is_access_writable: BOOLEAN is_block: BOOLEAN is_character: BOOLEAN is_closed: BOOLEAN is_creatable: BOOLEAN is_device: BOOLEAN is_directory: BOOLEAN is_empty: BOOLEAN is_executable: BOOLEAN is_fifo: BOOLEAN is_inserted (v: CHARACTER_8): BOOLEAN is_open_append: BOOLEAN is_open_read: BOOLEAN is_open_write: BOOLEAN is_owner: BOOLEAN is_plain: BOOLEAN is_plain_text: BOOLEAN is_readable: BOOLEAN is_setgid: BOOLEAN is_setuid: BOOLEAN is_socket: BOOLEAN is_sticky: BOOLEAN is_symlink: BOOLEAN is_truncated: BOOLEAN is_writable: BOOLEAN item: CHARACTER_8 item_for_iteration: CHARACTER_8 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_real_32: REAL_32 last_real_64: REAL_64 last_string: STRING_8 last_string_32: STRING_32 lastchar: CHARACTER_8 lastdouble: REAL_64 lastint: INTEGER_32 lastreal: REAL_32 laststring: [like last_string] STRING_8 leading_content: [like buffer] STRING_8 linear_representation: LINEAR [CHARACTER_8] links: INTEGER_32 new_cursor: FILE_ITERATION_CURSOR null_name: STRING_8 null_path: PATH object_comparison: BOOLEAN occurrences (v: [like item] CHARACTER_8): INTEGER_32 off: BOOLEAN owner_name: STRING_8 path: PATH path_exists: BOOLEAN position: INTEGER_32 protection: INTEGER_32 prunable: BOOLEAN read_to_string (a_string: STRING_8; pos, nb: INTEGER_32): INTEGER_32 readable: BOOLEAN replaceable: BOOLEAN retrieved: detachable ANY same_file (fn: READABLE_STRING_GENERAL): BOOLEAN separator: CHARACTER_8 Support_storable: BOOLEAN there_exists (test: FUNCTION [CHARACTER_8, BOOLEAN]): BOOLEAN user_id: INTEGER_32 writable: BOOLEAN Commands add_permission (who, what: STRING_8) append (f: [like Current] EQA_TEST_OUTPUT_BUFFER) back basic_store (object: ANY) change_group (new_group_id: INTEGER_32) change_mode (mask: INTEGER_32) change_owner (new_owner_id: INTEGER_32) close compare_objects compare_references copy_to (file: [like Current] EQA_TEST_OUTPUT_BUFFER) create_read_write delete detect_encoding dispose do_all (action: PROCEDURE [CHARACTER_8]) do_if (action: PROCEDURE [CHARACTER_8]; test: FUNCTION [CHARACTER_8, BOOLEAN]) extend (v: [like item] CHARACTER_8) fd_open_append (fd: INTEGER_32) fd_open_read (fd: INTEGER_32) fd_open_read_append (fd: INTEGER_32) fd_open_read_write (fd: INTEGER_32) fd_open_write (fd: INTEGER_32) file_close (file: POINTER) fill (other: CONTAINER [CHARACTER_8]) finish flush force (v: [like item] CHARACTER_8) forth general_store (object: ANY) go (abs_position: INTEGER_32) independent_store (object: ANY) link (fn: READABLE_STRING_GENERAL) make_create_read_write (fn: READABLE_STRING_GENERAL) make_open_append (fn: READABLE_STRING_GENERAL) make_open_read (fn: READABLE_STRING_GENERAL) make_open_read_append (fn: READABLE_STRING_GENERAL) make_open_read_write (fn: READABLE_STRING_GENERAL) make_open_temporary make_open_temporary_with_prefix (a_prefix: READABLE_STRING_GENERAL) make_open_write (fn: READABLE_STRING_GENERAL) make_with_name (fn: READABLE_STRING_GENERAL) make_with_path (a_path: PATH) move (offset: INTEGER_32) new_line next_line open_append open_read open_read_append open_read_write open_write prune (v: [like item] CHARACTER_8) prune_all (v: [like item] CHARACTER_8) put (v: [like item] CHARACTER_8) put_boolean (b: BOOLEAN) put_character (c: CHARACTER_8) put_double (d: REAL_64) put_encoding_bom put_integer (i: INTEGER_32) put_integer_16 (i: INTEGER_16) put_integer_32 (i: INTEGER_32) put_integer_64 (i: INTEGER_64) put_integer_8 (i: INTEGER_8) put_managed_pointer (p: MANAGED_POINTER; start_pos, nb_bytes: INTEGER_32) put_natural (i: NATURAL_32) put_natural_16 (i: NATURAL_16) put_natural_32 (i: NATURAL_32) put_natural_64 (i: NATURAL_64) put_natural_8 (i: NATURAL_8) put_new_line put_real (r: REAL_32) put_real_32 (r: REAL_32) put_real_64 (d: REAL_64) put_string (a_string: READABLE_STRING_8) put_string_32 (s: READABLE_STRING_32) put_string_general (s: READABLE_STRING_GENERAL) putbool (b: BOOLEAN) putchar (c: CHARACTER_8) putdouble (d: REAL_64) putint (i: INTEGER_32) putreal (r: REAL_32) putstring (a_string: READABLE_STRING_8) read_character read_double read_integer read_integer_16 read_integer_32 read_integer_64 read_integer_8 read_line read_line_thread_aware read_natural read_natural_16 read_natural_32 read_natural_64 read_natural_8 read_real read_real_32 read_real_64 read_stream (nb_char: INTEGER_32) read_stream_thread_aware (nb_char: INTEGER_32) read_to_managed_pointer (p: MANAGED_POINTER; start_pos, nb_bytes: INTEGER_32) read_unicode_line read_word read_word_thread_aware readchar readdouble readint readline readreal readstream (nb_char: INTEGER_32) readword recede (abs_position: INTEGER_32) recreate_read_write (fname: READABLE_STRING_GENERAL) remove remove_permission (who, what: STRING_8) rename_file (new_name: READABLE_STRING_GENERAL) rename_path (new_path: PATH) reopen_append (fname: READABLE_STRING_GENERAL) reopen_read (fname: READABLE_STRING_GENERAL) reopen_read_append (fname: READABLE_STRING_GENERAL) reopen_read_write (fname: READABLE_STRING_GENERAL) reopen_write (fname: READABLE_STRING_GENERAL) replace (v: [like item] CHARACTER_8) reset (fn: READABLE_STRING_GENERAL) reset_path (fp: PATH) search (v: [like item] CHARACTER_8) set_access (time: INTEGER_32) set_date (time: INTEGER_32) set_encoding (enc: [like encoding] ENCODING) set_utf8_encoding stamp (time: INTEGER_32) start touch wipe_out wipe_out_file Constraints buffer capacity at least buffer size buffer count not greater buffer size valid truncated start position truncated implies buffer full
Classes Clusters Cluster hierarchy Chart Relations Flat contracts Go to:

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