$extrastylesheet
Olena  User documentation 2.1
An Image Processing Platform
 All Classes Namespaces Functions Variables Typedefs Enumerations Enumerator Friends Groups Pages
bool.hh
1 // Copyright (C) 2007, 2008, 2009, 2012 EPITA Research and Development
2 // Laboratory (LRDE)
3 //
4 // This file is part of Olena.
5 //
6 // Olena is free software: you can redistribute it and/or modify it under
7 // the terms of the GNU General Public License as published by the Free
8 // Software Foundation, version 2 of the License.
9 //
10 // Olena is distributed in the hope that it will be useful,
11 // but WITHOUT ANY WARRANTY; without even the implied warranty of
12 // MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNU
13 // General Public License for more details.
14 //
15 // You should have received a copy of the GNU General Public License
16 // along with Olena. If not, see <http://www.gnu.org/licenses/>.
17 //
18 // As a special exception, you may use this file as part of a free
19 // software project without restriction. Specifically, if other files
20 // instantiate templates or use macros or inline functions from this
21 // file, or you compile this file and link it with other files to produce
22 // an executable, this file does not by itself cause the resulting
23 // executable to be covered by the GNU General Public License. This
24 // exception does not however invalidate any other reasons why the
25 // executable file might be covered by the GNU General Public License.
26 
27 #ifndef MLN_METAL_BOOL_HH
28 # define MLN_METAL_BOOL_HH
29 
33 
34 # include <string>
35 
36 
37 # define mlc_bool(B) mln::metal::bool_<( B )>
38 
39 // The macro above is very convenient for static checks on Boolean
40 // expressions, e.g., "mlc_bool(m == n)::check();"
41 
42 
43 
44 namespace mln
45 {
46 
47  namespace metal
48  {
49 
50  // Fwd decl.
51  template <bool b> struct bool_;
52 
53 
58  template <>
59  struct bool_< true >
60  {
61  typedef bool_<true> check_t;
62  static const bool value = true;
63  typedef bool_<true> eval;
64  static void check();
65  std::string name() const { return "true"; }
66  };
67 
68  typedef bool_<true> true_;
69 
70 
75  template <>
76  struct bool_< false >
77  {
78  typedef bool_<false> check_not_t;
79  static const bool value = false;
80  typedef bool_<false> eval;
81  static void check_not();
82  std::string name() const { return "false"; }
83  };
84 
86 
87 
88 # ifndef MLN_INCLUDE_ONLY
89 
90  inline
91  void true_::check()
92  {
93  }
94 
95  inline
96  void false_::check_not()
97  {
98  }
99 
100 # endif // ! MLN_INCLUDE_ONLY
101 
102  } // end of namespace mln::metal
103 
104 } // end of namespace mln
105 
106 
107 # include <mln/metal/bexpr.hh>
108 
109 
110 #endif // ! MLN_METAL_BOOL_HH