indexing
description: "Memory resource object."
author: "David s"
date: "$Date$"
revision: "$Revision$"
deferred class interface
MEMORY_RESOURCE
feature
header (h: STRING): HEADER
EMAIL_RESOURCE
headers: HASH_TABLE [HEADER, STRING]
EMAIL_RESOURCE
mail_message: STRING
mail_signature: STRING
feature
can_be_received: BOOLEAN
EMAIL_RESOURCE
can_be_sent: BOOLEAN
EMAIL_RESOURCE
error: BOOLEAN
EMAIL_RESOURCE
is_header_valid: BOOLEAN
EMAIL_RESOURCE
is_initiated: BOOLEAN
EMAIL_RESOURCE
transfer_error: TRANSFER_ERROR
EMAIL_RESOURCE
feature
disable_initiated
EMAIL_RESOURCE
disable_transfer_error
EMAIL_RESOURCE
enable_initiated
EMAIL_RESOURCE
enable_transfer_error
EMAIL_RESOURCE
set_transfer_error_message (s: STRING)
EMAIL_RESOURCE
feature
receive
send
transfer (resource: EMAIL_RESOURCE)
EMAIL_RESOURCE
require EMAIL_RESOURCE
resource_exists: resource /= void
is_valid_transfer: (resource.can_be_sent and can_send) or (resource.can_receive and can_be_received)
connection_is_initiated: (can_be_sent and resource.is_initiated) or (is_initiated and resource.can_be_received)
feature
Ack_begin_connection: INTEGER is 220
EMAIL_CONSTANTS
Ack_end_connection: INTEGER is 221
EMAIL_CONSTANTS
Data: STRING is "DATA"
EMAIL_CONSTANTS
Data_code: INTEGER is 354
EMAIL_CONSTANTS
Ehlo: STRING is "EHLO "
EMAIL_CONSTANTS
Helo: STRING is "HELO "
EMAIL_CONSTANTS
Mail_bcc: STRING is "RCPT BCC:"
EMAIL_CONSTANTS
Mail_cc: STRING is "RCPT CC:"
EMAIL_CONSTANTS
Mail_from: STRING is "MAIL FROM: "
EMAIL_CONSTANTS
Mail_reply_to: STRING is "RCPT REPLY TO:"
EMAIL_CONSTANTS
Mail_to: STRING is "RCPT TO: "
EMAIL_CONSTANTS
No_valid_recipient: INTEGER is 554
EMAIL_CONSTANTS
Ok: INTEGER is 250
EMAIL_CONSTANTS
Quit: STRING is "QUIT"
EMAIL_CONSTANTS
Remote_error: INTEGER is 550
EMAIL_CONSTANTS
Size_error: INTEGER is 500
EMAIL_CONSTANTS
Struct_error: INTEGER is 552
EMAIL_CONSTANTS
feature
default_headers: ARRAY [STRING]
EMAIL_CONSTANTS
H_bcc: STRING is "Bcc"
EMAIL_CONSTANTS
H_cc: STRING is "Cc"
EMAIL_CONSTANTS
H_from: STRING is "From"
EMAIL_CONSTANTS
H_reply_to: STRING is "Reply-to"
EMAIL_CONSTANTS
H_subject: STRING is "Subject"
EMAIL_CONSTANTS
H_to: STRING is "To"
EMAIL_CONSTANTS
feature EMAIL_RESOURCE
Can_receive: BOOLEAN is False
Can_send: BOOLEAN is False
feature
set_message (s: STRING)
set_signature (s: STRING)
invariant
ANY
reflexive_equality: standard_is_equal (Current)
reflexive_conformance: conforms_to (Current)
end -- MEMORY_RESOURCE