File tree Expand file tree Collapse file tree 1 file changed +7
-7
lines changed Expand file tree Collapse file tree 1 file changed +7
-7
lines changed Original file line number Diff line number Diff line change 2279
2279
\begin{itemdescr}
2280
2280
\pnum
2281
2281
\effects
2282
- If \tcode{((state | (rdbuf() ? goodbit : badbit)) \& exceptions()) == 0},
2283
- returns.
2282
+ If \tcode{((state | (rdbuf() ? goodbit : badbit)) \& exceptions()) == 0}
2283
+ is \keyword{true}, returns.
2284
2284
Otherwise, the function throws an object of class
2285
2285
\tcode{ios_base::failure}\iref{ios.failure},
2286
2286
constructed with
2290
2290
\pnum
2291
2291
\ensures
2292
2292
If
2293
- \tcode{rdbuf() != 0}
2293
+ \tcode{rdbuf() != 0} is \keyword{true}
2294
2294
then
2295
- \tcode{state == rdstate()};
2295
+ \tcode{state == rdstate()} is \keyword{true} ;
2296
2296
otherwise
2297
- \tcode{rdstate() == (state | ios_base::badbit)}.
2297
+ \tcode{rdstate() == (state | ios_base::badbit)} is \keyword{true} .
2298
2298
\end{itemdescr}
2299
2299
2300
2300
\indexlibrarymember{setstate}{basic_ios}%
2319
2319
\begin{itemdescr}
2320
2320
\pnum
2321
2321
\returns
2322
- \tcode{rdstate() == 0}
2322
+ \tcode{rdstate() == 0} is \keyword{true}.
2323
2323
\end{itemdescr}
2324
2324
2325
2325
\indexlibrarymember{eof}{basic_ios}%
2402
2402
2403
2403
\pnum
2404
2404
\ensures
2405
- \tcode{except == exceptions()}.
2405
+ \tcode{except == exceptions()} is \keyword{true} .
2406
2406
\end{itemdescr}
2407
2407
2408
2408
\rSec2[std.ios.manip]{\tcode{ios_base} manipulators}
You can’t perform that action at this time.
0 commit comments