+
Point of view
WEAK_ARRAY
class ANSI_OUTPUT_STREAM
require
- color.in_range(0, 7) or else color = 9
require
- color.in_range(0, 7) or else color = 9
set_strikethrough (strike:
BOOLEAN)
effective procedure
require
- is_connected
- can_disconnect
- is_connected
- can_disconnect
- is_connected
- can_disconnect
ensure
- not is_connected
- not is_filtered
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
require
- not is_connected
- a_stream.is_connected
- not a_stream.is_filtered
ensure