00001
00002
00003
00004
00005
00006
00007
00008
00009
00010
00011
00012
00013
00014
00015
00016
00017
00018
00019
00020
00021
00022
00023
00024
00025
00026
00027 #ifndef MLN_CORE_CONCEPT_OBJECT_HH
00028 # define MLN_CORE_CONCEPT_OBJECT_HH
00029
00033
00034 # include <cassert>
00035 # include <iostream>
00036
00037 # include <mln/core/macros.hh>
00038 # include <mln/core/category.hh>
00039 # include <mln/core/contract.hh>
00040 # include <mln/core/internal/fixme.hh>
00041 # include <mln/trace/all.hh>
00042
00043
00044 # include <mln/metal/abort.hh>
00045 # include <mln/metal/is_a.hh>
00046 # include <mln/metal/is_not_a.hh>
00047 # include <mln/metal/is.hh>
00048 # include <mln/metal/is_not.hh>
00049 # include <mln/metal/equal.hh>
00050 # include <mln/metal/not_equal.hh>
00051 # include <mln/metal/converts_to.hh>
00052 # include <mln/metal/ret.hh>
00053 # include <mln/metal/unqualif.hh>
00054 # include <mln/metal/math/all.hh>
00055
00056
00142 namespace mln
00143 {
00145 namespace impl {}
00146
00148 namespace internal
00149 {
00151 namespace check {}
00152 }
00153
00154
00155 template <typename E> struct Object;
00156
00157
00158 template <>
00159 struct Object<void>
00160 {
00161 typedef Unknown<void> super;
00162 };
00163
00164
00169 template <typename E>
00170 struct Object
00171 {
00172 typedef E exact_t;
00173 typedef Object<void> category;
00174 protected:
00175 Object();
00176 };
00177
00178
00179 # ifndef MLN_INCLUDE_ONLY
00180
00181 template <typename E>
00182 inline
00183 Object<E>::Object()
00184 {
00185 }
00186
00187 # endif // ! MLN_INCLUDE_ONLY
00188
00189 }
00190
00191
00192 # include <mln/core/routine/exact.hh>
00193 # include <mln/core/routine/ops.hh>
00194
00195
00196 #endif // ! MLN_CORE_CONCEPT_OBJECT_HH