|
11607 | 11607 | \begin{itemdescr}
|
11608 | 11608 | \pnum
|
11609 | 11609 | \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 |
11611 | 11611 | with the first \grammarterm{filename} after \grammarterm{root-path}. Otherwise, \tcode{path()}.
|
11612 | 11612 | \end{itemdescr}
|
11613 | 11613 |
|
|
11618 | 11618 |
|
11619 | 11619 | \begin{itemdescr}
|
11620 | 11620 | \pnum
|
11621 |
| -\returns \tcode{*this} if \tcode{!has_relative_path()}, |
| 11621 | +\returns \tcode{*this} if \tcode{has_relative_path()} is \tcode{false}, |
11622 | 11622 | otherwise a path whose generic format pathname is
|
11623 | 11623 | the longest prefix of the generic format pathname of \tcode{*this}
|
11624 | 11624 | that produces one fewer element in its iteration.
|
@@ -13869,10 +13869,10 @@
|
13869 | 13869 | \item
|
13870 | 13870 | Otherwise, an error is reported as specified in~\ref{fs.err.report} if:
|
13871 | 13871 | \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}. |
13876 | 13876 | \end{itemize}
|
13877 | 13877 |
|
13878 | 13878 | \item
|
|
13910 | 13910 | \end{codeblock}
|
13911 | 13911 | then:
|
13912 | 13912 | \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)}. |
13914 | 13914 | \item Then, iterate over the files in \tcode{from}, as if by
|
13915 | 13915 | \begin{codeblock}
|
13916 | 13916 | for (const directory_entry& x : directory_iterator(from))
|
@@ -14010,10 +14010,10 @@
|
14010 | 14010 | \item
|
14011 | 14011 | Report a file already exists error as specified in~\ref{fs.err.report} if:
|
14012 | 14012 | \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 |
14017 | 14017 | \begin{codeblock}
|
14018 | 14018 | (options & (copy_options::skip_existing |
|
14019 | 14019 | copy_options::overwrite_existing |
|
|
14025 | 14025 | Otherwise, copy the contents and attributes of the file \tcode{from}
|
14026 | 14026 | resolves to, to the file \tcode{to} resolves to, if:
|
14027 | 14027 | \begin{itemize}
|
14028 |
| -\item \tcode{!exists(to)}, or |
| 14028 | +\item \tcode{exists(to)} is \tcode{false}, or |
14029 | 14029 | \item \tcode{(options \& copy_options::overwrite_existing) != copy_options::none}, or
|
14030 | 14030 | \item \tcode{(options \& copy_options::update_existing) \: \: != copy_options::none} and \tcode{from}
|
14031 | 14031 | 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 | 14386 | \returns
|
14387 | 14387 | \begin{itemize}
|
14388 | 14388 | \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}). |
14390 | 14390 | \item
|
14391 | 14391 | Otherwise, if \tcode{is_regular_file(p)}, the size in bytes of the file
|
14392 | 14392 | \tcode{p} resolves to, determined as if by the value of the POSIX \tcode{stat}
|
|
14890 | 14890 | resolves to. \end{note}
|
14891 | 14891 |
|
14892 | 14892 | \pnum
|
14893 |
| -\postconditions \tcode{!exists(symlink_status(p))}. |
| 14893 | +\postconditions \tcode{exists(symlink_status(p))} is \tcode{false}. |
14894 | 14894 |
|
14895 | 14895 | \pnum
|
14896 | 14896 | \returns \tcode{false} if \tcode{p} did not exist,
|
|
14918 | 14918 | resolves to. \end{note}
|
14919 | 14919 |
|
14920 | 14920 | \pnum
|
14921 |
| -\postconditions \tcode{!exists(symlink_status(p))}. |
| 14921 | +\postconditions \tcode{exists(symlink_status(p))} is \tcode{false}. |
14922 | 14922 |
|
14923 | 14923 | \pnum
|
14924 | 14924 | \returns The number of files removed. The signature with argument
|
|
15178 | 15178 | \begin{itemdescr}
|
15179 | 15179 | \pnum
|
15180 | 15180 | \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. |
15182 | 15182 | The signature with argument \tcode{ec} returns \tcode{path()} if an
|
15183 | 15183 | error occurs.
|
15184 | 15184 |
|
|
0 commit comments