2 * Copyright (C) 2002 Roman Zippel <zippel@linux-m68k.org>
3 * Released under the terms of the GNU GPL v2.0.
9 #define LKC_DIRECT_LINK
13 static struct menu **last_entry_ptr;
15 struct file *file_list;
16 struct file *current_file;
18 void menu_warn(struct menu *menu, const char *fmt, ...)
22 fprintf(stderr, "%s:%d:warning: ", menu->file->name, menu->lineno);
23 vfprintf(stderr, fmt, ap);
24 fprintf(stderr, "\n");
28 static void prop_warn(struct property *prop, const char *fmt, ...)
32 fprintf(stderr, "%s:%d:warning: ", prop->file->name, prop->lineno);
33 vfprintf(stderr, fmt, ap);
34 fprintf(stderr, "\n");
40 current_entry = current_menu = &rootmenu;
41 last_entry_ptr = &rootmenu.list;
44 void menu_add_entry(struct symbol *sym)
48 menu = malloc(sizeof(*menu));
49 memset(menu, 0, sizeof(*menu));
51 menu->parent = current_menu;
52 menu->file = current_file;
53 menu->lineno = zconf_lineno();
55 *last_entry_ptr = menu;
56 last_entry_ptr = &menu->next;
60 void menu_end_entry(void)
64 struct menu *menu_add_menu(void)
67 last_entry_ptr = ¤t_entry->list;
68 return current_menu = current_entry;
71 void menu_end_menu(void)
73 last_entry_ptr = ¤t_menu->next;
74 current_menu = current_menu->parent;
77 struct expr *menu_check_dep(struct expr *e)
84 e->left.expr = menu_check_dep(e->left.expr);
88 e->left.expr = menu_check_dep(e->left.expr);
89 e->right.expr = menu_check_dep(e->right.expr);
92 /* change 'm' into 'm' && MODULES */
93 if (e->left.sym == &symbol_mod)
94 return expr_alloc_and(e, expr_alloc_symbol(modules_sym));
102 void menu_add_dep(struct expr *dep)
104 current_entry->dep = expr_alloc_and(current_entry->dep, menu_check_dep(dep));
107 void menu_set_type(int type)
109 struct symbol *sym = current_entry->sym;
111 if (sym->type == type)
113 if (sym->type == S_UNKNOWN) {
117 menu_warn(current_entry, "type of '%s' redefined from '%s' to '%s'",
118 sym->name ? sym->name : "<choice>",
119 sym_type_name(sym->type), sym_type_name(type));
122 struct property *menu_add_prop(enum prop_type type, char *prompt, struct expr *expr, struct expr *dep)
124 struct property *prop = prop_alloc(type, current_entry->sym);
126 prop->menu = current_entry;
128 prop->visible.expr = menu_check_dep(dep);
131 if (isspace(*prompt)) {
132 prop_warn(prop, "leading whitespace ignored");
133 while (isspace(*prompt))
136 if (current_entry->prompt)
137 prop_warn(prop, "prompt redefined");
138 current_entry->prompt = prop;
145 struct property *menu_add_prompt(enum prop_type type, char *prompt, struct expr *dep)
147 return menu_add_prop(type, prompt, NULL, dep);
150 void menu_add_expr(enum prop_type type, struct expr *expr, struct expr *dep)
152 menu_add_prop(type, NULL, expr, dep);
155 void menu_add_symbol(enum prop_type type, struct symbol *sym, struct expr *dep)
157 menu_add_prop(type, NULL, expr_alloc_symbol(sym), dep);
160 void menu_add_option(int token, char *arg)
162 struct property *prop;
166 prop = prop_alloc(P_DEFAULT, modules_sym);
167 prop->expr = expr_alloc_symbol(current_entry->sym);
169 case T_OPT_DEFCONFIG_LIST:
170 if (!sym_defconfig_list)
171 sym_defconfig_list = current_entry->sym;
172 else if (sym_defconfig_list != current_entry->sym)
173 zconf_error("trying to redefine defconfig symbol");
181 static int menu_range_valid_sym(struct symbol *sym, struct symbol *sym2)
183 return sym2->type == S_INT || sym2->type == S_HEX ||
184 (sym2->type == S_UNKNOWN && sym_string_valid(sym, sym2->name));
187 void sym_check_prop(struct symbol *sym)
189 struct property *prop;
191 for (prop = sym->prop; prop; prop = prop->next) {
192 switch (prop->type) {
194 if ((sym->type == S_STRING || sym->type == S_INT || sym->type == S_HEX) &&
195 prop->expr->type != E_SYMBOL)
197 "default for config symbol '%'"
198 " must be a single symbol", sym->name);
201 sym2 = prop_get_symbol(prop);
202 if (sym->type != S_BOOLEAN && sym->type != S_TRISTATE)
204 "config symbol '%s' uses select, but is "
205 "not boolean or tristate", sym->name);
206 else if (sym2->type == S_UNKNOWN)
208 "'select' used by config symbol '%s' "
209 "refers to undefined symbol '%s'",
210 sym->name, sym2->name);
211 else if (sym2->type != S_BOOLEAN && sym2->type != S_TRISTATE)
213 "'%s' has wrong type. 'select' only "
214 "accept arguments of boolean and "
215 "tristate type", sym2->name);
218 if (sym->type != S_INT && sym->type != S_HEX)
219 prop_warn(prop, "range is only allowed "
220 "for int or hex symbols");
221 if (!menu_range_valid_sym(sym, prop->expr->left.sym) ||
222 !menu_range_valid_sym(sym, prop->expr->right.sym))
223 prop_warn(prop, "range is invalid");
231 void menu_finalize(struct menu *parent)
233 struct menu *menu, *last_menu;
235 struct property *prop;
236 struct expr *parentdep, *basedep, *dep, *dep2, **ep;
240 if (sym && sym_is_choice(sym)) {
241 /* find the first choice value and find out choice type */
242 for (menu = parent->list; menu; menu = menu->next) {
244 current_entry = parent;
245 if (sym->type == S_UNKNOWN)
246 menu_set_type(menu->sym->type);
247 current_entry = menu;
248 if (menu->sym->type == S_UNKNOWN)
249 menu_set_type(sym->type);
253 parentdep = expr_alloc_symbol(sym);
254 } else if (parent->prompt)
255 parentdep = parent->prompt->visible.expr;
257 parentdep = parent->dep;
259 for (menu = parent->list; menu; menu = menu->next) {
260 basedep = expr_transform(menu->dep);
261 basedep = expr_alloc_and(expr_copy(parentdep), basedep);
262 basedep = expr_eliminate_dups(basedep);
265 prop = menu->sym->prop;
268 for (; prop; prop = prop->next) {
269 if (prop->menu != menu)
271 dep = expr_transform(prop->visible.expr);
272 dep = expr_alloc_and(expr_copy(basedep), dep);
273 dep = expr_eliminate_dups(dep);
274 if (menu->sym && menu->sym->type != S_TRISTATE)
275 dep = expr_trans_bool(dep);
276 prop->visible.expr = dep;
277 if (prop->type == P_SELECT) {
278 struct symbol *es = prop_get_symbol(prop);
279 es->rev_dep.expr = expr_alloc_or(es->rev_dep.expr,
280 expr_alloc_and(expr_alloc_symbol(menu->sym), expr_copy(dep)));
284 for (menu = parent->list; menu; menu = menu->next)
287 basedep = parent->prompt ? parent->prompt->visible.expr : NULL;
288 basedep = expr_trans_compare(basedep, E_UNEQUAL, &symbol_no);
289 basedep = expr_eliminate_dups(expr_transform(basedep));
291 for (menu = parent->next; menu; menu = menu->next) {
292 dep = menu->prompt ? menu->prompt->visible.expr : menu->dep;
293 if (!expr_contains_symbol(dep, sym))
295 if (expr_depends_symbol(dep, sym))
297 dep = expr_trans_compare(dep, E_UNEQUAL, &symbol_no);
298 dep = expr_eliminate_dups(expr_transform(dep));
299 dep2 = expr_copy(basedep);
300 expr_eliminate_eq(&dep, &dep2);
302 if (!expr_is_yes(dep2)) {
309 menu->parent = parent;
313 parent->list = parent->next;
314 parent->next = last_menu->next;
315 last_menu->next = NULL;
318 for (menu = parent->list; menu; menu = menu->next) {
319 if (sym && sym_is_choice(sym) && menu->sym) {
320 menu->sym->flags |= SYMBOL_CHOICEVAL;
322 menu_warn(menu, "choice value must have a prompt");
323 for (prop = menu->sym->prop; prop; prop = prop->next) {
324 if (prop->type == P_PROMPT && prop->menu != menu) {
325 prop_warn(prop, "choice values "
326 "currently only support a "
329 if (prop->type == P_DEFAULT)
330 prop_warn(prop, "defaults for choice "
331 "values not supported");
333 current_entry = menu;
334 if (menu->sym->type == S_UNKNOWN)
335 menu_set_type(sym->type);
336 /* Non-tristate choice values of tristate choices must
337 * depend on the choice being set to Y. The choice
338 * values' dependencies were propagated to their
339 * properties above, so the change here must be re-
341 if (sym->type == S_TRISTATE && menu->sym->type != S_TRISTATE) {
342 basedep = expr_alloc_comp(E_EQUAL, sym, &symbol_yes);
343 basedep = expr_alloc_and(basedep, menu->dep);
344 basedep = expr_eliminate_dups(basedep);
346 for (prop = menu->sym->prop; prop; prop = prop->next) {
347 if (prop->menu != menu)
349 dep = expr_alloc_and(expr_copy(basedep),
351 dep = expr_eliminate_dups(dep);
352 dep = expr_trans_bool(dep);
353 prop->visible.expr = dep;
354 if (prop->type == P_SELECT) {
355 struct symbol *es = prop_get_symbol(prop);
356 dep2 = expr_alloc_symbol(menu->sym);
357 dep = expr_alloc_and(dep2,
359 dep = expr_alloc_or(es->rev_dep.expr, dep);
360 dep = expr_eliminate_dups(dep);
361 es->rev_dep.expr = dep;
365 menu_add_symbol(P_CHOICE, sym, NULL);
366 prop = sym_get_choice_prop(sym);
367 for (ep = &prop->expr; *ep; ep = &(*ep)->left.expr)
369 *ep = expr_alloc_one(E_LIST, NULL);
370 (*ep)->right.sym = menu->sym;
372 if (menu->list && (!menu->prompt || !menu->prompt->text)) {
373 for (last_menu = menu->list; ; last_menu = last_menu->next) {
374 last_menu->parent = parent;
375 if (!last_menu->next)
378 last_menu->next = menu->next;
379 menu->next = menu->list;
384 if (sym && !(sym->flags & SYMBOL_WARNED)) {
385 if (sym->type == S_UNKNOWN)
386 menu_warn(parent, "config symbol defined without type");
388 if (sym_is_choice(sym) && !parent->prompt)
389 menu_warn(parent, "choice must have a prompt");
391 /* Check properties connected to this symbol */
393 sym->flags |= SYMBOL_WARNED;
396 if (sym && !sym_is_optional(sym) && parent->prompt) {
397 sym->rev_dep.expr = expr_alloc_or(sym->rev_dep.expr,
398 expr_alloc_and(parent->prompt->visible.expr,
399 expr_alloc_symbol(&symbol_mod)));
403 bool menu_is_visible(struct menu *menu)
414 visible = menu->prompt->visible.tri;
416 visible = menu->prompt->visible.tri = expr_calc_value(menu->prompt->visible.expr);
420 if (!sym || sym_get_tristate_value(menu->sym) == no)
423 for (child = menu->list; child; child = child->next)
424 if (menu_is_visible(child))
429 const char *menu_get_prompt(struct menu *menu)
432 return menu->prompt->text;
434 return menu->sym->name;
438 struct menu *menu_get_root_menu(struct menu *menu)
443 struct menu *menu_get_parent_menu(struct menu *menu)
447 for (; menu != &rootmenu; menu = menu->parent) {
448 type = menu->prompt ? menu->prompt->type : 0;
455 bool menu_has_help(struct menu *menu)
457 return menu->help != NULL;
460 const char *menu_get_help(struct menu *menu)