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 interface KL_EXCEPTIONS create default_create feature -- Status setting die (a_code: INTEGER_32) -- Terminate execution with exit status a_code, -- without triggering an exception. end -- class KL_EXCEPTIONS
Generated by ISE EiffelStudio