1// Explicit instantiation file.
2
3// Copyright (C) 2001-2020 Free Software Foundation, Inc.
4//
5// This file is part of the GNU ISO C++ Library.  This library is free
6// software; you can redistribute it and/or modify it under the
7// terms of the GNU General Public License as published by the
8// Free Software Foundation; either version 3, or (at your option)
9// any later version.
10
11// This library is distributed in the hope that it will be useful,
12// but WITHOUT ANY WARRANTY; without even the implied warranty of
13// MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
14// GNU General Public License for more details.
15
16// Under Section 7 of GPL version 3, you are granted additional
17// permissions described in the GCC Runtime Library Exception, version
18// 3.1, as published by the Free Software Foundation.
19
20// You should have received a copy of the GNU General Public License and
21// a copy of the GCC Runtime Library Exception along with this program;
22// see the files COPYING3 and COPYING.RUNTIME respectively.  If not, see
23// <http://www.gnu.org/licenses/>.
24
25//
26// ISO C++ 14882:
27//
28
29#include <ext/rope>
30
31namespace __gnu_cxx _GLIBCXX_VISIBILITY(default)
32{
33_GLIBCXX_BEGIN_NAMESPACE_VERSION
34
35  namespace
36  {
37    const int min_len = __detail::_S_max_rope_depth + 1;
38  }
39
40  template
41    const unsigned long
42    rope<char, std::allocator<char> >::_S_min_len[min_len];
43
44  template
45    char
46    rope<char, std::allocator<char> >::
47    _S_fetch(_Rope_RopeRep<char, std::allocator<char> >*, size_type);
48
49#ifdef _GLIBCXX_USE_WCHAR_T
50  template
51    const unsigned long
52    rope<wchar_t, std::allocator<wchar_t> >::_S_min_len[min_len];
53
54  template
55    wchar_t
56    rope<wchar_t, std::allocator<wchar_t> >::
57    _S_fetch(_Rope_RopeRep<wchar_t, std::allocator<wchar_t> >*, size_type);
58#endif
59
60_GLIBCXX_END_NAMESPACE_VERSION
61} // namespace
62