Skip to content

[input.output] Fix missing is \keyword{true} or is \keyword{false} #6534

New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Open
wants to merge 20 commits into
base: main
Choose a base branch
from
Open

[input.output] Fix missing is \keyword{true} or is \keyword{false} #6534

Changes from 1 commit
Commits
Show all changes
20 commits
Select commit Hold shift + click to select a range
9b6f0a8
[fmtflags.state] clarify pre/postconditions
eisenwave Aug 30, 2023
3bf9033
[ios.base.locales] clarify postcondition
eisenwave Aug 30, 2023
83e8a26
[fpos.operations] clarify meaning of assertions/postconditions in table
eisenwave Aug 30, 2023
caf9f79
[basic.ios.members] clarify equality expressions
eisenwave Aug 30, 2023
d03c965
[iostate.flags] clarify boolean expressions
eisenwave Aug 30, 2023
ba868ad
[streambuf.cons] clarify boolean expressions
eisenwave Aug 30, 2023
1b009f5
[streambuf.locales] clarify boolean expression
eisenwave Aug 30, 2023
1f647e2
[streambuf.assign] clarify boolean expressions
eisenwave Aug 30, 2023
f1e7181
[streambuf.virt.get] clarify boolean expression
eisenwave Aug 30, 2023
82e93c1
[streambuf.virt.pback] clarify boolean expression
eisenwave Aug 30, 2023
9e54ade
[streambuf.virt.put] clarify boolean expression
eisenwave Aug 30, 2023
dd5b058
[istream.cons] clarify boolean expression
eisenwave Aug 30, 2023
5d9974a
[istream.sentry] clarify boolean expressions
eisenwave Aug 30, 2023
fb8f294
[istream.formatted.reqmts] clarify boolean expression
eisenwave Aug 30, 2023
00d79c5
[istream.unformatted] clarify boolean expression
eisenwave Aug 30, 2023
7389b58
[iostream.cons] clarify boolean expression
eisenwave Aug 30, 2023
7dc13f0
[ostream.cons] clarify boolean expression
eisenwave Aug 30, 2023
2ba3cf5
[ostream.sentry] clarify boolean expression
eisenwave Aug 30, 2023
a1d2aae
[ostream.seeks] clarify boolean expression
eisenwave Aug 30, 2023
e842cac
Merge branch 'main' into io-fix-equals
eisenwave Mar 30, 2025
File filter

Filter by extension

Filter by extension
Conversations
Failed to load comments.
Loading
Jump to
Jump to file
Failed to load files.
Loading
Diff view
Diff view
Prev Previous commit
Next Next commit
[basic.ios.members] clarify equality expressions
  • Loading branch information
@eisenwave
eisenwave committed Aug 30, 2023
commit caf9f79cd3c7f0b83fe7e72575abb18169ae2101
8 changes: 4 additions & 4 deletions source/iostreams.tex
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -1983,7 +1983,7 @@

\pnum
\ensures
\tcode{tiestr == tie()}.
\tcode{tiestr == tie()} is \keyword{true}.

\pnum
\returns
Expand Down Expand Up @@ -2017,7 +2017,7 @@

\pnum
\ensures
\tcode{sb == rdbuf()}.
\tcode{sb == rdbuf()} is \keyword{true}.

\pnum
\returns
Expand All @@ -2037,7 +2037,7 @@
\tcode{ios_base::imbue(loc)}\iref{ios.base.locales}
and
if
\tcode{rdbuf() != 0}
\tcode{rdbuf() != 0} is \keyword{true}
Copy link
Member

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

rbduf() is null, or something like that

then
\tcode{rdbuf()->pubimbue(loc)}\iref{streambuf.locales}.

Expand Down Expand Up @@ -2106,7 +2106,7 @@
\pnum
\effects
If
\tcode{(this == addressof(rhs))} is \tcode{true}
\tcode{this == addressof(rhs)} is \tcode{true},
does nothing.
Otherwise assigns to the member objects of
\tcode{*this}
Expand Down
pFad - Phonifier reborn

Pfad - The Proxy pFad of © 2024 Garber Painting. All rights reserved.

Note: This service is not intended for secure transactions such as banking, social media, email, or purchasing. Use at your own risk. We assume no liability whatsoever for broken pages.


Alternative Proxies:

Alternative Proxy

pFad Proxy

pFad v3 Proxy

pFad v4 Proxy