parser.c 69.5 KB
Newer Older
1
/*
2
 * Copyright (C) 2000-2016  Internet Systems Consortium, Inc. ("ISC")
3
 *
4 5 6
 * This Source Code Form is subject to the terms of the Mozilla Public
 * License, v. 2.0. If a copy of the MPL was not distributed with this
 * file, You can obtain one at http://mozilla.org/MPL/2.0/.
7 8
 */

9
/*! \file */
10 11 12

#include <config.h>

Evan Hunt's avatar
Evan Hunt committed
13 14
#include <stdlib.h>

15 16
#include <isc/buffer.h>
#include <isc/dir.h>
17
#include <isc/formatcheck.h>
18 19 20 21 22
#include <isc/lex.h>
#include <isc/log.h>
#include <isc/mem.h>
#include <isc/net.h>
#include <isc/netaddr.h>
23
#include <isc/netscope.h>
24
#include <isc/print.h>
25 26 27
#include <isc/string.h>
#include <isc/sockaddr.h>
#include <isc/symtab.h>
28
#include <isc/util.h>
29 30

#include <isccfg/cfg.h>
31
#include <isccfg/grammar.h>
32
#include <isccfg/log.h>
33

34
/* Shorthand */
35 36
#define CAT CFG_LOGCATEGORY_CONFIG
#define MOD CFG_LOGMODULE_PARSER
37 38 39

#define MAP_SYM 1 	/* Unique type for isc_symtab */

40 41
#define TOKEN_STRING(pctx) (pctx->token.value.as_textregion.base)

42 43
/* Check a return value. */
#define CHECK(op) 						\
Automatic Updater's avatar
Automatic Updater committed
44
	do { result = (op); 					\
45 46 47 48 49 50 51 52 53 54 55 56 57
		if (result != ISC_R_SUCCESS) goto cleanup; 	\
	} while (0)

/* Clean up a configuration object if non-NULL. */
#define CLEANUP_OBJ(obj) \
	do { if ((obj) != NULL) cfg_obj_destroy(pctx, &(obj)); } while (0)


/*
 * Forward declarations of static functions.
 */

static void
58
free_tuple(cfg_parser_t *pctx, cfg_obj_t *obj);
59

60
static isc_result_t
61
parse_list(cfg_parser_t *pctx, const cfg_type_t *type, cfg_obj_t **ret);
62 63

static void
64
print_list(cfg_printer_t *pctx, const cfg_obj_t *obj);
65 66

static void
67
free_list(cfg_parser_t *pctx, cfg_obj_t *obj);
68

69
static isc_result_t
70
create_listelt(cfg_parser_t *pctx, cfg_listelt_t **eltp);
71 72

static isc_result_t
73 74
create_string(cfg_parser_t *pctx, const char *contents, const cfg_type_t *type,
	      cfg_obj_t **ret);
75 76

static void
77
free_string(cfg_parser_t *pctx, cfg_obj_t *obj);
78

79
static isc_result_t
80
create_map(cfg_parser_t *pctx, const cfg_type_t *type, cfg_obj_t **objp);
81 82

static void
83
free_map(cfg_parser_t *pctx, cfg_obj_t *obj);
84 85 86

static isc_result_t
parse_symtab_elt(cfg_parser_t *pctx, const char *name,
87 88
		 cfg_type_t *elttype, isc_symtab_t *symtab,
		 isc_boolean_t callback);
89 90 91 92 93 94 95 96 97 98 99 100 101 102 103 104

static void
free_noop(cfg_parser_t *pctx, cfg_obj_t *obj);

static isc_result_t
cfg_getstringtoken(cfg_parser_t *pctx);

static void
parser_complain(cfg_parser_t *pctx, isc_boolean_t is_warning,
		unsigned int flags, const char *format, va_list args);

/*
 * Data representations.  These correspond to members of the
 * "value" union in struct cfg_obj (except "void", which does
 * not need a union member).
 */
105

106
cfg_rep_t cfg_rep_uint32 = { "uint32", free_noop };
107
cfg_rep_t cfg_rep_uint64 = { "uint64", free_noop };
108 109 110 111 112 113 114 115
cfg_rep_t cfg_rep_string = { "string", free_string };
cfg_rep_t cfg_rep_boolean = { "boolean", free_noop };
cfg_rep_t cfg_rep_map = { "map", free_map };
cfg_rep_t cfg_rep_list = { "list", free_list };
cfg_rep_t cfg_rep_tuple = { "tuple", free_tuple };
cfg_rep_t cfg_rep_sockaddr = { "sockaddr", free_noop };
cfg_rep_t cfg_rep_netprefix = { "netprefix", free_noop };
cfg_rep_t cfg_rep_void = { "void", free_noop };
Evan Hunt's avatar
Evan Hunt committed
116
cfg_rep_t cfg_rep_fixedpoint = { "fixedpoint", free_noop };
117
cfg_rep_t cfg_rep_percentage = { "percentage", free_noop };
118 119 120 121 122

/*
 * Configuration type definitions.
 */

123
/*%
124 125 126
 * An implicit list.  These are formed by clauses that occur multiple times.
 */
static cfg_type_t cfg_type_implicitlist = {
127
	"implicitlist", NULL, print_list, NULL, &cfg_rep_list, NULL };
128 129 130

/* Functions. */

131
void
132
cfg_print_obj(cfg_printer_t *pctx, const cfg_obj_t *obj) {
133 134 135
	obj->type->print(pctx, obj);
}

