+
Point of view
RECYCLING_POOL
class BINARY_FILE_READ
require
- not is_connected
-
not_malformed_path: not new_path.is_empty
ensure
require
- is_connected
- can_disconnect
- is_connected
- can_disconnect
ensure
- not is_connected
- not is_filtered
require
- is_connected
- not is_filtered
- can_read_character
require
- is_connected
- not end_of_input
- not is_filtered
ensure
read_integer_16_native_endian
effective procedure
require
- is_connected
- not is_filtered
- can_read_character
read_integer_16_big_endian
effective procedure
require
- is_connected
- not is_filtered
- can_read_character
read_integer_16_little_endian
effective procedure
require
- is_connected
- not is_filtered
- can_read_character
require
- is_connected
- not end_of_input
- not is_filtered
read_integer_32_native_endian
effective procedure
read_integer_32_big_endian
effective procedure
require
- is_connected
- not is_filtered
- can_read_character
read_integer_32_little_endian
effective procedure
require
- is_connected
- not is_filtered
- can_read_character
require
- is_connected
- not end_of_input
- not is_filtered
require
- is_connected
- not is_filtered and then can_read_character
ensure
require
- is_connected
- not is_filtered and then can_read_line
- buffer /= Void
require
- is_connected
- not is_filtered
- buffer /= Void
- limit > 0
require
- is_connected
- not is_filtered and then can_unread_character
ensure
require
- is_connected
- not end_of_input
- not is_filtered and then valid_last_character
ensure
skip_separators_using (separators:
STRING)
effective procedure
reach_and_skip (keyword:
STRING)
effective procedure
read_word_using (separators:
STRING)
effective procedure