tmp/tmp6i6nbjrk/{from.md → to.md}
RENAMED
|
@@ -19,22 +19,22 @@ bool filesystem::copy_file(const path& from, const path& to, copy_options option
|
|
| 19 |
*Preconditions:* At most one element from each option
|
| 20 |
group [[fs.enum.copy.opts]] is set in `options`.
|
| 21 |
|
| 22 |
*Effects:* As follows:
|
| 23 |
|
| 24 |
-
- Report an error as specified in [[fs.err.report]] if
|
| 25 |
- `is_regular_file(from)` is `false`, or
|
| 26 |
- `exists(to)` is `true` and `is_regular_file(to)` is `false`, or
|
| 27 |
- `exists(to)` is `true` and `equivalent(from, to)` is `true`, or
|
| 28 |
- `exists(to)` is `true` and
|
| 29 |
``` cpp
|
| 30 |
(options & (copy_options::skip_existing |
|
| 31 |
copy_options::overwrite_existing |
|
| 32 |
copy_options::update_existing)) == copy_options::none
|
| 33 |
```
|
| 34 |
- Otherwise, copy the contents and attributes of the file `from`
|
| 35 |
-
resolves to, to the file `to` resolves to, if
|
| 36 |
- `exists(to)` is `false`, or
|
| 37 |
- `(options & copy_options::overwrite_existing) != copy_options::none`,
|
| 38 |
or
|
| 39 |
- `(options & copy_options::update_existing) `` `` != copy_options::none`
|
| 40 |
and `from` is more recent than `to`, determined as if by use of the
|
|
|
|
| 19 |
*Preconditions:* At most one element from each option
|
| 20 |
group [[fs.enum.copy.opts]] is set in `options`.
|
| 21 |
|
| 22 |
*Effects:* As follows:
|
| 23 |
|
| 24 |
+
- Report an error as specified in [[fs.err.report]] if
|
| 25 |
- `is_regular_file(from)` is `false`, or
|
| 26 |
- `exists(to)` is `true` and `is_regular_file(to)` is `false`, or
|
| 27 |
- `exists(to)` is `true` and `equivalent(from, to)` is `true`, or
|
| 28 |
- `exists(to)` is `true` and
|
| 29 |
``` cpp
|
| 30 |
(options & (copy_options::skip_existing |
|
| 31 |
copy_options::overwrite_existing |
|
| 32 |
copy_options::update_existing)) == copy_options::none
|
| 33 |
```
|
| 34 |
- Otherwise, copy the contents and attributes of the file `from`
|
| 35 |
+
resolves to, to the file `to` resolves to, if
|
| 36 |
- `exists(to)` is `false`, or
|
| 37 |
- `(options & copy_options::overwrite_existing) != copy_options::none`,
|
| 38 |
or
|
| 39 |
- `(options & copy_options::update_existing) `` `` != copy_options::none`
|
| 40 |
and `from` is more recent than `to`, determined as if by use of the
|