136 137
void
cfg_print_chars(cfg_printer_t *pctx, const char *text, int len) {
138 139 140 141 142
	pctx->f(pctx->closure, text, len);
}

static void
print_open(cfg_printer_t *pctx) {
143 144 145 146 147 148
	if ((pctx->flags & CFG_PRINTER_ONELINE) != 0)
		cfg_print_cstr(pctx, "{ ");
	else {
		cfg_print_cstr(pctx, "{\n");
		pctx->indent++;
	}
149 150 151 152 153
}

static void
print_indent(cfg_printer_t *pctx) {
	int indent = pctx->indent;
154 155 156 157
	if ((pctx->flags & CFG_PRINTER_ONELINE) != 0) {
		cfg_print_cstr(pctx, " ");
		return;
	}
158
	while (indent > 0) {
159
		cfg_print_cstr(pctx, "\t");
160 161 162 163 164 165
		indent--;
	}
}

static void
print_close(cfg_printer_t *pctx) {
166 167 168 169 170
	if ((pctx->flags & CFG_PRINTER_ONELINE) == 0) {
		pctx->indent--;
		print_indent(pctx);
	}
	cfg_print_cstr(pctx, "}");
171 172
}

173 174
isc_result_t
cfg_parse_obj(cfg_parser_t *pctx, const cfg_type_t *type, cfg_obj_t **ret) {
Andreas Gustafsson's avatar
Andreas Gustafsson committed
175 176 177 178 179 180 181
	isc_result_t result;
	INSIST(ret != NULL && *ret == NULL);
	result = type->parse(pctx, type, ret);
	if (result != ISC_R_SUCCESS)
		return (result);
	INSIST(*ret != NULL);
	return (ISC_R_SUCCESS);
182 183 184
}

void
185
cfg_print(const cfg_obj_t *obj,
186 187
	  void (*f)(void *closure, const char *text, int textlen),
	  void *closure)
188 189 190 191 192 193 194 195
{
	cfg_printx(obj, 0, f, closure);
}

void
cfg_printx(const cfg_obj_t *obj, unsigned int flags,
	     void (*f)(void *closure, const char *text, int textlen),
	     void *closure)
196 197 198 199 200
{
	cfg_printer_t pctx;
	pctx.f = f;
	pctx.closure = closure;
	pctx.indent = 0;
201
	pctx.flags = flags;
202 203 204
	obj->type->print(&pctx, obj);
}

205
/* Tuples. */
Automatic Updater's avatar
Automatic Updater committed
206

207 208
isc_result_t
cfg_create_tuple(cfg_parser_t *pctx, const cfg_type_t *type, cfg_obj_t **ret) {
209
	isc_result_t result;
210 211
	const cfg_tuplefielddef_t *fields = type->of;
	const cfg_tuplefielddef_t *f;
212 213 214
	cfg_obj_t *obj = NULL;
	unsigned int nfields = 0;
	int i;
215

216
	for (f = fields; f->name != NULL; f++)
217 218
		nfields++;

219
	CHECK(cfg_create_obj(pctx, type, &obj));
220 221
	obj->value.tuple = isc_mem_get(pctx->mctx,
				       nfields * sizeof(cfg_obj_t *));
222 223 224 225
	if (obj->value.tuple == NULL) {
		result = ISC_R_NOMEMORY;
		goto cleanup;
	}
226
	for (f = fields, i = 0; f->name != NULL; f++, i++)
227
		obj->value.tuple[i] = NULL;
228 229 230 231
	*ret = obj;
	return (ISC_R_SUCCESS);

 cleanup:
232 233
	if (obj != NULL)
		isc_mem_put(pctx->mctx, obj, sizeof(*obj));
234 235 236
	return (result);
}

237 238
isc_result_t
cfg_parse_tuple(cfg_parser_t *pctx, const cfg_type_t *type, cfg_obj_t **ret)
239 240
{
	isc_result_t result;
241 242
	const cfg_tuplefielddef_t *fields = type->of;
	const cfg_tuplefielddef_t *f;
243 244
	cfg_obj_t *obj = NULL;
	unsigned int i;
245

246
	CHECK(cfg_create_tuple(pctx, type, &obj));
247
	for (f = fields, i = 0; f->name != NULL; f++, i++)
248
		CHECK(cfg_parse_obj(pctx, f->type, &obj->value.tuple[i]));
249 250 251 252 253 254 255 256 257

	*ret = obj;
	return (ISC_R_SUCCESS);

 cleanup:
	CLEANUP_OBJ(obj);
	return (result);
}

258
void
259
cfg_print_tuple(cfg_printer_t *pctx, const cfg_obj_t *obj) {
260
	unsigned int i;
261 262
	const cfg_tuplefielddef_t *fields = obj->type->of;
	const cfg_tuplefielddef_t *f;
263
	isc_boolean_t need_space = ISC_FALSE;
264

265
	for (f = fields, i = 0; f->name != NULL; f++, i++) {
266
		const cfg_obj_t *fieldobj = obj->value.tuple[i];
267
		if (need_space && fieldobj->type->rep != &cfg_rep_void)
268
			cfg_print_cstr(pctx, " ");
269
		cfg_print_obj(pctx, fieldobj);
270 271
		need_space = ISC_TF(need_space ||
				    fieldobj->type->print != cfg_print_void);
272 273 274 275 276 277 278 279 280 281 282
	}
}

