[lttv.git] / contrib / fsm_checker / FD_CHECK / fd.h

#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();
Commit	Line	Data
e09e518e GM	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();