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