1/*
2 * Copyright (C) 2002 Roman Zippel <zippel@linux-m68k.org>
3 * Released under the terms of the GNU GPL v2.0.
4 */
5
6#ifndef EXPR_H
7#define EXPR_H
8
9#ifdef __cplusplus
10extern "C" {
11#endif
12
13#include <stdio.h>
14#ifndef __cplusplus
15#include <stdbool.h>
16#endif
17
18struct file {
19	struct file *next;
20	struct file *parent;
21#ifdef CML1
22	struct statement *stmt;
23	struct statement *last_stmt;
24#endif
25	char *name;
26	int lineno;
27	int flags;
28};
29
30#define FILE_BUSY		0x0001
31#define FILE_SCANNED		0x0002
32#define FILE_PRINTED		0x0004
33
34typedef enum tristate {
35	no, mod, yes
36} tristate;
37
38enum expr_type {
39	E_NONE, E_OR, E_AND, E_NOT, E_EQUAL, E_UNEQUAL, E_CHOICE, E_SYMBOL
40};
41
42union expr_data {
43	struct expr *expr;
44	struct symbol *sym;
45};
46
47struct expr {
48#ifdef CML1
49	int token;
50#else
51	enum expr_type type;
52#endif
53	union expr_data left, right;
54};
55
56#define E_TRI(ev)	((ev).tri)
57#define E_EXPR(ev)	((ev).expr)
58#define E_CALC(ev)	(E_TRI(ev) = expr_calc_value(E_EXPR(ev)))
59
60#define E_OR(dep1, dep2)	(((dep1)>(dep2))?(dep1):(dep2))
61#define E_AND(dep1, dep2)	(((dep1)<(dep2))?(dep1):(dep2))
62#define E_NOT(dep)		(2-(dep))
63
64struct expr_value {
65	struct expr *expr;
66	tristate tri;
67};
68
69#define S_VAL(sv)	((sv).value)
70#define S_TRI(sv)	((sv).tri)
71#define S_EQ(sv1, sv2)	(S_VAL(sv1) == S_VAL(sv2) || !strcmp(S_VAL(sv1), S_VAL(sv2)))
72
73struct symbol_value {
74	void *value;
75	tristate tri;
76};
77
78enum symbol_type {
79	S_UNKNOWN, S_BOOLEAN, S_TRISTATE, S_INT, S_HEX, S_STRING, S_OTHER
80};
81
82struct symbol {
83	struct symbol *next;
84	char *name;
85	char *help;
86#ifdef CML1
87	int type;
88#else
89	enum symbol_type type;
90#endif
91	struct symbol_value curr, def;
92	tristate visible;
93	int flags;
94	struct property *prop;
95	struct expr *dep, *dep2;
96	struct menu *menu;
97};
98
99#define for_all_symbols(i, sym) for (i = 0; i < 257; i++) for (sym = symbol_hash[i]; sym; sym = sym->next) if (sym->type != S_OTHER)
100
101#ifdef CML1
102#define SYMBOL_UNKNOWN		S_UNKNOWN
103#define SYMBOL_BOOLEAN		S_BOOLEAN
104#define SYMBOL_TRISTATE		S_TRISTATE
105#define SYMBOL_INT		S_INT
106#define SYMBOL_HEX		S_HEX
107#define SYMBOL_STRING		S_STRING
108#define SYMBOL_OTHER		S_OTHER
109#endif
110
111#define SYMBOL_YES		0x0001
112#define SYMBOL_MOD		0x0002
113#define SYMBOL_NO		0x0004
114#define SYMBOL_CONST		0x0007
115#define SYMBOL_CHECK		0x0008
116#define SYMBOL_CHOICE		0x0010
117#define SYMBOL_CHOICEVAL	0x0020
118#define SYMBOL_PRINTED		0x0040
119#define SYMBOL_VALID		0x0080
120#define SYMBOL_OPTIONAL		0x0100
121#define SYMBOL_WRITE		0x0200
122#define SYMBOL_CHANGED		0x0400
123#define SYMBOL_NEW		0x0800
124#define SYMBOL_AUTO		0x1000
125
126#define SYMBOL_MAXLENGTH	256
127#define SYMBOL_HASHSIZE		257
128#define SYMBOL_HASHMASK		0xff
129
130enum prop_type {
131	P_UNKNOWN, P_PROMPT, P_COMMENT, P_MENU, P_ROOTMENU, P_DEFAULT, P_CHOICE
132};
133
134struct property {
135	struct property *next;
136	struct symbol *sym;
137#ifdef CML1
138	int token;
139#else
140	enum prop_type type;
141#endif
142	const char *text;
143	struct symbol *def;
144	struct expr_value visible;
145	struct expr *dep;
146	struct expr *dep2;
147	struct menu *menu;
148	struct file *file;
149	int lineno;
150#ifdef CML1
151	struct property *next_pos;
152#endif
153};
154
155#define for_all_properties(sym, st, tok) \
156	for (st = sym->prop; st; st = st->next) \
157		if (st->type == (tok))
158#define for_all_prompts(sym, st) for_all_properties(sym, st, P_PROMPT)
159#define for_all_defaults(sym, st) for_all_properties(sym, st, P_DEFAULT)
160#define for_all_choices(sym, st) for_all_properties(sym, st, P_CHOICE)
161
162struct menu {
163	struct menu *next;
164	struct menu *parent;
165	struct menu *list;
166	struct symbol *sym;
167	struct property *prompt;
168	struct expr *dep;
169	//char *help;
170	struct file *file;
171	int lineno;
172	void *data;
173};
174
175#ifndef SWIG
176
177extern struct file *file_list;
178extern struct file *current_file;
179struct file *lookup_file(const char *name);
180
181extern struct symbol symbol_yes, symbol_no, symbol_mod;
182extern struct symbol *modules_sym;
183extern int cdebug;
184extern int print_type;
185struct expr *expr_alloc_symbol(struct symbol *sym);
186#ifdef CML1
187struct expr *expr_alloc_one(int token, struct expr *ce);
188struct expr *expr_alloc_two(int token, struct expr *e1, struct expr *e2);
189struct expr *expr_alloc_comp(int token, struct symbol *s1, struct symbol *s2);
190#else
191struct expr *expr_alloc_one(enum expr_type type, struct expr *ce);
192struct expr *expr_alloc_two(enum expr_type type, struct expr *e1, struct expr *e2);
193struct expr *expr_alloc_comp(enum expr_type type, struct symbol *s1, struct symbol *s2);
194#endif
195struct expr *expr_alloc_and(struct expr *e1, struct expr *e2);
196struct expr *expr_copy(struct expr *org);
197void expr_free(struct expr *e);
198int expr_eq(struct expr *e1, struct expr *e2);
199void expr_eliminate_eq(struct expr **ep1, struct expr **ep2);
200tristate expr_calc_value(struct expr *e);
201struct expr *expr_eliminate_yn(struct expr *e);
202struct expr *expr_trans_bool(struct expr *e);
203struct expr *expr_eliminate_dups(struct expr *e);
204struct expr *expr_transform(struct expr *e);
205int expr_contains_symbol(struct expr *dep, struct symbol *sym);
206bool expr_depends_symbol(struct expr *dep, struct symbol *sym);
207struct expr *expr_extract_eq_and(struct expr **ep1, struct expr **ep2);
208struct expr *expr_extract_eq_or(struct expr **ep1, struct expr **ep2);
209void expr_extract_eq(enum expr_type type, struct expr **ep, struct expr **ep1, struct expr **ep2);
210struct expr *expr_trans_compare(struct expr *e, enum expr_type type, struct symbol *sym);
211
212void expr_fprint(struct expr *e, FILE *out);
213void print_expr(int mask, struct expr *e, int prevtoken);
214
215#ifdef CML1
216static inline int expr_is_yes(struct expr *e)
217{
218	return !e || (e->token == WORD && e->left.sym == &symbol_yes);
219}
220
221static inline int expr_is_no(struct expr *e)
222{
223	return e && (e->token == WORD && e->left.sym == &symbol_no);
224}
225#else
226static inline int expr_is_yes(struct expr *e)
227{
228	return !e || (e->type == E_SYMBOL && e->left.sym == &symbol_yes);
229}
230
231static inline int expr_is_no(struct expr *e)
232{
233	return e && (e->type == E_SYMBOL && e->left.sym == &symbol_no);
234}
235#endif
236#endif
237
238#ifdef __cplusplus
239}
240#endif
241
242#endif /* EXPR_H */
243