bird/conf/cf-lex.l

354 lines
6.3 KiB
Text
Raw Normal View History

1998-11-28 03:35:50 +08:00
/*
* BIRD -- Configuration Lexer
*
* (c) 1998--2000 Martin Mares <mj@ucw.cz>
1998-11-28 03:35:50 +08:00
*
* Can be freely distributed and used under the terms of the GNU GPL.
*/
%{
#undef REJECT /* Avoid name clashes */
1998-11-28 03:35:50 +08:00
#include <errno.h>
#include <stdlib.h>
#include <stdarg.h>
1998-11-28 03:35:50 +08:00
#include "nest/bird.h"
1999-11-15 19:35:41 +08:00
#include "nest/route.h"
#include "filter/filter.h"
1998-11-28 03:35:50 +08:00
#include "conf/conf.h"
#include "conf/cf-parse.tab.h"
#include "lib/string.h"
1998-11-28 03:35:50 +08:00
static struct keyword {
byte *name;
int value;
struct keyword *next;
} keyword_list[] = {
#include "conf/keywords.h"
1998-11-28 03:35:50 +08:00
{ NULL, -1 } };
#define KW_HASH_SIZE 64
static struct keyword *kw_hash[KW_HASH_SIZE];
static int kw_hash_inited;
1998-11-28 03:35:50 +08:00
#define SYM_HASH_SIZE 128
#define SYM_MAX_LEN 32
1999-11-04 21:51:52 +08:00
struct sym_scope {
struct sym_scope *next; /* Next on scope stack */
struct symbol *name; /* Name of this scope */
int active; /* Currently entered */
};
static struct sym_scope *conf_this_scope;
int conf_lino;
1998-11-28 03:35:50 +08:00
static int cf_hash(byte *c);
static struct symbol *cf_find_sym(byte *c, unsigned int h0);
linpool *cfg_mem;
1998-11-28 03:35:50 +08:00
int (*cf_read_hook)(byte *buf, unsigned int max);
#define YY_INPUT(buf,result,max) result = cf_read_hook(buf, max);
#define YY_NO_UNPUT
#define YY_FATAL_ERROR(msg) cf_error(msg)
%}
%option noyywrap
%x COMMENT CCOMM CLI
1998-11-28 03:35:50 +08:00
ALPHA [a-zA-Z_]
DIGIT [0-9]
XIGIT [0-9a-fA-F]
ALNUM [a-zA-Z_0-9]
WHITE [ \t]
%%
{DIGIT}+\.{DIGIT}+\.{DIGIT}+\.{DIGIT}+ {
#ifdef IPV6
if (ipv4_pton_u32(yytext, &cf_lval.i32))
return RTRID;
cf_error("Invalid IPv4 address %s", yytext);
#else
1998-11-28 03:35:50 +08:00
if (ip_pton(yytext, &cf_lval.a))
return IPA;
cf_error("Invalid IP address %s", yytext);
#endif
}
({XIGIT}*::|({XIGIT}*:){3,})({XIGIT}*|{DIGIT}+\.{DIGIT}+\.{DIGIT}+\.{DIGIT}+) {
#ifdef IPV6
if (ip_pton(yytext, &cf_lval.a))
return IPA;
cf_error("Invalid IP address %s", yytext);
#else
cf_error("This is an IPv4 router, therefore IPv6 addresses are not supported");
#endif
1998-11-28 03:35:50 +08:00
}
0x{DIGIT}+ {
char *e;
long int l;
errno = 0;
l = strtoul(yytext+2, &e, 16);
if (e && *e || errno == ERANGE || (long int)(int) l != l)
cf_error("Number out of range");
cf_lval.i = l;
return NUM;
}
{DIGIT}+ {
char *e;
long int l;
errno = 0;
l = strtoul(yytext, &e, 10);
if (e && *e || errno == ERANGE || (long int)(int) l != l)
cf_error("Number out of range");
cf_lval.i = l;
return NUM;
}
{ALPHA}{ALNUM}* {
unsigned int h = cf_hash(yytext);
struct keyword *k = kw_hash[h & (KW_HASH_SIZE-1)];
while (k)
{
if (!strcmp(k->name, yytext))
1999-11-15 19:35:41 +08:00
{
if (k->value > 0)
return k->value;
else
{
cf_lval.i = -k->value;
return ENUM;
}
}
1998-11-28 03:35:50 +08:00
k=k->next;
}
cf_lval.s = cf_find_sym(yytext, h);
return SYM;
}
<CLI>(.|\n) {
BEGIN(INITIAL);
return CLI_MARKER;
}
[={}:;,()+*/%-<>~\[\]] {
1998-11-28 03:35:50 +08:00
return yytext[0];
}
["][^"\n]*["] {
yytext[yyleng-1] = 0;
cf_lval.t = cfg_strdup(yytext+1);
1998-11-28 03:35:50 +08:00
return TEXT;
}
["][^"\n]*\n cf_error("Unterminated string");
<INITIAL,COMMENT><<EOF>> return END;
{WHITE}+
\n conf_lino++;
1998-11-28 03:35:50 +08:00
# BEGIN(COMMENT);
1998-11-28 03:35:50 +08:00
\/\* BEGIN(CCOMM);
1998-11-28 03:35:50 +08:00
. cf_error("Unknown character");
<COMMENT>\n {
conf_lino++;
1998-11-28 03:35:50 +08:00
BEGIN(INITIAL);
}
<COMMENT>.
<CCOMM>\*\/ BEGIN(INITIAL);
<CCOMM>\n conf_lino++;
1998-11-28 03:35:50 +08:00
<CCOMM>\/\* cf_error("Comment nesting not supported");
<CCOMM><<EOF>> cf_error("Unterminated comment");
<CCOMM>.
2000-03-11 04:21:12 +08:00
\!\= return NEQ;
\<\= return LEQ;
\>\= return GEQ;
1998-11-28 03:35:50 +08:00
%%
static int
cf_hash(byte *c)
{
unsigned int h = 13;
while (*c)
h = (h * 37) + *c++;
return h;
}
static struct symbol *
cf_find_sym(byte *c, unsigned int h0)
{
unsigned int h = h0 & (SYM_HASH_SIZE-1);
struct symbol *s, **ht;
1998-11-28 03:35:50 +08:00
int l;
if (ht = new_config->sym_hash)
{
for(s = ht[h]; s; s=s->next)
if (!strcmp(s->name, c) && s->scope->active)
return s;
}
if (new_config->sym_fallback)
{
/* We know only top-level scope is active */
for(s = new_config->sym_fallback[h]; s; s=s->next)
1999-11-04 21:51:52 +08:00
if (!strcmp(s->name, c) && s->scope->active)
return s;
}
if (!ht)
ht = new_config->sym_hash = cfg_allocz(SYM_HASH_SIZE * sizeof(struct keyword *));
1998-11-28 03:35:50 +08:00
l = strlen(c);
if (l > SYM_MAX_LEN)
cf_error("Symbol too long");
s = cfg_alloc(sizeof(struct symbol) + l);
s->next = ht[h];
ht[h] = s;
1999-11-04 21:51:52 +08:00
s->scope = conf_this_scope;
1998-11-28 03:35:50 +08:00
s->class = SYM_VOID;
s->def = NULL;
s->aux = 0;
1998-11-28 03:35:50 +08:00
strcpy(s->name, c);
return s;
}
struct symbol *
cf_find_symbol(byte *c)
{
return cf_find_sym(c, cf_hash(c));
}
1998-11-28 05:07:02 +08:00
struct symbol *
cf_default_name(char *template, int *counter)
1998-11-28 05:07:02 +08:00
{
char buf[32];
struct symbol *s;
char *perc = strchr(template, '%');
1998-11-28 05:07:02 +08:00
for(;;)
1998-11-28 05:07:02 +08:00
{
bsprintf(buf, template, ++(*counter));
1998-11-28 05:07:02 +08:00
s = cf_find_sym(buf, cf_hash(buf));
if (!s)
break;
if (s->class == SYM_VOID)
return s;
if (!perc)
break;
1998-11-28 05:07:02 +08:00
}
cf_error("Unable to generate default name");
1998-11-28 05:07:02 +08:00
}
void
cf_define_symbol(struct symbol *sym, int type, void *def)
{
if (sym->class)
cf_error("Symbol already defined");
sym->class = type;
sym->def = def;
}
static void
cf_lex_init_kh(void)
{
struct keyword *k;
for(k=keyword_list; k->name; k++)
{
unsigned h = cf_hash(k->name) & (KW_HASH_SIZE-1);
k->next = kw_hash[h];
kw_hash[h] = k;
}
kw_hash_inited = 1;
}
1998-11-28 03:35:50 +08:00
void
cf_lex_init(int is_cli)
1998-11-28 03:35:50 +08:00
{
if (!kw_hash_inited)
cf_lex_init_kh();
conf_lino = 1;
yyrestart(NULL);
if (is_cli)
BEGIN(CLI);
else
BEGIN(INITIAL);
1999-11-04 21:51:52 +08:00
conf_this_scope = cfg_allocz(sizeof(struct sym_scope));
conf_this_scope->active = 1;
1998-11-28 03:35:50 +08:00
}
1999-11-04 21:51:52 +08:00
void
cf_push_scope(struct symbol *sym)
{
struct sym_scope *s = cfg_alloc(sizeof(struct sym_scope));
s->next = conf_this_scope;
conf_this_scope = s;
s->active = 1;
s->name = sym;
}
void
cf_pop_scope(void)
{
conf_this_scope->active = 0;
conf_this_scope = conf_this_scope->next;
ASSERT(conf_this_scope);
}
struct symbol *
cf_walk_symbols(struct config *cf, struct symbol *sym, int *pos)
{
for(;;)
{
if (!sym)
{
if (*pos >= SYM_HASH_SIZE)
return NULL;
sym = cf->sym_hash[(*pos)++];
}
else
sym = sym->next;
if (sym && sym->scope->active)
return sym;
}
}
char *
cf_symbol_class_name(struct symbol *sym)
{
switch (sym->class)
{
case SYM_VOID:
return "undefined";
case SYM_PROTO:
return "protocol";
case SYM_NUMBER:
return "numeric constant";
case SYM_FUNCTION:
return "function";
case SYM_FILTER:
return "filter";
case SYM_TABLE:
return "routing table";
default:
return "unknown type";
}
}