From e36651d82ea301b7901f5ec0681f919fc0eff7bf Mon Sep 17 00:00:00 2001
From: Jens Maurer <Jens.Maurer@gmx.net>
Date: Tue, 28 Mar 2017 21:55:42 +0200
Subject: [PATCH] [filesystems] Change '!predicate' phrasing to 'predicate is
 false'.

Fixes #1535.
---
 source/iostreams.tex | 32 ++++++++++++++++----------------
 1 file changed, 16 insertions(+), 16 deletions(-)

diff --git a/source/iostreams.tex b/source/iostreams.tex
index 06572ae49e..5eb66574a8 100644
--- a/source/iostreams.tex
+++ b/source/iostreams.tex
@@ -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}
 
@@ -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.
@@ -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
@@ -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))
@@ -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 |
@@ -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}).
@@ -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}
@@ -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,
@@ -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
@@ -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.