contrib/fsm_checker/FD_CHECK/fd.h

   1 #include "fd_sm.h"
   2 #include <glib.h>
   3
   4
   5 struct fd
   6 {
   7         int pid;
   8         int fd;
   9         struct fdContext _fsm;
  10 };
  11 struct fd * fd_Init();
  12 void fd_save_args(struct fd *this, int pid, int fd);
  13 void fd_destroy_scenario(struct fd *, int);
  14 void fd_warning(struct fd *this, char *msg);
  15
  16 int my_process_exit(struct fd *this, int pid);
  17 int test_args(struct fd *this, int pid, int fd);
  18 void skip_FSM();