concept-inst.cc

00001 // Concept checking instantiations -*- C++ -*-
00002 
00003 // Copyright (C) 2001, 2002 Free Software Foundation
00004 //
00005 // This file is part of the GNU ISO C++ Library.  This library is free
00006 // software; you can redistribute it and/or modify it under the
00007 // terms of the GNU General Public License as published by the
00008 // Free Software Foundation; either version 2, or (at your option)
00009 // any later version.
00010 
00011 // This library is distributed in the hope that it will be useful,
00012 // but WITHOUT ANY WARRANTY; without even the implied warranty of
00013 // MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
00014 // GNU General Public License for more details.
00015 
00016 // You should have received a copy of the GNU General Public License along
00017 // with this library; see the file COPYING.  If not, write to the Free
00018 // Software Foundation, 59 Temple Place - Suite 330, Boston, MA 02111-1307,
00019 // USA.
00020 
00021 // As a special exception, you may use this file as part of a free software
00022 // library without restriction.  Specifically, if other files instantiate
00023 // templates or use macros or inline functions from this file, or you compile
00024 // this file and link it with other files to produce an executable, this
00025 // file does not by itself cause the resulting executable to be covered by
00026 // the GNU General Public License.  This exception does not however
00027 // invalidate any other reasons why the executable file might be covered by
00028 // the GNU General Public License.
00029 
00030 // The implementation of some of the more complex checks uses the simple
00031 // checks (good reuse of code), thereby requiring that the simple checks
00032 // be instantiated somewhere.  The simple checks use other simple checks,
00033 // and so on, until a couple hundred symbols all need instantiations.  We
00034 // explicitly instantiate the initial set of symbols; compiling this file
00035 // with -fimplicit-templates will take care of the rest for us.
00036 
00037 #include <bits/concept_check.h>
00038 
00039 #ifdef _GLIBCPP_CONCEPT_CHECKS
00040 
00041 #include <memory>
00042 #include <ostream>
00043 
00044 #define _Instantiate(...) template void __function_requires< __VA_ARGS__ > ()
00045 
00046 namespace __gnu_cxx
00047 {
00048   template void __aux_require_boolean_expr<bool>(bool const&);
00049 
00050   _Instantiate(_ConvertibleConcept<unsigned, unsigned> );
00051 
00052   _Instantiate(_InputIteratorConcept<char*> );
00053 
00054   _Instantiate(_InputIteratorConcept<char const*> );
00055 
00056 #ifdef _GLIBCPP_USE_WCHAR_T
00057   _Instantiate(_InputIteratorConcept<wchar_t*> );
00058 
00059   _Instantiate(_InputIteratorConcept<wchar_t const*> );
00060 
00061   _Instantiate(_LessThanComparableConcept<wchar_t*> );
00062 #endif
00063 
00064   _Instantiate(_LessThanComparableConcept<char*> );
00065 
00066   _Instantiate(_LessThanComparableConcept<int> );
00067 
00068   _Instantiate(_LessThanComparableConcept<long> );
00069 
00070   _Instantiate(_LessThanComparableConcept<long long> );
00071 
00072   _Instantiate(_LessThanComparableConcept<unsigned> );
00073 
00074   _Instantiate(_OutputIteratorConcept<std::ostreambuf_iterator<
00075     char, std::char_traits<char> >, char> );
00076 
00077 #ifdef _GLIBCPP_USE_WCHAR_T
00078   _Instantiate(_OutputIteratorConcept<std::ostreambuf_iterator<
00079     wchar_t, std::char_traits<wchar_t> >, wchar_t> );
00080 #endif
00081 
00082   _Instantiate(_RandomAccessIteratorConcept<char*> );
00083 
00084   _Instantiate(_RandomAccessIteratorConcept<char const*> );
00085 
00086   _Instantiate(_RandomAccessIteratorConcept<
00087     __normal_iterator<char const*, std::string> > );
00088 
00089   _Instantiate(_RandomAccessIteratorConcept<
00090     __normal_iterator<char*, std::string> > );
00091 
00092 #ifdef _GLIBCPP_USE_WCHAR_T
00093   _Instantiate(_RandomAccessIteratorConcept<
00094     __normal_iterator<wchar_t const*,
00095     std::basic_string<wchar_t, std::char_traits<wchar_t>,
00096                                std::allocator<wchar_t> > > > );
00097 
00098   _Instantiate(_RandomAccessIteratorConcept<
00099     __normal_iterator<wchar_t*,
00100     std::basic_string<wchar_t, std::char_traits<wchar_t>,
00101                                std::allocator<wchar_t> > > > );
00102 
00103   _Instantiate(_RandomAccessIteratorConcept<wchar_t*> );
00104 
00105   _Instantiate(_RandomAccessIteratorConcept<wchar_t const*> );
00106 #endif
00107 } // namespace __gnu_cxx
00108 
00109 #undef _Instantiate
00110 
00111 #endif

Generated on Thu Nov 21 03:12:47 2002 for libstdc++-v3 Source by doxygen1.2.18-20021030