indexing

	description: ""
	legal: "See notice at end of class."
	status: "See notice at end of class."
	date: "$Date$"
	revision: "$Revision$"

deferred class

	EGS_SHARED_EXCEPTION_HANDLING

feature

	has_error: BOOLEAN is
			--
		do
			Result := exception_info.has_error
		end

feature

	check_for_exceptions is
		do
			exception_info.set_has_error (jni.exception_occurred)
		end

feature {NONE} -- Implementation

	exception_info: EGS_EXCEPTION_INFO is
		once
			create Result
		end

	jni: JNI_ENVIRONMENT is
		deferred
		end

indexing

	library:	"egigs-jni: Library for accessing the GigaSpaces platform, JNI based implementation."
	copyright:	"Copyright (c) 2008, Eiffel Software and others"
	license:	"Eiffel Forum License v2 (see http://www.eiffel.com/licensing/forum.txt)"
	source: "[
			 Eiffel Software
			 356 Storke Road, Goleta, CA 93117 USA
			 Telephone 805-685-1006, Fax 805-685-6869
			 Website http://www.eiffel.com
			 Customer support http://support.eiffel.com
		]"

end