[splint.git] / test / db1 / erc.h

# ifndef ERC_H
# define ERC_H

# include "eref.h"

typedef struct _elem { eref val; struct _elem *next; } ercElem;
typedef ercElem *ercList;
typedef struct { ercList vals; int size; } ercInfo;
typedef ercInfo *erc;
typedef ercList *ercIter;

# include "erc.lh"

# define erc_size(c) ((c)->size)
# define erc_choose(c) ((c->vals)->val)
# define erc_initMod() \
    do { bool_initMod(); employee_initMod();\
         eref_initMod(); } while (FALSE)

# define erc_iterFinal(it) (free(it)) 

# define erc_iterReturn(it, result) \
    do { erc_iterFinal(it); return result; } while (FALSE)

# define for_ercElems(er, it, c)\
    for (er = erc_yield (it = erc_iterStart (c)); \
         !eref_equal (er, erefNIL); \
         er = erc_yield (it))

# endif
Commit	Line	Data
885824d3	1	# ifndef ERC_H
	2	# define ERC_H
	3
	4	# include "eref.h"
	5
	6	typedef struct _elem { eref val; struct _elem *next; } ercElem;
	7	typedef ercElem *ercList;
	8	typedef struct { ercList vals; int size; } ercInfo;
	9	typedef ercInfo *erc;
	10	typedef ercList *ercIter;
	11
	12	# include "erc.lh"
	13
	14	# define erc_size(c) ((c)->size)
	15	# define erc_choose(c) ((c->vals)->val)
	16	# define erc_initMod() \
	17	do { bool_initMod(); employee_initMod();\
cc78dedd	18	eref_initMod(); } while (FALSE)
885824d3	19
	20	# define erc_iterFinal(it) (free(it))
	21
	22	# define erc_iterReturn(it, result) \
cc78dedd	23	do { erc_iterFinal(it); return result; } while (FALSE)
885824d3	24
	25	# define for_ercElems(er, it, c)\
	26	for (er = erc_yield (it = erc_iterStart (c)); \
	27	!eref_equal (er, erefNIL); \
	28	er = erc_yield (it))
	29
	30	# endif