bird/conf/confbase.Y

329 lines
6.5 KiB
Text
Raw Normal View History

1998-11-28 03:36:06 +08:00
/*
* BIRD -- Configuration Parser Top
*
* (c) 1998--2000 Martin Mares <mj@ucw.cz>
1998-11-28 03:36:06 +08:00
*
* Can be freely distributed and used under the terms of the GNU GPL.
*/
CF_HDR
#define PARSER 1
1998-11-28 03:36:06 +08:00
#include "nest/bird.h"
#include "conf/conf.h"
#include "lib/resource.h"
#include "lib/socket.h"
#include "sysdep/unix/timer.h"
#include "lib/string.h"
#include "nest/protocol.h"
#include "nest/iface.h"
#include "nest/route.h"
#include "nest/cli.h"
#include "filter/filter.h"
1998-11-28 03:36:06 +08:00
/* FIXME: Turn on YYERROR_VERBOSE and work around lots of bison bugs? */
CF_DEFINES
static void
check_u16(unsigned val)
{
if (val > 0xFFFF)
cf_error("Value %d out of range (0-65535)", val);
}
1998-11-28 03:36:06 +08:00
CF_DECLS
%union {
int i;
u32 i32;
u64 i64;
1998-11-28 03:36:06 +08:00
ip_addr a;
ip4_addr ip4;
ip6_addr ip6;
2015-12-24 22:52:03 +08:00
net_addr net;
net_addr *net_ptr;
1998-11-28 03:36:06 +08:00
struct symbol *s;
char *t;
struct rtable_config *r;
struct channel_config *cc;
struct f_inst *x;
struct filter *f;
struct f_tree *e;
struct f_trie *trie;
struct f_val v;
struct f_path_mask *h;
1999-05-26 22:24:32 +08:00
struct password_item *p;
struct rt_show_data *ra;
struct sym_show_data *sd;
struct lsadb_show_data *ld;
struct iface *iface;
void *g;
bird_clock_t time;
struct f_prefix px;
struct proto_spec ps;
struct channel_limit cl;
2010-02-03 07:19:24 +08:00
struct timeformat *tf;
mpls_label_stack *mls;
1998-11-28 03:36:06 +08:00
}
%token END CLI_MARKER INVALID_TOKEN ELSECOL DDOT
2000-06-01 16:43:29 +08:00
%token GEQ LEQ NEQ AND OR
2009-03-14 19:43:10 +08:00
%token PO PC
1999-11-15 19:35:41 +08:00
%token <i> NUM ENUM
%token <ip4> IP4
%token <ip6> IP6
%token <i64> VPN_RD
1998-11-28 03:36:06 +08:00
%token <s> SYM
%token <t> TEXT
%type <iface> ipa_scope
1998-11-28 03:36:06 +08:00
2015-12-24 22:52:03 +08:00
%type <i> expr bool pxlen4
%type <i32> expr_us
%type <time> datetime
2015-12-24 22:52:03 +08:00
%type <a> ipa
%type <net> net_ip4_ net_ip6_ net_ip6 net_ip_ net_ip net_or_ipa
%type <net_ptr> net_ net_any net_vpn4_ net_vpn6_ net_vpn_ net_roa4_ net_roa6_ net_roa_
%type <mls> label_stack_start label_stack
%type <t> text opttext
2000-05-16 22:24:33 +08:00
%nonassoc PREFIX_DUMMY
2010-01-28 06:45:36 +08:00
%left AND OR
2016-09-20 21:13:01 +08:00
%nonassoc '=' '<' '>' '~' GEQ LEQ NEQ NMA PO PC
2010-01-28 06:45:36 +08:00
%left '+' '-'
%left '*' '/' '%'
%left '!'
%nonassoc '.'
CF_KEYWORDS(DEFINE, ON, OFF, YES, NO, S, MS, US, PORT, VPN)
1998-11-28 03:36:06 +08:00
CF_GRAMMAR
/* Basic config file structure */
config: conf_entries END { return 0; }
1999-11-17 20:00:21 +08:00
| CLI_MARKER cli_cmd { return 0; }
1998-11-28 03:36:06 +08:00
;
conf_entries:
/* EMPTY */
| conf_entries conf
1998-11-28 03:36:06 +08:00
;
CF_ADDTO(conf, ';')
1998-11-28 03:36:06 +08:00
/* Constant expressions */
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);
}
;
expr:
NUM
| '(' term ')' { $$ = f_eval_int($2); }
| SYM {
if ($1->class != (SYM_CONSTANT | T_INT)) cf_error("Number expected");
$$ = SYM_VAL($1).i; }
;
expr_us:
expr S { $$ = (u32) $1 * 1000000; }
| expr MS { $$ = (u32) $1 * 1000; }
| expr US { $$ = (u32) $1 * 1; }
;
/* Switches */
bool:
2016-11-09 00:46:29 +08:00
expr { $$ = !!$1; }
| ON { $$ = 1; }
| YES { $$ = 1; }
| OFF { $$ = 0; }
| NO { $$ = 0; }
| /* Silence means agreement */ { $$ = 1; }
;
2015-12-24 22:52:03 +08:00
/* Addresses */
ipa:
2015-12-24 22:52:03 +08:00
IP4 { $$ = ipa_from_ip4($1); }
| IP6 { $$ = ipa_from_ip6($1); }
| SYM {
if ($1->class != (SYM_CONSTANT | T_IP)) cf_error("IP address expected");
$$ = SYM_VAL($1).ip;
}
;
ipa_scope:
/* empty */ { $$ = NULL; }
| '%' SYM { $$ = if_get_by_name($2->name); }
;
2015-12-24 22:52:03 +08:00
/* Networks - internal */
2015-12-24 22:52:03 +08:00
pxlen4:
'/' NUM {
if ($2 < 0 || $2 > IP4_MAX_PREFIX_LENGTH) cf_error("Invalid prefix length %d", $2);
$$ = $2;
}
| ':' IP4 {
$$ = ip4_masklen($2);
if ($$ == 255) cf_error("Invalid netmask %I4", $2);
2015-12-24 22:52:03 +08:00
}
;
2015-12-24 22:52:03 +08:00
net_ip4_: IP4 pxlen4
{
net_fill_ip4(&($$), $1, $2);
if (!net_validate_ip4((net_addr_ip4 *) &($$)))
cf_error("Invalid IPv4 prefix");
};
2015-12-24 22:52:03 +08: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");
};
net_vpn4_: VPN_RD net_ip4_
{
$$ = cfg_alloc(sizeof(net_addr_vpn4));
2017-02-20 09:26:45 +08:00
net_fill_vpn4($$, net4_prefix(&$2), net4_pxlen(&$2), $1);
}
net_vpn6_: VPN_RD net_ip6_
{
$$ = cfg_alloc(sizeof(net_addr_vpn6));
2017-02-20 09:26:45 +08:00
net_fill_vpn6($$, net6_prefix(&$2), net6_pxlen(&$2), $1);
}
net_roa4_: net_ip4_ MAX NUM AS NUM
{
$$ = cfg_alloc(sizeof(net_addr_roa4));
2016-05-12 22:04:47 +08:00
net_fill_roa4($$, net4_prefix(&$1), net4_pxlen(&$1), $3, $5);
2016-11-09 02:27:58 +08:00
if ($3 < (int) net4_pxlen(&$1) || $3 > IP4_MAX_PREFIX_LENGTH)
cf_error("Invalid max prefix length %d", $3);
};
net_roa6_: net_ip6_ MAX NUM AS NUM
{
$$ = cfg_alloc(sizeof(net_addr_roa6));
2016-05-12 22:04:47 +08:00
net_fill_roa6($$, net6_prefix(&$1), net6_pxlen(&$1), $3, $5);
2016-11-09 02:27:58 +08:00
if ($3 < (int) net6_pxlen(&$1) || $3 > IP6_MAX_PREFIX_LENGTH)
cf_error("Invalid max prefix length %d", $3);
};
2015-12-24 22:52:03 +08:00
net_ip_: net_ip4_ | net_ip6_ ;
net_vpn_: net_vpn4_ | net_vpn6_ ;
2017-02-20 09:26:45 +08:00
net_roa_: net_roa4_ | net_roa6_ ;
net_:
net_ip_ { $$ = cfg_alloc($1.length); net_copy($$, &($1)); }
| net_vpn_
| net_roa_
| net_flow_
;
2015-12-24 22:52:03 +08: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-24 22:52:03 +08: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;
}
;
2015-12-24 22:52:03 +08: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");
}
;
label_stack_start: NUM
{
$$ = cfg_allocz(sizeof(mpls_label_stack));
$$->len = 1;
$$->stack[0] = $1;
};
label_stack:
label_stack_start
| label_stack '/' NUM {
if ($1->len >= MPLS_MAX_LABEL_STACK)
2017-02-20 09:26:45 +08:00
cf_error("Too many labels in stack");
$1->stack[$1->len++] = $3;
$$ = $1;
}
;
2015-12-24 22:52:03 +08:00
2000-03-05 05:27:57 +08:00
datetime:
TEXT {
2005-02-13 06:27:55 +08:00
$$ = tm_parse_datetime($1);
if (!$$)
2005-02-13 06:27:55 +08:00
cf_error("Invalid date and time");
}
1999-05-26 22:24:32 +08:00
;
text:
TEXT
| SYM {
if ($1->class != (SYM_CONSTANT | T_STRING)) cf_error("String expected");
$$ = SYM_VAL($1).s;
}
;
opttext:
TEXT
| /* empty */ { $$ = NULL; }
;
1998-11-28 03:36:06 +08:00
CF_CODE
CF_END