]>
Commit | Line | Data |
---|---|---|
b2dad0e3 BK |
1 | // 1999-09-20 bkoz |
2 | ||
a945c346 | 3 | // Copyright (C) 1999-2024 Free Software Foundation, Inc. |
b2dad0e3 BK |
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 | |
748086b7 | 8 | // Free Software Foundation; either version 3, or (at your option) |
b2dad0e3 BK |
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 | // You should have received a copy of the GNU General Public License along | |
748086b7 JJ |
17 | // with this library; see the file COPYING3. If not see |
18 | // <http://www.gnu.org/licenses/>. | |
19 | ||
b2dad0e3 BK |
20 | |
21 | // 27.4.3 template class fpos | |
22 | ||
4bc95009 | 23 | #include <cwchar> // for mbstate_t |
b2dad0e3 | 24 | #include <ios> |
fe413112 | 25 | #include <testsuite_hooks.h> |
b2dad0e3 | 26 | |
b2dad0e3 BK |
27 | // 27.4.3.2 fpos requirements/invariants |
28 | void test02() | |
29 | { | |
4bc95009 | 30 | typedef std::mbstate_t state_type; |
b2dad0e3 BK |
31 | |
32 | std::streamoff off01; | |
33 | std::streamoff off02 = 997; | |
b2dad0e3 BK |
34 | int i02 = 999; |
35 | ||
36 | // p(i), p = i | |
37 | std::streampos pos01(i02); | |
38 | std::streampos pos02 = i02; | |
aa1b2f7d | 39 | VERIFY( pos01 == pos02 ); |
b2dad0e3 BK |
40 | |
41 | // p(o), p = o | |
42 | // NB: P(o) is only required. | |
43 | std::streampos pos03(off02); | |
44 | std::streampos pos04 = off02; | |
aa1b2f7d | 45 | VERIFY( pos03 == pos04 ); |
b2dad0e3 BK |
46 | |
47 | // O(p) | |
48 | std::streamoff off03(pos04); | |
aa1b2f7d | 49 | VERIFY( off03 == off02 ); |
b2dad0e3 BK |
50 | |
51 | // p == q, p!= q | |
aa1b2f7d BV |
52 | VERIFY( pos01 == pos02 ); |
53 | VERIFY( pos02 != pos03 ); | |
b2dad0e3 BK |
54 | |
55 | // q = p + o | |
56 | // p += o | |
57 | pos03 = pos03 + off02; | |
58 | pos04 += off02; | |
aa1b2f7d | 59 | VERIFY( pos03 == pos04 ); |
9aaa9ee0 | 60 | std::streampos pos05 = pos03; |
9aaa9ee0 | 61 | VERIFY ( pos05 == pos03 ); |
b2dad0e3 BK |
62 | |
63 | // q = p - o | |
64 | // p -= o | |
65 | pos03 = pos03 - off02; | |
66 | pos04 -= off02; | |
aa1b2f7d | 67 | VERIFY( pos03 == pos04 ); |
9aaa9ee0 | 68 | std::streampos pos07 = pos03; |
9aaa9ee0 | 69 | VERIFY ( pos07 == pos03 ); |
b2dad0e3 BK |
70 | |
71 | // o = p - q | |
aa1b2f7d | 72 | VERIFY( 0 == pos03 - pos04 ); |
b2dad0e3 BK |
73 | |
74 | // streamsize -> streamoff | |
75 | // streamoff -> streamsize | |
76 | off01 = off02; | |
77 | std::streamsize size01(off02); | |
78 | std::streamoff off04(size01); | |
aa1b2f7d | 79 | VERIFY( off01 == off04 ); |
b2dad0e3 BK |
80 | } |
81 | ||
23cac885 | 82 | int main() |
b2dad0e3 | 83 | { |
b2dad0e3 | 84 | test02(); |
b2dad0e3 BK |
85 | return 0; |
86 | } |