2 * UCW Library -- Configuration files
4 * (c) 2001--2006 Robert Spalek <robert@ucw.cz>
5 * (c) 2003--2012 Martin Mares <mj@ucw.cz>
7 * This software may be freely distributed and used according to the terms
8 * of the GNU Lesser General Public License.
14 #include <ucw/clists.h>
16 #ifdef CONFIG_UCW_CLEAN_ABI
17 #define cf_close_group ucw_cf_close_group
18 #define cf_declare_rel_section ucw_cf_declare_rel_section
19 #define cf_declare_section ucw_cf_declare_section
20 #define cf_delete_context ucw_cf_delete_context
21 #define cf_dump_sections ucw_cf_dump_sections
22 #define cf_find_item ucw_cf_find_item
23 #define cf_get_pool ucw_cf_get_pool
24 #define cf_init_section ucw_cf_init_section
25 #define cf_journal_block ucw_cf_journal_block
26 #define cf_journal_commit_transaction ucw_cf_journal_commit_transaction
27 #define cf_journal_new_transaction ucw_cf_journal_new_transaction
28 #define cf_journal_rollback_transaction ucw_cf_journal_rollback_transaction
29 #define cf_load ucw_cf_load
30 #define cf_malloc ucw_cf_malloc
31 #define cf_malloc_zero ucw_cf_malloc_zero
32 #define cf_modify_item ucw_cf_modify_item
33 #define cf_new_context ucw_cf_new_context
34 #define cf_open_group ucw_cf_open_group
35 #define cf_parse_double ucw_cf_parse_double
36 #define cf_parse_int ucw_cf_parse_int
37 #define cf_parse_ip ucw_cf_parse_ip
38 #define cf_parse_u64 ucw_cf_parse_u64
39 #define cf_printf ucw_cf_printf
40 #define cf_reload ucw_cf_reload
41 #define cf_revert ucw_cf_revert
42 #define cf_set ucw_cf_set
43 #define cf_set_journalling ucw_cf_set_journalling
44 #define cf_strdup ucw_cf_strdup
45 #define cf_switch_context ucw_cf_switch_context
52 * Configuration contexts
53 * ~~~~~~~~~~~~~~~~~~~~~~
55 * The state of the configuration parser is stored within a configuration context.
56 * One such context is automatically created during initialization of the library
57 * and you need not care about more, as long as you use a single configuration file.
59 * In full generality, you can define as many contexts as you wish and switch
60 * between them. Each thread has its own pointer to the current context, which
61 * must not be shared with other threads.
64 /** Create a new configuration context. **/
65 struct cf_context *cf_new_context(void);
68 * Free a configuration context. The context must not be set as current
69 * for any thread, nor can it be the default context.
71 * All configuration settings made within the context are rolled back
72 * (except when journalling is turned off). All memory allocated on behalf
73 * of the context is freed, which includes memory obtained by calls to
76 void cf_delete_context(struct cf_context *cc);
79 * Make the given configuration context current and return the previously
80 * active context. Both the new and the old context may be NULL.
82 struct cf_context *cf_switch_context(struct cf_context *cc);
86 * Safe configuration loading
87 * ~~~~~~~~~~~~~~~~~~~~~~~~~~
89 * These functions can be used to to safely load or reload configuration.
93 * Load configuration from @file.
94 * Returns a non-zero value upon error. In that case, all changes to the
95 * configuration specified in the file are undone.
97 int cf_load(const char *file);
100 * Reload configuration from @file, replace the old one.
101 * If @file is NULL, reload all loaded configuration files and re-apply
102 * bits of configuration passed to cf_set().
103 * Returns a non-zero value upon error. In that case, all configuration
104 * settings are rolled back to the state before calling this function.
106 int cf_reload(const char *file);
109 * Parse some part of configuration passed in @string.
110 * The syntax is the same as in the <<config:,configuration file>>.
111 * Returns a non-zero value upon error. In that case, all changes to the
112 * configuration specified by the already executed parts of the string
115 int cf_set(const char *string);
118 * Sometimes, the configuration is split to multiple files and when only
119 * some of the are loaded, the settings are not consistent -- for example,
120 * they might have been rejected by a commit hook, because a mandatory setting
123 * This function opens a configuration group, in which multiple files can be
124 * loaded and all commit hooks are deferred until the group is closed.
126 void cf_open_group(void);
129 * Close a group opened by cf_open_group(). Returns a non-zero value upon error,
130 * which usually means that a commit hook has failed.
132 int cf_close_group(void);
135 * Return all configuration items to their initial state before loading the
136 * configuration file. If journalling is disabled, it does nothing.
138 void cf_revert(void);
140 /*** === Data types [[conf_types]] ***/
142 enum cf_class { /** Class of the configuration item. **/
143 CC_END, // end of list
144 CC_STATIC, // single variable or static array
145 CC_DYNAMIC, // dynamically allocated array
146 CC_PARSER, // arbitrary parser function
147 CC_SECTION, // section appears exactly once
148 CC_LIST, // list with 0..many nodes
149 CC_BITMAP // of up to 32 items
152 enum cf_type { /** Type of a single value. **/
153 CT_INT, CT_U64, CT_DOUBLE, // number types
155 CT_STRING, // string type
156 CT_LOOKUP, // in a string table
157 CT_USER // user-defined type
163 * A parser function gets an array of (strdup'ed) strings and a pointer with
164 * the customized information (most likely the target address). It can store
165 * the parsed value anywhere in any way it likes, however it must first call
166 * @cf_journal_block() on the overwritten memory block. It returns an error
167 * message or NULL if everything is all right.
169 typedef char *cf_parser(uns number, char **pars, void *ptr);
171 * A parser function for user-defined types gets a string and a pointer to
172 * the destination variable. It must store the value within [ptr,ptr+size),
173 * where size is fixed for each type. It should not call @cf_journal_block().
175 typedef char *cf_parser1(char *string, void *ptr);
177 * An init- or commit-hook gets a pointer to the section or NULL if this
178 * is the global section. It returns an error message or NULL if everything
179 * is all right. The init-hook should fill in default values (needed for
180 * dynamically allocated nodes of link lists or for filling global variables
181 * that are run-time dependent). The commit-hook should perform sanity
182 * checks and postprocess the parsed values. Commit-hooks must call
183 * @cf_journal_block() too. Caveat! init-hooks for static sections must not
184 * use @cf_malloc() but normal <<memory:xmalloc()>>.
186 typedef char *cf_hook(void *ptr);
188 * Dumps the contents of a variable of a user-defined type.
190 typedef void cf_dumper1(struct fastbuf *fb, void *ptr);
192 * Similar to init-hook, but it copies attributes from another list node
193 * instead of setting the attributes to default values. You have to provide
194 * it if your node contains parsed values and/or sub-lists.
196 typedef char *cf_copier(void *dest, void *src);
198 struct cf_user_type { /** Structure to store information about user-defined variable type. **/
199 uns size; // of the parsed attribute
200 char *name; // name of the type (for dumping)
201 cf_parser1 *parser; // how to parse it
202 cf_dumper1 *dumper; // how to dump the type
206 struct cf_item { /** Single configuration item. **/
207 const char *name; // case insensitive
208 int number; // length of an array or #parameters of a parser (negative means at most)
209 void *ptr; // pointer to a global variable or an offset in a section
211 struct cf_section *sec; // declaration of a section or a list
212 cf_parser *par; // parser function
213 const char * const *lookup; // NULL-terminated sequence of allowed strings for lookups
214 struct cf_user_type *utype; // specification of the user-defined type
216 enum cf_class cls:16; // attribute class
217 enum cf_type type:16; // type of a static or dynamic attribute
220 struct cf_section { /** A section. **/
221 uns size; // 0 for a global block, sizeof(struct) for a section
222 cf_hook *init; // fills in default values (no need to bzero)
223 cf_hook *commit; // verifies parsed data (optional)
224 cf_copier *copy; // copies values from another instance (optional, no need to copy basic attributes)
225 struct cf_item *cfg; // CC_END-terminated array of items
226 uns flags; // for internal use only
234 * You could create the structures manually, but you can use these macros to
239 * Declaration of <<struct_cf_section,`cf_section`>>
240 * ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
242 * These macros can be used to configure the <<struct_cf_section,`cf_section`>>
247 * Data type of a section.
248 * If you store the section into a structure, use this macro.
250 * Storing a section into a structure is useful mostly when you may have multiple instances of the
251 * section (eg. <<conf_multi,array or list>>).
256 * cnode n; // This one is for the list itself
261 * static struct clist nodes;
263 * static struct cf_section node = {
264 * CF_TYPE(struct list_node),
266 * CF_STRING("name", PTR_TO(struct list_node, name)),
267 * CF_UNS("value", PTR_TO(struct list_node, value)),
272 * static struct cf_section section = {
273 * CF_LIST("node", &nodes, &node),
277 * You could use <<def_CF_STATIC,`CF_STATIC`>> or <<def_CF_DYNAMIC,`CF_DYNAMIC`>>
278 * macros to create arrays.
280 #define CF_TYPE(s) .size = sizeof(s)
282 * An init <<hooks,hook>>.
283 * You can use this to initialize dynamically allocated items (for a dynamic array or list).
284 * The hook returns an error message or NULL if everything was OK.
286 #define CF_INIT(f) .init = (cf_hook*) f
288 * A commit <<hooks,hook>>.
289 * You can use this one to check sanity of loaded data and postprocess them.
290 * You must call @cf_journal_block() if you change anything.
292 * Return error message or NULL if everything went OK.
294 #define CF_COMMIT(f) .commit = (cf_hook*) f
296 * A <<hooks,copy function>>.
297 * You need to provide one for too complicated sections where a memcpy is not
298 * enough to copy it properly. It happens, for example, when you have a dynamically
299 * allocated section containing a list of other sections.
301 * You return an error message or NULL if you succeed.
303 #define CF_COPY(f) .copy = (cf_copier*) f /** **/
304 #define CF_ITEMS .cfg = ( struct cf_item[] ) /** List of sub-items. **/
305 #define CF_END { .cls = CC_END } /** End of the structure. **/
307 * Declaration of a configuration item
308 * ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
310 * Each of these describe single <<struct_cf_item,configuration item>>. They are mostly
311 * for internal use, do not use them directly unless you really know what you are doing.
315 * Static array of items.
316 * Expects you to allocate the memory and provide pointer to it.
318 #define CF_STATIC(n,p,T,t,c) { .cls = CC_STATIC, .type = CT_##T, .name = n, .number = c, .ptr = CHECK_PTR_TYPE(p,t*) }
320 * Dynamic array of items.
321 * Expects you to provide pointer to your pointer to data and it will allocate new memory for it
322 * and set your pointer to it.
324 #define CF_DYNAMIC(n,p,T,t,c) { .cls = CC_DYNAMIC, .type = CT_##T, .name = n, .number = c, .ptr = CHECK_PTR_TYPE(p,t**) }
325 #define CF_PARSER(n,p,f,c) { .cls = CC_PARSER, .name = n, .number = c, .ptr = p, .u.par = (cf_parser*) f } /** A low-level parser. **/
326 #define CF_SECTION(n,p,s) { .cls = CC_SECTION, .name = n, .number = 1, .ptr = p, .u.sec = s } /** A sub-section. **/
327 #define CF_LIST(n,p,s) { .cls = CC_LIST, .name = n, .number = 1, .ptr = CHECK_PTR_TYPE(p,clist*), .u.sec = s } /** A list with sub-items. **/
328 #define CF_BITMAP_INT(n,p) { .cls = CC_BITMAP, .type = CT_INT, .name = n, .number = 1, .ptr = CHECK_PTR_TYPE(p,u32*) } /** A bitmap. **/
329 #define CF_BITMAP_LOOKUP(n,p,t) { .cls = CC_BITMAP, .type = CT_LOOKUP, .name = n, .number = 1, .ptr = CHECK_PTR_TYPE(p,u32*), .u.lookup = t } /** A bitmap with named bits. **/
331 * Basic configuration items
332 * ^^^^^^^^^^^^^^^^^^^^^^^^^
334 * They describe basic data types used in the configuration. This should be enough for
335 * most real-life purposes.
337 * The parameters are as follows:
339 * * @n -- name of the item.
340 * * @p -- pointer to the variable where it shall be stored.
343 #define CF_INT(n,p) CF_STATIC(n,p,INT,int,1) /** Single `int` value. **/
344 #define CF_INT_ARY(n,p,c) CF_STATIC(n,p,INT,int,c) /** Static array of integers. **/
345 #define CF_INT_DYN(n,p,c) CF_DYNAMIC(n,p,INT,int,c) /** Dynamic array of integers. **/
346 #define CF_UNS(n,p) CF_STATIC(n,p,INT,uns,1) /** Single `uns` (`unsigned`) value. **/
347 #define CF_UNS_ARY(n,p,c) CF_STATIC(n,p,INT,uns,c) /** Static array of unsigned integers. **/
348 #define CF_UNS_DYN(n,p,c) CF_DYNAMIC(n,p,INT,uns,c) /** Dynamic array of unsigned integers. **/
349 #define CF_U64(n,p) CF_STATIC(n,p,U64,u64,1) /** Single unsigned 64bit integer (`u64`). **/
350 #define CF_U64_ARY(n,p,c) CF_STATIC(n,p,U64,u64,c) /** Static array of u64s. **/
351 #define CF_U64_DYN(n,p,c) CF_DYNAMIC(n,p,U64,u64,c) /** Dynamic array of u64s. **/
352 #define CF_DOUBLE(n,p) CF_STATIC(n,p,DOUBLE,double,1) /** Single instance of `double`. **/
353 #define CF_DOUBLE_ARY(n,p,c) CF_STATIC(n,p,DOUBLE,double,c) /** Static array of doubles. **/
354 #define CF_DOUBLE_DYN(n,p,c) CF_DYNAMIC(n,p,DOUBLE,double,c) /** Dynamic array of doubles. **/
355 #define CF_IP(n,p) CF_STATIC(n,p,IP,u32,1) /** Single IPv4 address. **/
356 #define CF_IP_ARY(n,p,c) CF_STATIC(n,p,IP,u32,c) /** Static array of IP addresses. **/.
357 #define CF_IP_DYN(n,p,c) CF_DYNAMIC(n,p,IP,u32,c) /** Dynamic array of IP addresses. **/
360 * You provide a pointer to a `char *` variable and it will fill it with
361 * dynamically allocated string. For example:
363 * static char *string = "Default string";
365 * static struct cf_section section = {
367 * CF_STRING("string", &string),
372 #define CF_STRING(n,p) CF_STATIC(n,p,STRING,char*,1)
373 #define CF_STRING_ARY(n,p,c) CF_STATIC(n,p,STRING,char*,c) /** Static array of strings. **/
374 #define CF_STRING_DYN(n,p,c) CF_DYNAMIC(n,p,STRING,char*,c) /** Dynamic array of strings. **/
376 * One string out of a predefined set.
377 * You provide the set as an array of strings terminated by NULL (similar to @argv argument
378 * of main()) as the @t parameter.
380 * The configured variable (pointer to `int`) is set to index of the string.
381 * So, it works this way:
383 * static *strings[] = { "First", "Second", "Third", NULL };
385 * static int variable;
387 * static struct cf_section section = {
389 * CF_LOOKUP("choice", &variable, strings),
394 * Now, if the configuration contains `choice "Second"`, `variable` will be set to 1.
396 #define CF_LOOKUP(n,p,t) { .cls = CC_STATIC, .type = CT_LOOKUP, .name = n, .number = 1, .ptr = CHECK_PTR_TYPE(p,int*), .u.lookup = t }
398 * Static array of strings out of predefined set.
400 #define CF_LOOKUP_ARY(n,p,t,c) { .cls = CC_STATIC, .type = CT_LOOKUP, .name = n, .number = c, .ptr = CHECK_PTR_TYPE(p,int*), .u.lookup = t }
402 * Dynamic array of strings out of predefined set.
404 #define CF_LOOKUP_DYN(n,p,t,c) { .cls = CC_DYNAMIC, .type = CT_LOOKUP, .name = n, .number = c, .ptr = CHECK_PTR_TYPE(p,int**), .u.lookup = t }
406 * A user-defined type.
407 * See <<custom_parser,creating custom parsers>> section if you want to know more.
409 #define CF_USER(n,p,t) { .cls = CC_STATIC, .type = CT_USER, .name = n, .number = 1, .ptr = p, .u.utype = t }
411 * Static array of user-defined types (all of the same type).
412 * See <<custom_parser,creating custom parsers>> section.
414 #define CF_USER_ARY(n,p,t,c) { .cls = CC_STATIC, .type = CT_USER, .name = n, .number = c, .ptr = p, .u.utype = t }
416 * Dynamic array of user-defined types.
417 * See <<custom_parser,creating custom parsers>> section.
419 #define CF_USER_DYN(n,p,t,c) { .cls = CC_DYNAMIC, .type = CT_USER, .name = n, .number = c, .ptr = p, .u.utype = t }
422 * Any number of dynamic array elements
424 #define CF_ANY_NUM -0x7fffffff
426 #define DARY_LEN(a) ((uns*)a)[-1] /** Length of an dynamic array. **/
427 #define DARY_ALLOC(type,len,val...) ((struct { byte pad[ALIGN_TO(sizeof(uns), CPU_STRUCT_ALIGN) - sizeof(uns)]; uns l; type a[len]; }) { .l = len, .a = { val } }).a
428 // creates a static instance of a dynamic array
435 * Each configuration context has one or more <<mempool:,memory pools>>, where all
436 * data related to the configuration are stored.
438 * The following set of functions allocate from these pools. The allocated memory
439 * is valid as long as the current configuration (when the configuration file is
440 * reloaded or rolled back, or the context is deleted, it gets lost).
442 * Memory allocated from within custom parsers should be allocated from the pools.
444 * Please note that the pool is not guaranteed to exist before you call cf_load(),
445 * cf_set(), or cf_getopt() on the particular context.
447 struct mempool *cf_get_pool(void); /** Return a pointer to the current configuration pool. **/
448 void *cf_malloc(uns size); /** Returns @size bytes of memory allocated from the current configuration pool. **/
449 void *cf_malloc_zero(uns size); /** Like @cf_malloc(), but zeroes the memory. **/
450 char *cf_strdup(const char *s); /** Copy a string into @cf_malloc()ed memory. **/
451 char *cf_printf(const char *fmt, ...) FORMAT_CHECK(printf,1,2); /** printf() into @cf_malloc()ed memory. **/
458 * The configuration system uses a simple journaling mechanism, which makes
459 * it possible to undo changes to configuration. A typical example is loading
460 * of configuration by cf_load(): internally, it creates a transaction, applies
461 * all changes specified by the configuration and if one of them fails, the whole
462 * journal is replayed to restore the whole original state. Similarly, cf_reload()
463 * uses the journal to switch between configurations.
465 * In most cases, you need not care about the journal, except when you need
466 * to change some data from a <<hooks,hook>>, or if you want to call cf_modify_item() and then
470 * This function can be used to disable the whole journalling mechanism.
471 * It saves some memory, but it makes undoing of configuration changes impossible,
472 * which breaks for example cf_reload().
474 void cf_set_journalling(int enable);
476 * When a block of memory is about to be changed, put the old value
477 * into journal with this function. You need to call it from a <<hooks,commit hook>>
478 * if you change anything. It is used internally by low-level parsers.
479 * <<custom_parser,Custom parsers>> do not need to call it, it is called
482 void cf_journal_block(void *ptr, uns len);
483 #define CF_JOURNAL_VAR(var) cf_journal_block(&(var), sizeof(var)) // Store a single value into the journal
485 struct cf_journal_item; /** Opaque identifier of the journal state. **/
487 * Starts a new transaction. It returns the current state so you can
488 * get back to it. The @new_pool parameter tells if a new memory pool
489 * should be created and used from now.
491 struct cf_journal_item *cf_journal_new_transaction(uns new_pool);
493 * Marks current state as a complete transaction. The @new_pool
494 * parameter tells if the transaction was created with new memory pool
495 * (the parameter must be the same as the one with
496 * @cf_journal_new_transaction() was called with). The @oldj parameter
497 * is the journal state returned from last
498 * @cf_journal_new_transaction() call.
500 void cf_journal_commit_transaction(uns new_pool, struct cf_journal_item *oldj);
502 * Returns to an old journal state, reverting anything the current
503 * transaction did. The @new_pool parameter must be the same as the
504 * one you used when you created the transaction. The @oldj parameter
505 * is the journal state you got from @cf_journal_new_transaction() --
506 * it is the state to return to.
508 void cf_journal_rollback_transaction(uns new_pool, struct cf_journal_item *oldj);
512 * Section declaration
513 * ~~~~~~~~~~~~~~~~~~~
517 * Plug another top-level section into the configuration system.
518 * @name is the name in the configuration file,
519 * @sec is pointer to the section description.
520 * If @allow_unknown is set to 0 and a variable not described in @sec
521 * is found in the configuration file, it produces an error.
522 * If you set it to 1, all such variables are ignored.
524 * Please note that a single section definition cannot be used in multiple
525 * configuration contexts simultaneously.
527 void cf_declare_section(const char *name, struct cf_section *sec, uns allow_unknown);
529 * Like @cf_declare_section(), but instead of item pointers, the section
530 * contains offsets relative to @ptr. In other words, it does the same
531 * as `CF_SECTION`, but for top-level sections.
533 void cf_declare_rel_section(const char *name, struct cf_section *sec, void *ptr, uns allow_unknown);
535 * If you have a section in a structure and you want to initialize it
536 * (eg. if you want a copy of default values outside the configuration),
537 * you can use this. It initializes it recursively.
539 * This is used mostly internally. You probably do not need it.
541 void cf_init_section(const char *name, struct cf_section *sec, void *ptr, uns do_bzero);
545 * Parsers for basic types
546 * ~~~~~~~~~~~~~~~~~~~~~~~
548 * Each of them gets a string to parse and pointer to store the value.
549 * It returns either NULL or error message.
551 * The parsers support units. See <<config:units,their list>>.
553 char *cf_parse_int(const char *str, int *ptr); /** Parser for integers. **/
554 char *cf_parse_u64(const char *str, u64 *ptr); /** Parser for 64 unsigned integers. **/
555 char *cf_parse_double(const char *str, double *ptr); /** Parser for doubles. **/
556 char *cf_parse_ip(const char *p, u32 *varp); /** Parser for IP addresses. **/
563 * Direct access to configuration items.
564 * You probably should not need this, but in your do, you have to handle
565 * <<journal,journalling>> yourself.
569 * List of operations used on items.
570 * This macro is used to generate internal source code,
571 * but you may be interested in the list of operations it creates.
573 * Each operation corresponds to the same-named operation
574 * described in <<config:operations,configuration syntax>>.
576 #define CF_OPERATIONS T(CLOSE) T(SET) T(CLEAR) T(ALL) \
577 T(APPEND) T(PREPEND) T(REMOVE) T(EDIT) T(AFTER) T(BEFORE) T(COPY) T(RESET)
578 /* Closing brace finishes previous block.
579 * Basic attributes (static, dynamic, parsed) can be used with SET.
580 * Dynamic arrays can be used with SET, APPEND, PREPEND.
581 * Sections can be used with SET.
582 * Lists can be used with everything. */
584 enum cf_operation { CF_OPERATIONS }; /** Allowed operations on items. See <<def_CF_OPERATIONS,`CF_OPERATIONS`>> for list (they have an `OP_` prefix -- it means you use `OP_SET` instead of just `SET`). **/
588 * Searches for a configuration item called @name.
589 * If it is found, it is copied into @item and NULL is returned.
590 * Otherwise, an error is returned and @item is zeroed.
592 char *cf_find_item(const char *name, struct cf_item *item);
594 * Performs a single operation on a given item.
596 char *cf_modify_item(struct cf_item *item, enum cf_operation op, int number, char **pars);
606 * Write the current state of all configuration items into @fb.
608 void cf_dump_sections(struct fastbuf *fb);