Linus Torvalds | 1da177e | 2005-04-16 15:20:36 -0700 | [diff] [blame] | 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 | #ifndef EXPR_H |
| 7 | #define EXPR_H |
| 8 | |
| 9 | #ifdef __cplusplus |
| 10 | extern "C" { |
| 11 | #endif |
| 12 | |
Arnaud Lacombe | 37ae2d5 | 2011-11-23 13:05:53 -0500 | [diff] [blame] | 13 | #include <assert.h> |
Linus Torvalds | 1da177e | 2005-04-16 15:20:36 -0700 | [diff] [blame] | 14 | #include <stdio.h> |
Benjamin Poirier | 95ac9b3 | 2012-08-23 14:55:08 -0400 | [diff] [blame] | 15 | #include <sys/queue.h> |
Linus Torvalds | 1da177e | 2005-04-16 15:20:36 -0700 | [diff] [blame] | 16 | #ifndef __cplusplus |
| 17 | #include <stdbool.h> |
| 18 | #endif |
| 19 | |
| 20 | struct file { |
| 21 | struct file *next; |
| 22 | struct file *parent; |
Arnaud Lacombe | 2e7a091 | 2010-09-04 16:03:30 -0400 | [diff] [blame] | 23 | const char *name; |
Linus Torvalds | 1da177e | 2005-04-16 15:20:36 -0700 | [diff] [blame] | 24 | int lineno; |
Linus Torvalds | 1da177e | 2005-04-16 15:20:36 -0700 | [diff] [blame] | 25 | }; |
| 26 | |
Linus Torvalds | 1da177e | 2005-04-16 15:20:36 -0700 | [diff] [blame] | 27 | typedef enum tristate { |
| 28 | no, mod, yes |
| 29 | } tristate; |
| 30 | |
| 31 | enum expr_type { |
Roman Zippel | 7a96292 | 2008-01-14 04:50:23 +0100 | [diff] [blame] | 32 | E_NONE, E_OR, E_AND, E_NOT, E_EQUAL, E_UNEQUAL, E_LIST, E_SYMBOL, E_RANGE |
Linus Torvalds | 1da177e | 2005-04-16 15:20:36 -0700 | [diff] [blame] | 33 | }; |
| 34 | |
| 35 | union expr_data { |
| 36 | struct expr *expr; |
| 37 | struct symbol *sym; |
| 38 | }; |
| 39 | |
| 40 | struct expr { |
| 41 | enum expr_type type; |
| 42 | union expr_data left, right; |
| 43 | }; |
| 44 | |
Sam Ravnborg | d6ee357 | 2008-01-07 21:09:55 +0100 | [diff] [blame] | 45 | #define EXPR_OR(dep1, dep2) (((dep1)>(dep2))?(dep1):(dep2)) |
| 46 | #define EXPR_AND(dep1, dep2) (((dep1)<(dep2))?(dep1):(dep2)) |
| 47 | #define EXPR_NOT(dep) (2-(dep)) |
Linus Torvalds | 1da177e | 2005-04-16 15:20:36 -0700 | [diff] [blame] | 48 | |
Roman Zippel | 7a96292 | 2008-01-14 04:50:23 +0100 | [diff] [blame] | 49 | #define expr_list_for_each_sym(l, e, s) \ |
| 50 | for (e = (l); e && (s = e->right.sym); e = e->left.expr) |
| 51 | |
Linus Torvalds | 1da177e | 2005-04-16 15:20:36 -0700 | [diff] [blame] | 52 | struct expr_value { |
| 53 | struct expr *expr; |
| 54 | tristate tri; |
| 55 | }; |
| 56 | |
| 57 | struct symbol_value { |
| 58 | void *val; |
| 59 | tristate tri; |
| 60 | }; |
| 61 | |
| 62 | enum symbol_type { |
| 63 | S_UNKNOWN, S_BOOLEAN, S_TRISTATE, S_INT, S_HEX, S_STRING, S_OTHER |
| 64 | }; |
| 65 | |
Sam Ravnborg | eaa2a87 | 2008-12-26 21:07:57 +0100 | [diff] [blame] | 66 | /* enum values are used as index to symbol.def[] */ |
Roman Zippel | 0c1822e | 2006-06-08 22:12:41 -0700 | [diff] [blame] | 67 | enum { |
| 68 | S_DEF_USER, /* main user value */ |
Sam Ravnborg | eaa2a87 | 2008-12-26 21:07:57 +0100 | [diff] [blame] | 69 | S_DEF_AUTO, /* values read from auto.conf */ |
| 70 | S_DEF_DEF3, /* Reserved for UI usage */ |
| 71 | S_DEF_DEF4, /* Reserved for UI usage */ |
| 72 | S_DEF_COUNT |
Roman Zippel | 0c1822e | 2006-06-08 22:12:41 -0700 | [diff] [blame] | 73 | }; |
| 74 | |
Linus Torvalds | 1da177e | 2005-04-16 15:20:36 -0700 | [diff] [blame] | 75 | struct symbol { |
| 76 | struct symbol *next; |
| 77 | char *name; |
Linus Torvalds | 1da177e | 2005-04-16 15:20:36 -0700 | [diff] [blame] | 78 | enum symbol_type type; |
Roman Zippel | 0c1822e | 2006-06-08 22:12:41 -0700 | [diff] [blame] | 79 | struct symbol_value curr; |
Sam Ravnborg | eaa2a87 | 2008-12-26 21:07:57 +0100 | [diff] [blame] | 80 | struct symbol_value def[S_DEF_COUNT]; |
Linus Torvalds | 1da177e | 2005-04-16 15:20:36 -0700 | [diff] [blame] | 81 | tristate visible; |
| 82 | int flags; |
| 83 | struct property *prop; |
Catalin Marinas | 246cf9c | 2010-06-08 17:25:57 +0100 | [diff] [blame] | 84 | struct expr_value dir_dep; |
Linus Torvalds | 1da177e | 2005-04-16 15:20:36 -0700 | [diff] [blame] | 85 | struct expr_value rev_dep; |
| 86 | }; |
| 87 | |
Andi Kleen | e66f25d | 2010-01-13 17:02:44 +0100 | [diff] [blame] | 88 | #define for_all_symbols(i, sym) for (i = 0; i < SYMBOL_HASHSIZE; i++) for (sym = symbol_hash[i]; sym; sym = sym->next) if (sym->type != S_OTHER) |
Linus Torvalds | 1da177e | 2005-04-16 15:20:36 -0700 | [diff] [blame] | 89 | |
Sam Ravnborg | 5b2cf36 | 2008-12-26 21:25:00 +0100 | [diff] [blame] | 90 | #define SYMBOL_CONST 0x0001 /* symbol is const */ |
| 91 | #define SYMBOL_CHECK 0x0008 /* used during dependency checking */ |
| 92 | #define SYMBOL_CHOICE 0x0010 /* start of a choice block (null name) */ |
| 93 | #define SYMBOL_CHOICEVAL 0x0020 /* used as a value in a choice block */ |
| 94 | #define SYMBOL_VALID 0x0080 /* set when symbol.curr is calculated */ |
| 95 | #define SYMBOL_OPTIONAL 0x0100 /* choice is optional - values can be 'n' */ |
| 96 | #define SYMBOL_WRITE 0x0200 /* ? */ |
| 97 | #define SYMBOL_CHANGED 0x0400 /* ? */ |
| 98 | #define SYMBOL_AUTO 0x1000 /* value from environment variable */ |
| 99 | #define SYMBOL_CHECKED 0x2000 /* used during dependency checking */ |
| 100 | #define SYMBOL_WARNED 0x8000 /* warning has been issued */ |
| 101 | |
| 102 | /* Set when symbol.def[] is used */ |
| 103 | #define SYMBOL_DEF 0x10000 /* First bit of SYMBOL_DEF */ |
| 104 | #define SYMBOL_DEF_USER 0x10000 /* symbol.def[S_DEF_USER] is valid */ |
| 105 | #define SYMBOL_DEF_AUTO 0x20000 /* symbol.def[S_DEF_AUTO] is valid */ |
| 106 | #define SYMBOL_DEF3 0x40000 /* symbol.def[S_DEF_3] is valid */ |
| 107 | #define SYMBOL_DEF4 0x80000 /* symbol.def[S_DEF_4] is valid */ |
Linus Torvalds | 1da177e | 2005-04-16 15:20:36 -0700 | [diff] [blame] | 108 | |
| 109 | #define SYMBOL_MAXLENGTH 256 |
Andi Kleen | e66f25d | 2010-01-13 17:02:44 +0100 | [diff] [blame] | 110 | #define SYMBOL_HASHSIZE 9973 |
Linus Torvalds | 1da177e | 2005-04-16 15:20:36 -0700 | [diff] [blame] | 111 | |
Sam Ravnborg | cf82607 | 2008-12-26 21:32:31 +0100 | [diff] [blame] | 112 | /* A property represent the config options that can be associated |
| 113 | * with a config "symbol". |
| 114 | * Sample: |
| 115 | * config FOO |
| 116 | * default y |
| 117 | * prompt "foo prompt" |
| 118 | * select BAR |
| 119 | * config BAZ |
| 120 | * int "BAZ Value" |
| 121 | * range 1..255 |
| 122 | */ |
Linus Torvalds | 1da177e | 2005-04-16 15:20:36 -0700 | [diff] [blame] | 123 | enum prop_type { |
Sam Ravnborg | cf82607 | 2008-12-26 21:32:31 +0100 | [diff] [blame] | 124 | P_UNKNOWN, |
| 125 | P_PROMPT, /* prompt "foo prompt" or "BAZ Value" */ |
| 126 | P_COMMENT, /* text associated with a comment */ |
| 127 | P_MENU, /* prompt associated with a menuconfig option */ |
| 128 | P_DEFAULT, /* default y */ |
| 129 | P_CHOICE, /* choice value */ |
| 130 | P_SELECT, /* select BAR */ |
| 131 | P_RANGE, /* range 7..100 (for a symbol) */ |
| 132 | P_ENV, /* value from environment variable */ |
Sam Ravnborg | 59e89e3 | 2010-07-31 23:35:29 +0200 | [diff] [blame] | 133 | P_SYMBOL, /* where a symbol is defined */ |
Linus Torvalds | 1da177e | 2005-04-16 15:20:36 -0700 | [diff] [blame] | 134 | }; |
| 135 | |
| 136 | struct property { |
Sam Ravnborg | cf82607 | 2008-12-26 21:32:31 +0100 | [diff] [blame] | 137 | struct property *next; /* next property - null if last */ |
| 138 | struct symbol *sym; /* the symbol for which the property is associated */ |
| 139 | enum prop_type type; /* type of property */ |
| 140 | const char *text; /* the prompt value - P_PROMPT, P_MENU, P_COMMENT */ |
Linus Torvalds | 1da177e | 2005-04-16 15:20:36 -0700 | [diff] [blame] | 141 | struct expr_value visible; |
Sam Ravnborg | cf82607 | 2008-12-26 21:32:31 +0100 | [diff] [blame] | 142 | struct expr *expr; /* the optional conditional part of the property */ |
| 143 | struct menu *menu; /* the menu the property are associated with |
| 144 | * valid for: P_SELECT, P_RANGE, P_CHOICE, |
| 145 | * P_PROMPT, P_DEFAULT, P_MENU, P_COMMENT */ |
| 146 | struct file *file; /* what file was this property defined */ |
| 147 | int lineno; /* what lineno was this property defined */ |
Linus Torvalds | 1da177e | 2005-04-16 15:20:36 -0700 | [diff] [blame] | 148 | }; |
| 149 | |
| 150 | #define for_all_properties(sym, st, tok) \ |
| 151 | for (st = sym->prop; st; st = st->next) \ |
| 152 | if (st->type == (tok)) |
| 153 | #define for_all_defaults(sym, st) for_all_properties(sym, st, P_DEFAULT) |
| 154 | #define for_all_choices(sym, st) for_all_properties(sym, st, P_CHOICE) |
| 155 | #define for_all_prompts(sym, st) \ |
| 156 | for (st = sym->prop; st; st = st->next) \ |
| 157 | if (st->text) |
| 158 | |
| 159 | struct menu { |
| 160 | struct menu *next; |
| 161 | struct menu *parent; |
| 162 | struct menu *list; |
| 163 | struct symbol *sym; |
| 164 | struct property *prompt; |
Arnaud Lacombe | 86e187f | 2010-11-06 18:30:23 -0300 | [diff] [blame] | 165 | struct expr *visibility; |
Linus Torvalds | 1da177e | 2005-04-16 15:20:36 -0700 | [diff] [blame] | 166 | struct expr *dep; |
| 167 | unsigned int flags; |
Sam Ravnborg | 03d2912 | 2007-07-21 00:00:36 +0200 | [diff] [blame] | 168 | char *help; |
Linus Torvalds | 1da177e | 2005-04-16 15:20:36 -0700 | [diff] [blame] | 169 | struct file *file; |
| 170 | int lineno; |
| 171 | void *data; |
| 172 | }; |
| 173 | |
| 174 | #define MENU_CHANGED 0x0001 |
| 175 | #define MENU_ROOT 0x0002 |
| 176 | |
Benjamin Poirier | 95ac9b3 | 2012-08-23 14:55:08 -0400 | [diff] [blame] | 177 | struct jump_key { |
| 178 | CIRCLEQ_ENTRY(jump_key) entries; |
| 179 | size_t offset; |
| 180 | struct menu *target; |
| 181 | int index; |
| 182 | }; |
| 183 | CIRCLEQ_HEAD(jk_head, jump_key); |
| 184 | |
Benjamin Poirier | 5e609ad | 2012-08-23 14:55:06 -0400 | [diff] [blame] | 185 | #define JUMP_NB 9 |
| 186 | |
Linus Torvalds | 1da177e | 2005-04-16 15:20:36 -0700 | [diff] [blame] | 187 | extern struct file *file_list; |
| 188 | extern struct file *current_file; |
| 189 | struct file *lookup_file(const char *name); |
| 190 | |
| 191 | extern struct symbol symbol_yes, symbol_no, symbol_mod; |
| 192 | extern struct symbol *modules_sym; |
Roman Zippel | face437 | 2006-06-08 22:12:45 -0700 | [diff] [blame] | 193 | extern struct symbol *sym_defconfig_list; |
Linus Torvalds | 1da177e | 2005-04-16 15:20:36 -0700 | [diff] [blame] | 194 | extern int cdebug; |
| 195 | struct expr *expr_alloc_symbol(struct symbol *sym); |
| 196 | struct expr *expr_alloc_one(enum expr_type type, struct expr *ce); |
| 197 | struct expr *expr_alloc_two(enum expr_type type, struct expr *e1, struct expr *e2); |
| 198 | struct expr *expr_alloc_comp(enum expr_type type, struct symbol *s1, struct symbol *s2); |
| 199 | struct expr *expr_alloc_and(struct expr *e1, struct expr *e2); |
| 200 | struct expr *expr_alloc_or(struct expr *e1, struct expr *e2); |
Michal Marek | 17742dc | 2010-12-20 16:06:44 +0100 | [diff] [blame] | 201 | struct expr *expr_copy(const struct expr *org); |
Linus Torvalds | 1da177e | 2005-04-16 15:20:36 -0700 | [diff] [blame] | 202 | void expr_free(struct expr *e); |
| 203 | int expr_eq(struct expr *e1, struct expr *e2); |
| 204 | void expr_eliminate_eq(struct expr **ep1, struct expr **ep2); |
| 205 | tristate expr_calc_value(struct expr *e); |
| 206 | struct expr *expr_eliminate_yn(struct expr *e); |
| 207 | struct expr *expr_trans_bool(struct expr *e); |
| 208 | struct expr *expr_eliminate_dups(struct expr *e); |
| 209 | struct expr *expr_transform(struct expr *e); |
| 210 | int expr_contains_symbol(struct expr *dep, struct symbol *sym); |
| 211 | bool expr_depends_symbol(struct expr *dep, struct symbol *sym); |
| 212 | struct expr *expr_extract_eq_and(struct expr **ep1, struct expr **ep2); |
| 213 | struct expr *expr_extract_eq_or(struct expr **ep1, struct expr **ep2); |
| 214 | void expr_extract_eq(enum expr_type type, struct expr **ep, struct expr **ep1, struct expr **ep2); |
| 215 | struct expr *expr_trans_compare(struct expr *e, enum expr_type type, struct symbol *sym); |
Arnaud Lacombe | 0597fcd | 2010-12-23 03:25:16 -0500 | [diff] [blame] | 216 | struct expr *expr_simplify_unmet_dep(struct expr *e1, struct expr *e2); |
Linus Torvalds | 1da177e | 2005-04-16 15:20:36 -0700 | [diff] [blame] | 217 | |
| 218 | void expr_fprint(struct expr *e, FILE *out); |
| 219 | struct gstr; /* forward */ |
| 220 | void expr_gstr_print(struct expr *e, struct gstr *gs); |
| 221 | |
| 222 | static inline int expr_is_yes(struct expr *e) |
| 223 | { |
| 224 | return !e || (e->type == E_SYMBOL && e->left.sym == &symbol_yes); |
| 225 | } |
| 226 | |
| 227 | static inline int expr_is_no(struct expr *e) |
| 228 | { |
| 229 | return e && (e->type == E_SYMBOL && e->left.sym == &symbol_no); |
| 230 | } |
Linus Torvalds | 1da177e | 2005-04-16 15:20:36 -0700 | [diff] [blame] | 231 | |
| 232 | #ifdef __cplusplus |
| 233 | } |
| 234 | #endif |
| 235 | |
| 236 | #endif /* EXPR_H */ |