From Jason Turner

[syserr.errcondition]

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

Diff to HTML by rtfpessoa

Files changed (1) hide show
  1. tmp/tmpterpz4xp/{from.md → to.md} +15 -4
tmp/tmpterpz4xp/{from.md → to.md} RENAMED
@@ -42,27 +42,33 @@ namespace std {
42
 
43
  ``` cpp
44
  error_condition() noexcept;
45
  ```
46
 
47
- *Ensures:* `val_ == 0` and `cat_ == &generic_category()`.
 
48
 
49
  ``` cpp
50
  error_condition(int val, const error_category& cat) noexcept;
51
  ```
52
 
53
- *Ensures:* `val_ == val` and `cat_ == &cat`.
54
 
55
  ``` cpp
56
  template<class ErrorConditionEnum>
57
  error_condition(ErrorConditionEnum e) noexcept;
58
  ```
59
 
60
  *Constraints:* `is_error_condition_enum_v<ErrorConditionEnum>` is
61
  `true`.
62
 
63
- *Ensures:* `*this == make_error_condition(e)`.
 
 
 
 
 
64
 
65
  #### Modifiers <a id="syserr.errcondition.modifiers">[[syserr.errcondition.modifiers]]</a>
66
 
67
  ``` cpp
68
  void assign(int val, const error_category& cat) noexcept;
@@ -76,11 +82,16 @@ template<class ErrorConditionEnum>
76
  ```
77
 
78
  *Constraints:* `is_error_condition_enum_v<ErrorConditionEnum>` is
79
  `true`.
80
 
81
- *Ensures:* `*this == make_error_condition(e)`.
 
 
 
 
 
82
 
83
  *Returns:* `*this`.
84
 
85
  ``` cpp
86
  void clear() noexcept;
 
42
 
43
  ``` cpp
44
  error_condition() noexcept;
45
  ```
46
 
47
+ *Effects:* Initializes `val_` with `0` and `cat_` with
48
+ `&generic_category()`.
49
 
50
  ``` cpp
51
  error_condition(int val, const error_category& cat) noexcept;
52
  ```
53
 
54
+ *Effects:* Initializes `val_` with `val` and `cat_` with `&cat`.
55
 
56
  ``` cpp
57
  template<class ErrorConditionEnum>
58
  error_condition(ErrorConditionEnum e) noexcept;
59
  ```
60
 
61
  *Constraints:* `is_error_condition_enum_v<ErrorConditionEnum>` is
62
  `true`.
63
 
64
+ *Effects:* Equivalent to:
65
+
66
+ ``` cpp
67
+ error_condition ec = make_error_condition(e);
68
+ assign(ec.value(), ec.category());
69
+ ```
70
 
71
  #### Modifiers <a id="syserr.errcondition.modifiers">[[syserr.errcondition.modifiers]]</a>
72
 
73
  ``` cpp
74
  void assign(int val, const error_category& cat) noexcept;
 
82
  ```
83
 
84
  *Constraints:* `is_error_condition_enum_v<ErrorConditionEnum>` is
85
  `true`.
86
 
87
+ *Effects:* Equivalent to:
88
+
89
+ ``` cpp
90
+ error_condition ec = make_error_condition(e);
91
+ assign(ec.value(), ec.category());
92
+ ```
93
 
94
  *Returns:* `*this`.
95
 
96
  ``` cpp
97
  void clear() noexcept;