indexing
	description: "Base type for exception listeners."
	author: "Patrick Ruckstuhl <patrick@tario.org>"
	date: "$Date$"
	revision: "$Revision: 24 $"

deferred class
	EXCEPTION_LISTENER	

inherit
	WRAPPER_BASE
		rename
			make as make_base
		end

feature {NONE} -- Initialization

	make is
			-- Initialize
		do
			make_base (cpp_new ($Current, $on_exception))
		end


feature {NONE} -- Callback

	on_exception (an_exception: STRING) is
			-- Called if an exception occurs.
		deferred
		end

feature {NONE} -- C++ methods

	cpp_delete (a_object: POINTER) is
			-- Delete cpp object.
		external
			"C++ inline use %"ExceptionListener.h%""
		alias
			"[
			delete (ems::ExceptionListener*)$a_object;
			 ]"
		end

       cpp_new (a_obj: POINTER; a_routine: POINTER): POINTER is
		-- Create new cpp object.
		external
			"C++ inline use %"ExceptionListener.h%""
		alias
			"[
			return new ems::ExceptionListener((EIF_REFERENCE)$a_obj, (fnptr)$a_routine);
			]"
		end


end