From Jason Turner

[syserr.errcode.modifiers]

Diff to HTML by rtfpessoa

tmp/tmpn_cengeq/{from.md → to.md} RENAMED
@@ -1,28 +1,25 @@
1
- #### Class `error_code` modifiers <a id="syserr.errcode.modifiers">[[syserr.errcode.modifiers]]</a>
2
 
3
  ``` cpp
4
  void assign(int val, const error_category& cat) noexcept;
5
  ```
6
 
7
- *Postconditions:* `val_ == val` and `cat_ == &cat`.
8
 
9
  ``` cpp
10
  template<class ErrorCodeEnum>
11
  error_code& operator=(ErrorCodeEnum e) noexcept;
12
  ```
13
 
14
- *Postconditions:* `*this == make_error_code(e)`.
 
 
15
 
16
  *Returns:* `*this`.
17
 
18
- *Remarks:*
19
-
20
- This operator shall not participate in overload resolution unless
21
- `is_error_code_enum_v<ErrorCodeEnum>` is `true`.
22
-
23
  ``` cpp
24
  void clear() noexcept;
25
  ```
26
 
27
- *Postconditions:* `value() == 0` and `category() == system_category()`.
28
 
 
1
+ #### Modifiers <a id="syserr.errcode.modifiers">[[syserr.errcode.modifiers]]</a>
2
 
3
  ``` cpp
4
  void assign(int val, const error_category& cat) noexcept;
5
  ```
6
 
7
+ *Ensures:* `val_ == val` and `cat_ == &cat`.
8
 
9
  ``` cpp
10
  template<class ErrorCodeEnum>
11
  error_code& operator=(ErrorCodeEnum e) noexcept;
12
  ```
13
 
14
+ *Constraints:* `is_error_code_enum_v<ErrorCodeEnum>` is `true`.
15
+
16
+ *Ensures:* `*this == make_error_code(e)`.
17
 
18
  *Returns:* `*this`.
19
 
 
 
 
 
 
20
  ``` cpp
21
  void clear() noexcept;
22
  ```
23
 
24
+ *Ensures:* `value() == 0` and `category() == system_category()`.
25