X-Git-Url: http://git.liburcu.org/?a=blobdiff_plain;f=contrib%2Ffsm_checker%2FFD_CHECK%2Ffd.h;fp=contrib%2Ffsm_checker%2FFD_CHECK%2Ffd.h;h=12e060565d2f17450ff650cb6933a83c49a8501c;hb=e09e518ebf18d490dbeb72c6358968af7d05d675;hp=0000000000000000000000000000000000000000;hpb=58f53b56557577b64911d0e7a2bba3fbb521d71d;p=lttv.git

diff --git a/contrib/fsm_checker/FD_CHECK/fd.h b/contrib/fsm_checker/FD_CHECK/fd.h
new file mode 100755
index 00000000..12e06056
--- /dev/null
+++ b/contrib/fsm_checker/FD_CHECK/fd.h
@@ -0,0 +1,18 @@
+#include "fd_sm.h"
+#include <glib.h>
+
+
+struct fd
+{
+	int pid;	
+	int fd;
+	struct fdContext _fsm;
+};
+struct fd * fd_Init();
+void fd_save_args(struct fd *this, int pid, int fd);
+void fd_destroy_scenario(struct fd *, int);
+void fd_warning(struct fd *this, char *msg);
+
+int my_process_exit(struct fd *this, int pid);
+int test_args(struct fd *this, int pid, int fd);
+void skip_FSM();