2 * Copyright (C) 2004-2006 Internet Systems Consortium, Inc. ("ISC")
3 * Copyright (C) 2000-2003 Internet Software Consortium.
5 * Permission to use, copy, modify, and distribute this software for any
6 * purpose with or without fee is hereby granted, provided that the above
7 * copyright notice and this permission notice appear in all copies.
9 * THE SOFTWARE IS PROVIDED "AS IS" AND ISC DISCLAIMS ALL WARRANTIES WITH
10 * REGARD TO THIS SOFTWARE INCLUDING ALL IMPLIED WARRANTIES OF MERCHANTABILITY
11 * AND FITNESS. IN NO EVENT SHALL ISC BE LIABLE FOR ANY SPECIAL, DIRECT,
12 * INDIRECT, OR CONSEQUENTIAL DAMAGES OR ANY DAMAGES WHATSOEVER RESULTING FROM
13 * LOSS OF USE, DATA OR PROFITS, WHETHER IN AN ACTION OF CONTRACT, NEGLIGENCE
14 * OR OTHER TORTIOUS ACTION, ARISING OUT OF OR IN CONNECTION WITH THE USE OR
15 * PERFORMANCE OF THIS SOFTWARE.
18 /* $Id: parser.c,v 1.112.18.11 2006/02/28 03:10:49 marka Exp $ */
24 #include <isc/buffer.h>
26 #include <isc/formatcheck.h>
31 #include <isc/netaddr.h>
32 #include <isc/print.h>
33 #include <isc/string.h>
34 #include <isc/sockaddr.h>
35 #include <isc/netscope.h>
37 #include <isc/symtab.h>
39 #include <isccfg/cfg.h>
40 #include <isccfg/grammar.h>
41 #include <isccfg/log.h>
44 #define CAT CFG_LOGCATEGORY_CONFIG
45 #define MOD CFG_LOGMODULE_PARSER
47 #define MAP_SYM 1 /* Unique type for isc_symtab */
49 #define TOKEN_STRING(pctx) (pctx->token.value.as_textregion.base)
51 /* Check a return value. */
54 if (result != ISC_R_SUCCESS) goto cleanup; \
57 /* Clean up a configuration object if non-NULL. */
58 #define CLEANUP_OBJ(obj) \
59 do { if ((obj) != NULL) cfg_obj_destroy(pctx, &(obj)); } while (0)
63 * Forward declarations of static functions.
67 free_tuple(cfg_parser_t *pctx, cfg_obj_t *obj);
70 parse_list(cfg_parser_t *pctx, const cfg_type_t *type, cfg_obj_t **ret);
73 print_list(cfg_printer_t *pctx, const cfg_obj_t *obj);
76 free_list(cfg_parser_t *pctx, cfg_obj_t *obj);
79 create_listelt(cfg_parser_t *pctx, cfg_listelt_t **eltp);
82 create_string(cfg_parser_t *pctx, const char *contents, const cfg_type_t *type,
86 free_string(cfg_parser_t *pctx, cfg_obj_t *obj);
89 create_map(cfg_parser_t *pctx, const cfg_type_t *type, cfg_obj_t **objp);
92 free_map(cfg_parser_t *pctx, cfg_obj_t *obj);
95 parse_symtab_elt(cfg_parser_t *pctx, const char *name,
96 cfg_type_t *elttype, isc_symtab_t *symtab,
97 isc_boolean_t callback);
100 free_noop(cfg_parser_t *pctx, cfg_obj_t *obj);
103 cfg_getstringtoken(cfg_parser_t *pctx);
106 parser_complain(cfg_parser_t *pctx, isc_boolean_t is_warning,
107 unsigned int flags, const char *format, va_list args);
110 * Data representations. These correspond to members of the
111 * "value" union in struct cfg_obj (except "void", which does
112 * not need a union member).
115 cfg_rep_t cfg_rep_uint32 = { "uint32", free_noop };
116 cfg_rep_t cfg_rep_uint64 = { "uint64", free_noop };
117 cfg_rep_t cfg_rep_string = { "string", free_string };
118 cfg_rep_t cfg_rep_boolean = { "boolean", free_noop };
119 cfg_rep_t cfg_rep_map = { "map", free_map };
120 cfg_rep_t cfg_rep_list = { "list", free_list };
121 cfg_rep_t cfg_rep_tuple = { "tuple", free_tuple };
122 cfg_rep_t cfg_rep_sockaddr = { "sockaddr", free_noop };
123 cfg_rep_t cfg_rep_netprefix = { "netprefix", free_noop };
124 cfg_rep_t cfg_rep_void = { "void", free_noop };
127 * Configuration type definitions.
131 * An implicit list. These are formed by clauses that occur multiple times.
133 static cfg_type_t cfg_type_implicitlist = {
134 "implicitlist", NULL, print_list, NULL, &cfg_rep_list, NULL };
139 cfg_print_obj(cfg_printer_t *pctx, const cfg_obj_t *obj) {
140 obj->type->print(pctx, obj);
144 cfg_print_chars(cfg_printer_t *pctx, const char *text, int len) {
145 pctx->f(pctx->closure, text, len);
149 print_open(cfg_printer_t *pctx) {
150 cfg_print_chars(pctx, "{\n", 2);
155 print_indent(cfg_printer_t *pctx) {
156 int indent = pctx->indent;
158 cfg_print_chars(pctx, "\t", 1);
164 print_close(cfg_printer_t *pctx) {
167 cfg_print_chars(pctx, "}", 1);
171 cfg_parse_obj(cfg_parser_t *pctx, const cfg_type_t *type, cfg_obj_t **ret) {
173 INSIST(ret != NULL && *ret == NULL);
174 result = type->parse(pctx, type, ret);
175 if (result != ISC_R_SUCCESS)
177 INSIST(*ret != NULL);
178 return (ISC_R_SUCCESS);
182 cfg_print(const cfg_obj_t *obj,
183 void (*f)(void *closure, const char *text, int textlen),
188 pctx.closure = closure;
190 obj->type->print(&pctx, obj);
197 cfg_create_tuple(cfg_parser_t *pctx, const cfg_type_t *type, cfg_obj_t **ret) {
199 const cfg_tuplefielddef_t *fields = type->of;
200 const cfg_tuplefielddef_t *f;
201 cfg_obj_t *obj = NULL;
202 unsigned int nfields = 0;
205 for (f = fields; f->name != NULL; f++)
208 CHECK(cfg_create_obj(pctx, type, &obj));
209 obj->value.tuple = isc_mem_get(pctx->mctx,
210 nfields * sizeof(cfg_obj_t *));
211 if (obj->value.tuple == NULL) {
212 result = ISC_R_NOMEMORY;
215 for (f = fields, i = 0; f->name != NULL; f++, i++)
216 obj->value.tuple[i] = NULL;
218 return (ISC_R_SUCCESS);
222 isc_mem_put(pctx->mctx, obj, sizeof(*obj));
227 cfg_parse_tuple(cfg_parser_t *pctx, const cfg_type_t *type, cfg_obj_t **ret)
230 const cfg_tuplefielddef_t *fields = type->of;
231 const cfg_tuplefielddef_t *f;
232 cfg_obj_t *obj = NULL;
235 CHECK(cfg_create_tuple(pctx, type, &obj));
236 for (f = fields, i = 0; f->name != NULL; f++, i++)
237 CHECK(cfg_parse_obj(pctx, f->type, &obj->value.tuple[i]));
240 return (ISC_R_SUCCESS);
248 cfg_print_tuple(cfg_printer_t *pctx, const cfg_obj_t *obj) {
250 const cfg_tuplefielddef_t *fields = obj->type->of;
251 const cfg_tuplefielddef_t *f;
252 isc_boolean_t need_space = ISC_FALSE;
254 for (f = fields, i = 0; f->name != NULL; f++, i++) {
255 const cfg_obj_t *fieldobj = obj->value.tuple[i];
257 cfg_print_chars(pctx, " ", 1);
258 cfg_print_obj(pctx, fieldobj);
259 need_space = ISC_TF(fieldobj->type->print != cfg_print_void);
264 cfg_doc_tuple(cfg_printer_t *pctx, const cfg_type_t *type) {
265 const cfg_tuplefielddef_t *fields = type->of;
266 const cfg_tuplefielddef_t *f;
267 isc_boolean_t need_space = ISC_FALSE;
269 for (f = fields; f->name != NULL; f++) {
271 cfg_print_chars(pctx, " ", 1);
272 cfg_doc_obj(pctx, f->type);
273 need_space = ISC_TF(f->type->print != cfg_print_void);
278 free_tuple(cfg_parser_t *pctx, cfg_obj_t *obj) {
280 const cfg_tuplefielddef_t *fields = obj->type->of;
281 const cfg_tuplefielddef_t *f;
282 unsigned int nfields = 0;
284 if (obj->value.tuple == NULL)
287 for (f = fields, i = 0; f->name != NULL; f++, i++) {
288 CLEANUP_OBJ(obj->value.tuple[i]);
291 isc_mem_put(pctx->mctx, obj->value.tuple,
292 nfields * sizeof(cfg_obj_t *));
296 cfg_obj_istuple(const cfg_obj_t *obj) {
297 REQUIRE(obj != NULL);
298 return (ISC_TF(obj->type->rep == &cfg_rep_tuple));
302 cfg_tuple_get(const cfg_obj_t *tupleobj, const char* name) {
304 const cfg_tuplefielddef_t *fields;
305 const cfg_tuplefielddef_t *f;
307 REQUIRE(tupleobj != NULL && tupleobj->type->rep == &cfg_rep_tuple);
309 fields = tupleobj->type->of;
310 for (f = fields, i = 0; f->name != NULL; f++, i++) {
311 if (strcmp(f->name, name) == 0)
312 return (tupleobj->value.tuple[i]);
319 cfg_parse_special(cfg_parser_t *pctx, int special) {
321 CHECK(cfg_gettoken(pctx, 0));
322 if (pctx->token.type == isc_tokentype_special &&
323 pctx->token.value.as_char == special)
324 return (ISC_R_SUCCESS);
326 cfg_parser_error(pctx, CFG_LOG_NEAR, "'%c' expected", special);
327 return (ISC_R_UNEXPECTEDTOKEN);
333 * Parse a required semicolon. If it is not there, log
334 * an error and increment the error count but continue
335 * parsing. Since the next token is pushed back,
336 * care must be taken to make sure it is eventually
337 * consumed or an infinite loop may result.
340 parse_semicolon(cfg_parser_t *pctx) {
342 CHECK(cfg_gettoken(pctx, 0));
343 if (pctx->token.type == isc_tokentype_special &&
344 pctx->token.value.as_char == ';')
345 return (ISC_R_SUCCESS);
347 cfg_parser_error(pctx, CFG_LOG_BEFORE, "missing ';'");
348 cfg_ungettoken(pctx);
354 * Parse EOF, logging and returning an error if not there.
357 parse_eof(cfg_parser_t *pctx) {
359 CHECK(cfg_gettoken(pctx, 0));
361 if (pctx->token.type == isc_tokentype_eof)
362 return (ISC_R_SUCCESS);
364 cfg_parser_error(pctx, CFG_LOG_NEAR, "syntax error");
365 return (ISC_R_UNEXPECTEDTOKEN);
370 /* A list of files, used internally for pctx->files. */
372 static cfg_type_t cfg_type_filelist = {
373 "filelist", NULL, print_list, NULL, &cfg_rep_list,
378 cfg_parser_create(isc_mem_t *mctx, isc_log_t *lctx, cfg_parser_t **ret) {
381 isc_lexspecials_t specials;
383 REQUIRE(mctx != NULL);
384 REQUIRE(ret != NULL && *ret == NULL);
386 pctx = isc_mem_get(mctx, sizeof(*pctx));
388 return (ISC_R_NOMEMORY);
393 pctx->seen_eof = ISC_FALSE;
394 pctx->ungotten = ISC_FALSE;
397 pctx->open_files = NULL;
398 pctx->closed_files = NULL;
400 pctx->callback = NULL;
401 pctx->callbackarg = NULL;
402 pctx->token.type = isc_tokentype_unknown;
404 memset(specials, 0, sizeof(specials));
412 CHECK(isc_lex_create(pctx->mctx, 1024, &pctx->lexer));
414 isc_lex_setspecials(pctx->lexer, specials);
415 isc_lex_setcomments(pctx->lexer, (ISC_LEXCOMMENT_C |
416 ISC_LEXCOMMENT_CPLUSPLUS |
417 ISC_LEXCOMMENT_SHELL));
419 CHECK(cfg_create_list(pctx, &cfg_type_filelist, &pctx->open_files));
420 CHECK(cfg_create_list(pctx, &cfg_type_filelist, &pctx->closed_files));
423 return (ISC_R_SUCCESS);
426 if (pctx->lexer != NULL)
427 isc_lex_destroy(&pctx->lexer);
428 CLEANUP_OBJ(pctx->open_files);
429 CLEANUP_OBJ(pctx->closed_files);
430 isc_mem_put(mctx, pctx, sizeof(*pctx));
435 parser_openfile(cfg_parser_t *pctx, const char *filename) {
437 cfg_listelt_t *elt = NULL;
438 cfg_obj_t *stringobj = NULL;
440 result = isc_lex_openfile(pctx->lexer, filename);
441 if (result != ISC_R_SUCCESS) {
442 cfg_parser_error(pctx, 0, "open: %s: %s",
443 filename, isc_result_totext(result));
447 CHECK(create_string(pctx, filename, &cfg_type_qstring, &stringobj));
448 CHECK(create_listelt(pctx, &elt));
449 elt->obj = stringobj;
450 ISC_LIST_APPEND(pctx->open_files->value.list, elt, link);
452 return (ISC_R_SUCCESS);
454 CLEANUP_OBJ(stringobj);
459 cfg_parser_setcallback(cfg_parser_t *pctx,
460 cfg_parsecallback_t callback,
463 pctx->callback = callback;
464 pctx->callbackarg = arg;
468 * Parse a configuration using a pctx where a lexer has already
469 * been set up with a source.
472 parse2(cfg_parser_t *pctx, const cfg_type_t *type, cfg_obj_t **ret) {
474 cfg_obj_t *obj = NULL;
476 result = cfg_parse_obj(pctx, type, &obj);
478 if (pctx->errors != 0) {
479 /* Errors have been logged. */
480 if (result == ISC_R_SUCCESS)
481 result = ISC_R_FAILURE;
485 if (result != ISC_R_SUCCESS) {
486 /* Parsing failed but no errors have been logged. */
487 cfg_parser_error(pctx, 0, "parsing failed");
491 CHECK(parse_eof(pctx));
494 return (ISC_R_SUCCESS);
502 cfg_parse_file(cfg_parser_t *pctx, const char *filename,
503 const cfg_type_t *type, cfg_obj_t **ret)
507 REQUIRE(filename != NULL);
509 CHECK(parser_openfile(pctx, filename));
510 CHECK(parse2(pctx, type, ret));
517 cfg_parse_buffer(cfg_parser_t *pctx, isc_buffer_t *buffer,
518 const cfg_type_t *type, cfg_obj_t **ret)
521 REQUIRE(buffer != NULL);
522 CHECK(isc_lex_openbuffer(pctx->lexer, buffer));
523 CHECK(parse2(pctx, type, ret));
529 cfg_parser_destroy(cfg_parser_t **pctxp) {
530 cfg_parser_t *pctx = *pctxp;
531 isc_lex_destroy(&pctx->lexer);
533 * Cleaning up open_files does not
534 * close the files; that was already done
535 * by closing the lexer.
537 CLEANUP_OBJ(pctx->open_files);
538 CLEANUP_OBJ(pctx->closed_files);
539 isc_mem_put(pctx->mctx, pctx, sizeof(*pctx));
547 cfg_parse_void(cfg_parser_t *pctx, const cfg_type_t *type, cfg_obj_t **ret) {
549 return (cfg_create_obj(pctx, &cfg_type_void, ret));
553 cfg_print_void(cfg_printer_t *pctx, const cfg_obj_t *obj) {
559 cfg_doc_void(cfg_printer_t *pctx, const cfg_type_t *type) {
565 cfg_obj_isvoid(const cfg_obj_t *obj) {
566 REQUIRE(obj != NULL);
567 return (ISC_TF(obj->type->rep == &cfg_rep_void));
570 cfg_type_t cfg_type_void = {
571 "void", cfg_parse_void, cfg_print_void, cfg_doc_void, &cfg_rep_void,
579 cfg_parse_uint32(cfg_parser_t *pctx, const cfg_type_t *type, cfg_obj_t **ret) {
581 cfg_obj_t *obj = NULL;
584 CHECK(cfg_gettoken(pctx, ISC_LEXOPT_NUMBER | ISC_LEXOPT_CNUMBER));
585 if (pctx->token.type != isc_tokentype_number) {
586 cfg_parser_error(pctx, CFG_LOG_NEAR, "expected number");
587 return (ISC_R_UNEXPECTEDTOKEN);
590 CHECK(cfg_create_obj(pctx, &cfg_type_uint32, &obj));
592 obj->value.uint32 = pctx->token.value.as_ulong;
599 cfg_print_cstr(cfg_printer_t *pctx, const char *s) {
600 cfg_print_chars(pctx, s, strlen(s));
604 cfg_print_rawuint(cfg_printer_t *pctx, unsigned int u) {
606 snprintf(buf, sizeof(buf), "%u", u);
607 cfg_print_cstr(pctx, buf);
611 cfg_print_uint32(cfg_printer_t *pctx, const cfg_obj_t *obj) {
612 cfg_print_rawuint(pctx, obj->value.uint32);
616 cfg_obj_isuint32(const cfg_obj_t *obj) {
617 REQUIRE(obj != NULL);
618 return (ISC_TF(obj->type->rep == &cfg_rep_uint32));
622 cfg_obj_asuint32(const cfg_obj_t *obj) {
623 REQUIRE(obj != NULL && obj->type->rep == &cfg_rep_uint32);
624 return (obj->value.uint32);
627 cfg_type_t cfg_type_uint32 = {
628 "integer", cfg_parse_uint32, cfg_print_uint32, cfg_doc_terminal,
629 &cfg_rep_uint32, NULL
637 cfg_obj_isuint64(const cfg_obj_t *obj) {
638 REQUIRE(obj != NULL);
639 return (ISC_TF(obj->type->rep == &cfg_rep_uint64));
643 cfg_obj_asuint64(const cfg_obj_t *obj) {
644 REQUIRE(obj != NULL && obj->type->rep == &cfg_rep_uint64);
645 return (obj->value.uint64);
649 cfg_print_uint64(cfg_printer_t *pctx, const cfg_obj_t *obj) {
651 snprintf(buf, sizeof(buf), "%" ISC_PRINT_QUADFORMAT "u",
653 cfg_print_cstr(pctx, buf);
656 cfg_type_t cfg_type_uint64 = {
657 "64_bit_integer", NULL, cfg_print_uint64, cfg_doc_terminal,
658 &cfg_rep_uint64, NULL
662 * qstring (quoted string), ustring (unquoted string), astring
666 /* Create a string object from a null-terminated C string. */
668 create_string(cfg_parser_t *pctx, const char *contents, const cfg_type_t *type,
672 cfg_obj_t *obj = NULL;
675 CHECK(cfg_create_obj(pctx, type, &obj));
676 len = strlen(contents);
677 obj->value.string.length = len;
678 obj->value.string.base = isc_mem_get(pctx->mctx, len + 1);
679 if (obj->value.string.base == 0) {
680 isc_mem_put(pctx->mctx, obj, sizeof(*obj));
681 return (ISC_R_NOMEMORY);
683 memcpy(obj->value.string.base, contents, len);
684 obj->value.string.base[len] = '\0';
692 cfg_parse_qstring(cfg_parser_t *pctx, const cfg_type_t *type, cfg_obj_t **ret) {
696 CHECK(cfg_gettoken(pctx, CFG_LEXOPT_QSTRING));
697 if (pctx->token.type != isc_tokentype_qstring) {
698 cfg_parser_error(pctx, CFG_LOG_NEAR, "expected quoted string");
699 return (ISC_R_UNEXPECTEDTOKEN);
701 return (create_string(pctx,
710 parse_ustring(cfg_parser_t *pctx, const cfg_type_t *type, cfg_obj_t **ret) {
714 CHECK(cfg_gettoken(pctx, 0));
715 if (pctx->token.type != isc_tokentype_string) {
716 cfg_parser_error(pctx, CFG_LOG_NEAR, "expected unquoted string");
717 return (ISC_R_UNEXPECTEDTOKEN);
719 return (create_string(pctx,
728 cfg_parse_astring(cfg_parser_t *pctx, const cfg_type_t *type,
734 CHECK(cfg_getstringtoken(pctx));
735 return (create_string(pctx,
744 cfg_is_enum(const char *s, const char *const *enums) {
745 const char * const *p;
746 for (p = enums; *p != NULL; p++) {
747 if (strcasecmp(*p, s) == 0)
754 check_enum(cfg_parser_t *pctx, cfg_obj_t *obj, const char *const *enums) {
755 const char *s = obj->value.string.base;
756 if (cfg_is_enum(s, enums))
757 return (ISC_R_SUCCESS);
758 cfg_parser_error(pctx, 0, "'%s' unexpected", s);
759 return (ISC_R_UNEXPECTEDTOKEN);
763 cfg_parse_enum(cfg_parser_t *pctx, const cfg_type_t *type, cfg_obj_t **ret) {
765 cfg_obj_t *obj = NULL;
766 CHECK(parse_ustring(pctx, NULL, &obj));
767 CHECK(check_enum(pctx, obj, type->of));
769 return (ISC_R_SUCCESS);
776 cfg_doc_enum(cfg_printer_t *pctx, const cfg_type_t *type) {
777 const char * const *p;
778 cfg_print_chars(pctx, "( ", 2);
779 for (p = type->of; *p != NULL; p++) {
780 cfg_print_cstr(pctx, *p);
782 cfg_print_chars(pctx, " | ", 3);
784 cfg_print_chars(pctx, " )", 2);
788 cfg_print_ustring(cfg_printer_t *pctx, const cfg_obj_t *obj) {
789 cfg_print_chars(pctx, obj->value.string.base, obj->value.string.length);
793 print_qstring(cfg_printer_t *pctx, const cfg_obj_t *obj) {
794 cfg_print_chars(pctx, "\"", 1);
795 cfg_print_ustring(pctx, obj);
796 cfg_print_chars(pctx, "\"", 1);
800 free_string(cfg_parser_t *pctx, cfg_obj_t *obj) {
801 isc_mem_put(pctx->mctx, obj->value.string.base,
802 obj->value.string.length + 1);
806 cfg_obj_isstring(const cfg_obj_t *obj) {
807 REQUIRE(obj != NULL);
808 return (ISC_TF(obj->type->rep == &cfg_rep_string));
812 cfg_obj_asstring(const cfg_obj_t *obj) {
813 REQUIRE(obj != NULL && obj->type->rep == &cfg_rep_string);
814 return (obj->value.string.base);
817 /* Quoted string only */
818 cfg_type_t cfg_type_qstring = {
819 "quoted_string", cfg_parse_qstring, print_qstring, cfg_doc_terminal,
820 &cfg_rep_string, NULL
823 /* Unquoted string only */
824 cfg_type_t cfg_type_ustring = {
825 "string", parse_ustring, cfg_print_ustring, cfg_doc_terminal,
826 &cfg_rep_string, NULL
829 /* Any string (quoted or unquoted); printed with quotes */
830 cfg_type_t cfg_type_astring = {
831 "string", cfg_parse_astring, print_qstring, cfg_doc_terminal,
832 &cfg_rep_string, NULL
840 cfg_obj_isboolean(const cfg_obj_t *obj) {
841 REQUIRE(obj != NULL);
842 return (ISC_TF(obj->type->rep == &cfg_rep_boolean));
846 cfg_obj_asboolean(const cfg_obj_t *obj) {
847 REQUIRE(obj != NULL && obj->type->rep == &cfg_rep_boolean);
848 return (obj->value.boolean);
852 parse_boolean(cfg_parser_t *pctx, const cfg_type_t *type, cfg_obj_t **ret)
856 cfg_obj_t *obj = NULL;
859 result = cfg_gettoken(pctx, 0);
860 if (result != ISC_R_SUCCESS)
863 if (pctx->token.type != isc_tokentype_string)
866 if ((strcasecmp(TOKEN_STRING(pctx), "true") == 0) ||
867 (strcasecmp(TOKEN_STRING(pctx), "yes") == 0) ||
868 (strcmp(TOKEN_STRING(pctx), "1") == 0)) {
870 } else if ((strcasecmp(TOKEN_STRING(pctx), "false") == 0) ||
871 (strcasecmp(TOKEN_STRING(pctx), "no") == 0) ||
872 (strcmp(TOKEN_STRING(pctx), "0") == 0)) {
878 CHECK(cfg_create_obj(pctx, &cfg_type_boolean, &obj));
879 obj->value.boolean = value;
884 cfg_parser_error(pctx, CFG_LOG_NEAR, "boolean expected");
885 return (ISC_R_UNEXPECTEDTOKEN);
892 print_boolean(cfg_printer_t *pctx, const cfg_obj_t *obj) {
893 if (obj->value.boolean)
894 cfg_print_chars(pctx, "yes", 3);
896 cfg_print_chars(pctx, "no", 2);
899 cfg_type_t cfg_type_boolean = {
900 "boolean", parse_boolean, print_boolean, cfg_doc_terminal,
901 &cfg_rep_boolean, NULL
909 cfg_create_list(cfg_parser_t *pctx, const cfg_type_t *type, cfg_obj_t **obj) {
911 CHECK(cfg_create_obj(pctx, type, obj));
912 ISC_LIST_INIT((*obj)->value.list);
918 create_listelt(cfg_parser_t *pctx, cfg_listelt_t **eltp) {
920 elt = isc_mem_get(pctx->mctx, sizeof(*elt));
922 return (ISC_R_NOMEMORY);
924 ISC_LINK_INIT(elt, link);
926 return (ISC_R_SUCCESS);
930 free_list_elt(cfg_parser_t *pctx, cfg_listelt_t *elt) {
931 cfg_obj_destroy(pctx, &elt->obj);
932 isc_mem_put(pctx->mctx, elt, sizeof(*elt));
936 free_list(cfg_parser_t *pctx, cfg_obj_t *obj) {
937 cfg_listelt_t *elt, *next;
938 for (elt = ISC_LIST_HEAD(obj->value.list);
942 next = ISC_LIST_NEXT(elt, link);
943 free_list_elt(pctx, elt);
948 cfg_parse_listelt(cfg_parser_t *pctx, const cfg_type_t *elttype,
952 cfg_listelt_t *elt = NULL;
953 cfg_obj_t *value = NULL;
955 CHECK(create_listelt(pctx, &elt));
957 result = cfg_parse_obj(pctx, elttype, &value);
958 if (result != ISC_R_SUCCESS)
964 return (ISC_R_SUCCESS);
967 isc_mem_put(pctx->mctx, elt, sizeof(*elt));
972 * Parse a homogeneous list whose elements are of type 'elttype'
973 * and where each element is terminated by a semicolon.
976 parse_list(cfg_parser_t *pctx, const cfg_type_t *listtype, cfg_obj_t **ret)
978 cfg_obj_t *listobj = NULL;
979 const cfg_type_t *listof = listtype->of;
981 cfg_listelt_t *elt = NULL;
983 CHECK(cfg_create_list(pctx, listtype, &listobj));
986 CHECK(cfg_peektoken(pctx, 0));
987 if (pctx->token.type == isc_tokentype_special &&
988 pctx->token.value.as_char == /*{*/ '}')
990 CHECK(cfg_parse_listelt(pctx, listof, &elt));
991 CHECK(parse_semicolon(pctx));
992 ISC_LIST_APPEND(listobj->value.list, elt, link);
996 return (ISC_R_SUCCESS);
1000 free_list_elt(pctx, elt);
1001 CLEANUP_OBJ(listobj);
1006 print_list(cfg_printer_t *pctx, const cfg_obj_t *obj) {
1007 const cfg_list_t *list = &obj->value.list;
1008 const cfg_listelt_t *elt;
1010 for (elt = ISC_LIST_HEAD(*list);
1012 elt = ISC_LIST_NEXT(elt, link)) {
1014 cfg_print_obj(pctx, elt->obj);
1015 cfg_print_chars(pctx, ";\n", 2);
1020 cfg_parse_bracketed_list(cfg_parser_t *pctx, const cfg_type_t *type,
1023 isc_result_t result;
1024 CHECK(cfg_parse_special(pctx, '{'));
1025 CHECK(parse_list(pctx, type, ret));
1026 CHECK(cfg_parse_special(pctx, '}'));
1032 cfg_print_bracketed_list(cfg_printer_t *pctx, const cfg_obj_t *obj) {
1034 print_list(pctx, obj);
1039 cfg_doc_bracketed_list(cfg_printer_t *pctx, const cfg_type_t *type) {
1040 cfg_print_chars(pctx, "{ ", 2);
1041 cfg_doc_obj(pctx, type->of);
1042 cfg_print_chars(pctx, "; ... }", 7);
1046 * Parse a homogeneous list whose elements are of type 'elttype'
1047 * and where elements are separated by space. The list ends
1048 * before the first semicolon.
1051 cfg_parse_spacelist(cfg_parser_t *pctx, const cfg_type_t *listtype,
1054 cfg_obj_t *listobj = NULL;
1055 const cfg_type_t *listof = listtype->of;
1056 isc_result_t result;
1058 CHECK(cfg_create_list(pctx, listtype, &listobj));
1061 cfg_listelt_t *elt = NULL;
1063 CHECK(cfg_peektoken(pctx, 0));
1064 if (pctx->token.type == isc_tokentype_special &&
1065 pctx->token.value.as_char == ';')
1067 CHECK(cfg_parse_listelt(pctx, listof, &elt));
1068 ISC_LIST_APPEND(listobj->value.list, elt, link);
1071 return (ISC_R_SUCCESS);
1074 CLEANUP_OBJ(listobj);
1079 cfg_print_spacelist(cfg_printer_t *pctx, const cfg_obj_t *obj) {
1080 const cfg_list_t *list = &obj->value.list;
1081 const cfg_listelt_t *elt;
1083 for (elt = ISC_LIST_HEAD(*list);
1085 elt = ISC_LIST_NEXT(elt, link)) {
1086 cfg_print_obj(pctx, elt->obj);
1087 if (ISC_LIST_NEXT(elt, link) != NULL)
1088 cfg_print_chars(pctx, " ", 1);
1093 cfg_obj_islist(const cfg_obj_t *obj) {
1094 REQUIRE(obj != NULL);
1095 return (ISC_TF(obj->type->rep == &cfg_rep_list));
1098 const cfg_listelt_t *
1099 cfg_list_first(const cfg_obj_t *obj) {
1100 REQUIRE(obj == NULL || obj->type->rep == &cfg_rep_list);
1103 return (ISC_LIST_HEAD(obj->value.list));
1106 const cfg_listelt_t *
1107 cfg_list_next(const cfg_listelt_t *elt) {
1108 REQUIRE(elt != NULL);
1109 return (ISC_LIST_NEXT(elt, link));
1113 cfg_listelt_value(const cfg_listelt_t *elt) {
1114 REQUIRE(elt != NULL);
1123 * Parse a map body. That's something like
1125 * "foo 1; bar { glub; }; zap true; zap false;"
1127 * i.e., a sequence of option names followed by values and
1128 * terminated by semicolons. Used for the top level of
1129 * the named.conf syntax, as well as for the body of the
1130 * options, view, zone, and other statements.
1133 cfg_parse_mapbody(cfg_parser_t *pctx, const cfg_type_t *type, cfg_obj_t **ret)
1135 const cfg_clausedef_t * const *clausesets = type->of;
1136 isc_result_t result;
1137 const cfg_clausedef_t * const *clauseset;
1138 const cfg_clausedef_t *clause;
1139 cfg_obj_t *value = NULL;
1140 cfg_obj_t *obj = NULL;
1141 cfg_obj_t *eltobj = NULL;
1142 cfg_obj_t *includename = NULL;
1143 isc_symvalue_t symval;
1144 cfg_list_t *list = NULL;
1146 CHECK(create_map(pctx, type, &obj));
1148 obj->value.map.clausesets = clausesets;
1155 * Parse the option name and see if it is known.
1157 CHECK(cfg_gettoken(pctx, 0));
1159 if (pctx->token.type != isc_tokentype_string) {
1160 cfg_ungettoken(pctx);
1165 * We accept "include" statements wherever a map body
1168 if (strcasecmp(TOKEN_STRING(pctx), "include") == 0) {
1170 * Turn the file name into a temporary configuration
1171 * object just so that it is not overwritten by the
1174 CHECK(cfg_parse_obj(pctx, &cfg_type_qstring, &includename));
1175 CHECK(parse_semicolon(pctx));
1176 CHECK(parser_openfile(pctx, includename->
1177 value.string.base));
1178 cfg_obj_destroy(pctx, &includename);
1183 for (clauseset = clausesets; *clauseset != NULL; clauseset++) {
1184 for (clause = *clauseset;
1185 clause->name != NULL;
1187 if (strcasecmp(TOKEN_STRING(pctx),
1193 if (clause == NULL || clause->name == NULL) {
1194 cfg_parser_error(pctx, CFG_LOG_NOPREP, "unknown option");
1196 * Try to recover by parsing this option as an unknown
1197 * option and discarding it.
1199 CHECK(cfg_parse_obj(pctx, &cfg_type_unsupported, &eltobj));
1200 cfg_obj_destroy(pctx, &eltobj);
1201 CHECK(parse_semicolon(pctx));
1205 /* Clause is known. */
1207 /* Issue warnings if appropriate */
1208 if ((clause->flags & CFG_CLAUSEFLAG_OBSOLETE) != 0)
1209 cfg_parser_warning(pctx, 0, "option '%s' is obsolete",
1211 if ((clause->flags & CFG_CLAUSEFLAG_NOTIMP) != 0)
1212 cfg_parser_warning(pctx, 0, "option '%s' is "
1213 "not implemented", clause->name);
1214 if ((clause->flags & CFG_CLAUSEFLAG_NYI) != 0)
1215 cfg_parser_warning(pctx, 0, "option '%s' is "
1216 "not implemented", clause->name);
1218 * Don't log options with CFG_CLAUSEFLAG_NEWDEFAULT
1219 * set here - we need to log the *lack* of such an option,
1223 /* See if the clause already has a value; if not create one. */
1224 result = isc_symtab_lookup(obj->value.map.symtab,
1225 clause->name, 0, &symval);
1227 if ((clause->flags & CFG_CLAUSEFLAG_MULTI) != 0) {
1228 /* Multivalued clause */
1229 cfg_obj_t *listobj = NULL;
1230 if (result == ISC_R_NOTFOUND) {
1231 CHECK(cfg_create_list(pctx,
1232 &cfg_type_implicitlist,
1234 symval.as_pointer = listobj;
1235 result = isc_symtab_define(obj->value.
1239 isc_symexists_reject);
1240 if (result != ISC_R_SUCCESS) {
1241 cfg_parser_error(pctx, CFG_LOG_NEAR,
1242 "isc_symtab_define(%s) "
1243 "failed", clause->name);
1244 isc_mem_put(pctx->mctx, list,
1245 sizeof(cfg_list_t));
1249 INSIST(result == ISC_R_SUCCESS);
1250 listobj = symval.as_pointer;
1254 CHECK(cfg_parse_listelt(pctx, clause->type, &elt));
1255 CHECK(parse_semicolon(pctx));
1257 ISC_LIST_APPEND(listobj->value.list, elt, link);
1259 /* Single-valued clause */
1260 if (result == ISC_R_NOTFOUND) {
1261 isc_boolean_t callback =
1262 ISC_TF((clause->flags &
1263 CFG_CLAUSEFLAG_CALLBACK) != 0);
1264 CHECK(parse_symtab_elt(pctx, clause->name,
1266 obj->value.map.symtab,
1268 CHECK(parse_semicolon(pctx));
1269 } else if (result == ISC_R_SUCCESS) {
1270 cfg_parser_error(pctx, CFG_LOG_NEAR, "'%s' redefined",
1272 result = ISC_R_EXISTS;
1275 cfg_parser_error(pctx, CFG_LOG_NEAR,
1276 "isc_symtab_define() failed");
1284 return (ISC_R_SUCCESS);
1289 CLEANUP_OBJ(eltobj);
1290 CLEANUP_OBJ(includename);
1295 parse_symtab_elt(cfg_parser_t *pctx, const char *name,
1296 cfg_type_t *elttype, isc_symtab_t *symtab,
1297 isc_boolean_t callback)
1299 isc_result_t result;
1300 cfg_obj_t *obj = NULL;
1301 isc_symvalue_t symval;
1303 CHECK(cfg_parse_obj(pctx, elttype, &obj));
1305 if (callback && pctx->callback != NULL)
1306 CHECK(pctx->callback(name, obj, pctx->callbackarg));
1308 symval.as_pointer = obj;
1309 CHECK(isc_symtab_define(symtab, name,
1311 isc_symexists_reject));
1312 return (ISC_R_SUCCESS);
1320 * Parse a map; e.g., "{ foo 1; bar { glub; }; zap true; zap false; }"
1323 cfg_parse_map(cfg_parser_t *pctx, const cfg_type_t *type, cfg_obj_t **ret) {
1324 isc_result_t result;
1325 CHECK(cfg_parse_special(pctx, '{'));
1326 CHECK(cfg_parse_mapbody(pctx, type, ret));
1327 CHECK(cfg_parse_special(pctx, '}'));
1333 * Subroutine for cfg_parse_named_map() and cfg_parse_addressed_map().
1336 parse_any_named_map(cfg_parser_t *pctx, cfg_type_t *nametype, const cfg_type_t *type,
1339 isc_result_t result;
1340 cfg_obj_t *idobj = NULL;
1341 cfg_obj_t *mapobj = NULL;
1343 CHECK(cfg_parse_obj(pctx, nametype, &idobj));
1344 CHECK(cfg_parse_map(pctx, type, &mapobj));
1345 mapobj->value.map.id = idobj;
1354 * Parse a map identified by a string name. E.g., "name { foo 1; }".
1355 * Used for the "key" and "channel" statements.
1358 cfg_parse_named_map(cfg_parser_t *pctx, const cfg_type_t *type, cfg_obj_t **ret) {
1359 return (parse_any_named_map(pctx, &cfg_type_astring, type, ret));
1363 * Parse a map identified by a network address.
1364 * Used to be used for the "server" statement.
1367 cfg_parse_addressed_map(cfg_parser_t *pctx, const cfg_type_t *type, cfg_obj_t **ret) {
1368 return (parse_any_named_map(pctx, &cfg_type_netaddr, type, ret));
1372 * Parse a map identified by a network prefix.
1373 * Used for the "server" statement.
1376 cfg_parse_netprefix_map(cfg_parser_t *pctx, const cfg_type_t *type, cfg_obj_t **ret) {
1377 return (parse_any_named_map(pctx, &cfg_type_netprefix, type, ret));
1381 cfg_print_mapbody(cfg_printer_t *pctx, const cfg_obj_t *obj) {
1382 isc_result_t result = ISC_R_SUCCESS;
1384 const cfg_clausedef_t * const *clauseset;
1386 for (clauseset = obj->value.map.clausesets;
1390 isc_symvalue_t symval;
1391 const cfg_clausedef_t *clause;
1393 for (clause = *clauseset;
1394 clause->name != NULL;
1396 result = isc_symtab_lookup(obj->value.map.symtab,
1397 clause->name, 0, &symval);
1398 if (result == ISC_R_SUCCESS) {
1399 cfg_obj_t *obj = symval.as_pointer;
1400 if (obj->type == &cfg_type_implicitlist) {
1402 cfg_list_t *list = &obj->value.list;
1404 for (elt = ISC_LIST_HEAD(*list);
1406 elt = ISC_LIST_NEXT(elt, link)) {
1408 cfg_print_cstr(pctx, clause->name);
1409 cfg_print_chars(pctx, " ", 1);
1410 cfg_print_obj(pctx, elt->obj);
1411 cfg_print_chars(pctx, ";\n", 2);
1414 /* Single-valued. */
1416 cfg_print_cstr(pctx, clause->name);
1417 cfg_print_chars(pctx, " ", 1);
1418 cfg_print_obj(pctx, obj);
1419 cfg_print_chars(pctx, ";\n", 2);
1421 } else if (result == ISC_R_NOTFOUND) {
1431 cfg_doc_mapbody(cfg_printer_t *pctx, const cfg_type_t *type) {
1432 const cfg_clausedef_t * const *clauseset;
1433 const cfg_clausedef_t *clause;
1435 for (clauseset = type->of; *clauseset != NULL; clauseset++) {
1436 for (clause = *clauseset;
1437 clause->name != NULL;
1439 cfg_print_cstr(pctx, clause->name);
1440 cfg_print_chars(pctx, " ", 1);
1441 cfg_doc_obj(pctx, clause->type);
1442 cfg_print_chars(pctx, ";", 1);
1443 /* XXX print flags here? */
1444 cfg_print_chars(pctx, "\n\n", 2);
1449 static struct flagtext {
1453 { CFG_CLAUSEFLAG_NOTIMP, "not implemented" },
1454 { CFG_CLAUSEFLAG_NYI, "not yet implemented" },
1455 { CFG_CLAUSEFLAG_OBSOLETE, "obsolete" },
1456 { CFG_CLAUSEFLAG_NEWDEFAULT, "default changed" },
1461 cfg_print_map(cfg_printer_t *pctx, const cfg_obj_t *obj) {
1462 if (obj->value.map.id != NULL) {
1463 cfg_print_obj(pctx, obj->value.map.id);
1464 cfg_print_chars(pctx, " ", 1);
1467 cfg_print_mapbody(pctx, obj);
1472 print_clause_flags(cfg_printer_t *pctx, unsigned int flags) {
1474 isc_boolean_t first = ISC_TRUE;
1475 for (p = flagtexts; p->flag != 0; p++) {
1476 if ((flags & p->flag) != 0) {
1478 cfg_print_chars(pctx, " // ", 4);
1480 cfg_print_chars(pctx, ", ", 2);
1481 cfg_print_cstr(pctx, p->text);
1488 cfg_doc_map(cfg_printer_t *pctx, const cfg_type_t *type) {
1489 const cfg_clausedef_t * const *clauseset;
1490 const cfg_clausedef_t *clause;
1492 if (type->parse == cfg_parse_named_map) {
1493 cfg_doc_obj(pctx, &cfg_type_astring);
1494 cfg_print_chars(pctx, " ", 1);
1495 } else if (type->parse == cfg_parse_addressed_map) {
1496 cfg_doc_obj(pctx, &cfg_type_netaddr);
1497 cfg_print_chars(pctx, " ", 1);
1498 } else if (type->parse == cfg_parse_netprefix_map) {
1499 cfg_doc_obj(pctx, &cfg_type_netprefix);
1500 cfg_print_chars(pctx, " ", 1);
1505 for (clauseset = type->of; *clauseset != NULL; clauseset++) {
1506 for (clause = *clauseset;
1507 clause->name != NULL;
1510 cfg_print_cstr(pctx, clause->name);
1511 if (clause->type->print != cfg_print_void)
1512 cfg_print_chars(pctx, " ", 1);
1513 cfg_doc_obj(pctx, clause->type);
1514 cfg_print_chars(pctx, ";", 1);
1515 print_clause_flags(pctx, clause->flags);
1516 cfg_print_chars(pctx, "\n", 1);
1523 cfg_obj_ismap(const cfg_obj_t *obj) {
1524 REQUIRE(obj != NULL);
1525 return (ISC_TF(obj->type->rep == &cfg_rep_map));
1529 cfg_map_get(const cfg_obj_t *mapobj, const char* name, const cfg_obj_t **obj) {
1530 isc_result_t result;
1532 const cfg_map_t *map;
1534 REQUIRE(mapobj != NULL && mapobj->type->rep == &cfg_rep_map);
1535 REQUIRE(name != NULL);
1536 REQUIRE(obj != NULL && *obj == NULL);
1538 map = &mapobj->value.map;
1540 result = isc_symtab_lookup(map->symtab, name, MAP_SYM, &val);
1541 if (result != ISC_R_SUCCESS)
1543 *obj = val.as_pointer;
1544 return (ISC_R_SUCCESS);
1548 cfg_map_getname(const cfg_obj_t *mapobj) {
1549 REQUIRE(mapobj != NULL && mapobj->type->rep == &cfg_rep_map);
1550 return (mapobj->value.map.id);
1554 /* Parse an arbitrary token, storing its raw text representation. */
1556 parse_token(cfg_parser_t *pctx, const cfg_type_t *type, cfg_obj_t **ret) {
1557 cfg_obj_t *obj = NULL;
1558 isc_result_t result;
1563 CHECK(cfg_create_obj(pctx, &cfg_type_token, &obj));
1564 CHECK(cfg_gettoken(pctx, CFG_LEXOPT_QSTRING));
1565 if (pctx->token.type == isc_tokentype_eof) {
1566 cfg_ungettoken(pctx);
1571 isc_lex_getlasttokentext(pctx->lexer, &pctx->token, &r);
1573 obj->value.string.base = isc_mem_get(pctx->mctx, r.length + 1);
1574 if (obj->value.string.base == NULL) {
1575 result = ISC_R_NOMEMORY;
1578 obj->value.string.length = r.length;
1579 memcpy(obj->value.string.base, r.base, r.length);
1580 obj->value.string.base[r.length] = '\0';
1586 isc_mem_put(pctx->mctx, obj, sizeof(*obj));
1590 cfg_type_t cfg_type_token = {
1591 "token", parse_token, cfg_print_ustring, cfg_doc_terminal,
1592 &cfg_rep_string, NULL
1596 * An unsupported option. This is just a list of tokens with balanced braces
1597 * ending in a semicolon.
1601 parse_unsupported(cfg_parser_t *pctx, const cfg_type_t *type, cfg_obj_t **ret) {
1602 cfg_obj_t *listobj = NULL;
1603 isc_result_t result;
1606 CHECK(cfg_create_list(pctx, type, &listobj));
1609 cfg_listelt_t *elt = NULL;
1611 CHECK(cfg_peektoken(pctx, 0));
1612 if (pctx->token.type == isc_tokentype_special) {
1613 if (pctx->token.value.as_char == '{')
1615 else if (pctx->token.value.as_char == '}')
1617 else if (pctx->token.value.as_char == ';')
1621 if (pctx->token.type == isc_tokentype_eof || braces < 0) {
1622 cfg_parser_error(pctx, CFG_LOG_NEAR, "unexpected token");
1623 result = ISC_R_UNEXPECTEDTOKEN;
1627 CHECK(cfg_parse_listelt(pctx, &cfg_type_token, &elt));
1628 ISC_LIST_APPEND(listobj->value.list, elt, link);
1630 INSIST(braces == 0);
1632 return (ISC_R_SUCCESS);
1635 CLEANUP_OBJ(listobj);
1639 cfg_type_t cfg_type_unsupported = {
1640 "unsupported", parse_unsupported, cfg_print_spacelist, cfg_doc_terminal,
1645 * Try interpreting the current token as a network address.
1647 * If CFG_ADDR_WILDOK is set in flags, "*" can be used as a wildcard
1648 * and at least one of CFG_ADDR_V4OK and CFG_ADDR_V6OK must also be set. The
1649 * "*" is interpreted as the IPv4 wildcard address if CFG_ADDR_V4OK is
1650 * set (including the case where CFG_ADDR_V4OK and CFG_ADDR_V6OK are both set),
1651 * and the IPv6 wildcard address otherwise.
1654 token_addr(cfg_parser_t *pctx, unsigned int flags, isc_netaddr_t *na) {
1656 struct in_addr in4a;
1657 struct in6_addr in6a;
1659 if (pctx->token.type != isc_tokentype_string)
1660 return (ISC_R_UNEXPECTEDTOKEN);
1662 s = TOKEN_STRING(pctx);
1663 if ((flags & CFG_ADDR_WILDOK) != 0 && strcmp(s, "*") == 0) {
1664 if ((flags & CFG_ADDR_V4OK) != 0) {
1665 isc_netaddr_any(na);
1666 return (ISC_R_SUCCESS);
1667 } else if ((flags & CFG_ADDR_V6OK) != 0) {
1668 isc_netaddr_any6(na);
1669 return (ISC_R_SUCCESS);
1674 if ((flags & (CFG_ADDR_V4OK | CFG_ADDR_V4PREFIXOK)) != 0) {
1675 if (inet_pton(AF_INET, s, &in4a) == 1) {
1676 isc_netaddr_fromin(na, &in4a);
1677 return (ISC_R_SUCCESS);
1680 if ((flags & CFG_ADDR_V4PREFIXOK) != 0 &&
1686 for (i = 0; i < 3; i++) {
1688 if (inet_pton(AF_INET, buf, &in4a) == 1) {
1689 isc_netaddr_fromin(na, &in4a);
1690 return (ISC_R_SUCCESS);
1694 if ((flags & CFG_ADDR_V6OK) != 0 &&
1695 strlen(s) <= 127U) {
1696 char buf[128]; /* see lib/bind9/getaddresses.c */
1697 char *d; /* zone delimiter */
1698 isc_uint32_t zone = 0; /* scope zone ID */
1701 d = strchr(buf, '%');
1705 if (inet_pton(AF_INET6, buf, &in6a) == 1) {
1707 #ifdef ISC_PLATFORM_HAVESCOPEID
1708 isc_result_t result;
1710 result = isc_netscope_pton(AF_INET6,
1714 if (result != ISC_R_SUCCESS)
1717 return (ISC_R_BADADDRESSFORM);
1721 isc_netaddr_fromin6(na, &in6a);
1722 isc_netaddr_setzone(na, zone);
1723 return (ISC_R_SUCCESS);
1727 return (ISC_R_UNEXPECTEDTOKEN);
1731 cfg_parse_rawaddr(cfg_parser_t *pctx, unsigned int flags, isc_netaddr_t *na) {
1732 isc_result_t result;
1733 const char *wild = "";
1734 const char *prefix = "";
1736 CHECK(cfg_gettoken(pctx, 0));
1737 result = token_addr(pctx, flags, na);
1738 if (result == ISC_R_UNEXPECTEDTOKEN) {
1739 if ((flags & CFG_ADDR_WILDOK) != 0)
1741 if ((flags & CFG_ADDR_V4PREFIXOK) != 0)
1742 wild = " or IPv4 prefix";
1743 if ((flags & CFG_ADDR_MASK) == CFG_ADDR_V4OK)
1744 cfg_parser_error(pctx, CFG_LOG_NEAR,
1745 "expected IPv4 address%s%s",
1747 else if ((flags & CFG_ADDR_MASK) == CFG_ADDR_V6OK)
1748 cfg_parser_error(pctx, CFG_LOG_NEAR,
1749 "expected IPv6 address%s%s",
1752 cfg_parser_error(pctx, CFG_LOG_NEAR,
1753 "expected IP address%s%s",
1761 cfg_lookingat_netaddr(cfg_parser_t *pctx, unsigned int flags) {
1762 isc_result_t result;
1763 isc_netaddr_t na_dummy;
1764 result = token_addr(pctx, flags, &na_dummy);
1765 return (ISC_TF(result == ISC_R_SUCCESS));
1769 cfg_parse_rawport(cfg_parser_t *pctx, unsigned int flags, in_port_t *port) {
1770 isc_result_t result;
1772 CHECK(cfg_gettoken(pctx, ISC_LEXOPT_NUMBER));
1774 if ((flags & CFG_ADDR_WILDOK) != 0 &&
1775 pctx->token.type == isc_tokentype_string &&
1776 strcmp(TOKEN_STRING(pctx), "*") == 0) {
1778 return (ISC_R_SUCCESS);
1780 if (pctx->token.type != isc_tokentype_number) {
1781 cfg_parser_error(pctx, CFG_LOG_NEAR,
1782 "expected port number or '*'");
1783 return (ISC_R_UNEXPECTEDTOKEN);
1785 if (pctx->token.value.as_ulong >= 65536U) {
1786 cfg_parser_error(pctx, CFG_LOG_NEAR,
1787 "port number out of range");
1788 return (ISC_R_UNEXPECTEDTOKEN);
1790 *port = (in_port_t)(pctx->token.value.as_ulong);
1791 return (ISC_R_SUCCESS);
1797 cfg_print_rawaddr(cfg_printer_t *pctx, const isc_netaddr_t *na) {
1798 isc_result_t result;
1802 isc_buffer_init(&buf, text, sizeof(text));
1803 result = isc_netaddr_totext(na, &buf);
1804 RUNTIME_CHECK(result == ISC_R_SUCCESS);
1805 cfg_print_chars(pctx, isc_buffer_base(&buf), isc_buffer_usedlength(&buf));
1810 static unsigned int netaddr_flags = CFG_ADDR_V4OK | CFG_ADDR_V6OK;
1811 static unsigned int netaddr4_flags = CFG_ADDR_V4OK;
1812 static unsigned int netaddr4wild_flags = CFG_ADDR_V4OK | CFG_ADDR_WILDOK;
1813 static unsigned int netaddr6_flags = CFG_ADDR_V6OK;
1814 static unsigned int netaddr6wild_flags = CFG_ADDR_V6OK | CFG_ADDR_WILDOK;
1817 parse_netaddr(cfg_parser_t *pctx, const cfg_type_t *type, cfg_obj_t **ret) {
1818 isc_result_t result;
1819 cfg_obj_t *obj = NULL;
1820 isc_netaddr_t netaddr;
1821 unsigned int flags = *(const unsigned int *)type->of;
1823 CHECK(cfg_create_obj(pctx, type, &obj));
1824 CHECK(cfg_parse_rawaddr(pctx, flags, &netaddr));
1825 isc_sockaddr_fromnetaddr(&obj->value.sockaddr, &netaddr, 0);
1827 return (ISC_R_SUCCESS);
1834 cfg_doc_netaddr(cfg_printer_t *pctx, const cfg_type_t *type) {
1835 const unsigned int *flagp = type->of;
1837 if (*flagp != CFG_ADDR_V4OK && *flagp != CFG_ADDR_V6OK)
1838 cfg_print_chars(pctx, "( ", 2);
1839 if (*flagp & CFG_ADDR_V4OK) {
1840 cfg_print_cstr(pctx, "<ipv4_address>");
1843 if (*flagp & CFG_ADDR_V6OK) {
1845 cfg_print_chars(pctx, " | ", 3);
1846 cfg_print_cstr(pctx, "<ipv6_address>");
1849 if (*flagp & CFG_ADDR_WILDOK) {
1851 cfg_print_chars(pctx, " | ", 3);
1852 cfg_print_chars(pctx, "*", 1);
1855 if (*flagp != CFG_ADDR_V4OK && *flagp != CFG_ADDR_V6OK)
1856 cfg_print_chars(pctx, " )", 2);
1859 cfg_type_t cfg_type_netaddr = {
1860 "netaddr", parse_netaddr, cfg_print_sockaddr, cfg_doc_netaddr,
1861 &cfg_rep_sockaddr, &netaddr_flags
1864 cfg_type_t cfg_type_netaddr4 = {
1865 "netaddr4", parse_netaddr, cfg_print_sockaddr, cfg_doc_netaddr,
1866 &cfg_rep_sockaddr, &netaddr4_flags
1869 cfg_type_t cfg_type_netaddr4wild = {
1870 "netaddr4wild", parse_netaddr, cfg_print_sockaddr, cfg_doc_netaddr,
1871 &cfg_rep_sockaddr, &netaddr4wild_flags
1874 cfg_type_t cfg_type_netaddr6 = {
1875 "netaddr6", parse_netaddr, cfg_print_sockaddr, cfg_doc_netaddr,
1876 &cfg_rep_sockaddr, &netaddr6_flags
1879 cfg_type_t cfg_type_netaddr6wild = {
1880 "netaddr6wild", parse_netaddr, cfg_print_sockaddr, cfg_doc_netaddr,
1881 &cfg_rep_sockaddr, &netaddr6wild_flags
1887 cfg_parse_netprefix(cfg_parser_t *pctx, const cfg_type_t *type,
1890 cfg_obj_t *obj = NULL;
1891 isc_result_t result;
1892 isc_netaddr_t netaddr;
1893 unsigned int addrlen, prefixlen;
1896 CHECK(cfg_parse_rawaddr(pctx, CFG_ADDR_V4OK | CFG_ADDR_V4PREFIXOK |
1897 CFG_ADDR_V6OK, &netaddr));
1898 switch (netaddr.family) {
1910 CHECK(cfg_peektoken(pctx, 0));
1911 if (pctx->token.type == isc_tokentype_special &&
1912 pctx->token.value.as_char == '/') {
1913 CHECK(cfg_gettoken(pctx, 0)); /* read "/" */
1914 CHECK(cfg_gettoken(pctx, ISC_LEXOPT_NUMBER));
1915 if (pctx->token.type != isc_tokentype_number) {
1916 cfg_parser_error(pctx, CFG_LOG_NEAR,
1917 "expected prefix length");
1918 return (ISC_R_UNEXPECTEDTOKEN);
1920 prefixlen = pctx->token.value.as_ulong;
1921 if (prefixlen > addrlen) {
1922 cfg_parser_error(pctx, CFG_LOG_NOPREP,
1923 "invalid prefix length");
1924 return (ISC_R_RANGE);
1927 prefixlen = addrlen;
1929 CHECK(cfg_create_obj(pctx, &cfg_type_netprefix, &obj));
1930 obj->value.netprefix.address = netaddr;
1931 obj->value.netprefix.prefixlen = prefixlen;
1933 return (ISC_R_SUCCESS);
1935 cfg_parser_error(pctx, CFG_LOG_NEAR, "expected network prefix");
1940 print_netprefix(cfg_printer_t *pctx, const cfg_obj_t *obj) {
1941 const cfg_netprefix_t *p = &obj->value.netprefix;
1943 cfg_print_rawaddr(pctx, &p->address);
1944 cfg_print_chars(pctx, "/", 1);
1945 cfg_print_rawuint(pctx, p->prefixlen);
1949 cfg_obj_isnetprefix(const cfg_obj_t *obj) {
1950 REQUIRE(obj != NULL);
1951 return (ISC_TF(obj->type->rep == &cfg_rep_netprefix));
1955 cfg_obj_asnetprefix(const cfg_obj_t *obj, isc_netaddr_t *netaddr,
1956 unsigned int *prefixlen) {
1957 REQUIRE(obj != NULL && obj->type->rep == &cfg_rep_netprefix);
1958 *netaddr = obj->value.netprefix.address;
1959 *prefixlen = obj->value.netprefix.prefixlen;
1962 cfg_type_t cfg_type_netprefix = {
1963 "netprefix", cfg_parse_netprefix, print_netprefix, cfg_doc_terminal,
1964 &cfg_rep_netprefix, NULL
1968 parse_sockaddrsub(cfg_parser_t *pctx, const cfg_type_t *type,
1969 int flags, cfg_obj_t **ret)
1971 isc_result_t result;
1972 isc_netaddr_t netaddr;
1974 cfg_obj_t *obj = NULL;
1976 CHECK(cfg_create_obj(pctx, type, &obj));
1977 CHECK(cfg_parse_rawaddr(pctx, flags, &netaddr));
1978 CHECK(cfg_peektoken(pctx, 0));
1979 if (pctx->token.type == isc_tokentype_string &&
1980 strcasecmp(TOKEN_STRING(pctx), "port") == 0) {
1981 CHECK(cfg_gettoken(pctx, 0)); /* read "port" */
1982 CHECK(cfg_parse_rawport(pctx, flags, &port));
1984 isc_sockaddr_fromnetaddr(&obj->value.sockaddr, &netaddr, port);
1986 return (ISC_R_SUCCESS);
1993 static unsigned int sockaddr_flags = CFG_ADDR_V4OK | CFG_ADDR_V6OK;
1994 cfg_type_t cfg_type_sockaddr = {
1995 "sockaddr", cfg_parse_sockaddr, cfg_print_sockaddr, cfg_doc_sockaddr,
1996 &cfg_rep_sockaddr, &sockaddr_flags
2000 cfg_parse_sockaddr(cfg_parser_t *pctx, const cfg_type_t *type, cfg_obj_t **ret) {
2001 const unsigned int *flagp = type->of;
2002 return (parse_sockaddrsub(pctx, &cfg_type_sockaddr, *flagp, ret));
2006 cfg_print_sockaddr(cfg_printer_t *pctx, const cfg_obj_t *obj) {
2007 isc_netaddr_t netaddr;
2009 char buf[ISC_NETADDR_FORMATSIZE];
2011 isc_netaddr_fromsockaddr(&netaddr, &obj->value.sockaddr);
2012 isc_netaddr_format(&netaddr, buf, sizeof(buf));
2013 cfg_print_cstr(pctx, buf);
2014 port = isc_sockaddr_getport(&obj->value.sockaddr);
2016 cfg_print_chars(pctx, " port ", 6);
2017 cfg_print_rawuint(pctx, port);
2022 cfg_doc_sockaddr(cfg_printer_t *pctx, const cfg_type_t *type) {
2023 const unsigned int *flagp = type->of;
2025 cfg_print_chars(pctx, "( ", 2);
2026 if (*flagp & CFG_ADDR_V4OK) {
2027 cfg_print_cstr(pctx, "<ipv4_address>");
2030 if (*flagp & CFG_ADDR_V6OK) {
2032 cfg_print_chars(pctx, " | ", 3);
2033 cfg_print_cstr(pctx, "<ipv6_address>");
2036 if (*flagp & CFG_ADDR_WILDOK) {
2038 cfg_print_chars(pctx, " | ", 3);
2039 cfg_print_chars(pctx, "*", 1);
2042 cfg_print_chars(pctx, " ) ", 3);
2043 if (*flagp & CFG_ADDR_WILDOK) {
2044 cfg_print_cstr(pctx, "[ port ( <integer> | * ) ]");
2046 cfg_print_cstr(pctx, "[ port <integer> ]");
2051 cfg_obj_issockaddr(const cfg_obj_t *obj) {
2052 REQUIRE(obj != NULL);
2053 return (ISC_TF(obj->type->rep == &cfg_rep_sockaddr));
2056 const isc_sockaddr_t *
2057 cfg_obj_assockaddr(const cfg_obj_t *obj) {
2058 REQUIRE(obj != NULL && obj->type->rep == &cfg_rep_sockaddr);
2059 return (&obj->value.sockaddr);
2063 cfg_gettoken(cfg_parser_t *pctx, int options) {
2064 isc_result_t result;
2067 return (ISC_R_SUCCESS);
2069 options |= (ISC_LEXOPT_EOF | ISC_LEXOPT_NOMORE);
2072 pctx->token.type = isc_tokentype_unknown;
2073 result = isc_lex_gettoken(pctx->lexer, options, &pctx->token);
2074 pctx->ungotten = ISC_FALSE;
2075 pctx->line = isc_lex_getsourceline(pctx->lexer);
2079 if (pctx->token.type == isc_tokentype_eof) {
2080 result = isc_lex_close(pctx->lexer);
2081 INSIST(result == ISC_R_NOMORE ||
2082 result == ISC_R_SUCCESS);
2084 if (isc_lex_getsourcename(pctx->lexer) != NULL) {
2086 * Closed an included file, not the main file.
2089 elt = ISC_LIST_TAIL(pctx->open_files->
2091 INSIST(elt != NULL);
2092 ISC_LIST_UNLINK(pctx->open_files->
2093 value.list, elt, link);
2094 ISC_LIST_APPEND(pctx->closed_files->
2095 value.list, elt, link);
2098 pctx->seen_eof = ISC_TRUE;
2103 /* More understandable than "ran out of space". */
2104 cfg_parser_error(pctx, CFG_LOG_NEAR, "token too big");
2108 cfg_parser_error(pctx, 0, "%s",
2109 isc_result_totext(result));
2113 cfg_parser_error(pctx, CFG_LOG_NEAR, "%s",
2114 isc_result_totext(result));
2121 cfg_ungettoken(cfg_parser_t *pctx) {
2124 isc_lex_ungettoken(pctx->lexer, &pctx->token);
2125 pctx->ungotten = ISC_TRUE;
2129 cfg_peektoken(cfg_parser_t *pctx, int options) {
2130 isc_result_t result;
2131 CHECK(cfg_gettoken(pctx, options));
2132 cfg_ungettoken(pctx);
2138 * Get a string token, accepting both the quoted and the unquoted form.
2139 * Log an error if the next token is not a string.
2142 cfg_getstringtoken(cfg_parser_t *pctx) {
2143 isc_result_t result;
2145 result = cfg_gettoken(pctx, CFG_LEXOPT_QSTRING);
2146 if (result != ISC_R_SUCCESS)
2149 if (pctx->token.type != isc_tokentype_string &&
2150 pctx->token.type != isc_tokentype_qstring) {
2151 cfg_parser_error(pctx, CFG_LOG_NEAR, "expected string");
2152 return (ISC_R_UNEXPECTEDTOKEN);
2154 return (ISC_R_SUCCESS);
2158 cfg_parser_error(cfg_parser_t *pctx, unsigned int flags, const char *fmt, ...) {
2160 va_start(args, fmt);
2161 parser_complain(pctx, ISC_FALSE, flags, fmt, args);
2167 cfg_parser_warning(cfg_parser_t *pctx, unsigned int flags, const char *fmt, ...) {
2169 va_start(args, fmt);
2170 parser_complain(pctx, ISC_TRUE, flags, fmt, args);
2175 #define MAX_LOG_TOKEN 30 /* How much of a token to quote in log messages. */
2178 current_file(cfg_parser_t *pctx) {
2179 static char none[] = "none";
2183 if (pctx->open_files == NULL)
2185 elt = ISC_LIST_TAIL(pctx->open_files->value.list);
2190 INSIST(fileobj->type == &cfg_type_qstring);
2191 return (fileobj->value.string.base);
2195 parser_complain(cfg_parser_t *pctx, isc_boolean_t is_warning,
2196 unsigned int flags, const char *format,
2199 char tokenbuf[MAX_LOG_TOKEN + 10];
2200 static char where[ISC_DIR_PATHMAX + 100];
2201 static char message[2048];
2202 int level = ISC_LOG_ERROR;
2203 const char *prep = "";
2207 level = ISC_LOG_WARNING;
2209 snprintf(where, sizeof(where), "%s:%u: ",
2210 current_file(pctx), pctx->line);
2212 len = vsnprintf(message, sizeof(message), format, args);
2213 if (len >= sizeof(message))
2214 FATAL_ERROR(__FILE__, __LINE__,
2215 "error message would overflow");
2217 if ((flags & (CFG_LOG_NEAR|CFG_LOG_BEFORE|CFG_LOG_NOPREP)) != 0) {
2221 (void)cfg_gettoken(pctx, 0);
2223 if (pctx->token.type == isc_tokentype_eof) {
2224 snprintf(tokenbuf, sizeof(tokenbuf), "end of file");
2225 } else if (pctx->token.type == isc_tokentype_unknown) {
2229 isc_lex_getlasttokentext(pctx->lexer,
2231 if (r.length > MAX_LOG_TOKEN)
2232 snprintf(tokenbuf, sizeof(tokenbuf),
2233 "'%.*s...'", MAX_LOG_TOKEN, r.base);
2235 snprintf(tokenbuf, sizeof(tokenbuf),
2236 "'%.*s'", (int)r.length, r.base);
2239 /* Choose a preposition. */
2240 if (flags & CFG_LOG_NEAR)
2242 else if (flags & CFG_LOG_BEFORE)
2249 isc_log_write(pctx->lctx, CAT, MOD, level,
2250 "%s%s%s%s", where, message, prep, tokenbuf);
2254 cfg_obj_log(const cfg_obj_t *obj, isc_log_t *lctx, int level,
2255 const char *fmt, ...) {
2259 if (! isc_log_wouldlog(lctx, level))
2264 vsnprintf(msgbuf, sizeof(msgbuf), fmt, ap);
2265 isc_log_write(lctx, CAT, MOD, level,
2267 obj->file == NULL ? "<unknown file>" : obj->file,
2273 cfg_obj_file(const cfg_obj_t *obj) {
2278 cfg_obj_line(const cfg_obj_t *obj) {
2283 cfg_create_obj(cfg_parser_t *pctx, const cfg_type_t *type, cfg_obj_t **ret) {
2286 obj = isc_mem_get(pctx->mctx, sizeof(cfg_obj_t));
2288 return (ISC_R_NOMEMORY);
2290 obj->file = current_file(pctx);
2291 obj->line = pctx->line;
2293 return (ISC_R_SUCCESS);
2297 map_symtabitem_destroy(char *key, unsigned int type,
2298 isc_symvalue_t symval, void *userarg)
2300 cfg_obj_t *obj = symval.as_pointer;
2301 cfg_parser_t *pctx = (cfg_parser_t *)userarg;
2306 cfg_obj_destroy(pctx, &obj);
2311 create_map(cfg_parser_t *pctx, const cfg_type_t *type, cfg_obj_t **ret) {
2312 isc_result_t result;
2313 isc_symtab_t *symtab = NULL;
2314 cfg_obj_t *obj = NULL;
2316 CHECK(cfg_create_obj(pctx, type, &obj));
2317 CHECK(isc_symtab_create(pctx->mctx, 5, /* XXX */
2318 map_symtabitem_destroy,
2319 pctx, ISC_FALSE, &symtab));
2320 obj->value.map.symtab = symtab;
2321 obj->value.map.id = NULL;
2324 return (ISC_R_SUCCESS);
2328 isc_mem_put(pctx->mctx, obj, sizeof(*obj));
2333 free_map(cfg_parser_t *pctx, cfg_obj_t *obj) {
2334 CLEANUP_OBJ(obj->value.map.id);
2335 isc_symtab_destroy(&obj->value.map.symtab);
2339 cfg_obj_istype(const cfg_obj_t *obj, const cfg_type_t *type) {
2340 return (ISC_TF(obj->type == type));
2344 * Destroy 'obj', a configuration object created in 'pctx'.
2347 cfg_obj_destroy(cfg_parser_t *pctx, cfg_obj_t **objp) {
2348 cfg_obj_t *obj = *objp;
2349 obj->type->rep->free(pctx, obj);
2350 isc_mem_put(pctx->mctx, obj, sizeof(cfg_obj_t));
2355 free_noop(cfg_parser_t *pctx, cfg_obj_t *obj) {
2361 cfg_doc_obj(cfg_printer_t *pctx, const cfg_type_t *type) {
2362 type->doc(pctx, type);
2366 cfg_doc_terminal(cfg_printer_t *pctx, const cfg_type_t *type) {
2367 cfg_print_chars(pctx, "<", 1);
2368 cfg_print_cstr(pctx, type->name);
2369 cfg_print_chars(pctx, ">", 1);
2373 cfg_print_grammar(const cfg_type_t *type,
2374 void (*f)(void *closure, const char *text, int textlen),
2379 pctx.closure = closure;
2381 cfg_doc_obj(&pctx, type);