void
cfg_doc_tuple(cfg_printer_t *pctx, const cfg_type_t *type) {
	const cfg_tuplefielddef_t *fields = type->of;
	const cfg_tuplefielddef_t *f;
	isc_boolean_t need_space = ISC_FALSE;

	for (f = fields; f->name != NULL; f++) {
		if (need_space)
283
			cfg_print_cstr(pctx, " ");
284 285
		cfg_doc_obj(pctx, f->type);
		need_space = ISC_TF(f->type->print != cfg_print_void);
286 287 288 289 290 291
	}
}

static void
free_tuple(cfg_parser_t *pctx, cfg_obj_t *obj) {
	unsigned int i;
292 293
	const cfg_tuplefielddef_t *fields = obj->type->of;
	const cfg_tuplefielddef_t *f;
294 295
	unsigned int nfields = 0;

296 297 298
	if (obj->value.tuple == NULL)
		return;

299
	for (f = fields, i = 0; f->name != NULL; f++, i++) {
300 301 302 303 304 305 306
		CLEANUP_OBJ(obj->value.tuple[i]);
		nfields++;
	}
	isc_mem_put(pctx->mctx, obj->value.tuple,
		    nfields * sizeof(cfg_obj_t *));
}

307
isc_boolean_t
308
cfg_obj_istuple(const cfg_obj_t *obj) {
309 310 311 312
	REQUIRE(obj != NULL);
	return (ISC_TF(obj->type->rep == &cfg_rep_tuple));
}

313 314
const cfg_obj_t *
cfg_tuple_get(const cfg_obj_t *tupleobj, const char* name) {
315
	unsigned int i;
316 317
	const cfg_tuplefielddef_t *fields;
	const cfg_tuplefielddef_t *f;
Automatic Updater's avatar
Automatic Updater committed
318

319 320 321 322 323 324 325 326 327 328 329
	REQUIRE(tupleobj != NULL && tupleobj->type->rep == &cfg_rep_tuple);

	fields = tupleobj->type->of;
	for (f = fields, i = 0; f->name != NULL; f++, i++) {
		if (strcmp(f->name, name) == 0)
			return (tupleobj->value.tuple[i]);
	}
	INSIST(0);
	return (NULL);
}

330 331
isc_result_t
cfg_parse_special(cfg_parser_t *pctx, int special) {
Automatic Updater's avatar
Automatic Updater committed
332
	isc_result_t result;
333 334 335 336 337
	CHECK(cfg_gettoken(pctx, 0));
	if (pctx->token.type == isc_tokentype_special &&
	    pctx->token.value.as_char == special)
		return (ISC_R_SUCCESS);

338
	cfg_parser_error(pctx, CFG_LOG_NEAR, "'%c' expected", special);
339 340 341 342 343 344 345 346 347 348 349 350 351 352
	return (ISC_R_UNEXPECTEDTOKEN);
 cleanup:
	return (result);
}

/*
 * Parse a required semicolon.  If it is not there, log
 * an error and increment the error count but continue
 * parsing.  Since the next token is pushed back,
 * care must be taken to make sure it is eventually
 * consumed or an infinite loop may result.
 */
static isc_result_t
parse_semicolon(cfg_parser_t *pctx) {
Automatic Updater's avatar
Automatic Updater committed
353
	isc_result_t result;
354 355 356 357 358
	CHECK(cfg_gettoken(pctx, 0));
	if (pctx->token.type == isc_tokentype_special &&
	    pctx->token.value.as_char == ';')
		return (ISC_R_SUCCESS);

359
	cfg_parser_error(pctx, CFG_LOG_BEFORE, "missing ';'");
360 361 362 363 364 365 366 367 368 369
	cfg_ungettoken(pctx);
 cleanup:
	return (result);
}

/*
 * Parse EOF, logging and returning an error if not there.
 */
static isc_result_t
parse_eof(cfg_parser_t *pctx) {
Automatic Updater's avatar
Automatic Updater committed
370
	isc_result_t result;
371 372 373 374 375
	CHECK(cfg_gettoken(pctx, 0));

	if (pctx->token.type == isc_tokentype_eof)
		return (ISC_R_SUCCESS);

376
	cfg_parser_error(pctx, CFG_LOG_NEAR, "syntax error");
377 378
	return (ISC_R_UNEXPECTEDTOKEN);
 cleanup:
Andreas Gustafsson's avatar
spacing  
Andreas Gustafsson committed
379
	return (result);
380 381 382
}

/* A list of files, used internally for pctx->files. */
383

384
static cfg_type_t cfg_type_filelist = {
385
	"filelist", NULL, print_list, NULL, &cfg_rep_list,
386 387 388 389
	&cfg_type_qstring
};

