Linux Audio

Check our new training course

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