menu.c 9.9 KB

123456789101112131415161718192021222324252627282930313233343536373839404142434445464748495051525354555657585960616263646566676869707172737475767778798081828384858687888990919293949596979899100101102103104105106107108109110111112113114115116117118119120121122123124125126127128129130131132133134135136137138139140141142143144145146147148149150151152153154155156157158159160161162163164165166167168169170171172173174175176177178179180181182183184185186187188189190191192193194195196197198199200201202203204205206207208209210211212213214215216217218219220221222223224225226227228229230231232233234235236237238239240241242243244245246247248249250251252253254255256257258259260261262263264265266267268269270271272273274275276277278279280281282283284285286287288289290291292293294295296297298299300301302303304305306307308309310311312313314315316317318319320321322323324325326327328329330331332333334335336337338339340341342343344345346347348349350351352353354355356357358359360361362363364365366367368369370371372373374375376377378379380381382383384385386387388389390391392393394395396
  1. /*
  2. * Copyright (C) 2002 Roman Zippel <zippel@linux-m68k.org>
  3. * Released under the terms of the GNU GPL v2.0.
  4. */
  5. #include <stdlib.h>
  6. #include <string.h>
  7. #define LKC_DIRECT_LINK
  8. #include "lkc.h"
  9. struct menu rootmenu;
  10. static struct menu **last_entry_ptr;
  11. struct file *file_list;
  12. struct file *current_file;
  13. static void menu_warn(struct menu *menu, const char *fmt, ...)
  14. {
  15. va_list ap;
  16. va_start(ap, fmt);
  17. fprintf(stderr, "%s:%d:warning: ", menu->file->name, menu->lineno);
  18. vfprintf(stderr, fmt, ap);
  19. fprintf(stderr, "\n");
  20. va_end(ap);
  21. }
  22. static void prop_warn(struct property *prop, const char *fmt, ...)
  23. {
  24. va_list ap;
  25. va_start(ap, fmt);
  26. fprintf(stderr, "%s:%d:warning: ", prop->file->name, prop->lineno);
  27. vfprintf(stderr, fmt, ap);
  28. fprintf(stderr, "\n");
  29. va_end(ap);
  30. }
  31. void menu_init(void)
  32. {
  33. current_entry = current_menu = &rootmenu;
  34. last_entry_ptr = &rootmenu.list;
  35. }
  36. void menu_add_entry(struct symbol *sym)
  37. {
  38. struct menu *menu;
  39. menu = malloc(sizeof(*menu));
  40. memset(menu, 0, sizeof(*menu));
  41. menu->sym = sym;
  42. menu->parent = current_menu;
  43. menu->file = current_file;
  44. menu->lineno = zconf_lineno();
  45. *last_entry_ptr = menu;
  46. last_entry_ptr = &menu->next;
  47. current_entry = menu;
  48. }
  49. void menu_end_entry(void)
  50. {
  51. }
  52. struct menu *menu_add_menu(void)
  53. {
  54. menu_end_entry();
  55. last_entry_ptr = &current_entry->list;
  56. return current_menu = current_entry;
  57. }
  58. void menu_end_menu(void)
  59. {
  60. last_entry_ptr = &current_menu->next;
  61. current_menu = current_menu->parent;
  62. }
  63. struct expr *menu_check_dep(struct expr *e)
  64. {
  65. if (!e)
  66. return e;
  67. switch (e->type) {
  68. case E_NOT:
  69. e->left.expr = menu_check_dep(e->left.expr);
  70. break;
  71. case E_OR:
  72. case E_AND:
  73. e->left.expr = menu_check_dep(e->left.expr);
  74. e->right.expr = menu_check_dep(e->right.expr);
  75. break;
  76. case E_SYMBOL:
  77. /* change 'm' into 'm' && MODULES */
  78. if (e->left.sym == &symbol_mod)
  79. return expr_alloc_and(e, expr_alloc_symbol(modules_sym));
  80. break;
  81. default:
  82. break;
  83. }
  84. return e;
  85. }
  86. void menu_add_dep(struct expr *dep)
  87. {
  88. current_entry->dep = expr_alloc_and(current_entry->dep, menu_check_dep(dep));
  89. }
  90. void menu_set_type(int type)
  91. {
  92. struct symbol *sym = current_entry->sym;
  93. if (sym->type == type)
  94. return;
  95. if (sym->type == S_UNKNOWN) {
  96. sym->type = type;
  97. return;
  98. }
  99. menu_warn(current_entry, "type of '%s' redefined from '%s' to '%s'\n",
  100. sym->name ? sym->name : "<choice>",
  101. sym_type_name(sym->type), sym_type_name(type));
  102. }
  103. struct property *menu_add_prop(enum prop_type type, char *prompt, struct expr *expr, struct expr *dep)
  104. {
  105. struct property *prop = prop_alloc(type, current_entry->sym);
  106. prop->menu = current_entry;
  107. prop->text = prompt;
  108. prop->expr = expr;
  109. prop->visible.expr = menu_check_dep(dep);
  110. if (prompt) {
  111. if (current_entry->prompt)
  112. menu_warn(current_entry, "prompt redefined\n");
  113. current_entry->prompt = prop;
  114. }
  115. return prop;
  116. }
  117. struct property *menu_add_prompt(enum prop_type type, char *prompt, struct expr *dep)
  118. {
  119. return menu_add_prop(type, prompt, NULL, dep);
  120. }
  121. void menu_add_expr(enum prop_type type, struct expr *expr, struct expr *dep)
  122. {
  123. menu_add_prop(type, NULL, expr, dep);
  124. }
  125. void menu_add_symbol(enum prop_type type, struct symbol *sym, struct expr *dep)
  126. {
  127. menu_add_prop(type, NULL, expr_alloc_symbol(sym), dep);
  128. }
  129. static int menu_range_valid_sym(struct symbol *sym, struct symbol *sym2)
  130. {
  131. return sym2->type == S_INT || sym2->type == S_HEX ||
  132. (sym2->type == S_UNKNOWN && sym_string_valid(sym, sym2->name));
  133. }
  134. void sym_check_prop(struct symbol *sym)
  135. {
  136. struct property *prop;
  137. struct symbol *sym2;
  138. for (prop = sym->prop; prop; prop = prop->next) {
  139. switch (prop->type) {
  140. case P_DEFAULT:
  141. if ((sym->type == S_STRING || sym->type == S_INT || sym->type == S_HEX) &&
  142. prop->expr->type != E_SYMBOL)
  143. prop_warn(prop,
  144. "default for config symbol '%'"
  145. " must be a single symbol", sym->name);
  146. break;
  147. case P_SELECT:
  148. sym2 = prop_get_symbol(prop);
  149. if (sym->type != S_BOOLEAN && sym->type != S_TRISTATE)
  150. prop_warn(prop,
  151. "config symbol '%s' uses select, but is "
  152. "not boolean or tristate", sym->name);
  153. else if (sym2->type == S_UNKNOWN)
  154. prop_warn(prop,
  155. "'select' used by config symbol '%s' "
  156. "refer to undefined symbol '%s'",
  157. sym->name, sym2->name);
  158. else if (sym2->type != S_BOOLEAN && sym2->type != S_TRISTATE)
  159. prop_warn(prop,
  160. "'%s' has wrong type. 'select' only "
  161. "accept arguments of boolean and "
  162. "tristate type", sym2->name);
  163. break;
  164. case P_RANGE:
  165. if (sym->type != S_INT && sym->type != S_HEX)
  166. prop_warn(prop, "range is only allowed "
  167. "for int or hex symbols");
  168. if (!menu_range_valid_sym(sym, prop->expr->left.sym) ||
  169. !menu_range_valid_sym(sym, prop->expr->right.sym))
  170. prop_warn(prop, "range is invalid");
  171. break;
  172. default:
  173. ;
  174. }
  175. }
  176. }
  177. void menu_finalize(struct menu *parent)
  178. {
  179. struct menu *menu, *last_menu;
  180. struct symbol *sym;
  181. struct property *prop;
  182. struct expr *parentdep, *basedep, *dep, *dep2, **ep;
  183. sym = parent->sym;
  184. if (parent->list) {
  185. if (sym && sym_is_choice(sym)) {
  186. /* find the first choice value and find out choice type */
  187. for (menu = parent->list; menu; menu = menu->next) {
  188. if (menu->sym) {
  189. current_entry = parent;
  190. menu_set_type(menu->sym->type);
  191. current_entry = menu;
  192. menu_set_type(sym->type);
  193. break;
  194. }
  195. }
  196. parentdep = expr_alloc_symbol(sym);
  197. } else if (parent->prompt)
  198. parentdep = parent->prompt->visible.expr;
  199. else
  200. parentdep = parent->dep;
  201. for (menu = parent->list; menu; menu = menu->next) {
  202. basedep = expr_transform(menu->dep);
  203. basedep = expr_alloc_and(expr_copy(parentdep), basedep);
  204. basedep = expr_eliminate_dups(basedep);
  205. menu->dep = basedep;
  206. if (menu->sym)
  207. prop = menu->sym->prop;
  208. else
  209. prop = menu->prompt;
  210. for (; prop; prop = prop->next) {
  211. if (prop->menu != menu)
  212. continue;
  213. dep = expr_transform(prop->visible.expr);
  214. dep = expr_alloc_and(expr_copy(basedep), dep);
  215. dep = expr_eliminate_dups(dep);
  216. if (menu->sym && menu->sym->type != S_TRISTATE)
  217. dep = expr_trans_bool(dep);
  218. prop->visible.expr = dep;
  219. if (prop->type == P_SELECT) {
  220. struct symbol *es = prop_get_symbol(prop);
  221. es->rev_dep.expr = expr_alloc_or(es->rev_dep.expr,
  222. expr_alloc_and(expr_alloc_symbol(menu->sym), expr_copy(dep)));
  223. }
  224. }
  225. }
  226. for (menu = parent->list; menu; menu = menu->next)
  227. menu_finalize(menu);
  228. } else if (sym) {
  229. basedep = parent->prompt ? parent->prompt->visible.expr : NULL;
  230. basedep = expr_trans_compare(basedep, E_UNEQUAL, &symbol_no);
  231. basedep = expr_eliminate_dups(expr_transform(basedep));
  232. last_menu = NULL;
  233. for (menu = parent->next; menu; menu = menu->next) {
  234. dep = menu->prompt ? menu->prompt->visible.expr : menu->dep;
  235. if (!expr_contains_symbol(dep, sym))
  236. break;
  237. if (expr_depends_symbol(dep, sym))
  238. goto next;
  239. dep = expr_trans_compare(dep, E_UNEQUAL, &symbol_no);
  240. dep = expr_eliminate_dups(expr_transform(dep));
  241. dep2 = expr_copy(basedep);
  242. expr_eliminate_eq(&dep, &dep2);
  243. expr_free(dep);
  244. if (!expr_is_yes(dep2)) {
  245. expr_free(dep2);
  246. break;
  247. }
  248. expr_free(dep2);
  249. next:
  250. menu_finalize(menu);
  251. menu->parent = parent;
  252. last_menu = menu;
  253. }
  254. if (last_menu) {
  255. parent->list = parent->next;
  256. parent->next = last_menu->next;
  257. last_menu->next = NULL;
  258. }
  259. }
  260. for (menu = parent->list; menu; menu = menu->next) {
  261. if (sym && sym_is_choice(sym) && menu->sym) {
  262. menu->sym->flags |= SYMBOL_CHOICEVAL;
  263. if (!menu->prompt)
  264. menu_warn(menu, "choice value must have a prompt");
  265. for (prop = menu->sym->prop; prop; prop = prop->next) {
  266. if (prop->type == P_PROMPT && prop->menu != menu) {
  267. prop_warn(prop, "choice values "
  268. "currently only support a "
  269. "single prompt");
  270. }
  271. if (prop->type == P_DEFAULT)
  272. prop_warn(prop, "defaults for choice "
  273. "values not supported");
  274. }
  275. current_entry = menu;
  276. menu_set_type(sym->type);
  277. menu_add_symbol(P_CHOICE, sym, NULL);
  278. prop = sym_get_choice_prop(sym);
  279. for (ep = &prop->expr; *ep; ep = &(*ep)->left.expr)
  280. ;
  281. *ep = expr_alloc_one(E_CHOICE, NULL);
  282. (*ep)->right.sym = menu->sym;
  283. }
  284. if (menu->list && (!menu->prompt || !menu->prompt->text)) {
  285. for (last_menu = menu->list; ; last_menu = last_menu->next) {
  286. last_menu->parent = parent;
  287. if (!last_menu->next)
  288. break;
  289. }
  290. last_menu->next = menu->next;
  291. menu->next = menu->list;
  292. menu->list = NULL;
  293. }
  294. }
  295. if (sym && !(sym->flags & SYMBOL_WARNED)) {
  296. if (sym->type == S_UNKNOWN)
  297. menu_warn(parent, "config symbol defined "
  298. "without type\n");
  299. if (sym_is_choice(sym) && !parent->prompt)
  300. menu_warn(parent, "choice must have a prompt\n");
  301. /* Check properties connected to this symbol */
  302. sym_check_prop(sym);
  303. sym->flags |= SYMBOL_WARNED;
  304. }
  305. if (sym && !sym_is_optional(sym) && parent->prompt) {
  306. sym->rev_dep.expr = expr_alloc_or(sym->rev_dep.expr,
  307. expr_alloc_and(parent->prompt->visible.expr,
  308. expr_alloc_symbol(&symbol_mod)));
  309. }
  310. }
  311. bool menu_is_visible(struct menu *menu)
  312. {
  313. struct menu *child;
  314. struct symbol *sym;
  315. tristate visible;
  316. if (!menu->prompt)
  317. return false;
  318. sym = menu->sym;
  319. if (sym) {
  320. sym_calc_value(sym);
  321. visible = menu->prompt->visible.tri;
  322. } else
  323. visible = menu->prompt->visible.tri = expr_calc_value(menu->prompt->visible.expr);
  324. if (visible != no)
  325. return true;
  326. if (!sym || sym_get_tristate_value(menu->sym) == no)
  327. return false;
  328. for (child = menu->list; child; child = child->next)
  329. if (menu_is_visible(child))
  330. return true;
  331. return false;
  332. }
  333. const char *menu_get_prompt(struct menu *menu)
  334. {
  335. if (menu->prompt)
  336. return _(menu->prompt->text);
  337. else if (menu->sym)
  338. return _(menu->sym->name);
  339. return NULL;
  340. }
  341. struct menu *menu_get_root_menu(struct menu *menu)
  342. {
  343. return &rootmenu;
  344. }
  345. struct menu *menu_get_parent_menu(struct menu *menu)
  346. {
  347. enum prop_type type;
  348. for (; menu != &rootmenu; menu = menu->parent) {
  349. type = menu->prompt ? menu->prompt->type : 0;
  350. if (type == P_MENU)
  351. break;
  352. }
  353. return menu;
  354. }