//
// Copyright (C) 2008, 2009 Francesco Salvestrini
//
// This program is free software; you can redistribute it and/or modify
// it under the terms of the GNU General Public License as published by
// the Free Software Foundation; either version 2 of the License, or
// (at your option) any later version.
//
// This program is distributed in the hope that it will be useful,
// but WITHOUT ANY WARRANTY; without even the implied warranty of
// MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
// GNU General Public License for more details.
//
// You should have received a copy of the GNU General Public License along
// with this program; if not, write to the Free Software Foundation, Inc.,
// 51 Franklin Street, Fifth Floor, Boston, MA 02110-1301 USA.
//

#ifndef ELKLIB_LIBCXX_EXCEPTION
#define ELKLIB_LIBCXX_EXCEPTION

#include "elklib.h"
#include "libcompiler/compiler.h"

namespace ktl {
	typedef void       (* terminate_handler) ();
	typedef void       (* unexpected_handler) ();

	terminate_handler  set_terminate(terminate_handler h) throw();
	void               terminate() ATTRIBUTE(__noreturn__);
	unexpected_handler set_unexpected(unexpected_handler h) throw();
	void               unexpected() ATTRIBUTE(__noreturn__);
	bool               uncaught_exception() throw();

	class exception {
	public:
		exception() throw()                       { };
		virtual ~exception() throw()              { };
		virtual const char * what() const throw() {
			return "exception";
		};
	};

	class bad_exception : public exception {
	public:
		bad_exception() throw()          { };
		virtual ~bad_exception() throw() { };
	};
}

#endif // ELKLIB_LIBCXX_EXCEPTION
