summaryrefslogtreecommitdiffstats
path: root/src/config.l
blob: 54d3447dea472a807174553f18618ec402e4349d (plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
%option prefix="fastd_config_yy"
%option noyywrap
%option bison-bridge
%option reentrant

%top {
	 #include <config.yy.h>
}

%s STRING
%s ADDR6

%%
<INITIAL>{
[0-9]+		{ yylval->num = atoi(yytext); return TOK_INTEGER; }

interface	{ yylval->str = yytext; return TOK_INTERFACE; }
bind		{ yylval->str = yytext; return TOK_BIND; }
mtu		{ yylval->str = yytext; return TOK_MTU; }
mode		{ yylval->str = yytext; return TOK_MODE; }
protocol	{ yylval->str = yytext; return TOK_PROTOCOL; }
peer		{ yylval->str = yytext; return TOK_PEER; }
address		{ yylval->str = yytext; return TOK_ADDRESS; }
secret		{ yylval->str = yytext; return TOK_SECRET; }
key		{ yylval->str = yytext; return TOK_KEY; }

[0-9]{1,3}\.[0-9]{1,3}\.[0-9]{1,3}\.[0-9]{1,3} {
			if (!inet_pton(AF_INET, yytext, &yylval->addr)) {
				yylval->str = "invalid address";
				return -1;
			}

			return TOK_ADDR;
		}

any		{ yylval->str = yytext; return TOK_ANY; }
tap		{ yylval->str = yytext; return TOK_TAP; }
tun		{ yylval->str = yytext; return TOK_TUN; }

[A-Za-z_][A-Za-z0-9_]* { yylval->str = yytext; return TOK_IDENTIFIER; }

[;:\{\}]	{ return yytext[0]; }

[ \t\n]	;
}

<INITIAL>\"\"	{ yylval->str = ""; return TOK_STRING; }
<INITIAL>\"	BEGIN(STRING);
<STRING>[^"]*	{ yylval->str = yytext; return TOK_STRING; }
<STRING>\"	BEGIN(INITIAL);

<INITIAL>\[	BEGIN(ADDR6);
<ADDR6>[^\]]+	{
			if (!inet_pton(AF_INET6, yytext, &yylval->addr6)) {
				yylval->str = "invalid address";
				return -1;
			}

			return TOK_ADDR6;
		}
<ADDR6>\]	BEGIN(INITIAL);

. {
			yylval->str = "invalid character";
			return -1;
		}

<INITIAL><<EOF>> { return 0; }
<STRING><<EOF>>	{ yylval->str = "unterminated string"; return -1; }
<ADDR6><<EOF>>	{ yylval->str = "unterminated address"; return -1; }
%%