LWG3043 Bogus postcondition for filesystem_error constructor

Author: Dawn Perchik

source/iostreams.tex

@@ -12831,19 +12831,11 @@
 
 \begin{itemdescr}
 \pnum
-\postconditions The postconditions of this function are indicated in
-Table~\ref{tab:filesystem_error.1}.
-
-\begin{floattable}
-{\tcode{filesystem_error(const string\&, error_code)} effects}{tab:filesystem_error.1}
-{ll}
-\topline
-\lhdr{Expression}		& \rhdr{Value} \\ \capsep
-\tcode{runtime_error::what()}	& \tcode{what_arg.c_str()} \\ \rowsep
-\tcode{code()}			& \tcode{ec}	\\ \rowsep
-\tcode{path1().empty()}		& \tcode{true}	\\ \rowsep
-\tcode{path2().empty()}		& \tcode{true}	\\ \rowsep
-\end{floattable}
+\postconditions
+\tcode{code() == ec},
+\tcode{path1().empty() == true},
+\tcode{path2().empty() == true}, and
+\tcode{string_view(what()).find(what_arg)} \tcode{!= string_view::npos}.
 \end{itemdescr}
 
 \indexlibrary{\idxcode{filesystem_error}!constructor}%
@@ -12853,19 +12845,11 @@
 
 \begin{itemdescr}
 \pnum
-\postconditions The postconditions of this function are indicated in
-Table~\ref{tab:filesystem_error.2}.
-
-\begin{floattable}
-{\tcode{filesystem_error(const string\&, const path\&, error_code)} effects}{tab:filesystem_error.2}
-{ll}
-\topline
-\lhdr{Expression}		& \rhdr{Value} \\ \capsep
-\tcode{runtime_error::what()}	& \tcode{what_arg.c_str()} \\ \rowsep
-\tcode{code()}			& \tcode{ec}	\\ \rowsep
-\tcode{path1()}			& Reference to stored copy of \tcode{p1}	\\ \rowsep
-\tcode{path2().empty()}		& \tcode{true}	\\ \rowsep
-\end{floattable}
+\postconditions
+\tcode{code() == ec},
+\tcode{path1()} returns a reference to the stored copy of \tcode{p1},
+\tcode{path2().empty() == true}, and
+\tcode{string_view(what()).find(what_arg)} \tcode{!= string_view::npos}.
 \end{itemdescr}
 
 \indexlibrary{\idxcode{filesystem_error}!constructor}%
@@ -12875,19 +12859,11 @@
 
 \begin{itemdescr}
 \pnum
-\postconditions The postconditions of this function are indicated in
-Table~\ref{tab:filesystem_error.3}.
-
-\begin{floattable}
-{\tcode{filesystem_error(const string\&, const path\&, const path\&, error_code)} effects}{tab:filesystem_error.3}
-{ll}
-\topline
-\lhdr{Expression}		& \rhdr{Value} \\ \capsep
-\tcode{runtime_error::what()}	& \tcode{what_arg.c_str()} \\ \rowsep
-\tcode{code()}			& \tcode{ec}	\\ \rowsep
-\tcode{path1()}			& Reference to stored copy of \tcode{p1}	\\ \rowsep
-\tcode{path2()}			& Reference to stored copy of \tcode{p2}	\\ \rowsep
-\end{floattable}
+\postconditions
+\tcode{code() == ec},
+\tcode{path1()} returns a reference to the stored copy of \tcode{p1},
+\tcode{path2()} returns a reference to the stored copy of \tcode{p2}, and
+\tcode{string_view(what()).find(what_arg)} \tcode{!= string_view::npos}.
 \end{itemdescr}
 
 \indexlibrarymember{path1}{filesystem_error}%
@@ -12919,7 +12895,9 @@
 
 \begin{itemdescr}
 \pnum
-\returns A string containing \tcode{runtime_error::what()}. The exact format is unspecified.
+\returns An \ntbs{} that incorporates
+  the \tcode{what_arg} argument supplied to the constructor.
+  The exact format is unspecified.
   Implementations should include
   the \tcode{system_error::what()} string and
   the pathnames of \tcode{path1} and \tcode{path2}