1998-11-27 19:36:06 +00:00
|
|
|
/*
|
|
|
|
* BIRD -- Configuration Parser Top
|
|
|
|
*
|
2000-03-01 11:42:13 +00:00
|
|
|
* (c) 1998--2000 Martin Mares <mj@ucw.cz>
|
1998-11-27 19:36:06 +00:00
|
|
|
*
|
|
|
|
* Can be freely distributed and used under the terms of the GNU GPL.
|
|
|
|
*/
|
|
|
|
|
|
|
|
CF_HDR
|
|
|
|
|
2011-03-13 10:33:50 +00:00
|
|
|
#define PARSER 1
|
|
|
|
|
2015-09-17 15:15:30 +00:00
|
|
|
#include <stdio.h>
|
|
|
|
|
1998-11-27 19:36:06 +00:00
|
|
|
#include "nest/bird.h"
|
|
|
|
#include "conf/conf.h"
|
1998-11-27 21:09:57 +00:00
|
|
|
#include "lib/resource.h"
|
|
|
|
#include "lib/socket.h"
|
|
|
|
#include "lib/timer.h"
|
2000-03-31 23:30:21 +00:00
|
|
|
#include "lib/string.h"
|
1998-11-27 21:09:57 +00:00
|
|
|
#include "nest/protocol.h"
|
1998-11-29 22:03:58 +00:00
|
|
|
#include "nest/iface.h"
|
1998-12-06 17:38:42 +00:00
|
|
|
#include "nest/route.h"
|
Parse CLI commands. We use the same parser as for configuration files (because
we want to allow filter and similar complex constructs to be used in commands
and we should avoid code duplication), only with CLI_MARKER token prepended
before the whole input.
Defined macro CF_CLI(cmd, args, help) for defining CLI commands in .Y files.
The first argument specifies the command itself, the remaining two arguments
are copied to the help file (er, will be copied after the help file starts
to exist). This macro automatically creates a skeleton rule for the command,
you only need to append arguments as in:
CF_CLI(STEAL MONEY, <$>, [[Steal <$> US dollars or equivalent in any other currency]]): NUM {
cli_msg(0, "%d$ stolen", $3);
} ;
Also don't forget to reset lexer state between inputs.
1999-10-31 17:47:47 +00:00
|
|
|
#include "nest/cli.h"
|
1999-01-15 16:49:17 +00:00
|
|
|
#include "filter/filter.h"
|
1998-11-27 19:36:06 +00:00
|
|
|
|
1999-12-02 14:03:25 +00:00
|
|
|
/* FIXME: Turn on YYERROR_VERBOSE and work around lots of bison bugs? */
|
|
|
|
|
2011-05-06 20:00:54 +00:00
|
|
|
CF_DEFINES
|
|
|
|
|
2015-09-17 15:15:30 +00:00
|
|
|
static void
|
|
|
|
check_u8(unsigned val)
|
|
|
|
{
|
|
|
|
if (val > 0xFF)
|
|
|
|
cf_error("Value %d out of range (0-255)", val);
|
|
|
|
}
|
|
|
|
|
2011-05-06 20:00:54 +00:00
|
|
|
static void
|
|
|
|
check_u16(unsigned val)
|
|
|
|
{
|
|
|
|
if (val > 0xFFFF)
|
|
|
|
cf_error("Value %d out of range (0-65535)", val);
|
|
|
|
}
|
|
|
|
|
2015-09-17 15:15:30 +00:00
|
|
|
static void
|
|
|
|
check_file_readability(const char *file_path)
|
|
|
|
{
|
|
|
|
FILE *file = fopen(file_path, "r");
|
|
|
|
if (file)
|
|
|
|
fclose(file);
|
|
|
|
else
|
|
|
|
cf_error("File '%s' cannot be open for read: %m", file_path);
|
|
|
|
}
|
|
|
|
|
1998-11-27 19:36:06 +00:00
|
|
|
CF_DECLS
|
|
|
|
|
|
|
|
%union {
|
|
|
|
int i;
|
1999-08-03 19:36:06 +00:00
|
|
|
u32 i32;
|
1998-11-27 19:36:06 +00:00
|
|
|
ip_addr a;
|
2015-11-05 11:48:52 +00:00
|
|
|
ip4_addr ip4;
|
|
|
|
ip6_addr ip6;
|
2015-12-24 14:52:03 +00:00
|
|
|
net_addr net;
|
2015-11-12 01:03:59 +00:00
|
|
|
net_addr *net_ptr;
|
1998-11-27 19:36:06 +00:00
|
|
|
struct symbol *s;
|
|
|
|
char *t;
|
1999-05-17 20:14:52 +00:00
|
|
|
struct rtable_config *r;
|
1999-03-17 14:29:39 +00:00
|
|
|
struct f_inst *x;
|
|
|
|
struct filter *f;
|
1999-04-12 19:58:18 +00:00
|
|
|
struct f_tree *e;
|
2009-03-31 10:55:57 +00:00
|
|
|
struct f_trie *trie;
|
1999-04-12 19:58:18 +00:00
|
|
|
struct f_val v;
|
2000-04-12 13:07:53 +00:00
|
|
|
struct f_path_mask *h;
|
1999-05-26 14:24:32 +00:00
|
|
|
struct password_item *p;
|
1999-12-01 15:10:21 +00:00
|
|
|
struct rt_show_data *ra;
|
2012-03-16 11:47:12 +00:00
|
|
|
struct sym_show_data *sd;
|
2012-03-16 11:12:26 +00:00
|
|
|
struct lsadb_show_data *ld;
|
2012-01-01 11:02:20 +00:00
|
|
|
struct iface *iface;
|
1999-12-06 13:50:50 +00:00
|
|
|
void *g;
|
2000-03-01 11:42:13 +00:00
|
|
|
bird_clock_t time;
|
2015-12-16 09:25:12 +00:00
|
|
|
struct f_prefix px;
|
2010-02-19 23:03:31 +00:00
|
|
|
struct proto_spec ps;
|
2010-02-02 23:19:24 +00:00
|
|
|
struct timeformat *tf;
|
1998-11-27 19:36:06 +00:00
|
|
|
}
|
|
|
|
|
2011-05-06 20:00:54 +00:00
|
|
|
%token END CLI_MARKER INVALID_TOKEN ELSECOL DDOT
|
2000-06-01 08:43:29 +00:00
|
|
|
%token GEQ LEQ NEQ AND OR
|
2009-03-14 11:43:10 +00:00
|
|
|
%token PO PC
|
1999-11-15 11:35:41 +00:00
|
|
|
%token <i> NUM ENUM
|
2015-11-05 11:48:52 +00:00
|
|
|
%token <ip4> IP4
|
|
|
|
%token <ip6> IP6
|
1998-11-27 19:36:06 +00:00
|
|
|
%token <s> SYM
|
|
|
|
%token <t> TEXT
|
2012-01-01 11:02:20 +00:00
|
|
|
%type <iface> ipa_scope
|
1998-11-27 19:36:06 +00:00
|
|
|
|
2015-12-24 14:52:03 +00:00
|
|
|
%type <i> expr bool pxlen4
|
2013-09-16 21:57:40 +00:00
|
|
|
%type <i32> expr_us
|
2000-03-01 11:42:13 +00:00
|
|
|
%type <time> datetime
|
2015-12-24 14:52:03 +00:00
|
|
|
%type <a> ipa
|
2016-01-21 09:24:50 +00:00
|
|
|
%type <net> net_ip4_ net_ip6_ net_ip6 net_ip_ net_ip net_or_ipa
|
|
|
|
%type <net_ptr> net_ net_any net_roa4_ net_roa6_ net_roa_
|
2015-11-12 01:03:59 +00:00
|
|
|
|
|
|
|
%type <t> text opttext
|
1998-11-27 21:32:45 +00:00
|
|
|
|
2000-05-16 14:24:33 +00:00
|
|
|
%nonassoc PREFIX_DUMMY
|
2010-01-27 22:45:36 +00:00
|
|
|
%left AND OR
|
2010-10-08 12:25:53 +00:00
|
|
|
%nonassoc '=' '<' '>' '~' GEQ LEQ NEQ PO PC
|
2010-01-27 22:45:36 +00:00
|
|
|
%left '+' '-'
|
1998-11-27 21:32:45 +00:00
|
|
|
%left '*' '/' '%'
|
1999-04-07 12:11:08 +00:00
|
|
|
%left '!'
|
2010-10-08 12:25:53 +00:00
|
|
|
%nonassoc '.'
|
1998-11-27 21:32:45 +00:00
|
|
|
|
2014-10-02 09:33:55 +00:00
|
|
|
CF_KEYWORDS(DEFINE, ON, OFF, YES, NO, S, MS, US, PORT)
|
1998-11-27 21:32:45 +00:00
|
|
|
|
1998-11-27 19:36:06 +00:00
|
|
|
CF_GRAMMAR
|
|
|
|
|
1998-11-27 21:32:45 +00:00
|
|
|
/* Basic config file structure */
|
|
|
|
|
Parse CLI commands. We use the same parser as for configuration files (because
we want to allow filter and similar complex constructs to be used in commands
and we should avoid code duplication), only with CLI_MARKER token prepended
before the whole input.
Defined macro CF_CLI(cmd, args, help) for defining CLI commands in .Y files.
The first argument specifies the command itself, the remaining two arguments
are copied to the help file (er, will be copied after the help file starts
to exist). This macro automatically creates a skeleton rule for the command,
you only need to append arguments as in:
CF_CLI(STEAL MONEY, <$>, [[Steal <$> US dollars or equivalent in any other currency]]): NUM {
cli_msg(0, "%d$ stolen", $3);
} ;
Also don't forget to reset lexer state between inputs.
1999-10-31 17:47:47 +00:00
|
|
|
config: conf_entries END { return 0; }
|
1999-11-17 12:00:21 +00:00
|
|
|
| CLI_MARKER cli_cmd { return 0; }
|
1998-11-27 19:36:06 +00:00
|
|
|
;
|
|
|
|
|
|
|
|
conf_entries:
|
|
|
|
/* EMPTY */
|
1999-03-29 19:04:14 +00:00
|
|
|
| conf_entries conf
|
1998-11-27 19:36:06 +00:00
|
|
|
;
|
|
|
|
|
1999-03-29 19:04:14 +00:00
|
|
|
CF_ADDTO(conf, ';')
|
1998-11-27 19:36:06 +00:00
|
|
|
|
2013-07-25 20:33:57 +00:00
|
|
|
|
1999-01-15 14:41:51 +00:00
|
|
|
/* Constant expressions */
|
1998-11-27 21:32:45 +00:00
|
|
|
|
2013-07-25 20:33:57 +00:00
|
|
|
CF_ADDTO(conf, definition)
|
|
|
|
definition:
|
|
|
|
DEFINE SYM '=' term ';' {
|
|
|
|
struct f_val *val = cfg_alloc(sizeof(struct f_val));
|
|
|
|
*val = f_eval($4, cfg_mem);
|
|
|
|
if (val->type == T_RETURN) cf_error("Runtime error");
|
|
|
|
cf_define_symbol($2, SYM_CONSTANT | val->type, val);
|
|
|
|
}
|
|
|
|
;
|
|
|
|
|
1999-01-15 18:04:28 +00:00
|
|
|
expr:
|
1998-11-27 21:32:45 +00:00
|
|
|
NUM
|
2000-05-15 12:15:18 +00:00
|
|
|
| '(' term ')' { $$ = f_eval_int($2); }
|
2013-07-25 20:33:57 +00:00
|
|
|
| SYM {
|
|
|
|
if ($1->class != (SYM_CONSTANT | T_INT)) cf_error("Number expected");
|
|
|
|
$$ = SYM_VAL($1).i; }
|
1998-11-27 21:32:45 +00:00
|
|
|
;
|
|
|
|
|
2013-09-16 21:57:40 +00:00
|
|
|
|
|
|
|
expr_us:
|
2013-10-05 18:12:28 +00:00
|
|
|
expr S { $$ = (u32) $1 * 1000000; }
|
|
|
|
| expr MS { $$ = (u32) $1 * 1000; }
|
|
|
|
| expr US { $$ = (u32) $1 * 1; }
|
2013-09-16 21:57:40 +00:00
|
|
|
;
|
|
|
|
|
2011-05-06 20:00:54 +00:00
|
|
|
/* expr_u16: expr { check_u16($1); $$ = $1; }; */
|
|
|
|
|
1998-12-06 17:38:42 +00:00
|
|
|
/* Switches */
|
|
|
|
|
|
|
|
bool:
|
1999-01-15 18:04:28 +00:00
|
|
|
expr {$$ = !!$1; }
|
1998-12-06 17:38:42 +00:00
|
|
|
| ON { $$ = 1; }
|
|
|
|
| YES { $$ = 1; }
|
|
|
|
| OFF { $$ = 0; }
|
|
|
|
| NO { $$ = 0; }
|
|
|
|
| /* Silence means agreement */ { $$ = 1; }
|
|
|
|
;
|
|
|
|
|
2000-05-15 11:48:23 +00:00
|
|
|
|
2015-12-24 14:52:03 +00:00
|
|
|
/* Addresses */
|
2015-11-05 11:48:52 +00:00
|
|
|
|
2000-05-15 11:48:23 +00:00
|
|
|
ipa:
|
2015-12-24 14:52:03 +00:00
|
|
|
IP4 { $$ = ipa_from_ip4($1); }
|
|
|
|
| IP6 { $$ = ipa_from_ip6($1); }
|
2000-05-15 11:48:23 +00:00
|
|
|
| SYM {
|
2013-07-25 20:33:57 +00:00
|
|
|
if ($1->class != (SYM_CONSTANT | T_IP)) cf_error("IP address expected");
|
2015-12-16 09:25:12 +00:00
|
|
|
$$ = SYM_VAL($1).ip;
|
2000-05-15 11:48:23 +00:00
|
|
|
}
|
|
|
|
;
|
1998-12-06 23:10:45 +00:00
|
|
|
|
2012-01-01 11:02:20 +00:00
|
|
|
ipa_scope:
|
|
|
|
/* empty */ { $$ = NULL; }
|
|
|
|
| '%' SYM { $$ = if_get_by_name($2->name); }
|
|
|
|
;
|
|
|
|
|
2015-11-12 01:03:59 +00:00
|
|
|
|
2015-12-24 14:52:03 +00:00
|
|
|
/* Networks - internal */
|
2015-11-12 01:03:59 +00:00
|
|
|
|
2015-12-24 14:52:03 +00:00
|
|
|
pxlen4:
|
|
|
|
'/' NUM {
|
|
|
|
if ($2 < 0 || $2 > IP4_MAX_PREFIX_LENGTH) cf_error("Invalid prefix length %d", $2);
|
|
|
|
$$ = $2;
|
|
|
|
}
|
|
|
|
| ':' IP4 {
|
|
|
|
$$ = ip4_masklen($2);
|
2015-12-29 16:12:47 +00:00
|
|
|
if ($$ == 255) cf_error("Invalid netmask %I4", $2);
|
2015-12-24 14:52:03 +00:00
|
|
|
}
|
|
|
|
;
|
2015-11-12 01:03:59 +00:00
|
|
|
|
2015-12-24 14:52:03 +00:00
|
|
|
net_ip4_: IP4 pxlen4
|
|
|
|
{
|
|
|
|
net_fill_ip4(&($$), $1, $2);
|
|
|
|
if (!net_validate_ip4((net_addr_ip4 *) &($$)))
|
|
|
|
cf_error("Invalid IPv4 prefix");
|
|
|
|
};
|
2015-11-12 01:03:59 +00:00
|
|
|
|
2015-12-24 14:52:03 +00:00
|
|
|
net_ip6_: IP6 '/' NUM
|
|
|
|
{
|
|
|
|
net_fill_ip6(&($$), $1, $3);
|
|
|
|
if ($3 < 0 || $3 > IP6_MAX_PREFIX_LENGTH)
|
|
|
|
cf_error("Invalid prefix length %d", $3);
|
|
|
|
if (!net_validate_ip6((net_addr_ip6 *) &($$)))
|
|
|
|
cf_error("Invalid IPv6 prefix");
|
|
|
|
};
|
2015-11-12 01:03:59 +00:00
|
|
|
|
2016-01-20 13:55:37 +00:00
|
|
|
net_roa4_: net_ip4_ MAX NUM AS NUM
|
|
|
|
{
|
2016-01-21 09:24:50 +00:00
|
|
|
$$ = cfg_alloc(sizeof(net_addr_roa4));
|
|
|
|
net_fill_roa4($$, ((net_addr_ip4 *)&$1)->prefix, $1.pxlen, $3, $5);
|
2016-01-20 13:55:37 +00:00
|
|
|
if ($3 < 0 || $3 > IP4_MAX_PREFIX_LENGTH)
|
|
|
|
cf_error("Invalid max prefix length %d", $3);
|
2016-01-21 09:30:08 +00:00
|
|
|
if (((net_addr_roa4 *) $$)->max_pxlen < ($$)->pxlen)
|
|
|
|
cf_error("Maximum prefix length %d must be >= prefix length %d", ((net_addr_roa4 *) $$)->max_pxlen, ($$)->pxlen);
|
2016-01-20 13:55:37 +00:00
|
|
|
};
|
|
|
|
|
|
|
|
net_roa6_: net_ip6_ MAX NUM AS NUM
|
|
|
|
{
|
2016-01-21 09:24:50 +00:00
|
|
|
$$ = cfg_alloc(sizeof(net_addr_roa6));
|
|
|
|
net_fill_roa6($$, ((net_addr_ip6 *)&$1)->prefix, $1.pxlen, $3, $5);
|
2016-01-20 13:55:37 +00:00
|
|
|
if ($3 < 0 || $3 > IP6_MAX_PREFIX_LENGTH)
|
|
|
|
cf_error("Invalid max prefix length %d", $3);
|
2016-01-21 09:30:08 +00:00
|
|
|
if (((net_addr_roa6 *) $$)->max_pxlen < ($$)->pxlen)
|
|
|
|
cf_error("Maximum prefix length %d must be >= prefix length %d", ((net_addr_roa6 *) $$)->max_pxlen, ($$)->pxlen);
|
2016-01-20 13:55:37 +00:00
|
|
|
};
|
|
|
|
|
2015-12-24 14:52:03 +00:00
|
|
|
net_ip_: net_ip4_ | net_ip6_ ;
|
2016-01-20 13:55:37 +00:00
|
|
|
net_roa_: net_roa4_ | net_roa6_ ;
|
|
|
|
|
2016-01-21 09:24:50 +00:00
|
|
|
net_:
|
|
|
|
net_ip_ { $$ = cfg_alloc($1.length); net_copy($$, &($1)); }
|
|
|
|
| net_roa_
|
|
|
|
;
|
2015-11-12 01:03:59 +00:00
|
|
|
|
|
|
|
|
2015-12-24 14:52:03 +00:00
|
|
|
/* Networks - regular */
|
|
|
|
|
|
|
|
net_ip6:
|
|
|
|
net_ip6_
|
|
|
|
| SYM {
|
|
|
|
if (($1->class != (SYM_CONSTANT | T_NET)) || (SYM_VAL($1).net->type != NET_IP6))
|
|
|
|
cf_error("IPv6 network expected");
|
|
|
|
$$ = * SYM_VAL($1).net;
|
2015-12-11 14:35:37 +00:00
|
|
|
}
|
2015-12-24 14:52:03 +00:00
|
|
|
;
|
|
|
|
|
|
|
|
net_ip:
|
|
|
|
net_ip_
|
|
|
|
| SYM {
|
|
|
|
if (($1->class != (SYM_CONSTANT | T_NET)) || !net_is_ip(SYM_VAL($1).net))
|
|
|
|
cf_error("IP network expected");
|
|
|
|
$$ = * SYM_VAL($1).net;
|
2000-05-13 11:17:49 +00:00
|
|
|
}
|
|
|
|
;
|
|
|
|
|
2015-12-24 14:52:03 +00:00
|
|
|
net_any:
|
|
|
|
net_
|
|
|
|
| SYM {
|
|
|
|
if ($1->class != (SYM_CONSTANT | T_NET))
|
|
|
|
cf_error("Network expected");
|
|
|
|
$$ = (net_addr *) SYM_VAL($1).net; /* Avoid const warning */
|
|
|
|
}
|
|
|
|
;
|
|
|
|
|
|
|
|
net_or_ipa:
|
|
|
|
net_ip4_
|
|
|
|
| net_ip6_
|
|
|
|
| IP4 { net_fill_ip4(&($$), $1, IP4_MAX_PREFIX_LENGTH); }
|
|
|
|
| IP6 { net_fill_ip6(&($$), $1, IP6_MAX_PREFIX_LENGTH); }
|
|
|
|
| SYM {
|
|
|
|
if ($1->class == (SYM_CONSTANT | T_IP))
|
|
|
|
net_fill_ip_host(&($$), SYM_VAL($1).ip);
|
|
|
|
else if (($1->class == (SYM_CONSTANT | T_NET)) && net_is_ip(SYM_VAL($1).net))
|
|
|
|
$$ = * SYM_VAL($1).net;
|
|
|
|
else
|
|
|
|
cf_error("IP address or network expected");
|
1998-12-06 23:10:45 +00:00
|
|
|
}
|
|
|
|
;
|
|
|
|
|
2015-12-24 14:52:03 +00:00
|
|
|
|
2000-03-04 21:27:57 +00:00
|
|
|
datetime:
|
2000-03-01 11:42:13 +00:00
|
|
|
TEXT {
|
2005-02-12 22:27:55 +00:00
|
|
|
$$ = tm_parse_datetime($1);
|
2000-03-01 11:42:13 +00:00
|
|
|
if (!$$)
|
2005-02-12 22:27:55 +00:00
|
|
|
cf_error("Invalid date and time");
|
2000-03-01 11:42:13 +00:00
|
|
|
}
|
1999-05-26 14:24:32 +00:00
|
|
|
;
|
|
|
|
|
2014-05-29 21:05:03 +00:00
|
|
|
text:
|
|
|
|
TEXT
|
|
|
|
| SYM {
|
|
|
|
if ($1->class != (SYM_CONSTANT | T_STRING)) cf_error("String expected");
|
|
|
|
$$ = SYM_VAL($1).s;
|
|
|
|
}
|
|
|
|
;
|
|
|
|
|
2015-11-05 11:48:52 +00:00
|
|
|
opttext:
|
|
|
|
TEXT
|
|
|
|
| /* empty */ { $$ = NULL; }
|
|
|
|
;
|
|
|
|
|
|
|
|
|
1998-11-27 19:36:06 +00:00
|
|
|
CF_CODE
|
|
|
|
|
|
|
|
CF_END
|