exception_specification.hpp

Go to the documentation of this file.

// This file is distributed under the BSD License.
// See "license.txt" for details.
// Copyright 2009-2012, Jonathan Turner (jonathan@emptycrate.com)
// Copyright 2009-2017, 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 {
class Boxed_Value;
namespace exception {
class bad_boxed_cast;
}  // namespace exception
}  // namespace chaiscript
 
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
        {
          (void)std::initializer_list<int>{(throw_type<T>(bv, t_engine), 0)...};
        }
      };
  }

  typedef std::shared_ptr<detail::Exception_Handler_Base> Exception_Handler;

  template<typename ... T>
  Exception_Handler exception_specification()
  {
    return std::make_shared<detail::Exception_Handler_Impl<T...>>();
  }
}
 
 
#endif