xref: /nrf52832-nimble/rt-thread/tools/kconfig-frontends/libs/parser/lconf.l (revision 104654410c56c573564690304ae786df310c91fc)
1*10465441SEvalZero %option nostdinit noyywrap never-interactive full ecs
2*10465441SEvalZero %option 8bit nodefault perf-report perf-report
3*10465441SEvalZero %option noinput
4*10465441SEvalZero %x COMMAND HELP STRING PARAM
5*10465441SEvalZero %{
6*10465441SEvalZero /*
7*10465441SEvalZero  * Copyright (C) 2002 Roman Zippel <[email protected]>
8*10465441SEvalZero  * Released under the terms of the GNU GPL v2.0.
9*10465441SEvalZero  */
10*10465441SEvalZero 
11*10465441SEvalZero #include <limits.h>
12*10465441SEvalZero #include <stdio.h>
13*10465441SEvalZero #include <stdlib.h>
14*10465441SEvalZero #include <string.h>
15*10465441SEvalZero #include <unistd.h>
16*10465441SEvalZero 
17*10465441SEvalZero #include "lkc.h"
18*10465441SEvalZero 
19*10465441SEvalZero #define START_STRSIZE	16
20*10465441SEvalZero 
21*10465441SEvalZero static struct {
22*10465441SEvalZero 	struct file *file;
23*10465441SEvalZero 	int lineno;
24*10465441SEvalZero } current_pos;
25*10465441SEvalZero 
26*10465441SEvalZero static char *text;
27*10465441SEvalZero static int text_size, text_asize;
28*10465441SEvalZero 
29*10465441SEvalZero struct buffer {
30*10465441SEvalZero 	struct buffer *parent;
31*10465441SEvalZero 	YY_BUFFER_STATE state;
32*10465441SEvalZero };
33*10465441SEvalZero 
34*10465441SEvalZero struct buffer *current_buf;
35*10465441SEvalZero 
36*10465441SEvalZero static int last_ts, first_ts;
37*10465441SEvalZero 
38*10465441SEvalZero static void zconf_endhelp(void);
39*10465441SEvalZero static void zconf_endfile(void);
40*10465441SEvalZero 
new_string(void)41*10465441SEvalZero static void new_string(void)
42*10465441SEvalZero {
43*10465441SEvalZero 	text = xmalloc(START_STRSIZE);
44*10465441SEvalZero 	text_asize = START_STRSIZE;
45*10465441SEvalZero 	text_size = 0;
46*10465441SEvalZero 	*text = 0;
47*10465441SEvalZero }
48*10465441SEvalZero 
append_string(const char * str,int size)49*10465441SEvalZero static void append_string(const char *str, int size)
50*10465441SEvalZero {
51*10465441SEvalZero 	int new_size = text_size + size + 1;
52*10465441SEvalZero 	if (new_size > text_asize) {
53*10465441SEvalZero 		new_size += START_STRSIZE - 1;
54*10465441SEvalZero 		new_size &= -START_STRSIZE;
55*10465441SEvalZero 		text = realloc(text, new_size);
56*10465441SEvalZero 		text_asize = new_size;
57*10465441SEvalZero 	}
58*10465441SEvalZero 	memcpy(text + text_size, str, size);
59*10465441SEvalZero 	text_size += size;
60*10465441SEvalZero 	text[text_size] = 0;
61*10465441SEvalZero }
62*10465441SEvalZero 
alloc_string(const char * str,int size)63*10465441SEvalZero static void alloc_string(const char *str, int size)
64*10465441SEvalZero {
65*10465441SEvalZero 	text = xmalloc(size + 1);
66*10465441SEvalZero 	memcpy(text, str, size);
67*10465441SEvalZero 	text[size] = 0;
68*10465441SEvalZero }
69*10465441SEvalZero 
warn_ignored_character(char chr)70*10465441SEvalZero static void warn_ignored_character(char chr)
71*10465441SEvalZero {
72*10465441SEvalZero 	fprintf(stderr,
73*10465441SEvalZero 	        "%s:%d:warning: ignoring unsupported character '%c'\n",
74*10465441SEvalZero 	        zconf_curname(), zconf_lineno(), chr);
75*10465441SEvalZero }
76*10465441SEvalZero %}
77*10465441SEvalZero 
78*10465441SEvalZero n	[A-Za-z0-9_-]
79*10465441SEvalZero 
80*10465441SEvalZero %%
81*10465441SEvalZero 	int str = 0;
82*10465441SEvalZero 	int ts, i;
83*10465441SEvalZero 
84*10465441SEvalZero [ \t]*#.*\n	|
85*10465441SEvalZero [ \t]*\n	{
86*10465441SEvalZero 	current_file->lineno++;
87*10465441SEvalZero 	return T_EOL;
88*10465441SEvalZero }
89*10465441SEvalZero [ \t]*#.*
90*10465441SEvalZero 
91*10465441SEvalZero 
92*10465441SEvalZero [ \t]+	{
93*10465441SEvalZero 	BEGIN(COMMAND);
94*10465441SEvalZero }
95*10465441SEvalZero 
96*10465441SEvalZero .	{
97*10465441SEvalZero 	unput(yytext[0]);
98*10465441SEvalZero 	BEGIN(COMMAND);
99*10465441SEvalZero }
100*10465441SEvalZero 
101*10465441SEvalZero 
102*10465441SEvalZero <COMMAND>{
103*10465441SEvalZero 	{n}+	{
104*10465441SEvalZero 		const struct kconf_id *id = kconf_id_lookup(yytext, yyleng);
105*10465441SEvalZero 		BEGIN(PARAM);
106*10465441SEvalZero 		current_pos.file = current_file;
107*10465441SEvalZero 		current_pos.lineno = current_file->lineno;
108*10465441SEvalZero 		if (id && id->flags & TF_COMMAND) {
109*10465441SEvalZero 			zconflval.id = id;
110*10465441SEvalZero 			return id->token;
111*10465441SEvalZero 		}
112*10465441SEvalZero 		alloc_string(yytext, yyleng);
113*10465441SEvalZero 		zconflval.string = text;
114*10465441SEvalZero 		return T_WORD;
115*10465441SEvalZero 	}
116*10465441SEvalZero 	.	warn_ignored_character(*yytext);
117*10465441SEvalZero 	\n	{
118*10465441SEvalZero 		BEGIN(INITIAL);
119*10465441SEvalZero 		current_file->lineno++;
120*10465441SEvalZero 		return T_EOL;
121*10465441SEvalZero 	}
122*10465441SEvalZero }
123*10465441SEvalZero 
124*10465441SEvalZero <PARAM>{
125*10465441SEvalZero 	"&&"	return T_AND;
126*10465441SEvalZero 	"||"	return T_OR;
127*10465441SEvalZero 	"("	return T_OPEN_PAREN;
128*10465441SEvalZero 	")"	return T_CLOSE_PAREN;
129*10465441SEvalZero 	"!"	return T_NOT;
130*10465441SEvalZero 	"="	return T_EQUAL;
131*10465441SEvalZero 	"!="	return T_UNEQUAL;
132*10465441SEvalZero 	"<="	return T_LESS_EQUAL;
133*10465441SEvalZero 	">="	return T_GREATER_EQUAL;
134*10465441SEvalZero 	"<"	return T_LESS;
135*10465441SEvalZero 	">"	return T_GREATER;
136*10465441SEvalZero 	\"|\'	{
137*10465441SEvalZero 		str = yytext[0];
138*10465441SEvalZero 		new_string();
139*10465441SEvalZero 		BEGIN(STRING);
140*10465441SEvalZero 	}
141*10465441SEvalZero 	\n	BEGIN(INITIAL); current_file->lineno++; return T_EOL;
142*10465441SEvalZero 	({n}|[/.])+	{
143*10465441SEvalZero 		const struct kconf_id *id = kconf_id_lookup(yytext, yyleng);
144*10465441SEvalZero 		if (id && id->flags & TF_PARAM) {
145*10465441SEvalZero 			zconflval.id = id;
146*10465441SEvalZero 			return id->token;
147*10465441SEvalZero 		}
148*10465441SEvalZero 		alloc_string(yytext, yyleng);
149*10465441SEvalZero 		zconflval.string = text;
150*10465441SEvalZero 		return T_WORD;
151*10465441SEvalZero 	}
152*10465441SEvalZero 	#.*	/* comment */
153*10465441SEvalZero 	\\\n	current_file->lineno++;
154*10465441SEvalZero 	[[:blank:]]+
155*10465441SEvalZero 	.	warn_ignored_character(*yytext);
156*10465441SEvalZero 	<<EOF>> {
157*10465441SEvalZero 		BEGIN(INITIAL);
158*10465441SEvalZero 	}
159*10465441SEvalZero }
160*10465441SEvalZero 
161*10465441SEvalZero <STRING>{
162*10465441SEvalZero 	[^'"\\\n]+/\n	{
163*10465441SEvalZero 		append_string(yytext, yyleng);
164*10465441SEvalZero 		zconflval.string = text;
165*10465441SEvalZero 		return T_WORD_QUOTE;
166*10465441SEvalZero 	}
167*10465441SEvalZero 	[^'"\\\n]+	{
168*10465441SEvalZero 		append_string(yytext, yyleng);
169*10465441SEvalZero 	}
170*10465441SEvalZero 	\\.?/\n	{
171*10465441SEvalZero 		append_string(yytext + 1, yyleng - 1);
172*10465441SEvalZero 		zconflval.string = text;
173*10465441SEvalZero 		return T_WORD_QUOTE;
174*10465441SEvalZero 	}
175*10465441SEvalZero 	\\.?	{
176*10465441SEvalZero 		append_string(yytext + 1, yyleng - 1);
177*10465441SEvalZero 	}
178*10465441SEvalZero 	\'|\"	{
179*10465441SEvalZero 		if (str == yytext[0]) {
180*10465441SEvalZero 			BEGIN(PARAM);
181*10465441SEvalZero 			zconflval.string = text;
182*10465441SEvalZero 			return T_WORD_QUOTE;
183*10465441SEvalZero 		} else
184*10465441SEvalZero 			append_string(yytext, 1);
185*10465441SEvalZero 	}
186*10465441SEvalZero 	\n	{
187*10465441SEvalZero 		printf("%s:%d:warning: multi-line strings not supported\n", zconf_curname(), zconf_lineno());
188*10465441SEvalZero 		current_file->lineno++;
189*10465441SEvalZero 		BEGIN(INITIAL);
190*10465441SEvalZero 		return T_EOL;
191*10465441SEvalZero 	}
192*10465441SEvalZero 	<<EOF>>	{
193*10465441SEvalZero 		BEGIN(INITIAL);
194*10465441SEvalZero 	}
195*10465441SEvalZero }
196*10465441SEvalZero 
197*10465441SEvalZero <HELP>{
198*10465441SEvalZero 	[ \t]+	{
199*10465441SEvalZero 		ts = 0;
200*10465441SEvalZero 		for (i = 0; i < yyleng; i++) {
201*10465441SEvalZero 			if (yytext[i] == '\t')
202*10465441SEvalZero 				ts = (ts & ~7) + 8;
203*10465441SEvalZero 			else
204*10465441SEvalZero 				ts++;
205*10465441SEvalZero 		}
206*10465441SEvalZero 		last_ts = ts;
207*10465441SEvalZero 		if (first_ts) {
208*10465441SEvalZero 			if (ts < first_ts) {
209*10465441SEvalZero 				zconf_endhelp();
210*10465441SEvalZero 				return T_HELPTEXT;
211*10465441SEvalZero 			}
212*10465441SEvalZero 			ts -= first_ts;
213*10465441SEvalZero 			while (ts > 8) {
214*10465441SEvalZero 				append_string("        ", 8);
215*10465441SEvalZero 				ts -= 8;
216*10465441SEvalZero 			}
217*10465441SEvalZero 			append_string("        ", ts);
218*10465441SEvalZero 		}
219*10465441SEvalZero 	}
220*10465441SEvalZero 	[ \t]*\n/[^ \t\n] {
221*10465441SEvalZero 		current_file->lineno++;
222*10465441SEvalZero 		zconf_endhelp();
223*10465441SEvalZero 		return T_HELPTEXT;
224*10465441SEvalZero 	}
225*10465441SEvalZero 	[ \t]*\n	{
226*10465441SEvalZero 		current_file->lineno++;
227*10465441SEvalZero 		append_string("\n", 1);
228*10465441SEvalZero 	}
229*10465441SEvalZero 	[^ \t\n].* {
230*10465441SEvalZero 		while (yyleng) {
231*10465441SEvalZero 			if ((yytext[yyleng-1] != ' ') && (yytext[yyleng-1] != '\t'))
232*10465441SEvalZero 				break;
233*10465441SEvalZero 			yyleng--;
234*10465441SEvalZero 		}
235*10465441SEvalZero 		append_string(yytext, yyleng);
236*10465441SEvalZero 		if (!first_ts)
237*10465441SEvalZero 			first_ts = last_ts;
238*10465441SEvalZero 	}
239*10465441SEvalZero 	<<EOF>>	{
240*10465441SEvalZero 		zconf_endhelp();
241*10465441SEvalZero 		return T_HELPTEXT;
242*10465441SEvalZero 	}
243*10465441SEvalZero }
244*10465441SEvalZero 
245*10465441SEvalZero <<EOF>>	{
246*10465441SEvalZero 	if (current_file) {
247*10465441SEvalZero 		zconf_endfile();
248*10465441SEvalZero 		return T_EOL;
249*10465441SEvalZero 	}
250*10465441SEvalZero 	fclose(yyin);
251*10465441SEvalZero 	yyterminate();
252*10465441SEvalZero }
253*10465441SEvalZero 
254*10465441SEvalZero %%
255*10465441SEvalZero void zconf_starthelp(void)
256*10465441SEvalZero {
257*10465441SEvalZero 	new_string();
258*10465441SEvalZero 	last_ts = first_ts = 0;
259*10465441SEvalZero 	BEGIN(HELP);
260*10465441SEvalZero }
261*10465441SEvalZero 
262*10465441SEvalZero static void zconf_endhelp(void)
263*10465441SEvalZero {
264*10465441SEvalZero 	zconflval.string = text;
265*10465441SEvalZero 	BEGIN(INITIAL);
266*10465441SEvalZero }
267*10465441SEvalZero 
268*10465441SEvalZero 
269*10465441SEvalZero /*
270*10465441SEvalZero  * Try to open specified file with following names:
271*10465441SEvalZero  * ./name
272*10465441SEvalZero  * $(srctree)/name
273*10465441SEvalZero  * The latter is used when srctree is separate from objtree
274*10465441SEvalZero  * when compiling the kernel.
275*10465441SEvalZero  * Return NULL if file is not found.
276*10465441SEvalZero  */
277*10465441SEvalZero FILE *zconf_fopen(const char *name)
278*10465441SEvalZero {
279*10465441SEvalZero 	char *env, fullname[PATH_MAX+1];
280*10465441SEvalZero 	FILE *f;
281*10465441SEvalZero 
282*10465441SEvalZero 	f = fopen(name, "r");
283*10465441SEvalZero 	if (!f && name != NULL && name[0] != '/') {
284*10465441SEvalZero 		env = getenv(SRCTREE);
285*10465441SEvalZero 		if (env) {
286*10465441SEvalZero 			sprintf(fullname, "%s/%s", env, name);
287*10465441SEvalZero 			f = fopen(fullname, "r");
288*10465441SEvalZero 		}
289*10465441SEvalZero 	}
290*10465441SEvalZero 	return f;
291*10465441SEvalZero }
292*10465441SEvalZero 
293*10465441SEvalZero void zconf_initscan(const char *name)
294*10465441SEvalZero {
295*10465441SEvalZero 	yyin = zconf_fopen(name);
296*10465441SEvalZero 	if (!yyin) {
297*10465441SEvalZero 		printf("can't find file %s\n", name);
298*10465441SEvalZero 		exit(1);
299*10465441SEvalZero 	}
300*10465441SEvalZero 
301*10465441SEvalZero 	current_buf = xmalloc(sizeof(*current_buf));
302*10465441SEvalZero 	memset(current_buf, 0, sizeof(*current_buf));
303*10465441SEvalZero 
304*10465441SEvalZero 	current_file = file_lookup(name);
305*10465441SEvalZero 	current_file->lineno = 1;
306*10465441SEvalZero }
307*10465441SEvalZero 
308*10465441SEvalZero void zconf_nextfile(const char *name)
309*10465441SEvalZero {
310*10465441SEvalZero 	struct file *iter;
311*10465441SEvalZero 	struct file *file = file_lookup(name);
312*10465441SEvalZero 	struct buffer *buf = xmalloc(sizeof(*buf));
313*10465441SEvalZero 	memset(buf, 0, sizeof(*buf));
314*10465441SEvalZero 
315*10465441SEvalZero 	current_buf->state = YY_CURRENT_BUFFER;
316*10465441SEvalZero 	yyin = zconf_fopen(file->name);
317*10465441SEvalZero 	if (!yyin) {
318*10465441SEvalZero 		printf("%s:%d: can't open file \"%s\"\n",
319*10465441SEvalZero 		    zconf_curname(), zconf_lineno(), file->name);
320*10465441SEvalZero 		exit(1);
321*10465441SEvalZero 	}
322*10465441SEvalZero 	yy_switch_to_buffer(yy_create_buffer(yyin, YY_BUF_SIZE));
323*10465441SEvalZero 	buf->parent = current_buf;
324*10465441SEvalZero 	current_buf = buf;
325*10465441SEvalZero 
326*10465441SEvalZero 	for (iter = current_file->parent; iter; iter = iter->parent ) {
327*10465441SEvalZero 		if (!strcmp(current_file->name,iter->name) ) {
328*10465441SEvalZero 			printf("%s:%d: recursive inclusion detected. "
329*10465441SEvalZero 			       "Inclusion path:\n  current file : '%s'\n",
330*10465441SEvalZero 			       zconf_curname(), zconf_lineno(),
331*10465441SEvalZero 			       zconf_curname());
332*10465441SEvalZero 			iter = current_file->parent;
333*10465441SEvalZero 			while (iter && \
334*10465441SEvalZero 			       strcmp(iter->name,current_file->name)) {
335*10465441SEvalZero 				printf("  included from: '%s:%d'\n",
336*10465441SEvalZero 				       iter->name, iter->lineno-1);
337*10465441SEvalZero 				iter = iter->parent;
338*10465441SEvalZero 			}
339*10465441SEvalZero 			if (iter)
340*10465441SEvalZero 				printf("  included from: '%s:%d'\n",
341*10465441SEvalZero 				       iter->name, iter->lineno+1);
342*10465441SEvalZero 			exit(1);
343*10465441SEvalZero 		}
344*10465441SEvalZero 	}
345*10465441SEvalZero 	file->lineno = 1;
346*10465441SEvalZero 	file->parent = current_file;
347*10465441SEvalZero 	current_file = file;
348*10465441SEvalZero }
349*10465441SEvalZero 
350*10465441SEvalZero static void zconf_endfile(void)
351*10465441SEvalZero {
352*10465441SEvalZero 	struct buffer *parent;
353*10465441SEvalZero 
354*10465441SEvalZero 	current_file = current_file->parent;
355*10465441SEvalZero 
356*10465441SEvalZero 	parent = current_buf->parent;
357*10465441SEvalZero 	if (parent) {
358*10465441SEvalZero 		fclose(yyin);
359*10465441SEvalZero 		yy_delete_buffer(YY_CURRENT_BUFFER);
360*10465441SEvalZero 		yy_switch_to_buffer(parent->state);
361*10465441SEvalZero 	}
362*10465441SEvalZero 	free(current_buf);
363*10465441SEvalZero 	current_buf = parent;
364*10465441SEvalZero }
365*10465441SEvalZero 
366*10465441SEvalZero int zconf_lineno(void)
367*10465441SEvalZero {
368*10465441SEvalZero 	return current_pos.lineno;
369*10465441SEvalZero }
370*10465441SEvalZero 
371*10465441SEvalZero const char *zconf_curname(void)
372*10465441SEvalZero {
373*10465441SEvalZero 	return current_pos.file ? current_pos.file->name : "<none>";
374*10465441SEvalZero }
375