Chris@16: //Copyright (c) 2006-2009 Emil Dotchevski and Reverge Studios, Inc.
Chris@16: 
Chris@16: //Distributed under the Boost Software License, Version 1.0. (See accompanying
Chris@16: //file LICENSE_1_0.txt or copy at http://www.boost.org/LICENSE_1_0.txt)
Chris@16: 
Chris@16: #ifndef UUID_274DA366004E11DCB1DDFE2E56D89593
Chris@16: #define UUID_274DA366004E11DCB1DDFE2E56D89593
Chris@16: #if (__GNUC__*100+__GNUC_MINOR__>301) && !defined(BOOST_EXCEPTION_ENABLE_WARNINGS)
Chris@16: #pragma GCC system_header
Chris@16: #endif
Chris@16: #if defined(_MSC_VER) && !defined(BOOST_EXCEPTION_ENABLE_WARNINGS)
Chris@16: #pragma warning(push,1)
Chris@16: #endif
Chris@16: 
Chris@16: namespace
Chris@16: boost
Chris@16:     {
Chris@16:     namespace
Chris@16:     exception_detail
Chris@16:         {
Chris@16:         template <class T>
Chris@16:         class
Chris@16:         refcount_ptr
Chris@16:             {
Chris@16:             public:
Chris@16: 
Chris@16:             refcount_ptr():
Chris@16:                 px_(0)
Chris@16:                 {
Chris@16:                 }
Chris@16: 
Chris@16:             ~refcount_ptr()
Chris@16:                 {
Chris@16:                 release();
Chris@16:                 }
Chris@16: 
Chris@16:             refcount_ptr( refcount_ptr const & x ):
Chris@16:                 px_(x.px_)
Chris@16:                 {
Chris@16:                 add_ref();
Chris@16:                 }
Chris@16: 
Chris@16:             refcount_ptr &
Chris@16:             operator=( refcount_ptr const & x )
Chris@16:                 {
Chris@16:                 adopt(x.px_);
Chris@16:                 return *this;
Chris@16:                 }
Chris@16: 
Chris@16:             void
Chris@16:             adopt( T * px )
Chris@16:                 {
Chris@16:                 release();
Chris@16:                 px_=px;
Chris@16:                 add_ref();
Chris@16:                 }
Chris@16: 
Chris@16:             T *
Chris@16:             get() const
Chris@16:                 {
Chris@16:                 return px_;
Chris@16:                 }
Chris@16: 
Chris@16:             private:
Chris@16: 
Chris@16:             T * px_;
Chris@16: 
Chris@16:             void
Chris@16:             add_ref()
Chris@16:                 {
Chris@16:                 if( px_ )
Chris@16:                     px_->add_ref();
Chris@16:                 }
Chris@16: 
Chris@16:             void
Chris@16:             release()
Chris@16:                 {
Chris@16:                 if( px_ && px_->release() )
Chris@16:                     px_=0;
Chris@16:                 }
Chris@16:             };
Chris@16:         }
Chris@16: 
Chris@16:     ////////////////////////////////////////////////////////////////////////
Chris@16: 
Chris@16:     template <class Tag,class T>
Chris@16:     class error_info;
Chris@16: 
Chris@16:     typedef error_info<struct throw_function_,char const *> throw_function;
Chris@16:     typedef error_info<struct throw_file_,char const *> throw_file;
Chris@16:     typedef error_info<struct throw_line_,int> throw_line;
Chris@16: 
Chris@16:     template <>
Chris@16:     class
Chris@16:     error_info<throw_function_,char const *>
Chris@16:         {
Chris@16:         public:
Chris@16:         typedef char const * value_type;
Chris@16:         value_type v_;
Chris@16:         explicit
Chris@16:         error_info( value_type v ):
Chris@16:             v_(v)
Chris@16:             {
Chris@16:             }
Chris@16:         };
Chris@16: 
Chris@16:     template <>
Chris@16:     class
Chris@16:     error_info<throw_file_,char const *>
Chris@16:         {
Chris@16:         public:
Chris@16:         typedef char const * value_type;
Chris@16:         value_type v_;
Chris@16:         explicit
Chris@16:         error_info( value_type v ):
Chris@16:             v_(v)
Chris@16:             {
Chris@16:             }
Chris@16:         };
Chris@16: 
Chris@16:     template <>
Chris@16:     class
Chris@16:     error_info<throw_line_,int>
Chris@16:         {
Chris@16:         public:
Chris@16:         typedef int value_type;
Chris@16:         value_type v_;
Chris@16:         explicit
Chris@16:         error_info( value_type v ):
Chris@16:             v_(v)
Chris@16:             {
Chris@16:             }
Chris@16:         };
Chris@16: 
Chris@16: #if defined(__GNUC__)
Chris@16: # if (__GNUC__ == 4 && __GNUC_MINOR__ >= 1) || (__GNUC__ > 4)
Chris@16: #  pragma GCC visibility push (default)
Chris@16: # endif
Chris@16: #endif
Chris@16:     class exception;
Chris@16: #if defined(__GNUC__)
Chris@16: # if (__GNUC__ == 4 && __GNUC_MINOR__ >= 1) || (__GNUC__ > 4)
Chris@16: #  pragma GCC visibility pop
Chris@16: # endif
Chris@16: #endif
Chris@16: 
Chris@16:     template <class T>
Chris@16:     class shared_ptr;
Chris@16: 
Chris@16:     namespace
Chris@16:     exception_detail
Chris@16:         {
Chris@16:         class error_info_base;
Chris@16:         struct type_info_;
Chris@16: 
Chris@16:         struct
Chris@16:         error_info_container
Chris@16:             {
Chris@16:             virtual char const * diagnostic_information( char const * ) const = 0;
Chris@16:             virtual shared_ptr<error_info_base> get( type_info_ const & ) const = 0;
Chris@16:             virtual void set( shared_ptr<error_info_base> const &, type_info_ const & ) = 0;
Chris@16:             virtual void add_ref() const = 0;
Chris@16:             virtual bool release() const = 0;
Chris@16:             virtual refcount_ptr<exception_detail::error_info_container> clone() const = 0;
Chris@16: 
Chris@16:             protected:
Chris@16: 
Chris@16:             ~error_info_container() throw()
Chris@16:                 {
Chris@16:                 }
Chris@16:             };
Chris@16: 
Chris@16:         template <class>
Chris@16:         struct get_info;
Chris@16: 
Chris@16:         template <>
Chris@16:         struct get_info<throw_function>;
Chris@16: 
Chris@16:         template <>
Chris@16:         struct get_info<throw_file>;
Chris@16: 
Chris@16:         template <>
Chris@16:         struct get_info<throw_line>;
Chris@16: 
Chris@16:         char const * get_diagnostic_information( exception const &, char const * );
Chris@16: 
Chris@16:         void copy_boost_exception( exception *, exception const * );
Chris@16: 
Chris@16:         template <class E,class Tag,class T>
Chris@16:         E const & set_info( E const &, error_info<Tag,T> const & );
Chris@16: 
Chris@16:         template <class E>
Chris@16:         E const & set_info( E const &, throw_function const & );
Chris@16: 
Chris@16:         template <class E>
Chris@16:         E const & set_info( E const &, throw_file const & );
Chris@16: 
Chris@16:         template <class E>
Chris@16:         E const & set_info( E const &, throw_line const & );
Chris@16:         }
Chris@16: 
Chris@16: #if defined(__GNUC__)
Chris@16: # if (__GNUC__ == 4 && __GNUC_MINOR__ >= 1) || (__GNUC__ > 4)
Chris@16: #  pragma GCC visibility push (default)
Chris@16: # endif
Chris@16: #endif
Chris@16:     class
Chris@16:     exception
Chris@16:         {
Chris@101:         //<N3757>
Chris@101:         public:
Chris@101:         template <class Tag> void set( typename Tag::type const & );
Chris@101:         template <class Tag> typename Tag::type const * get() const;
Chris@101:         //</N3757>
Chris@101: 
Chris@16:         protected:
Chris@16: 
Chris@16:         exception():
Chris@16:             throw_function_(0),
Chris@16:             throw_file_(0),
Chris@16:             throw_line_(-1)
Chris@16:             {
Chris@16:             }
Chris@16: 
Chris@16: #ifdef __HP_aCC
Chris@16:         //On HP aCC, this protected copy constructor prevents throwing boost::exception.
Chris@16:         //On all other platforms, the same effect is achieved by the pure virtual destructor.
Chris@16:         exception( exception const & x ) throw():
Chris@16:             data_(x.data_),
Chris@16:             throw_function_(x.throw_function_),
Chris@16:             throw_file_(x.throw_file_),
Chris@16:             throw_line_(x.throw_line_)
Chris@16:             {
Chris@16:             }
Chris@16: #endif
Chris@16: 
Chris@16:         virtual ~exception() throw()
Chris@16: #ifndef __HP_aCC
Chris@16:             = 0 //Workaround for HP aCC, =0 incorrectly leads to link errors.
Chris@16: #endif
Chris@16:             ;
Chris@16: 
Chris@16: #if (defined(__MWERKS__) && __MWERKS__<=0x3207) || (defined(_MSC_VER) && _MSC_VER<=1310)
Chris@16:         public:
Chris@16: #else
Chris@16:         private:
Chris@16: 
Chris@16:         template <class E>
Chris@16:         friend E const & exception_detail::set_info( E const &, throw_function const & );
Chris@16: 
Chris@16:         template <class E>
Chris@16:         friend E const & exception_detail::set_info( E const &, throw_file const & );
Chris@16: 
Chris@16:         template <class E>
Chris@16:         friend E const & exception_detail::set_info( E const &, throw_line const & );
Chris@16: 
Chris@16:         template <class E,class Tag,class T>
Chris@16:         friend E const & exception_detail::set_info( E const &, error_info<Tag,T> const & );
Chris@16: 
Chris@16:         friend char const * exception_detail::get_diagnostic_information( exception const &, char const * );
Chris@16: 
Chris@16:         template <class>
Chris@16:         friend struct exception_detail::get_info;
Chris@16:         friend struct exception_detail::get_info<throw_function>;
Chris@16:         friend struct exception_detail::get_info<throw_file>;
Chris@16:         friend struct exception_detail::get_info<throw_line>;
Chris@16:         friend void exception_detail::copy_boost_exception( exception *, exception const * );
Chris@16: #endif
Chris@16:         mutable exception_detail::refcount_ptr<exception_detail::error_info_container> data_;
Chris@16:         mutable char const * throw_function_;
Chris@16:         mutable char const * throw_file_;
Chris@16:         mutable int throw_line_;
Chris@16:         };
Chris@16: #if defined(__GNUC__)
Chris@16: # if (__GNUC__ == 4 && __GNUC_MINOR__ >= 1) || (__GNUC__ > 4)
Chris@16: #  pragma GCC visibility pop
Chris@16: # endif
Chris@16: #endif
Chris@16: 
Chris@16:     inline
Chris@16:     exception::
Chris@16:     ~exception() throw()
Chris@16:         {
Chris@16:         }
Chris@16: 
Chris@16:     namespace
Chris@16:     exception_detail
Chris@16:         {
Chris@16:         template <class E>
Chris@16:         E const &
Chris@16:         set_info( E const & x, throw_function const & y )
Chris@16:             {
Chris@16:             x.throw_function_=y.v_;
Chris@16:             return x;
Chris@16:             }
Chris@16: 
Chris@16:         template <class E>
Chris@16:         E const &
Chris@16:         set_info( E const & x, throw_file const & y )
Chris@16:             {
Chris@16:             x.throw_file_=y.v_;
Chris@16:             return x;
Chris@16:             }
Chris@16: 
Chris@16:         template <class E>
Chris@16:         E const &
Chris@16:         set_info( E const & x, throw_line const & y )
Chris@16:             {
Chris@16:             x.throw_line_=y.v_;
Chris@16:             return x;
Chris@16:             }
Chris@16:         }
Chris@16: 
Chris@16:     ////////////////////////////////////////////////////////////////////////
Chris@16: 
Chris@16:     namespace
Chris@16:     exception_detail
Chris@16:         {
Chris@16: #if defined(__GNUC__)
Chris@16: # if (__GNUC__ == 4 && __GNUC_MINOR__ >= 1) || (__GNUC__ > 4)
Chris@16: #  pragma GCC visibility push (default)
Chris@16: # endif
Chris@16: #endif
Chris@16:         template <class T>
Chris@16:         struct
Chris@16:         error_info_injector:
Chris@16:             public T,
Chris@16:             public exception
Chris@16:             {
Chris@16:             explicit
Chris@16:             error_info_injector( T const & x ):
Chris@16:                 T(x)
Chris@16:                 {
Chris@16:                 }
Chris@16: 
Chris@16:             ~error_info_injector() throw()
Chris@16:                 {
Chris@16:                 }
Chris@16:             };
Chris@16: #if defined(__GNUC__)
Chris@16: # if (__GNUC__ == 4 && __GNUC_MINOR__ >= 1) || (__GNUC__ > 4)
Chris@16: #  pragma GCC visibility pop
Chris@16: # endif
Chris@16: #endif
Chris@16: 
Chris@16:         struct large_size { char c[256]; };
Chris@16:         large_size dispatch_boost_exception( exception const * );
Chris@16: 
Chris@16:         struct small_size { };
Chris@16:         small_size dispatch_boost_exception( void const * );
Chris@16: 
Chris@16:         template <class,int>
Chris@16:         struct enable_error_info_helper;
Chris@16: 
Chris@16:         template <class T>
Chris@16:         struct
Chris@16:         enable_error_info_helper<T,sizeof(large_size)>
Chris@16:             {
Chris@16:             typedef T type;
Chris@16:             };
Chris@16: 
Chris@16:         template <class T>
Chris@16:         struct
Chris@16:         enable_error_info_helper<T,sizeof(small_size)>
Chris@16:             {
Chris@16:             typedef error_info_injector<T> type;
Chris@16:             };
Chris@16: 
Chris@16:         template <class T>
Chris@16:         struct
Chris@16:         enable_error_info_return_type
Chris@16:             {
Chris@16:             typedef typename enable_error_info_helper<T,sizeof(exception_detail::dispatch_boost_exception(static_cast<T *>(0)))>::type type;
Chris@16:             };
Chris@16:         }
Chris@16: 
Chris@16:     template <class T>
Chris@16:     inline
Chris@16:     typename
Chris@16:     exception_detail::enable_error_info_return_type<T>::type
Chris@16:     enable_error_info( T const & x )
Chris@16:         {
Chris@16:         typedef typename exception_detail::enable_error_info_return_type<T>::type rt;
Chris@16:         return rt(x);
Chris@16:         }
Chris@16: 
Chris@16:     ////////////////////////////////////////////////////////////////////////
Chris@16: 
Chris@16:     namespace
Chris@16:     exception_detail
Chris@16:         {
Chris@16: #if defined(__GNUC__)
Chris@16: # if (__GNUC__ == 4 && __GNUC_MINOR__ >= 1) || (__GNUC__ > 4)
Chris@16: #  pragma GCC visibility push (default)
Chris@16: # endif
Chris@16: #endif
Chris@16:         class
Chris@16:         clone_base
Chris@16:             {
Chris@16:             public:
Chris@16: 
Chris@16:             virtual clone_base const * clone() const = 0;
Chris@16:             virtual void rethrow() const = 0;
Chris@16: 
Chris@16:             virtual
Chris@16:             ~clone_base() throw()
Chris@16:                 {
Chris@16:                 }
Chris@16:             };
Chris@16: #if defined(__GNUC__)
Chris@16: # if (__GNUC__ == 4 && __GNUC_MINOR__ >= 1) || (__GNUC__ > 4)
Chris@16: #  pragma GCC visibility pop
Chris@16: # endif
Chris@16: #endif
Chris@16: 
Chris@16:         inline
Chris@16:         void
Chris@16:         copy_boost_exception( exception * a, exception const * b )
Chris@16:             {
Chris@16:             refcount_ptr<error_info_container> data;
Chris@16:             if( error_info_container * d=b->data_.get() )
Chris@16:                 data = d->clone();
Chris@16:             a->throw_file_ = b->throw_file_;
Chris@16:             a->throw_line_ = b->throw_line_;
Chris@16:             a->throw_function_ = b->throw_function_;
Chris@16:             a->data_ = data;
Chris@16:             }
Chris@16: 
Chris@16:         inline
Chris@16:         void
Chris@16:         copy_boost_exception( void *, void const * )
Chris@16:             {
Chris@16:             }
Chris@16: 
Chris@16:         template <class T>
Chris@16:         class
Chris@16:         clone_impl:
Chris@16:             public T,
Chris@16:             public virtual clone_base
Chris@16:             {
Chris@16:             struct clone_tag { };
Chris@16:             clone_impl( clone_impl const & x, clone_tag ):
Chris@16:                 T(x)
Chris@16:                 {
Chris@16:                 copy_boost_exception(this,&x);
Chris@16:                 }
Chris@16: 
Chris@16:             public:
Chris@16: 
Chris@16:             explicit
Chris@16:             clone_impl( T const & x ):
Chris@16:                 T(x)
Chris@16:                 {
Chris@16:                 copy_boost_exception(this,&x);
Chris@16:                 }
Chris@16: 
Chris@16:             ~clone_impl() throw()
Chris@16:                 {
Chris@16:                 }
Chris@16: 
Chris@16:             private:
Chris@16: 
Chris@16:             clone_base const *
Chris@16:             clone() const
Chris@16:                 {
Chris@16:                 return new clone_impl(*this,clone_tag());
Chris@16:                 }
Chris@16: 
Chris@16:             void
Chris@16:             rethrow() const
Chris@16:                 {
Chris@16:                 throw*this;
Chris@16:                 }
Chris@16:             };
Chris@16:         }
Chris@16: 
Chris@16:     template <class T>
Chris@16:     inline
Chris@16:     exception_detail::clone_impl<T>
Chris@16:     enable_current_exception( T const & x )
Chris@16:         {
Chris@16:         return exception_detail::clone_impl<T>(x);
Chris@16:         }
Chris@16:     }
Chris@16: 
Chris@16: #if defined(_MSC_VER) && !defined(BOOST_EXCEPTION_ENABLE_WARNINGS)
Chris@16: #pragma warning(pop)
Chris@16: #endif
Chris@16: #endif