From Jason Turner

[syserr.errcondition.constructors]

Diff to HTML by rtfpessoa

Files changed (1) hide show
  1. tmp/tmplsjmuuwx/{from.md → to.md} +6 -14
tmp/tmplsjmuuwx/{from.md → to.md} RENAMED
@@ -1,32 +1,24 @@
1
- #### Class `error_condition` constructors <a id="syserr.errcondition.constructors">[[syserr.errcondition.constructors]]</a>
2
 
3
  ``` cpp
4
  error_condition() noexcept;
5
  ```
6
 
7
- *Effects:* Constructs an object of type `error_condition`.
8
-
9
- *Postconditions:* `val_ == 0` and `cat_ == &generic_category()`.
10
 
11
  ``` cpp
12
  error_condition(int val, const error_category& cat) noexcept;
13
  ```
14
 
15
- *Effects:* Constructs an object of type `error_condition`.
16
-
17
- *Postconditions:* `val_ == val` and `cat_ == &cat`.
18
 
19
  ``` cpp
20
  template<class ErrorConditionEnum>
21
  error_condition(ErrorConditionEnum e) noexcept;
22
  ```
23
 
24
- *Effects:* Constructs an object of type `error_condition`.
 
25
 
26
- *Postconditions:* `*this == make_error_condition(e)`.
27
-
28
- *Remarks:*
29
-
30
- This constructor shall not participate in overload resolution unless
31
- `is_error_condition_enum_v<ErrorConditionEnum>` is `true`.
32
 
 
1
+ #### Constructors <a id="syserr.errcondition.constructors">[[syserr.errcondition.constructors]]</a>
2
 
3
  ``` cpp
4
  error_condition() noexcept;
5
  ```
6
 
7
+ *Ensures:* `val_ == 0` and `cat_ == &generic_category()`.
 
 
8
 
9
  ``` cpp
10
  error_condition(int val, const error_category& cat) noexcept;
11
  ```
12
 
13
+ *Ensures:* `val_ == val` and `cat_ == &cat`.
 
 
14
 
15
  ``` cpp
16
  template<class ErrorConditionEnum>
17
  error_condition(ErrorConditionEnum e) noexcept;
18
  ```
19
 
20
+ *Constraints:* `is_error_condition_enum_v<ErrorConditionEnum>` is
21
+ `true`.
22
 
23
+ *Ensures:* `*this == make_error_condition(e)`.
 
 
 
 
 
24