Milena (Olena)
User documentation 2.0a Id
|
00001 // Copyright (C) 2007, 2008, 2009, 2010, 2011 EPITA Research and 00002 // Development Laboratory (LRDE) 00003 // 00004 // This file is part of Olena. 00005 // 00006 // Olena is free software: you can redistribute it and/or modify it under 00007 // the terms of the GNU General Public License as published by the Free 00008 // Software Foundation, version 2 of the License. 00009 // 00010 // Olena is distributed in the hope that it will be useful, 00011 // but WITHOUT ANY WARRANTY; without even the implied warranty of 00012 // MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNU 00013 // General Public License for more details. 00014 // 00015 // You should have received a copy of the GNU General Public License 00016 // along with Olena. If not, see <http://www.gnu.org/licenses/>. 00017 // 00018 // As a special exception, you may use this file as part of a free 00019 // software project without restriction. Specifically, if other files 00020 // instantiate templates or use macros or inline functions from this 00021 // file, or you compile this file and link it with other files to produce 00022 // an executable, this file does not by itself cause the resulting 00023 // executable to be covered by the GNU General Public License. This 00024 // exception does not however invalidate any other reasons why the 00025 // executable file might be covered by the GNU General Public License. 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 // metal 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 // Fwd decl. 00156 template <typename E> struct Object; 00157 00158 // Object category flag type. 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; // Default. 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 } // end of namespace mln 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