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
00143 namespace mln
00144 {
00146 namespace impl {}
00147
00149 namespace internal
00150 {
00152 namespace check {}
00153 }
00154
00155
00156 template <typename E> struct Object;
00157
00158
00159 template <>
00160 struct Object<void>
00161 {
00162 typedef Unknown<void> super;
00163 };
00164
00165
00170 template <typename E>
00171 struct Object
00172 {
00173 typedef E exact_t;
00174 typedef Object<void> category;
00175 protected:
00176 Object();
00177 };
00178
00179
00180 # ifndef MLN_INCLUDE_ONLY
00181
00182 template <typename E>
00183 inline
00184 Object<E>::Object()
00185 {
00186 }
00187
00188 # endif // ! MLN_INCLUDE_ONLY
00189
00190 }
00191
00192
00193 # include <mln/core/routine/exact.hh>
00194 # include <mln/core/routine/ops.hh>
00195
00196
00197 #endif // ! MLN_CORE_CONCEPT_OBJECT_HH