Skip to content

Commit 98b3911

Browse files
jensmaurerzygoloid
authored andcommitted
[filesystems] Change '!predicate' phrasing to 'predicate is false'.
Fixes cplusplus#1535.
1 parent 2f118eb commit 98b3911

File tree

1 file changed

+16
-16
lines changed

1 file changed

+16
-16
lines changed

source/iostreams.tex

+16-16
Original file line numberDiff line numberDiff line change
@@ -11607,7 +11607,7 @@
1160711607
\begin{itemdescr}
1160811608
\pnum
1160911609
\returns A \tcode{path} composed from the pathname in the generic format,
11610-
if \tcode{!empty()}, beginning
11610+
if \tcode{empty()} is \tcode{false}, beginning
1161111611
with the first \grammarterm{filename} after \grammarterm{root-path}. Otherwise, \tcode{path()}.
1161211612
\end{itemdescr}
1161311613

@@ -11618,7 +11618,7 @@
1161811618

1161911619
\begin{itemdescr}
1162011620
\pnum
11621-
\returns \tcode{*this} if \tcode{!has_relative_path()},
11621+
\returns \tcode{*this} if \tcode{has_relative_path()} is \tcode{false},
1162211622
otherwise a path whose generic format pathname is
1162311623
the longest prefix of the generic format pathname of \tcode{*this}
1162411624
that produces one fewer element in its iteration.
@@ -13869,10 +13869,10 @@
1386913869
\item
1387013870
Otherwise, an error is reported as specified in~\ref{fs.err.report} if:
1387113871
\begin{itemize}
13872-
\item \tcode{!exists(f)}, or
13873-
\item \tcode{equivalent(from, to)}, or
13874-
\item \tcode{is_other(f) || is_other(t)}, or
13875-
\item \tcode{is_directory(f) \&\& is_regular_file(t)}.
13872+
\item \tcode{exists(f)} is \tcode{false}, or
13873+
\item \tcode{equivalent(from, to)} is \tcode{true}, or
13874+
\item \tcode{is_other(f) || is_other(t)} is \tcode{true}, or
13875+
\item \tcode{is_directory(f) \&\& is_regular_file(t)} is \tcode{true}.
1387613876
\end{itemize}
1387713877

1387813878
\item
@@ -13910,7 +13910,7 @@
1391013910
\end{codeblock}
1391113911
then:
1391213912
\begin{itemize}
13913-
\item If \tcode{!exists(t)}, then \tcode{create_directory(to, from)}.
13913+
\item If \tcode{exists(t)} is \tcode{false}, then \tcode{create_directory(to, from)}.
1391413914
\item Then, iterate over the files in \tcode{from}, as if by
1391513915
\begin{codeblock}
1391613916
for (const directory_entry& x : directory_iterator(from))
@@ -14010,10 +14010,10 @@
1401014010
\item
1401114011
Report a file already exists error as specified in~\ref{fs.err.report} if:
1401214012
\begin{itemize}
14013-
\item \tcode{!is_regular_file(from)}, or
14014-
\item \tcode{exists(to)} and \tcode{!is_regular_file(to)}, or
14015-
\item \tcode{exists(to)} and \tcode{equivalent(from, to)}, or
14016-
\item \tcode{exists(to)} and
14013+
\item \tcode{is_regular_file(from)} is \tcode{false}, or
14014+
\item \tcode{exists(to)} is \tcode{true} and \tcode{is_regular_file(to)} is \tcode{false}, or
14015+
\item \tcode{exists(to)} is \tcode{true} and \tcode{equivalent(from, to)} is \tcode{true}, or
14016+
\item \tcode{exists(to)} is \tcode{true} and
1401714017
\begin{codeblock}
1401814018
(options & (copy_options::skip_existing |
1401914019
copy_options::overwrite_existing |
@@ -14025,7 +14025,7 @@
1402514025
Otherwise, copy the contents and attributes of the file \tcode{from}
1402614026
resolves to, to the file \tcode{to} resolves to, if:
1402714027
\begin{itemize}
14028-
\item \tcode{!exists(to)}, or
14028+
\item \tcode{exists(to)} is \tcode{false}, or
1402914029
\item \tcode{(options \& copy_options::overwrite_existing) != copy_options::none}, or
1403014030
\item \tcode{(options \& copy_options::update_existing) \: \: != copy_options::none} and \tcode{from}
1403114031
is more recent than \tcode{to}, determined as if by use of the \tcode{last_write_time} function~(\ref{fs.op.last_write_time}).
@@ -14386,7 +14386,7 @@
1438614386
\returns
1438714387
\begin{itemize}
1438814388
\item
14389-
If \tcode{!exists(p)} an error is reported~(\ref{fs.err.report}).
14389+
If \tcode{exists(p)} is \tcode{false}, an error is reported~(\ref{fs.err.report}).
1439014390
\item
1439114391
Otherwise, if \tcode{is_regular_file(p)}, the size in bytes of the file
1439214392
\tcode{p} resolves to, determined as if by the value of the POSIX \tcode{stat}
@@ -14890,7 +14890,7 @@
1489014890
resolves to. \end{note}
1489114891

1489214892
\pnum
14893-
\postconditions \tcode{!exists(symlink_status(p))}.
14893+
\postconditions \tcode{exists(symlink_status(p))} is \tcode{false}.
1489414894

1489514895
\pnum
1489614896
\returns \tcode{false} if \tcode{p} did not exist,
@@ -14918,7 +14918,7 @@
1491814918
resolves to. \end{note}
1491914919

1492014920
\pnum
14921-
\postconditions \tcode{!exists(symlink_status(p))}.
14921+
\postconditions \tcode{exists(symlink_status(p))} is \tcode{false}.
1492214922

1492314923
\pnum
1492414924
\returns The number of files removed. The signature with argument
@@ -15178,7 +15178,7 @@
1517815178
\begin{itemdescr}
1517915179
\pnum
1518015180
\returns An unspecified directory path suitable for temporary files. An error shall be reported if
15181-
\tcode{!exists(p) || !is_directory(p)}, where \tcode{p} is the path to be returned.
15181+
\tcode{exists(p)} is \tcode{false} or \tcode{is_directory(p)} is \tcode{false}, where \tcode{p} is the path to be returned.
1518215182
The signature with argument \tcode{ec} returns \tcode{path()} if an
1518315183
error occurs.
1518415184

0 commit comments

Comments
 (0)