diff options
Diffstat (limited to 'contrib/libstdc++/src/concept-inst.cc')
-rw-r--r-- | contrib/libstdc++/src/concept-inst.cc | 112 |
1 files changed, 112 insertions, 0 deletions
diff --git a/contrib/libstdc++/src/concept-inst.cc b/contrib/libstdc++/src/concept-inst.cc new file mode 100644 index 0000000..01cc030 --- /dev/null +++ b/contrib/libstdc++/src/concept-inst.cc @@ -0,0 +1,112 @@ +// Concept checking instantiations -*- C++ -*- + +// Copyright (C) 2001, 2002 Free Software Foundation +// +// This file is part of GNU CC. +// +// GNU CC 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. +// +// GNU CC 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 GNU CC; see the file COPYING. If not, write to +// the Free Software Foundation, 59 Temple Place - Suite 330, +// Boston, MA 02111-1307, 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 _GLIBCPP_CONCEPT_CHECKS + +#include <memory> +#include <ostream> + +#define _Instantiate(...) template void __function_requires< __VA_ARGS__ > () + +namespace __gnu_cxx +{ + template void __aux_require_boolean_expr<bool>(bool const&); + + _Instantiate(_ConvertibleConcept<unsigned, unsigned> ); + + _Instantiate(_InputIteratorConcept<char*> ); + + _Instantiate(_InputIteratorConcept<char const*> ); + +#ifdef _GLIBCPP_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 _GLIBCPP_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 _GLIBCPP_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 +} // namespace __gnu_cxx + +#undef _Instantiate + +#endif |