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