Automatic generation produced by ISE Eiffel

Classes Clusters Cluster hierarchy Chart Relations Flat contracts Go to:
deferred class MEMORY_RESOURCE General cluster: mail description: "Memory resource object." Ancestors EMAIL_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 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 Struct_error: INTEGER_32 Transfer_error: TRANSFER_ERROR Commands disable_initiated disable_transfer_error enable_initiated enable_transfer_error receive send set_message (s: READABLE_STRING_8) set_signature (s: READABLE_STRING_8) 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