Automatic generation produced by ISE Eiffel

Classes Clusters Cluster hierarchy Chart Relations Flat contracts Go to:
class EMAIL General cluster: mail description: "Email Object" create: make, make_with_entry Ancestors MEMORY_RESOURCE* 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 Data: STRING_8 Data_code: 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 has_header_entry (header_key: STRING_8): BOOLEAN header (h: READABLE_STRING_8): detachable HEADER headers: HASH_TABLE [HEADER, READABLE_STRING_8] Helo: STRING_8 is_header_valid: BOOLEAN is_initiated: BOOLEAN Mail_bcc: STRING_8 Mail_cc: STRING_8 Mail_from: STRING_8 mail_message: READABLE_STRING_8 Mail_reply_to: STRING_8 mail_signature: READABLE_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 splitted_recipients_from (a_recipient_value: READABLE_STRING_8): ARRAYED_LIST [READABLE_STRING_8] Struct_error: INTEGER_32 Transfer_error: TRANSFER_ERROR Commands add_header_entries (header_key: STRING_8; header_entries: ITERABLE [READABLE_STRING_8]) add_header_entry (header_key, header_entry: READABLE_STRING_8) add_recipient_address (a_recipient: READABLE_STRING_8) add_recipient_address_in_bcc (a_recipient: READABLE_STRING_8) add_recipient_address_in_cc (a_recipient: READABLE_STRING_8) add_sender_address (a_sender: READABLE_STRING_8) disable_initiated disable_transfer_error enable_initiated enable_transfer_error receive remove_header_entries (header_key: STRING_8) remove_header_entry (header_key, header_entry: STRING_8) send set_message (s: READABLE_STRING_8) set_signature (s: READABLE_STRING_8) set_transfer_error_message (s: STRING_8) transfer (resource: PROTOCOL_RESOURCE)
Classes Clusters Cluster hierarchy Chart Relations Flat contracts Go to:

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