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 end