82 static struct expr *rewrite_m(struct expr *e)  in rewrite_m()
89 		e->left.expr = rewrite_m(e->left.expr);  in rewrite_m()
93 		e->left.expr = rewrite_m(e->left.expr);  in rewrite_m()
94 		e->right.expr = rewrite_m(e->right.expr);  in rewrite_m()
107 void menu_add_dep(struct expr *dep)  in menu_add_dep()
128 static struct property *menu_add_prop(enum prop_type type, struct expr *expr,  in menu_add_prop()  argument
129 				      struct expr *dep)  in menu_add_prop()
139 	prop->expr = expr;  in menu_add_prop()
140 	prop->visible.expr = dep;  in menu_add_prop()
157 				 struct expr *dep)  in menu_add_prompt()
174 			struct expr *dup_expr;  in menu_add_prompt()
187 			prop->visible.expr = expr_alloc_and(prop->visible.expr,  in menu_add_prompt()
198 void menu_add_visibility(struct expr *expr)  in menu_add_visibility()  argument
201 	    expr);  in menu_add_visibility()
204 void menu_add_expr(enum prop_type type, struct expr *expr, struct expr *dep)  in menu_add_expr()  argument
206 	menu_add_prop(type, expr, dep);  in menu_add_expr()
209 void menu_add_symbol(enum prop_type type, struct symbol *sym, struct expr *dep)  in menu_add_symbol()
252 			    prop->expr->type != E_SYMBOL)  in sym_check_prop()
256 			if (prop->expr->type != E_SYMBOL)  in sym_check_prop()
296 			if (!menu_validate_number(sym, prop->expr->left.sym) ||  in sym_check_prop()
297 			    !menu_validate_number(sym, prop->expr->right.sym))  in sym_check_prop()
311 	struct expr *parentdep, *basedep, *dep, *dep2, **ep;  in menu_finalize()
400 				dep = rewrite_m(prop->visible.expr);  in menu_finalize()
406 				prop->visible.expr = dep;  in menu_finalize()
414 					es->rev_dep.expr = expr_alloc_or(es->rev_dep.expr,  in menu_finalize()
418 					es->implied.expr = expr_alloc_or(es->implied.expr,  in menu_finalize()
456 		basedep = parent->prompt ? parent->prompt->visible.expr : NULL;  in menu_finalize()
463 			dep = menu->prompt ? menu->prompt->visible.expr : menu->dep;  in menu_finalize()
504 		sym->dir_dep.expr = expr_alloc_or(sym->dir_dep.expr, parent->dep);  in menu_finalize()
535 					prop->visible.expr = expr_alloc_and(expr_copy(basedep),  in menu_finalize()
536 									    prop->visible.expr);  in menu_finalize()
541 			for (ep = &prop->expr; *ep; ep = &(*ep)->left.expr)  in menu_finalize()
609 		sym->rev_dep.expr = expr_alloc_or(sym->rev_dep.expr,  in menu_finalize()
610 				expr_alloc_and(parent->prompt->visible.expr,  in menu_finalize()
657 		visible = menu->prompt->visible.tri = expr_calc_value(menu->prompt->visible.expr);  in menu_is_visible()
721 static void get_dep_str(struct gstr *r, struct expr *expr, const char *prefix)  in get_dep_str()  argument
723 	if (!expr_is_yes(expr)) {  in get_dep_str()
725 		expr_gstr_print(expr, r);  in get_dep_str()
748 	if (!expr_eq(prop->menu->dep, prop->visible.expr))  in get_prompt_str()
749 		get_dep_str(r, prop->visible.expr, "  Visible if: ");  in get_prompt_str()
812 		expr_gstr_print(prop->expr, r);  in get_symbol_props_str()
834 				expr_gstr_print(prop->expr, r);  in get_symbol_str()
856 	if (sym->rev_dep.expr) {  in get_symbol_str()
857 		expr_gstr_print_revdep(sym->rev_dep.expr, r, yes, "Selected by [y]:\n");  in get_symbol_str()
858 		expr_gstr_print_revdep(sym->rev_dep.expr, r, mod, "Selected by [m]:\n");  in get_symbol_str()
859 		expr_gstr_print_revdep(sym->rev_dep.expr, r, no, "Selected by [n]:\n");  in get_symbol_str()
863 	if (sym->implied.expr) {  in get_symbol_str()
864 		expr_gstr_print_revdep(sym->implied.expr, r, yes, "Implied by [y]:\n");  in get_symbol_str()
865 		expr_gstr_print_revdep(sym->implied.expr, r, mod, "Implied by [m]:\n");  in get_symbol_str()
866 		expr_gstr_print_revdep(sym->implied.expr, r, no, "Implied by [n]:\n");  in get_symbol_str()