tmp/tmpm4r_ky5p/{from.md → to.md}
RENAMED
|
@@ -4,11 +4,11 @@
|
|
| 4 |
void filesystem::create_hard_link(const path& to, const path& new_hard_link);
|
| 5 |
void filesystem::create_hard_link(const path& to, const path& new_hard_link,
|
| 6 |
error_code& ec) noexcept;
|
| 7 |
```
|
| 8 |
|
| 9 |
-
*Effects:* Establishes the postcondition, as if by POSIX `link
|
| 10 |
|
| 11 |
*Ensures:*
|
| 12 |
|
| 13 |
- `exists(to) && exists(new_hard_link) && equivalent(to, new_hard_link)`
|
| 14 |
- The contents of the file or directory `to` resolves to are unchanged.
|
|
|
|
| 4 |
void filesystem::create_hard_link(const path& to, const path& new_hard_link);
|
| 5 |
void filesystem::create_hard_link(const path& to, const path& new_hard_link,
|
| 6 |
error_code& ec) noexcept;
|
| 7 |
```
|
| 8 |
|
| 9 |
+
*Effects:* Establishes the postcondition, as if by POSIX `link`.
|
| 10 |
|
| 11 |
*Ensures:*
|
| 12 |
|
| 13 |
- `exists(to) && exists(new_hard_link) && equivalent(to, new_hard_link)`
|
| 14 |
- The contents of the file or directory `to` resolves to are unchanged.
|