Automatic generation produced by ISE Eiffel
class FILE_PROTOCOL General cluster: transfer description: "The FILE protocol." create: make Ancestors DATA_RESOURCE* Queries address: FILE_URL address_exists: BOOLEAN bytes_transferred: INTEGER_32 connect_timeout: INTEGER_32 count: INTEGER_32 error: BOOLEAN error_code: INTEGER_32 error_text (code: INTEGER_32): STRING_8 has_packet: BOOLEAN hash_code: INTEGER_32 Is_count_valid: BOOLEAN is_equal (other: [like Current] FILE_PROTOCOL): BOOLEAN is_hashable: BOOLEAN Is_local: BOOLEAN is_mode_set: BOOLEAN is_open: BOOLEAN is_packet_pending: BOOLEAN is_proxy_supported: BOOLEAN Is_proxy_used: BOOLEAN is_readable: BOOLEAN is_writable: BOOLEAN last_packet: detachable STRING_8 last_packet_size: INTEGER_32 location: STRING_8 mode: INTEGER_32 port: INTEGER_32 proxy_host: STRING_8 proxy_port: INTEGER_32 read_buffer_size: INTEGER_32 read_mode: BOOLEAN service: STRING_8 Supports_multiple_transactions: BOOLEAN timeout_ns: NATURAL_64 transfer_initiated: BOOLEAN valid_mode (n: INTEGER_32): BOOLEAN write_mode: BOOLEAN Commands close dispose initiate_transfer open put (other: DATA_RESOURCE) read reset_error reset_overwrite_mode reset_proxy reuse_connection (other: DATA_RESOURCE) set_connect_timeout (n: [like connect_timeout] INTEGER_32) set_overwrite_mode set_password (pw: STRING_8) set_port (port_no: INTEGER_32) set_proxy (host: STRING_8; port_no: INTEGER_32) set_proxy_information (pi: PROXY_INFORMATION) set_read_buffer_size (n: INTEGER_32) set_read_mode set_timeout (n: [like timeout] INTEGER_32) set_timeout_ns (a_timeout_nanoseconds: NATURAL_64) set_username (un: STRING_8) set_write_mode -- Generated by Eiffel Studio --
For more details: eiffel.org