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