indexing description: "[ Shared error message handler ]" date: "$Date$" revision: "$Revision$" class EM_SHARED_ERROR_HANDLER feature -- Access Error_handler: EM_ERROR_HANDLER is -- EiffelMedia error handler once create Result.make ensure error_handler_not_void: Result /= Void end Error_codes: EM_ERROR_CODES is -- EiffelMedia error codes once create Result ensure error_codes_not_void: Result /= Void end end