From Jason Turner

[exception.terminate]

Diff to HTML by rtfpessoa

tmp/tmpvcbl2rr_/{from.md → to.md} RENAMED
@@ -4,11 +4,11 @@
4
 
5
  ``` cpp
6
  using terminate_handler = void (*)();
7
  ```
8
 
9
- The type of a *handler function* to be called by `std::terminate()` when
10
  terminating exception processing.
11
 
12
  *Required behavior:* A `terminate_handler` shall terminate execution of
13
  the program without returning to the caller.
14
 
@@ -22,38 +22,38 @@ terminate_handler set_terminate(terminate_handler f) noexcept;
22
  ```
23
 
24
  *Effects:* Establishes the function designated by `f` as the current
25
  handler function for terminating exception processing.
26
 
 
 
27
  *Remarks:* It is unspecified whether a null pointer value designates the
28
  default `terminate_handler`.
29
 
30
- *Returns:* The previous `terminate_handler`.
31
-
32
  #### `get_terminate` <a id="get.terminate">[[get.terminate]]</a>
33
 
34
  ``` cpp
35
  terminate_handler get_terminate() noexcept;
36
  ```
37
 
38
  *Returns:* The current `terminate_handler`.
39
 
40
- [*Note 1*: This may be a null pointer value. — *end note*]
41
 
42
  #### `terminate` <a id="terminate">[[terminate]]</a>
43
 
44
  ``` cpp
45
  [[noreturn]] void terminate() noexcept;
46
  ```
47
 
48
- *Remarks:* Called by the implementation when exception handling must be
49
- abandoned for any of several reasons [[except.terminate]]. May also be
50
- called directly by the program.
51
-
52
  *Effects:* Calls a `terminate_handler` function. It is unspecified which
53
  `terminate_handler` function will be called if an exception is active
54
  during a call to `set_terminate`. Otherwise calls the current
55
  `terminate_handler` function.
56
 
57
  [*Note 1*: A default `terminate_handler` is always considered a
58
  callable handler in this context. — *end note*]
59
 
 
 
 
 
 
4
 
5
  ``` cpp
6
  using terminate_handler = void (*)();
7
  ```
8
 
9
+ The type of a *handler function* to be invoked by `terminate` when
10
  terminating exception processing.
11
 
12
  *Required behavior:* A `terminate_handler` shall terminate execution of
13
  the program without returning to the caller.
14
 
 
22
  ```
23
 
24
  *Effects:* Establishes the function designated by `f` as the current
25
  handler function for terminating exception processing.
26
 
27
+ *Returns:* The previous `terminate_handler`.
28
+
29
  *Remarks:* It is unspecified whether a null pointer value designates the
30
  default `terminate_handler`.
31
 
 
 
32
  #### `get_terminate` <a id="get.terminate">[[get.terminate]]</a>
33
 
34
  ``` cpp
35
  terminate_handler get_terminate() noexcept;
36
  ```
37
 
38
  *Returns:* The current `terminate_handler`.
39
 
40
+ [*Note 1*: This can be a null pointer value. — *end note*]
41
 
42
  #### `terminate` <a id="terminate">[[terminate]]</a>
43
 
44
  ``` cpp
45
  [[noreturn]] void terminate() noexcept;
46
  ```
47
 
 
 
 
 
48
  *Effects:* Calls a `terminate_handler` function. It is unspecified which
49
  `terminate_handler` function will be called if an exception is active
50
  during a call to `set_terminate`. Otherwise calls the current
51
  `terminate_handler` function.
52
 
53
  [*Note 1*: A default `terminate_handler` is always considered a
54
  callable handler in this context. — *end note*]
55
 
56
+ *Remarks:* Called by the implementation when exception handling must be
57
+ abandoned for any of several reasons [[except.terminate]]. May also be
58
+ called directly by the program.
59
+