    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
    	Default_headers: ARRAY [STRING_8]
    	Ehlo: STRING_8
    	error: BOOLEAN
    	H_bcc: STRING_8
    	H_cc: STRING_8
    	H_from: STRING_8
    	H_reply_to: STRING_8
    	H_subject: STRING_8
    	H_to: STRING_8
    	header (h: STRING_8): HEADER
    	headers: HASH_TABLE [HEADER, 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)