$extrastylesheet
Olena  User documentation 2.1
An Image Processing Platform
 All Classes Namespaces Functions Variables Typedefs Enumerations Enumerator Friends Groups Pages
is.cc
1 // Copyright (C) 2007, 2008, 2009, 2014 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 #include <mln/metal/is.hh>
28 #include <mln/metal/is_not.hh>
29 
30 
31 
32 struct from_1
33 {
34 };
35 
36 struct dest
37 {
38  dest(const from_1&) {}
39 };
40 
41 struct from_2
42 {
43  operator dest() const { dest* tmp = 0; return *tmp; }
44 };
45 
46 
47 struct base
48 {
49 protected: base() {}
50 };
51 
52 struct derived : base
53 {
54 };
55 
56 
57 struct only
58 {
59 };
60 
61 
62 int main()
63 {
64  using namespace mln;
65 
66  metal::is<only, only>::check();
67 
68  metal::is<derived, base>::check();
69  metal::is<derived, const base>::check();
70  metal::is<derived*, const base*>::check();
71  metal::is<derived&, base&>::check();
72  metal::is<derived&, const base&>::check();
73 
74  metal::is<int, float>::check_not();
75  metal::is<from_1, dest>::check_not();
76  metal::is<from_2, dest>::check_not();
77 
78  metal::is_not<int, float>::check();
79  metal::is_not<from_1, dest>::check();
80  metal::is_not<from_2, dest>::check();
81 }