tmp/tmpgn0whxmm/{from.md → to.md}
RENAMED
|
@@ -35,11 +35,12 @@ exception(const exception& rhs) noexcept;
|
|
| 35 |
exception& operator=(const exception& rhs) noexcept;
|
| 36 |
```
|
| 37 |
|
| 38 |
*Effects:* Copies an `exception` object.
|
| 39 |
|
| 40 |
-
If `*this` and `rhs` both have dynamic type
|
|
|
|
| 41 |
`strcmp(what(), rhs.what())` shall equal 0.
|
| 42 |
|
| 43 |
``` cpp
|
| 44 |
virtual ~exception();
|
| 45 |
```
|
|
|
|
| 35 |
exception& operator=(const exception& rhs) noexcept;
|
| 36 |
```
|
| 37 |
|
| 38 |
*Effects:* Copies an `exception` object.
|
| 39 |
|
| 40 |
+
*Postconditions:* If `*this` and `rhs` both have dynamic type
|
| 41 |
+
`exception` then the value of the expression
|
| 42 |
`strcmp(what(), rhs.what())` shall equal 0.
|
| 43 |
|
| 44 |
``` cpp
|
| 45 |
virtual ~exception();
|
| 46 |
```
|