CBMC
|
#include <csignal>
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 | pid | ) |
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.