+
Point of view
All features
deferred class OUTPUT_STREAM
Features
{}
{}
{}
{}
{}
{}
{}
require
- is_connected
- not is_filtered and then can_put_character(c)
as_output_stream: OUTPUT_STREAM
effective function
{}
ensure
-
yes_indeed_it_is_the_same_object: Result.to_pointer = to_pointer
frozen
effective function
ensure
-
not_void: Result /= Void
-
always_the_same: Result = url
filtered_has_stream_pointer:
BOOLEAN
deferred function
frozen
effective procedure
frozen
effective procedure
frozen
effective procedure
frozen
effective procedure
frozen
effective procedure
frozen
effective procedure
frozen
effective procedure
frozen
effective procedure
frozen
effective procedure
frozen
effective procedure
append_file (file_name:
STRING)
effective procedure