1 /* $NetBSD: parse.c,v 1.10 2008/07/15 21:27:58 dyoung Exp $ */ 2 3 /*- 4 * Copyright (c) 2008 David Young. All rights reserved. 5 * 6 * Redistribution and use in source and binary forms, with or without 7 * modification, are permitted provided that the following conditions 8 * are met: 9 * 1. Redistributions of source code must retain the above copyright 10 * notice, this list of conditions and the following disclaimer. 11 * 2. Redistributions in binary form must reproduce the above copyright 12 * notice, this list of conditions and the following disclaimer in the 13 * documentation and/or other materials provided with the distribution. 14 * 15 * THIS SOFTWARE IS PROVIDED BY THE AUTHOR AND CONTRIBUTORS ``AS IS'' AND 16 * ANY EXPRESS OR IMPLIED WARRANTIES, INCLUDING, BUT NOT LIMITED TO, THE 17 * IMPLIED WARRANTIES OF MERCHANTABILITY AND FITNESS FOR A PARTICULAR PURPOSE 18 * ARE DISCLAIMED. IN NO EVENT SHALL THE AUTHOR OR CONTRIBUTORS BE LIABLE 19 * FOR ANY DIRECT, INDIRECT, INCIDENTAL, SPECIAL, EXEMPLARY, OR CONSEQUENTIAL 20 * DAMAGES (INCLUDING, BUT NOT LIMITED TO, PROCUREMENT OF SUBSTITUTE GOODS 21 * OR SERVICES; LOSS OF USE, DATA, OR PROFITS; OR BUSINESS INTERRUPTION) 22 * HOWEVER CAUSED AND ON ANY THEORY OF LIABILITY, WHETHER IN CONTRACT, STRICT 23 * LIABILITY, OR TORT (INCLUDING NEGLIGENCE OR OTHERWISE) ARISING IN ANY WAY 24 * OUT OF THE USE OF THIS SOFTWARE, EVEN IF ADVISED OF THE POSSIBILITY OF 25 * SUCH DAMAGE. 26 */ 27 28 #include <sys/cdefs.h> 29 #ifndef lint 30 __RCSID("$NetBSD: parse.c,v 1.10 2008/07/15 21:27:58 dyoung Exp $"); 31 #endif /* not lint */ 32 33 #include <err.h> 34 #include <errno.h> 35 #include <limits.h> 36 #include <netdb.h> 37 #include <stddef.h> 38 #include <stdio.h> 39 #include <stdlib.h> 40 #include <string.h> 41 42 #include <arpa/inet.h> 43 #include <sys/param.h> 44 #include <net/if.h> 45 #include <net/if_dl.h> 46 #include <netatalk/at.h> 47 #include <netiso/iso.h> 48 49 #include "env.h" 50 #include "parse.h" 51 #include "util.h" 52 53 #define dbg_warnx(__fmt, ...) /* empty */ 54 55 static int parser_default_init(struct parser *); 56 static int pbranch_init(struct parser *); 57 static int pkw_init(struct parser *); 58 59 static int pterm_match(const struct parser *, const struct match *, 60 struct match *, int, const char *); 61 62 static int paddr_match(const struct parser *, const struct match *, 63 struct match *, int, const char *); 64 65 static int pbranch_match(const struct parser *, const struct match *, 66 struct match *, int, const char *); 67 68 static int piface_match(const struct parser *, const struct match *, 69 struct match *, int, const char *); 70 71 static int pstr_match(const struct parser *, const struct match *, 72 struct match *, int, const char *); 73 74 static int pinteger_match(const struct parser *, const struct match *, 75 struct match *, int, const char *); 76 77 static int pkw_match(const struct parser *, const struct match *, 78 struct match *, int, const char *); 79 80 const struct parser_methods pterm_methods = { 81 .pm_match = pterm_match 82 , .pm_init = NULL 83 }; 84 85 const struct parser_methods pstr_methods = { 86 .pm_match = pstr_match 87 , .pm_init = parser_default_init 88 }; 89 90 const struct parser_methods pinteger_methods = { 91 .pm_match = pinteger_match 92 , .pm_init = parser_default_init 93 }; 94 95 const struct parser_methods paddr_methods = { 96 .pm_match = paddr_match 97 , .pm_init = parser_default_init 98 }; 99 100 const struct parser_methods piface_methods = { 101 .pm_match = piface_match 102 , .pm_init = parser_default_init 103 }; 104 105 const struct parser_methods pbranch_methods = { 106 .pm_match = pbranch_match 107 , .pm_init = pbranch_init 108 }; 109 110 const struct parser_methods pkw_methods = { 111 .pm_match = pkw_match 112 , .pm_init = pkw_init 113 }; 114 115 static int 116 match_setenv(const struct match *im, struct match *om, const char *key, 117 prop_object_t o) 118 { 119 if (im == NULL) 120 om->m_env = prop_dictionary_create(); 121 else 122 om->m_env = prop_dictionary_copy(im->m_env); 123 124 if (om->m_env == NULL) 125 goto delobj; 126 127 if (key != NULL && !prop_dictionary_set(om->m_env, key, o)) 128 goto deldict; 129 130 if (o != NULL) 131 prop_object_release((prop_object_t)o); 132 133 return 0; 134 deldict: 135 prop_object_release((prop_object_t)om->m_env); 136 om->m_env = NULL; 137 delobj: 138 prop_object_release((prop_object_t)o); 139 errno = ENOMEM; 140 return -1; 141 } 142 143 int 144 pstr_match(const struct parser *p, const struct match *im, struct match *om, 145 int argidx, const char *arg) 146 { 147 prop_object_t o; 148 const struct pstr *ps = (const struct pstr *)p; 149 uint8_t buf[128]; 150 int len; 151 152 if (arg == NULL) { 153 errno = EINVAL; 154 return -1; 155 } 156 157 len = (int)sizeof(buf); 158 if (get_string(arg, NULL, buf, &len) == NULL) { 159 errno = EINVAL; 160 return -1; 161 } 162 163 o = (prop_object_t)prop_data_create_data(buf, len); 164 165 if (o == NULL) { 166 errno = ENOMEM; 167 return -1; 168 } 169 170 if (match_setenv(im, om, ps->ps_key, o) == -1) 171 return -1; 172 173 om->m_argidx = argidx; 174 om->m_parser = p; 175 om->m_nextparser = p->p_nextparser; 176 177 return 0; 178 } 179 180 int 181 pinteger_match(const struct parser *p, const struct match *im, struct match *om, 182 int argidx, const char *arg) 183 { 184 prop_object_t o; 185 const struct pinteger *pi = (const struct pinteger *)p; 186 char *end; 187 int64_t val; 188 189 if (arg == NULL) { 190 errno = EINVAL; 191 return -1; 192 } 193 194 val = strtoimax(arg, &end, pi->pi_base); 195 if ((val == INTMAX_MIN || val == INTMAX_MAX) && errno == ERANGE) 196 return -1; 197 198 if (*end != '\0') { 199 errno = EINVAL; 200 return -1; 201 } 202 203 if (val < pi->pi_min || val > pi->pi_max) { 204 errno = ERANGE; 205 return -1; 206 } 207 208 o = (prop_object_t)prop_number_create_integer(val); 209 210 if (o == NULL) { 211 errno = ENOMEM; 212 return -1; 213 } 214 215 if (match_setenv(im, om, pi->pi_key, o) == -1) 216 return -1; 217 218 om->m_argidx = argidx; 219 om->m_parser = p; 220 om->m_nextparser = p->p_nextparser; 221 222 return 0; 223 } 224 225 static int 226 parse_linkaddr(const char *addr, struct sockaddr_storage *ss) 227 { 228 static const size_t maxlen = 229 sizeof(*ss) - offsetof(struct sockaddr_dl, sdl_data[0]); 230 enum { 231 LLADDR_S_INITIAL = 0, 232 LLADDR_S_ONE_OCTET = 1, 233 LLADDR_S_TWO_OCTETS = 2, 234 LLADDR_S_COLON = 3 235 } state = LLADDR_S_INITIAL; 236 uint8_t octet = 0, val; 237 struct sockaddr_dl *sdl; 238 const char *p; 239 int i; 240 241 memset(ss, 0, sizeof(*ss)); 242 ss->ss_family = AF_LINK; 243 sdl = (struct sockaddr_dl *)ss; 244 245 for (i = 0, p = addr; i < maxlen; p++) { 246 dbg_warnx("%s.%d: *p == %c, state %d", __func__, __LINE__, *p, 247 state); 248 if (*p == '\0') { 249 dbg_warnx("%s.%d", __func__, __LINE__); 250 if (state != LLADDR_S_ONE_OCTET && 251 state != LLADDR_S_TWO_OCTETS) 252 return -1; 253 dbg_warnx("%s.%d", __func__, __LINE__); 254 sdl->sdl_data[i++] = octet; 255 sdl->sdl_len = 256 offsetof(struct sockaddr_dl, sdl_data[i]); 257 sdl->sdl_alen = i; 258 return 0; 259 } 260 if (*p == ':') { 261 dbg_warnx("%s.%d", __func__, __LINE__); 262 if (state != LLADDR_S_ONE_OCTET && 263 state != LLADDR_S_TWO_OCTETS) 264 return -1; 265 dbg_warnx("%s.%d", __func__, __LINE__); 266 sdl->sdl_data[i++] = octet; 267 state = LLADDR_S_COLON; 268 continue; 269 } 270 if ('a' <= *p && *p <= 'f') 271 val = 10 + *p - 'a'; 272 else if ('A' <= *p && *p <= 'F') 273 val = 10 + *p - 'A'; 274 else if ('0' <= *p && *p <= '9') 275 val = *p - '0'; 276 else 277 return -1; 278 279 dbg_warnx("%s.%d", __func__, __LINE__); 280 if (state == LLADDR_S_ONE_OCTET) { 281 state = LLADDR_S_TWO_OCTETS; 282 octet <<= 4; 283 octet |= val; 284 } else if (state != LLADDR_S_INITIAL && state != LLADDR_S_COLON) 285 return -1; 286 else { 287 state = LLADDR_S_ONE_OCTET; 288 octet = val; 289 } 290 dbg_warnx("%s.%d", __func__, __LINE__); 291 } 292 return -1; 293 } 294 295 static int 296 paddr_match(const struct parser *p, const struct match *im, struct match *om, 297 int argidx, const char *arg0) 298 { 299 unsigned int net, node; 300 int nread; 301 union { 302 struct sockaddr sa; 303 struct sockaddr_at sat; 304 struct sockaddr_iso siso; 305 struct sockaddr_in sin; 306 struct sockaddr_storage ss; 307 } u; 308 const struct paddr *pa = (const struct paddr *)p; 309 prop_data_t d; 310 prop_object_t o; 311 int64_t af0; 312 int af, rc; 313 struct paddr_prefix *pfx, *mask; 314 const struct sockaddr *sa = NULL; 315 struct addrinfo hints, *result = NULL; 316 char *arg, *end, *plen = NULL, *servname0; 317 const char *servname; 318 long prefixlen = -1; 319 size_t len; 320 321 if (arg0 == NULL) { 322 errno = EINVAL; 323 return -1; 324 } 325 326 if (pa->pa_activator != NULL && 327 prop_dictionary_get(im->m_env, pa->pa_activator) == NULL) 328 return -1; 329 330 if (pa->pa_deactivator != NULL && 331 prop_dictionary_get(im->m_env, pa->pa_deactivator) != NULL) 332 return -1; 333 334 if (!prop_dictionary_get_int64(im->m_env, "af", &af0)) 335 af = AF_UNSPEC; 336 else 337 af = af0; 338 339 switch (af) { 340 case AF_UNSPEC: 341 case AF_INET: 342 case AF_INET6: 343 if ((arg = strdup(arg0)) == NULL) 344 return -1; 345 346 servname0 = arg; 347 (void)strsep(&servname0, ","); 348 servname = (servname0 == NULL) ? "0" : servname0; 349 350 if (pa->pa_maskkey == NULL) 351 ; 352 else if ((plen = strrchr(arg, '/')) != NULL) 353 *plen++ = '\0'; 354 355 memset(&u, 0, sizeof(u)); 356 357 memset(&hints, 0, sizeof(hints)); 358 359 hints.ai_flags = AI_NUMERICHOST | AI_PASSIVE; 360 hints.ai_family = af; 361 hints.ai_socktype = SOCK_DGRAM; 362 363 for (;;) { 364 rc = getaddrinfo(arg, servname, &hints, &result); 365 if (rc == 0) { 366 if (result->ai_next == NULL) 367 sa = result->ai_addr; 368 else 369 errno = EMLINK; 370 break; 371 } else if ((hints.ai_flags & AI_NUMERICHOST) != 0 && 372 (af == AF_INET || af == AF_UNSPEC) && 373 inet_aton(arg, &u.sin.sin_addr) == 1) { 374 u.sin.sin_family = AF_INET; 375 u.sin.sin_len = sizeof(u.sin); 376 sa = &u.sa; 377 break; 378 } else if ((hints.ai_flags & AI_NUMERICHOST) == 0 || 379 rc != EAI_NONAME) { 380 errno = ENOENT; 381 break; 382 } 383 hints.ai_flags &= ~AI_NUMERICHOST; 384 } 385 386 387 if (plen == NULL) 388 prefixlen = -1; 389 else { 390 prefixlen = strtol(plen, &end, 10); 391 if (end != NULL && *end != '\0') 392 sa = NULL; 393 if (prefixlen < 0 || prefixlen >= UINT8_MAX) { 394 errno = ERANGE; 395 sa = NULL; 396 } 397 } 398 399 free(arg); 400 if (sa != NULL || af != AF_UNSPEC) 401 break; 402 /*FALLTHROUGH*/ 403 case AF_APPLETALK: 404 if (sscanf(arg0, "%u.%u%n", &net, &node, &nread) == 2 && 405 net != 0 && net <= 0xffff && node != 0 && node <= 0xfe && 406 arg0[nread] == '\0') { 407 u.sat.sat_family = AF_APPLETALK; 408 u.sat.sat_len = sizeof(u.sat); 409 u.sat.sat_addr.s_net = htons(net); 410 u.sat.sat_addr.s_node = node; 411 sa = &u.sa; 412 } 413 break; 414 case AF_ISO: 415 u.siso.siso_len = sizeof(u.siso); 416 u.siso.siso_family = AF_ISO; 417 /* XXX iso_addr(3) matches ANYTHING! */ 418 u.siso.siso_addr = *iso_addr(arg0); 419 sa = &u.sa; 420 break; 421 case AF_LINK: 422 if (parse_linkaddr(arg0, &u.ss) == -1) 423 sa = NULL; 424 else 425 sa = &u.sa; 426 break; 427 } 428 429 if (sa == NULL) 430 return -1; 431 432 len = offsetof(struct paddr_prefix, pfx_addr) + sa->sa_len; 433 434 if ((pfx = malloc(len)) == NULL) 435 return -1; 436 437 #if 0 438 { 439 int i; 440 441 for (i = 0; i < sa->sa_len; i++) 442 printf(" %02x", ((const uint8_t *)sa)[i]); 443 printf("\n"); 444 } 445 #endif 446 447 pfx->pfx_len = (int16_t)prefixlen; 448 memcpy(&pfx->pfx_addr, sa, sa->sa_len); 449 af = sa->sa_family; 450 451 if (result != NULL) 452 freeaddrinfo(result); 453 454 o = (prop_object_t)prop_data_create_data(pfx, len); 455 456 free(pfx); 457 458 if (o == NULL) 459 return -1; 460 461 if (match_setenv(im, om, pa->pa_addrkey, o) == -1) 462 return -1; 463 464 if (pa->pa_maskkey != NULL && plen != NULL) { 465 size_t masklen; 466 467 if ((mask = prefixlen_to_mask(af, prefixlen)) == NULL) { 468 err(EXIT_FAILURE, "%s: prefixlen_to_mask(%d, %ld)", 469 __func__, af, prefixlen); 470 return -1; 471 } 472 473 masklen = offsetof(struct paddr_prefix, pfx_addr) + 474 mask->pfx_addr.sa_len; 475 476 d = prop_data_create_data(mask, masklen); 477 free(mask); 478 479 if (d == NULL) { 480 err(EXIT_FAILURE, "%s: prop_data_create_data", 481 __func__); 482 return -1; 483 } 484 485 rc = prop_dictionary_set(om->m_env, pa->pa_maskkey, 486 (prop_object_t)d) ? 0 : -1; 487 488 prop_object_release((prop_object_t)d); 489 490 if (rc != 0) { 491 err(EXIT_FAILURE, "%s: prop_dictionary_set", __func__); 492 return rc; 493 } 494 } 495 496 om->m_argidx = argidx; 497 om->m_parser = p; 498 om->m_nextparser = p->p_nextparser; 499 return 0; 500 } 501 502 static int 503 pterm_match(const struct parser *p, const struct match *im, 504 struct match *om, int argidx, const char *arg) 505 { 506 const struct pterm *pt = (const struct pterm *)p; 507 prop_bool_t b; 508 509 if (arg != NULL) { 510 errno = EINVAL; 511 return -1; 512 } 513 b = prop_bool_create(true); 514 515 if (match_setenv(im, om, pt->pt_key, (prop_object_t)b) == -1) 516 return -1; 517 518 om->m_argidx = argidx; 519 om->m_parser = p; 520 om->m_nextparser = NULL; 521 return 0; 522 } 523 524 static int 525 piface_match(const struct parser *p, const struct match *im, 526 struct match *om, int argidx, const char *arg) 527 { 528 const struct piface *pif = (const struct piface *)p; 529 prop_object_t o; 530 531 if (arg == NULL || strlen(arg) > IFNAMSIZ) { 532 errno = EINVAL; 533 return -1; 534 } 535 536 if ((o = (prop_object_t)prop_string_create_cstring(arg)) == NULL) { 537 errno = ENOMEM; 538 return -1; 539 } 540 541 if (match_setenv(im, om, pif->pif_key, o) == -1) 542 return -1; 543 544 om->m_argidx = argidx; 545 om->m_parser = p; 546 om->m_nextparser = p->p_nextparser; 547 return 0; 548 } 549 550 static void 551 match_cleanup(struct match *dst) 552 { 553 if (dst->m_env != NULL) 554 prop_object_release((prop_object_t)dst->m_env); 555 memset(dst, 0, sizeof(*dst)); 556 } 557 558 static void 559 match_copy(struct match *dst, const struct match *src) 560 { 561 match_cleanup(dst); 562 563 prop_object_retain((prop_object_t)src->m_env); 564 *dst = *src; 565 } 566 567 static int 568 pbranch_match(const struct parser *p, const struct match *im, 569 struct match *om, int argidx, const char *arg) 570 { 571 const struct parser *nextp; 572 struct branch *b; 573 const struct pbranch *pb = (const struct pbranch *)p; 574 struct match tmpm; 575 int nforbid = 0, nmatch = 0, rc; 576 parser_match_t matchfunc; 577 578 memset(&tmpm, 0, sizeof(tmpm)); 579 580 SIMPLEQ_FOREACH(b, &pb->pb_branches, b_next) { 581 dbg_warnx("%s: b->b_nextparser %p", __func__, 582 (const void *)b->b_nextparser); 583 nextp = b->b_nextparser; 584 if (nextp == NULL) { 585 if (arg == NULL) { 586 nmatch++; 587 match_setenv(im, om, NULL, NULL); 588 om->m_nextparser = NULL; 589 om->m_parser = p; 590 om->m_argidx = argidx; 591 } 592 continue; 593 } 594 matchfunc = nextp->p_methods->pm_match; 595 rc = (*matchfunc)(nextp, im, &tmpm, argidx, arg); 596 if (rc == 0) { 597 match_copy(om, &tmpm); 598 match_cleanup(&tmpm); 599 nmatch++; 600 dbg_warnx("%s: branch %s ok", __func__, nextp->p_name); 601 if (pb->pb_match_first) 602 break; 603 } else if (rc == 1) { 604 nforbid++; 605 if (pb->pb_match_first) 606 break; 607 } else { 608 dbg_warnx("%s: fail branch %s", __func__, 609 nextp->p_name); 610 } 611 } 612 switch (nmatch) { 613 case 0: 614 errno = ENOENT; 615 return (nforbid == 0) ? -1 : 1; 616 case 1: 617 dbg_warnx("%s: branch ok", __func__); 618 return 0; 619 default: 620 match_cleanup(om); 621 errno = EMLINK; 622 return -1; 623 } 624 } 625 626 static int 627 pkw_match(const struct parser *p, const struct match *im, 628 struct match *om, int argidx, const char *arg) 629 { 630 prop_object_t o = NULL; 631 struct kwinst *k; 632 union kwval *u = NULL; 633 const struct pkw *pk = (const struct pkw *)p; 634 635 if (arg == NULL) { 636 errno = EINVAL; 637 return -1; 638 } 639 640 SIMPLEQ_FOREACH(k, &pk->pk_keywords, k_next) { 641 if (k->k_act != NULL && 642 prop_dictionary_get(im->m_env, k->k_act) == NULL) 643 continue; 644 645 if (k->k_neg && arg[0] == '-' && 646 strcmp(k->k_word, arg + 1) == 0) 647 u = &k->k_negu; 648 else if (strcmp(k->k_word, arg) == 0) 649 u = &k->k_u; 650 else 651 continue; 652 653 if (k->k_altdeact != NULL && 654 prop_dictionary_get(im->m_env, k->k_altdeact) != NULL) 655 return 1; 656 657 if (k->k_deact != NULL && 658 prop_dictionary_get(im->m_env, k->k_deact) != NULL) 659 return 1; 660 break; 661 } 662 if (k == NULL) { 663 errno = ENOENT; 664 return -1; 665 } 666 switch (k->k_type) { 667 case KW_T_NONE: 668 break; 669 case KW_T_BOOL: 670 o = (prop_object_t)prop_bool_create(u->u_bool); 671 if (o == NULL) 672 goto err; 673 break; 674 case KW_T_INT: 675 o = (prop_object_t)prop_number_create_integer(u->u_sint); 676 if (o == NULL) 677 goto err; 678 break; 679 case KW_T_UINT: 680 o = (prop_object_t)prop_number_create_unsigned_integer( 681 u->u_uint); 682 if (o == NULL) 683 goto err; 684 break; 685 case KW_T_OBJ: 686 o = u->u_obj; 687 break; 688 case KW_T_STR: 689 o = (prop_object_t)prop_data_create_data_nocopy(u->u_str, 690 strlen(u->u_str)); 691 if (o == NULL) 692 goto err; 693 break; 694 default: 695 errx(EXIT_FAILURE, "unknown keyword type %d", k->k_type); 696 } 697 698 if (match_setenv(im, om, (o == NULL) ? NULL : k->k_key, o) == -1) 699 return -1; 700 701 om->m_argidx = argidx; 702 om->m_parser = p; 703 om->m_nextparser = k->k_nextparser; 704 om->m_exec = k->k_exec; 705 return 0; 706 err: 707 errno = ENOMEM; 708 return -1; 709 } 710 711 struct paddr * 712 paddr_create(const char *name, parser_exec_t pexec, const char *addrkey, 713 const char *maskkey, struct parser *next) 714 { 715 struct paddr *pa; 716 717 if ((pa = calloc(sizeof(*pa), 1)) == NULL) 718 return NULL; 719 720 pa->pa_parser.p_methods = &paddr_methods; 721 pa->pa_parser.p_exec = pexec; 722 pa->pa_parser.p_name = name; 723 pa->pa_parser.p_nextparser = next; 724 725 pa->pa_addrkey = addrkey; 726 pa->pa_maskkey = maskkey; 727 728 return pa; 729 } 730 731 struct piface * 732 piface_create(const char *name, parser_exec_t pexec, const char *defkey, 733 struct parser *defnext) 734 { 735 struct piface *pif; 736 737 if ((pif = calloc(sizeof(*pif), 1)) == NULL) 738 return NULL; 739 740 pif->pif_parser.p_methods = &piface_methods; 741 pif->pif_parser.p_exec = pexec; 742 pif->pif_parser.p_name = name; 743 pif->pif_parser.p_nextparser = defnext; 744 745 pif->pif_key = defkey; 746 747 return pif; 748 } 749 750 int 751 pbranch_addbranch(struct pbranch *pb, struct parser *p) 752 { 753 struct branch *b; 754 755 if ((b = malloc(sizeof(*b))) == NULL) 756 return -1; 757 b->b_nextparser = p; 758 SIMPLEQ_INSERT_HEAD(&pb->pb_branches, b, b_next); 759 pb->pb_parser.p_initialized = false; 760 return parser_init(&pb->pb_parser); 761 } 762 763 int 764 pbranch_setbranches(struct pbranch *pb, const struct branch *brs, size_t nbr) 765 { 766 struct branch *b; 767 int i; 768 769 dbg_warnx("%s: nbr %zu", __func__, nbr); 770 771 while ((b = SIMPLEQ_FIRST(&pb->pb_branches)) != NULL) { 772 SIMPLEQ_REMOVE_HEAD(&pb->pb_branches, b_next); 773 free(b); 774 } 775 776 for (i = 0; i < nbr; i++) { 777 if ((b = malloc(sizeof(*b))) == NULL) 778 goto err; 779 *b = brs[i]; 780 dbg_warnx("%s: b->b_nextparser %p", __func__, 781 (const void *)b->b_nextparser); 782 SIMPLEQ_INSERT_TAIL(&pb->pb_branches, b, b_next); 783 } 784 785 return 0; 786 err: 787 while ((b = SIMPLEQ_FIRST(&pb->pb_branches)) != NULL) { 788 SIMPLEQ_REMOVE_HEAD(&pb->pb_branches, b_next); 789 free(b); 790 } 791 return -1; 792 } 793 794 static int 795 pbranch_init(struct parser *p) 796 { 797 struct branch *b; 798 struct pbranch *pb = (struct pbranch *)p; 799 struct parser *np; 800 801 if (pb->pb_nbrinit == 0) 802 ; 803 else if (pbranch_setbranches(pb, pb->pb_brinit, pb->pb_nbrinit) == -1) 804 return -1; 805 806 pb->pb_nbrinit = 0; 807 808 SIMPLEQ_FOREACH(b, &pb->pb_branches, b_next) { 809 np = b->b_nextparser; 810 if (np != NULL && parser_init(np) == -1) 811 return -1; 812 } 813 return 0; 814 } 815 816 struct pbranch * 817 pbranch_create(const char *name, const struct branch *brs, size_t nbr, 818 bool match_first) 819 { 820 struct pbranch *pb; 821 822 dbg_warnx("%s: nbr %zu", __func__, nbr); 823 824 if ((pb = calloc(1, sizeof(*pb))) == NULL) 825 return NULL; 826 827 pb->pb_parser.p_methods = &pbranch_methods; 828 pb->pb_parser.p_name = name; 829 830 SIMPLEQ_INIT(&pb->pb_branches); 831 832 if (pbranch_setbranches(pb, brs, nbr) == -1) 833 goto post_pb_err; 834 835 pb->pb_match_first = match_first; 836 return pb; 837 post_pb_err: 838 free(pb); 839 return NULL; 840 } 841 842 static int 843 parser_default_init(struct parser *p) 844 { 845 struct parser *np; 846 847 np = p->p_nextparser; 848 if (np != NULL && parser_init(np) == -1) 849 return -1; 850 851 return 0; 852 } 853 854 static int 855 pkw_setwords(struct pkw *pk, parser_exec_t defexec, const char *defkey, 856 const struct kwinst *kws, size_t nkw, struct parser *defnext) 857 { 858 struct kwinst *k; 859 int i; 860 861 for (i = 0; i < nkw; i++) { 862 if (kws[i].k_word == NULL) 863 continue; 864 if ((k = malloc(sizeof(*k))) == NULL) 865 goto post_pk_err; 866 *k = kws[i]; 867 if (k->k_nextparser == NULL) 868 k->k_nextparser = defnext; 869 if (k->k_key == NULL) 870 k->k_key = defkey; 871 if (k->k_exec == NULL) 872 k->k_exec = defexec; 873 SIMPLEQ_INSERT_TAIL(&pk->pk_keywords, k, k_next); 874 } 875 return 0; 876 877 post_pk_err: 878 while ((k = SIMPLEQ_FIRST(&pk->pk_keywords)) != NULL) { 879 SIMPLEQ_REMOVE_HEAD(&pk->pk_keywords, k_next); 880 free(k); 881 } 882 return -1; 883 } 884 885 static int 886 pkw_init(struct parser *p) 887 { 888 struct kwinst *k; 889 struct pkw *pk = (struct pkw *)p; 890 struct parser *np; 891 892 if (pk->pk_nkwinit == 0) 893 ; 894 else if (pkw_setwords(pk, pk->pk_execinit, pk->pk_keyinit, 895 pk->pk_kwinit, pk->pk_nkwinit, pk->pk_nextinit) == -1) 896 return -1; 897 898 pk->pk_nkwinit = 0; 899 900 SIMPLEQ_FOREACH(k, &pk->pk_keywords, k_next) { 901 np = k->k_nextparser; 902 if (np != NULL && parser_init(np) == -1) 903 return -1; 904 } 905 return 0; 906 } 907 908 struct pkw * 909 pkw_create(const char *name, parser_exec_t defexec, const char *defkey, 910 const struct kwinst *kws, size_t nkw, struct parser *defnext) 911 { 912 struct pkw *pk; 913 914 if ((pk = calloc(1, sizeof(*pk))) == NULL) 915 return NULL; 916 917 pk->pk_parser.p_methods = &pkw_methods; 918 pk->pk_parser.p_exec = defexec; 919 pk->pk_parser.p_name = name; 920 921 SIMPLEQ_INIT(&pk->pk_keywords); 922 923 if (pkw_setwords(pk, defexec, defkey, kws, nkw, defnext) == -1) 924 goto err; 925 926 return pk; 927 err: 928 free(pk); 929 return NULL; 930 } 931 932 int 933 parse(int argc, char **argv, const struct parser *p0, struct match *matches, 934 size_t *nmatch, int *narg) 935 { 936 int i, rc = 0; 937 struct match *lastm = NULL, *m = matches; 938 const struct parser *p = p0; 939 940 for (i = 0; i < argc && p != NULL; i++) { 941 if (m - matches >= *nmatch) { 942 errno = EFBIG; 943 rc = -1; 944 break; 945 } 946 rc = (*p->p_methods->pm_match)(p, lastm, m, i, argv[i]); 947 if (rc != 0) 948 goto out; 949 p = m->m_nextparser; 950 lastm = m++; 951 } 952 for (; m - matches < *nmatch && p != NULL; ) { 953 rc = (*p->p_methods->pm_match)(p, lastm, m, i, NULL); 954 if (rc != 0) 955 break; 956 p = m->m_nextparser; 957 lastm = m++; 958 } 959 out: 960 *nmatch = m - matches; 961 *narg = i; 962 return rc; 963 } 964 965 int 966 matches_exec(const struct match *matches, prop_dictionary_t oenv, size_t nmatch) 967 { 968 int i, rc = 0; 969 const struct match *m; 970 parser_exec_t pexec; 971 prop_dictionary_t d; 972 973 for (i = 0; i < nmatch; i++) { 974 m = &matches[i]; 975 dbg_warnx("%s.%d: i %d", __func__, __LINE__, i); 976 pexec = (m->m_parser->p_exec != NULL) 977 ? m->m_parser->p_exec : m->m_exec; 978 if (pexec == NULL) 979 continue; 980 dbg_warnx("%s.%d: m->m_parser->p_name %s", __func__, __LINE__, 981 m->m_parser->p_name); 982 d = prop_dictionary_augment(m->m_env, oenv); 983 rc = (*pexec)(d, oenv); 984 prop_object_release((prop_object_t)d); 985 if (rc == -1) 986 break; 987 } 988 return rc; 989 } 990 991 int 992 parser_init(struct parser *p) 993 { 994 if (p->p_initialized) 995 return 0; 996 p->p_initialized = true; 997 if (p->p_methods->pm_init == NULL) 998 return 0; 999 return (*p->p_methods->pm_init)(p); 1000 } 1001