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 Wed Sep 29 13:54:47 2004 for libstdc++-v3 Source by doxygen 1.3.7