Skip to content

[filesystems] Change '!predicate' phrasing to 'predicate is false'. #1583

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

Merged
merged 1 commit into from
Apr 10, 2017
Merged

[filesystems] Change '!predicate' phrasing to 'predicate is false'. #1583

Changes from all commits
Commits
Show all changes
1 commit
Select commit
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
32 changes: 16 additions & 16 deletions source/iostreams.tex
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -11607,7 +11607,7 @@
\begin{itemdescr}
\pnum
\returns A \tcode{path} composed from the pathname in the generic format,
if \tcode{!empty()}, beginning
if \tcode{empty()} is \tcode{false}, beginning
with the first \grammarterm{filename} after \grammarterm{root-path}. Otherwise, \tcode{path()}.
\end{itemdescr}

Expand All @@ -11618,7 +11618,7 @@

\begin{itemdescr}
\pnum
\returns \tcode{*this} if \tcode{!has_relative_path()},
\returns \tcode{*this} if \tcode{has_relative_path()} is \tcode{false},
otherwise a path whose generic format pathname is
the longest prefix of the generic format pathname of \tcode{*this}
that produces one fewer element in its iteration.
Expand Down Expand Up @@ -13869,10 +13869,10 @@
\item
Otherwise, an error is reported as specified in~\ref{fs.err.report} if:
\begin{itemize}
\item \tcode{!exists(f)}, or
\item \tcode{equivalent(from, to)}, or
\item \tcode{is_other(f) || is_other(t)}, or
\item \tcode{is_directory(f) \&\& is_regular_file(t)}.
\item \tcode{exists(f)} is \tcode{false}, or
\item \tcode{equivalent(from, to)} is \tcode{true}, or
\item \tcode{is_other(f) || is_other(t)} is \tcode{true}, or
\item \tcode{is_directory(f) \&\& is_regular_file(t)} is \tcode{true}.
\end{itemize}

\item
Expand Down Expand Up @@ -13910,7 +13910,7 @@
\end{codeblock}
then:
\begin{itemize}
\item If \tcode{!exists(t)}, then \tcode{create_directory(to, from)}.
\item If \tcode{exists(t)} is \tcode{false}, then \tcode{create_directory(to, from)}.
\item Then, iterate over the files in \tcode{from}, as if by
\begin{codeblock}
for (const directory_entry& x : directory_iterator(from))
Expand Down Expand Up @@ -14010,10 +14010,10 @@
\item
Report a file already exists error as specified in~\ref{fs.err.report} if:
\begin{itemize}
\item \tcode{!is_regular_file(from)}, or
\item \tcode{exists(to)} and \tcode{!is_regular_file(to)}, or
\item \tcode{exists(to)} and \tcode{equivalent(from, to)}, or
\item \tcode{exists(to)} and
\item \tcode{is_regular_file(from)} is \tcode{false}, or
\item \tcode{exists(to)} is \tcode{true} and \tcode{is_regular_file(to)} is \tcode{false}, or
\item \tcode{exists(to)} is \tcode{true} and \tcode{equivalent(from, to)} is \tcode{true}, or
\item \tcode{exists(to)} is \tcode{true} and
\begin{codeblock}
(options & (copy_options::skip_existing |
copy_options::overwrite_existing |
Expand All @@ -14025,7 +14025,7 @@
Otherwise, copy the contents and attributes of the file \tcode{from}
resolves to, to the file \tcode{to} resolves to, if:
\begin{itemize}
\item \tcode{!exists(to)}, or
\item \tcode{exists(to)} is \tcode{false}, or
\item \tcode{(options \& copy_options::overwrite_existing) != copy_options::none}, or
\item \tcode{(options \& copy_options::update_existing) \: \: != copy_options::none} and \tcode{from}
is more recent than \tcode{to}, determined as if by use of the \tcode{last_write_time} function~(\ref{fs.op.last_write_time}).
Expand Down Expand Up @@ -14386,7 +14386,7 @@
\returns
\begin{itemize}
\item
If \tcode{!exists(p)} an error is reported~(\ref{fs.err.report}).
If \tcode{exists(p)} is \tcode{false}, an error is reported~(\ref{fs.err.report}).
\item
Otherwise, if \tcode{is_regular_file(p)}, the size in bytes of the file
\tcode{p} resolves to, determined as if by the value of the POSIX \tcode{stat}
Expand Down Expand Up @@ -14890,7 +14890,7 @@
resolves to. \end{note}

\pnum
\postconditions \tcode{!exists(symlink_status(p))}.
\postconditions \tcode{exists(symlink_status(p))} is \tcode{false}.

\pnum
\returns \tcode{false} if \tcode{p} did not exist,
Expand Down Expand Up @@ -14918,7 +14918,7 @@
resolves to. \end{note}

\pnum
\postconditions \tcode{!exists(symlink_status(p))}.
\postconditions \tcode{exists(symlink_status(p))} is \tcode{false}.

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

Expand Down