1 // 2001-05-21 Benjamin Kosnik <bkoz@redhat.com>
3 // Copyright (C) 2001, 2002, 2003 Free Software Foundation, Inc.
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 2, or (at your option)
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.
16 // You should have received a copy of the GNU General Public License along
17 // with this library; see the file COPYING. If not, write to the Free
18 // Software Foundation, 59 Temple Place - Suite 330, Boston, MA 02111-1307,
21 // 27.8.1.4 Overridden virtual functions
24 #include <testsuite_hooks.h>
25 #include <testsuite_io.h>
27 // @require@ %-*.tst %-*.txt
28 // @diff@ %-*.tst %*.txt
30 const char name_01[] = "tmp_sungetc_2io.tst"; // empty file, need to create
35 using namespace __gnu_test;
37 typedef filebuf::int_type int_type;
38 typedef filebuf::traits_type traits_type;
39 typedef size_t size_type;
41 bool test __attribute__((unused)) = true;
42 streamsize strmsz_1, strmsz_2;
46 // if in_cur not avail, return pbackfail(), else decrement and
47 // return to_int_type(*gptr())
51 constraint_filebuf fb_01;
52 fb_01.pubsetbuf(0, 0);
53 fb_01.open(name_01, ios_base::out | ios_base::in | ios_base::trunc);
54 VERIFY( fb_01.unbuffered() );
57 fb_01.pubseekoff(-1, std::ios_base::end);
59 strmsz_1 = fb_01.in_avail();
61 strmsz_2 = fb_01.in_avail();
62 VERIFY( c2 == 'v' ); // VERIFY( c2 != traits_type::eof() );
63 VERIFY( strmsz_1 + 1 == strmsz_2 );
64 //test for _in_cur == _in_end
65 fb_01.pubseekoff(0, std::ios_base::end);
66 strmsz_1 = fb_01.in_avail(); // -1 cuz at the end
69 strmsz_2 = fb_01.in_avail(); // 1
72 VERIFY( strmsz_2 != strmsz_1 );
73 VERIFY( strmsz_2 == 1 );
74 VERIFY( fb_01.unbuffered() );