isc_result_t
390
cfg_parser_create(isc_mem_t *mctx, isc_log_t *lctx, cfg_parser_t **ret) {
391 392 393 394 395 396 397 398 399 400 401
	isc_result_t result;
	cfg_parser_t *pctx;
	isc_lexspecials_t specials;

	REQUIRE(mctx != NULL);
	REQUIRE(ret != NULL && *ret == NULL);

	pctx = isc_mem_get(mctx, sizeof(*pctx));
	if (pctx == NULL)
		return (ISC_R_NOMEMORY);

402 403 404
	pctx->mctx = NULL;
	isc_mem_attach(mctx, &pctx->mctx);

405 406
	result = isc_refcount_init(&pctx->references, 1);
	if (result != ISC_R_SUCCESS) {
407
		isc_mem_putanddetach(&pctx->mctx, pctx, sizeof(*pctx));
408 409 410
		return (result);
	}

411 412 413 414 415
	pctx->lctx = lctx;
	pctx->lexer = NULL;
	pctx->seen_eof = ISC_FALSE;
	pctx->ungotten = ISC_FALSE;
	pctx->errors = 0;
Mark Andrews's avatar
Mark Andrews committed
416
	pctx->warnings = 0;
417 418
	pctx->open_files = NULL;
	pctx->closed_files = NULL;
419
	pctx->line = 0;
420 421
	pctx->callback = NULL;
	pctx->callbackarg = NULL;
Mark Andrews's avatar
Mark Andrews committed
422
	pctx->token.type = isc_tokentype_unknown;
Automatic Updater's avatar
Automatic Updater committed
423
	pctx->flags = 0;
424
	pctx->buf_name = NULL;
425 426 427 428 429 430 431 432 433 434 435 436 437 438 439 440

	memset(specials, 0, sizeof(specials));
	specials['{'] = 1;
	specials['}'] = 1;
	specials[';'] = 1;
	specials['/'] = 1;
	specials['"'] = 1;
	specials['!'] = 1;

	CHECK(isc_lex_create(pctx->mctx, 1024, &pctx->lexer));

	isc_lex_setspecials(pctx->lexer, specials);
	isc_lex_setcomments(pctx->lexer, (ISC_LEXCOMMENT_C |
					 ISC_LEXCOMMENT_CPLUSPLUS |
					 ISC_LEXCOMMENT_SHELL));

441 442
	CHECK(cfg_create_list(pctx, &cfg_type_filelist, &pctx->open_files));
	CHECK(cfg_create_list(pctx, &cfg_type_filelist, &pctx->closed_files));
443 444 445 446 447 448 449

	*ret = pctx;
	return (ISC_R_SUCCESS);

 cleanup:
	if (pctx->lexer != NULL)
		isc_lex_destroy(&pctx->lexer);
450 451
	CLEANUP_OBJ(pctx->open_files);
	CLEANUP_OBJ(pctx->closed_files);
452
	isc_mem_putanddetach(&pctx->mctx, pctx, sizeof(*pctx));
453 454 455 456
	return (result);
}

static isc_result_t
457
parser_openfile(cfg_parser_t *pctx, const char *filename) {
458 459 460 461 462 463
	isc_result_t result;
	cfg_listelt_t *elt = NULL;
	cfg_obj_t *stringobj = NULL;

	result = isc_lex_openfile(pctx->lexer, filename);
	if (result != ISC_R_SUCCESS) {
464
		cfg_parser_error(pctx, 0, "open: %s: %s",
465 466 467 468 469 470 471
			     filename, isc_result_totext(result));
		goto cleanup;
	}

	CHECK(create_string(pctx, filename, &cfg_type_qstring, &stringobj));
	CHECK(create_listelt(pctx, &elt));
	elt->obj = stringobj;
472
	ISC_LIST_APPEND(pctx->open_files->value.list, elt, link);
473 474 475 476 477 478 479

	return (ISC_R_SUCCESS);
 cleanup:
	CLEANUP_OBJ(stringobj);
	return (result);
}

480 481 482 483 484 485 486 487 488
void
cfg_parser_setcallback(cfg_parser_t *pctx,
		       cfg_parsecallback_t callback,
		       void *arg)
{
	pctx->callback = callback;
	pctx->callbackarg = arg;
}

489 490 491 492 493 494 495 496 497 498 499 500 501 502
void
cfg_parser_reset(cfg_parser_t *pctx) {
	REQUIRE(pctx != NULL);

	if (pctx->lexer != NULL)
		isc_lex_close(pctx->lexer);

	pctx->seen_eof = ISC_FALSE;
	pctx->ungotten = ISC_FALSE;
	pctx->errors = 0;
	pctx->warnings = 0;
	pctx->line = 0;
}

503 504 505 506 507
/*
 * Parse a configuration using a pctx where a lexer has already
 * been set up with a source.
 */
static isc_result_t
508
parse2(cfg_parser_t *pctx, const cfg_type_t *type, cfg_obj_t **ret) {
509 510 511
	isc_result_t result;
	cfg_obj_t *obj = NULL;

512
	result = cfg_parse_obj(pctx, type, &obj);
513 514 515 516 517 518 519 520 521 522

	if (pctx->errors != 0) {
		/* Errors have been logged. */
		if (result == ISC_R_SUCCESS)
			result = ISC_R_FAILURE;
		goto cleanup;
	}

	if (result != ISC_R_SUCCESS) {
		/* Parsing failed but no errors have been logged. */
523
		cfg_parser_error(pctx, 0, "parsing failed");
524 525 526 527 528 529 530 531 532 533 534 535 536
		goto cleanup;
	}

	CHECK(parse_eof(pctx));

	*ret = obj;
	return (ISC_R_SUCCESS);

 cleanup:
	CLEANUP_OBJ(obj);
	return (result);
}

537 538
isc_result_t
cfg_parse_file(cfg_parser_t *pctx, const char *filename,
539
	       const cfg_type_t *type, cfg_obj_t **ret)
