|
CBMC
|
#include <csignal>
Include dependency graph for signal_catcher.h:
This graph shows which files directly or indirectly include this file:Go to the source code of this file.
Functions | |
| void | install_signal_catcher () |
| void | remove_signal_catcher () |
| void | signal_catcher (int sig) |
| void | register_child (pid_t) |
| void | unregister_child () |
| void install_signal_catcher | ( | ) |
Definition at line 40 of file signal_catcher.cpp.
| void register_child | ( | pid_t | ) |
Definition at line 27 of file signal_catcher.cpp.
| void remove_signal_catcher | ( | ) |
Definition at line 57 of file signal_catcher.cpp.
| void signal_catcher | ( | int | sig | ) |
Definition at line 73 of file signal_catcher.cpp.
| void unregister_child | ( | ) |
Definition at line 33 of file signal_catcher.cpp.