From Jason Turner

[syserr.errcode.constructors]

Diff to HTML by rtfpessoa

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