1 // Concept checking instantiations -*- C++ -*-
3 // Copyright (C) 2001 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
46 #define _Instantiate(...) template void __function_requires< __VA_ARGS__ > ()
50 template void __aux_require_boolean_expr
<bool>(bool const&);
52 _Instantiate(_BidirectionalIteratorConcept
<
53 std::__normal_iterator
< std::locale::facet
**,
54 std::vector
<std::locale::facet
*,std::allocator
<std::locale::facet
*> > > > );
56 _Instantiate(_BidirectionalIteratorConcept
<
57 std::__normal_iterator
< unsigned*,
58 std::vector
<unsigned, std::allocator
<unsigned> > > > );
60 _Instantiate(_ConvertibleConcept
<std::locale::facet
*, std::locale::facet
*> );
62 _Instantiate(_ConvertibleConcept
<unsigned, unsigned> );
64 _Instantiate(_InputIteratorConcept
<char*> );
66 _Instantiate(_InputIteratorConcept
<char const*> );
68 _Instantiate(_InputIteratorConcept
<std::locale::facet
**> );
70 _Instantiate(_InputIteratorConcept
<
71 std::__normal_iterator
< std::locale::facet
* const*,
72 std::vector
<std::locale::facet
*,std::allocator
<std::locale::facet
*> > > > );
74 _Instantiate(_InputIteratorConcept
<
75 std::__normal_iterator
< std::locale::facet
**,
76 std::vector
<std::locale::facet
*,std::allocator
<std::locale::facet
*> > > > );
78 _Instantiate(_InputIteratorConcept
<
79 std::__normal_iterator
< unsigned*,
80 std::vector
<unsigned, std::allocator
<unsigned> > > > );
82 #ifdef _GLIBCPP_USE_WCHAR_T
83 _Instantiate(_InputIteratorConcept
<wchar_t*> );
85 _Instantiate(_InputIteratorConcept
<wchar_t const*> );
87 _Instantiate(_LessThanComparableConcept
<wchar_t*> );
90 _Instantiate(_LessThanComparableConcept
<char*> );
92 _Instantiate(_LessThanComparableConcept
<int> );
94 _Instantiate(_LessThanComparableConcept
<long> );
96 _Instantiate(_LessThanComparableConcept
<long long> );
98 _Instantiate(_LessThanComparableConcept
<unsigned> );
100 _Instantiate(_Mutable_BidirectionalIteratorConcept
<
101 std::__normal_iterator
< std::locale::facet
**,
102 std::vector
<std::locale::facet
*,std::allocator
<std::locale::facet
*> > > > );
104 _Instantiate(_Mutable_BidirectionalIteratorConcept
<
105 std::__normal_iterator
< unsigned*,
106 std::vector
<unsigned, std::allocator
<unsigned> > > > );
108 _Instantiate(_Mutable_ForwardIteratorConcept
<
109 std::__normal_iterator
< std::locale::facet
**,
110 std::vector
<std::locale::facet
*,std::allocator
<std::locale::facet
*> > > > );
112 _Instantiate(_OutputIteratorConcept
<
113 std::locale::facet
**, std::locale::facet
*> );
115 _Instantiate(_OutputIteratorConcept
<
116 std::__normal_iterator
< std::locale::facet
**,
117 std::vector
<std::locale::facet
*, std::allocator
<std::locale::facet
* > > >,
118 std::locale::facet
* > );
120 _Instantiate(_OutputIteratorConcept
<std::__normal_iterator
<
121 unsigned*, std::vector
<unsigned, std::allocator
<unsigned> > >, unsigned> );
123 _Instantiate(_OutputIteratorConcept
<std::ostreambuf_iterator
<
124 char, std::char_traits
<char> >, char> );
126 #ifdef _GLIBCPP_USE_WCHAR_T
127 _Instantiate(_OutputIteratorConcept
<std::ostreambuf_iterator
<
128 wchar_t, std::char_traits
<wchar_t> >, wchar_t> );
131 _Instantiate(_RandomAccessIteratorConcept
<char*> );
133 _Instantiate(_RandomAccessIteratorConcept
<char const*> );
135 _Instantiate(_RandomAccessIteratorConcept
<
136 std::__normal_iterator
<char const*, std::string
> > );
138 _Instantiate(_RandomAccessIteratorConcept
<
139 std::__normal_iterator
<char*, std::string
> > );
141 #ifdef _GLIBCPP_USE_WCHAR_T
142 _Instantiate(_RandomAccessIteratorConcept
<
143 std::__normal_iterator
<wchar_t const*,
144 std::basic_string
<wchar_t, std::char_traits
<wchar_t>,
145 std::allocator
<wchar_t> > > > );
147 _Instantiate(_RandomAccessIteratorConcept
<
148 std::__normal_iterator
<wchar_t*,
149 std::basic_string
<wchar_t, std::char_traits
<wchar_t>,
150 std::allocator
<wchar_t> > > > );
152 _Instantiate(_RandomAccessIteratorConcept
<wchar_t*> );
154 _Instantiate(_RandomAccessIteratorConcept
<wchar_t const*> );
157 } // namespace __gnu_cxx