Home | History | Annotate | Line # | Download | only in npfctl
npf_var.c revision 1.13.8.1
      1       1.1     rmind /*-
      2  1.13.8.1  perseant  * Copyright (c) 2011-2025 The NetBSD Foundation, Inc.
      3       1.1     rmind  * All rights reserved.
      4       1.1     rmind  *
      5       1.1     rmind  * This code is derived from software contributed to The NetBSD Foundation
      6       1.1     rmind  * by Christos Zoulas.
      7       1.1     rmind  *
      8       1.1     rmind  * Redistribution and use in source and binary forms, with or without
      9       1.1     rmind  * modification, are permitted provided that the following conditions
     10       1.1     rmind  * are met:
     11       1.1     rmind  * 1. Redistributions of source code must retain the above copyright
     12       1.1     rmind  *    notice, this list of conditions and the following disclaimer.
     13       1.1     rmind  * 2. Redistributions in binary form must reproduce the above copyright
     14       1.1     rmind  *    notice, this list of conditions and the following disclaimer in the
     15       1.1     rmind  *    documentation and/or other materials provided with the distribution.
     16       1.1     rmind  *
     17       1.1     rmind  * THIS SOFTWARE IS PROVIDED BY THE NETBSD FOUNDATION, INC. AND CONTRIBUTORS
     18       1.1     rmind  * ``AS IS'' AND ANY EXPRESS OR IMPLIED WARRANTIES, INCLUDING, BUT NOT LIMITED
     19       1.1     rmind  * TO, THE IMPLIED WARRANTIES OF MERCHANTABILITY AND FITNESS FOR A PARTICULAR
     20       1.1     rmind  * PURPOSE ARE DISCLAIMED.  IN NO EVENT SHALL THE FOUNDATION OR CONTRIBUTORS
     21       1.1     rmind  * BE LIABLE FOR ANY DIRECT, INDIRECT, INCIDENTAL, SPECIAL, EXEMPLARY, OR
     22       1.1     rmind  * CONSEQUENTIAL DAMAGES (INCLUDING, BUT NOT LIMITED TO, PROCUREMENT OF
     23       1.1     rmind  * SUBSTITUTE GOODS OR SERVICES; LOSS OF USE, DATA, OR PROFITS; OR BUSINESS
     24       1.1     rmind  * INTERRUPTION) HOWEVER CAUSED AND ON ANY THEORY OF LIABILITY, WHETHER IN
     25       1.1     rmind  * CONTRACT, STRICT LIABILITY, OR TORT (INCLUDING NEGLIGENCE OR OTHERWISE)
     26       1.1     rmind  * ARISING IN ANY WAY OUT OF THE USE OF THIS SOFTWARE, EVEN IF ADVISED OF THE
     27       1.1     rmind  * POSSIBILITY OF SUCH DAMAGE.
     28       1.1     rmind  */
     29       1.1     rmind 
     30      1.13     rmind /*
     31      1.13     rmind  * NPF variables are used to build the intermediate representation (IR)
     32      1.13     rmind  * of the configuration grammar.  They represent primitive types (strings,
     33      1.13     rmind  * numbers, etc) as well as complex types (address and mask, table, etc).
     34      1.13     rmind  */
     35      1.13     rmind 
     36       1.1     rmind #include <sys/cdefs.h>
     37  1.13.8.1  perseant __RCSID("$NetBSD: npf_var.c,v 1.13.8.1 2025/08/02 05:58:52 perseant Exp $");
     38       1.1     rmind 
     39       1.1     rmind #include <stdlib.h>
     40       1.1     rmind #include <string.h>
     41       1.1     rmind #include <unistd.h>
     42       1.1     rmind 
     43       1.1     rmind #define _NPFVAR_PRIVATE
     44       1.1     rmind #include "npfctl.h"
     45       1.1     rmind 
     46       1.1     rmind typedef struct npf_element {
     47       1.1     rmind 	void *		e_data;
     48      1.13     rmind 	unsigned	e_type;
     49       1.1     rmind 	struct npf_element *e_next;
     50       1.1     rmind } npf_element_t;
     51       1.1     rmind 
     52       1.1     rmind struct npfvar {
     53       1.1     rmind 	char *		v_key;
     54       1.1     rmind 	npf_element_t *	v_elements;
     55       1.1     rmind 	npf_element_t *	v_last;
     56       1.1     rmind 	size_t		v_count;
     57       1.1     rmind 	void *		v_next;
     58       1.1     rmind };
     59       1.1     rmind 
     60       1.1     rmind static npfvar_t *	var_list = NULL;
     61       1.2  christos static size_t		var_num = 0;
     62       1.1     rmind 
     63       1.1     rmind npfvar_t *
     64       1.8     rmind npfvar_create(void)
     65       1.1     rmind {
     66       1.7     rmind 	npfvar_t *vp = ecalloc(1, sizeof(*vp));
     67       1.5     rmind 	var_num++;
     68       1.1     rmind 	return vp;
     69       1.1     rmind }
     70       1.1     rmind 
     71       1.1     rmind npfvar_t *
     72       1.1     rmind npfvar_lookup(const char *key)
     73       1.1     rmind {
     74       1.1     rmind 	for (npfvar_t *it = var_list; it != NULL; it = it->v_next)
     75       1.1     rmind 		if (strcmp(it->v_key, key) == 0)
     76       1.1     rmind 			return it;
     77       1.1     rmind 	return NULL;
     78       1.1     rmind }
     79       1.1     rmind 
     80       1.1     rmind const char *
     81       1.1     rmind npfvar_type(size_t t)
     82       1.1     rmind {
     83       1.1     rmind 	if (t >= __arraycount(npfvar_types)) {
     84       1.1     rmind 		return "unknown";
     85       1.1     rmind 	}
     86       1.1     rmind 	return npfvar_types[t];
     87       1.1     rmind }
     88       1.1     rmind 
     89       1.1     rmind void
     90       1.8     rmind npfvar_add(npfvar_t *vp, const char *name)
     91       1.1     rmind {
     92       1.8     rmind 	vp->v_key = estrdup(name);
     93       1.1     rmind 	vp->v_next = var_list;
     94       1.1     rmind 	var_list = vp;
     95       1.1     rmind }
     96       1.1     rmind 
     97       1.1     rmind npfvar_t *
     98      1.13     rmind npfvar_create_element(unsigned type, const void *data, size_t len)
     99       1.8     rmind {
    100       1.8     rmind 	npfvar_t *vp = npfvar_create();
    101       1.8     rmind 	return npfvar_add_element(vp, type, data, len);
    102       1.8     rmind }
    103       1.8     rmind 
    104       1.8     rmind npfvar_t *
    105      1.13     rmind npfvar_create_from_string(unsigned type, const char *string)
    106       1.8     rmind {
    107       1.8     rmind 	return npfvar_create_element(type, string, strlen(string) + 1);
    108       1.8     rmind }
    109       1.8     rmind 
    110       1.8     rmind npfvar_t *
    111      1.13     rmind npfvar_add_element(npfvar_t *vp, unsigned type, const void *data, size_t len)
    112       1.1     rmind {
    113       1.1     rmind 	npf_element_t *el;
    114       1.1     rmind 
    115       1.7     rmind 	el = ecalloc(1, sizeof(*el));
    116       1.7     rmind 	el->e_data = ecalloc(1, len);
    117       1.4  christos 	el->e_type = type;
    118       1.1     rmind 	memcpy(el->e_data, data, len);
    119       1.1     rmind 
    120      1.13     rmind 	/* Preserve the order of insertion. */
    121       1.1     rmind 	if (vp->v_elements == NULL) {
    122       1.1     rmind 		vp->v_elements = el;
    123       1.1     rmind 	} else {
    124       1.1     rmind 		vp->v_last->e_next = el;
    125       1.1     rmind 	}
    126       1.1     rmind 	vp->v_last = el;
    127      1.13     rmind 	vp->v_count++;
    128       1.1     rmind 	return vp;
    129       1.1     rmind }
    130       1.1     rmind 
    131       1.1     rmind npfvar_t *
    132       1.1     rmind npfvar_add_elements(npfvar_t *vp, npfvar_t *vp2)
    133       1.1     rmind {
    134       1.1     rmind 	if (vp2 == NULL)
    135       1.1     rmind 		return vp;
    136       1.1     rmind 	if (vp == NULL)
    137       1.1     rmind 		return vp2;
    138       1.1     rmind 
    139       1.1     rmind 	if (vp->v_elements == NULL) {
    140       1.1     rmind 		if (vp2->v_elements) {
    141       1.1     rmind 			vp->v_elements = vp2->v_elements;
    142       1.1     rmind 		}
    143       1.1     rmind 	} else if (vp2->v_elements) {
    144       1.1     rmind 		vp->v_last->e_next = vp2->v_elements;
    145       1.1     rmind 	}
    146       1.1     rmind 	if (vp2->v_elements) {
    147       1.1     rmind 		vp->v_last = vp2->v_last;
    148       1.1     rmind 		vp->v_count += vp2->v_count;
    149       1.1     rmind 		vp2->v_elements = NULL;
    150       1.1     rmind 		vp2->v_count = 0;
    151       1.1     rmind 		vp2->v_last = NULL;
    152       1.1     rmind 	}
    153       1.1     rmind 	npfvar_destroy(vp2);
    154       1.1     rmind 	return vp;
    155       1.1     rmind }
    156       1.1     rmind 
    157       1.1     rmind static void
    158       1.1     rmind npfvar_free_elements(npf_element_t *el)
    159       1.1     rmind {
    160       1.1     rmind 	if (el == NULL)
    161       1.1     rmind 		return;
    162       1.1     rmind 	npfvar_free_elements(el->e_next);
    163       1.1     rmind 	free(el->e_data);
    164       1.1     rmind 	free(el);
    165       1.1     rmind }
    166       1.1     rmind 
    167       1.1     rmind void
    168       1.1     rmind npfvar_destroy(npfvar_t *vp)
    169       1.1     rmind {
    170       1.1     rmind 	npfvar_free_elements(vp->v_elements);
    171       1.1     rmind 	free(vp->v_key);
    172       1.1     rmind 	free(vp);
    173       1.5     rmind 	var_num--;
    174       1.1     rmind }
    175       1.1     rmind 
    176       1.1     rmind char *
    177       1.1     rmind npfvar_expand_string(const npfvar_t *vp)
    178       1.1     rmind {
    179      1.12     rmind 	if (npfvar_get_count(vp) != 1) {
    180      1.13     rmind 		yyerror("variable '%s' has multiple elements", vp->v_key);
    181      1.13     rmind 		return NULL;
    182      1.12     rmind 	}
    183       1.1     rmind 	return npfvar_get_data(vp, NPFVAR_STRING, 0);
    184       1.1     rmind }
    185       1.1     rmind 
    186  1.13.8.1  perseant uint32_t
    187  1.13.8.1  perseant npfvar_expand_number(const npfvar_t *vp)
    188  1.13.8.1  perseant {
    189  1.13.8.1  perseant 	uint32_t *number;
    190  1.13.8.1  perseant 	if (npfvar_get_count(vp) != 1) {
    191  1.13.8.1  perseant 		yyerror("variable '%s' has multiple elements", vp->v_key);
    192  1.13.8.1  perseant 	}
    193  1.13.8.1  perseant 	number =  (uint32_t *)npfvar_get_data(vp, NPFVAR_NUM, 0);
    194  1.13.8.1  perseant 	return *number;
    195  1.13.8.1  perseant }
    196  1.13.8.1  perseant 
    197  1.13.8.1  perseant void
    198  1.13.8.1  perseant npf_var_rid(char *var_id, rid_parser parser, uint32_t *rid, const char *ridt)
    199  1.13.8.1  perseant {
    200  1.13.8.1  perseant 	npfvar_t *vp = npfvar_lookup(var_id);
    201  1.13.8.1  perseant 	int type = npfvar_get_type(vp, 0);
    202  1.13.8.1  perseant 	char *rid_type;
    203  1.13.8.1  perseant 
    204  1.13.8.1  perseant 	switch (type) {
    205  1.13.8.1  perseant 	case NPFVAR_IDENTIFIER:
    206  1.13.8.1  perseant 	case NPFVAR_STRING:
    207  1.13.8.1  perseant 		rid_type = npfvar_expand_string(vp);
    208  1.13.8.1  perseant 		if (parser(rid_type, rid) == -1) {
    209  1.13.8.1  perseant 			yyerror("unknown %s %s", var_id, ridt);
    210  1.13.8.1  perseant 		}
    211  1.13.8.1  perseant 		break;
    212  1.13.8.1  perseant 	case NPFVAR_NUM:
    213  1.13.8.1  perseant 		*rid = npfvar_expand_number(vp);
    214  1.13.8.1  perseant 		break;
    215  1.13.8.1  perseant 	case -1:
    216  1.13.8.1  perseant 		yyerror("undefined variable '%s'", var_id);
    217  1.13.8.1  perseant 		break;
    218  1.13.8.1  perseant 	default:
    219  1.13.8.1  perseant 		yyerror("wrong variable '%s' type '%s' for %s id",
    220  1.13.8.1  perseant 			var_id, npfvar_type(type), ridt);
    221  1.13.8.1  perseant 		break;
    222  1.13.8.1  perseant 	}
    223  1.13.8.1  perseant }
    224  1.13.8.1  perseant 
    225       1.1     rmind size_t
    226       1.1     rmind npfvar_get_count(const npfvar_t *vp)
    227       1.1     rmind {
    228       1.1     rmind 	return vp ? vp->v_count : 0;
    229       1.1     rmind }
    230       1.1     rmind 
    231      1.13     rmind static npf_element_t *
    232      1.13     rmind npfvar_get_element(const npfvar_t *vp, size_t idx, size_t level)
    233       1.1     rmind {
    234       1.1     rmind 	npf_element_t *el;
    235       1.1     rmind 
    236      1.13     rmind 	/*
    237      1.13     rmind 	 * Verify the parameters.
    238      1.13     rmind 	 */
    239      1.13     rmind 	if (vp == NULL) {
    240       1.2  christos 		return NULL;
    241       1.2  christos 	}
    242      1.13     rmind 	if (level >= var_num) {
    243      1.13     rmind 		yyerror("circular dependency for variable '%s'", vp->v_key);
    244       1.1     rmind 		return NULL;
    245       1.1     rmind 	}
    246       1.1     rmind 	if (vp->v_count <= idx) {
    247       1.1     rmind 		yyerror("variable '%s' has only %zu elements, requested %zu",
    248       1.1     rmind 		    vp->v_key, vp->v_count, idx);
    249       1.1     rmind 		return NULL;
    250       1.1     rmind 	}
    251       1.1     rmind 
    252      1.13     rmind 	/*
    253      1.13     rmind 	 * Get the element at the given index.
    254      1.13     rmind 	 */
    255       1.1     rmind 	el = vp->v_elements;
    256       1.1     rmind 	while (idx--) {
    257       1.1     rmind 		el = el->e_next;
    258       1.1     rmind 	}
    259       1.2  christos 
    260      1.13     rmind 	/*
    261      1.13     rmind 	 * Resolve if it is a reference to another variable.
    262      1.13     rmind 	 */
    263      1.13     rmind 	if (el->e_type == NPFVAR_VAR_ID) {
    264      1.13     rmind 		const npfvar_t *rvp = npfvar_lookup(el->e_data);
    265      1.13     rmind 		return npfvar_get_element(rvp, 0, level + 1);
    266       1.4  christos 	}
    267      1.13     rmind 	return el;
    268       1.4  christos }
    269       1.4  christos 
    270       1.4  christos int
    271       1.4  christos npfvar_get_type(const npfvar_t *vp, size_t idx)
    272       1.4  christos {
    273      1.13     rmind 	npf_element_t *el = npfvar_get_element(vp, idx, 0);
    274      1.13     rmind 	return el ? (int)el->e_type : -1;
    275       1.4  christos }
    276       1.4  christos 
    277       1.2  christos void *
    278      1.13     rmind npfvar_get_data(const npfvar_t *vp, unsigned type, size_t idx)
    279       1.2  christos {
    280      1.13     rmind 	npf_element_t *el = npfvar_get_element(vp, idx, 0);
    281      1.13     rmind 
    282      1.13     rmind 	if (el && NPFVAR_TYPE(el->e_type) != NPFVAR_TYPE(type)) {
    283      1.13     rmind 		yyerror("variable '%s' element %zu "
    284      1.13     rmind 		    "is of type '%s' rather than '%s'", vp->v_key,
    285      1.13     rmind 		    idx, npfvar_type(el->e_type), npfvar_type(type));
    286      1.13     rmind 		return NULL;
    287      1.13     rmind 	}
    288      1.13     rmind 	return el->e_data;
    289       1.2  christos }
    290