Automatic generation produced by ISE Eiffel

Classes Clusters Cluster hierarchy Chart Relations Flat contracts Go to:
deferred class RETRIEVING_PROTOCOL General cluster: mail description: "Objects that handle the retrieving of data" Ancestors EMAIL_PROTOCOL* Queries Ack_begin_connection: INTEGER_32 Ack_end_connection: INTEGER_32 Can_be_received: BOOLEAN Can_be_sent: BOOLEAN can_receive: BOOLEAN can_send: BOOLEAN code_number: INTEGER_32 Data: STRING_8 Data_code: INTEGER_32 default_port: INTEGER_32 Ehlo: STRING_8 error: BOOLEAN H_bcc: STRING_8 H_cc: STRING_8 H_date: STRING_8 H_from: STRING_8 H_reply_to: STRING_8 H_subject: STRING_8 H_to: STRING_8 header (h: READABLE_STRING_8): detachable HEADER headers: HASH_TABLE [HEADER, READABLE_STRING_8] Helo: STRING_8 hostname: READABLE_STRING_8 is_connected: BOOLEAN is_header_valid: BOOLEAN is_initiated: BOOLEAN Mail_bcc: STRING_8 Mail_cc: STRING_8 Mail_from: STRING_8 Mail_reply_to: STRING_8 Mail_to: STRING_8 No_valid_recipient: INTEGER_32 Ok: INTEGER_32 Quit: STRING_8 Remote_error: INTEGER_32 Size_error: INTEGER_32 Struct_error: INTEGER_32 Transfer_error: TRANSFER_ERROR Commands close_protocol disable_connected disable_initiated disable_transfer_error enable_connected enable_initiated enable_transfer_error execute_transfer initiate_protocol set_default_port (new_port: INTEGER_32) set_transfer_error_message (s: STRING_8) transfer (resource: EMAIL_RESOURCE)
Classes Clusters Cluster hierarchy Chart Relations Flat contracts Go to:

-- Generated by Eiffel Studio --
For more details: eiffel.org