From Jason Turner

[syserr.errcondition.modifiers]

Diff to HTML by rtfpessoa

tmp/tmpujs9yowy/{from.md → to.md} RENAMED
@@ -1,28 +1,26 @@
1
- #### Class `error_condition` modifiers <a id="syserr.errcondition.modifiers">[[syserr.errcondition.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 ErrorConditionEnum>
11
  error_condition& operator=(ErrorConditionEnum e) noexcept;
12
  ```
13
 
14
- *Postconditions:* `*this == make_error_condition(e)`.
 
 
 
15
 
16
  *Returns:* `*this`.
17
 
18
- *Remarks:*
19
-
20
- This operator shall not participate in overload resolution unless
21
- `is_error_condition_enum_v<ErrorConditionEnum>` is `true`.
22
-
23
  ``` cpp
24
  void clear() noexcept;
25
  ```
26
 
27
- *Postconditions:* `value() == 0` and `category() == generic_category()`.
28
 
 
1
+ #### Modifiers <a id="syserr.errcondition.modifiers">[[syserr.errcondition.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 ErrorConditionEnum>
11
  error_condition& operator=(ErrorConditionEnum e) noexcept;
12
  ```
13
 
14
+ *Constraints:* `is_error_condition_enum_v<ErrorConditionEnum>` is
15
+ `true`.
16
+
17
+ *Ensures:* `*this == make_error_condition(e)`.
18
 
19
  *Returns:* `*this`.
20
 
 
 
 
 
 
21
  ``` cpp
22
  void clear() noexcept;
23
  ```
24
 
25
+ *Ensures:* `value() == 0` and `category() == generic_category()`.
26