note
	description: "Exception handling"
	usage: "[
		This class should not be used directly through
		inheritance and client/supplier relationship.
		Inherit from KL_SHARED_EXCEPTIONS instead.
	]"
	pattern: "Singleton"
	library: "Gobo Eiffel Kernel Library"
	copyright: "Copyright (c) 1999-2018, Eric Bezault and others"
	license: "MIT License"
	date: "$Date: 2019-02-07 22:54:15 +0000 (Thu, 07 Feb 2019) $"
	revision: "$Revision: 102807 $"

class 
	KL_EXCEPTIONS

inherit
	KI_EXCEPTIONS

	EXCEPTIONS
		rename
			die as exceptions_die
		export
			{NONE} all
		end

create 
	default_create

feature -- Status setting

	die (a_code: INTEGER_32)
			-- Terminate execution with exit status a_code,
			-- without triggering an exception.
		do
			exceptions_die (a_code)
		end
	
end -- class KL_EXCEPTIONS

Generated by ISE EiffelStudio