From Jason Turner

[syncstream.syncbuf.members]

C++23 → Trunk 2.0 KB 23 lines
Current Draft | LaTeX Source
Archived: C++23
Markdown: C++23 | Trunk
Explore in Adventure Game

Diff to HTML by rtfpessoa

Files changed (1) hide show
  1. tmp/tmpv9y3fc5g/{from.md → to.md} +9 -9
tmp/tmpv9y3fc5g/{from.md → to.md} RENAMED
@@ -3,13 +3,13 @@
3
  ``` cpp
4
  bool emit();
5
  ```
6
 
7
  *Effects:* Atomically transfers the associated output of `*this` to the
8
- stream buffer `*wrapped`, so that it appears in the output stream as a
9
- contiguous sequence of characters. `wrapped->pubsync()` is called if and
10
- only if a call was made to `sync()` since the most recent call to
11
  `emit()`, if any.
12
 
13
  *Synchronization:* All `emit()` calls transferring characters to the
14
  same stream buffer object appear to execute in a total order consistent
15
  with the “happens before” relation [[intro.races]], where each `emit()`
@@ -18,23 +18,23 @@ call synchronizes with subsequent `emit()` calls in that total order.
18
  *Ensures:* On success, the associated output is empty.
19
 
20
  *Returns:* `true` if all of the following conditions hold; otherwise
21
  `false`:
22
 
23
- - `wrapped == nullptr` is `false`.
24
  - All of the characters in the associated output were successfully
25
  transferred.
26
- - The call to `wrapped->pubsync()` (if any) succeeded.
27
 
28
- *Remarks:* May call member functions of `wrapped` while holding a lock
29
- uniquely associated with `wrapped`.
30
 
31
  ``` cpp
32
  streambuf_type* get_wrapped() const noexcept;
33
  ```
34
 
35
- *Returns:* `wrapped`.
36
 
37
  ``` cpp
38
  allocator_type get_allocator() const noexcept;
39
  ```
40
 
@@ -43,7 +43,7 @@ assignment operator.
43
 
44
  ``` cpp
45
  void set_emit_on_sync(bool b) noexcept;
46
  ```
47
 
48
- *Effects:* `emit_on_sync = b`.
49
 
 
3
  ``` cpp
4
  bool emit();
5
  ```
6
 
7
  *Effects:* Atomically transfers the associated output of `*this` to the
8
+ stream buffer `*`*`wrapped`*, so that it appears in the output stream as
9
+ a contiguous sequence of characters. *`wrapped`*`->pubsync()` is called
10
+ if and only if a call was made to `sync()` since the most recent call to
11
  `emit()`, if any.
12
 
13
  *Synchronization:* All `emit()` calls transferring characters to the
14
  same stream buffer object appear to execute in a total order consistent
15
  with the “happens before” relation [[intro.races]], where each `emit()`
 
18
  *Ensures:* On success, the associated output is empty.
19
 
20
  *Returns:* `true` if all of the following conditions hold; otherwise
21
  `false`:
22
 
23
+ - *`wrapped`*` == nullptr` is `false`.
24
  - All of the characters in the associated output were successfully
25
  transferred.
26
+ - The call to *`wrapped`*`->pubsync()` (if any) succeeded.
27
 
28
+ *Remarks:* May call member functions of *wrapped* while holding a lock
29
+ uniquely associated with *wrapped*.
30
 
31
  ``` cpp
32
  streambuf_type* get_wrapped() const noexcept;
33
  ```
34
 
35
+ *Returns:* *wrapped*.
36
 
37
  ``` cpp
38
  allocator_type get_allocator() const noexcept;
39
  ```
40
 
 
43
 
44
  ``` cpp
45
  void set_emit_on_sync(bool b) noexcept;
46
  ```
47
 
48
+ *Effects:* *`emit-on-sync`*` = b`.
49