]>
Commit | Line | Data |
---|---|---|
0c874100 MY |
1 | /* SPDX-License-Identifier: GPL-2.0 */ |
2 | /* | |
3 | * Copyright (C) 2002 Roman Zippel <zippel@linux-m68k.org> | |
4 | */ | |
674eed8a | 5 | %option nostdinit noyywrap never-interactive full ecs |
18492685 | 6 | %option 8bit nodefault yylineno |
979f2b2f | 7 | %x ASSIGN_VAL HELP STRING |
1da177e4 | 8 | %{ |
1da177e4 | 9 | |
9ced3bdd | 10 | #include <assert.h> |
1da177e4 LT |
11 | #include <limits.h> |
12 | #include <stdio.h> | |
13 | #include <stdlib.h> | |
14 | #include <string.h> | |
1da177e4 | 15 | |
1da177e4 | 16 | #include "lkc.h" |
769a1c02 | 17 | #include "parser.tab.h" |
1da177e4 | 18 | |
cc66bca7 MY |
19 | #define YY_DECL static int yylex1(void) |
20 | ||
1da177e4 LT |
21 | #define START_STRSIZE 16 |
22 | ||
a02f0570 RZ |
23 | static struct { |
24 | struct file *file; | |
25 | int lineno; | |
26 | } current_pos; | |
27 | ||
824fa3b3 | 28 | static int prev_prev_token = T_EOL; |
cc66bca7 | 29 | static int prev_token = T_EOL; |
7a88488b | 30 | static char *text; |
1da177e4 LT |
31 | static int text_size, text_asize; |
32 | ||
33 | struct buffer { | |
bb66fc67 MY |
34 | struct buffer *parent; |
35 | YY_BUFFER_STATE state; | |
1da177e4 LT |
36 | }; |
37 | ||
d41809ff | 38 | static struct buffer *current_buf; |
1da177e4 LT |
39 | |
40 | static int last_ts, first_ts; | |
41 | ||
104daea1 MY |
42 | static char *expand_token(const char *in, size_t n); |
43 | static void append_expanded_string(const char *in); | |
1da177e4 | 44 | static void zconf_endhelp(void); |
a02f0570 | 45 | static void zconf_endfile(void); |
1da177e4 | 46 | |
65166571 | 47 | static void new_string(void) |
1da177e4 | 48 | { |
177acf78 | 49 | text = xmalloc(START_STRSIZE); |
1da177e4 | 50 | text_asize = START_STRSIZE; |
1da177e4 | 51 | text_size = 0; |
7a88488b | 52 | *text = 0; |
1da177e4 LT |
53 | } |
54 | ||
65166571 | 55 | static void append_string(const char *str, int size) |
1da177e4 LT |
56 | { |
57 | int new_size = text_size + size + 1; | |
58 | if (new_size > text_asize) { | |
7a88488b RZ |
59 | new_size += START_STRSIZE - 1; |
60 | new_size &= -START_STRSIZE; | |
d717f24d | 61 | text = xrealloc(text, new_size); |
1da177e4 | 62 | text_asize = new_size; |
1da177e4 | 63 | } |
7a88488b | 64 | memcpy(text + text_size, str, size); |
1da177e4 | 65 | text_size += size; |
7a88488b | 66 | text[text_size] = 0; |
1da177e4 LT |
67 | } |
68 | ||
65166571 | 69 | static void alloc_string(const char *str, int size) |
1da177e4 | 70 | { |
177acf78 | 71 | text = xmalloc(size + 1); |
1da177e4 LT |
72 | memcpy(text, str, size); |
73 | text[size] = 0; | |
74 | } | |
c2264564 AR |
75 | |
76 | static void warn_ignored_character(char chr) | |
77 | { | |
78 | fprintf(stderr, | |
79 | "%s:%d:warning: ignoring unsupported character '%c'\n", | |
77c1c0fa | 80 | current_file->name, yylineno, chr); |
c2264564 | 81 | } |
1da177e4 LT |
82 | %} |
83 | ||
c2264564 | 84 | n [A-Za-z0-9_-] |
1da177e4 LT |
85 | |
86 | %% | |
6988f70c | 87 | char open_quote = 0; |
1da177e4 | 88 | |
979f2b2f MY |
89 | #.* /* ignore comment */ |
90 | [ \t]* /* whitespaces */ | |
91 | \\\n /* escaped new line */ | |
92 | \n return T_EOL; | |
979f2b2f MY |
93 | "bool" return T_BOOL; |
94 | "choice" return T_CHOICE; | |
95 | "comment" return T_COMMENT; | |
96 | "config" return T_CONFIG; | |
97 | "def_bool" return T_DEF_BOOL; | |
98 | "def_tristate" return T_DEF_TRISTATE; | |
99 | "default" return T_DEFAULT; | |
979f2b2f MY |
100 | "depends" return T_DEPENDS; |
101 | "endchoice" return T_ENDCHOICE; | |
102 | "endif" return T_ENDIF; | |
103 | "endmenu" return T_ENDMENU; | |
f70f74d1 | 104 | "help" return T_HELP; |
979f2b2f MY |
105 | "hex" return T_HEX; |
106 | "if" return T_IF; | |
107 | "imply" return T_IMPLY; | |
108 | "int" return T_INT; | |
109 | "mainmenu" return T_MAINMENU; | |
110 | "menu" return T_MENU; | |
111 | "menuconfig" return T_MENUCONFIG; | |
112 | "modules" return T_MODULES; | |
113 | "on" return T_ON; | |
979f2b2f MY |
114 | "optional" return T_OPTIONAL; |
115 | "prompt" return T_PROMPT; | |
116 | "range" return T_RANGE; | |
117 | "select" return T_SELECT; | |
118 | "source" return T_SOURCE; | |
119 | "string" return T_STRING; | |
120 | "tristate" return T_TRISTATE; | |
121 | "visible" return T_VISIBLE; | |
122 | "||" return T_OR; | |
123 | "&&" return T_AND; | |
124 | "=" return T_EQUAL; | |
125 | "!=" return T_UNEQUAL; | |
126 | "<" return T_LESS; | |
127 | "<=" return T_LESS_EQUAL; | |
128 | ">" return T_GREATER; | |
129 | ">=" return T_GREATER_EQUAL; | |
130 | "!" return T_NOT; | |
131 | "(" return T_OPEN_PAREN; | |
132 | ")" return T_CLOSE_PAREN; | |
133 | ":=" return T_COLON_EQUAL; | |
134 | "+=" return T_PLUS_EQUAL; | |
135 | \"|\' { | |
6988f70c | 136 | open_quote = yytext[0]; |
979f2b2f MY |
137 | new_string(); |
138 | BEGIN(STRING); | |
139 | } | |
140 | {n}+ { | |
141 | alloc_string(yytext, yyleng); | |
142 | yylval.string = text; | |
143 | return T_WORD; | |
144 | } | |
145 | ({n}|$)+ { | |
146 | /* this token includes at least one '$' */ | |
147 | yylval.string = expand_token(yytext, yyleng); | |
148 | if (strlen(yylval.string)) | |
149 | return T_WORD; | |
150 | free(yylval.string); | |
151 | } | |
152 | . warn_ignored_character(*yytext); | |
1da177e4 | 153 | |
9ced3bdd MY |
154 | <ASSIGN_VAL>{ |
155 | [^[:blank:]\n]+.* { | |
156 | alloc_string(yytext, yyleng); | |
157 | yylval.string = text; | |
158 | return T_ASSIGN_VAL; | |
159 | } | |
160 | \n { BEGIN(INITIAL); return T_EOL; } | |
161 | . | |
162 | } | |
163 | ||
1da177e4 | 164 | <STRING>{ |
104daea1 | 165 | "$".* append_expanded_string(yytext); |
104daea1 | 166 | [^$'"\\\n]+ { |
1da177e4 LT |
167 | append_string(yytext, yyleng); |
168 | } | |
1da177e4 LT |
169 | \\.? { |
170 | append_string(yytext + 1, yyleng - 1); | |
171 | } | |
172 | \'|\" { | |
6988f70c | 173 | if (open_quote == yytext[0]) { |
979f2b2f | 174 | BEGIN(INITIAL); |
765f4cde | 175 | yylval.string = text; |
1da177e4 LT |
176 | return T_WORD_QUOTE; |
177 | } else | |
178 | append_string(yytext, 1); | |
179 | } | |
180 | \n { | |
9e3e10c7 MY |
181 | fprintf(stderr, |
182 | "%s:%d:warning: multi-line strings not supported\n", | |
183 | zconf_curname(), zconf_lineno()); | |
21c5ecf6 | 184 | unput('\n'); |
1da177e4 | 185 | BEGIN(INITIAL); |
21c5ecf6 MY |
186 | yylval.string = text; |
187 | return T_WORD_QUOTE; | |
1da177e4 LT |
188 | } |
189 | <<EOF>> { | |
190 | BEGIN(INITIAL); | |
fbac5977 MY |
191 | yylval.string = text; |
192 | return T_WORD_QUOTE; | |
1da177e4 LT |
193 | } |
194 | } | |
195 | ||
196 | <HELP>{ | |
197 | [ \t]+ { | |
65017d83 MY |
198 | int ts, i; |
199 | ||
1da177e4 LT |
200 | ts = 0; |
201 | for (i = 0; i < yyleng; i++) { | |
202 | if (yytext[i] == '\t') | |
203 | ts = (ts & ~7) + 8; | |
204 | else | |
205 | ts++; | |
206 | } | |
207 | last_ts = ts; | |
208 | if (first_ts) { | |
209 | if (ts < first_ts) { | |
210 | zconf_endhelp(); | |
211 | return T_HELPTEXT; | |
212 | } | |
213 | ts -= first_ts; | |
214 | while (ts > 8) { | |
215 | append_string(" ", 8); | |
216 | ts -= 8; | |
217 | } | |
218 | append_string(" ", ts); | |
219 | } | |
220 | } | |
221 | [ \t]*\n/[^ \t\n] { | |
1da177e4 LT |
222 | zconf_endhelp(); |
223 | return T_HELPTEXT; | |
224 | } | |
225 | [ \t]*\n { | |
1da177e4 LT |
226 | append_string("\n", 1); |
227 | } | |
228 | [^ \t\n].* { | |
f7a4b4cd EG |
229 | while (yyleng) { |
230 | if ((yytext[yyleng-1] != ' ') && (yytext[yyleng-1] != '\t')) | |
231 | break; | |
232 | yyleng--; | |
233 | } | |
1da177e4 LT |
234 | append_string(yytext, yyleng); |
235 | if (!first_ts) | |
236 | first_ts = last_ts; | |
237 | } | |
238 | <<EOF>> { | |
239 | zconf_endhelp(); | |
240 | return T_HELPTEXT; | |
241 | } | |
242 | } | |
243 | ||
244 | <<EOF>> { | |
0bcc547e MY |
245 | BEGIN(INITIAL); |
246 | ||
72367933 MY |
247 | if (prev_token != T_EOL && prev_token != T_HELPTEXT) |
248 | fprintf(stderr, "%s:%d:warning: no new line at end of file\n", | |
249 | current_file->name, yylineno); | |
250 | ||
a02f0570 | 251 | if (current_file) { |
1da177e4 | 252 | zconf_endfile(); |
a02f0570 | 253 | return T_EOL; |
1da177e4 LT |
254 | } |
255 | fclose(yyin); | |
256 | yyterminate(); | |
257 | } | |
258 | ||
259 | %% | |
cc66bca7 MY |
260 | |
261 | /* second stage lexer */ | |
262 | int yylex(void) | |
263 | { | |
264 | int token; | |
265 | ||
266 | repeat: | |
267 | token = yylex1(); | |
268 | ||
4b31a32c MY |
269 | if (prev_token == T_EOL || prev_token == T_HELPTEXT) { |
270 | if (token == T_EOL) { | |
271 | /* Do not pass unneeded T_EOL to the parser. */ | |
272 | goto repeat; | |
273 | } else { | |
274 | /* | |
275 | * For the parser, update file/lineno at the first token | |
276 | * of each statement. Generally, \n is a statement | |
277 | * terminator in Kconfig, but it is not always true | |
278 | * because \n could be escaped by a backslash. | |
279 | */ | |
280 | current_pos.file = current_file; | |
281 | current_pos.lineno = yylineno; | |
282 | } | |
283 | } | |
cc66bca7 | 284 | |
824fa3b3 MY |
285 | if (prev_prev_token == T_EOL && prev_token == T_WORD && |
286 | (token == T_EQUAL || token == T_COLON_EQUAL || token == T_PLUS_EQUAL)) | |
287 | BEGIN(ASSIGN_VAL); | |
288 | ||
289 | prev_prev_token = prev_token; | |
cc66bca7 MY |
290 | prev_token = token; |
291 | ||
292 | return token; | |
293 | } | |
294 | ||
104daea1 MY |
295 | static char *expand_token(const char *in, size_t n) |
296 | { | |
297 | char *out; | |
298 | int c; | |
299 | char c2; | |
300 | const char *rest, *end; | |
301 | ||
302 | new_string(); | |
303 | append_string(in, n); | |
304 | ||
305 | /* get the whole line because we do not know the end of token. */ | |
306 | while ((c = input()) != EOF) { | |
307 | if (c == '\n') { | |
308 | unput(c); | |
309 | break; | |
310 | } | |
311 | c2 = c; | |
312 | append_string(&c2, 1); | |
313 | } | |
314 | ||
315 | rest = text; | |
316 | out = expand_one_token(&rest); | |
317 | ||
318 | /* push back unused characters to the input stream */ | |
319 | end = rest + strlen(rest); | |
320 | while (end > rest) | |
321 | unput(*--end); | |
322 | ||
323 | free(text); | |
324 | ||
325 | return out; | |
326 | } | |
327 | ||
328 | static void append_expanded_string(const char *str) | |
329 | { | |
330 | const char *end; | |
331 | char *res; | |
332 | ||
333 | str++; | |
334 | ||
335 | res = expand_dollar(&str); | |
336 | ||
337 | /* push back unused characters to the input stream */ | |
338 | end = str + strlen(str); | |
339 | while (end > str) | |
340 | unput(*--end); | |
341 | ||
342 | append_string(res, strlen(res)); | |
343 | ||
344 | free(res); | |
345 | } | |
346 | ||
1da177e4 LT |
347 | void zconf_starthelp(void) |
348 | { | |
349 | new_string(); | |
350 | last_ts = first_ts = 0; | |
351 | BEGIN(HELP); | |
352 | } | |
353 | ||
354 | static void zconf_endhelp(void) | |
355 | { | |
765f4cde | 356 | yylval.string = text; |
1da177e4 LT |
357 | BEGIN(INITIAL); |
358 | } | |
359 | ||
360 | ||
361 | /* | |
362 | * Try to open specified file with following names: | |
363 | * ./name | |
364 | * $(srctree)/name | |
365 | * The latter is used when srctree is separate from objtree | |
366 | * when compiling the kernel. | |
367 | * Return NULL if file is not found. | |
368 | */ | |
369 | FILE *zconf_fopen(const char *name) | |
370 | { | |
371 | char *env, fullname[PATH_MAX+1]; | |
372 | FILE *f; | |
373 | ||
374 | f = fopen(name, "r"); | |
11de39e2 | 375 | if (!f && name != NULL && name[0] != '/') { |
1da177e4 LT |
376 | env = getenv(SRCTREE); |
377 | if (env) { | |
b9d1a8e9 JG |
378 | snprintf(fullname, sizeof(fullname), |
379 | "%s/%s", env, name); | |
1da177e4 LT |
380 | f = fopen(fullname, "r"); |
381 | } | |
382 | } | |
383 | return f; | |
384 | } | |
385 | ||
386 | void zconf_initscan(const char *name) | |
387 | { | |
388 | yyin = zconf_fopen(name); | |
389 | if (!yyin) { | |
9e3e10c7 | 390 | fprintf(stderr, "can't find file %s\n", name); |
1da177e4 LT |
391 | exit(1); |
392 | } | |
393 | ||
177acf78 | 394 | current_buf = xmalloc(sizeof(*current_buf)); |
1da177e4 LT |
395 | memset(current_buf, 0, sizeof(*current_buf)); |
396 | ||
397 | current_file = file_lookup(name); | |
18492685 | 398 | yylineno = 1; |
1da177e4 LT |
399 | } |
400 | ||
401 | void zconf_nextfile(const char *name) | |
402 | { | |
f094f8a1 | 403 | struct file *iter; |
1da177e4 | 404 | struct file *file = file_lookup(name); |
177acf78 | 405 | struct buffer *buf = xmalloc(sizeof(*buf)); |
1da177e4 LT |
406 | memset(buf, 0, sizeof(*buf)); |
407 | ||
408 | current_buf->state = YY_CURRENT_BUFFER; | |
e82dae90 | 409 | yyin = zconf_fopen(file->name); |
1da177e4 | 410 | if (!yyin) { |
9e3e10c7 MY |
411 | fprintf(stderr, "%s:%d: can't open file \"%s\"\n", |
412 | zconf_curname(), zconf_lineno(), file->name); | |
1da177e4 LT |
413 | exit(1); |
414 | } | |
415 | yy_switch_to_buffer(yy_create_buffer(yyin, YY_BUF_SIZE)); | |
416 | buf->parent = current_buf; | |
417 | current_buf = buf; | |
418 | ||
18492685 | 419 | current_file->lineno = yylineno; |
379a8eb8 MY |
420 | file->parent = current_file; |
421 | ||
422 | for (iter = current_file; iter; iter = iter->parent) { | |
423 | if (!strcmp(iter->name, file->name)) { | |
9e3e10c7 | 424 | fprintf(stderr, |
32a94b8b MY |
425 | "Recursive inclusion detected.\n" |
426 | "Inclusion path:\n" | |
379a8eb8 MY |
427 | " current file : %s\n", file->name); |
428 | iter = file; | |
5ae6fcc4 | 429 | do { |
f094f8a1 | 430 | iter = iter->parent; |
32a94b8b | 431 | fprintf(stderr, " included from: %s:%d\n", |
5ae6fcc4 | 432 | iter->name, iter->lineno - 1); |
379a8eb8 | 433 | } while (strcmp(iter->name, file->name)); |
f094f8a1 YM |
434 | exit(1); |
435 | } | |
1da177e4 | 436 | } |
379a8eb8 | 437 | |
18492685 | 438 | yylineno = 1; |
1da177e4 LT |
439 | current_file = file; |
440 | } | |
441 | ||
a02f0570 | 442 | static void zconf_endfile(void) |
1da177e4 LT |
443 | { |
444 | struct buffer *parent; | |
445 | ||
1da177e4 | 446 | current_file = current_file->parent; |
18492685 MY |
447 | if (current_file) |
448 | yylineno = current_file->lineno; | |
1da177e4 LT |
449 | |
450 | parent = current_buf->parent; | |
451 | if (parent) { | |
452 | fclose(yyin); | |
453 | yy_delete_buffer(YY_CURRENT_BUFFER); | |
454 | yy_switch_to_buffer(parent->state); | |
455 | } | |
456 | free(current_buf); | |
457 | current_buf = parent; | |
1da177e4 LT |
458 | } |
459 | ||
460 | int zconf_lineno(void) | |
461 | { | |
a02f0570 | 462 | return current_pos.lineno; |
1da177e4 LT |
463 | } |
464 | ||
2e7a0918 | 465 | const char *zconf_curname(void) |
1da177e4 | 466 | { |
a02f0570 | 467 | return current_pos.file ? current_pos.file->name : "<none>"; |
1da177e4 | 468 | } |