From a97517585c0b1f4602ce56d3b7f250f2b9cea0aa Mon Sep 17 00:00:00 2001
From: Beman Dawes
Postcondition: code() == ec
&& std::strcmp( this->runtime_error::what(), "" ) == 0
system_error( error_code ec, const char * what_arg );+
+Effects: Constructs an object of class
+system_error
.Postcondition:
+code() == ec
+ && std::strcmp( this->runtime_error::what(), what_arg ) == 0
system_error( error_code ec, const std::string & what_arg );
+Effects: Constructs an object of class
system_error
.Postcondition:
code() == ec
&& std::strcmp( this->runtime_error::what(), what_arg.c_str() ) == 0
system_error( error_code::value_type ev, const error_category & ecat, + const char * what_arg );+
+Effects: Constructs an object of class
+system_error
.Postcondition:
+code() == error_code( ev, ecat )
+ && std::strcmp( this->runtime_error::what(), what_arg ) == 0
system_error( error_code::value_type ev, const error_category & ecat, const std::string & what_arg );
@@ -743,7 +759,7 @@ Distributed under the Boost Software License, Version 1.0. See www.boost.org/LICENSE_1_0.txtRevised -June 24, 2008 +June 25, 2008