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