Milena (Olena)  User documentation 2.0a Id
 All Classes Namespaces Functions Variables Typedefs Enumerator Groups Pages
object.hh
1 // Copyright (C) 2007, 2008, 2009, 2010, 2011 EPITA Research and
2 // Development 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_CORE_CONCEPT_OBJECT_HH
28 # define MLN_CORE_CONCEPT_OBJECT_HH
29 
33 
34 # include <cassert>
35 # include <iostream>
36 
37 # include <mln/core/macros.hh>
38 # include <mln/core/category.hh>
39 # include <mln/core/contract.hh>
40 # include <mln/core/internal/fixme.hh>
41 # include <mln/trace/all.hh>
42 
43 // metal
44 # include <mln/metal/abort.hh>
45 # include <mln/metal/is_a.hh>
46 # include <mln/metal/is_not_a.hh>
47 # include <mln/metal/is.hh>
48 # include <mln/metal/is_not.hh>
49 # include <mln/metal/equal.hh>
50 # include <mln/metal/not_equal.hh>
51 # include <mln/metal/converts_to.hh>
52 # include <mln/metal/ret.hh>
53 # include <mln/metal/unqualif.hh>
54 # include <mln/metal/math/all.hh>
55 
56 
143 namespace mln
144 {
146  namespace impl {}
147 
149  namespace internal
150  {
152  namespace check {}
153  }
154 
155  // Fwd decl.
156  template <typename E> struct Object;
157 
158  // Object category flag type.
159  template <>
160  struct Object<void>
161  {
162  typedef Unknown<void> super;
163  };
164 
165 
170  template <typename E>
171  struct Object
172  {
173  typedef E exact_t;
174  typedef Object<void> category; // Default.
175  protected:
176  Object();
177  };
178 
179 
180 # ifndef MLN_INCLUDE_ONLY
181 
182  template <typename E>
183  inline
185  {
186  }
187 
188 # endif // ! MLN_INCLUDE_ONLY
189 
190 } // end of namespace mln
191 
192 
193 # include <mln/core/routine/exact.hh>
194 # include <mln/core/routine/ops.hh>
195 
196 
197 #endif // ! MLN_CORE_CONCEPT_OBJECT_HH