Automatic generation produced by ISE Eiffel

Classes Clusters Cluster hierarchy Chart Relations Flat contracts Go to:
deferred class EMAIL_RESOURCE General cluster: mail description: "All resources." Ancestors EMAIL_CONSTANTS 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 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_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 disable_initiated disable_transfer_error enable_initiated enable_transfer_error 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