tmp/tmpsi51erwg/{from.md → to.md}
RENAMED
|
@@ -26,8 +26,11 @@ void gbump(int n);
|
|
| 26 |
|
| 27 |
``` cpp
|
| 28 |
void setg(char_type* gbeg, char_type* gnext, char_type* gend);
|
| 29 |
```
|
| 30 |
|
|
|
|
|
|
|
|
|
|
| 31 |
*Ensures:* `gbeg == eback()`, `gnext == gptr()`, and `gend == egptr()`
|
| 32 |
are all `true`.
|
| 33 |
|
|
|
|
| 26 |
|
| 27 |
``` cpp
|
| 28 |
void setg(char_type* gbeg, char_type* gnext, char_type* gend);
|
| 29 |
```
|
| 30 |
|
| 31 |
+
*Preconditions:* \[`gbeg`, `gnext`), \[`gbeg`, `gend`), and \[`gnext`,
|
| 32 |
+
`gend`) are all valid ranges.
|
| 33 |
+
|
| 34 |
*Ensures:* `gbeg == eback()`, `gnext == gptr()`, and `gend == egptr()`
|
| 35 |
are all `true`.
|
| 36 |
|