mirror of
https://github.com/ChaiScript/ChaiScript.git
synced 2025-12-06 08:46:53 +08:00
cff6a0aced
I initially tried to use the existing .clang-format file, but it does not match the code style (at least with clang-format 11) and the formatting is not consistent across files. Therefore, I decided to rewrite the .clang-format with some personal preferences. Used command find . -iname "*.hpp" -o -iname "*.cpp" | xargs clang-format -i -style=file
104 lines
3.8 KiB
C++
104 lines
3.8 KiB
C++
// This file is distributed under the BSD License.
|
|
// See "license.txt" for details.
|
|
// Copyright 2009-2012, Jonathan Turner (jonathan@emptycrate.com)
|
|
// Copyright 2009-2018, Jason Turner (jason@emptycrate.com)
|
|
// http://www.chaiscript.com
|
|
|
|
// This is an open source non-commercial project. Dear PVS-Studio, please check it.
|
|
// PVS-Studio Static Code Analyzer for C, C++ and C#: http://www.viva64.com
|
|
|
|
#ifndef CHAISCRIPT_EXCEPTION_SPECIFICATION_HPP_
|
|
#define CHAISCRIPT_EXCEPTION_SPECIFICATION_HPP_
|
|
|
|
#include <memory>
|
|
|
|
#include "../chaiscript_defines.hpp"
|
|
#include "boxed_cast.hpp"
|
|
|
|
namespace chaiscript {
|
|
namespace detail {
|
|
struct Exception_Handler_Base {
|
|
virtual void handle(const Boxed_Value &bv, const Dispatch_Engine &t_engine) = 0;
|
|
|
|
virtual ~Exception_Handler_Base() = default;
|
|
|
|
protected:
|
|
template<typename T>
|
|
static void throw_type(const Boxed_Value &bv, const Dispatch_Engine &t_engine) {
|
|
try {
|
|
T t = t_engine.boxed_cast<T>(bv);
|
|
throw t;
|
|
} catch (const chaiscript::exception::bad_boxed_cast &) {
|
|
}
|
|
}
|
|
};
|
|
|
|
template<typename... T>
|
|
struct Exception_Handler_Impl : Exception_Handler_Base {
|
|
void handle(const Boxed_Value &bv, const Dispatch_Engine &t_engine) override { (throw_type<T>(bv, t_engine), ...); }
|
|
};
|
|
} // namespace detail
|
|
|
|
/// \brief Used in the automatic unboxing of exceptions thrown during script evaluation
|
|
///
|
|
/// Exception specifications allow the user to tell ChaiScript what possible exceptions are expected from the script
|
|
/// being executed. Exception_Handler objects are created with the chaiscript::exception_specification() function.
|
|
///
|
|
/// Example:
|
|
/// \code
|
|
/// chaiscript::ChaiScript chai;
|
|
///
|
|
/// try {
|
|
/// chai.eval("throw(runtime_error(\"error\"))", chaiscript::exception_specification<int, double, float, const std::string &, const
|
|
/// std::exception &>());
|
|
/// } catch (const double e) {
|
|
/// } catch (int) {
|
|
/// } catch (float) {
|
|
/// } catch (const std::string &) {
|
|
/// } catch (const std::exception &e) {
|
|
/// // This is the one what will be called in the specific throw() above
|
|
/// }
|
|
/// \endcode
|
|
///
|
|
/// It is recommended that if catching the generic \c std::exception& type that you specifically catch
|
|
/// the chaiscript::exception::eval_error type, so that there is no confusion.
|
|
///
|
|
/// \code
|
|
/// try {
|
|
/// chai.eval("throw(runtime_error(\"error\"))", chaiscript::exception_specification<const std::exception &>());
|
|
/// } catch (const chaiscript::exception::eval_error &) {
|
|
/// // Error in script parsing / execution
|
|
/// } catch (const std::exception &e) {
|
|
/// // Error explicitly thrown from script
|
|
/// }
|
|
/// \endcode
|
|
///
|
|
/// Similarly, if you are using the ChaiScript::eval form that unboxes the return value, then chaiscript::exception::bad_boxed_cast
|
|
/// should be handled as well.
|
|
///
|
|
/// \code
|
|
/// try {
|
|
/// chai.eval<int>("1.0", chaiscript::exception_specification<const std::exception &>());
|
|
/// } catch (const chaiscript::exception::eval_error &) {
|
|
/// // Error in script parsing / execution
|
|
/// } catch (const chaiscript::exception::bad_boxed_cast &) {
|
|
/// // Error unboxing return value
|
|
/// } catch (const std::exception &e) {
|
|
/// // Error explicitly thrown from script
|
|
/// }
|
|
/// \endcode
|
|
///
|
|
/// \sa chaiscript::exception_specification for creation of chaiscript::Exception_Handler objects
|
|
/// \sa \ref exceptions
|
|
using Exception_Handler = std::shared_ptr<detail::Exception_Handler_Base>;
|
|
|
|
/// \brief creates a chaiscript::Exception_Handler which handles one type of exception unboxing
|
|
/// \sa \ref exceptions
|
|
template<typename... T>
|
|
Exception_Handler exception_specification() {
|
|
return std::make_shared<detail::Exception_Handler_Impl<T...>>();
|
|
}
|
|
} // namespace chaiscript
|
|
|
|
#endif
|