diff --git a/doc/tutorial_transporting_data.html b/doc/tutorial_transporting_data.html
index 0ab9f62..5ed6fa6 100644
--- a/doc/tutorial_transporting_data.html
+++ b/doc/tutorial_transporting_data.html
@@ -29,24 +29,22 @@
Adding of Arbitrary Data at the Point of the Throw
The following example demonstrates how errno can be stored in exception objects using Boost Exception:
-
#include <boost/exception.hpp>
-#include <errno.h>
+#include <boost/exception/all.hpp>
#include <iostream>
-typedef boost::error_info<struct tag_errno,int> errno_info; //(1)
+typedef boost::error_info<struct tag_my_info,int> my_info; //(1)
-class my_error: public boost::exception, public std::exception { }; //(2)
+struct my_error: virtual boost::exception, virtual std::exception { }; //(2)
void
f()
{
- throw my_error() << errno_info(errno); //(3)
- }
-
-First, we instantiate the error_info 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.
+ throw my_error() << my_info(42); //(3)
+ }
+
First, we instantiate the error_info template using a unique identifier -- tag_my_info, 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::exception.
Finally, (3) illustrates how the typedef from (1) can be used with 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:
+
The stored my_info value can be recovered at a later time like this:
// ...continued
void
@@ -59,8 +57,8 @@ g()
catch(
my_error & x )
{
- if( int const * err=boost::get_error_info<errno_info>(x) )
- std::cerr << "Error code: " << *err;
+ if( int const * mi=boost::get_error_info<my_info>(x) )
+ std::cerr << "My info: " << *mi;
}
}
The get_error_info 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, err will point to it; otherwise a null pointer is returned.
@@ -75,28 +73,25 @@ file_read( FILE * f, void * buffer, size_t size )
}
How can the file_read function pass a file name to the exception type constructor? All it has is a FILE handle.
Using boost::exception allows us to free the file_read function from the burden of storing the file name in exceptions it throws:
-
#include <boost/exception.hpp>
+#include <boost/exception/all.hpp>
+#include <boost/shared_ptr.hpp>
#include <stdio.h>
#include <errno.h>
-typedef boost::error_info<struct tag_errno,int> errno_info;
-
-class file_read_error: public boost::exception { };
+struct file_read_error: virtual boost::exception { };
void
file_read( FILE * f, void * buffer, size_t size )
{
if( size!=fread(buffer,1,size,f) )
- throw file_read_error() << errno_info(errno);
+ throw file_read_error() << boost::errinfo_errno(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 <boost/exception.hpp>
+#include <boost/exception/all.hpp>
#include <boost/shared_ptr.hpp>
#include <stdio.h>
#include <string>
-typedef boost::error_info<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 );
@@ -113,7 +108,7 @@ parse_file( char const * file_name )
catch(
boost::exception & e )
{
- e << file_name_info(file_name);
+ e << boost::errinfo_file_name(file_name);
throw;
}
}
@@ -122,17 +117,17 @@ parse_file( char const * file_name )
diff --git a/doc/types.html b/doc/types.html
index 9505d28..630fa32 100644
--- a/doc/types.html
+++ b/doc/types.html
@@ -22,6 +22,13 @@
+
+
+Copyright (c) 2006-2009 by Emil Dotchevski and Reverge Studios, Inc.