tmp/tmpc1uczsso/{from.md → to.md}
RENAMED
|
@@ -32,25 +32,27 @@ with an error.
|
|
| 32 |
filesystem_error(const string& what_arg, error_code ec);
|
| 33 |
```
|
| 34 |
|
| 35 |
*Ensures:*
|
| 36 |
|
| 37 |
-
- `code() == ec`,
|
| 38 |
-
- `path1().empty()
|
| 39 |
-
- `path2().empty()
|
| 40 |
-
- `string_view(what()).find(what_arg.c_str())` `!= string_view::npos`
|
|
|
|
| 41 |
|
| 42 |
``` cpp
|
| 43 |
filesystem_error(const string& what_arg, const path& p1, error_code ec);
|
| 44 |
```
|
| 45 |
|
| 46 |
*Ensures:*
|
| 47 |
|
| 48 |
-
- `code() == ec`,
|
| 49 |
- `path1()` returns a reference to the stored copy of `p1`,
|
| 50 |
-
- `path2().empty()
|
| 51 |
-
- `string_view(what()).find(what_arg.c_str())` `!= string_view::npos`
|
|
|
|
| 52 |
|
| 53 |
``` cpp
|
| 54 |
filesystem_error(const string& what_arg, const path& p1, const path& p2, error_code ec);
|
| 55 |
```
|
| 56 |
|
|
|
|
| 32 |
filesystem_error(const string& what_arg, error_code ec);
|
| 33 |
```
|
| 34 |
|
| 35 |
*Ensures:*
|
| 36 |
|
| 37 |
+
- `code() == ec` is `true`,
|
| 38 |
+
- `path1().empty()` is `true`,
|
| 39 |
+
- `path2().empty()` is `true`, and
|
| 40 |
+
- `string_view(what()).find(what_arg.c_str())` `!= string_view::npos` is
|
| 41 |
+
`true`.
|
| 42 |
|
| 43 |
``` cpp
|
| 44 |
filesystem_error(const string& what_arg, const path& p1, error_code ec);
|
| 45 |
```
|
| 46 |
|
| 47 |
*Ensures:*
|
| 48 |
|
| 49 |
+
- `code() == ec` is `true`,
|
| 50 |
- `path1()` returns a reference to the stored copy of `p1`,
|
| 51 |
+
- `path2().empty()` is `true`, and
|
| 52 |
+
- `string_view(what()).find(what_arg.c_str())` `!= string_view::npos` is
|
| 53 |
+
`true`.
|
| 54 |
|
| 55 |
``` cpp
|
| 56 |
filesystem_error(const string& what_arg, const path& p1, const path& p2, error_code ec);
|
| 57 |
```
|
| 58 |
|