103 static struct expr *rewrite_m(struct expr *e)  in rewrite_m()
110 		e = expr_alloc_one(E_NOT, rewrite_m(e->left.expr));  in rewrite_m()
115 				   rewrite_m(e->left.expr),  in rewrite_m()
116 				   rewrite_m(e->right.expr));  in rewrite_m()
129 void menu_add_dep(struct expr *dep)  in menu_add_dep()
150 static struct property *menu_add_prop(enum prop_type type, struct expr *expr,  in menu_add_prop()  argument
151 				      struct expr *dep)  in menu_add_prop()
161 	prop->expr = expr;  in menu_add_prop()
162 	prop->visible.expr = dep;  in menu_add_prop()
179 				 struct expr *dep)  in menu_add_prompt()
199 			prop->visible.expr = expr_alloc_and(prop->visible.expr,  in menu_add_prompt()
210 void menu_add_visibility(struct expr *expr)  in menu_add_visibility()  argument
213 	    expr);  in menu_add_visibility()
216 void menu_add_expr(enum prop_type type, struct expr *expr, struct expr *dep)  in menu_add_expr()  argument
218 	menu_add_prop(type, expr, dep);  in menu_add_expr()
221 void menu_add_symbol(enum prop_type type, struct symbol *sym, struct expr *dep)  in menu_add_symbol()
242 			    prop->expr->type != E_SYMBOL)  in sym_check_prop()
246 			if (prop->expr->type != E_SYMBOL)  in sym_check_prop()
284 			if (!menu_validate_number(sym, prop->expr->left.sym) ||  in sym_check_prop()
285 			    !menu_validate_number(sym, prop->expr->right.sym))  in sym_check_prop()
299 	struct expr *basedep, *dep, *dep2;  in _menu_finalize()
358 				dep = rewrite_m(prop->visible.expr);  in _menu_finalize()
362 				prop->visible.expr = dep;  in _menu_finalize()
370 					es->rev_dep.expr = expr_alloc_or(es->rev_dep.expr,  in _menu_finalize()
374 					es->implied.expr = expr_alloc_or(es->implied.expr,  in _menu_finalize()
409 		basedep = parent->prompt ? parent->prompt->visible.expr : NULL;  in _menu_finalize()
416 			dep = menu->prompt ? menu->prompt->visible.expr : menu->dep;  in _menu_finalize()
453 		sym->dir_dep.expr = expr_alloc_or(sym->dir_dep.expr, parent->dep);  in _menu_finalize()
553 		visible = menu->prompt->visible.tri = expr_calc_value(menu->prompt->visible.expr);  in menu_is_visible()
595 static void get_dep_str(struct gstr *r, const struct expr *expr,  in get_dep_str()  argument
598 	if (!expr_is_yes(expr)) {  in get_dep_str()
600 		expr_gstr_print(expr, r);  in get_dep_str()
628 	if (!expr_eq(prop->menu->dep, prop->visible.expr))  in get_prompt_str()
629 		get_dep_str(r, prop->visible.expr, "  Visible if: ");  in get_prompt_str()
681 		expr_gstr_print(prop->expr, r);  in get_symbol_props_str()
704 				expr_gstr_print(prop->expr, r);  in get_symbol_str()
726 	if (sym->rev_dep.expr) {  in get_symbol_str()
727 		expr_gstr_print_revdep(sym->rev_dep.expr, r, yes, "Selected by [y]:\n");  in get_symbol_str()
728 		expr_gstr_print_revdep(sym->rev_dep.expr, r, mod, "Selected by [m]:\n");  in get_symbol_str()
729 		expr_gstr_print_revdep(sym->rev_dep.expr, r, no, "Selected by [n]:\n");  in get_symbol_str()
733 	if (sym->implied.expr) {  in get_symbol_str()
734 		expr_gstr_print_revdep(sym->implied.expr, r, yes, "Implied by [y]:\n");  in get_symbol_str()
735 		expr_gstr_print_revdep(sym->implied.expr, r, mod, "Implied by [m]:\n");  in get_symbol_str()
736 		expr_gstr_print_revdep(sym->implied.expr, r, no, "Implied by [n]:\n");  in get_symbol_str()