540 541
{
	isc_result_t result;
542
	cfg_listelt_t *elt;
543 544 545 546

	REQUIRE(filename != NULL);

	CHECK(parser_openfile(pctx, filename));
547 548 549 550 551 552 553 554 555

	result = parse2(pctx, type, ret);

	/* Clean up the opened file */
	elt = ISC_LIST_TAIL(pctx->open_files->value.list);
	INSIST(elt != NULL);
	ISC_LIST_UNLINK(pctx->open_files->value.list, elt, link);
	ISC_LIST_APPEND(pctx->closed_files->value.list, elt, link);

556 557 558 559 560 561 562
 cleanup:
	return (result);
}


isc_result_t
cfg_parse_buffer(cfg_parser_t *pctx, isc_buffer_t *buffer,
563
	const cfg_type_t *type, cfg_obj_t **ret)
564 565 566 567 568 569 570 571
{
	return (cfg_parse_buffer2(pctx, buffer, NULL, type, ret));
}

isc_result_t
cfg_parse_buffer2(cfg_parser_t *pctx, isc_buffer_t *buffer,
		  const char *bufname, const cfg_type_t *type,
		  cfg_obj_t **ret)
572 573
{
	isc_result_t result;
574

575
	REQUIRE(buffer != NULL);
576

Automatic Updater's avatar
Automatic Updater committed
577
	CHECK(isc_lex_openbuffer(pctx->lexer, buffer));
578
	pctx->buf_name = bufname;
579
	CHECK(parse2(pctx, type, ret));
580
	pctx->buf_name = NULL;
581

582 583 584 585
 cleanup:
	return (result);
}

586 587 588 589 590 591 592 593
void
cfg_parser_attach(cfg_parser_t *src, cfg_parser_t **dest) {
	REQUIRE(src != NULL);
	REQUIRE(dest != NULL && *dest == NULL);
	isc_refcount_increment(&src->references, NULL);
	*dest = src;
}

594 595 596
void
cfg_parser_destroy(cfg_parser_t **pctxp) {
	cfg_parser_t *pctx = *pctxp;
597 598 599 600 601 602 603 604 605 606 607 608
	unsigned int refs;

	isc_refcount_decrement(&pctx->references, &refs);
	if (refs == 0) {
		isc_lex_destroy(&pctx->lexer);
		/*
		 * Cleaning up open_files does not
		 * close the files; that was already done
		 * by closing the lexer.
		 */
		CLEANUP_OBJ(pctx->open_files);
		CLEANUP_OBJ(pctx->closed_files);
609
		isc_mem_putanddetach(&pctx->mctx, pctx, sizeof(*pctx));
610
	}
611 612 613 614 615 616
	*pctxp = NULL;
}

/*
 * void
 */
617 618
isc_result_t
cfg_parse_void(cfg_parser_t *pctx, const cfg_type_t *type, cfg_obj_t **ret) {
619
	UNUSED(type);
620
	return (cfg_create_obj(pctx, &cfg_type_void, ret));
621 622
}

623
void
624
cfg_print_void(cfg_printer_t *pctx, const cfg_obj_t *obj) {
625 626 627
	UNUSED(pctx);
	UNUSED(obj);
}
628

629 630 631 632 633 634
void
cfg_doc_void(cfg_printer_t *pctx, const cfg_type_t *type) {
	UNUSED(pctx);
	UNUSED(type);
}

635
isc_boolean_t
636
cfg_obj_isvoid(const cfg_obj_t *obj) {
637 638 639 640
	REQUIRE(obj != NULL);
	return (ISC_TF(obj->type->rep == &cfg_rep_void));
}

641 642 643
cfg_type_t cfg_type_void = {
	"void", cfg_parse_void, cfg_print_void, cfg_doc_void, &cfg_rep_void,
	NULL };
644

645 646 647 648 649 650 651 652 653 654
/*
 * percentage
 */
isc_result_t
cfg_parse_percentage(cfg_parser_t *pctx, const cfg_type_t *type,
		     cfg_obj_t **ret)
{
	char *endp;
	isc_result_t result;
	cfg_obj_t *obj = NULL;
655
	isc_uint64_t percent;
656 657 658 659 660 661 662 663 664 665 666 667 668 669 670 671 672 673

	UNUSED(type);

	CHECK(cfg_gettoken(pctx, 0));
	if (pctx->token.type != isc_tokentype_string) {
		cfg_parser_error(pctx, CFG_LOG_NEAR,
				 "expected percentage");
		return (ISC_R_UNEXPECTEDTOKEN);
	}

	percent = isc_string_touint64(TOKEN_STRING(pctx), &endp, 10);
	if (*endp != '%' || *(endp+1) != 0) {
		cfg_parser_error(pctx, CFG_LOG_NEAR,
				 "expected percentage");
		return (ISC_R_UNEXPECTEDTOKEN);
	}

	CHECK(cfg_create_obj(pctx, &cfg_type_percentage, &obj));
674
	obj->value.uint32 = (isc_uint32_t)percent;
675 676 677 678 679 680 681 682 683 684 685 686 687 688 689 690 691 692 693 694 695 696 697 698 699 700 701 702 703 704 705 706 707
	*ret = obj;

 cleanup:
	return (result);
}

void
cfg_print_percentage(cfg_printer_t *pctx, const cfg_obj_t *obj) {
	char buf[64];
	int n;

	n = snprintf(buf, sizeof(buf), "%u%%", obj->value.uint32);
	INSIST(n > 0 && (size_t)n < sizeof(buf));
	cfg_print_chars(pctx, buf, strlen(buf));
}

isc_uint32_t
cfg_obj_aspercentage(const cfg_obj_t *obj) {
	REQUIRE(obj != NULL && obj->type->rep == &cfg_rep_percentage);
	return (obj->value.uint32);
}

