blob: 5ae1c86803e2b943b0d691c0c0808c3ca57839c6 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
|
// file : Test/ExH/System/DescriptiveException/descriptive_exception.cpp
// author : Boris Kolpackov <boris@kolpackov.net>
// copyright : Copyright (c) 2002-2003 Boris Kolpackov
// license : http://kolpackov.net/license.html
/* FUZZ: disable check_for_improper_main_declaration */
#include "Utility/ExH/System/DescriptiveException.hpp"
#include <string>
using std::string;
using namespace Utility::ExH::System;
struct E {};
void postcondition (bool p)
{
if (!p) throw E ();
}
struct StringHolder
{
StringHolder (char const* s)
: str_ (s)
{
}
operator std::string () const
{
return str_;
}
string str_;
};
int
main ()
{
try
{
// DescriptiveException (char const*)
//
{
DescriptiveException a ("hello");
postcondition (a.what () == string ("hello"));
}
// DescriptiveException (std::string const&)
//
{
DescriptiveException a (string ("hello"));
postcondition (a.what () == string ("hello"));
}
// DescriptiveException (T const&)
//
{
StringHolder a ("hello");
DescriptiveException b (a);
postcondition (b.what () == string ("hello"));
}
// DescriptiveException (DescriptiveException const&)
//
{
DescriptiveException a ("hello");
DescriptiveException b (a);
postcondition (b.what () == string ("hello"));
}
// ~DescriptiveException
//
// operator= (DescriptiveException const&)
//
{
DescriptiveException a ("hello");
DescriptiveException b ("foo");
b = a;
postcondition (b.what () == string ("hello"));
}
// DescriptiveException ()
//
// init (char const*)
//
// what ()
//
{
DescriptiveException a ("hello");
postcondition (a.what () == string ("hello"));
}
}
catch (...)
{
return -1;
}
}
//$Id$
|