From Jason Turner

[streambuf.virt.get]

Diff to HTML by rtfpessoa

tmp/tmp_h3ro77j/{from.md → to.md} RENAMED
@@ -33,11 +33,11 @@ to `sbumpc()` would return `traits::eof()`.
33
  ``` cpp
34
  int_type underflow();
35
  ```
36
 
37
  *Remarks:* The public members of `basic_streambuf` call this virtual
38
- function only if `gptr()` is null or `gptr() >= egptr()`
39
 
40
  *Returns:* `traits::to_int_type(c)`, where `c` is the first *character*
41
  of the *pending sequence*, without moving the input sequence position
42
  past it. If the pending sequence is null then the function returns
43
  `traits::eof()` to indicate failure.
@@ -75,13 +75,13 @@ that either
75
 
76
  ``` cpp
77
  int_type uflow();
78
  ```
79
 
80
- *Requires:* The constraints are the same as for `underflow()`, except
81
- that the result character shall be transferred from the pending sequence
82
- to the backup sequence, and the pending sequence shall not be empty
83
  before the transfer.
84
 
85
  *Default behavior:* Calls `underflow()`. If `underflow()` returns
86
  `traits::eof()`, returns `traits::eof()`. Otherwise, returns the value
87
  of `traits::to_int_type(*gptr())` and increment the value of the next
 
33
  ``` cpp
34
  int_type underflow();
35
  ```
36
 
37
  *Remarks:* The public members of `basic_streambuf` call this virtual
38
+ function only if `gptr()` is null or `gptr() >= egptr()`.
39
 
40
  *Returns:* `traits::to_int_type(c)`, where `c` is the first *character*
41
  of the *pending sequence*, without moving the input sequence position
42
  past it. If the pending sequence is null then the function returns
43
  `traits::eof()` to indicate failure.
 
75
 
76
  ``` cpp
77
  int_type uflow();
78
  ```
79
 
80
+ *Preconditions:* The constraints are the same as for `underflow()`,
81
+ except that the result character is transferred from the pending
82
+ sequence to the backup sequence, and the pending sequence is not empty
83
  before the transfer.
84
 
85
  *Default behavior:* Calls `underflow()`. If `underflow()` returns
86
  `traits::eof()`, returns `traits::eof()`. Otherwise, returns the value
87
  of `traits::to_int_type(*gptr())` and increment the value of the next