indexing
	description: "Objects that ..."
	author: ""
	date: "$Date$"
	revision: "$Revision$"

class interface
	TRANSFER_ERROR

feature -- Access

	transfer_error_message: STRING
	
feature -- Status report

	transfer_error: BOOLEAN
			-- Is transfer error?
	
feature -- Status setting

	disable_transfer_error

	enable_transfer_error

	set_transfer_error_message (s: STRING)
	
invariant

		-- from ANY
	reflexive_equality: standard_is_equal (Current)
	reflexive_conformance: conforms_to (Current)

end -- class TRANSFER_ERROR