Commit | Line | Data |
---|---|---|
0c874100 | 1 | // SPDX-License-Identifier: GPL-2.0 |
1da177e4 LT |
2 | /* |
3 | * Copyright (C) 2002 Roman Zippel <zippel@linux-m68k.org> | |
1da177e4 LT |
4 | */ |
5 | ||
dd003306 | 6 | #include <ctype.h> |
10a4b277 | 7 | #include <stdarg.h> |
1da177e4 LT |
8 | #include <stdlib.h> |
9 | #include <string.h> | |
10 | ||
1da177e4 LT |
11 | #include "lkc.h" |
12 | ||
57e6292d | 13 | static const char nohelp_text[] = "There is no help available for this option."; |
6bd5999d | 14 | |
1da177e4 LT |
15 | struct menu rootmenu; |
16 | static struct menu **last_entry_ptr; | |
17 | ||
18 | struct file *file_list; | |
19 | struct file *current_file; | |
20 | ||
93449082 | 21 | void menu_warn(struct menu *menu, const char *fmt, ...) |
1da177e4 LT |
22 | { |
23 | va_list ap; | |
24 | va_start(ap, fmt); | |
25 | fprintf(stderr, "%s:%d:warning: ", menu->file->name, menu->lineno); | |
26 | vfprintf(stderr, fmt, ap); | |
27 | fprintf(stderr, "\n"); | |
28 | va_end(ap); | |
29 | } | |
30 | ||
31 | static void prop_warn(struct property *prop, const char *fmt, ...) | |
32 | { | |
33 | va_list ap; | |
34 | va_start(ap, fmt); | |
35 | fprintf(stderr, "%s:%d:warning: ", prop->file->name, prop->lineno); | |
36 | vfprintf(stderr, fmt, ap); | |
37 | fprintf(stderr, "\n"); | |
38 | va_end(ap); | |
39 | } | |
40 | ||
692d97c3 | 41 | void _menu_init(void) |
1da177e4 LT |
42 | { |
43 | current_entry = current_menu = &rootmenu; | |
44 | last_entry_ptr = &rootmenu.list; | |
45 | } | |
46 | ||
47 | void menu_add_entry(struct symbol *sym) | |
48 | { | |
49 | struct menu *menu; | |
50 | ||
177acf78 | 51 | menu = xmalloc(sizeof(*menu)); |
1da177e4 LT |
52 | memset(menu, 0, sizeof(*menu)); |
53 | menu->sym = sym; | |
54 | menu->parent = current_menu; | |
55 | menu->file = current_file; | |
56 | menu->lineno = zconf_lineno(); | |
57 | ||
58 | *last_entry_ptr = menu; | |
59 | last_entry_ptr = &menu->next; | |
60 | current_entry = menu; | |
59e89e3d SR |
61 | if (sym) |
62 | menu_add_symbol(P_SYMBOL, sym, NULL); | |
1da177e4 LT |
63 | } |
64 | ||
a02f0570 | 65 | struct menu *menu_add_menu(void) |
1da177e4 | 66 | { |
1da177e4 | 67 | last_entry_ptr = ¤t_entry->list; |
a02f0570 | 68 | return current_menu = current_entry; |
1da177e4 LT |
69 | } |
70 | ||
71 | void menu_end_menu(void) | |
72 | { | |
73 | last_entry_ptr = ¤t_menu->next; | |
74 | current_menu = current_menu->parent; | |
75 | } | |
76 | ||
9a826842 UM |
77 | /* |
78 | * Rewrites 'm' to 'm' && MODULES, so that it evaluates to 'n' when running | |
79 | * without modules | |
80 | */ | |
81 | static struct expr *rewrite_m(struct expr *e) | |
1da177e4 LT |
82 | { |
83 | if (!e) | |
84 | return e; | |
85 | ||
86 | switch (e->type) { | |
87 | case E_NOT: | |
9a826842 | 88 | e->left.expr = rewrite_m(e->left.expr); |
1da177e4 LT |
89 | break; |
90 | case E_OR: | |
91 | case E_AND: | |
9a826842 UM |
92 | e->left.expr = rewrite_m(e->left.expr); |
93 | e->right.expr = rewrite_m(e->right.expr); | |
1da177e4 LT |
94 | break; |
95 | case E_SYMBOL: | |
96 | /* change 'm' into 'm' && MODULES */ | |
97 | if (e->left.sym == &symbol_mod) | |
98 | return expr_alloc_and(e, expr_alloc_symbol(modules_sym)); | |
99 | break; | |
100 | default: | |
101 | break; | |
102 | } | |
103 | return e; | |
104 | } | |
105 | ||
106 | void menu_add_dep(struct expr *dep) | |
107 | { | |
f77850d3 | 108 | current_entry->dep = expr_alloc_and(current_entry->dep, dep); |
1da177e4 LT |
109 | } |
110 | ||
111 | void menu_set_type(int type) | |
112 | { | |
113 | struct symbol *sym = current_entry->sym; | |
114 | ||
115 | if (sym->type == type) | |
116 | return; | |
117 | if (sym->type == S_UNKNOWN) { | |
118 | sym->type = type; | |
119 | return; | |
120 | } | |
57540f1d MW |
121 | menu_warn(current_entry, |
122 | "ignoring type redefinition of '%s' from '%s' to '%s'", | |
123 | sym->name ? sym->name : "<choice>", | |
124 | sym_type_name(sym->type), sym_type_name(type)); | |
1da177e4 LT |
125 | } |
126 | ||
ad8d40cd | 127 | static struct property *menu_add_prop(enum prop_type type, char *prompt, struct expr *expr, struct expr *dep) |
1da177e4 LT |
128 | { |
129 | struct property *prop = prop_alloc(type, current_entry->sym); | |
130 | ||
131 | prop->menu = current_entry; | |
1da177e4 | 132 | prop->expr = expr; |
f77850d3 | 133 | prop->visible.expr = dep; |
1da177e4 LT |
134 | |
135 | if (prompt) { | |
f001f7f8 RZ |
136 | if (isspace(*prompt)) { |
137 | prop_warn(prop, "leading whitespace ignored"); | |
138 | while (isspace(*prompt)) | |
139 | prompt++; | |
140 | } | |
ba6ff60d | 141 | if (current_entry->prompt && current_entry != &rootmenu) |
f001f7f8 | 142 | prop_warn(prop, "prompt redefined"); |
7ad12278 JB |
143 | |
144 | /* Apply all upper menus' visibilities to actual prompts. */ | |
145 | if(type == P_PROMPT) { | |
146 | struct menu *menu = current_entry; | |
147 | ||
148 | while ((menu = menu->parent) != NULL) { | |
e983b7b1 DG |
149 | struct expr *dup_expr; |
150 | ||
7ad12278 JB |
151 | if (!menu->visibility) |
152 | continue; | |
e983b7b1 DG |
153 | /* |
154 | * Do not add a reference to the | |
155 | * menu's visibility expression but | |
156 | * use a copy of it. Otherwise the | |
157 | * expression reduction functions | |
158 | * will modify expressions that have | |
159 | * multiple references which can | |
160 | * cause unwanted side effects. | |
161 | */ | |
162 | dup_expr = expr_copy(menu->visibility); | |
163 | ||
7ad12278 JB |
164 | prop->visible.expr |
165 | = expr_alloc_and(prop->visible.expr, | |
e983b7b1 | 166 | dup_expr); |
7ad12278 JB |
167 | } |
168 | } | |
169 | ||
1da177e4 LT |
170 | current_entry->prompt = prop; |
171 | } | |
f001f7f8 | 172 | prop->text = prompt; |
1da177e4 LT |
173 | |
174 | return prop; | |
175 | } | |
176 | ||
fb7f6ff6 | 177 | struct property *menu_add_prompt(enum prop_type type, char *prompt, struct expr *dep) |
1da177e4 | 178 | { |
fb7f6ff6 | 179 | return menu_add_prop(type, prompt, NULL, dep); |
1da177e4 LT |
180 | } |
181 | ||
86e187ff AL |
182 | void menu_add_visibility(struct expr *expr) |
183 | { | |
184 | current_entry->visibility = expr_alloc_and(current_entry->visibility, | |
185 | expr); | |
186 | } | |
187 | ||
1da177e4 LT |
188 | void menu_add_expr(enum prop_type type, struct expr *expr, struct expr *dep) |
189 | { | |
190 | menu_add_prop(type, NULL, expr, dep); | |
191 | } | |
192 | ||
193 | void menu_add_symbol(enum prop_type type, struct symbol *sym, struct expr *dep) | |
194 | { | |
195 | menu_add_prop(type, NULL, expr_alloc_symbol(sym), dep); | |
196 | } | |
197 | ||
ce2164ab MY |
198 | void menu_add_option_modules(void) |
199 | { | |
200 | if (modules_sym) | |
201 | zconf_error("symbol '%s' redefines option 'modules' already defined by symbol '%s'", | |
202 | current_entry->sym->name, modules_sym->name); | |
203 | modules_sym = current_entry->sym; | |
204 | } | |
205 | ||
206 | void menu_add_option_defconfig_list(void) | |
207 | { | |
208 | if (!sym_defconfig_list) | |
209 | sym_defconfig_list = current_entry->sym; | |
210 | else if (sym_defconfig_list != current_entry->sym) | |
211 | zconf_error("trying to redefine defconfig symbol"); | |
212 | sym_defconfig_list->flags |= SYMBOL_NO_WRITE; | |
213 | } | |
214 | ||
215 | void menu_add_option_allnoconfig_y(void) | |
216 | { | |
217 | current_entry->sym->flags |= SYMBOL_ALLNOCONFIG_Y; | |
f6a88aa8 RZ |
218 | } |
219 | ||
ab60bd0b | 220 | static int menu_validate_number(struct symbol *sym, struct symbol *sym2) |
4cf3cbe2 RZ |
221 | { |
222 | return sym2->type == S_INT || sym2->type == S_HEX || | |
223 | (sym2->type == S_UNKNOWN && sym_string_valid(sym, sym2->name)); | |
224 | } | |
225 | ||
4356f489 | 226 | static void sym_check_prop(struct symbol *sym) |
1da177e4 LT |
227 | { |
228 | struct property *prop; | |
229 | struct symbol *sym2; | |
237e3ad0 NP |
230 | char *use; |
231 | ||
1da177e4 LT |
232 | for (prop = sym->prop; prop; prop = prop->next) { |
233 | switch (prop->type) { | |
234 | case P_DEFAULT: | |
235 | if ((sym->type == S_STRING || sym->type == S_INT || sym->type == S_HEX) && | |
236 | prop->expr->type != E_SYMBOL) | |
237 | prop_warn(prop, | |
4280eae0 | 238 | "default for config symbol '%s'" |
1da177e4 | 239 | " must be a single symbol", sym->name); |
ab60bd0b AL |
240 | if (prop->expr->type != E_SYMBOL) |
241 | break; | |
242 | sym2 = prop_get_symbol(prop); | |
243 | if (sym->type == S_HEX || sym->type == S_INT) { | |
244 | if (!menu_validate_number(sym, sym2)) | |
245 | prop_warn(prop, | |
246 | "'%s': number is invalid", | |
247 | sym->name); | |
248 | } | |
2c37e084 UM |
249 | if (sym_is_choice(sym)) { |
250 | struct property *choice_prop = | |
251 | sym_get_choice_prop(sym2); | |
252 | ||
253 | if (!choice_prop || | |
254 | prop_get_symbol(choice_prop) != sym) | |
255 | prop_warn(prop, | |
256 | "choice default symbol '%s' is not contained in the choice", | |
257 | sym2->name); | |
258 | } | |
1da177e4 LT |
259 | break; |
260 | case P_SELECT: | |
237e3ad0 NP |
261 | case P_IMPLY: |
262 | use = prop->type == P_SELECT ? "select" : "imply"; | |
1da177e4 LT |
263 | sym2 = prop_get_symbol(prop); |
264 | if (sym->type != S_BOOLEAN && sym->type != S_TRISTATE) | |
265 | prop_warn(prop, | |
237e3ad0 | 266 | "config symbol '%s' uses %s, but is " |
b92d804a | 267 | "not bool or tristate", sym->name, use); |
603d4988 | 268 | else if (sym2->type != S_UNKNOWN && |
bb66fc67 MY |
269 | sym2->type != S_BOOLEAN && |
270 | sym2->type != S_TRISTATE) | |
1da177e4 | 271 | prop_warn(prop, |
237e3ad0 | 272 | "'%s' has wrong type. '%s' only " |
b92d804a | 273 | "accept arguments of bool and " |
237e3ad0 | 274 | "tristate type", sym2->name, use); |
1da177e4 LT |
275 | break; |
276 | case P_RANGE: | |
277 | if (sym->type != S_INT && sym->type != S_HEX) | |
278 | prop_warn(prop, "range is only allowed " | |
bb66fc67 | 279 | "for int or hex symbols"); |
ab60bd0b AL |
280 | if (!menu_validate_number(sym, prop->expr->left.sym) || |
281 | !menu_validate_number(sym, prop->expr->right.sym)) | |
1da177e4 LT |
282 | prop_warn(prop, "range is invalid"); |
283 | break; | |
284 | default: | |
285 | ; | |
286 | } | |
287 | } | |
288 | } | |
289 | ||
290 | void menu_finalize(struct menu *parent) | |
291 | { | |
292 | struct menu *menu, *last_menu; | |
293 | struct symbol *sym; | |
294 | struct property *prop; | |
295 | struct expr *parentdep, *basedep, *dep, *dep2, **ep; | |
296 | ||
297 | sym = parent->sym; | |
298 | if (parent->list) { | |
fa8cedae UM |
299 | /* |
300 | * This menu node has children. We (recursively) process them | |
301 | * and propagate parent dependencies before moving on. | |
302 | */ | |
303 | ||
1da177e4 | 304 | if (sym && sym_is_choice(sym)) { |
5a1aa8a1 RZ |
305 | if (sym->type == S_UNKNOWN) { |
306 | /* find the first choice value to find out choice type */ | |
307 | current_entry = parent; | |
308 | for (menu = parent->list; menu; menu = menu->next) { | |
309 | if (menu->sym && menu->sym->type != S_UNKNOWN) { | |
f5eaa323 | 310 | menu_set_type(menu->sym->type); |
5a1aa8a1 RZ |
311 | break; |
312 | } | |
1da177e4 LT |
313 | } |
314 | } | |
5a1aa8a1 RZ |
315 | /* set the type of the remaining choice values */ |
316 | for (menu = parent->list; menu; menu = menu->next) { | |
317 | current_entry = menu; | |
318 | if (menu->sym && menu->sym->type == S_UNKNOWN) | |
319 | menu_set_type(sym->type); | |
320 | } | |
d3465af6 UM |
321 | |
322 | /* | |
323 | * Use the choice itself as the parent dependency of | |
324 | * the contained items. This turns the mode of the | |
325 | * choice into an upper bound on the visibility of the | |
326 | * choice value symbols. | |
327 | */ | |
1da177e4 LT |
328 | parentdep = expr_alloc_symbol(sym); |
329 | } else if (parent->prompt) | |
b5368801 | 330 | /* Menu node for 'menu' */ |
1da177e4 LT |
331 | parentdep = parent->prompt->visible.expr; |
332 | else | |
b5368801 | 333 | /* Menu node for 'if' */ |
1da177e4 LT |
334 | parentdep = parent->dep; |
335 | ||
fa8cedae | 336 | /* For each child menu node... */ |
1da177e4 | 337 | for (menu = parent->list; menu; menu = menu->next) { |
fa8cedae UM |
338 | /* |
339 | * Propagate parent dependencies to the child menu | |
340 | * node, also rewriting and simplifying expressions | |
341 | */ | |
f77850d3 UM |
342 | basedep = rewrite_m(menu->dep); |
343 | basedep = expr_transform(basedep); | |
e8b8c977 | 344 | basedep = expr_alloc_and(expr_copy(parentdep), basedep); |
1da177e4 LT |
345 | basedep = expr_eliminate_dups(basedep); |
346 | menu->dep = basedep; | |
fa8cedae | 347 | |
1da177e4 | 348 | if (menu->sym) |
fa8cedae UM |
349 | /* |
350 | * Note: For symbols, all prompts are included | |
351 | * too in the symbol's own property list | |
352 | */ | |
1da177e4 LT |
353 | prop = menu->sym->prop; |
354 | else | |
fa8cedae UM |
355 | /* |
356 | * For non-symbol menu nodes, we just need to | |
357 | * handle the prompt | |
358 | */ | |
1da177e4 | 359 | prop = menu->prompt; |
fa8cedae UM |
360 | |
361 | /* For each property... */ | |
1da177e4 LT |
362 | for (; prop; prop = prop->next) { |
363 | if (prop->menu != menu) | |
fa8cedae UM |
364 | /* |
365 | * Two possibilities: | |
366 | * | |
367 | * 1. The property lacks dependencies | |
368 | * and so isn't location-specific, | |
369 | * e.g. an 'option' | |
370 | * | |
371 | * 2. The property belongs to a symbol | |
372 | * defined in multiple locations and | |
373 | * is from some other location. It | |
374 | * will be handled there in that | |
375 | * case. | |
376 | * | |
377 | * Skip the property. | |
378 | */ | |
1da177e4 | 379 | continue; |
fa8cedae UM |
380 | |
381 | /* | |
382 | * Propagate parent dependencies to the | |
383 | * property's condition, rewriting and | |
384 | * simplifying expressions at the same time | |
385 | */ | |
f77850d3 UM |
386 | dep = rewrite_m(prop->visible.expr); |
387 | dep = expr_transform(dep); | |
1da177e4 LT |
388 | dep = expr_alloc_and(expr_copy(basedep), dep); |
389 | dep = expr_eliminate_dups(dep); | |
390 | if (menu->sym && menu->sym->type != S_TRISTATE) | |
391 | dep = expr_trans_bool(dep); | |
392 | prop->visible.expr = dep; | |
fa8cedae UM |
393 | |
394 | /* | |
395 | * Handle selects and implies, which modify the | |
396 | * dependencies of the selected/implied symbol | |
397 | */ | |
1da177e4 LT |
398 | if (prop->type == P_SELECT) { |
399 | struct symbol *es = prop_get_symbol(prop); | |
400 | es->rev_dep.expr = expr_alloc_or(es->rev_dep.expr, | |
401 | expr_alloc_and(expr_alloc_symbol(menu->sym), expr_copy(dep))); | |
237e3ad0 NP |
402 | } else if (prop->type == P_IMPLY) { |
403 | struct symbol *es = prop_get_symbol(prop); | |
404 | es->implied.expr = expr_alloc_or(es->implied.expr, | |
405 | expr_alloc_and(expr_alloc_symbol(menu->sym), expr_copy(dep))); | |
1da177e4 LT |
406 | } |
407 | } | |
408 | } | |
fa8cedae | 409 | |
7cf33f88 UM |
410 | if (sym && sym_is_choice(sym)) |
411 | expr_free(parentdep); | |
412 | ||
fa8cedae UM |
413 | /* |
414 | * Recursively process children in the same fashion before | |
415 | * moving on | |
416 | */ | |
1da177e4 LT |
417 | for (menu = parent->list; menu; menu = menu->next) |
418 | menu_finalize(menu); | |
419 | } else if (sym) { | |
05cccce5 UM |
420 | /* |
421 | * Automatic submenu creation. If sym is a symbol and A, B, C, | |
422 | * ... are consecutive items (symbols, menus, ifs, etc.) that | |
423 | * all depend on sym, then the following menu structure is | |
424 | * created: | |
425 | * | |
426 | * sym | |
427 | * +-A | |
428 | * +-B | |
429 | * +-C | |
430 | * ... | |
431 | * | |
432 | * This also works recursively, giving the following structure | |
433 | * if A is a symbol and B depends on A: | |
434 | * | |
435 | * sym | |
436 | * +-A | |
437 | * | +-B | |
438 | * +-C | |
439 | * ... | |
440 | */ | |
441 | ||
1da177e4 LT |
442 | basedep = parent->prompt ? parent->prompt->visible.expr : NULL; |
443 | basedep = expr_trans_compare(basedep, E_UNEQUAL, &symbol_no); | |
444 | basedep = expr_eliminate_dups(expr_transform(basedep)); | |
05cccce5 UM |
445 | |
446 | /* Examine consecutive elements after sym */ | |
1da177e4 LT |
447 | last_menu = NULL; |
448 | for (menu = parent->next; menu; menu = menu->next) { | |
449 | dep = menu->prompt ? menu->prompt->visible.expr : menu->dep; | |
450 | if (!expr_contains_symbol(dep, sym)) | |
05cccce5 | 451 | /* No dependency, quit */ |
1da177e4 LT |
452 | break; |
453 | if (expr_depends_symbol(dep, sym)) | |
05cccce5 | 454 | /* Absolute dependency, put in submenu */ |
1da177e4 | 455 | goto next; |
05cccce5 UM |
456 | |
457 | /* | |
458 | * Also consider it a dependency on sym if our | |
459 | * dependencies contain sym and are a "superset" of | |
460 | * sym's dependencies, e.g. '(sym || Q) && R' when sym | |
461 | * depends on R. | |
462 | * | |
463 | * Note that 'R' might be from an enclosing menu or if, | |
464 | * making this a more common case than it might seem. | |
465 | */ | |
1da177e4 LT |
466 | dep = expr_trans_compare(dep, E_UNEQUAL, &symbol_no); |
467 | dep = expr_eliminate_dups(expr_transform(dep)); | |
468 | dep2 = expr_copy(basedep); | |
469 | expr_eliminate_eq(&dep, &dep2); | |
470 | expr_free(dep); | |
471 | if (!expr_is_yes(dep2)) { | |
05cccce5 | 472 | /* Not superset, quit */ |
1da177e4 LT |
473 | expr_free(dep2); |
474 | break; | |
475 | } | |
05cccce5 | 476 | /* Superset, put in submenu */ |
1da177e4 LT |
477 | expr_free(dep2); |
478 | next: | |
479 | menu_finalize(menu); | |
480 | menu->parent = parent; | |
481 | last_menu = menu; | |
482 | } | |
ae7440ef | 483 | expr_free(basedep); |
1da177e4 LT |
484 | if (last_menu) { |
485 | parent->list = parent->next; | |
486 | parent->next = last_menu->next; | |
487 | last_menu->next = NULL; | |
488 | } | |
ff5ff606 | 489 | |
ec6452a5 | 490 | sym->dir_dep.expr = expr_alloc_or(sym->dir_dep.expr, parent->dep); |
1da177e4 LT |
491 | } |
492 | for (menu = parent->list; menu; menu = menu->next) { | |
5a1aa8a1 RZ |
493 | if (sym && sym_is_choice(sym) && |
494 | menu->sym && !sym_is_choice_value(menu->sym)) { | |
495 | current_entry = menu; | |
1da177e4 LT |
496 | menu->sym->flags |= SYMBOL_CHOICEVAL; |
497 | if (!menu->prompt) | |
498 | menu_warn(menu, "choice value must have a prompt"); | |
499 | for (prop = menu->sym->prop; prop; prop = prop->next) { | |
1da177e4 LT |
500 | if (prop->type == P_DEFAULT) |
501 | prop_warn(prop, "defaults for choice " | |
5a1aa8a1 RZ |
502 | "values not supported"); |
503 | if (prop->menu == menu) | |
504 | continue; | |
505 | if (prop->type == P_PROMPT && | |
506 | prop->menu->parent->sym != sym) | |
507 | prop_warn(prop, "choice value used outside its choice group"); | |
1da177e4 | 508 | } |
f5eaa323 JB |
509 | /* Non-tristate choice values of tristate choices must |
510 | * depend on the choice being set to Y. The choice | |
511 | * values' dependencies were propagated to their | |
512 | * properties above, so the change here must be re- | |
5a1aa8a1 RZ |
513 | * propagated. |
514 | */ | |
f5eaa323 JB |
515 | if (sym->type == S_TRISTATE && menu->sym->type != S_TRISTATE) { |
516 | basedep = expr_alloc_comp(E_EQUAL, sym, &symbol_yes); | |
5a1aa8a1 | 517 | menu->dep = expr_alloc_and(basedep, menu->dep); |
f5eaa323 JB |
518 | for (prop = menu->sym->prop; prop; prop = prop->next) { |
519 | if (prop->menu != menu) | |
520 | continue; | |
5a1aa8a1 RZ |
521 | prop->visible.expr = expr_alloc_and(expr_copy(basedep), |
522 | prop->visible.expr); | |
f5eaa323 JB |
523 | } |
524 | } | |
1da177e4 LT |
525 | menu_add_symbol(P_CHOICE, sym, NULL); |
526 | prop = sym_get_choice_prop(sym); | |
527 | for (ep = &prop->expr; *ep; ep = &(*ep)->left.expr) | |
528 | ; | |
7a962923 | 529 | *ep = expr_alloc_one(E_LIST, NULL); |
1da177e4 LT |
530 | (*ep)->right.sym = menu->sym; |
531 | } | |
9d1a9e8b UM |
532 | |
533 | /* | |
534 | * This code serves two purposes: | |
535 | * | |
536 | * (1) Flattening 'if' blocks, which do not specify a submenu | |
537 | * and only add dependencies. | |
538 | * | |
539 | * (Automatic submenu creation might still create a submenu | |
540 | * from an 'if' before this code runs.) | |
541 | * | |
542 | * (2) "Undoing" any automatic submenus created earlier below | |
543 | * promptless symbols. | |
544 | * | |
545 | * Before: | |
546 | * | |
547 | * A | |
548 | * if ... (or promptless symbol) | |
549 | * +-B | |
550 | * +-C | |
551 | * D | |
552 | * | |
553 | * After: | |
554 | * | |
555 | * A | |
556 | * if ... (or promptless symbol) | |
557 | * B | |
558 | * C | |
559 | * D | |
560 | */ | |
1da177e4 LT |
561 | if (menu->list && (!menu->prompt || !menu->prompt->text)) { |
562 | for (last_menu = menu->list; ; last_menu = last_menu->next) { | |
563 | last_menu->parent = parent; | |
564 | if (!last_menu->next) | |
565 | break; | |
566 | } | |
567 | last_menu->next = menu->next; | |
568 | menu->next = menu->list; | |
569 | menu->list = NULL; | |
570 | } | |
571 | } | |
572 | ||
573 | if (sym && !(sym->flags & SYMBOL_WARNED)) { | |
574 | if (sym->type == S_UNKNOWN) | |
f001f7f8 | 575 | menu_warn(parent, "config symbol defined without type"); |
1da177e4 LT |
576 | |
577 | if (sym_is_choice(sym) && !parent->prompt) | |
f001f7f8 | 578 | menu_warn(parent, "choice must have a prompt"); |
1da177e4 LT |
579 | |
580 | /* Check properties connected to this symbol */ | |
581 | sym_check_prop(sym); | |
582 | sym->flags |= SYMBOL_WARNED; | |
583 | } | |
584 | ||
3e41ba05 UM |
585 | /* |
586 | * For non-optional choices, add a reverse dependency (corresponding to | |
587 | * a select) of '<visibility> && m'. This prevents the user from | |
588 | * setting the choice mode to 'n' when the choice is visible. | |
589 | * | |
590 | * This would also work for non-choice symbols, but only non-optional | |
591 | * choices clear SYMBOL_OPTIONAL as of writing. Choices are implemented | |
592 | * as a type of symbol. | |
593 | */ | |
1da177e4 LT |
594 | if (sym && !sym_is_optional(sym) && parent->prompt) { |
595 | sym->rev_dep.expr = expr_alloc_or(sym->rev_dep.expr, | |
596 | expr_alloc_and(parent->prompt->visible.expr, | |
597 | expr_alloc_symbol(&symbol_mod))); | |
598 | } | |
599 | } | |
600 | ||
22c7eca6 LZ |
601 | bool menu_has_prompt(struct menu *menu) |
602 | { | |
603 | if (!menu->prompt) | |
604 | return false; | |
605 | return true; | |
606 | } | |
607 | ||
1278ebdb DG |
608 | /* |
609 | * Determine if a menu is empty. | |
610 | * A menu is considered empty if it contains no or only | |
611 | * invisible entries. | |
612 | */ | |
613 | bool menu_is_empty(struct menu *menu) | |
614 | { | |
615 | struct menu *child; | |
616 | ||
617 | for (child = menu->list; child; child = child->next) { | |
618 | if (menu_is_visible(child)) | |
619 | return(false); | |
620 | } | |
621 | return(true); | |
622 | } | |
623 | ||
1da177e4 LT |
624 | bool menu_is_visible(struct menu *menu) |
625 | { | |
626 | struct menu *child; | |
627 | struct symbol *sym; | |
628 | tristate visible; | |
629 | ||
630 | if (!menu->prompt) | |
631 | return false; | |
22c7eca6 | 632 | |
86e187ff AL |
633 | if (menu->visibility) { |
634 | if (expr_calc_value(menu->visibility) == no) | |
aab24a89 | 635 | return false; |
86e187ff AL |
636 | } |
637 | ||
1da177e4 LT |
638 | sym = menu->sym; |
639 | if (sym) { | |
640 | sym_calc_value(sym); | |
641 | visible = menu->prompt->visible.tri; | |
642 | } else | |
643 | visible = menu->prompt->visible.tri = expr_calc_value(menu->prompt->visible.expr); | |
644 | ||
645 | if (visible != no) | |
646 | return true; | |
22c7eca6 | 647 | |
1da177e4 LT |
648 | if (!sym || sym_get_tristate_value(menu->sym) == no) |
649 | return false; | |
650 | ||
3fb9acb3 LZ |
651 | for (child = menu->list; child; child = child->next) { |
652 | if (menu_is_visible(child)) { | |
653 | if (sym) | |
654 | sym->flags |= SYMBOL_DEF_USER; | |
1da177e4 | 655 | return true; |
3fb9acb3 LZ |
656 | } |
657 | } | |
22c7eca6 | 658 | |
1da177e4 LT |
659 | return false; |
660 | } | |
661 | ||
662 | const char *menu_get_prompt(struct menu *menu) | |
663 | { | |
664 | if (menu->prompt) | |
01771b0f | 665 | return menu->prompt->text; |
1da177e4 | 666 | else if (menu->sym) |
01771b0f | 667 | return menu->sym->name; |
1da177e4 LT |
668 | return NULL; |
669 | } | |
670 | ||
671 | struct menu *menu_get_root_menu(struct menu *menu) | |
672 | { | |
673 | return &rootmenu; | |
674 | } | |
675 | ||
676 | struct menu *menu_get_parent_menu(struct menu *menu) | |
677 | { | |
678 | enum prop_type type; | |
679 | ||
680 | for (; menu != &rootmenu; menu = menu->parent) { | |
681 | type = menu->prompt ? menu->prompt->type : 0; | |
682 | if (type == P_MENU) | |
683 | break; | |
684 | } | |
685 | return menu; | |
686 | } | |
687 | ||
03d29122 SR |
688 | bool menu_has_help(struct menu *menu) |
689 | { | |
690 | return menu->help != NULL; | |
691 | } | |
692 | ||
693 | const char *menu_get_help(struct menu *menu) | |
694 | { | |
695 | if (menu->help) | |
696 | return menu->help; | |
697 | else | |
698 | return ""; | |
699 | } | |
6bd5999d | 700 | |
95ac9b3b | 701 | static void get_prompt_str(struct gstr *r, struct property *prop, |
bad9955d | 702 | struct list_head *head) |
6bd5999d CR |
703 | { |
704 | int i, j; | |
5e609add | 705 | struct menu *submenu[8], *menu, *location = NULL; |
2d560306 | 706 | struct jump_key *jump = NULL; |
6bd5999d | 707 | |
694c49a7 | 708 | str_printf(r, "Prompt: %s\n", prop->text); |
6bd5999d | 709 | menu = prop->menu->parent; |
5e609add BP |
710 | for (i = 0; menu != &rootmenu && i < 8; menu = menu->parent) { |
711 | bool accessible = menu_is_visible(menu); | |
712 | ||
6bd5999d | 713 | submenu[i++] = menu; |
5e609add BP |
714 | if (location == NULL && accessible) |
715 | location = menu; | |
716 | } | |
95ac9b3b | 717 | if (head && location) { |
177acf78 | 718 | jump = xmalloc(sizeof(struct jump_key)); |
95ac9b3b | 719 | |
5e609add BP |
720 | if (menu_is_visible(prop->menu)) { |
721 | /* | |
722 | * There is not enough room to put the hint at the | |
723 | * beginning of the "Prompt" line. Put the hint on the | |
724 | * last "Location" line even when it would belong on | |
725 | * the former. | |
726 | */ | |
95ac9b3b | 727 | jump->target = prop->menu; |
5e609add | 728 | } else |
95ac9b3b BP |
729 | jump->target = location; |
730 | ||
bad9955d | 731 | if (list_empty(head)) |
95ac9b3b BP |
732 | jump->index = 0; |
733 | else | |
bad9955d BP |
734 | jump->index = list_entry(head->prev, struct jump_key, |
735 | entries)->index + 1; | |
95ac9b3b | 736 | |
bad9955d | 737 | list_add_tail(&jump->entries, head); |
95ac9b3b | 738 | } |
5e609add | 739 | |
6bd5999d | 740 | if (i > 0) { |
694c49a7 | 741 | str_printf(r, " Location:\n"); |
95ac9b3b | 742 | for (j = 4; --i >= 0; j += 2) { |
6bd5999d | 743 | menu = submenu[i]; |
2d560306 | 744 | if (jump && menu == location) |
503c8230 | 745 | jump->offset = strlen(r->s); |
95ac9b3b | 746 | str_printf(r, "%*c-> %s", j, ' ', |
694c49a7 | 747 | menu_get_prompt(menu)); |
6bd5999d CR |
748 | if (menu->sym) { |
749 | str_printf(r, " (%s [=%s])", menu->sym->name ? | |
694c49a7 | 750 | menu->sym->name : "<choice>", |
6bd5999d CR |
751 | sym_get_string_value(menu->sym)); |
752 | } | |
753 | str_append(r, "\n"); | |
754 | } | |
755 | } | |
756 | } | |
757 | ||
bcdedcc1 | 758 | /* |
8d9dfe82 | 759 | * get property of type P_SYMBOL |
bcdedcc1 W |
760 | */ |
761 | static struct property *get_symbol_prop(struct symbol *sym) | |
762 | { | |
763 | struct property *prop = NULL; | |
764 | ||
765 | for_all_properties(sym, prop, P_SYMBOL) | |
766 | break; | |
767 | return prop; | |
768 | } | |
769 | ||
237e3ad0 NP |
770 | static void get_symbol_props_str(struct gstr *r, struct symbol *sym, |
771 | enum prop_type tok, const char *prefix) | |
772 | { | |
773 | bool hit = false; | |
774 | struct property *prop; | |
775 | ||
776 | for_all_properties(sym, prop, tok) { | |
777 | if (!hit) { | |
778 | str_append(r, prefix); | |
779 | hit = true; | |
780 | } else | |
781 | str_printf(r, " && "); | |
782 | expr_gstr_print(prop->expr, r); | |
783 | } | |
784 | if (hit) | |
785 | str_append(r, "\n"); | |
786 | } | |
787 | ||
5e609add | 788 | /* |
95ac9b3b | 789 | * head is optional and may be NULL |
5e609add | 790 | */ |
ad8d40cd | 791 | static void get_symbol_str(struct gstr *r, struct symbol *sym, |
bad9955d | 792 | struct list_head *head) |
6bd5999d | 793 | { |
6bd5999d CR |
794 | struct property *prop; |
795 | ||
b040b44c | 796 | if (sym && sym->name) { |
6bd5999d CR |
797 | str_printf(r, "Symbol: %s [=%s]\n", sym->name, |
798 | sym_get_string_value(sym)); | |
b040b44c | 799 | str_printf(r, "Type : %s\n", sym_type_name(sym->type)); |
70ed0747 LZ |
800 | if (sym->type == S_INT || sym->type == S_HEX) { |
801 | prop = sym_get_range_prop(sym); | |
802 | if (prop) { | |
803 | str_printf(r, "Range : "); | |
804 | expr_gstr_print(prop->expr, r); | |
805 | str_append(r, "\n"); | |
806 | } | |
807 | } | |
b040b44c | 808 | } |
6bd5999d | 809 | for_all_prompts(sym, prop) |
95ac9b3b | 810 | get_prompt_str(r, prop, head); |
383da76f | 811 | |
bcdedcc1 | 812 | prop = get_symbol_prop(sym); |
383da76f | 813 | if (prop) { |
694c49a7 | 814 | str_printf(r, " Defined at %s:%d\n", prop->menu->file->name, |
383da76f LZ |
815 | prop->menu->lineno); |
816 | if (!expr_is_yes(prop->visible.expr)) { | |
694c49a7 | 817 | str_append(r, " Depends on: "); |
383da76f LZ |
818 | expr_gstr_print(prop->visible.expr, r); |
819 | str_append(r, "\n"); | |
820 | } | |
bcdedcc1 | 821 | } |
383da76f | 822 | |
694c49a7 | 823 | get_symbol_props_str(r, sym, P_SELECT, " Selects: "); |
6bd5999d | 824 | if (sym->rev_dep.expr) { |
d9119b59 ER |
825 | expr_gstr_print_revdep(sym->rev_dep.expr, r, yes, " Selected by [y]:\n"); |
826 | expr_gstr_print_revdep(sym->rev_dep.expr, r, mod, " Selected by [m]:\n"); | |
827 | expr_gstr_print_revdep(sym->rev_dep.expr, r, no, " Selected by [n]:\n"); | |
6bd5999d | 828 | } |
237e3ad0 | 829 | |
694c49a7 | 830 | get_symbol_props_str(r, sym, P_IMPLY, " Implies: "); |
237e3ad0 | 831 | if (sym->implied.expr) { |
d9119b59 ER |
832 | expr_gstr_print_revdep(sym->implied.expr, r, yes, " Implied by [y]:\n"); |
833 | expr_gstr_print_revdep(sym->implied.expr, r, mod, " Implied by [m]:\n"); | |
834 | expr_gstr_print_revdep(sym->implied.expr, r, no, " Implied by [n]:\n"); | |
237e3ad0 NP |
835 | } |
836 | ||
6bd5999d CR |
837 | str_append(r, "\n\n"); |
838 | } | |
839 | ||
bad9955d | 840 | struct gstr get_relations_str(struct symbol **sym_arr, struct list_head *head) |
692d97c3 | 841 | { |
842 | struct symbol *sym; | |
843 | struct gstr res = str_new(); | |
95ac9b3b | 844 | int i; |
692d97c3 | 845 | |
846 | for (i = 0; sym_arr && (sym = sym_arr[i]); i++) | |
95ac9b3b | 847 | get_symbol_str(&res, sym, head); |
692d97c3 | 848 | if (!i) |
694c49a7 | 849 | str_append(&res, "No matches found.\n"); |
692d97c3 | 850 | return res; |
851 | } | |
852 | ||
853 | ||
6bd5999d CR |
854 | void menu_get_ext_help(struct menu *menu, struct gstr *help) |
855 | { | |
856 | struct symbol *sym = menu->sym; | |
57e6292d | 857 | const char *help_text = nohelp_text; |
6bd5999d CR |
858 | |
859 | if (menu_has_help(menu)) { | |
3f198dfe | 860 | if (sym->name) |
ffb5957b | 861 | str_printf(help, "%s%s:\n\n", CONFIG_, sym->name); |
57e6292d | 862 | help_text = menu_get_help(menu); |
6bd5999d | 863 | } |
694c49a7 | 864 | str_printf(help, "%s\n", help_text); |
4779105e | 865 | if (sym) |
95ac9b3b | 866 | get_symbol_str(help, sym, NULL); |
6bd5999d | 867 | } |