1#define xCAT(A,B) A ## B
2#define CAT(A,B) xCAT(A,B)
3#define xFN(TYPE,NAME) TYPE ## _ ## NAME
4#define FN(TYPE,NAME) xFN(TYPE,NAME)
5#define xLIST(EL) EL ## _list
6#define LIST(EL) xLIST(EL)
7
8#undef SET
9#define SET	CAT(isl_,SET_BASE)
10#undef EL
11#define EL	CAT(isl_,EL_BASE)
12
13/* Check that the conversion from SET to list of EL works as expected,
14 * using input described by "str".
15 */
16static isl_stat FN(FN(FN(test_get_list,EL_BASE),from),SET_BASE)(isl_ctx *ctx,
17	const char *str)
18{
19	int i;
20	isl_size n;
21	isl_bool equal;
22	SET *set, *set2;
23	LIST(EL) *list;
24
25	set = FN(SET,read_from_str)(ctx, str);
26	list = FN(FN(SET,get),LIST(EL_BASE))(set);
27
28	set2 = FN(SET,empty)(FN(SET,get_space)(set));
29
30	n = FN(LIST(EL),size)(list);
31	for (i = 0; i < n; i++) {
32		EL *el;
33		el = FN(LIST(EL),get_at)(list, i);
34		set2 = FN(SET,union)(set2, FN(FN(SET,from),EL_BASE)(el));
35	}
36
37	equal = FN(SET,is_equal)(set, set2);
38
39	FN(SET,free)(set);
40	FN(SET,free)(set2);
41	FN(LIST(EL),free)(list);
42
43	if (n < 0 || equal < 0)
44		return isl_stat_error;
45
46	if (!equal)
47		isl_die(ctx, isl_error_unknown, "collections are not equal",
48			return isl_stat_error);
49
50	return isl_stat_ok;
51}
52