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 10extern "C" { 11#endif 12 13#include <stdio.h> 14#ifndef __cplusplus 15#include <stdbool.h> 16#endif 17 18struct file { 19 struct file *next; 20 struct file *parent; 21#ifdef CML1 22 struct statement *stmt; 23 struct statement *last_stmt; 24#endif 25 char *name; 26 int lineno; 27 int flags; 28}; 29 30#define FILE_BUSY 0x0001 31#define FILE_SCANNED 0x0002 32#define FILE_PRINTED 0x0004 33 34typedef enum tristate { 35 no, mod, yes 36} tristate; 37 38enum expr_type { 39 E_NONE, E_OR, E_AND, E_NOT, E_EQUAL, E_UNEQUAL, E_CHOICE, E_SYMBOL 40}; 41 42union expr_data { 43 struct expr *expr; 44 struct symbol *sym; 45}; 46 47struct expr { 48#ifdef CML1 49 int token; 50#else 51 enum expr_type type; 52#endif 53 union expr_data left, right; 54}; 55 56#define E_TRI(ev) ((ev).tri) 57#define E_EXPR(ev) ((ev).expr) 58#define E_CALC(ev) (E_TRI(ev) = expr_calc_value(E_EXPR(ev))) 59 60#define E_OR(dep1, dep2) (((dep1)>(dep2))?(dep1):(dep2)) 61#define E_AND(dep1, dep2) (((dep1)<(dep2))?(dep1):(dep2)) 62#define E_NOT(dep) (2-(dep)) 63 64struct expr_value { 65 struct expr *expr; 66 tristate tri; 67}; 68 69#define S_VAL(sv) ((sv).value) 70#define S_TRI(sv) ((sv).tri) 71#define S_EQ(sv1, sv2) (S_VAL(sv1) == S_VAL(sv2) || !strcmp(S_VAL(sv1), S_VAL(sv2))) 72 73struct symbol_value { 74 void *value; 75 tristate tri; 76}; 77 78enum symbol_type { 79 S_UNKNOWN, S_BOOLEAN, S_TRISTATE, S_INT, S_HEX, S_STRING, S_OTHER 80}; 81 82struct symbol { 83 struct symbol *next; 84 char *name; 85 char *help; 86#ifdef CML1 87 int type; 88#else 89 enum symbol_type type; 90#endif 91 struct symbol_value curr, def; 92 tristate visible; 93 int flags; 94 struct property *prop; 95 struct expr *dep, *dep2; 96 struct menu *menu; 97}; 98 99#define for_all_symbols(i, sym) for (i = 0; i < 257; i++) for (sym = symbol_hash[i]; sym; sym = sym->next) if (sym->type != S_OTHER) 100 101#ifdef CML1 102#define SYMBOL_UNKNOWN S_UNKNOWN 103#define SYMBOL_BOOLEAN S_BOOLEAN 104#define SYMBOL_TRISTATE S_TRISTATE 105#define SYMBOL_INT S_INT 106#define SYMBOL_HEX S_HEX 107#define SYMBOL_STRING S_STRING 108#define SYMBOL_OTHER S_OTHER 109#endif 110 111#define SYMBOL_YES 0x0001 112#define SYMBOL_MOD 0x0002 113#define SYMBOL_NO 0x0004 114#define SYMBOL_CONST 0x0007 115#define SYMBOL_CHECK 0x0008 116#define SYMBOL_CHOICE 0x0010 117#define SYMBOL_CHOICEVAL 0x0020 118#define SYMBOL_PRINTED 0x0040 119#define SYMBOL_VALID 0x0080 120#define SYMBOL_OPTIONAL 0x0100 121#define SYMBOL_WRITE 0x0200 122#define SYMBOL_CHANGED 0x0400 123#define SYMBOL_NEW 0x0800 124#define SYMBOL_AUTO 0x1000 125 126#define SYMBOL_MAXLENGTH 256 127#define SYMBOL_HASHSIZE 257 128#define SYMBOL_HASHMASK 0xff 129 130enum prop_type { 131 P_UNKNOWN, P_PROMPT, P_COMMENT, P_MENU, P_ROOTMENU, P_DEFAULT, P_CHOICE 132}; 133 134struct property { 135 struct property *next; 136 struct symbol *sym; 137#ifdef CML1 138 int token; 139#else 140 enum prop_type type; 141#endif 142 const char *text; 143 struct symbol *def; 144 struct expr_value visible; 145 struct expr *dep; 146 struct expr *dep2; 147 struct menu *menu; 148 struct file *file; 149 int lineno; 150#ifdef CML1 151 struct property *next_pos; 152#endif 153}; 154 155#define for_all_properties(sym, st, tok) \ 156 for (st = sym->prop; st; st = st->next) \ 157 if (st->type == (tok)) 158#define for_all_prompts(sym, st) for_all_properties(sym, st, P_PROMPT) 159#define for_all_defaults(sym, st) for_all_properties(sym, st, P_DEFAULT) 160#define for_all_choices(sym, st) for_all_properties(sym, st, P_CHOICE) 161 162struct menu { 163 struct menu *next; 164 struct menu *parent; 165 struct menu *list; 166 struct symbol *sym; 167 struct property *prompt; 168 struct expr *dep; 169 //char *help; 170 struct file *file; 171 int lineno; 172 void *data; 173}; 174 175#ifndef SWIG 176 177extern struct file *file_list; 178extern struct file *current_file; 179struct file *lookup_file(const char *name); 180 181extern struct symbol symbol_yes, symbol_no, symbol_mod; 182extern struct symbol *modules_sym; 183extern int cdebug; 184extern int print_type; 185struct expr *expr_alloc_symbol(struct symbol *sym); 186#ifdef CML1 187struct expr *expr_alloc_one(int token, struct expr *ce); 188struct expr *expr_alloc_two(int token, struct expr *e1, struct expr *e2); 189struct expr *expr_alloc_comp(int token, struct symbol *s1, struct symbol *s2); 190#else 191struct expr *expr_alloc_one(enum expr_type type, struct expr *ce); 192struct expr *expr_alloc_two(enum expr_type type, struct expr *e1, struct expr *e2); 193struct expr *expr_alloc_comp(enum expr_type type, struct symbol *s1, struct symbol *s2); 194#endif 195struct expr *expr_alloc_and(struct expr *e1, struct expr *e2); 196struct expr *expr_copy(struct expr *org); 197void expr_free(struct expr *e); 198int expr_eq(struct expr *e1, struct expr *e2); 199void expr_eliminate_eq(struct expr **ep1, struct expr **ep2); 200tristate expr_calc_value(struct expr *e); 201struct expr *expr_eliminate_yn(struct expr *e); 202struct expr *expr_trans_bool(struct expr *e); 203struct expr *expr_eliminate_dups(struct expr *e); 204struct expr *expr_transform(struct expr *e); 205int expr_contains_symbol(struct expr *dep, struct symbol *sym); 206bool expr_depends_symbol(struct expr *dep, struct symbol *sym); 207struct expr *expr_extract_eq_and(struct expr **ep1, struct expr **ep2); 208struct expr *expr_extract_eq_or(struct expr **ep1, struct expr **ep2); 209void expr_extract_eq(enum expr_type type, struct expr **ep, struct expr **ep1, struct expr **ep2); 210struct expr *expr_trans_compare(struct expr *e, enum expr_type type, struct symbol *sym); 211 212void expr_fprint(struct expr *e, FILE *out); 213void print_expr(int mask, struct expr *e, int prevtoken); 214 215#ifdef CML1 216static inline int expr_is_yes(struct expr *e) 217{ 218 return !e || (e->token == WORD && e->left.sym == &symbol_yes); 219} 220 221static inline int expr_is_no(struct expr *e) 222{ 223 return e && (e->token == WORD && e->left.sym == &symbol_no); 224} 225#else 226static inline int expr_is_yes(struct expr *e) 227{ 228 return !e || (e->type == E_SYMBOL && e->left.sym == &symbol_yes); 229} 230 231static inline int expr_is_no(struct expr *e) 232{ 233 return e && (e->type == E_SYMBOL && e->left.sym == &symbol_no); 234} 235#endif 236#endif 237 238#ifdef __cplusplus 239} 240#endif 241 242#endif /* EXPR_H */ 243