2 * Copyright (C) 2002 Roman Zippel <zippel@linux-m68k.org>
3 * Released under the terms of the GNU GPL v2.0.
13 static const char nohelp_text
[] = "There is no help available for this option.";
16 static struct menu
**last_entry_ptr
;
18 struct file
*file_list
;
19 struct file
*current_file
;
21 void menu_warn(struct menu
*menu
, const char *fmt
, ...)
25 fprintf(stderr
, "%s:%d:warning: ", menu
->file
->name
, menu
->lineno
);
26 vfprintf(stderr
, fmt
, ap
);
27 fprintf(stderr
, "\n");
31 static void prop_warn(struct property
*prop
, const char *fmt
, ...)
35 fprintf(stderr
, "%s:%d:warning: ", prop
->file
->name
, prop
->lineno
);
36 vfprintf(stderr
, fmt
, ap
);
37 fprintf(stderr
, "\n");
43 current_entry
= current_menu
= &rootmenu
;
44 last_entry_ptr
= &rootmenu
.list
;
47 void menu_add_entry(struct symbol
*sym
)
51 menu
= xmalloc(sizeof(*menu
));
52 memset(menu
, 0, sizeof(*menu
));
54 menu
->parent
= current_menu
;
55 menu
->file
= current_file
;
56 menu
->lineno
= zconf_lineno();
58 *last_entry_ptr
= menu
;
59 last_entry_ptr
= &menu
->next
;
62 menu_add_symbol(P_SYMBOL
, sym
, NULL
);
65 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
;
78 * Rewrites 'm' to 'm' && MODULES, so that it evaluates to 'n' when running
81 static struct expr
*rewrite_m(struct expr
*e
)
88 e
->left
.expr
= rewrite_m(e
->left
.expr
);
92 e
->left
.expr
= rewrite_m(e
->left
.expr
);
93 e
->right
.expr
= rewrite_m(e
->right
.expr
);
96 /* change 'm' into 'm' && MODULES */
97 if (e
->left
.sym
== &symbol_mod
)
98 return expr_alloc_and(e
, expr_alloc_symbol(modules_sym
));
106 void menu_add_dep(struct expr
*dep
)
108 current_entry
->dep
= expr_alloc_and(current_entry
->dep
, dep
);
111 void menu_set_type(int type
)
113 struct symbol
*sym
= current_entry
->sym
;
115 if (sym
->type
== type
)
117 if (sym
->type
== S_UNKNOWN
) {
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
));
127 static struct property
*menu_add_prop(enum prop_type type
, char *prompt
, struct expr
*expr
, struct expr
*dep
)
129 struct property
*prop
= prop_alloc(type
, current_entry
->sym
);
131 prop
->menu
= current_entry
;
133 prop
->visible
.expr
= dep
;
136 if (isspace(*prompt
)) {
137 prop_warn(prop
, "leading whitespace ignored");
138 while (isspace(*prompt
))
141 if (current_entry
->prompt
&& current_entry
!= &rootmenu
)
142 prop_warn(prop
, "prompt redefined");
144 /* Apply all upper menus' visibilities to actual prompts. */
145 if(type
== P_PROMPT
) {
146 struct menu
*menu
= current_entry
;
148 while ((menu
= menu
->parent
) != NULL
) {
149 struct expr
*dup_expr
;
151 if (!menu
->visibility
)
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.
162 dup_expr
= expr_copy(menu
->visibility
);
165 = expr_alloc_and(prop
->visible
.expr
,
170 current_entry
->prompt
= prop
;
177 struct property
*menu_add_prompt(enum prop_type type
, char *prompt
, struct expr
*dep
)
179 return menu_add_prop(type
, prompt
, NULL
, dep
);
182 void menu_add_visibility(struct expr
*expr
)
184 current_entry
->visibility
= expr_alloc_and(current_entry
->visibility
,
188 void menu_add_expr(enum prop_type type
, struct expr
*expr
, struct expr
*dep
)
190 menu_add_prop(type
, NULL
, expr
, dep
);
193 void menu_add_symbol(enum prop_type type
, struct symbol
*sym
, struct expr
*dep
)
195 menu_add_prop(type
, NULL
, expr_alloc_symbol(sym
), dep
);
198 void menu_add_option(int token
, char *arg
)
203 zconf_error("symbol '%s' redefines option 'modules'"
204 " already defined by symbol '%s'",
205 current_entry
->sym
->name
,
208 modules_sym
= current_entry
->sym
;
210 case T_OPT_DEFCONFIG_LIST
:
211 if (!sym_defconfig_list
)
212 sym_defconfig_list
= current_entry
->sym
;
213 else if (sym_defconfig_list
!= current_entry
->sym
)
214 zconf_error("trying to redefine defconfig symbol");
219 case T_OPT_ALLNOCONFIG_Y
:
220 current_entry
->sym
->flags
|= SYMBOL_ALLNOCONFIG_Y
;
225 static int menu_validate_number(struct symbol
*sym
, struct symbol
*sym2
)
227 return sym2
->type
== S_INT
|| sym2
->type
== S_HEX
||
228 (sym2
->type
== S_UNKNOWN
&& sym_string_valid(sym
, sym2
->name
));
231 static void sym_check_prop(struct symbol
*sym
)
233 struct property
*prop
;
237 for (prop
= sym
->prop
; prop
; prop
= prop
->next
) {
238 switch (prop
->type
) {
240 if ((sym
->type
== S_STRING
|| sym
->type
== S_INT
|| sym
->type
== S_HEX
) &&
241 prop
->expr
->type
!= E_SYMBOL
)
243 "default for config symbol '%s'"
244 " must be a single symbol", sym
->name
);
245 if (prop
->expr
->type
!= E_SYMBOL
)
247 sym2
= prop_get_symbol(prop
);
248 if (sym
->type
== S_HEX
|| sym
->type
== S_INT
) {
249 if (!menu_validate_number(sym
, sym2
))
251 "'%s': number is invalid",
254 if (sym_is_choice(sym
)) {
255 struct property
*choice_prop
=
256 sym_get_choice_prop(sym2
);
259 prop_get_symbol(choice_prop
) != sym
)
261 "choice default symbol '%s' is not contained in the choice",
267 use
= prop
->type
== P_SELECT
? "select" : "imply";
268 sym2
= prop_get_symbol(prop
);
269 if (sym
->type
!= S_BOOLEAN
&& sym
->type
!= S_TRISTATE
)
271 "config symbol '%s' uses %s, but is "
272 "not bool or tristate", sym
->name
, use
);
273 else if (sym2
->type
!= S_UNKNOWN
&&
274 sym2
->type
!= S_BOOLEAN
&&
275 sym2
->type
!= S_TRISTATE
)
277 "'%s' has wrong type. '%s' only "
278 "accept arguments of bool and "
279 "tristate type", sym2
->name
, use
);
282 if (sym
->type
!= S_INT
&& sym
->type
!= S_HEX
)
283 prop_warn(prop
, "range is only allowed "
284 "for int or hex symbols");
285 if (!menu_validate_number(sym
, prop
->expr
->left
.sym
) ||
286 !menu_validate_number(sym
, prop
->expr
->right
.sym
))
287 prop_warn(prop
, "range is invalid");
295 void menu_finalize(struct menu
*parent
)
297 struct menu
*menu
, *last_menu
;
299 struct property
*prop
;
300 struct expr
*parentdep
, *basedep
, *dep
, *dep2
, **ep
;
305 * This menu node has children. We (recursively) process them
306 * and propagate parent dependencies before moving on.
309 if (sym
&& sym_is_choice(sym
)) {
310 if (sym
->type
== S_UNKNOWN
) {
311 /* find the first choice value to find out choice type */
312 current_entry
= parent
;
313 for (menu
= parent
->list
; menu
; menu
= menu
->next
) {
314 if (menu
->sym
&& menu
->sym
->type
!= S_UNKNOWN
) {
315 menu_set_type(menu
->sym
->type
);
320 /* set the type of the remaining choice values */
321 for (menu
= parent
->list
; menu
; menu
= menu
->next
) {
322 current_entry
= menu
;
323 if (menu
->sym
&& menu
->sym
->type
== S_UNKNOWN
)
324 menu_set_type(sym
->type
);
328 * Use the choice itself as the parent dependency of
329 * the contained items. This turns the mode of the
330 * choice into an upper bound on the visibility of the
331 * choice value symbols.
333 parentdep
= expr_alloc_symbol(sym
);
334 } else if (parent
->prompt
)
335 /* Menu node for 'menu' */
336 parentdep
= parent
->prompt
->visible
.expr
;
338 /* Menu node for 'if' */
339 parentdep
= parent
->dep
;
341 /* For each child menu node... */
342 for (menu
= parent
->list
; menu
; menu
= menu
->next
) {
344 * Propagate parent dependencies to the child menu
345 * node, also rewriting and simplifying expressions
347 basedep
= rewrite_m(menu
->dep
);
348 basedep
= expr_transform(basedep
);
349 basedep
= expr_alloc_and(expr_copy(parentdep
), basedep
);
350 basedep
= expr_eliminate_dups(basedep
);
355 * Note: For symbols, all prompts are included
356 * too in the symbol's own property list
358 prop
= menu
->sym
->prop
;
361 * For non-symbol menu nodes, we just need to
366 /* For each property... */
367 for (; prop
; prop
= prop
->next
) {
368 if (prop
->menu
!= menu
)
372 * 1. The property lacks dependencies
373 * and so isn't location-specific,
376 * 2. The property belongs to a symbol
377 * defined in multiple locations and
378 * is from some other location. It
379 * will be handled there in that
387 * Propagate parent dependencies to the
388 * property's condition, rewriting and
389 * simplifying expressions at the same time
391 dep
= rewrite_m(prop
->visible
.expr
);
392 dep
= expr_transform(dep
);
393 dep
= expr_alloc_and(expr_copy(basedep
), dep
);
394 dep
= expr_eliminate_dups(dep
);
395 if (menu
->sym
&& menu
->sym
->type
!= S_TRISTATE
)
396 dep
= expr_trans_bool(dep
);
397 prop
->visible
.expr
= dep
;
400 * Handle selects and implies, which modify the
401 * dependencies of the selected/implied symbol
403 if (prop
->type
== P_SELECT
) {
404 struct symbol
*es
= prop_get_symbol(prop
);
405 es
->rev_dep
.expr
= expr_alloc_or(es
->rev_dep
.expr
,
406 expr_alloc_and(expr_alloc_symbol(menu
->sym
), expr_copy(dep
)));
407 } else if (prop
->type
== P_IMPLY
) {
408 struct symbol
*es
= prop_get_symbol(prop
);
409 es
->implied
.expr
= expr_alloc_or(es
->implied
.expr
,
410 expr_alloc_and(expr_alloc_symbol(menu
->sym
), expr_copy(dep
)));
415 if (sym
&& sym_is_choice(sym
))
416 expr_free(parentdep
);
419 * Recursively process children in the same fashion before
422 for (menu
= parent
->list
; menu
; menu
= menu
->next
)
426 * Automatic submenu creation. If sym is a symbol and A, B, C,
427 * ... are consecutive items (symbols, menus, ifs, etc.) that
428 * all depend on sym, then the following menu structure is
437 * This also works recursively, giving the following structure
438 * if A is a symbol and B depends on A:
447 basedep
= parent
->prompt
? parent
->prompt
->visible
.expr
: NULL
;
448 basedep
= expr_trans_compare(basedep
, E_UNEQUAL
, &symbol_no
);
449 basedep
= expr_eliminate_dups(expr_transform(basedep
));
451 /* Examine consecutive elements after sym */
453 for (menu
= parent
->next
; menu
; menu
= menu
->next
) {
454 dep
= menu
->prompt
? menu
->prompt
->visible
.expr
: menu
->dep
;
455 if (!expr_contains_symbol(dep
, sym
))
456 /* No dependency, quit */
458 if (expr_depends_symbol(dep
, sym
))
459 /* Absolute dependency, put in submenu */
463 * Also consider it a dependency on sym if our
464 * dependencies contain sym and are a "superset" of
465 * sym's dependencies, e.g. '(sym || Q) && R' when sym
468 * Note that 'R' might be from an enclosing menu or if,
469 * making this a more common case than it might seem.
471 dep
= expr_trans_compare(dep
, E_UNEQUAL
, &symbol_no
);
472 dep
= expr_eliminate_dups(expr_transform(dep
));
473 dep2
= expr_copy(basedep
);
474 expr_eliminate_eq(&dep
, &dep2
);
476 if (!expr_is_yes(dep2
)) {
477 /* Not superset, quit */
481 /* Superset, put in submenu */
485 menu
->parent
= parent
;
490 parent
->list
= parent
->next
;
491 parent
->next
= last_menu
->next
;
492 last_menu
->next
= NULL
;
495 sym
->dir_dep
.expr
= expr_alloc_or(sym
->dir_dep
.expr
, parent
->dep
);
497 for (menu
= parent
->list
; menu
; menu
= menu
->next
) {
498 if (sym
&& sym_is_choice(sym
) &&
499 menu
->sym
&& !sym_is_choice_value(menu
->sym
)) {
500 current_entry
= menu
;
501 menu
->sym
->flags
|= SYMBOL_CHOICEVAL
;
503 menu_warn(menu
, "choice value must have a prompt");
504 for (prop
= menu
->sym
->prop
; prop
; prop
= prop
->next
) {
505 if (prop
->type
== P_DEFAULT
)
506 prop_warn(prop
, "defaults for choice "
507 "values not supported");
508 if (prop
->menu
== menu
)
510 if (prop
->type
== P_PROMPT
&&
511 prop
->menu
->parent
->sym
!= sym
)
512 prop_warn(prop
, "choice value used outside its choice group");
514 /* Non-tristate choice values of tristate choices must
515 * depend on the choice being set to Y. The choice
516 * values' dependencies were propagated to their
517 * properties above, so the change here must be re-
520 if (sym
->type
== S_TRISTATE
&& menu
->sym
->type
!= S_TRISTATE
) {
521 basedep
= expr_alloc_comp(E_EQUAL
, sym
, &symbol_yes
);
522 menu
->dep
= expr_alloc_and(basedep
, menu
->dep
);
523 for (prop
= menu
->sym
->prop
; prop
; prop
= prop
->next
) {
524 if (prop
->menu
!= menu
)
526 prop
->visible
.expr
= expr_alloc_and(expr_copy(basedep
),
530 menu_add_symbol(P_CHOICE
, sym
, NULL
);
531 prop
= sym_get_choice_prop(sym
);
532 for (ep
= &prop
->expr
; *ep
; ep
= &(*ep
)->left
.expr
)
534 *ep
= expr_alloc_one(E_LIST
, NULL
);
535 (*ep
)->right
.sym
= menu
->sym
;
539 * This code serves two purposes:
541 * (1) Flattening 'if' blocks, which do not specify a submenu
542 * and only add dependencies.
544 * (Automatic submenu creation might still create a submenu
545 * from an 'if' before this code runs.)
547 * (2) "Undoing" any automatic submenus created earlier below
548 * promptless symbols.
553 * if ... (or promptless symbol)
561 * if ... (or promptless symbol)
566 if (menu
->list
&& (!menu
->prompt
|| !menu
->prompt
->text
)) {
567 for (last_menu
= menu
->list
; ; last_menu
= last_menu
->next
) {
568 last_menu
->parent
= parent
;
569 if (!last_menu
->next
)
572 last_menu
->next
= menu
->next
;
573 menu
->next
= menu
->list
;
578 if (sym
&& !(sym
->flags
& SYMBOL_WARNED
)) {
579 if (sym
->type
== S_UNKNOWN
)
580 menu_warn(parent
, "config symbol defined without type");
582 if (sym_is_choice(sym
) && !parent
->prompt
)
583 menu_warn(parent
, "choice must have a prompt");
585 /* Check properties connected to this symbol */
587 sym
->flags
|= SYMBOL_WARNED
;
591 * For non-optional choices, add a reverse dependency (corresponding to
592 * a select) of '<visibility> && m'. This prevents the user from
593 * setting the choice mode to 'n' when the choice is visible.
595 * This would also work for non-choice symbols, but only non-optional
596 * choices clear SYMBOL_OPTIONAL as of writing. Choices are implemented
597 * as a type of symbol.
599 if (sym
&& !sym_is_optional(sym
) && parent
->prompt
) {
600 sym
->rev_dep
.expr
= expr_alloc_or(sym
->rev_dep
.expr
,
601 expr_alloc_and(parent
->prompt
->visible
.expr
,
602 expr_alloc_symbol(&symbol_mod
)));
606 bool menu_has_prompt(struct menu
*menu
)
614 * Determine if a menu is empty.
615 * A menu is considered empty if it contains no or only
618 bool menu_is_empty(struct menu
*menu
)
622 for (child
= menu
->list
; child
; child
= child
->next
) {
623 if (menu_is_visible(child
))
629 bool menu_is_visible(struct menu
*menu
)
638 if (menu
->visibility
) {
639 if (expr_calc_value(menu
->visibility
) == no
)
646 visible
= menu
->prompt
->visible
.tri
;
648 visible
= menu
->prompt
->visible
.tri
= expr_calc_value(menu
->prompt
->visible
.expr
);
653 if (!sym
|| sym_get_tristate_value(menu
->sym
) == no
)
656 for (child
= menu
->list
; child
; child
= child
->next
) {
657 if (menu_is_visible(child
)) {
659 sym
->flags
|= SYMBOL_DEF_USER
;
667 const char *menu_get_prompt(struct menu
*menu
)
670 return menu
->prompt
->text
;
672 return menu
->sym
->name
;
676 struct menu
*menu_get_root_menu(struct menu
*menu
)
681 struct menu
*menu_get_parent_menu(struct menu
*menu
)
685 for (; menu
!= &rootmenu
; menu
= menu
->parent
) {
686 type
= menu
->prompt
? menu
->prompt
->type
: 0;
693 bool menu_has_help(struct menu
*menu
)
695 return menu
->help
!= NULL
;
698 const char *menu_get_help(struct menu
*menu
)
706 static void get_prompt_str(struct gstr
*r
, struct property
*prop
,
707 struct list_head
*head
)
710 struct menu
*submenu
[8], *menu
, *location
= NULL
;
711 struct jump_key
*jump
= NULL
;
713 str_printf(r
, _("Prompt: %s\n"), _(prop
->text
));
714 menu
= prop
->menu
->parent
;
715 for (i
= 0; menu
!= &rootmenu
&& i
< 8; menu
= menu
->parent
) {
716 bool accessible
= menu_is_visible(menu
);
719 if (location
== NULL
&& accessible
)
722 if (head
&& location
) {
723 jump
= xmalloc(sizeof(struct jump_key
));
725 if (menu_is_visible(prop
->menu
)) {
727 * There is not enough room to put the hint at the
728 * beginning of the "Prompt" line. Put the hint on the
729 * last "Location" line even when it would belong on
732 jump
->target
= prop
->menu
;
734 jump
->target
= location
;
736 if (list_empty(head
))
739 jump
->index
= list_entry(head
->prev
, struct jump_key
,
742 list_add_tail(&jump
->entries
, head
);
746 str_printf(r
, _(" Location:\n"));
747 for (j
= 4; --i
>= 0; j
+= 2) {
749 if (jump
&& menu
== location
)
750 jump
->offset
= strlen(r
->s
);
751 str_printf(r
, "%*c-> %s", j
, ' ',
752 _(menu_get_prompt(menu
)));
754 str_printf(r
, " (%s [=%s])", menu
->sym
->name
?
755 menu
->sym
->name
: _("<choice>"),
756 sym_get_string_value(menu
->sym
));
764 * get property of type P_SYMBOL
766 static struct property
*get_symbol_prop(struct symbol
*sym
)
768 struct property
*prop
= NULL
;
770 for_all_properties(sym
, prop
, P_SYMBOL
)
775 static void get_symbol_props_str(struct gstr
*r
, struct symbol
*sym
,
776 enum prop_type tok
, const char *prefix
)
779 struct property
*prop
;
781 for_all_properties(sym
, prop
, tok
) {
783 str_append(r
, prefix
);
786 str_printf(r
, " && ");
787 expr_gstr_print(prop
->expr
, r
);
794 * head is optional and may be NULL
796 static void get_symbol_str(struct gstr
*r
, struct symbol
*sym
,
797 struct list_head
*head
)
799 struct property
*prop
;
801 if (sym
&& sym
->name
) {
802 str_printf(r
, "Symbol: %s [=%s]\n", sym
->name
,
803 sym_get_string_value(sym
));
804 str_printf(r
, "Type : %s\n", sym_type_name(sym
->type
));
805 if (sym
->type
== S_INT
|| sym
->type
== S_HEX
) {
806 prop
= sym_get_range_prop(sym
);
808 str_printf(r
, "Range : ");
809 expr_gstr_print(prop
->expr
, r
);
814 for_all_prompts(sym
, prop
)
815 get_prompt_str(r
, prop
, head
);
817 prop
= get_symbol_prop(sym
);
819 str_printf(r
, _(" Defined at %s:%d\n"), prop
->menu
->file
->name
,
821 if (!expr_is_yes(prop
->visible
.expr
)) {
822 str_append(r
, _(" Depends on: "));
823 expr_gstr_print(prop
->visible
.expr
, r
);
828 get_symbol_props_str(r
, sym
, P_SELECT
, _(" Selects: "));
829 if (sym
->rev_dep
.expr
) {
830 str_append(r
, _(" Selected by: "));
831 expr_gstr_print_revdep(sym
->rev_dep
.expr
, r
);
835 get_symbol_props_str(r
, sym
, P_IMPLY
, _(" Implies: "));
836 if (sym
->implied
.expr
) {
837 str_append(r
, _(" Implied by: "));
838 expr_gstr_print_revdep(sym
->implied
.expr
, r
);
842 str_append(r
, "\n\n");
845 struct gstr
get_relations_str(struct symbol
**sym_arr
, struct list_head
*head
)
848 struct gstr res
= str_new();
851 for (i
= 0; sym_arr
&& (sym
= sym_arr
[i
]); i
++)
852 get_symbol_str(&res
, sym
, head
);
854 str_append(&res
, _("No matches found.\n"));
859 void menu_get_ext_help(struct menu
*menu
, struct gstr
*help
)
861 struct symbol
*sym
= menu
->sym
;
862 const char *help_text
= nohelp_text
;
864 if (menu_has_help(menu
)) {
866 str_printf(help
, "%s%s:\n\n", CONFIG_
, sym
->name
);
867 help_text
= menu_get_help(menu
);
869 str_printf(help
, "%s\n", _(help_text
));
871 get_symbol_str(help
, sym
, NULL
);