home *** CD-ROM | disk | FTP | other *** search
/ OS/2 Shareware BBS: 10 Tools / 10-Tools.zip / splint3s.zip / splint-3.0.1.6 / imports / signal.lcl < prev    next >
Text File  |  2000-06-12  |  4KB  |  168 lines
  1. /*
  2. ** signal.h
  3. */
  4.  
  5. constant int NSIG;
  6.  
  7. constant int SIGHUP;
  8. constant int SIGINT;
  9. constant int SIGQUIT;
  10. constant int SIGILL;
  11.  
  12.  
  13. constant int     ILL_RESAD_FAULT;
  14. constant int     ILL_PRIVIN_FAULT;
  15. constant int     ILL_RESOP_FAULT;
  16. constant int     ILL_VECOP_FAULT;
  17. constant int     ILL_VECINST_FAULT;
  18.                   
  19.  
  20.  
  21.  
  22. constant int SIGTRAP;
  23. constant int SIGIOT;
  24. constant int SIGEMT;
  25. constant int SIGFPE;
  26.  
  27.  
  28. constant int     FPE_INTOVF_TRAP;
  29. constant int     FPE_INTDIV_TRAP;
  30. constant int     FPE_FLTOVF_TRAP;
  31. constant int     FPE_FLTDIV_TRAP;
  32. constant int     FPE_FLTUND_TRAP;
  33. constant int     FPE_DECOVF_TRAP;
  34. constant int     FPE_SUBRNG_TRAP;
  35. constant int     FPE_FLTOVF_FAULT;
  36. constant int     FPE_FLTDIV_FAULT;
  37. constant int     FPE_FLTUND_FAULT;
  38.  
  39.  
  40.  
  41. constant int FPE_VECTOR          ;
  42. constant int VFPE_FLTUND_TRAP    ;
  43. constant int VFPE_FLTDIV_TRAP    ;
  44. constant int VFPE_FLTRSV_TRAP    ;
  45. constant int VPFE_FLTOVF_FAULT   ;
  46. constant int VFPE_INTOVF_TRAP    ;
  47.  
  48.  
  49. constant int SIGKILL  ;
  50. constant int SIGBUS   ;
  51. constant int SIGSEGV  ;
  52. constant int SIGSYS   ;
  53. constant int SIGPIPE  ;
  54. constant int SIGALRM  ;
  55. constant int SIGTERM  ;
  56.  
  57.  
  58. constant int     TERM_VECT_HARD    ;
  59. constant int     TERM_VECT_TOOMANY ;
  60.  
  61.  
  62. constant int SIGURG    ;
  63. constant int SIGSTOP   ;
  64. constant int SIGTSTP   ;
  65. constant int SIGCONT   ;
  66. constant int SIGCHLD   ;
  67. constant int SIGTTIN   ;
  68. constant int SIGTTOU   ;
  69. constant int SIGIO     ;
  70. constant int SIGXCPU   ;
  71. constant int SIGXFSZ   ;
  72. constant int SIGVTALRM ;
  73. constant int SIGPROF   ;
  74. constant int SIGWINCH  ;
  75. constant int SIGLOST   ;
  76. constant int SIGUSR1   ;
  77. constant int SIGUSR2   ;
  78.  
  79. constant int SIGCLD ;
  80. constant int SIGABRT;
  81.  
  82. constant int BRK_USERBP    ;
  83. constant int BRK_KERNELBP ;
  84. constant int BRK_ABORT    ;
  85. constant int BRK_BD_TAKEN ;
  86. constant int BRK_BD_NOTTAKEN ;
  87. constant int BRK_SSTEPBP ;
  88. constant int BRK_OVERFLOW ;
  89. constant int BRK_DIVZERO; 
  90. constant int BRK_RANGE ;
  91. constant int BRK_STACKOVERFLOW;
  92.  
  93. typedef long sig_atomic_t;
  94. typedef int sigset_t;  
  95.  
  96. typedef struct sigvec {
  97.  void     (*sv_handler)();     
  98.  sigset_t sv_mask;         
  99.  int    sv_flags;         
  100. } __sigvec;
  101.  
  102. typedef struct sigaction {
  103.  void     (*sa_handler)();     
  104.  sigset_t sa_mask;         
  105.  int     sa_flags;         
  106. } __sigaction;
  107.  
  108. constant int SV_ONSTACK      ;
  109. constant int SV_INTERRUPT    ;
  110.  
  111. constant int SA_NOCLDSTOP  ;
  112.  
  113. constant int SV_OLDSIG    ; 
  114. constant int sv_onstack ; 
  115.  
  116. constant int SIG_BLOCK ;
  117. constant int SIG_UNBLOCK ;
  118. constant int SIG_SETMASK    ;
  119.  
  120. typedef struct sigstack {
  121.  char    *ss_sp;             
  122.  int    ss_onstack;         
  123. } __sigstack ;
  124.  
  125. typedef struct sigcontext {
  126.  int    sc_onstack;         
  127.  int    sc_mask;         
  128.  int    sc_pc;             
  129.  int    sc_regs[32];     
  130.  int    sc_mdlo;     
  131.  int    sc_mdhi;     
  132.  int    sc_ownedfp;     
  133.  int    sc_fpregs[32];     
  134.  int    sc_fpc_csr;     
  135.  int    sc_fpc_eir;     
  136.  int    sc_cause;     
  137.  int    sc_badvaddr;     
  138.  int    sc_badpaddr;     
  139. } __sigcontext; 
  140.  
  141. typedef void(*__scp)(int);
  142.  
  143. constant __scp BADSIG;
  144. constant __scp SIG_ERR;
  145. constant __scp SIG_DFL;
  146. constant __scp SIG_IGN;
  147.  
  148. typedef int pid_t;
  149.  
  150. /*
  151.    void (*signal(int __sig, void(*__func)(int)))(int) { ensures true; }
  152. */
  153. int raise( int __sig ) { ensures true; }
  154. int  kill( pid_t __pid, int __sig ) { ensures true; }
  155. int  sigemptyset( sigset_t *__set ) { ensures true; }
  156. int  sigfillset( sigset_t *__set ) { ensures true; }
  157. int  sigaddset( sigset_t *__set, int __signo ) { ensures true; }
  158. int sigdelset( sigset_t *__set, int __signo ) { ensures true; }
  159. int sigismember(  sigset_t *__set, int __signo ) { ensures true; }
  160. int  sigaction( int __sig,  struct sigaction *__act,
  161.      struct sigaction *__oact ) { ensures true; }
  162. int  sigprocmask( int __how,  sigset_t *__set, sigset_t *__oset ) { ensures true; }
  163. int sigpending( sigset_t *__set ) { ensures true; }
  164. int sigsuspend(  sigset_t *__sigmask ) { ensures true; }
  165.  
  166. int sigmask(int m) { ensures true; } /* i think...? */
  167.  
  168.