bound.hh

00001 // Copyright (C) 2001, 2002, 2003, 2004  EPITA Research and Development Laboratory
00002 //
00003 // This file is part of the Olena Library.  This library is free
00004 // software; you can redistribute it and/or modify it under the terms
00005 // of the GNU General Public License version 2 as published by the
00006 // Free Software Foundation.
00007 //
00008 // This library is distributed in the hope that it will be useful,
00009 // but WITHOUT ANY WARRANTY; without even the implied warranty of
00010 // MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the GNU
00011 // General Public License for more details.
00012 //
00013 // You should have received a copy of the GNU General Public License
00014 // along with this library; see the file COPYING.  If not, write to
00015 // the Free Software Foundation, 59 Temple Place - Suite 330, Boston,
00016 // MA 02111-1307, USA.
00017 //
00018 // As a special exception, you may use this file as part of a free
00019 // software library 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
00022 // produce an executable, this file does not by itself cause the
00023 // resulting executable to be covered by the GNU General Public
00024 // License.  This exception does not however invalidate any other
00025 // reasons why the executable file might be covered by the GNU General
00026 // Public License.
00027 
00028 
00029 #ifndef OLENA_CONVERT_BOUND_HH
00030 # define OLENA_CONVERT_BOUND_HH
00031 
00032 # include <oln/convert/abstract/conversion.hh>
00033 # include <ntg/utils/cast.hh>
00034 
00035 namespace oln {
00036   namespace convert {
00037 
00042     template<class Output, class Exact = mlc::final>
00043     struct bound : public abstract::conversion_to_type< Output, typename mlc::exact_vt<bound<Output, Exact>, Exact>::ret >
00044     {
00045 
00046       template< class Input >
00047       Output
00048       doit(const Input& v) const
00049       {
00050         return ntg::cast::bound<Output>(v);
00051       }
00052 
00053       static std::string
00054       name()
00055       {
00056         // FIXME: ntg_name(Exact) will not work for mlc::final !
00057         return std::string("bound<")
00058           + ntg_name(Output) + ", "
00059           + "FIXME: ntg_name(Exact)" + ">";
00060       }
00061     };
00062 
00063   } // convert
00064 } // oln
00065 
00066 #endif // OLENA_CONVERT_BOUND_HH

Generated on Thu Apr 15 20:13:06 2004 for Olena by doxygen 1.3.6-20040222