+
Point of view
All features
class PIPE_INPUT
Features
{}
{}
{}
{}
{}
{}
{}
{}
{}
{}
{}
require
- is_connected
- can_disconnect
- is_connected
- can_disconnect
ensure
require
- is_connected
- filtered_has_descriptor
- is_connected
- filtered_has_descriptor
is True
constant attribute
require
- is_connected
- filtered_has_stream_pointer
- is_connected
- filtered_has_stream_pointer
filtered_has_stream_pointer:
BOOLEAN
is False
constant attribute
require
- is_connected
- can_put_character(c)
is True
constant attribute
require
- is_connected
- not is_filtered and then can_put_character(c)
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
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
basic_exec_pipe_in_disconnect (data:
POINTER)
{}
basic_exec_pipe_out_disconnect (data:
POINTER)
{}
basic_exec_pipe_flush (data:
POINTER)
{}