cfg_type_t cfg_type_percentage = {
	"percentage", cfg_parse_percentage, cfg_print_percentage,
	cfg_doc_terminal, &cfg_rep_percentage, NULL
};

isc_boolean_t
cfg_obj_ispercentage(const cfg_obj_t *obj) {
	REQUIRE(obj != NULL);
	return (ISC_TF(obj->type->rep == &cfg_rep_percentage));
}

Evan Hunt's avatar
Evan Hunt committed
708 709 710 711 712 713 714 715 716 717 718 719 720 721 722 723 724 725 726 727 728 729 730 731 732 733 734 735 736 737 738 739 740 741 742 743 744 745 746 747 748 749 750 751 752 753 754 755 756 757 758 759 760 761 762 763 764 765 766 767 768 769 770 771 772 773 774 775 776 777 778 779 780
/*
 * Fixed point
 */
isc_result_t
cfg_parse_fixedpoint(cfg_parser_t *pctx, const cfg_type_t *type,
		     cfg_obj_t **ret)
{
	isc_result_t result;
	cfg_obj_t *obj = NULL;
	size_t n1, n2, n3, l;
	const char *p;

	UNUSED(type);

	CHECK(cfg_gettoken(pctx, 0));
	if (pctx->token.type != isc_tokentype_string) {
		cfg_parser_error(pctx, CFG_LOG_NEAR,
				 "expected fixed point number");
		return (ISC_R_UNEXPECTEDTOKEN);
	}


	p = TOKEN_STRING(pctx);
	l = strlen(p);
	n1 = strspn(p, "0123456789");
	n2 = strspn(p + n1, ".");
	n3 = strspn(p + n1 + n2, "0123456789");

	if ((n1 + n2 + n3 != l) || (n1 + n3 == 0) ||
	    n1 > 5 || n2 > 1 || n3 > 2) {
		cfg_parser_error(pctx, CFG_LOG_NEAR,
				 "expected fixed point number");
		return (ISC_R_UNEXPECTEDTOKEN);
	}

	CHECK(cfg_create_obj(pctx, &cfg_type_fixedpoint, &obj));

	obj->value.uint32 = strtoul(p, NULL, 10) * 100;
	switch (n3) {
	case 2:
		obj->value.uint32 += strtoul(p + n1 + n2, NULL, 10);
		break;
	case 1:
		obj->value.uint32 += strtoul(p + n1 + n2, NULL, 10) * 10;
		break;
	}
	*ret = obj;

 cleanup:
	return (result);
}

void
cfg_print_fixedpoint(cfg_printer_t *pctx, const cfg_obj_t *obj) {
	char buf[64];
	int n;

	n = snprintf(buf, sizeof(buf), "%u.%02u",
		     obj->value.uint32/100, obj->value.uint32%100);
	INSIST(n > 0 && (size_t)n < sizeof(buf));
	cfg_print_chars(pctx, buf, strlen(buf));
}

isc_uint32_t
cfg_obj_asfixedpoint(const cfg_obj_t *obj) {
	REQUIRE(obj != NULL && obj->type->rep == &cfg_rep_fixedpoint);
	return (obj->value.uint32);
}

cfg_type_t cfg_type_fixedpoint = {
	"fixedpoint", cfg_parse_fixedpoint, cfg_print_fixedpoint,
	cfg_doc_terminal, &cfg_rep_fixedpoint, NULL
};
781

782 783 784 785 786 787
isc_boolean_t
cfg_obj_isfixedpoint(const cfg_obj_t *obj) {
	REQUIRE(obj != NULL);
	return (ISC_TF(obj->type->rep == &cfg_rep_fixedpoint));
}

788 789 790
/*
 * uint32
 */
791 792
isc_result_t
cfg_parse_uint32(cfg_parser_t *pctx, const cfg_type_t *type, cfg_obj_t **ret) {
Automatic Updater's avatar
Automatic Updater committed
793
	isc_result_t result;
794 795 796
	cfg_obj_t *obj = NULL;
	UNUSED(type);

797
	CHECK(cfg_gettoken(pctx, ISC_LEXOPT_NUMBER | ISC_LEXOPT_CNUMBER));
798
	if (pctx->token.type != isc_tokentype_number) {
799
		cfg_parser_error(pctx, CFG_LOG_NEAR, "expected number");
800 801 802
		return (ISC_R_UNEXPECTEDTOKEN);
	}

803
	CHECK(cfg_create_obj(pctx, &cfg_type_uint32, &obj));
804 805 806 807 808 809 810

	obj->value.uint32 = pctx->token.value.as_ulong;
	*ret = obj;
 cleanup:
	return (result);
}

811 812 813
void
cfg_print_cstr(cfg_printer_t *pctx, const char *s) {
	cfg_print_chars(pctx, s, strlen(s));
814 815
}

816 817
void
cfg_print_rawuint(cfg_printer_t *pctx, unsigned int u) {
818
	char buf[32];
819
	snprintf(buf, sizeof(buf), "%u", u);
820
	cfg_print_cstr(pctx, buf);
821 822
}

823
void
824
cfg_print_uint32(cfg_printer_t *pctx, const cfg_obj_t *obj) {
825
	cfg_print_rawuint(pctx, obj->value.uint32);
826 827
}

828
isc_boolean_t
829
cfg_obj_isuint32(const cfg_obj_t *obj) {
830 831 832 833
	REQUIRE(obj != NULL);
	return (ISC_TF(obj->type->rep == &cfg_rep_uint32));
}

