+
Point of view
All features
class TEXT_FILE_WRITE
require
- not is_connected
-
not_malformed_path: not new_path.is_empty
ensure
connect_for_appending_to (new_path:
STRING)
effective procedure
require
- is_connected
- can_disconnect
- is_connected
- can_disconnect
ensure
- not is_filtered
- not is_connected
require
- is_connected
- can_put_character(c)
require
- is_connected
- filtered_has_descriptor
- is_connected
- filtered_has_descriptor
require
- is_connected
- filtered_has_stream_pointer
- is_connected
- filtered_has_stream_pointer
filtered_has_stream_pointer:
BOOLEAN
constant attribute
ensure
-
definition: Result = path /= Void
require
- is_connected
- not is_filtered and then can_put_character(c)
frozen
effective procedure
frozen
effective procedure
append_file (file_name:
STRING)
effective procedure