diff options
Diffstat (limited to 'libstdc++/src/concept-inst.cc')
-rw-r--r-- | libstdc++/src/concept-inst.cc | 113 |
1 files changed, 113 insertions, 0 deletions
diff --git a/libstdc++/src/concept-inst.cc b/libstdc++/src/concept-inst.cc new file mode 100644 index 0000000..904f72b --- /dev/null +++ b/libstdc++/src/concept-inst.cc @@ -0,0 +1,113 @@ +// Concept checking instantiations -*- C++ -*- + +// Copyright (C) 2001, 2002, 2003 Free Software Foundation +// +// This file is part of the GNU ISO C++ Library. This library is free +// software; you can redistribute it and/or modify it under the +// terms of the GNU General Public License as published by the +// Free Software Foundation; either version 2, or (at your option) +// any later version. + +// This library is distributed in the hope that it will be useful, +// but WITHOUT ANY WARRANTY; without even the implied warranty of +// MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the +// GNU General Public License for more details. + +// You should have received a copy of the GNU General Public License along +// with this library; see the file COPYING. If not, write to the Free +// Software Foundation, 51 Franklin Street, Fifth Floor, Boston, MA 02110-1301, +// USA. + +// As a special exception, you may use this file as part of a free software +// library without restriction. Specifically, if other files instantiate +// templates or use macros or inline functions from this file, or you compile +// this file and link it with other files to produce an executable, this +// file does not by itself cause the resulting executable to be covered by +// the GNU General Public License. This exception does not however +// invalidate any other reasons why the executable file might be covered by +// the GNU General Public License. + +// The implementation of some of the more complex checks uses the simple +// checks (good reuse of code), thereby requiring that the simple checks +// be instantiated somewhere. The simple checks use other simple checks, +// and so on, until a couple hundred symbols all need instantiations. We +// explicitly instantiate the initial set of symbols; compiling this file +// with -fimplicit-templates will take care of the rest for us. + +#include <bits/concept_check.h> + +#ifdef _GLIBCXX_CONCEPT_CHECKS + +#include <memory> +#include <iterator> +#include <ostream> + +#define _Instantiate(...) template void __function_requires< __VA_ARGS__ > () + +_GLIBCXX_BEGIN_NAMESPACE(__gnu_cxx) + + template void __aux_require_boolean_expr<bool>(bool const&); + + _Instantiate(_ConvertibleConcept<unsigned, unsigned> ); + + _Instantiate(_InputIteratorConcept<char*> ); + + _Instantiate(_InputIteratorConcept<char const*> ); + +#ifdef _GLIBCXX_USE_WCHAR_T + _Instantiate(_InputIteratorConcept<wchar_t*> ); + + _Instantiate(_InputIteratorConcept<wchar_t const*> ); + + _Instantiate(_LessThanComparableConcept<wchar_t*> ); +#endif + + _Instantiate(_LessThanComparableConcept<char*> ); + + _Instantiate(_LessThanComparableConcept<int> ); + + _Instantiate(_LessThanComparableConcept<long> ); + + _Instantiate(_LessThanComparableConcept<long long> ); + + _Instantiate(_LessThanComparableConcept<unsigned> ); + + _Instantiate(_OutputIteratorConcept<std::ostreambuf_iterator< + char, std::char_traits<char> >, char> ); + +#ifdef _GLIBCXX_USE_WCHAR_T + _Instantiate(_OutputIteratorConcept<std::ostreambuf_iterator< + wchar_t, std::char_traits<wchar_t> >, wchar_t> ); +#endif + + _Instantiate(_RandomAccessIteratorConcept<char*> ); + + _Instantiate(_RandomAccessIteratorConcept<char const*> ); + + _Instantiate(_RandomAccessIteratorConcept< + __normal_iterator<char const*, std::string> > ); + + _Instantiate(_RandomAccessIteratorConcept< + __normal_iterator<char*, std::string> > ); + +#ifdef _GLIBCXX_USE_WCHAR_T + _Instantiate(_RandomAccessIteratorConcept< + __normal_iterator<wchar_t const*, + std::basic_string<wchar_t, std::char_traits<wchar_t>, + std::allocator<wchar_t> > > > ); + + _Instantiate(_RandomAccessIteratorConcept< + __normal_iterator<wchar_t*, + std::basic_string<wchar_t, std::char_traits<wchar_t>, + std::allocator<wchar_t> > > > ); + + _Instantiate(_RandomAccessIteratorConcept<wchar_t*> ); + + _Instantiate(_RandomAccessIteratorConcept<wchar_t const*> ); +#endif + +_GLIBCXX_END_NAMESPACE + +#undef _Instantiate + +#endif |