npf_var.c revision 1.14 1 1.1 rmind /*-
2 1.1 rmind * Copyright (c) 2011-2012 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.14 joe __RCSID("$NetBSD: npf_var.c,v 1.14 2025/05/31 23:32:03 joe 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.14 joe uint32_t
187 1.14 joe npfvar_expand_number(const npfvar_t *vp)
188 1.14 joe {
189 1.14 joe uint32_t *number;
190 1.14 joe if (npfvar_get_count(vp) != 1) {
191 1.14 joe yyerror("variable '%s' has multiple elements", vp->v_key);
192 1.14 joe }
193 1.14 joe number = (uint32_t *)npfvar_get_data(vp, NPFVAR_NUM, 0);
194 1.14 joe return *number;
195 1.14 joe }
196 1.14 joe
197 1.14 joe void
198 1.14 joe npf_var_rid(char *var_id, rid_parser parser, uint32_t *rid, const char *ridt)
199 1.14 joe {
200 1.14 joe npfvar_t *vp = npfvar_lookup(var_id);
201 1.14 joe int type = npfvar_get_type(vp, 0);
202 1.14 joe char *rid_type;
203 1.14 joe
204 1.14 joe switch (type) {
205 1.14 joe case NPFVAR_IDENTIFIER:
206 1.14 joe case NPFVAR_STRING:
207 1.14 joe rid_type = npfvar_expand_string(vp);
208 1.14 joe if (parser(rid_type, rid) == -1) {
209 1.14 joe yyerror("unknown %s %s", var_id, ridt);
210 1.14 joe }
211 1.14 joe break;
212 1.14 joe case NPFVAR_NUM:
213 1.14 joe *rid = npfvar_expand_number(vp);
214 1.14 joe break;
215 1.14 joe case -1:
216 1.14 joe yyerror("undefined variable '%s'", var_id);
217 1.14 joe break;
218 1.14 joe default:
219 1.14 joe yyerror("wrong variable '%s' type '%s' for %s id",
220 1.14 joe var_id, npfvar_type(type), ridt);
221 1.14 joe break;
222 1.14 joe }
223 1.14 joe }
224 1.14 joe
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