834
isc_uint32_t
835
cfg_obj_asuint32(const cfg_obj_t *obj) {
836 837 838 839
	REQUIRE(obj != NULL && obj->type->rep == &cfg_rep_uint32);
	return (obj->value.uint32);
}

840 841 842 843
cfg_type_t cfg_type_uint32 = {
	"integer", cfg_parse_uint32, cfg_print_uint32, cfg_doc_terminal,
	&cfg_rep_uint32, NULL
};
844 845


846 847 848 849
/*
 * uint64
 */
isc_boolean_t
850
cfg_obj_isuint64(const cfg_obj_t *obj) {
851 852 853 854 855
	REQUIRE(obj != NULL);
	return (ISC_TF(obj->type->rep == &cfg_rep_uint64));
}

isc_uint64_t
856
cfg_obj_asuint64(const cfg_obj_t *obj) {
857 858 859 860
	REQUIRE(obj != NULL && obj->type->rep == &cfg_rep_uint64);
	return (obj->value.uint64);
}

861
void
862
cfg_print_uint64(cfg_printer_t *pctx, const cfg_obj_t *obj) {
863
	char buf[32];
864 865
	snprintf(buf, sizeof(buf), "%" ISC_PRINT_QUADFORMAT "u",
		 obj->value.uint64);
866
	cfg_print_cstr(pctx, buf);
867 868
}

869 870 871
cfg_type_t cfg_type_uint64 = {
	"64_bit_integer", NULL, cfg_print_uint64, cfg_doc_terminal,
	&cfg_rep_uint64, NULL
872 873
};

874
/*
875 876
 * qstring (quoted string), ustring (unquoted string), astring
 * (any string)
877 878 879 880
 */

/* Create a string object from a null-terminated C string. */
static isc_result_t
881
create_string(cfg_parser_t *pctx, const char *contents, const cfg_type_t *type,
882 883 884 885 886 887
	      cfg_obj_t **ret)
{
	isc_result_t result;
	cfg_obj_t *obj = NULL;
	int len;

888
	CHECK(cfg_create_obj(pctx, type, &obj));
889 890 891 892
	len = strlen(contents);
	obj->value.string.length = len;
	obj->value.string.base = isc_mem_get(pctx->mctx, len + 1);
	if (obj->value.string.base == 0) {
893
		isc_mem_put(pctx->mctx, obj, sizeof(*obj));
894 895
		return (ISC_R_NOMEMORY);
	}
896
	memmove(obj->value.string.base, contents, len);
897 898 899 900 901 902 903
	obj->value.string.base[len] = '\0';

	*ret = obj;
 cleanup:
	return (result);
}

904 905
isc_result_t
cfg_parse_qstring(cfg_parser_t *pctx, const cfg_type_t *type, cfg_obj_t **ret) {
Automatic Updater's avatar
Automatic Updater committed
906
	isc_result_t result;
907 908
	UNUSED(type);

909
	CHECK(cfg_gettoken(pctx, CFG_LEXOPT_QSTRING));
910
	if (pctx->token.type != isc_tokentype_qstring) {
911
		cfg_parser_error(pctx, CFG_LOG_NEAR, "expected quoted string");
912 913 914
		return (ISC_R_UNEXPECTEDTOKEN);
	}
	return (create_string(pctx,
915
			      TOKEN_STRING(pctx),
916 917 918 919 920 921 922
			      &cfg_type_qstring,
			      ret));
 cleanup:
	return (result);
}

static isc_result_t
923
parse_ustring(cfg_parser_t *pctx, const cfg_type_t *type, cfg_obj_t **ret) {
Automatic Updater's avatar
Automatic Updater committed
924
	isc_result_t result;
925 926 927 928
	UNUSED(type);

	CHECK(cfg_gettoken(pctx, 0));
	if (pctx->token.type != isc_tokentype_string) {
929
		cfg_parser_error(pctx, CFG_LOG_NEAR, "expected unquoted string");
930 931 932
		return (ISC_R_UNEXPECTEDTOKEN);
	}
	return (create_string(pctx,
933
			      TOKEN_STRING(pctx),
934 935 936 937 938 939
			      &cfg_type_ustring,
			      ret));
 cleanup:
	return (result);
}

940
isc_result_t
941 942 943
cfg_parse_astring(cfg_parser_t *pctx, const cfg_type_t *type,
		  cfg_obj_t **ret)
{
Automatic Updater's avatar
Automatic Updater committed
944
	isc_result_t result;
945 946 947 948
	UNUSED(type);

	CHECK(cfg_getstringtoken(pctx));
	return (create_string(pctx,
949
			      TOKEN_STRING(pctx),
950 951 952 953 954 955
			      &cfg_type_qstring,
			      ret));
 cleanup:
	return (result);
}

956 957 958 959 960 961 962 963 964 965 966 967 968 969 970 971
isc_result_t
cfg_parse_sstring(cfg_parser_t *pctx, const cfg_type_t *type,
		  cfg_obj_t **ret)
{
	isc_result_t result;
	UNUSED(type);

	CHECK(cfg_getstringtoken(pctx));
	return (create_string(pctx,
			      TOKEN_STRING(pctx),
			      &cfg_type_sstring,
			      ret));
 cleanup:
	return (result);
}

