15a83710eSEric Fiselier //===----------------------------------------------------------------------===//
25a83710eSEric Fiselier //
357b08b09SChandler Carruth // Part of the LLVM Project, under the Apache License v2.0 with LLVM Exceptions.
457b08b09SChandler Carruth // See https://llvm.org/LICENSE.txt for license information.
557b08b09SChandler Carruth // SPDX-License-Identifier: Apache-2.0 WITH LLVM-exception
65a83710eSEric Fiselier //
75a83710eSEric Fiselier //===----------------------------------------------------------------------===//
85a83710eSEric Fiselier 
95a83710eSEric Fiselier // <sstream>
105a83710eSEric Fiselier 
115a83710eSEric Fiselier // template <class charT, class traits = char_traits<charT>, class Allocator = allocator<charT> >
125a83710eSEric Fiselier // class basic_stringbuf
135a83710eSEric Fiselier 
145a83710eSEric Fiselier // int_type pbackfail(int_type c = traits::eof());
155a83710eSEric Fiselier 
165a83710eSEric Fiselier #include <sstream>
175a83710eSEric Fiselier #include <cassert>
185a83710eSEric Fiselier 
195a83710eSEric Fiselier template <class CharT>
205a83710eSEric Fiselier struct testbuf
215a83710eSEric Fiselier     : public std::basic_stringbuf<CharT>
225a83710eSEric Fiselier {
235a83710eSEric Fiselier     typedef std::basic_stringbuf<CharT> base;
245a83710eSEric Fiselier     explicit testbuf(const std::basic_string<CharT>& str,
255a83710eSEric Fiselier                      std::ios_base::openmode which = std::ios_base::in | std::ios_base::out)
265a83710eSEric Fiselier         : base(str, which) {}
275a83710eSEric Fiselier 
285a83710eSEric Fiselier     typename base::int_type
29dd2b7a0aSMarshall Clow         pbackfail(typename base::int_type c = base::traits_type::eof())
305a83710eSEric Fiselier         {return base::pbackfail(c);}
315a83710eSEric Fiselier 
325a83710eSEric Fiselier     void pbump(int n) {base::pbump(n);}
335a83710eSEric Fiselier };
345a83710eSEric Fiselier 
35*2df59c50SJF Bastien int main(int, char**)
365a83710eSEric Fiselier {
37dd2b7a0aSMarshall Clow     {  // sanity check
38fe4ca8c5SStephan T. Lavavej     testbuf<char> tb("");
39dd2b7a0aSMarshall Clow     tb.pbackfail();
40dd2b7a0aSMarshall Clow     }
415a83710eSEric Fiselier     {
425a83710eSEric Fiselier         testbuf<char> sb("123", std::ios_base::in);
435a83710eSEric Fiselier         assert(sb.sgetc() == '1');
445a83710eSEric Fiselier         assert(sb.snextc() == '2');
455a83710eSEric Fiselier         assert(sb.snextc() == '3');
465a83710eSEric Fiselier         assert(sb.sgetc() == '3');
475a83710eSEric Fiselier         assert(sb.snextc() == std::char_traits<char>::eof());
485a83710eSEric Fiselier         assert(sb.pbackfail('3') == '3');
495a83710eSEric Fiselier         assert(sb.pbackfail('3') == std::char_traits<char>::eof());
505a83710eSEric Fiselier         assert(sb.pbackfail('2') == '2');
515a83710eSEric Fiselier         assert(sb.pbackfail(std::char_traits<char>::eof()) != std::char_traits<char>::eof());
525a83710eSEric Fiselier         assert(sb.pbackfail(std::char_traits<char>::eof()) == std::char_traits<char>::eof());
535a83710eSEric Fiselier         assert(sb.str() == "123");
545a83710eSEric Fiselier     }
555a83710eSEric Fiselier     {
565a83710eSEric Fiselier         testbuf<char> sb("123");
575a83710eSEric Fiselier         assert(sb.sgetc() == '1');
585a83710eSEric Fiselier         assert(sb.snextc() == '2');
595a83710eSEric Fiselier         assert(sb.snextc() == '3');
605a83710eSEric Fiselier         assert(sb.sgetc() == '3');
615a83710eSEric Fiselier         assert(sb.snextc() == std::char_traits<char>::eof());
625a83710eSEric Fiselier         assert(sb.pbackfail('3') == '3');
635a83710eSEric Fiselier         assert(sb.pbackfail('3') == '3');
645a83710eSEric Fiselier         assert(sb.pbackfail(std::char_traits<char>::eof()) != std::char_traits<char>::eof());
655a83710eSEric Fiselier         assert(sb.pbackfail(std::char_traits<char>::eof()) == std::char_traits<char>::eof());
665a83710eSEric Fiselier         assert(sb.str() == "133");
675a83710eSEric Fiselier     }
685a83710eSEric Fiselier     {
695a83710eSEric Fiselier         testbuf<wchar_t> sb(L"123", std::ios_base::in);
705a83710eSEric Fiselier         assert(sb.sgetc() == L'1');
715a83710eSEric Fiselier         assert(sb.snextc() == L'2');
725a83710eSEric Fiselier         assert(sb.snextc() == L'3');
735a83710eSEric Fiselier         assert(sb.sgetc() == L'3');
745a83710eSEric Fiselier         assert(sb.snextc() == std::char_traits<wchar_t>::eof());
755a83710eSEric Fiselier         assert(sb.pbackfail(L'3') == L'3');
765a83710eSEric Fiselier         assert(sb.pbackfail(L'3') == std::char_traits<wchar_t>::eof());
775a83710eSEric Fiselier         assert(sb.pbackfail(L'2') == L'2');
785a83710eSEric Fiselier         assert(sb.pbackfail(std::char_traits<wchar_t>::eof()) != std::char_traits<wchar_t>::eof());
795a83710eSEric Fiselier         assert(sb.pbackfail(std::char_traits<wchar_t>::eof()) == std::char_traits<wchar_t>::eof());
805a83710eSEric Fiselier         assert(sb.str() == L"123");
815a83710eSEric Fiselier     }
825a83710eSEric Fiselier     {
835a83710eSEric Fiselier         testbuf<wchar_t> sb(L"123");
845a83710eSEric Fiselier         assert(sb.sgetc() == L'1');
855a83710eSEric Fiselier         assert(sb.snextc() == L'2');
865a83710eSEric Fiselier         assert(sb.snextc() == L'3');
875a83710eSEric Fiselier         assert(sb.sgetc() == L'3');
885a83710eSEric Fiselier         assert(sb.snextc() == std::char_traits<wchar_t>::eof());
895a83710eSEric Fiselier         assert(sb.pbackfail(L'3') == L'3');
905a83710eSEric Fiselier         assert(sb.pbackfail(L'3') == L'3');
915a83710eSEric Fiselier         assert(sb.pbackfail(std::char_traits<wchar_t>::eof()) != std::char_traits<wchar_t>::eof());
925a83710eSEric Fiselier         assert(sb.pbackfail(std::char_traits<wchar_t>::eof()) == std::char_traits<wchar_t>::eof());
935a83710eSEric Fiselier         assert(sb.str() == L"133");
945a83710eSEric Fiselier     }
95*2df59c50SJF Bastien 
96*2df59c50SJF Bastien   return 0;
975a83710eSEric Fiselier }
98