]>
Commit | Line | Data |
---|---|---|
4d16bdbb PE |
1 | // Concept checking instantiations -*- C++ -*- |
2 | ||
3 | // Copyright (C) 2001 Free Software Foundation | |
4 | // | |
5 | // This file is part of GNU CC. | |
6 | // | |
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) | |
10 | // any later version. | |
11 | // | |
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. | |
16 | // | |
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. | |
21 | ||
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. | |
30 | ||
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. | |
37 | ||
38 | #include <bits/concept_check.h> | |
39 | ||
40 | #ifdef _GLIBCPP_CONCEPT_CHECKS | |
41 | ||
54c1bf78 BK |
42 | #include <memory> |
43 | #include <vector> | |
44 | #include <ostream> | |
4d16bdbb PE |
45 | |
46 | #define _Instantiate(...) template void __function_requires< __VA_ARGS__ > () | |
47 | ||
48 | namespace __gnu_cxx | |
49 | { | |
4d16bdbb PE |
50 | template void __aux_require_boolean_expr<bool>(bool const&); |
51 | ||
52 | _Instantiate(_BidirectionalIteratorConcept< | |
53 | std::__normal_iterator< std::locale::facet**, | |
54 | std::vector<std::locale::facet*,std::allocator<std::locale::facet*> > > > ); | |
55 | ||
56 | _Instantiate(_BidirectionalIteratorConcept< | |
57 | std::__normal_iterator< unsigned*, | |
58 | std::vector<unsigned, std::allocator<unsigned> > > > ); | |
59 | ||
60 | _Instantiate(_ConvertibleConcept<std::locale::facet*, std::locale::facet*> ); | |
61 | ||
62 | _Instantiate(_ConvertibleConcept<unsigned, unsigned> ); | |
63 | ||
64 | _Instantiate(_InputIteratorConcept<char*> ); | |
65 | ||
66 | _Instantiate(_InputIteratorConcept<char const*> ); | |
67 | ||
68 | _Instantiate(_InputIteratorConcept<std::locale::facet**> ); | |
69 | ||
70 | _Instantiate(_InputIteratorConcept< | |
71 | std::__normal_iterator< std::locale::facet* const*, | |
72 | std::vector<std::locale::facet*,std::allocator<std::locale::facet*> > > > ); | |
73 | ||
74 | _Instantiate(_InputIteratorConcept< | |
75 | std::__normal_iterator< std::locale::facet**, | |
76 | std::vector<std::locale::facet*,std::allocator<std::locale::facet*> > > > ); | |
77 | ||
78 | _Instantiate(_InputIteratorConcept< | |
79 | std::__normal_iterator< unsigned*, | |
80 | std::vector<unsigned, std::allocator<unsigned> > > > ); | |
81 | ||
82 | #ifdef _GLIBCPP_USE_WCHAR_T | |
83 | _Instantiate(_InputIteratorConcept<wchar_t*> ); | |
84 | ||
85 | _Instantiate(_InputIteratorConcept<wchar_t const*> ); | |
86 | ||
87 | _Instantiate(_LessThanComparableConcept<wchar_t*> ); | |
88 | #endif | |
89 | ||
90 | _Instantiate(_LessThanComparableConcept<char*> ); | |
91 | ||
92 | _Instantiate(_LessThanComparableConcept<int> ); | |
93 | ||
94 | _Instantiate(_LessThanComparableConcept<long> ); | |
95 | ||
4d16bdbb | 96 | _Instantiate(_LessThanComparableConcept<long long> ); |
4d16bdbb PE |
97 | |
98 | _Instantiate(_LessThanComparableConcept<unsigned> ); | |
99 | ||
100 | _Instantiate(_Mutable_BidirectionalIteratorConcept< | |
101 | std::__normal_iterator< std::locale::facet**, | |
102 | std::vector<std::locale::facet*,std::allocator<std::locale::facet*> > > > ); | |
103 | ||
104 | _Instantiate(_Mutable_BidirectionalIteratorConcept< | |
105 | std::__normal_iterator< unsigned*, | |
106 | std::vector<unsigned, std::allocator<unsigned> > > > ); | |
107 | ||
108 | _Instantiate(_Mutable_ForwardIteratorConcept< | |
109 | std::__normal_iterator< std::locale::facet**, | |
110 | std::vector<std::locale::facet*,std::allocator<std::locale::facet*> > > > ); | |
111 | ||
112 | _Instantiate(_OutputIteratorConcept< | |
113 | std::locale::facet**, std::locale::facet*> ); | |
114 | ||
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* > ); | |
119 | ||
120 | _Instantiate(_OutputIteratorConcept<std::__normal_iterator< | |
121 | unsigned*, std::vector<unsigned, std::allocator<unsigned> > >, unsigned> ); | |
122 | ||
123 | _Instantiate(_OutputIteratorConcept<std::ostreambuf_iterator< | |
124 | char, std::char_traits<char> >, char> ); | |
125 | ||
126 | #ifdef _GLIBCPP_USE_WCHAR_T | |
127 | _Instantiate(_OutputIteratorConcept<std::ostreambuf_iterator< | |
128 | wchar_t, std::char_traits<wchar_t> >, wchar_t> ); | |
129 | #endif | |
130 | ||
131 | _Instantiate(_RandomAccessIteratorConcept<char*> ); | |
132 | ||
133 | _Instantiate(_RandomAccessIteratorConcept<char const*> ); | |
134 | ||
135 | _Instantiate(_RandomAccessIteratorConcept< | |
136 | std::__normal_iterator<char const*, std::string> > ); | |
137 | ||
138 | _Instantiate(_RandomAccessIteratorConcept< | |
139 | std::__normal_iterator<char*, std::string> > ); | |
140 | ||
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> > > > ); | |
146 | ||
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> > > > ); | |
151 | ||
152 | _Instantiate(_RandomAccessIteratorConcept<wchar_t*> ); | |
153 | ||
154 | _Instantiate(_RandomAccessIteratorConcept<wchar_t const*> ); | |
155 | #endif | |
156 | ||
157 | } // namespace __gnu_cxx | |
158 | ||
159 | #undef _Instantiate | |
160 | ||
161 | #endif |