From Jason Turner

[streambuf.protected]

C++17 → C++20 1.4 KB 19 lines
Current Draft | LaTeX Source
Archived: C++17 | C++20
Markdown: C++17 | C++20
Explore in Adventure Game

Diff to HTML by rtfpessoa

Files changed (1) hide show
  1. tmp/tmpwhhz9gk8/{from.md → to.md} +6 -8
tmp/tmpwhhz9gk8/{from.md → to.md} RENAMED
@@ -1,16 +1,14 @@
1
- #### `basic_streambuf` protected member functions <a id="streambuf.protected">[[streambuf.protected]]</a>
2
 
3
  ##### Assignment <a id="streambuf.assign">[[streambuf.assign]]</a>
4
 
5
  ``` cpp
6
  basic_streambuf& operator=(const basic_streambuf& rhs);
7
  ```
8
 
9
- *Effects:* Assigns the data members of `rhs` to `*this`.
10
-
11
- *Postconditions:*
12
 
13
  - `eback() == rhs.eback()`
14
  - `gptr() == rhs.gptr()`
15
  - `egptr() == rhs.egptr()`
16
  - `pbase() == rhs.pbase()`
@@ -54,12 +52,12 @@ void gbump(int n);
54
 
55
  ``` cpp
56
  void setg(char_type* gbeg, char_type* gnext, char_type* gend);
57
  ```
58
 
59
- *Postconditions:* `gbeg == eback()`, `gnext == gptr()`, and
60
- `gend == egptr()`.
61
 
62
  ##### Put area access <a id="streambuf.put.area">[[streambuf.put.area]]</a>
63
 
64
  ``` cpp
65
  char_type* pbase() const;
@@ -87,8 +85,8 @@ void pbump(int n);
87
 
88
  ``` cpp
89
  void setp(char_type* pbeg, char_type* pend);
90
  ```
91
 
92
- *Postconditions:* `pbeg == pbase()`, `pbeg == pptr()`, and
93
- `pend == epptr()`.
94
 
 
1
+ #### Protected member functions <a id="streambuf.protected">[[streambuf.protected]]</a>
2
 
3
  ##### Assignment <a id="streambuf.assign">[[streambuf.assign]]</a>
4
 
5
  ``` cpp
6
  basic_streambuf& operator=(const basic_streambuf& rhs);
7
  ```
8
 
9
+ *Ensures:*
 
 
10
 
11
  - `eback() == rhs.eback()`
12
  - `gptr() == rhs.gptr()`
13
  - `egptr() == rhs.egptr()`
14
  - `pbase() == rhs.pbase()`
 
52
 
53
  ``` cpp
54
  void setg(char_type* gbeg, char_type* gnext, char_type* gend);
55
  ```
56
 
57
+ *Ensures:* `gbeg == eback()`, `gnext == gptr()`, and `gend == egptr()`
58
+ are all `true`.
59
 
60
  ##### Put area access <a id="streambuf.put.area">[[streambuf.put.area]]</a>
61
 
62
  ``` cpp
63
  char_type* pbase() const;
 
85
 
86
  ``` cpp
87
  void setp(char_type* pbeg, char_type* pend);
88
  ```
89
 
90
+ *Ensures:* `pbeg == pbase()`, `pbeg == pptr()`, and `pend == epptr()`
91
+ are all `true`.
92