From Jason Turner

[syserr.syserr.members]

C++17 → C++20 3.4 KB 53 lines
Current Draft | LaTeX Source
Archived: C++17 | C++20
Markdown: C++17 | C++20
Explore in Adventure Game

Diff to HTML by rtfpessoa

Files changed (1) hide show
  1. tmp/tmpxne_2xrn/{from.md → to.md} +18 -30
tmp/tmpxne_2xrn/{from.md → to.md} RENAMED
@@ -1,62 +1,50 @@
1
- #### Class `system_error` members <a id="syserr.syserr.members">[[syserr.syserr.members]]</a>
2
 
3
  ``` cpp
4
  system_error(error_code ec, const string& what_arg);
5
  ```
6
 
7
- *Effects:* Constructs an object of class `system_error`.
8
-
9
- *Postconditions:* `code() == ec`.
10
-
11
- `string(what()).find(what_arg) != string::npos`.
12
 
13
  ``` cpp
14
  system_error(error_code ec, const char* what_arg);
15
  ```
16
 
17
- *Effects:* Constructs an object of class `system_error`.
18
-
19
- *Postconditions:* `code() == ec`.
20
-
21
- `string(what()).find(what_arg) != string::npos`.
22
 
23
  ``` cpp
24
  system_error(error_code ec);
25
  ```
26
 
27
- *Effects:* Constructs an object of class `system_error`.
28
-
29
- *Postconditions:* `code() == ec`.
30
 
31
  ``` cpp
32
  system_error(int ev, const error_category& ecat, const string& what_arg);
33
  ```
34
 
35
- *Effects:* Constructs an object of class `system_error`.
36
 
37
- *Postconditions:* `code() == error_code(ev, ecat)`.
38
-
39
- `string(what()).find(what_arg) != string::npos`.
40
 
41
  ``` cpp
42
  system_error(int ev, const error_category& ecat, const char* what_arg);
43
  ```
44
 
45
- *Effects:* Constructs an object of class `system_error`.
46
 
47
- *Postconditions:* `code() == error_code(ev, ecat)`.
48
-
49
- `string(what()).find(what_arg) != string::npos`.
50
 
51
  ``` cpp
52
  system_error(int ev, const error_category& ecat);
53
  ```
54
 
55
- *Effects:* Constructs an object of class `system_error`.
56
-
57
- *Postconditions:* `code() == error_code(ev, ecat)`.
58
 
59
  ``` cpp
60
  const error_code& code() const noexcept;
61
  ```
62
 
@@ -74,18 +62,19 @@ constructor.
74
  `what_arg + ": " + code.message()`. — *end note*]
75
 
76
  <!-- Link reference definitions -->
77
  [assertions]: #assertions
78
  [assertions.assert]: #assertions.assert
79
- [bad.alloc]: language.md#bad.alloc
80
  [cassert.syn]: #cassert.syn
81
  [cerrno.syn]: #cerrno.syn
82
- [comparisons]: utilities.md#comparisons
83
- [conv]: conv.md#conv
84
  [defns.const.subexpr]: library.md#defns.const.subexpr
85
  [diagnostics]: #diagnostics
86
  [diagnostics.general]: #diagnostics.general
 
87
  [domain.error]: #domain.error
88
  [errno]: #errno
89
  [invalid.argument]: #invalid.argument
90
  [length.error]: #length.error
91
  [logic.error]: #logic.error
@@ -118,9 +107,8 @@ constructor.
118
  [syserr.errcondition.overview]: #syserr.errcondition.overview
119
  [syserr.hash]: #syserr.hash
120
  [syserr.syserr]: #syserr.syserr
121
  [syserr.syserr.members]: #syserr.syserr.members
122
  [syserr.syserr.overview]: #syserr.syserr.overview
123
- [system_error.syn]: #system_error.syn
124
- [tab:diagnostics.lib.summary]: #tab:diagnostics.lib.summary
125
  [underflow.error]: #underflow.error
126
  [unord.hash]: utilities.md#unord.hash
 
1
+ #### Members <a id="syserr.syserr.members">[[syserr.syserr.members]]</a>
2
 
3
  ``` cpp
4
  system_error(error_code ec, const string& what_arg);
5
  ```
6
 
7
+ *Ensures:* `code() == ec` and
8
+ `string_view(what()).find(what_arg.c_str()) != string_view::npos`.
 
 
 
9
 
10
  ``` cpp
11
  system_error(error_code ec, const char* what_arg);
12
  ```
13
 
14
+ *Ensures:* `code() == ec` and
15
+ `string_view(what()).find(what_arg) != string_view::npos`.
 
 
 
16
 
17
  ``` cpp
18
  system_error(error_code ec);
19
  ```
20
 
21
+ *Ensures:* `code() == ec`.
 
 
22
 
23
  ``` cpp
24
  system_error(int ev, const error_category& ecat, const string& what_arg);
25
  ```
26
 
27
+ *Ensures:*
28
 
29
+ `code() == error_code(ev, ecat)` and
30
+ `string_view(what()).find(what_arg.c_str()) != string_view::npos`.
 
31
 
32
  ``` cpp
33
  system_error(int ev, const error_category& ecat, const char* what_arg);
34
  ```
35
 
36
+ *Ensures:*
37
 
38
+ `code() == error_code(ev, ecat)` and
39
+ `string_view(what()).find(what_arg) != string_view::npos`.
 
40
 
41
  ``` cpp
42
  system_error(int ev, const error_category& ecat);
43
  ```
44
 
45
+ *Ensures:* `code() == error_code(ev, ecat)`.
 
 
46
 
47
  ``` cpp
48
  const error_code& code() const noexcept;
49
  ```
50
 
 
62
  `what_arg + ": " + code.message()`. — *end note*]
63
 
64
  <!-- Link reference definitions -->
65
  [assertions]: #assertions
66
  [assertions.assert]: #assertions.assert
67
+ [bad.alloc]: support.md#bad.alloc
68
  [cassert.syn]: #cassert.syn
69
  [cerrno.syn]: #cerrno.syn
70
+ [comparisons.three.way]: utilities.md#comparisons.three.way
71
+ [conv]: expr.md#conv
72
  [defns.const.subexpr]: library.md#defns.const.subexpr
73
  [diagnostics]: #diagnostics
74
  [diagnostics.general]: #diagnostics.general
75
+ [diagnostics.summary]: #diagnostics.summary
76
  [domain.error]: #domain.error
77
  [errno]: #errno
78
  [invalid.argument]: #invalid.argument
79
  [length.error]: #length.error
80
  [logic.error]: #logic.error
 
107
  [syserr.errcondition.overview]: #syserr.errcondition.overview
108
  [syserr.hash]: #syserr.hash
109
  [syserr.syserr]: #syserr.syserr
110
  [syserr.syserr.members]: #syserr.syserr.members
111
  [syserr.syserr.overview]: #syserr.syserr.overview
112
+ [system.error.syn]: #system.error.syn
 
113
  [underflow.error]: #underflow.error
114
  [unord.hash]: utilities.md#unord.hash