contrib/utility/Documentation/ExH/Logic/Exception.hpp.html


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

<html>
<head>
<!-- Generated by the Spirit (http://spirit.sf.net) C++ to HTML Converter -->
<title>
Exception.hpp</title>
<link rel="stylesheet" href="../../../Documentation/Style/CXX.css" type="text/css"></head>
<body>
<pre>
<span class=comment>// file      : Utility/ExH/Logic/Exception.hpp
// author    : Boris Kolpackov &lt;boris@kolpackov.net&gt;
// copyright : Copyright (c) 2002-2003 Boris Kolpackov
// license   : http://kolpackov.net/license.html

</span><span class=keyword>namespace </span><span class=identifier>Utility
</span><span class=special>{
  </span><span class=keyword>namespace </span><span class=identifier>ExH
  </span><span class=special>{
    </span><span class=keyword>namespace </span><span class=identifier>Logic
    </span><span class=special>{

      </span><span class=comment>// Logic::Exception inherits from System::Exception for the
      // following reason. Semantically for some part of the
      // system particular instance of Logic::Exception may seem as
      // opaque System::Exception and the only way to handle it would
      // be to propagate it further. In other words Logic::Exception
      // can be seemlesly &quot;converted&quot; to System::Exception if there is
      // no part of the system interested in handling it.
      //

      </span><span class=keyword>class </span><span class=identifier>Exception </span><span class=special>: </span><span class=keyword>public </span><span class=keyword>virtual </span><span class=identifier>System</span><span class=special>::</span><span class=identifier>Exception
      </span><span class=special>{
      </span><span class=keyword>public</span><span class=special>:
        </span><span class=keyword>virtual
        </span><span class=special>~</span><span class=identifier>Exception </span><span class=special>() </span><span class=keyword>throw </span><span class=special>();
      </span><span class=special>};
    </span><span class=special>}
  </span><span class=special>}
</span><span class=special>}

</span></pre>
</body>
</html>
<!-- $Id$ -->