Esempio n. 1
0
 inline
 exception_ptr
 current_exception_unknown_std_exception( std::exception const & e )
     {
     if( boost::exception const * be = dynamic_cast<boost::exception const *>(&e) )
         return exception_ptr(exception_detail::make_clone(unknown_exception(*be)));
     else
         return current_exception_unknown_exception();
     }
 inline
 shared_ptr<clone_base const>
 current_exception_unknown_std_exception( std::exception const & e )
     {
     if( boost::exception const * be = get_boost_exception(&e) )
         return current_exception_unknown_boost_exception(*be);
     else
         return current_exception_unknown_exception();
     }