[iostream.cons] clarify boolean expression

Author: Eisenwave

source/iostreams.tex

@@ -5383,7 +5383,7 @@
 Characters are extracted until any of the following occurs:
 \begin{itemize}
 \item
-\tcode{n != numeric_limits<streamsize>::max()}\iref{numeric.limits}
+\tcode{n != numeric_limits<streamsize>::max()} is \keyword{true}\iref{numeric.limits}
 and
 \tcode{n} characters have been extracted so far
 \item
@@ -5493,7 +5493,7 @@
 into successive locations of an array whose first element is designated by
 \tcode{s}.
 If
-\tcode{rdbuf()->in_avail() == -1},
+\tcode{rdbuf()->in_avail() == -1} is \keyword{true},
 calls
 \tcode{setstate(eofbit)}
 (which may throw
@@ -5502,11 +5502,11 @@
 \begin{itemize}
 \item
 If
-\tcode{rdbuf()->in_avail() == 0},
+\tcode{rdbuf()->in_avail() == 0} is \keyword{true},
 extracts no characters
 \item
 If
-\tcode{rdbuf()->in_avail() > 0},
+\tcode{rdbuf()->in_avail() > 0} is \keyword{true},
 extracts
 \tcode{min(rdbuf()->in_avail(), n))}.
 \end{itemize}
@@ -5644,7 +5644,7 @@
 \pnum
 \returns
 After constructing a \tcode{sentry} object, if
-\tcode{fail() != false},
+\tcode{fail()} is \keyword{true},
 returns
 \tcode{pos_type(-1)}
 to indicate failure.
@@ -5667,7 +5667,7 @@
 returned by subsequent calls to
 \tcode{gcount()}.
 After constructing a \tcode{sentry} object, if
-\tcode{fail() != true},
+\tcode{fail()} is \keyword{false},
 executes
 \tcode{rdbuf()->pubseekpos(pos, ios_base::in)}.
 In case of failure, the function calls
@@ -5692,7 +5692,7 @@
 does not count the number of characters extracted, and
 does not affect the value returned by subsequent calls to \tcode{gcount()}.
 After constructing a \tcode{sentry} object, if
-\tcode{fail() != true},
+\tcode{fail()} is \keyword{false},
 executes
 \tcode{rdbuf()->pubseekoff(off, dir, ios_base::in)}.
 In case of failure, the function calls \tcode{setstate(\brk{}failbit)} (which may throw
@@ -5821,9 +5821,9 @@
 
 \pnum
 \ensures
-\tcode{rdbuf() == sb}
+\tcode{rdbuf() == sb} is \keyword{true}
 and
-\tcode{gcount() == 0}.
+\tcode{gcount() == 0} is \keyword{true}.
 \end{itemdescr}
 
 \indexlibraryctor{basic_iostream}%