tmp/tmp9_p2k9er/{from.md → to.md}
RENAMED
|
@@ -26,8 +26,10 @@ void pbump(int n);
|
|
| 26 |
|
| 27 |
``` cpp
|
| 28 |
void setp(char_type* pbeg, char_type* pend);
|
| 29 |
```
|
| 30 |
|
|
|
|
|
|
|
| 31 |
*Ensures:* `pbeg == pbase()`, `pbeg == pptr()`, and `pend == epptr()`
|
| 32 |
are all `true`.
|
| 33 |
|
|
|
|
| 26 |
|
| 27 |
``` cpp
|
| 28 |
void setp(char_type* pbeg, char_type* pend);
|
| 29 |
```
|
| 30 |
|
| 31 |
+
*Preconditions:* \[`pbeg`, `pend`) is a valid range.
|
| 32 |
+
|
| 33 |
*Ensures:* `pbeg == pbase()`, `pbeg == pptr()`, and `pend == epptr()`
|
| 34 |
are all `true`.
|
| 35 |
|