tmp/tmpaezltwdt/{from.md → to.md}
RENAMED
|
@@ -17,15 +17,15 @@ exceptions to report an argument value not in its expected range.
|
|
| 17 |
out_of_range(const string& what_arg);
|
| 18 |
```
|
| 19 |
|
| 20 |
*Effects:* Constructs an object of class `out_of_range`.
|
| 21 |
|
| 22 |
-
`strcmp(what(), what_arg.c_str()) == 0`.
|
| 23 |
|
| 24 |
``` cpp
|
| 25 |
out_of_range(const char* what_arg);
|
| 26 |
```
|
| 27 |
|
| 28 |
*Effects:* Constructs an object of class `out_of_range`.
|
| 29 |
|
| 30 |
-
`strcmp(what(), what_arg) == 0`.
|
| 31 |
|
|
|
|
| 17 |
out_of_range(const string& what_arg);
|
| 18 |
```
|
| 19 |
|
| 20 |
*Effects:* Constructs an object of class `out_of_range`.
|
| 21 |
|
| 22 |
+
*Postconditions:* `strcmp(what(), what_arg.c_str()) == 0`.
|
| 23 |
|
| 24 |
``` cpp
|
| 25 |
out_of_range(const char* what_arg);
|
| 26 |
```
|
| 27 |
|
| 28 |
*Effects:* Constructs an object of class `out_of_range`.
|
| 29 |
|
| 30 |
+
*Postconditions:* `strcmp(what(), what_arg) == 0`.
|
| 31 |
|