0
0
mirror of https://gitlab.nic.cz/labs/bird.git synced 2024-12-22 09:41:54 +00:00

Multiple items in area {} :-)

This commit is contained in:
Ondrej Filip 2000-06-03 08:42:04 +00:00
parent 89d6782dd1
commit a789d814dd

View File

@ -40,7 +40,7 @@ ospf_proto:
ospf_proto_start proto_name '{' ospf_proto_start proto_name '{'
| ospf_proto proto_item ';' | ospf_proto proto_item ';'
| ospf_proto RFC1583COMPAT bool ';' { OSPF_CFG->rfc1583 = $3; } | ospf_proto RFC1583COMPAT bool ';' { OSPF_CFG->rfc1583 = $3; }
| ospf_proto ospf_area '}' | ospf_proto ospf_area
; ;
ospf_area_start: AREA idval '{' { ospf_area_start: AREA idval '{' {
@ -54,9 +54,15 @@ ospf_area_start: AREA idval '{' {
; ;
ospf_area: ospf_area_start ospf_area: ospf_area_start
| ospf_area_start ospf_area_item | ospf_area_start ospf_area_list
; ;
ospf_area_list: /*EMPTY*/ | ospf_area_opts '}'
;
ospf_area_opts:
| ospf_area_opts ospf_area_item
ospf_area_item: ospf_area_item:
| STUB bool ';' { this_area->stub = $2 ; } | STUB bool ';' { this_area->stub = $2 ; }
| TICK NUM ';' { this_area->tick = $2 ; } | TICK NUM ';' { this_area->tick = $2 ; }