104 static struct expr *rewrite_m(struct expr *e)  in rewrite_m()
111 		e = expr_alloc_one(E_NOT, rewrite_m(e->left.expr));  in rewrite_m()
116 				   rewrite_m(e->left.expr),  in rewrite_m()
117 				   rewrite_m(e->right.expr));  in rewrite_m()
130 void menu_add_dep(struct expr *dep, struct expr *cond)  in menu_add_dep()
161 static struct property *menu_add_prop(enum prop_type type, struct expr *expr,  in menu_add_prop()  argument
162 				      struct expr *dep)  in menu_add_prop()
172 	prop->expr = expr;  in menu_add_prop()
173 	prop->visible.expr = dep;  in menu_add_prop()
190 				 struct expr *dep)  in menu_add_prompt()
210 			prop->visible.expr = expr_alloc_and(prop->visible.expr,  in menu_add_prompt()
221 void menu_add_visibility(struct expr *expr)  in menu_add_visibility()  argument
224 	    expr);  in menu_add_visibility()
227 void menu_add_expr(enum prop_type type, struct expr *expr, struct expr *dep)  in menu_add_expr()  argument
229 	menu_add_prop(type, expr, dep);  in menu_add_expr()
232 void menu_add_symbol(enum prop_type type, struct symbol *sym, struct expr *dep)  in menu_add_symbol()
253 			    prop->expr->type != E_SYMBOL)  in sym_check_prop()
257 			if (prop->expr->type != E_SYMBOL)  in sym_check_prop()
295 			if (!menu_validate_number(sym, prop->expr->left.sym) ||  in sym_check_prop()
296 			    !menu_validate_number(sym, prop->expr->right.sym))  in sym_check_prop()
310 	struct expr *basedep, *dep, *dep2;  in _menu_finalize()
369 				dep = rewrite_m(prop->visible.expr);  in _menu_finalize()
373 				prop->visible.expr = dep;  in _menu_finalize()
381 					es->rev_dep.expr = expr_alloc_or(es->rev_dep.expr,  in _menu_finalize()
385 					es->implied.expr = expr_alloc_or(es->implied.expr,  in _menu_finalize()
420 		basedep = parent->prompt ? parent->prompt->visible.expr : NULL;  in _menu_finalize()
427 			dep = menu->prompt ? menu->prompt->visible.expr : menu->dep;  in _menu_finalize()
464 		sym->dir_dep.expr = expr_alloc_or(sym->dir_dep.expr, parent->dep);  in _menu_finalize()
564 		visible = menu->prompt->visible.tri = expr_calc_value(menu->prompt->visible.expr);  in menu_is_visible()
626 static void get_dep_str(struct gstr *r, const struct expr *expr,  in get_dep_str()  argument
629 	if (!expr_is_yes(expr)) {  in get_dep_str()
631 		expr_gstr_print(expr, r);  in get_dep_str()
659 	if (!expr_eq(prop->menu->dep, prop->visible.expr))  in get_prompt_str()
660 		get_dep_str(r, prop->visible.expr, "  Visible if: ");  in get_prompt_str()
712 		expr_gstr_print(prop->expr, r);  in get_symbol_props_str()
735 				expr_gstr_print(prop->expr, r);  in get_symbol_str()
757 	if (sym->rev_dep.expr) {  in get_symbol_str()
758 		expr_gstr_print_revdep(sym->rev_dep.expr, r, yes, "Selected by [y]:\n");  in get_symbol_str()
759 		expr_gstr_print_revdep(sym->rev_dep.expr, r, mod, "Selected by [m]:\n");  in get_symbol_str()
760 		expr_gstr_print_revdep(sym->rev_dep.expr, r, no, "Selected by [n]:\n");  in get_symbol_str()
764 	if (sym->implied.expr) {  in get_symbol_str()
765 		expr_gstr_print_revdep(sym->implied.expr, r, yes, "Implied by [y]:\n");  in get_symbol_str()
766 		expr_gstr_print_revdep(sym->implied.expr, r, mod, "Implied by [m]:\n");  in get_symbol_str()
767 		expr_gstr_print_revdep(sym->implied.expr, r, no, "Implied by [n]:\n");  in get_symbol_str()