Deriving from boost::exception effectively decouples the semantics of a failure from the information that is relevant to each individual instance of reporting a failure with a given semantic.
-In other words: with boost::exception, what data a given exception object transports depends primarily on the context in which failures are reported (not on its type). Since exception types need no members, it becomes very natural to throw exceptions that derive from more than one type to indicate multiple appropriate semantics:
+In other words: with boost::exception, what data a given exception object transports depends primarily on the context in which failures are reported (not on its type.) Since exception types need no members, it becomes very natural to throw exceptions that derive from more than one type to indicate multiple appropriate semantics:
struct exception_base: virtual std::exception, virtual boost::exception { };
struct io_error: virtual exception_base { };
struct file_error: virtual io_error { };
diff --git a/doc/motivation.html b/doc/motivation.html
index 6d1a23e..4118a3b 100644
--- a/doc/motivation.html
+++ b/doc/motivation.html
@@ -72,7 +72,8 @@ read_file( FILE * f, char const * name )
For example, in the throw statement below we only add the errno code, since this is the only failure-relevant information available in this context:
struct exception_base: virtual std::exception, virtual boost::exception { }; -struct file_read_error: virtual exception_base { }; +struct io_error: virtual exception_base { }; +struct file_read_error: virtual io_error { }; typedef boost::error_info<struct tag_errno_code,int> errno_code; diff --git a/doc/source/boost-exception.reno b/doc/source/boost-exception.reno index 0a78736..d1ef4e0 100644 --- a/doc/source/boost-exception.reno +++ b/doc/source/boost-exception.reno @@ -240,6 +240,49 @@+ + + + reno_context + + +0 ++ ++ 0 ++ 10 ++ reno_context ++ ++ +0 ++ +-14 ++ +1 +2 +(:include include:) (:auto also:) ++ -+ 0 ++ 15 @@ -474,20 +543,7 @@ reno_context - 0 - --13 -- -1 -2 -(:include include:) (:auto also:) -- +- 0 -- 15 +16 @@ -540,7 +596,7 @@ reno_context 0 - 16 +17 @@ -589,7 +645,7 @@ reno_context 0 - 17 +18 @@ -627,7 +683,7 @@ reno_context 0 - 18 +19 @@ -670,7 +726,7 @@ reno_context 0 - 19 +20 @@ -719,7 +775,7 @@ reno_context 0 - 20 +21 @@ -768,7 +824,7 @@ reno_context 0 - 21 +22 @@ -817,7 +873,7 @@ reno_context 0 - 22 +23 @@ -866,7 +922,7 @@ reno_context 0 - 23 +24 @@ -915,7 +971,7 @@ reno_context 0 - 24 +25 @@ -968,7 +1024,52 @@ reno_context + 0 - +25 +26 ++ + +reno_context ++ +1 +2 +(:include include:) (:auto also:) ++ -+ 0 ++ 27 @@ -1013,7 +1114,7 @@ reno_context 0 - 26 +28 @@ -1062,7 +1163,7 @@ reno_context 0 - 27 +29 @@ -1105,50 +1206,7 @@ reno_context - 0 - -28 -- - -reno_context -- -0 -- -- 0 -- 29 +30 @@ -1191,7 +1249,7 @@ reno_context 0 - 30 +31 @@ -1240,7 +1298,7 @@ reno_context 0 - 31 +32 @@ -1285,7 +1343,7 @@ reno_context 0 - 32 +33 @@ -1323,7 +1381,7 @@ reno_context 0 - 33 +34 @@ -1372,7 +1430,7 @@ reno_context 0 - 34 +35 @@ -1410,7 +1468,7 @@ reno_context 0 - 35 +36 @@ -1459,7 +1517,7 @@ reno_context 0 - 36 +37 @@ -1508,7 +1566,7 @@ reno_context 0 - 37 +38 @@ -1557,7 +1615,7 @@ reno_context 0 - 38 +39 @@ -1606,7 +1664,7 @@ reno_context 0 - 39 +40 @@ -1642,7 +1700,7 @@ reno_context 0 - -34 +-35 2 @@ -1651,7 +1709,7 @@0 - -35 +-36 2 @@ -1660,7 +1718,7 @@0 - -11 +-12 2 @@ -1669,7 +1727,7 @@0 - -14 +-15 2 @@ -1684,6 +1742,24 @@2 mod="w":) ##(:link 1 ++ +0 ++ +-14 +2 +mod="w":) ##(:link +1 ++ +0 ++ +-35 +2 +mod="w":) ##(:link +1 0 @@ -1696,25 +1772,7 @@ - 0 - --34 -2 -mod="w":) ##(:link -1 -- -0 -- --12 -2 -mod="w":) ##(:link -1 -- 0 -- 40 +41 @@ -1748,12 +1806,39 @@ reno_context 0 - -10 +-11 2 :) ##Transporting of Arbitrary Data to the Catch Site ###(:link 1 ++ +0 ++ +-24 +2 +:) ###(:link +1 ++ +0 ++ +-20 +2 +:) ###(:link +1 ++ +0 ++ +-38 +2 +:) ###(:link +1 0 @@ -1766,34 +1851,7 @@ - 0 - --19 -2 -:) ###(:link -1 -- -0 -- --37 -2 -:) ###(:link -1 -- -0 -- --22 -2 -:) ###(:link -1 -- 0 -- 41 +42 @@ -1838,25 +1896,7 @@ reno_context - 0 - --30 -2 -:) ###(:link -1 -- -0 -- --20 -2 -:) ###(:link -1 -- 0 -- -16 +-31 2 @@ -1874,7 +1914,25 @@+ 0 - +42 +-17 +2 +:) ###(:link +1 ++ +0 ++ +-22 +2 +:) ###(:link +1 ++ 0 ++ 43 @@ -1916,6 +1974,24 @@ reno_context 2 :) ###(:link 1 ++ +0 ++ +-37 +2 +:) ##(:link +1 ++ +0 ++ +-34 +2 +:) ##(:link +1 0 @@ -1923,30 +1999,12 @@ 2 -:) ##(:link -1 -- -0 -- --33 -2 -:) ##(:link -1 -- -0 -- --35 -2 :), (:link 1 0 - 43 +44 @@ -1987,7 +2045,7 @@ reno_context 0 - 44 +45 @@ -2036,7 +2094,7 @@ reno_context 0 - 45 +46 @@ -2077,7 +2135,7 @@ reno_context 0 - 46 +47 @@ -2118,7 +2176,7 @@ reno_context 0 - -9 +-10 2 @@ -2127,7 +2185,34 @@+ 0 - +-17 +-18 +2 +:) ###(:link +1 ++ +0 ++ +-28 +2 +:) ###(:link +1 ++ +0 ++ +-32 +2 +:) ###(:link +1 ++ 0 ++ -27 2 @@ -2142,65 +2227,6 @@2 :) ###(:link 1 -- -0 -- --31 -2 -:) ###(:link -1 -- -0 -- --25 -2 -:) ###(:link -1 -- -0 -- -47 -- - -reno_context -2 -:) ###(:link -1 0 @@ -2295,7 +2321,7 @@ 0 - -32 +-33 2 @@ -2304,7 +2330,7 @@0 - -45 +-46 2 @@ -2313,7 +2339,7 @@0 - -31 +-32 2 @@ -2322,7 +2348,7 @@0 - -47 +-26 2 @@ -2340,7 +2366,7 @@0 - -17 +-18 2 @@ -2349,7 +2375,7 @@0 - -46 +-47 2 @@ -2367,7 +2393,7 @@0 - -9 +-10 2 @@ -2394,7 +2420,7 @@0 - -10 +-11 2 @@ -2403,52 +2429,7 @@- 0 - --23 -2 -:) (:include -1 -- -0 -- --19 -2 -:) (:include -1 -- -0 -- --37 -2 -:) (:include -1 -- -0 -- --22 -2 -:) (:include -1 -- -0 -- --41 -2 -:) !!Transporting of Exceptions between Threads (:include -1 -- 0 -- -30 +-24 2 @@ -2466,7 +2447,34 @@+ 0 - +-16 +-38 +2 +:) (:include +1 ++ +0 ++ +-23 +2 +:) (:include +1 ++ +0 ++ +-42 +2 +:) !!Transporting of Exceptions between Threads (:include +1 ++ 0 ++ -31 2 @@ -2484,7 +2492,7 @@0 - -42 +-17 2 @@ -2493,29 +2501,11 @@0 - -36 +-22 2 -:) !!Printing Diagnostic Information (:include -1 -- -0 -- --33 -2 -:) !!Throwing Exceptions (:include -1 -- -0 -- --35 -2 -:) (:include +:) (:include 1 0 @@ -2524,35 +2514,45 @@2 +:) (:include +1 ++ +0 ++ +-37 +2 +:) !!Printing Diagnostic Information (:include +1 ++ +0 ++ +-34 +2 +:) !!Throwing Exceptions (:include +1 ++ +0 ++ +-36 +2 +:) (:include +1 ++ +0 ++ +-44 +2 :) !!Acknowledgements Peter Dimov has been continuously influencing the design and evolution of Boost Exception. Also thanks to Tobias Schwinger, Tom Brinkman, Pavel Vozenilek and everyone who participated in the review process. - -- -0 -- --44 -- -1 -2 -(:include include:) (:auto also:) -- - -0 -- --43 -- -1 -2 -(:include include:) (:pagelist link="backlink":) -+ 0 @@ -2579,6 +2579,32 @@(:include include:) (:auto also:) + ++ +0 ++ +-43 ++ +1 +2 +(:include include:) (:auto also:) ++ + +0 ++ +-44 ++ +1 +2 +(:include include:) (:pagelist link="backlink":) +0 @@ -2615,7 +2641,7 @@1 2 -(:include include:) (:auto also:) +(:include include:) (:auto also:) @@ -2730,32 +2756,6 @@ -0 - -- -0 -- --12 -- -1 -2 -(:include include:) (:auto also:) -- @@ -2832,6 +2832,17 @@- -0 -- --40 -- -1 -2 -(:include include:) (:auto also:) --10 ++ + +0 ++ -+ 0 ++ +-11 +7 2 @@ -2840,7 +2851,7 @@0 - -10 +-11 2 @@ -2849,7 +2860,7 @@0 - -15 +-16 2 @@ -2869,18 +2880,7 @@- 0 - --11 -- -0 -- +- 0 -- -14 +-12 @@ -2898,6 +2898,17 @@ 0 + + +0 ++ +-14 ++ +0 ++ + 0 @@ -2993,6 +3004,17 @@-23 + +0 ++ -+ 0 ++ +-24 +9 2 @@ -3001,7 +3023,7 @@0 - -23 +-24 2 @@ -3019,7 +3041,7 @@0 - -38 +-39 2 @@ -3028,24 +3050,13 @@0 - -24 +-25 2 decl pre_indent="4":) };@] - - -0 -- --24 -- -0 -- 0 @@ -3215,18 +3226,7 @@- 0 - --44 -- -0 -- +- 0 -- -43 +-40 @@ -3255,6 +3255,28 @@ 0 + ++ +0 ++ +-43 ++ +0 ++ + +0 ++ +-44 ++ +0 +- 0 @@ -3332,28 +3354,6 @@0 - -- -0 -- --12 -- -0 -- @@ -3383,7 +3383,7 @@- -0 -- --40 -- -0 -0 - -37 +-38 2 @@ -3431,18 +3431,7 @@- 3 -2 -[@(:include -1 -- -0 -- --20 -2 -decl:)@] +0 @@ -3453,7 +3442,18 @@ - 0 +3 +2 +[@(:include +1 ++ +0 ++ +-21 +2 +decl:)@] @@ -3471,7 +3471,7 @@ +0 - -14 +-12 @@ -3489,6 +3489,17 @@ 0 + + +0 ++ +-14 ++ +0 +0 @@ -3519,18 +3530,7 @@- 3 -2 -[@(:include -1 -- -0 -- --41 -2 -decl:)@] +0 @@ -3541,7 +3541,18 @@ - 0 +3 +2 +[@(:include +1 ++ +0 ++ +-42 +2 +decl:)@] @@ -3618,14 +3629,34 @@ +- +3 +0 ++ -+ +0 ++ +-26 ++ 5 2 [@(:include 1 + 0 - +-22 +-24 +2 +def:) (:include +1 ++ 0 ++ -20 2 @@ -3636,7 +3667,7 @@0 - -26 +-27 @@ -3654,17 +3685,6 @@ decl:)@] - - -0 -- --27 -- -0 -0 @@ -3673,7 +3693,18 @@- 0 +3 +2 +[@(:include +1 ++ +0 ++ +-24 +2 +decl:)@] @@ -3706,54 +3737,7 @@ - 11 -2 -[@(:include -1 -- -0 -- --10 -2 -def:) (:include -1 -- -0 -- --23 -2 -decl:) typedef (:link -1 -- -0 -- --23 -2 -:)<struct tag_throw_function,char const *> throw_function; typedef (:link -1 -- -0 -- --23 -2 -:)<struct tag_throw_file,char const *> throw_file; typedef (:link -1 -- -0 -- --23 -2 -:)<struct tag_throw_line,int> throw_line;@] +0 @@ -3764,7 +3748,54 @@ - 0 +11 +2 +[@(:include +1 ++ +0 ++ +-11 +2 +def:) (:include +1 ++ +0 ++ +-24 +2 +decl:) typedef (:link +1 ++ +0 ++ +-24 +2 +:)<struct tag_throw_function,char const *> throw_function; typedef (:link +1 ++ +0 ++ +-24 +2 +:)<struct tag_throw_file,char const *> throw_file; typedef (:link +1 ++ +0 ++ +-24 +2 +:)<struct tag_throw_line,int> throw_line;@] @@ -3848,18 +3879,7 @@ -- 0 - --44 -- -0 -- +- 0 -- -43 +-40 @@ -3888,6 +3908,28 @@ 0 + ++ +0 ++ +-43 ++ +0 ++ + +0 ++ +-44 ++ +0 ++ + 0 @@ -3895,6 +3937,17 @@-45 + +0 ++ -+ 0 ++ +-46 +15 2 @@ -3903,7 +3956,34 @@+ 0 - +-46 +-47 +2 +:)> #include <(:link +1 ++ +0 ++ +-28 +2 +:)> #include <(:link +1 ++ +0 ++ +-32 +2 +:)> #include <(:link +1 ++ 0 ++ -27 2 @@ -3918,33 +3998,6 @@2 :)> #include <(:link 1 -- -0 -- --31 -2 -:)> #include <(:link -1 -- -0 -- --25 -2 -:)> #include <(:link -1 -- -0 -- --47 -2 -:)> #include <(:link -1 0 @@ -3968,7 +4021,7 @@ 0 - -46 +-47 @@ -3979,38 +4032,7 @@ -- 0 - --33 -2 -decl:)@] -- -- -0 -- --47 -- 5 -2 -[@(:include -1 -- -0 -- --23 -2 -def:) (:include -1 -- 0 -- -19 +-34 2 @@ -4032,7 +4054,7 @@0 - -36 +-37 2 @@ -4041,7 +4063,7 @@0 - -30 +-31 2 @@ -4050,7 +4072,7 @@0 - -21 +-22 2 @@ -4059,7 +4081,7 @@0 - -16 +-17 2 @@ -4068,7 +4090,7 @@0 - -42 +-43 2 @@ -4090,7 +4112,7 @@0 - -43 +-44 2 @@ -4099,7 +4121,7 @@0 - -35 +-36 2 @@ -4128,28 +4150,6 @@0 - -- -0 -- --12 -- -0 -- @@ -4249,18 +4249,7 @@- -0 -- --40 -- -0 -- 3 -2 -[@class (:link -1 -- -0 -- --10 -2 -:);@] +0 @@ -4271,14 +4260,25 @@ - 0 +3 +2 +[@class (:link +1 ++ +0 ++ +-11 +2 +:);@] + 0 - -14 +-12 @@ -4296,6 +4296,17 @@ 0 + + +0 ++ +-14 ++ +0 +0 @@ -4304,36 +4315,7 @@- 7 -2 -[@(:link -1 -- -0 -- --15 -2 -mod="m":)(); (:link -1 -- -0 -- --15 -2 -mod="m":)( (:link -1 -- -0 -- --10 -2 -:) const & x );@] +0 @@ -4344,19 +4326,10 @@ - 5 +7 2 [@(:link 1 -- -0 -- --30 -2 -:) (:link -1 0 @@ -4364,7 +4337,25 @@ 2 -:)();@] +mod="m":)(); (:link +1 ++ +0 ++ +-16 +2 +mod="m":)( (:link +1 ++ +0 ++ +-11 +2 +:) const & x );@] @@ -4375,7 +4366,27 @@ - 0 +5 +2 +[@(:link +1 ++ +0 ++ +-31 +2 +:) (:link +1 ++ +0 ++ +-17 +2 +:)();@] @@ -4397,27 +4408,7 @@ - 5 -2 -[@template <class E, class Tag, class T> E const & (:link -1 -- -0 -- --19 -2 -mod="/":)( E const & x, (:link -1 -- -0 -- --23 -2 -:)<Tag,T> const & v );@] +0 @@ -4428,9 +4419,9 @@ - 3 +5 2 -[@template <class T> ---unspecified--- (:link +[@template <class E, class Tag, class T> E const & (:link 1 0 @@ -4439,7 +4430,16 @@2 -:)( T const & e );@] +mod="/":)( E const & x, (:link +1 ++ +0 ++ +-24 +2 +:)<Tag,T> const & v );@] @@ -4450,18 +4450,9 @@ - 5 +3 2 -[@template <class T> (:link -1 -- -0 -- --30 -2 -:) (:link +[@template <class T> ---unspecified--- (:link 1 0 @@ -4481,9 +4472,18 @@- 3 +5 2 -[@template <class ErrorInfo,class E> (:link http://www.boost.org/libs/smart_ptr/shared_ptr.htm|shared_ptr:)<typename ErrorInfo::value_type const> (:link +[@template <class T> (:link +1 ++ +0 ++ +-31 +2 +:) (:link 1 0 @@ -4492,7 +4492,7 @@2 -:)( E const & x );@] +:)( T const & e );@] @@ -4505,7 +4505,7 @@ ++ 3 2 -[@template <class Tag,class T> class (:link +[@template <class ErrorInfo,class E> (:link http://www.boost.org/libs/smart_ptr/shared_ptr.htm|shared_ptr:)<typename ErrorInfo::value_type const> (:link 1 0 @@ -4514,6 +4514,28 @@2 +:)( E const & x );@] ++ @@ -4521,7 +4543,7 @@+ +0 ++ +-24 ++ 3 +2 +[@template <class Tag,class T> class (:link +1 ++ +0 ++ +-24 +2 :);@] 0 - -24 +-25 @@ -4541,24 +4563,13 @@ -0 - -24 +-25 2 mod="m":)() const;@] - - -0 -- --25 -- -0 -0 @@ -4611,18 +4622,7 @@- 3 -2 -[@typedef ---unspecified--- (:link -1 -- -0 -- --30 -2 -:);@] +0 @@ -4633,7 +4633,18 @@ - 0 +3 +2 +[@typedef ---unspecified--- (:link +1 ++ +0 ++ +-31 +2 +:);@] @@ -4655,27 +4666,7 @@ - 5 -2 -[@std::string (:link -1 -- -0 -- --33 -2 -:)( boost::(:link -1 -- -0 -- --10 -2 -:) const & );@] +0 @@ -4686,7 +4677,27 @@ - 0 +5 +2 +[@std::string (:link +1 ++ +0 ++ +-34 +2 +:)( boost::(:link +1 ++ +0 ++ +-11 +2 +:) const & );@] @@ -4697,27 +4708,7 @@ - 5 -2 -[@#ifdef BOOST_NO_EXCEPTIONS void (:link -1 -- -0 -- --35 -2 -:)( std::exception const & e ); // user defined #else template <class E> void (:link -1 -- -0 -- --35 -2 -:)( E const & e ); #endif@] +0 @@ -4730,7 +4721,7 @@ 5 2 -[@class (:link +[@#ifdef BOOST_NO_EXCEPTIONS void (:link 1 0 @@ -4739,16 +4730,16 @@2 -:): public std::exception public boost:: +:)( std::exception const & e ); // user defined #else template <class E> void (:link 1 0 - -10 +-36 2 -{ ---unspecified--- };@] +:)( E const & e ); #endif@] @@ -4759,9 +4750,9 @@ - 7 +5 2 -[@template <class E, class Tag1, class T1, ..., class TagN, class TN> E const & (:link +[@class (:link 1 0 @@ -4770,25 +4761,16 @@2 -mod="/":)( E const & x, (:link http://www.boost.org/libs/tuple/doc/tuple_users_guide.html|tuple:)< (:link +:): public std::exception public boost:: 1 0 - -23 +-11 2 -:)<Tag1,T1>, ..., (:link -1 -- -0 -- --23 -2 -:)<TagN,TN> > const & v );@] +{ ---unspecified--- };@] @@ -4798,6 +4780,46 @@ +-38 ++ +7 +2 +[@template <class E, class Tag1, class T1, ..., class TagN, class TN> E const & (:link +1 ++ +0 ++ +-38 +2 +mod="/":)( E const & x, (:link http://www.boost.org/libs/tuple/doc/tuple_users_guide.html|tuple:)< (:link +1 ++ +0 ++ +-24 +2 +:)<Tag1,T1>, ..., (:link +1 ++ +0 ++ +-24 +2 +:)<TagN,TN> > const & v );@] ++ -+ 0 ++ +-39 +5 2 @@ -4806,7 +4828,7 @@0 - -38 +-39 2 @@ -4826,118 +4848,13 @@0 - -39 +-40 0 - -- -0 -- --44 -- -0 -- - -0 -- --43 -- -19 -2 -[@#if !defined( BOOST_NO_EXCEPTIONS ) && !defined( BOOST_EXCEPTION_DISABLE ) #include < -1 -- -0 -- --31 -2 -> #include <boost/current_function.hpp> #define -1 -- -0 -- --43 -2 -(x)\ ::boost:: -1 -- -0 -- --35 -2 -( ::boost:: -1 -- -0 -- --41 -2 -(x) <<\ ::boost::(:link -1 -- -0 -- --31 -2 -|throw_function:)(BOOST_CURRENT_FUNCTION) <<\ ::boost::(:link -1 -- -0 -- --31 -2 -|throw_file:)(__FILE__) <<\ ::boost::(:link -1 -- -0 -- --31 -2 -|throw_line:)((int)__LINE__) ) #else #define -1 -- -0 -- --43 -2 -(x) ::boost:: -1 -- -0 -- --35 -2 -(x) #endif@] -0 @@ -4946,18 +4863,7 @@- 3 -2 -[@template <class T> ---unspecified--- (:link -1 -- -0 -- --41 -2 -:)( T const & x );@] +0 @@ -4968,9 +4874,9 @@ +- +5 +3 2 -[@void (:link +[@template <class T> ---unspecified--- (:link 1 0 @@ -4979,18 +4885,134 @@2 +:)( T const & x );@] ++ ++ +0 ++ +-43 ++ 5 +2 +[@void (:link +1 ++ +0 ++ +-43 +2 :)( (:link 1 0 - -30 +-31 2 :) const & ep ); + + +0 ++ +-44 ++ +19 +2 +[@#if !defined( BOOST_NO_EXCEPTIONS ) && !defined( BOOST_EXCEPTION_DISABLE ) #include < +1 ++ +0 ++ +-32 +2 +> #include <boost/current_function.hpp> #define +1 ++ +0 ++ +-44 +2 +(x)\ ::boost:: +1 ++ +0 ++ +-36 +2 +( ::boost:: +1 ++ +0 ++ +-42 +2 +(x) <<\ ::boost::(:link +1 ++ +0 ++ +-32 +2 +|throw_function:)(BOOST_CURRENT_FUNCTION) <<\ ::boost::(:link +1 ++ +0 ++ +-32 +2 +|throw_file:)(__FILE__) <<\ ::boost::(:link +1 ++ +0 ++ +-32 +2 +|throw_line:)((int)__LINE__) ) #else #define +1 ++ +0 ++ +-44 +2 +(x) ::boost:: +1 ++ +0 ++ +-36 +2 +(x) #endif@] +- 0 @@ -5068,28 +5090,6 @@0 - -- -0 -- --12 -- -0 -- @@ -5132,7 +5132,7 @@- -0 -- --40 -- -0 -0 - -10 +-11 2 @@ -5154,7 +5154,7 @@0 - -33 +-34 2 @@ -5163,7 +5163,7 @@0 - -10 +-11 2 @@ -5172,7 +5172,7 @@0 - -10 +-11 2 @@ -5181,7 +5181,7 @@0 - -19 +-20 2 @@ -5190,7 +5190,7 @@0 - -45 +-46 2 @@ -5199,7 +5199,7 @@0 - -10 +-11 2 @@ -5208,7 +5208,7 @@0 - -10 +-11 2 @@ -5217,7 +5217,7 @@0 - -33 +-34 2 @@ -5226,7 +5226,7 @@0 - -18 +-19 2 @@ -5248,7 +5248,7 @@0 - -23 +-24 2 @@ -5272,9 +5272,81 @@- 1 +17 2 -(:auto !!!:) !!!Synopsis (:include synopsis:) +(:auto !!!:) The following example demonstrates how errno can be stored in exception objects using Boost Exception: [@#include <(:link +1 ++ +0 ++ +-46 +2 +:)> #include <errno.h> #include <iostream> typedef boost::(:link +1 ++ +0 ++ +-24 +2 +:)<struct tag_errno,int> errno_info; //(1) class my_error: public boost::(:link +1 ++ +0 ++ +-11 +2 +:), public std::exception { }; //(2) void f() { throw my_error() << errno_info(errno); //(3) } @] First, we instantiate the (:link +1 ++ +0 ++ +-24 +2 +:) template using a unique identifier -- tag_errno, and the type of the info it identifies -- int. This provides compile-time type safety for the various values stored in exception objects. Second, we define class my_error, which derives from boost::(:link +1 ++ +0 ++ +-11 +2 +:). Finally, (3) illustrates how the typedef from (1) can be used with (:link +1 ++ +0 ++ +-20 +2 +|operator<<:) to store values in exception objects at the point of the throw. The stored errno value can be recovered at a later time like this: [@// ...continued void g() { try { f(); } catch( my_error & x ) { if( boost::shared_ptr<int const> err=boost::(:link +1 ++ +0 ++ +-23 +2 +:)<errno_info>(x) ) std::cerr << "Error code: " << *err; } }@] The (:link +1 ++ +0 ++ +-23 +2 +:) function template is instantiated with the typedef from (1), and is passed an exception object of a polymorphic type. If the exception object contains the requested value, the returned (:link http://www.boost.org/libs/smart_ptr/shared_ptr.htm|shared_ptr:) will point to it; otherwise an empty (:link http://www.boost.org/libs/smart_ptr/shared_ptr.htm|shared_ptr:) is returned. @@ -5285,63 +5357,9 @@ - 13 +1 2 -(:auto !!!:) (:include synopsis:) Class boost::(:link -1 -- -0 -- --10 -2 -:) is designed to be used as a universal base for user-defined exception types. An object of any type deriving from boost::(:link -1 -- -0 -- --10 -2 -:) can store data of arbitrary types, using the (:link -1 -- -0 -- --23 -2 -:) wrapper and (:link -1 -- -0 -- --19 -2 -mod="/":). To retrieve data from a boost::(:link -1 -- -0 -- --10 -2 -:) object, use the (:link -1 -- -0 -- --22 -2 -:) function template. +(:auto !!!:) !!!Synopsis (:include synopsis:) @@ -5351,6 +5369,73 @@ +-11 ++ +13 +2 +(:auto !!!:) (:include synopsis:) Class boost::(:link +1 ++ +0 ++ +-11 +2 +:) is designed to be used as a universal base for user-defined exception types. An object of any type deriving from boost::(:link +1 ++ +0 ++ +-11 +2 +:) can store data of arbitrary types, using the (:link +1 ++ +0 ++ +-24 +2 +:) wrapper and (:link +1 ++ +0 ++ +-20 +2 +mod="/":). To retrieve data from a boost::(:link +1 ++ +0 ++ +-11 +2 +:) object, use the (:link +1 ++ +0 ++ +-23 +2 +:) function template. ++ ++ 0 ++ +-12 +27 2 @@ -5359,7 +5444,7 @@0 - -10 +-11 2 @@ -5368,16 +5453,16 @@0 - -10 +-11 2 -:) { }; struct file_read_error: virtual exception_base { }; typedef boost::(:link +:) { }; struct io_error: virtual exception_base { }; struct file_read_error: virtual io_error { }; typedef boost::(:link 1 0 - -23 +-24 2 @@ -5386,7 +5471,7 @@0 - -19 +-20 2 @@ -5395,7 +5480,7 @@0 - -10 +-11 2 @@ -5404,7 +5489,7 @@0 - -23 +-24 2 @@ -5413,7 +5498,7 @@0 - -10 +-11 2 @@ -5422,7 +5507,7 @@0 - -19 +-20 2 @@ -5431,7 +5516,7 @@0 - -10 +-11 2 @@ -5440,7 +5525,7 @@0 - -19 +-20 2 @@ -5449,7 +5534,7 @@0 - -10 +-11 2 @@ -5458,7 +5543,7 @@0 - -22 +-23 2 @@ -5467,13 +5552,53 @@0 - -22 +-23 2 :)<errno_code>(e) ) std::cerr << “OS says: “ << strerror(*c) << “\n”; }@] + + +0 ++ +-13 ++ +7 +2 +(:auto !!!:) Deriving from boost::(:link +1 ++ +0 ++ +-11 +2 +:) effectively decouples the semantics of a failure from the information that is relevant to each individual instance of reporting a failure with a given semantic. In other words: with boost::(:link +1 ++ +0 ++ +-11 +2 +:), what data a given exception object transports depends primarily on the context in which failures are reported (not on its type.) Since exception types need no members, it becomes very natural to throw exceptions that derive from more than one type to indicate multiple appropriate semantics: [@struct exception_base: virtual std::exception, virtual boost::(:link +1 ++ +0 ++ +-11 +2 +:) { }; struct io_error: virtual exception_base { }; struct file_error: virtual io_error { }; struct read_error: virtual io_error { }; struct file_read_error: virtual file_error, virtual read_error { };@] Using this approach, exception types become a simple tagging system for categorizing errors and selecting failures in exception handlers. ++ + 0 @@ -5481,6 +5606,136 @@-14 + +27 +2 +(:auto !!:) Some exception hierarchies can not be modified to make boost::(:link +1 ++ +0 ++ +-11 +2 +:) a base type. In this case, the (:link +1 ++ +0 ++ +-42 +2 +:) function template can be used to make exception objects derive from boost::(:link +1 ++ +0 ++ +-11 +2 +:) anyway. Here is an example: [@#include <(:link +1 ++ +0 ++ +-46 +2 +:)> #include <stdexcept> typedef boost::(:link +1 ++ +0 ++ +-24 +2 +:)<struct tag_std_range_min,size_t> std_range_min; typedef boost::(:link +1 ++ +0 ++ +-24 +2 +:)<struct tag_std_range_max,size_t> std_range_max; typedef boost::(:link +1 ++ +0 ++ +-24 +2 +:)<struct tag_std_range_index,size_t> std_range_index; template <class T> class my_container { public: size_t size() const; T const & operator[]( size_t i ) const { if( i > size() ) throw boost::(:link +1 ++ +0 ++ +-42 +2 +:)(std::range_error("Index out of range")) << std_range_min(0) << std_range_max(size()) << std_range_index(i); //.... } }; @] The call to (:link +1 ++ +0 ++ +-42 +2 +:)<T> gets us an object of ''unspecified type'' which is guaranteed to derive from both boost::(:link +1 ++ +0 ++ +-11 +2 +:) and T. This makes it possible to use (:link +1 ++ +0 ++ +-20 +2 +mod="/":) to store additional information in the exception object. The exception can be intercepted as T &, so existing exception handling will not break. It can also be intercepted as boost::(:link +1 ++ +0 ++ +-11 +2 +:) &, so that (:link +1 ++ +0 ++ +-15 +2 +|more information can be added to the exception at a later time:). ++ -+ 0 ++ +-15 +11 2 @@ -5489,7 +5744,7 @@0 - -10 +-11 2 @@ -5498,7 +5753,7 @@0 - -10 +-11 2 @@ -5507,7 +5762,7 @@0 - -28 +-9 2 @@ -5516,7 +5771,7 @@0 - -29 +-30 2 @@ -5536,137 +5791,7 @@- 0 - --13 -- -27 -2 -(:auto !!:) Some exception hierarchies can not be modified to make boost::(:link -1 -- -0 -- --10 -2 -:) a base type. In this case, the (:link -1 -- -0 -- --41 -2 -:) function template can be used to make exception objects derive from boost::(:link -1 -- -0 -- --10 -2 -:) anyway. Here is an example: [@#include <(:link -1 -- -0 -- --45 -2 -:)> #include <stdexcept> typedef boost::(:link -1 -- -0 -- --23 -2 -:)<struct tag_std_range_min,size_t> std_range_min; typedef boost::(:link -1 -- -0 -- --23 -2 -:)<struct tag_std_range_max,size_t> std_range_max; typedef boost::(:link -1 -- -0 -- --23 -2 -:)<struct tag_std_range_index,size_t> std_range_index; template <class T> class my_container { public: size_t size() const; T const & operator[]( size_t i ) const { if( i > size() ) throw boost::(:link -1 -- -0 -- --41 -2 -:)(std::range_error("Index out of range")) << std_range_min(0) << std_range_max(size()) << std_range_index(i); //.... } }; @] The call to (:link -1 -- -0 -- --41 -2 -:)<T> gets us an object of ''unspecified type'' which is guaranteed to derive from both boost::(:link -1 -- -0 -- --10 -2 -:) and T. This makes it possible to use (:link -1 -- -0 -- --19 -2 -mod="/":) to store additional information in the exception object. The exception can be intercepted as T &, so existing exception handling will not break. It can also be intercepted as boost::(:link -1 -- -0 -- --10 -2 -:) &, so that (:link -1 -- -0 -- --14 -2 -|more information can be added to the exception at a later time:). -- -- 0 -- -15 +-16 @@ -5677,7 +5802,7 @@ 0 - -10 +-11 2 @@ -5686,7 +5811,7 @@0 - -10 +-11 2 @@ -5695,7 +5820,7 @@0 - -19 +-20 2 @@ -5706,7 +5831,7 @@0 - -16 +-17 @@ -5717,7 +5842,7 @@ 0 - -16 +-17 2 @@ -5726,7 +5851,7 @@0 - -30 +-31 2 @@ -5735,7 +5860,7 @@0 - -30 +-31 2 @@ -5744,7 +5869,7 @@0 - -16 +-17 2 @@ -5753,7 +5878,7 @@0 - -16 +-17 2 @@ -5762,7 +5887,7 @@0 - -20 +-21 2 @@ -5771,7 +5896,7 @@0 - -20 +-21 2 @@ -5780,7 +5905,7 @@0 - -16 +-17 2 @@ -5789,7 +5914,7 @@0 - -30 +-31 2 @@ -5798,7 +5923,7 @@0 - -36 +-37 2 @@ -5807,7 +5932,7 @@0 - -10 +-11 2 @@ -5816,7 +5941,7 @@0 - -10 +-11 2 @@ -5825,7 +5950,7 @@0 - -36 +-37 2 @@ -5834,7 +5959,7 @@0 - -10 +-11 2 @@ -5845,7 +5970,7 @@0 - -17 +-18 @@ -5858,7 +5983,7 @@ 0 - -18 +-19 @@ -5869,7 +5994,7 @@ 0 - -33 +-34 2 @@ -5880,7 +6005,7 @@0 - -19 +-20 @@ -5891,7 +6016,7 @@ 0 - -10 +-11 2 @@ -5900,7 +6025,7 @@0 - -10 +-11 2 @@ -5909,7 +6034,7 @@0 - -23 +-24 2 @@ -5920,7 +6045,7 @@0 - -20 +-21 @@ -5931,7 +6056,7 @@ 0 - -30 +-31 2 @@ -5940,7 +6065,7 @@0 - -20 +-21 2 @@ -5949,7 +6074,7 @@0 - -20 +-21 2 @@ -5958,7 +6083,7 @@0 - -16 +-17 2 @@ -5967,7 +6092,7 @@0 - -30 +-31 2 @@ -5976,7 +6101,7 @@0 - -36 +-37 2 @@ -5985,7 +6110,7 @@0 - -16 +-17 2 @@ -5994,7 +6119,7 @@0 - -35 +-36 2 @@ -6003,7 +6128,7 @@0 - -10 +-11 2 @@ -6012,7 +6137,7 @@0 - -30 +-31 2 @@ -6023,7 +6148,7 @@0 - -21 +-22 @@ -6034,7 +6159,7 @@ 0 - -20 +-21 2 @@ -6043,7 +6168,7 @@0 - -16 +-17 2 @@ -6054,7 +6179,7 @@0 - -22 +-23 @@ -6065,7 +6190,7 @@ 0 - -23 +-24 2 @@ -6074,7 +6199,7 @@0 - -22 +-23 2 @@ -6083,7 +6208,7 @@0 - -10 +-11 2 @@ -6092,7 +6217,7 @@0 - -19 +-20 2 @@ -6101,7 +6226,7 @@0 - -22 +-23 2 @@ -6110,7 +6235,7 @@0 - -44 +-45 2 @@ -6121,7 +6246,7 @@0 - -23 +-24 @@ -6132,7 +6257,7 @@ 0 - -23 +-24 2 @@ -6141,7 +6266,7 @@0 - -19 +-20 2 @@ -6150,7 +6275,7 @@0 - -10 +-11 2 @@ -6159,7 +6284,7 @@0 - -26 +-28 2 @@ -6168,7 +6293,7 @@0 - -23 +-24 2 @@ -6177,7 +6302,7 @@0 - -26 +-28 2 @@ -6186,7 +6311,7 @@0 - -23 +-24 2 @@ -6195,7 +6320,7 @@0 - -23 +-24 2 @@ -6204,7 +6329,7 @@0 - -10 +-11 2 @@ -6213,7 +6338,7 @@0 - -19 +-20 2 @@ -6222,7 +6347,7 @@0 - -22 +-23 2 @@ -6231,7 +6356,7 @@0 - -47 +-26 2 @@ -6242,7 +6367,7 @@0 - -24 +-25 @@ -6253,7 +6378,7 @@ 0 - -23 +-24 2 @@ -6262,26 +6387,13 @@0 - -23 +-24 2 :) object. !!!!Throws: Nothing. - - -0 -- --25 -- -1 -2 -(:auto !!:) !!!Synopsis (:include synopsis:) -0 @@ -6303,54 +6415,9 @@- 11 +1 2 -(:auto !!!:) Here is how cloning can be enabled in a throw-expression (15.1): [@#include <(:link -1 -- -0 -- --47 -2 -:)> #include <stdio.h> #include <errno.h> typedef boost::error_info<struct tag_errno,int> errno_info; class file_read_error: public boost::(:link -1 -- -0 -- --10 -2 -:) { }; void file_read( FILE * f, void * buffer, size_t size ) { if( size!=fread(buffer,1,size,f) ) throw boost::(:link -1 -- -0 -- --20 -2 -:)(file_read_error()) << errno_info(errno); }@] Of course, (:link -1 -- -0 -- --20 -2 -:) may be used with any exception type; there is no requirement that it should derive from boost::(:link -1 -- -0 -- --10 -2 -:). +(:auto !!:) !!!Synopsis (:include synopsis:) @@ -6360,276 +6427,249 @@ --28 -- -17 -2 -(:auto !!!:) The following example demonstrates how errno can be stored in exception objects using Boost Exception: [@#include <(:link -1 -- -0 -- --45 -2 -:)> #include <errno.h> #include <iostream> typedef boost::(:link -1 -- -0 -- --23 -2 -:)<struct tag_errno,int> errno_info; //(1) class my_error: public boost::(:link -1 -- -0 -- --10 -2 -:), public std::exception { }; //(2) void f() { throw my_error() << errno_info(errno); //(3) } @] First, we instantiate the (:link -1 -- -0 -- --23 -2 -:) template using a unique identifier -- tag_errno, and the type of the info it identifies -- int. This provides compile-time type safety for the various values stored in exception objects. Second, we define class my_error, which derives from boost::(:link -1 -- -0 -- --10 -2 -:). Finally, (3) illustrates how the typedef from (1) can be used with (:link -1 -- -0 -- --19 -2 -|operator<<:) to store values in exception objects at the point of the throw. The stored errno value can be recovered at a later time like this: [@// ...continued void g() { try { f(); } catch( my_error & x ) { if( boost::shared_ptr<int const> err=boost::(:link -1 -- -0 -- --22 -2 -:)<errno_info>(x) ) std::cerr << "Error code: " << *err; } }@] The (:link -1 -- -0 -- --22 -2 -:) function template is instantiated with the typedef from (1), and is passed an exception object of a polymorphic type. If the exception object contains the requested value, the returned (:link http://www.boost.org/libs/smart_ptr/shared_ptr.htm|shared_ptr:) will point to it; otherwise an empty (:link http://www.boost.org/libs/smart_ptr/shared_ptr.htm|shared_ptr:) is returned. -- -- -0 -- --29 -- -19 -2 -(:auto !!!:) Sometimes the throw site does not have all the information that is needed at the catch site to make sense of what went wrong. Let's say we have an exception type file_read_error, which takes a file name in its constructor. Consider the following function: [@void file_read( FILE * f, void * buffer, size_t size ) { if( size!=fread(buffer,1,size,f) ) throw file_read_error(????); }@] How can the file_read function pass a file name to the exception type constructor? All it has is a FILE handle. Using boost:: -1 -- -0 -- --10 -2 -allows us to free the file_read function from the burden of storing the file name in exceptions it throws: [@#include <(:link -1 -- -0 -- --45 -2 -:)> #include <stdio.h> #include <errno.h> typedef boost::(:link -1 -- -0 -- --23 -2 -:)<struct tag_errno,int> errno_info; class file_read_error: public boost::(:link -1 -- -0 -- --10 -2 -:) { }; void file_read( FILE * f, void * buffer, size_t size ) { if( size!=fread(buffer,1,size,f) ) throw file_read_error() << errno_info(errno); }@] If file_read detects a failure, it throws an exception which contains the information that is available at the time, namely the errno. Other relevant information, such as the file name, can be added in a context higher up the call stack, where it is known naturally: [@#include <(:link -1 -- -0 -- --45 -2 -:)> #include <boost/shared_ptr.hpp> #include <stdio.h> #include <string> typedef boost::(:link -1 -- -0 -- --23 -2 -:)<struct tag_file_name,std::string> file_name_info; boost::shared_ptr<FILE> file_open( char const * file_name, char const * mode ); void file_read( FILE * f, void * buffer, size_t size ); void parse_file( char const * file_name ) { boost::shared_ptr<FILE> f = file_open(file_name,"rb"); assert(f); try { char buf[1024]; file_read( f.get(), buf, sizeof(buf) ); } catch( boost::(:link -1 -- -0 -- --10 -2 -:) & e ) { e << file_name_info(file_name); throw; } }@] The above function is (almost) exception-neutral -- if an exception is emitted by any function call within the try block, parse_file does not need to do any real work, but it intercepts any boost::(:link -1 -- -0 -- --10 -2 -:) object, stores the file name, and re-throws using a throw-expression with no operand (15.1.6). The rationale for catching any boost::(:link -1 -- -0 -- --10 -2 -:) object is that the file name is relevant to any failure that occurs in parse_file, ''even if the failure is unrelated to file I/O''. -- -- -0 -- --30 -- -17 -2 -(:auto !!!:) (:include synopsis:) The (:link -1 -- -0 -- --30 -2 -:) type can be used to refer to a copy of an exception object. It is Default Constructible, Copy Constructible, Assignable and Equality Comparable; (:link -1 -- -0 -- --30 -2 -:)'s operations do not throw. Two instances of (:link -1 -- -0 -- --30 -2 -:) are equivalent and compare equal if and only if they refer to the same exception. The default constructor of (:link -1 -- -0 -- --30 -2 -:) produces the null value of the type. The null value is equivalent only to itself. !!!!Thread safety * It is legal for multiple threads to hold (:link -1 -- -0 -- --30 -2 -:) references to the same exception object. * It is illegal for multiple threads to modify the same (:link -1 -- -0 -- --30 -2 -:) object concurrently. * While calling (:link -1 -- -0 -- --16 -2 -:) makes a copy of the current exception object, it is still possible for the two copies to share internal state. Therefore, in general it is not safe to call (:link -1 -- -0 -- --42 -2 -:) concurrently to throw the same exception object into multiple threads. -- +- 0 -- --31 -1 2 (:auto !!:) !!!Synopsis (:include synopsis:) + ++ +0 ++ +-29 ++ +11 +2 +(:auto !!!:) Here is how cloning can be enabled in a throw-expression (15.1): [@#include <(:link +1 ++ +0 ++ +-26 +2 +:)> #include <stdio.h> #include <errno.h> typedef boost::error_info<struct tag_errno,int> errno_info; class file_read_error: public boost::(:link +1 ++ +0 ++ +-11 +2 +:) { }; void file_read( FILE * f, void * buffer, size_t size ) { if( size!=fread(buffer,1,size,f) ) throw boost::(:link +1 ++ +0 ++ +-21 +2 +:)(file_read_error()) << errno_info(errno); }@] Of course, (:link +1 ++ +0 ++ +-21 +2 +:) may be used with any exception type; there is no requirement that it should derive from boost::(:link +1 ++ +0 ++ +-11 +2 +:). ++ ++ +0 ++ +-30 ++ +19 +2 +(:auto !!!:) Sometimes the throw site does not have all the information that is needed at the catch site to make sense of what went wrong. Let's say we have an exception type file_read_error, which takes a file name in its constructor. Consider the following function: [@void file_read( FILE * f, void * buffer, size_t size ) { if( size!=fread(buffer,1,size,f) ) throw file_read_error(????); }@] How can the file_read function pass a file name to the exception type constructor? All it has is a FILE handle. Using boost:: +1 ++ +0 ++ +-11 +2 +allows us to free the file_read function from the burden of storing the file name in exceptions it throws: [@#include <(:link +1 ++ +0 ++ +-46 +2 +:)> #include <stdio.h> #include <errno.h> typedef boost::(:link +1 ++ +0 ++ +-24 +2 +:)<struct tag_errno,int> errno_info; class file_read_error: public boost::(:link +1 ++ +0 ++ +-11 +2 +:) { }; void file_read( FILE * f, void * buffer, size_t size ) { if( size!=fread(buffer,1,size,f) ) throw file_read_error() << errno_info(errno); }@] If file_read detects a failure, it throws an exception which contains the information that is available at the time, namely the errno. Other relevant information, such as the file name, can be added in a context higher up the call stack, where it is known naturally: [@#include <(:link +1 ++ +0 ++ +-46 +2 +:)> #include <boost/shared_ptr.hpp> #include <stdio.h> #include <string> typedef boost::(:link +1 ++ +0 ++ +-24 +2 +:)<struct tag_file_name,std::string> file_name_info; boost::shared_ptr<FILE> file_open( char const * file_name, char const * mode ); void file_read( FILE * f, void * buffer, size_t size ); void parse_file( char const * file_name ) { boost::shared_ptr<FILE> f = file_open(file_name,"rb"); assert(f); try { char buf[1024]; file_read( f.get(), buf, sizeof(buf) ); } catch( boost::(:link +1 ++ +0 ++ +-11 +2 +:) & e ) { e << file_name_info(file_name); throw; } }@] The above function is (almost) exception-neutral -- if an exception is emitted by any function call within the try block, parse_file does not need to do any real work, but it intercepts any boost::(:link +1 ++ +0 ++ +-11 +2 +:) object, stores the file name, and re-throws using a throw-expression with no operand (15.1.6). The rationale for catching any boost::(:link +1 ++ +0 ++ +-11 +2 +:) object is that the file name is relevant to any failure that occurs in parse_file, ''even if the failure is unrelated to file I/O''. ++ + +0 ++ +-31 ++ +17 +2 +(:auto !!!:) (:include synopsis:) The (:link +1 ++ +0 ++ +-31 +2 +:) type can be used to refer to a copy of an exception object. It is Default Constructible, Copy Constructible, Assignable and Equality Comparable; (:link +1 ++ +0 ++ +-31 +2 +:)'s operations do not throw. Two instances of (:link +1 ++ +0 ++ +-31 +2 +:) are equivalent and compare equal if and only if they refer to the same exception. The default constructor of (:link +1 ++ +0 ++ +-31 +2 +:) produces the null value of the type. The null value is equivalent only to itself. !!!!Thread safety * It is legal for multiple threads to hold (:link +1 ++ +0 ++ +-31 +2 +:) references to the same exception object. * It is illegal for multiple threads to modify the same (:link +1 ++ +0 ++ +-31 +2 +:) object concurrently. * While calling (:link +1 ++ +0 ++ +-17 +2 +:) makes a copy of the current exception object, it is still possible for the two copies to share internal state. Therefore, in general it is not safe to call (:link +1 ++ +0 ++ +-43 +2 +:) concurrently to throw the same exception object into multiple threads. +0 @@ -6638,7 +6678,9 @@- 0 +1 +2 +(:auto !!:) !!!Synopsis (:include synopsis:) @@ -6649,108 +6691,7 @@ - 23 -2 -(:auto !!!:) (:include synopsis:) !!!!Returns: This function returns a string value that is automatically composed from the string representations of all (:link -1 -- -0 -- --23 -2 -:) objects stored in a boost::(:link -1 -- -0 -- --10 -2 -:) through (:link -1 -- -0 -- --19 -2 -mod="/":), along with other diagnostic information relevant to the exception. The string representation of each (:link -1 -- -0 -- --23 -2 -:) object is deduced by a function call that is bound at the time the (:link -1 -- -0 -- --23 -2 -:)<Tag,T> template is instantiated. The following overload resolutions are attempted in order: #Unqualified call to to_string(x), where x is of type (:link -1 -- -0 -- --23 -2 -:)<Tag,T> (the return value is expected to be of type std::string.) #Unqualified call to to_string(x.(:link -1 -- -0 -- --24 -2 -mod="m":)()) (the return value is expected to be of type std::string.) #Unqualified call to s << x.(:link -1 -- -0 -- --24 -2 -mod="m":)(), where s is a std::ostringstream. The first successfully bound function is used at the time (:link -1 -- -0 -- --33 -2 -:) is called; if all 3 overload resolutions are unsuccessful, the system is unable to convert the (:link -1 -- -0 -- --23 -2 -:) object to string, and ''an unspecified stub string value is used without issuing a compile error.'' !!!!Notes: *The format of the returned string is unspecified. *The returned string is ''not'' user-friendly. *If dynamic_cast<std::exception const *>(&x) is not null, the returned string includes the output from std::exception::what. *The returned string may include additional platform-specific diagnostic information. (:include -1 -- -0 -- --18 -2 -:) +0 @@ -6761,9 +6702,27 @@ +- +11 +23 2 -(:auto !!:) Boost Exception supports transporting of exception objects between threads through cloning. This system is similar to (:link http://www.open-std.org/jtc1/sc22/wg21/docs/papers/2007/n2179.html|N2179:), but because Boost Exception can not rely on language support, the use of (:link +(:auto !!!:) (:include synopsis:) !!!!Returns: This function returns a string value that is automatically composed from the string representations of all (:link +1 ++ +0 ++ +-24 +2 +:) objects stored in a boost::(:link +1 ++ +0 ++ +-11 +2 +:) through (:link 1 0 @@ -6772,12 +6731,106 @@2 +mod="/":), along with other diagnostic information relevant to the exception. The string representation of each (:link +1 ++ +0 ++ +-24 +2 +:) object is deduced by a function call that is bound at the time the (:link +1 ++ +0 ++ +-24 +2 +:)<Tag,T> template is instantiated. The following overload resolutions are attempted in order: #Unqualified call to to_string(x), where x is of type (:link +1 ++ +0 ++ +-24 +2 +:)<Tag,T> (the return value is expected to be of type std::string.) #Unqualified call to to_string(x.(:link +1 ++ +0 ++ +-25 +2 +mod="m":)()) (the return value is expected to be of type std::string.) #Unqualified call to s << x.(:link +1 ++ +0 ++ +-25 +2 +mod="m":)(), where s is a std::ostringstream. The first successfully bound function is used at the time (:link +1 ++ +0 ++ +-34 +2 +:) is called; if all 3 overload resolutions are unsuccessful, the system is unable to convert the (:link +1 ++ +0 ++ +-24 +2 +:) object to string, and ''an unspecified stub string value is used without issuing a compile error.'' !!!!Notes: *The format of the returned string is unspecified. *The returned string is ''not'' user-friendly. *If dynamic_cast<std::exception const *>(&x) is not null, the returned string includes the output from std::exception::what. *The returned string may include additional platform-specific diagnostic information. (:include +1 ++ +0 ++ +-19 +2 +:) ++ -+ +0 ++ +-35 ++ 11 +2 +(:auto !!:) Boost Exception supports transporting of exception objects between threads through cloning. This system is similar to (:link http://www.open-std.org/jtc1/sc22/wg21/docs/papers/2007/n2179.html|N2179:), but because Boost Exception can not rely on language support, the use of (:link +1 ++ +0 ++ +-21 +2 :) at the time of the throw is required in order to use cloning. !!!!Note: All exceptions emitted by the familiar function boost::(:link 1 0 - -35 +-36 2 @@ -6786,7 +6839,7 @@0 - -10 +-11 2 @@ -6795,7 +6848,7 @@0 - -27 +-29 2 @@ -6815,7 +6868,7 @@0 - -35 +-36 @@ -6826,7 +6879,7 @@ 0 - -35 +-36 2 @@ -6835,7 +6888,7 @@0 - -20 +-21 2 @@ -6844,7 +6897,7 @@0 - -41 +-42 2 @@ -6853,7 +6906,7 @@0 - -35 +-36 2 @@ -6862,7 +6915,7 @@0 - -35 +-36 2 @@ -6871,44 +6924,13 @@0 - -35 +-36 2 :) returns, the behavior is undefined. - - -0 -- --36 -- -5 -2 -(:auto !!!:) (:include synopsis:) This type is used by the (:link -1 -- -0 -- --30 -2 -:) support in Boost Exception. Please see (:link -1 -- -0 -- --16 -2 -:). -0 @@ -6919,25 +6941,25 @@5 2 -(:auto !!!:) (:include synopsis:) !!!!Requirements: E must be boost::(:link +(:auto !!!:) (:include synopsis:) This type is used by the (:link 1 0 - -10 +-31 2 -:), or a type that derives (indirectly) from boost::(:link +:) support in Boost Exception. Please see (:link 1 0 - -10 +-17 2 -:). !!!!Effects: Equivalent to x << v.(:link http://www.boost.org/libs/tuple/doc/tuple_users_guide.html#accessing_elements|get:)<0>() << ... << v.(:link http://www.boost.org/libs/tuple/doc/tuple_users_guide.html#accessing_elements|get:)<N>(). !!!!Returns: x. (:include throws:) +:). @@ -6948,18 +6970,27 @@ - 3 +5 2 -(:auto !!!:) (:include synopsis:) !!!!Effects: Stores a copy of v in the +(:auto !!!:) (:include synopsis:) !!!!Requirements: E must be boost::(:link 1 0 - -23 +-11 2 -object. (:include throws:) +:), or a type that derives (indirectly) from boost::(:link +1 ++ +0 ++ +-11 +2 +:). !!!!Effects: Equivalent to x << v.(:link http://www.boost.org/libs/tuple/doc/tuple_users_guide.html#accessing_elements|get:)<0>() << ... << v.(:link http://www.boost.org/libs/tuple/doc/tuple_users_guide.html#accessing_elements|get:)<N>(). !!!!Returns: x. (:include throws:) @@ -6969,10 +7000,107 @@ +-39 ++ +3 +2 +(:auto !!!:) (:include synopsis:) !!!!Effects: Stores a copy of v in the +1 ++ +0 ++ +-24 +2 +object. (:include throws:) ++ ++ 0 ++ +-40 +0 + ++ +0 ++ +-41 ++ +5 +2 +(:auto !!!:) Exception types should use virtual inheritance when deriving from other exception types. This insight is due to Andrew Koenig. Using virtual inheritance prevents ambiguity problems in the exception handler: [@#include <iostream> struct my_exc1 : std::exception { char const* what() const throw(); }; struct my_exc2 : std::exception { char const* what() const throw(); }; struct your_exc3 : my_exc1, my_exc2 {}; int main() { try { throw your_exc3(); } catch(std::exception const& e) {} catch(...) { std::cout << "whoops!" << std::endl; } }@] The program above outputs "whoops!" because the conversion to std::exception is ambiguous. The overhead introduced by virtual inheritance is always negligible in the context of exception handling. Note that virtual bases are initialized directly by the constructor of the most-derived-type (the type passed to the throw statement, in case of exceptions.) However, typically this detail is of no concern when boost::(:link +1 ++ +0 ++ +-11 +2 +:) is used, because it enables exception types to be trivial structs with no members (there's nothing to initialize.) See (:link +1 ++ +0 ++ +-13 +2 +mod="w":). ++ ++ +0 ++ +-42 ++ +5 +2 +(:auto !!!:) (:include synopsis:) !!!!Requirements: T must be a class with an accessible no-throw copy constructor as per (15.5.1). !!!!Returns: * If T derives from boost::(:link +1 ++ +0 ++ +-11 +2 +:), the returned object is of type T and is a copy of x. * Otherwise, the returned object is of an unspecified type that derives publicly from both T and boost::(:link +1 ++ +0 ++ +-11 +2 +:). The T sub-object is initialized from x by the T copy constructor. !!!!Throws: Nothing. ++ + +0 ++ +-43 ++ +1 +2 +(:auto !!!:) (:include synopsis:) !!!!Precondition: ep shall not be null. !!!!Throws: The exception to which ep refers. ++ + 0 @@ -6980,6 +7108,46 @@-44 + +7 +2 +(:auto !!!:) (:include synopsis:) This macro takes an exception object, records BOOST_CURRENT_FUNCTION, __FILE__ and __LINE__ in it, and forwards it to +1 ++ +0 ++ +-36 +2 +. To recover this information at the catch site, use +1 ++ +0 ++ +-23 +2 +; the information is also included in the message returned by +1 ++ +0 ++ +-34 +2 +. ++ -+ 0 ++ +-45 +15 2 @@ -6988,7 +7156,7 @@0 - -22 +-23 2 @@ -6997,7 +7165,7 @@0 - -22 +-23 2 @@ -7006,7 +7174,7 @@0 - -10 +-11 2 @@ -7015,7 +7183,7 @@0 - -20 +-21 2 @@ -7024,7 +7192,7 @@0 - -41 +-42 2 @@ -7033,7 +7201,7 @@0 - -35 +-36 2 @@ -7049,103 +7217,6 @@:). - -- -0 -- --43 -- -7 -2 -(:auto !!!:) (:include synopsis:) This macro takes an exception object, records BOOST_CURRENT_FUNCTION, __FILE__ and __LINE__ in it, and forwards it to -1 -- -0 -- --35 -2 -. To recover this information at the catch site, use -1 -- -0 -- --22 -2 -; the information is also included in the message returned by -1 -- -0 -- --33 -2 -. -- -- -0 -- --41 -- -5 -2 -(:auto !!!:) (:include synopsis:) !!!!Requirements: T must be a class with an accessible no-throw copy constructor as per (15.5.1). !!!!Returns: * If T derives from boost::(:link -1 -- -0 -- --10 -2 -:), the returned object is of type T and is a copy of x. * Otherwise, the returned object is of an unspecified type that derives publicly from both T and boost::(:link -1 -- -0 -- --10 -2 -:). The T sub-object is initialized from x by the T copy constructor. !!!!Throws: Nothing. -- -- -0 -- --42 -- -1 -2 -(:auto !!!:) (:include synopsis:) !!!!Precondition: ep shall not be null. !!!!Throws: The exception to which ep refers. -- - -0 -- --45 -- -1 -2 -(:auto !!:) !!!Synopsis (:include synopsis:) -- 0 @@ -7222,7 +7293,7 @@0 - -23 +-24 2 @@ -7231,7 +7302,7 @@0 - -23 +-24 2 @@ -7240,7 +7311,7 @@0 - -23 +-24 2 @@ -7249,7 +7320,7 @@0 - -10 +-11 2 @@ -7258,7 +7329,7 @@0 - -22 +-23 2 @@ -7280,7 +7351,7 @@0 - -16 +-17 2 @@ -7289,7 +7360,7 @@0 - -30 +-31 2 @@ -7307,7 +7378,7 @@0 - -10 +-11 2 @@ -7316,7 +7387,7 @@0 - -30 +-31 2 @@ -7325,7 +7396,7 @@0 - -30 +-31 2 @@ -7334,7 +7405,7 @@0 - -16 +-17 2 @@ -7343,7 +7414,7 @@0 - -16 +-17 2 @@ -7352,7 +7423,7 @@0 - -42 +-43 2 @@ -7361,7 +7432,7 @@0 - -30 +-31 2 @@ -7370,7 +7441,7 @@0 - -42 +-43 2 @@ -7379,7 +7450,7 @@0 - -16 +-17 2 @@ -7388,7 +7459,7 @@0 - -30 +-31 2 @@ -7397,7 +7468,7 @@0 - -20 +-21 2 @@ -7406,7 +7477,7 @@0 - -30 +-31 2 @@ -7415,7 +7486,7 @@0 - -36 +-37 2 @@ -7424,7 +7495,7 @@0 - -16 +-17 2 @@ -7433,84 +7504,13 @@0 - -42 +-43 2 :) in the above examples is well-formed. - -- -0 -- --12 -- -7 -2 -(:auto !!!:) Deriving from boost::(:link -1 -- -0 -- --10 -2 -:) effectively decouples the semantics of a failure from the information that is relevant to each individual instance of reporting a failure with a given semantic. In other words: with boost::(:link -1 -- -0 -- --10 -2 -:), what data a given exception object transports depends primarily on the context in which failures are reported (not on its type). Since exception types need no members, it becomes very natural to throw exceptions that derive from more than one type to indicate multiple appropriate semantics: [@struct exception_base: virtual std::exception, virtual boost::(:link -1 -- -0 -- --10 -2 -:) { }; struct io_error: virtual exception_base { }; struct file_error: virtual io_error { }; struct read_error: virtual io_error { }; struct file_read_error: virtual file_error, virtual read_error { };@] Using this approach, exception types become a simple tagging system for categorizing errors and selecting failures in exception handlers. -- @@ -7606,7 +7606,7 @@- -0 -- --40 -- -5 -2 -(:auto !!!:) Exception types should use virtual inheritance when deriving from other exception types. This insight is due to Andrew Koenig. Using virtual inheritance prevents ambiguity problems in the exception handler: [@#include <iostream> struct my_exc1 : std::exception { char const* what() const throw(); }; struct my_exc2 : std::exception { char const* what() const throw(); }; struct your_exc3 : my_exc1, my_exc2 {}; int main() { try { throw your_exc3(); } catch(std::exception const& e) {} catch(...) { std::cout << "whoops!" << std::endl; } }@] The program above outputs "whoops!" because the conversion to std::exception is ambiguous. The overhead introduced by virtual inheritance is always negligible in the context of exception handling. Note that virtual bases are initialized directly by the constructor of the most-derived-type (the type passed to the throw statement, in case of exceptions.) However, typically this detail is of no concern when boost::(:link -1 -- -0 -- --10 -2 -:) is used, because it enables exception types to be trivial structs with no members (there's nothing to initialize.) See (:link -1 -- -0 -- --12 -2 -mod="w":). -0 - -14 +-12 @@ -7624,6 +7624,17 @@ +0 + + +0 ++ +-14 ++ +0 +0 @@ -7676,9 +7687,7 @@- 1 -2 -!!!!Throws: std::bad_alloc, or any exception emitted by the T copy constructor. +0 @@ -7689,7 +7698,9 @@ - 0 +1 +2 +!!!!Throws: std::bad_alloc, or any exception emitted by the T copy constructor. @@ -7876,9 +7887,7 @@ - 1 -2 -!!!!Throws: std::bad_alloc, or any exception emitted by T1..TN copy constructor. +0 @@ -7891,7 +7900,7 @@ 1 2 -!!!!Throws: Any exception emitted by v's copy constructor. +!!!!Throws: std::bad_alloc, or any exception emitted by T1..TN copy constructor. @@ -7902,25 +7911,16 @@ - 0 +1 +2 +!!!!Throws: Any exception emitted by v's copy constructor. - - 0 - --44 -- -0 -- +- 0 -- -43 +-40 @@ -7949,6 +7949,28 @@ 0 + ++ +0 ++ +-43 ++ +0 ++ + +0 ++ +-44 ++ +0 +- 0 @@ -8026,28 +8048,6 @@0 - -- -0 -- --12 -- -0 -- @@ -8112,7 +8112,7 @@- -0 -- --40 -- -0 -0 - -47 +-26 2 @@ -8127,18 +8127,7 @@- 3 -2 -[@#include < -1 -- -0 -- --31 -2 -> namespace boost { (:include api pre_indent="4":) }@] +0 @@ -8151,16 +8140,16 @@ 3 2 -`#include <(:link +[@#include < 1 0 - -31 +-32 2 -:)> [@namespace boost { (:include def pre_indent="4":) }@] +> namespace boost { (:include api pre_indent="4":) }@] @@ -8171,14 +8160,25 @@ - 0 +3 +2 +`#include <(:link +1 ++ +0 ++ +-32 +2 +:)> [@namespace boost { (:include def pre_indent="4":) }@] + 0 - -14 +-12 @@ -8196,6 +8196,17 @@ 0 + + +0 ++ +-14 ++ +0 +0 @@ -8215,18 +8226,7 @@- 3 -2 -`#include <(:link -1 -- -0 -- --48 -2 -:)> [@namespace boost { (:include decl pre_indent="4":) }@] +0 @@ -8239,16 +8239,16 @@ 3 2 -[@#include < +`#include <(:link 1 0 - -31 +-48 2 -> namespace boost { (:include api pre_indent="4":) }@] +:)> [@namespace boost { (:include decl pre_indent="4":) }@] @@ -8259,7 +8259,18 @@ - 0 +3 +2 +[@#include < +1 ++ +0 ++ +-32 +2 +> namespace boost { (:include api pre_indent="4":) }@] @@ -8270,18 +8281,7 @@ - 3 -2 -`#include <(:link -1 -- -0 -- --47 -2 -:)>\\ [@namespace boost { (:include decl pre_indent="4":) }@] +0 @@ -8291,6 +8291,28 @@ +-20 ++ +3 +2 +`#include <(:link +1 ++ +0 ++ +-26 +2 +:)>\\ [@namespace boost { (:include decl pre_indent="4":) }@] ++ -+ 0 ++ +-21 +3 2 @@ -8299,7 +8321,7 @@0 - -9 +-10 2 @@ -8310,7 +8332,7 @@0 - -21 +-22 @@ -8332,7 +8354,7 @@ 0 - -22 +-23 @@ -8343,35 +8365,13 @@ 0 - -25 +-27 2 > [@namespace boost { (:include decl pre_indent="4":) }@] - - -0 -- --23 -- -3 -2 -`#include <(:link -1 -- -0 -- --47 -2 -:)> [@namespace boost { (:include def pre_indent="4":) }@] -+ 0 @@ -8387,7 +8387,29 @@+ 0 - +-47 +-26 +2 +:)> [@namespace boost { (:include def pre_indent="4":) }@] + ++ ++ +0 ++ +-25 ++ 3 +2 +`#include <(:link +1 ++ 0 ++ -26 2 @@ -8398,7 +8420,29 @@+ 0 - +-25 +-26 ++ +3 +2 +[@#include <(:link +1 ++ +0 ++ +-32 +2 +:)> #include <boost/current_function.hpp> #include <boost/shared_ptr.hpp> namespace boost { (:include api pre_indent="4":) }@] ++ -+ 0 ++ -27 @@ -8411,7 +8455,7 @@ 0 - -26 +-28 @@ -8420,28 +8464,6 @@ [@namespace boost { (:include api pre_indent="4":) }@] - -- -0 -- --27 -- -0 -- - -0 -- --28 -- -0 -+ + 0 @@ -8460,6 +8482,17 @@-30 + +0 ++ -+ 0 ++ +-31 +3 2 @@ -8479,7 +8512,7 @@0 - -31 +-32 @@ -8488,17 +8521,6 @@ [@namespace boost { (:include api pre_indent="4":) }@] - - -0 -- --32 -- -0 -0 @@ -8507,18 +8529,7 @@- 3 -2 -`#include <(:link -1 -- -0 -- --46 -2 -:)>\\ [@namespace boost { (:include decl pre_indent="4":) }@] +0 @@ -8529,7 +8540,18 @@ - 0 +3 +2 +`#include <(:link +1 ++ +0 ++ +-47 +2 +:)>\\ [@namespace boost { (:include decl pre_indent="4":) }@] @@ -8539,6 +8561,17 @@ +-35 ++ +0 ++ ++ 0 ++ +-36 +3 2 @@ -8558,7 +8591,7 @@0 - -36 +-37 @@ -8580,7 +8613,7 @@ 0 - -37 +-38 @@ -8600,7 +8633,7 @@ 0 - -37 +-38 2 @@ -8611,7 +8644,7 @@0 - -38 +-39 @@ -8622,7 +8655,7 @@ 0 - -47 +-26 2 @@ -8633,7 +8666,7 @@0 - -39 +-40 @@ -8644,13 +8677,35 @@ 0 - -44 +-41 0 + + +0 ++ +-42 ++ +3 +2 +`#include < +1 ++ +0 ++ +-18 +2 +> [@namespace boost { (:include decl pre_indent="4":) }@] ++ + 0 @@ -8658,6 +8713,28 @@-43 + +3 +2 +`#include <(:link +1 ++ +0 ++ +-48 +2 +:)> [@namespace boost { (:include decl pre_indent="4":) }@] ++ -+ 0 ++ +-44 +3 2 @@ -8673,50 +8750,6 @@> (:include decl:) - -- -0 -- --41 -- -3 -2 -`#include < -1 -- -0 -- --17 -2 -> [@namespace boost { (:include decl pre_indent="4":) }@] -- - -0 -- --42 -- -3 -2 -`#include <(:link -1 -- -0 -- --48 -2 -:)> [@namespace boost { (:include decl pre_indent="4":) }@] -+ + 0 @@ -8724,6 +8757,17 @@-45 + +0 ++ -+ 0 ++ +-46 +1 2 @@ -8734,7 +8778,7 @@0 - -46 +-47 @@ -8745,35 +8789,13 @@ 0 - -10 +-11 2 decl pre_indent="4":) (:include api pre_indent="4":) }@] - - -0 -- --47 -- -3 -2 -[@#include <(:link -1 -- -0 -- --31 -2 -:)> #include <boost/current_function.hpp> #include <boost/shared_ptr.hpp> namespace boost { (:include api pre_indent="4":) }@] -- 0 @@ -8789,7 +8811,7 @@0 - -31 +-32 2 @@ -8831,28 +8853,6 @@0 - -- -0 -- --12 -- -0 -- @@ -8893,11 +8893,14 @@- -0 -- --40 -- -0 --11 - -14 +-12 + -13 + -14 +@@ -8974,10 +8977,7 @@ -15 -39 - --44 -- -43 +-40 + -41 @@ -8985,6 +8985,12 @@+ -42 + +-43 ++ -44 +@@ -9006,136 +9012,11 @@ -45 - -51 - --12 -- -40 -47 -- -- -- -- -0 -- -- -1 -- --39 -- -- -- -- -0 -- -- -1 -- --34 -- -- -- -- -0 -- -- -1 -- --14 -- -- -- -- -0 -- -- -1 -- --32 -- -- -- -- -0 -- -- -1 -- --17 -- -- -- -- -0 -- -- -1 -- --9 -- - -- -- -0 -- -- -1 -- --11 -@@ -9153,6 +9034,91 @@ -40 + ++ ++ ++ +0 ++ ++ +1 ++ +-35 ++ ++ ++ ++ +0 ++ ++ +1 ++ +-15 ++ ++ ++ ++ +0 ++ ++ +1 ++ +-33 ++ ++ ++ ++ +0 ++ ++ +1 ++ +-18 ++ + ++ ++ +0 ++ ++ +1 ++ +-10 ++ @@ -9170,6 +9136,40 @@ -12 + ++ ++ ++ +0 ++ ++ +1 ++ +-41 ++ + ++ ++ +0 ++ ++ +1 ++ +-13 +@@ -9195,7 +9195,7 @@ - -38 +-39 @@ -9223,7 +9223,7 @@ - -19 +-20 @@ -9295,7 +9295,7 @@ - -25 +-27 @@ -9319,7 +9319,7 @@ - -13 +-14 @@ -9347,7 +9347,7 @@ - -22 +-23 @@ -9371,7 +9371,7 @@ - -43 +-44 @@ -9419,7 +9419,7 @@ - -45 +-46 @@ -9447,7 +9447,7 @@ - -35 +-36 @@ -9479,7 +9479,7 @@ - -44 +-45 @@ -9503,7 +9503,7 @@ - -18 +-19 @@ -9531,7 +9531,7 @@ - -23 +-24 @@ -9595,7 +9595,7 @@ - -24 +-25 @@ -9619,7 +9619,7 @@ - -31 +-32 @@ -9675,7 +9675,7 @@ - -20 +-21 @@ -9703,7 +9703,7 @@ - -41 +-42 @@ -9731,7 +9731,7 @@ - -10 +-11 @@ -9763,7 +9763,7 @@ - -15 +-16 @@ -9815,7 +9815,7 @@ - -33 +-34 @@ -9863,7 +9863,7 @@ - -27 +-29 @@ -9887,7 +9887,7 @@ - -46 +-47 @@ -9911,7 +9911,7 @@ - -29 +-30 @@ -9939,7 +9939,7 @@ - -16 +-17 @@ -9967,7 +9967,7 @@ - -30 +-31 @@ -9995,7 +9995,7 @@ - -36 +-37 @@ -10023,7 +10023,7 @@ - -42 +-43 @@ -10051,7 +10051,7 @@ - -21 +-22 @@ -10079,7 +10079,7 @@ - -26 +-28 @@ -10107,7 +10107,7 @@ - -37 +-38 @@ -10131,7 +10131,7 @@ - -28 +-9 @@ -10179,7 +10179,7 @@ @@ -10246,7 +10246,7 @@- -47 +-26 -9 -exception_ptr +noalso noindex tutorial + @@ -10255,6 +10255,15 @@ +-10 exception_ptr ++ + 0 ++ +-11 +type @@ -10270,7 +10279,7 @@ -0 - -13 +-15 tutorial @@ -10279,7 +10288,7 @@0 - -15 +-16 function @@ -10288,7 +10297,7 @@0 - -16 +-17 exception_ptr free function @@ -10297,20 +10306,11 @@0 - -17 +-18 error_info - - -0 -- --19 -error_info free function -- 0 @@ -10318,7 +10318,7 @@-20 exception_ptr free function +error_info free function @@ -10336,7 +10336,7 @@ --22 error_info free function +exception_ptr free function @@ -10345,7 +10345,7 @@ --23 type +error_info free function @@ -10354,7 +10354,7 @@ --24 function member +type @@ -10363,7 +10363,7 @@ --25 error_info +function member @@ -10381,7 +10381,7 @@ --27 noindex tutorial +error_info @@ -10390,7 +10390,7 @@ --28 noalso noindex tutorial +@@ -10399,7 +10399,7 @@ --29 noalso noindex tutorial +noindex tutorial @@ -10408,7 +10408,7 @@ --30 type +noalso noindex tutorial @@ -10417,7 +10417,7 @@ --31 + type @@ -10435,7 +10435,7 @@ --33 diagnostic_information free function +@@ -10444,7 +10444,7 @@ --34 tutorial +diagnostic_information free function @@ -10453,7 +10453,7 @@ --35 free function +tutorial @@ -10462,7 +10462,7 @@ --36 exception_ptr type +free function @@ -10471,7 +10471,7 @@ --37 error_info free function +exception_ptr type @@ -10480,7 +10480,7 @@ --38 function member +error_info free function @@ -10489,16 +10489,16 @@ --39 noindex +function member - 0 - -43 +-40 + noindex @@ -10507,7 +10507,7 @@ --41 error_info free function +tutorial + @@ -10516,13 +10516,22 @@ +-42 error_info free function ++ + 0 ++ +-43 +exception_ptr free function - 0 - -45 +-44 @@ -10581,15 +10590,6 @@ noindex tutorial - - -0 -- --40 -tutorial -