1*404b540aSrobert // Concept checking instantiations -*- C++ -*- 2*404b540aSrobert 3*404b540aSrobert // Copyright (C) 2001, 2002, 2003 Free Software Foundation 4*404b540aSrobert // 5*404b540aSrobert // This file is part of the GNU ISO C++ Library. This library is free 6*404b540aSrobert // software; you can redistribute it and/or modify it under the 7*404b540aSrobert // terms of the GNU General Public License as published by the 8*404b540aSrobert // Free Software Foundation; either version 2, or (at your option) 9*404b540aSrobert // any later version. 10*404b540aSrobert 11*404b540aSrobert // This library is distributed in the hope that it will be useful, 12*404b540aSrobert // but WITHOUT ANY WARRANTY; without even the implied warranty of 13*404b540aSrobert // MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the 14*404b540aSrobert // GNU General Public License for more details. 15*404b540aSrobert 16*404b540aSrobert // You should have received a copy of the GNU General Public License along 17*404b540aSrobert // with this library; see the file COPYING. If not, write to the Free 18*404b540aSrobert // Software Foundation, 51 Franklin Street, Fifth Floor, Boston, MA 02110-1301, 19*404b540aSrobert // USA. 20*404b540aSrobert 21*404b540aSrobert // As a special exception, you may use this file as part of a free software 22*404b540aSrobert // library without restriction. Specifically, if other files instantiate 23*404b540aSrobert // templates or use macros or inline functions from this file, or you compile 24*404b540aSrobert // this file and link it with other files to produce an executable, this 25*404b540aSrobert // file does not by itself cause the resulting executable to be covered by 26*404b540aSrobert // the GNU General Public License. This exception does not however 27*404b540aSrobert // invalidate any other reasons why the executable file might be covered by 28*404b540aSrobert // the GNU General Public License. 29*404b540aSrobert 30*404b540aSrobert // The implementation of some of the more complex checks uses the simple 31*404b540aSrobert // checks (good reuse of code), thereby requiring that the simple checks 32*404b540aSrobert // be instantiated somewhere. The simple checks use other simple checks, 33*404b540aSrobert // and so on, until a couple hundred symbols all need instantiations. We 34*404b540aSrobert // explicitly instantiate the initial set of symbols; compiling this file 35*404b540aSrobert // with -fimplicit-templates will take care of the rest for us. 36*404b540aSrobert 37*404b540aSrobert #include <bits/concept_check.h> 38*404b540aSrobert 39*404b540aSrobert #ifdef _GLIBCXX_CONCEPT_CHECKS 40*404b540aSrobert 41*404b540aSrobert #include <memory> 42*404b540aSrobert #include <iterator> 43*404b540aSrobert #include <ostream> 44*404b540aSrobert 45*404b540aSrobert #define _Instantiate(...) template void __function_requires< __VA_ARGS__ > () 46*404b540aSrobert 47*404b540aSrobert _GLIBCXX_BEGIN_NAMESPACE(__gnu_cxx) 48*404b540aSrobert 49*404b540aSrobert template void __aux_require_boolean_expr<bool>(bool const&); 50*404b540aSrobert 51*404b540aSrobert _Instantiate(_ConvertibleConcept<unsigned, unsigned> ); 52*404b540aSrobert 53*404b540aSrobert _Instantiate(_InputIteratorConcept<char*> ); 54*404b540aSrobert 55*404b540aSrobert _Instantiate(_InputIteratorConcept<char const*> ); 56*404b540aSrobert 57*404b540aSrobert #ifdef _GLIBCXX_USE_WCHAR_T 58*404b540aSrobert _Instantiate(_InputIteratorConcept<wchar_t*> ); 59*404b540aSrobert 60*404b540aSrobert _Instantiate(_InputIteratorConcept<wchar_t const*> ); 61*404b540aSrobert 62*404b540aSrobert _Instantiate(_LessThanComparableConcept<wchar_t*> ); 63*404b540aSrobert #endif 64*404b540aSrobert 65*404b540aSrobert _Instantiate(_LessThanComparableConcept<char*> ); 66*404b540aSrobert 67*404b540aSrobert _Instantiate(_LessThanComparableConcept<int> ); 68*404b540aSrobert 69*404b540aSrobert _Instantiate(_LessThanComparableConcept<long> ); 70*404b540aSrobert 71*404b540aSrobert _Instantiate(_LessThanComparableConcept<long long> ); 72*404b540aSrobert 73*404b540aSrobert _Instantiate(_LessThanComparableConcept<unsigned> ); 74*404b540aSrobert 75*404b540aSrobert _Instantiate(_OutputIteratorConcept<std::ostreambuf_iterator< 76*404b540aSrobert char, std::char_traits<char> >, char> ); 77*404b540aSrobert 78*404b540aSrobert #ifdef _GLIBCXX_USE_WCHAR_T 79*404b540aSrobert _Instantiate(_OutputIteratorConcept<std::ostreambuf_iterator< 80*404b540aSrobert wchar_t, std::char_traits<wchar_t> >, wchar_t> ); 81*404b540aSrobert #endif 82*404b540aSrobert 83*404b540aSrobert _Instantiate(_RandomAccessIteratorConcept<char*> ); 84*404b540aSrobert 85*404b540aSrobert _Instantiate(_RandomAccessIteratorConcept<char const*> ); 86*404b540aSrobert 87*404b540aSrobert _Instantiate(_RandomAccessIteratorConcept< 88*404b540aSrobert __normal_iterator<char const*, std::string> > ); 89*404b540aSrobert 90*404b540aSrobert _Instantiate(_RandomAccessIteratorConcept< 91*404b540aSrobert __normal_iterator<char*, std::string> > ); 92*404b540aSrobert 93*404b540aSrobert #ifdef _GLIBCXX_USE_WCHAR_T 94*404b540aSrobert _Instantiate(_RandomAccessIteratorConcept< 95*404b540aSrobert __normal_iterator<wchar_t const*, 96*404b540aSrobert std::basic_string<wchar_t, std::char_traits<wchar_t>, 97*404b540aSrobert std::allocator<wchar_t> > > > ); 98*404b540aSrobert 99*404b540aSrobert _Instantiate(_RandomAccessIteratorConcept< 100*404b540aSrobert __normal_iterator<wchar_t*, 101*404b540aSrobert std::basic_string<wchar_t, std::char_traits<wchar_t>, 102*404b540aSrobert std::allocator<wchar_t> > > > ); 103*404b540aSrobert 104*404b540aSrobert _Instantiate(_RandomAccessIteratorConcept<wchar_t*> ); 105*404b540aSrobert 106*404b540aSrobert _Instantiate(_RandomAccessIteratorConcept<wchar_t const*> ); 107*404b540aSrobert #endif 108*404b540aSrobert 109*404b540aSrobert _GLIBCXX_END_NAMESPACE 110*404b540aSrobert 111*404b540aSrobert #undef _Instantiate 112*404b540aSrobert 113*404b540aSrobert #endif 114