CBMC
signal_catcher.h File Reference
#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 ()
 

Function Documentation

◆ install_signal_catcher()

void install_signal_catcher ( )

Definition at line 40 of file signal_catcher.cpp.

◆ register_child()

void register_child ( pid_t  pid)

Definition at line 27 of file signal_catcher.cpp.

◆ remove_signal_catcher()

void remove_signal_catcher ( )

Definition at line 57 of file signal_catcher.cpp.

◆ signal_catcher()

void signal_catcher ( int  sig)

Definition at line 73 of file signal_catcher.cpp.

◆ unregister_child()

void unregister_child ( )

Definition at line 33 of file signal_catcher.cpp.