CBMC
Loading...
Searching...
No Matches
Functions | Variables
signal_catcher.cpp File Reference
#include "signal_catcher.h"
#include "invariant.h"
#include <cstdlib>
+ Include dependency graph for signal_catcher.cpp:

Go to the source code of this file.

Functions

void  register_child (pid_t pid)
 
void  unregister_child ()
 
void  install_signal_catcher ()
 
void  remove_signal_catcher ()
 
void  signal_catcher (int sig)
 

Variables

pid_t  child_pid = 0
 

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.

Variable Documentation

◆  child_pid

pid_t child_pid = 0

Definition at line 25 of file signal_catcher.cpp.

AltStyle によって変換されたページ (->オリジナル) /