From Jason Turner

[streambuf.virt.pback]

Diff to HTML by rtfpessoa

tmp/tmpaxxgxlpx/{from.md → to.md} RENAMED
@@ -17,11 +17,11 @@ modifications that
17
  is determined.
18
  - If `traits::eq_int_type(c, traits::eof())` returns `false`, then `c`
19
  is prepended. Whether the input sequence is backed up or modified in
20
  any other way is unspecified.
21
 
22
- *Postconditions:* On return, the constraints of `gptr()`, `eback()`, and
23
  `pptr()` are the same as for `underflow()`.
24
 
25
  *Returns:* `traits::eof()` to indicate failure. Failure may occur
26
  because the input sequence could not be backed up, or if for some other
27
  reason the pointers could not be set consistent with the constraints.
 
17
  is determined.
18
  - If `traits::eq_int_type(c, traits::eof())` returns `false`, then `c`
19
  is prepended. Whether the input sequence is backed up or modified in
20
  any other way is unspecified.
21
 
22
+ *Ensures:* On return, the constraints of `gptr()`, `eback()`, and
23
  `pptr()` are the same as for `underflow()`.
24
 
25
  *Returns:* `traits::eof()` to indicate failure. Failure may occur
26
  because the input sequence could not be backed up, or if for some other
27
  reason the pointers could not be set consistent with the constraints.