Evan Hunt's avatar
Evan Hunt committed
972 973 974 975 976 977 978 979 980 981 982 983 984 985 986 987 988 989 990 991 992 993 994 995 996 997 998 999 1000 1001 1002 1003 1004 1005 1006 1007
static isc_result_t
parse_btext(cfg_parser_t *pctx, const cfg_type_t *type,
	    cfg_obj_t **ret)
{
	isc_result_t result;
	UNUSED(type);

	CHECK(cfg_gettoken(pctx, ISC_LEXOPT_BTEXT));
	if (pctx->token.type != isc_tokentype_btext) {
		cfg_parser_error(pctx, CFG_LOG_NEAR,
				 "expected bracketed text");
		return (ISC_R_UNEXPECTEDTOKEN);
	}
	return (create_string(pctx,
			      TOKEN_STRING(pctx),
			      &cfg_type_bracketed_text,
			      ret));
 cleanup:
	return (result);
}

static void
print_btext(cfg_printer_t *pctx, const cfg_obj_t *obj) {
	cfg_print_cstr(pctx, "{");
	cfg_print_chars(pctx, obj->value.string.base, obj->value.string.length);
	print_close(pctx);
}

static void
doc_btext(cfg_printer_t *pctx, const cfg_type_t *type) {
	UNUSED(type);

	cfg_print_cstr(pctx, "{ <unspecified text> }");
}


1008 1009
isc_boolean_t
cfg_is_enum(const char *s, const char *const *enums) {
1010
	const char * const *p;
Andreas Gustafsson's avatar
Andreas Gustafsson committed
1011 1012
	for (p = enums; *p != NULL; p++) {
		if (strcasecmp(*p, s) == 0)
1013
			return (ISC_TRUE);
Andreas Gustafsson's avatar
Andreas Gustafsson committed
1014
	}
1015 1016 1017 1018
	return (ISC_FALSE);
}

static isc_result_t
1019
check_enum(cfg_parser_t *pctx, cfg_obj_t *obj, const char *const *enums) {
1020
	const char *s = obj->value.string.base;
1021
	if (cfg_is_enum(s, enums))
1022
		return (ISC_R_SUCCESS);
1023
	cfg_parser_error(pctx, 0, "'%s' unexpected", s);
Andreas Gustafsson's avatar
Andreas Gustafsson committed
1024 1025 1026
	return (ISC_R_UNEXPECTEDTOKEN);
}

1027 1028
isc_result_t
cfg_parse_enum(cfg_parser_t *pctx, const cfg_type_t *type, cfg_obj_t **ret) {
Automatic Updater's avatar
Automatic Updater committed
1029
	isc_result_t result;
Andreas Gustafsson's avatar
Andreas Gustafsson committed
1030 1031 1032 1033 1034 1035
	cfg_obj_t *obj = NULL;
	CHECK(parse_ustring(pctx, NULL, &obj));
	CHECK(check_enum(pctx, obj, type->of));
	*ret = obj;
	return (ISC_R_SUCCESS);
 cleanup:
Automatic Updater's avatar
Automatic Updater committed
1036
	CLEANUP_OBJ(obj);
Andreas Gustafsson's avatar
Andreas Gustafsson committed
1037 1038 1039
	return (result);
}

1040 1041 1042
void
cfg_doc_enum(cfg_printer_t *pctx, const cfg_type_t *type) {
	const char * const *p;
1043
	cfg_print_cstr(pctx, "( ");
1044 1045 1046
	for (p = type->of; *p != NULL; p++) {
		cfg_print_cstr(pctx, *p);
		if (p[1] != NULL)
1047
			cfg_print_cstr(pctx, " | ");
1048
	}
1049
	cfg_print_cstr(pctx, " )");
1050 1051
}

1052
void
1053
cfg_print_ustring(cfg_printer_t *pctx, const cfg_obj_t *obj) {
1054
	cfg_print_chars(pctx, obj->value.string.base, obj->value.string.length);
1055 1056 1057
}

static void
1058
print_qstring(cfg_printer_t *pctx, const cfg_obj_t *obj) {
1059
	cfg_print_cstr(pctx, "\"");
1060
	cfg_print_ustring(pctx, obj);
1061
	cfg_print_cstr(pctx, "\"");
1062 1063
}

1064 1065
static void
print_sstring(cfg_printer_t *pctx, const cfg_obj_t *obj) {
1066
	cfg_print_cstr(pctx, "\"");
1067 1068 1069
	if ((pctx->flags & CFG_PRINTER_XKEY) != 0) {
		unsigned int len = obj->value.string.length;
		while (len-- > 0)
1070
			cfg_print_cstr(pctx, "?");
1071 1072
	} else
		cfg_print_ustring(pctx, obj);
1073
	cfg_print_cstr(pctx, "\"");
1074 1075
}

1076 1077
static void
free_string(cfg_parser_t *pctx, cfg_obj_t *obj) {
1078 1079
	isc_mem_put(pctx->mctx, obj->value.string.base,
		    obj->value.string.length + 1);
1080 1081
}

1082
isc_boolean_t
1083
cfg_obj_isstring(const cfg_obj_t *obj) {
1084 1085 1086 1087
	REQUIRE(obj != NULL);
	return (ISC_TF(obj->type->rep == &cfg_rep_string));
}

1088
const char *
1089
cfg_obj_asstring(const cfg_obj_t *obj) {
1090 1091 1092 1093
	REQUIRE(obj != NULL && obj->type->rep == &cfg_rep_string);
	return (obj->value.string.base);
}

1094 1095 1096 1097