tmp/tmp08wzm9xj/{from.md → to.md}
RENAMED
|
@@ -2,7 +2,9 @@
|
|
| 2 |
|
| 3 |
``` cpp
|
| 4 |
bad_function_call() noexcept;
|
| 5 |
```
|
| 6 |
|
| 7 |
-
*Effects:*
|
|
|
|
|
|
|
| 8 |
|
|
|
|
| 2 |
|
| 3 |
``` cpp
|
| 4 |
bad_function_call() noexcept;
|
| 5 |
```
|
| 6 |
|
| 7 |
+
*Effects:* Constructs a `bad_function_call` object.
|
| 8 |
+
|
| 9 |
+
*Postconditions:* `what()` returns an *implementation-defined* NTBS.
|
| 10 |
|