keyword-gen.c revision 1.7 1 1.7 christos /* $NetBSD: keyword-gen.c,v 1.7 2015/07/10 14:20:32 christos Exp $ */
2 1.1 kardel
3 1.1 kardel /*
4 1.1 kardel * keyword-gen.c -- generate keyword scanner finite state machine and
5 1.1 kardel * keyword_text array.
6 1.4 christos *
7 1.4 christos * This program is run to generate ntp_keyword.h
8 1.4 christos * After making a change here, two output files should be committed at
9 1.4 christos * the same time as keyword-gen.c:
10 1.4 christos * ntp_keyword.h
11 1.4 christos * keyword-gen-utd
12 1.4 christos *
13 1.4 christos * keyword-gen-utd is a sentinel used by Makefile.am to avoid compiling
14 1.4 christos * keyword_gen.c and generating ntp_keyword.h if the input keyword-gen.c
15 1.4 christos * has not changed. This is not solely an optimization, it also breaks
16 1.4 christos * a dependency chain that otherwise would cause programs to be compiled
17 1.4 christos * when running "make dist" or "make distdir". We want these to package
18 1.4 christos * the existing source without building anything but a tarball. See
19 1.4 christos * [Bug 1470].
20 1.1 kardel */
21 1.1 kardel #include <config.h>
22 1.1 kardel #include <stdio.h>
23 1.1 kardel #include <stdlib.h>
24 1.1 kardel #include <time.h>
25 1.1 kardel
26 1.1 kardel #include <ntp_stdlib.h>
27 1.1 kardel #include <ntp_config.h>
28 1.1 kardel #include <lib_strbuf.h>
29 1.1 kardel #include "ntp_scanner.h"
30 1.1 kardel #include "ntp_parser.h"
31 1.1 kardel
32 1.1 kardel
33 1.1 kardel /* Define a structure to hold a (keyword, token) pair */
34 1.1 kardel struct key_tok {
35 1.1 kardel char * key; /* Keyword */
36 1.4 christos u_short token; /* Associated Token */
37 1.1 kardel follby followedby; /* nonzero indicates the next token(s)
38 1.1 kardel forced to be string(s) */
39 1.1 kardel };
40 1.1 kardel
41 1.1 kardel struct key_tok ntp_keywords[] = {
42 1.3 kardel { "...", T_Ellipsis, FOLLBY_TOKEN },
43 1.4 christos { "allpeers", T_Allpeers, FOLLBY_TOKEN },
44 1.1 kardel { "automax", T_Automax, FOLLBY_TOKEN },
45 1.1 kardel { "broadcast", T_Broadcast, FOLLBY_STRING },
46 1.1 kardel { "broadcastclient", T_Broadcastclient, FOLLBY_TOKEN },
47 1.1 kardel { "broadcastdelay", T_Broadcastdelay, FOLLBY_TOKEN },
48 1.4 christos { "ctl", T_Ctl, FOLLBY_TOKEN },
49 1.1 kardel { "disable", T_Disable, FOLLBY_TOKEN },
50 1.1 kardel { "driftfile", T_Driftfile, FOLLBY_STRING },
51 1.7 christos { "dscp", T_Dscp, FOLLBY_TOKEN },
52 1.1 kardel { "enable", T_Enable, FOLLBY_TOKEN },
53 1.1 kardel { "end", T_End, FOLLBY_TOKEN },
54 1.1 kardel { "filegen", T_Filegen, FOLLBY_TOKEN },
55 1.1 kardel { "fudge", T_Fudge, FOLLBY_STRING },
56 1.4 christos { "io", T_Io, FOLLBY_TOKEN },
57 1.1 kardel { "includefile", T_Includefile, FOLLBY_STRING },
58 1.1 kardel { "leapfile", T_Leapfile, FOLLBY_STRING },
59 1.7 christos { "leapsmearinterval", T_Leapsmearinterval, FOLLBY_TOKEN },
60 1.1 kardel { "logconfig", T_Logconfig, FOLLBY_STRINGS_TO_EOC },
61 1.1 kardel { "logfile", T_Logfile, FOLLBY_STRING },
62 1.1 kardel { "manycastclient", T_Manycastclient, FOLLBY_STRING },
63 1.1 kardel { "manycastserver", T_Manycastserver, FOLLBY_STRINGS_TO_EOC },
64 1.4 christos { "mem", T_Mem, FOLLBY_TOKEN },
65 1.1 kardel { "multicastclient", T_Multicastclient, FOLLBY_STRINGS_TO_EOC },
66 1.1 kardel { "peer", T_Peer, FOLLBY_STRING },
67 1.1 kardel { "phone", T_Phone, FOLLBY_STRINGS_TO_EOC },
68 1.1 kardel { "pidfile", T_Pidfile, FOLLBY_STRING },
69 1.1 kardel { "pool", T_Pool, FOLLBY_STRING },
70 1.1 kardel { "discard", T_Discard, FOLLBY_TOKEN },
71 1.4 christos { "reset", T_Reset, FOLLBY_TOKEN },
72 1.1 kardel { "restrict", T_Restrict, FOLLBY_TOKEN },
73 1.4 christos { "rlimit", T_Rlimit, FOLLBY_TOKEN },
74 1.1 kardel { "server", T_Server, FOLLBY_STRING },
75 1.1 kardel { "setvar", T_Setvar, FOLLBY_STRING },
76 1.1 kardel { "statistics", T_Statistics, FOLLBY_TOKEN },
77 1.1 kardel { "statsdir", T_Statsdir, FOLLBY_STRING },
78 1.4 christos { "sys", T_Sys, FOLLBY_TOKEN },
79 1.1 kardel { "tick", T_Tick, FOLLBY_TOKEN },
80 1.4 christos { "timer", T_Timer, FOLLBY_TOKEN },
81 1.1 kardel { "tinker", T_Tinker, FOLLBY_TOKEN },
82 1.1 kardel { "tos", T_Tos, FOLLBY_TOKEN },
83 1.1 kardel { "trap", T_Trap, FOLLBY_STRING },
84 1.1 kardel { "unconfig", T_Unconfig, FOLLBY_STRING },
85 1.1 kardel { "unpeer", T_Unpeer, FOLLBY_STRING },
86 1.1 kardel /* authentication_command */
87 1.1 kardel { "controlkey", T_ControlKey, FOLLBY_TOKEN },
88 1.1 kardel { "crypto", T_Crypto, FOLLBY_TOKEN },
89 1.1 kardel { "keys", T_Keys, FOLLBY_STRING },
90 1.1 kardel { "keysdir", T_Keysdir, FOLLBY_STRING },
91 1.1 kardel { "ntpsigndsocket", T_NtpSignDsocket, FOLLBY_STRING },
92 1.1 kardel { "requestkey", T_Requestkey, FOLLBY_TOKEN },
93 1.1 kardel { "revoke", T_Revoke, FOLLBY_TOKEN },
94 1.1 kardel { "trustedkey", T_Trustedkey, FOLLBY_TOKEN },
95 1.1 kardel /* IPv4/IPv6 protocol override flag */
96 1.1 kardel { "-4", T_Ipv4_flag, FOLLBY_TOKEN },
97 1.1 kardel { "-6", T_Ipv6_flag, FOLLBY_TOKEN },
98 1.1 kardel /* option */
99 1.1 kardel { "autokey", T_Autokey, FOLLBY_TOKEN },
100 1.1 kardel { "burst", T_Burst, FOLLBY_TOKEN },
101 1.1 kardel { "iburst", T_Iburst, FOLLBY_TOKEN },
102 1.1 kardel { "key", T_Key, FOLLBY_TOKEN },
103 1.1 kardel { "maxpoll", T_Maxpoll, FOLLBY_TOKEN },
104 1.2 christos { "mdnstries", T_Mdnstries, FOLLBY_TOKEN },
105 1.1 kardel { "minpoll", T_Minpoll, FOLLBY_TOKEN },
106 1.1 kardel { "mode", T_Mode, FOLLBY_TOKEN },
107 1.1 kardel { "noselect", T_Noselect, FOLLBY_TOKEN },
108 1.1 kardel { "preempt", T_Preempt, FOLLBY_TOKEN },
109 1.1 kardel { "true", T_True, FOLLBY_TOKEN },
110 1.1 kardel { "prefer", T_Prefer, FOLLBY_TOKEN },
111 1.1 kardel { "ttl", T_Ttl, FOLLBY_TOKEN },
112 1.1 kardel { "version", T_Version, FOLLBY_TOKEN },
113 1.1 kardel { "xleave", T_Xleave, FOLLBY_TOKEN },
114 1.1 kardel /* crypto_command */
115 1.1 kardel { "host", T_Host, FOLLBY_STRING },
116 1.1 kardel { "ident", T_Ident, FOLLBY_STRING },
117 1.1 kardel { "pw", T_Pw, FOLLBY_STRING },
118 1.1 kardel { "randfile", T_Randfile, FOLLBY_STRING },
119 1.1 kardel { "digest", T_Digest, FOLLBY_STRING },
120 1.1 kardel /*** MONITORING COMMANDS ***/
121 1.1 kardel /* stat */
122 1.1 kardel { "clockstats", T_Clockstats, FOLLBY_TOKEN },
123 1.1 kardel { "cryptostats", T_Cryptostats, FOLLBY_TOKEN },
124 1.1 kardel { "loopstats", T_Loopstats, FOLLBY_TOKEN },
125 1.1 kardel { "peerstats", T_Peerstats, FOLLBY_TOKEN },
126 1.1 kardel { "rawstats", T_Rawstats, FOLLBY_TOKEN },
127 1.1 kardel { "sysstats", T_Sysstats, FOLLBY_TOKEN },
128 1.1 kardel { "protostats", T_Protostats, FOLLBY_TOKEN },
129 1.1 kardel { "timingstats", T_Timingstats, FOLLBY_TOKEN },
130 1.1 kardel /* filegen_option */
131 1.1 kardel { "file", T_File, FOLLBY_STRING },
132 1.1 kardel { "link", T_Link, FOLLBY_TOKEN },
133 1.1 kardel { "nolink", T_Nolink, FOLLBY_TOKEN },
134 1.1 kardel { "type", T_Type, FOLLBY_TOKEN },
135 1.1 kardel /* filegen_type */
136 1.1 kardel { "age", T_Age, FOLLBY_TOKEN },
137 1.1 kardel { "day", T_Day, FOLLBY_TOKEN },
138 1.1 kardel { "month", T_Month, FOLLBY_TOKEN },
139 1.1 kardel { "none", T_None, FOLLBY_TOKEN },
140 1.1 kardel { "pid", T_Pid, FOLLBY_TOKEN },
141 1.1 kardel { "week", T_Week, FOLLBY_TOKEN },
142 1.1 kardel { "year", T_Year, FOLLBY_TOKEN },
143 1.1 kardel /*** ORPHAN MODE COMMANDS ***/
144 1.1 kardel /* tos_option */
145 1.1 kardel { "minclock", T_Minclock, FOLLBY_TOKEN },
146 1.1 kardel { "maxclock", T_Maxclock, FOLLBY_TOKEN },
147 1.1 kardel { "minsane", T_Minsane, FOLLBY_TOKEN },
148 1.1 kardel { "floor", T_Floor, FOLLBY_TOKEN },
149 1.1 kardel { "ceiling", T_Ceiling, FOLLBY_TOKEN },
150 1.1 kardel { "cohort", T_Cohort, FOLLBY_TOKEN },
151 1.1 kardel { "mindist", T_Mindist, FOLLBY_TOKEN },
152 1.1 kardel { "maxdist", T_Maxdist, FOLLBY_TOKEN },
153 1.1 kardel { "beacon", T_Beacon, FOLLBY_TOKEN },
154 1.1 kardel { "orphan", T_Orphan, FOLLBY_TOKEN },
155 1.4 christos { "orphanwait", T_Orphanwait, FOLLBY_TOKEN },
156 1.4 christos { "nonvolatile", T_Nonvolatile, FOLLBY_TOKEN },
157 1.1 kardel /* access_control_flag */
158 1.1 kardel { "default", T_Default, FOLLBY_TOKEN },
159 1.4 christos { "source", T_Source, FOLLBY_TOKEN },
160 1.1 kardel { "flake", T_Flake, FOLLBY_TOKEN },
161 1.1 kardel { "ignore", T_Ignore, FOLLBY_TOKEN },
162 1.1 kardel { "limited", T_Limited, FOLLBY_TOKEN },
163 1.1 kardel { "mssntp", T_Mssntp, FOLLBY_TOKEN },
164 1.1 kardel { "kod", T_Kod, FOLLBY_TOKEN },
165 1.1 kardel { "lowpriotrap", T_Lowpriotrap, FOLLBY_TOKEN },
166 1.1 kardel { "mask", T_Mask, FOLLBY_TOKEN },
167 1.1 kardel { "nomodify", T_Nomodify, FOLLBY_TOKEN },
168 1.4 christos { "nomrulist", T_Nomrulist, FOLLBY_TOKEN },
169 1.1 kardel { "nopeer", T_Nopeer, FOLLBY_TOKEN },
170 1.1 kardel { "noquery", T_Noquery, FOLLBY_TOKEN },
171 1.1 kardel { "noserve", T_Noserve, FOLLBY_TOKEN },
172 1.1 kardel { "notrap", T_Notrap, FOLLBY_TOKEN },
173 1.1 kardel { "notrust", T_Notrust, FOLLBY_TOKEN },
174 1.1 kardel { "ntpport", T_Ntpport, FOLLBY_TOKEN },
175 1.1 kardel /* discard_option */
176 1.1 kardel { "average", T_Average, FOLLBY_TOKEN },
177 1.1 kardel { "minimum", T_Minimum, FOLLBY_TOKEN },
178 1.1 kardel { "monitor", T_Monitor, FOLLBY_TOKEN },
179 1.4 christos /* mru_option */
180 1.4 christos { "incalloc", T_Incalloc, FOLLBY_TOKEN },
181 1.4 christos { "incmem", T_Incmem, FOLLBY_TOKEN },
182 1.4 christos { "initalloc", T_Initalloc, FOLLBY_TOKEN },
183 1.4 christos { "initmem", T_Initmem, FOLLBY_TOKEN },
184 1.4 christos { "mindepth", T_Mindepth, FOLLBY_TOKEN },
185 1.4 christos { "maxage", T_Maxage, FOLLBY_TOKEN },
186 1.4 christos { "maxdepth", T_Maxdepth, FOLLBY_TOKEN },
187 1.4 christos { "maxmem", T_Maxmem, FOLLBY_TOKEN },
188 1.4 christos { "mru", T_Mru, FOLLBY_TOKEN },
189 1.1 kardel /* fudge_factor */
190 1.4 christos { "abbrev", T_Abbrev, FOLLBY_STRING },
191 1.1 kardel { "flag1", T_Flag1, FOLLBY_TOKEN },
192 1.1 kardel { "flag2", T_Flag2, FOLLBY_TOKEN },
193 1.1 kardel { "flag3", T_Flag3, FOLLBY_TOKEN },
194 1.1 kardel { "flag4", T_Flag4, FOLLBY_TOKEN },
195 1.1 kardel { "refid", T_Refid, FOLLBY_STRING },
196 1.1 kardel { "stratum", T_Stratum, FOLLBY_TOKEN },
197 1.1 kardel { "time1", T_Time1, FOLLBY_TOKEN },
198 1.1 kardel { "time2", T_Time2, FOLLBY_TOKEN },
199 1.1 kardel /* system_option */
200 1.1 kardel { "auth", T_Auth, FOLLBY_TOKEN },
201 1.1 kardel { "bclient", T_Bclient, FOLLBY_TOKEN },
202 1.1 kardel { "calibrate", T_Calibrate, FOLLBY_TOKEN },
203 1.1 kardel { "kernel", T_Kernel, FOLLBY_TOKEN },
204 1.1 kardel { "ntp", T_Ntp, FOLLBY_TOKEN },
205 1.4 christos { "mode7", T_Mode7, FOLLBY_TOKEN },
206 1.1 kardel { "stats", T_Stats, FOLLBY_TOKEN },
207 1.4 christos /* rlimit_option */
208 1.4 christos { "memlock", T_Memlock, FOLLBY_TOKEN },
209 1.4 christos { "stacksize", T_Stacksize, FOLLBY_TOKEN },
210 1.4 christos { "filenum", T_Filenum, FOLLBY_TOKEN },
211 1.1 kardel /* tinker_option */
212 1.1 kardel { "step", T_Step, FOLLBY_TOKEN },
213 1.6 christos { "stepback", T_Stepback, FOLLBY_TOKEN },
214 1.6 christos { "stepfwd", T_Stepfwd, FOLLBY_TOKEN },
215 1.1 kardel { "panic", T_Panic, FOLLBY_TOKEN },
216 1.1 kardel { "dispersion", T_Dispersion, FOLLBY_TOKEN },
217 1.1 kardel { "stepout", T_Stepout, FOLLBY_TOKEN },
218 1.1 kardel { "allan", T_Allan, FOLLBY_TOKEN },
219 1.1 kardel { "huffpuff", T_Huffpuff, FOLLBY_TOKEN },
220 1.1 kardel { "freq", T_Freq, FOLLBY_TOKEN },
221 1.1 kardel /* miscellaneous_command */
222 1.1 kardel { "port", T_Port, FOLLBY_TOKEN },
223 1.1 kardel { "interface", T_Interface, FOLLBY_TOKEN },
224 1.1 kardel { "saveconfigdir", T_Saveconfigdir, FOLLBY_STRING },
225 1.1 kardel /* interface_command (ignore and interface already defined) */
226 1.1 kardel { "nic", T_Nic, FOLLBY_TOKEN },
227 1.1 kardel { "all", T_All, FOLLBY_TOKEN },
228 1.1 kardel { "ipv4", T_Ipv4, FOLLBY_TOKEN },
229 1.1 kardel { "ipv6", T_Ipv6, FOLLBY_TOKEN },
230 1.1 kardel { "wildcard", T_Wildcard, FOLLBY_TOKEN },
231 1.1 kardel { "listen", T_Listen, FOLLBY_TOKEN },
232 1.1 kardel { "drop", T_Drop, FOLLBY_TOKEN },
233 1.1 kardel /* simulator commands */
234 1.1 kardel { "simulate", T_Simulate, FOLLBY_TOKEN },
235 1.1 kardel { "simulation_duration",T_Sim_Duration, FOLLBY_TOKEN },
236 1.1 kardel { "beep_delay", T_Beep_Delay, FOLLBY_TOKEN },
237 1.1 kardel { "duration", T_Duration, FOLLBY_TOKEN },
238 1.1 kardel { "server_offset", T_Server_Offset, FOLLBY_TOKEN },
239 1.1 kardel { "freq_offset", T_Freq_Offset, FOLLBY_TOKEN },
240 1.1 kardel { "wander", T_Wander, FOLLBY_TOKEN },
241 1.1 kardel { "jitter", T_Jitter, FOLLBY_TOKEN },
242 1.1 kardel { "prop_delay", T_Prop_Delay, FOLLBY_TOKEN },
243 1.1 kardel { "proc_delay", T_Proc_Delay, FOLLBY_TOKEN },
244 1.1 kardel };
245 1.1 kardel
246 1.1 kardel typedef struct big_scan_state_tag {
247 1.1 kardel char ch; /* Character this state matches on */
248 1.1 kardel char followedby; /* Forces next token(s) to T_String */
249 1.1 kardel u_short finishes_token; /* nonzero ID if last keyword char */
250 1.1 kardel u_short match_next_s; /* next state to check matching ch */
251 1.1 kardel u_short other_next_s; /* next state to check if not ch */
252 1.1 kardel } big_scan_state;
253 1.1 kardel
254 1.1 kardel /*
255 1.1 kardel * Note: to increase MAXSTATES beyond 2048, be aware it is currently
256 1.1 kardel * crammed into 11 bits in scan_state form. Raising to 4096 would be
257 1.1 kardel * relatively easy by storing the followedby value in a separate
258 1.1 kardel * array with one entry per token, and shrinking the char value to
259 1.1 kardel * 7 bits to free a bit for accepting/non-accepting. More than 4096
260 1.1 kardel * states will require expanding scan_state beyond 32 bits each.
261 1.1 kardel */
262 1.4 christos #define MAXSTATES 2048
263 1.4 christos #define MAX_TOK_LEN 63
264 1.1 kardel
265 1.1 kardel const char * current_keyword;/* for error reporting */
266 1.1 kardel big_scan_state sst[MAXSTATES]; /* scanner FSM state entries */
267 1.4 christos u_short sst_highwater; /* next entry index to consider */
268 1.1 kardel char * symb[1024]; /* map token ID to symbolic name */
269 1.1 kardel
270 1.1 kardel /* for libntp */
271 1.1 kardel const char * progname = "keyword-gen";
272 1.1 kardel
273 1.1 kardel int main (int, char **);
274 1.1 kardel static void generate_preamble (void);
275 1.1 kardel static void generate_fsm (void);
276 1.1 kardel static void generate_token_text (void);
277 1.4 christos static u_short create_keyword_scanner (void);
278 1.4 christos static u_short create_scan_states (char *, u_short, follby, u_short);
279 1.4 christos int compare_key_tok_id (const void *, const void *);
280 1.4 christos int compare_key_tok_text (const void *, const void *);
281 1.1 kardel void populate_symb (char *);
282 1.4 christos const char * symbname (u_short);
283 1.1 kardel
284 1.1 kardel
285 1.1 kardel int main(int argc, char **argv)
286 1.1 kardel {
287 1.1 kardel if (argc < 2) {
288 1.1 kardel fprintf(stderr, "Usage:\n%s t_header.h\n", argv[0]);
289 1.1 kardel exit(1);
290 1.1 kardel }
291 1.4 christos debug = 1;
292 1.4 christos
293 1.1 kardel populate_symb(argv[1]);
294 1.1 kardel
295 1.1 kardel generate_preamble();
296 1.1 kardel generate_token_text();
297 1.1 kardel generate_fsm();
298 1.1 kardel
299 1.1 kardel return 0;
300 1.1 kardel }
301 1.1 kardel
302 1.1 kardel
303 1.1 kardel static void
304 1.1 kardel generate_preamble(void)
305 1.1 kardel {
306 1.1 kardel time_t now;
307 1.1 kardel char timestamp[128];
308 1.1 kardel char preamble[] =
309 1.1 kardel "/*\n"
310 1.1 kardel " * ntp_keyword.h\n"
311 1.1 kardel " * \n"
312 1.1 kardel " * NOTE: edit this file with caution, it is generated by keyword-gen.c\n"
313 1.1 kardel " *\t Generated %s UTC diff_ignore_line\n"
314 1.1 kardel " *\n"
315 1.1 kardel " */\n"
316 1.1 kardel "#include \"ntp_scanner.h\"\n"
317 1.1 kardel "#include \"ntp_parser.h\"\n"
318 1.1 kardel "\n";
319 1.1 kardel
320 1.1 kardel time(&now);
321 1.1 kardel if (!strftime(timestamp, sizeof(timestamp),
322 1.1 kardel "%Y-%m-%d %H:%M:%S", gmtime(&now)))
323 1.1 kardel timestamp[0] = '\0';
324 1.1 kardel
325 1.1 kardel printf(preamble, timestamp);
326 1.1 kardel }
327 1.1 kardel
328 1.1 kardel
329 1.1 kardel static void
330 1.1 kardel generate_fsm(void)
331 1.1 kardel {
332 1.4 christos char rprefix[MAX_TOK_LEN + 1];
333 1.4 christos char prefix[MAX_TOK_LEN + 1];
334 1.4 christos char token_id_comment[16 + MAX_TOK_LEN + 1];
335 1.4 christos size_t prefix_len;
336 1.4 christos char *p;
337 1.4 christos char *r;
338 1.4 christos u_short initial_state;
339 1.4 christos u_short this_state;
340 1.4 christos u_short state;
341 1.4 christos u_short i;
342 1.4 christos u_short token;
343 1.1 kardel
344 1.7 christos /*
345 1.1 kardel * Sort ntp_keywords in alphabetical keyword order. This is
346 1.1 kardel * not necessary, but minimizes nonfunctional changes in the
347 1.1 kardel * generated finite state machine when keywords are modified.
348 1.1 kardel */
349 1.1 kardel qsort(ntp_keywords, COUNTOF(ntp_keywords),
350 1.1 kardel sizeof(ntp_keywords[0]), compare_key_tok_text);
351 1.1 kardel
352 1.1 kardel /*
353 1.7 christos * To save space, reserve the state array entry matching each
354 1.1 kardel * token number for its terminal state, so the token identifier
355 1.1 kardel * does not need to be stored in each state, but can be
356 1.1 kardel * recovered trivially. To mark the entry reserved,
357 1.1 kardel * finishes_token is nonzero.
358 1.1 kardel */
359 1.1 kardel
360 1.1 kardel for (i = 0; i < COUNTOF(ntp_keywords); i++) {
361 1.1 kardel token = ntp_keywords[i].token;
362 1.1 kardel if (1 > token || token >= COUNTOF(sst)) {
363 1.1 kardel fprintf(stderr,
364 1.1 kardel "keyword-gen sst[%u] too small "
365 1.1 kardel "for keyword '%s' id %d\n",
366 1.2 christos (int)COUNTOF(sst),
367 1.1 kardel ntp_keywords[i].key,
368 1.1 kardel token);
369 1.1 kardel exit(4);
370 1.1 kardel }
371 1.1 kardel sst[token].finishes_token = token;
372 1.1 kardel }
373 1.1 kardel
374 1.1 kardel initial_state = create_keyword_scanner();
375 1.1 kardel
376 1.1 kardel fprintf(stderr,
377 1.1 kardel "%d keywords consumed %d states of %d max.\n",
378 1.1 kardel (int)COUNTOF(ntp_keywords),
379 1.1 kardel sst_highwater - 1,
380 1.1 kardel (int)COUNTOF(sst) - 1);
381 1.1 kardel
382 1.1 kardel printf("#define SCANNER_INIT_S %d\n\n", initial_state);
383 1.1 kardel
384 1.1 kardel printf("const scan_state sst[%d] = {\n"
385 1.1 kardel "/*SS_T( ch,\tf-by, match, other ),\t\t\t\t */\n"
386 1.1 kardel " 0,\t\t\t\t /* %5d %-17s */\n",
387 1.1 kardel sst_highwater,
388 1.1 kardel 0, "");
389 1.1 kardel
390 1.1 kardel for (i = 1; i < sst_highwater; i++) {
391 1.1 kardel
392 1.1 kardel /* verify fields will fit */
393 1.1 kardel if (sst[i].followedby & ~0x3) {
394 1.1 kardel fprintf(stderr,
395 1.1 kardel "keyword-gen internal error "
396 1.1 kardel "sst[%d].followedby %d too big\n",
397 1.1 kardel i, sst[i].followedby);
398 1.1 kardel exit(7);
399 1.1 kardel }
400 1.1 kardel
401 1.1 kardel if (sst_highwater <= sst[i].match_next_s
402 1.1 kardel || sst[i].match_next_s & ~0x7ff) {
403 1.1 kardel fprintf(stderr,
404 1.1 kardel "keyword-gen internal error "
405 1.1 kardel "sst[%d].match_next_s %d too big\n",
406 1.1 kardel i, sst[i].match_next_s);
407 1.1 kardel exit(8);
408 1.1 kardel }
409 1.1 kardel
410 1.1 kardel if (sst_highwater <= sst[i].other_next_s
411 1.1 kardel || sst[i].other_next_s & ~0x7ff) {
412 1.1 kardel fprintf(stderr,
413 1.1 kardel "keyword-gen internal error "
414 1.1 kardel "sst[%d].other_next_s %d too big\n",
415 1.1 kardel i, sst[i].other_next_s);
416 1.1 kardel exit(9);
417 1.1 kardel }
418 1.1 kardel
419 1.4 christos if (sst[i].finishes_token) {
420 1.7 christos snprintf(token_id_comment,
421 1.1 kardel sizeof(token_id_comment), "%5d %-17s",
422 1.1 kardel i, symbname(sst[i].finishes_token));
423 1.1 kardel if (i != sst[i].finishes_token) {
424 1.1 kardel fprintf(stderr,
425 1.1 kardel "keyword-gen internal error "
426 1.1 kardel "entry %d finishes token %d\n",
427 1.1 kardel i, sst[i].finishes_token);
428 1.1 kardel exit(5);
429 1.1 kardel }
430 1.4 christos } else {
431 1.4 christos /*
432 1.4 christos * Determine the keyword prefix that leads to this
433 1.4 christos * state. This is expensive but keyword-gen is run
434 1.4 christos * only when it changes. Distributing keyword-gen-utd
435 1.4 christos * achieves that, which is why it must be committed
436 1.4 christos * at the same time as keyword-gen.c and ntp_keyword.h.
437 1.4 christos *
438 1.4 christos * Scan the state array iteratively looking for a state
439 1.4 christos * which leads to the current one, collecting matching
440 1.4 christos * characters along the way. There is only one such
441 1.4 christos * path back to the starting state given the way our
442 1.4 christos * scanner state machine is built and the practice of
443 1.4 christos * using the spelling of the keyword as its T_* token
444 1.4 christos * identifier, which results in never having two
445 1.4 christos * spellings result in the same T_* value.
446 1.4 christos */
447 1.4 christos prefix_len = 0;
448 1.4 christos this_state = i;
449 1.4 christos do {
450 1.4 christos for (state = 1; state < sst_highwater; state++)
451 1.4 christos if (sst[state].other_next_s == this_state) {
452 1.4 christos this_state = state;
453 1.4 christos break;
454 1.4 christos } else if (sst[state].match_next_s == this_state) {
455 1.4 christos this_state = state;
456 1.4 christos rprefix[prefix_len] = sst[state].ch;
457 1.4 christos prefix_len++;
458 1.4 christos break;
459 1.4 christos }
460 1.4 christos } while (this_state != initial_state);
461 1.4 christos
462 1.4 christos if (prefix_len) {
463 1.4 christos /* reverse rprefix into prefix */
464 1.4 christos p = prefix + prefix_len;
465 1.4 christos r = rprefix;
466 1.4 christos while (r < rprefix + prefix_len)
467 1.4 christos *--p = *r++;
468 1.4 christos }
469 1.4 christos prefix[prefix_len] = '\0';
470 1.4 christos
471 1.4 christos snprintf(token_id_comment,
472 1.4 christos sizeof(token_id_comment), "%5d %-17s",
473 1.7 christos i, (initial_state == i)
474 1.7 christos ? "[initial state]"
475 1.4 christos : prefix);
476 1.1 kardel }
477 1.1 kardel
478 1.1 kardel printf(" S_ST( '%c',\t%d, %5u, %5u )%s /* %s */\n",
479 1.1 kardel sst[i].ch,
480 1.1 kardel sst[i].followedby,
481 1.1 kardel sst[i].match_next_s,
482 1.1 kardel sst[i].other_next_s,
483 1.1 kardel (i + 1 < sst_highwater)
484 1.1 kardel ? ","
485 1.1 kardel : " ",
486 1.1 kardel token_id_comment);
487 1.1 kardel }
488 1.1 kardel
489 1.1 kardel printf("};\n\n");
490 1.1 kardel }
491 1.1 kardel
492 1.1 kardel
493 1.1 kardel /* Define a function to create the states of the scanner. This function
494 1.1 kardel * is used by the create_keyword_scanner function below.
495 1.1 kardel *
496 1.1 kardel * This function takes a suffix of a keyword, the token to be returned on
497 1.1 kardel * recognizing the complete keyword, and any pre-existing state that exists
498 1.1 kardel * for some other keyword that has the same prefix as the current one.
499 1.1 kardel */
500 1.4 christos static u_short
501 1.1 kardel create_scan_states(
502 1.7 christos char * text,
503 1.7 christos u_short token,
504 1.1 kardel follby followedby,
505 1.4 christos u_short prev_state
506 1.1 kardel )
507 1.1 kardel {
508 1.4 christos u_short my_state;
509 1.4 christos u_short return_state;
510 1.4 christos u_short prev_char_s;
511 1.4 christos u_short curr_char_s;
512 1.1 kardel
513 1.1 kardel return_state = prev_state;
514 1.1 kardel curr_char_s = prev_state;
515 1.1 kardel prev_char_s = 0;
516 1.1 kardel
517 1.7 christos /* Find the correct position to insert the state.
518 1.1 kardel * All states should be in alphabetical order
519 1.1 kardel */
520 1.1 kardel while (curr_char_s && (text[0] < sst[curr_char_s].ch)) {
521 1.1 kardel prev_char_s = curr_char_s;
522 1.1 kardel curr_char_s = sst[curr_char_s].other_next_s;
523 1.1 kardel }
524 1.1 kardel
525 1.7 christos /*
526 1.1 kardel * Check if a previously seen keyword has the same prefix as
527 1.1 kardel * the current keyword. If so, simply use the state for that
528 1.1 kardel * keyword as my_state, otherwise, allocate a new state.
529 1.1 kardel */
530 1.1 kardel if (curr_char_s && (text[0] == sst[curr_char_s].ch)) {
531 1.1 kardel my_state = curr_char_s;
532 1.1 kardel if ('\0' == text[1]) {
533 1.1 kardel fprintf(stderr,
534 1.1 kardel "Duplicate entries for keyword '%s' in"
535 1.1 kardel " keyword_gen.c ntp_keywords[].\n",
536 1.1 kardel current_keyword);
537 1.1 kardel exit(2);
538 1.1 kardel }
539 1.1 kardel } else {
540 1.1 kardel do
541 1.1 kardel my_state = sst_highwater++;
542 1.1 kardel while (my_state < COUNTOF(sst)
543 1.1 kardel && sst[my_state].finishes_token);
544 1.1 kardel if (my_state >= COUNTOF(sst)) {
545 1.1 kardel fprintf(stderr,
546 1.1 kardel "fatal, keyword scanner state array "
547 1.1 kardel "sst[%d] is too small, modify\n"
548 1.1 kardel "keyword-gen.c to increase.\n",
549 1.1 kardel (int)COUNTOF(sst));
550 1.1 kardel exit(3);
551 1.1 kardel }
552 1.1 kardel /* Store the next character of the keyword */
553 1.7 christos sst[my_state].ch = text[0];
554 1.1 kardel sst[my_state].other_next_s = curr_char_s;
555 1.1 kardel sst[my_state].followedby = FOLLBY_NON_ACCEPTING;
556 1.1 kardel
557 1.1 kardel if (prev_char_s)
558 1.1 kardel sst[prev_char_s].other_next_s = my_state;
559 1.1 kardel else
560 1.1 kardel return_state = my_state;
561 1.1 kardel }
562 1.1 kardel
563 1.1 kardel /* Check if the next character is '\0'.
564 1.1 kardel * If yes, we are done with the recognition and this is an accepting
565 1.1 kardel * state.
566 1.1 kardel * If not, we need to continue scanning
567 1.1 kardel */
568 1.1 kardel if ('\0' == text[1]) {
569 1.1 kardel sst[my_state].finishes_token = (u_short)token;
570 1.1 kardel sst[my_state].followedby = (char)followedby;
571 1.1 kardel
572 1.1 kardel if (sst[token].finishes_token != (u_short)token) {
573 1.1 kardel fprintf(stderr,
574 1.1 kardel "fatal, sst[%d] not reserved for %s.\n",
575 1.1 kardel token, symbname(token));
576 1.1 kardel exit(6);
577 1.1 kardel }
578 1.1 kardel /* relocate so token id is sst[] index */
579 1.1 kardel if (my_state != token) {
580 1.1 kardel sst[token] = sst[my_state];
581 1.4 christos ZERO(sst[my_state]);
582 1.1 kardel do
583 1.1 kardel sst_highwater--;
584 1.1 kardel while (sst[sst_highwater].finishes_token);
585 1.1 kardel my_state = token;
586 1.1 kardel if (prev_char_s)
587 1.1 kardel sst[prev_char_s].other_next_s = my_state;
588 1.1 kardel else
589 1.1 kardel return_state = my_state;
590 1.1 kardel }
591 1.1 kardel } else
592 1.7 christos sst[my_state].match_next_s =
593 1.1 kardel create_scan_states(
594 1.1 kardel &text[1],
595 1.1 kardel token,
596 1.1 kardel followedby,
597 1.1 kardel sst[my_state].match_next_s);
598 1.1 kardel
599 1.1 kardel return return_state;
600 1.1 kardel }
601 1.1 kardel
602 1.1 kardel
603 1.1 kardel /* Define a function that takes a list of (keyword, token) values and
604 1.1 kardel * creates a keywords scanner out of it.
605 1.1 kardel */
606 1.1 kardel
607 1.4 christos static u_short
608 1.1 kardel create_keyword_scanner(void)
609 1.1 kardel {
610 1.4 christos u_short scanner;
611 1.4 christos u_short i;
612 1.1 kardel
613 1.1 kardel sst_highwater = 1; /* index 0 invalid, unused */
614 1.1 kardel scanner = 0;
615 1.1 kardel
616 1.1 kardel for (i = 0; i < COUNTOF(ntp_keywords); i++) {
617 1.1 kardel current_keyword = ntp_keywords[i].key;
618 1.1 kardel scanner =
619 1.1 kardel create_scan_states(
620 1.7 christos ntp_keywords[i].key,
621 1.7 christos ntp_keywords[i].token,
622 1.1 kardel ntp_keywords[i].followedby,
623 1.1 kardel scanner);
624 1.1 kardel }
625 1.1 kardel
626 1.1 kardel return scanner;
627 1.1 kardel }
628 1.1 kardel
629 1.1 kardel
630 1.1 kardel static void
631 1.1 kardel generate_token_text(void)
632 1.1 kardel {
633 1.4 christos u_short lowest_id;
634 1.4 christos u_short highest_id;
635 1.4 christos u_short id_count;
636 1.4 christos u_short id;
637 1.4 christos u_short i;
638 1.1 kardel
639 1.1 kardel /* sort ntp_keywords in token ID order */
640 1.1 kardel qsort(ntp_keywords, COUNTOF(ntp_keywords),
641 1.1 kardel sizeof(ntp_keywords[0]), compare_key_tok_id);
642 1.1 kardel
643 1.1 kardel lowest_id = ntp_keywords[0].token;
644 1.1 kardel highest_id = ntp_keywords[COUNTOF(ntp_keywords) - 1].token;
645 1.1 kardel id_count = highest_id - lowest_id + 1;
646 1.1 kardel
647 1.1 kardel printf("#define LOWEST_KEYWORD_ID %d\n\n", lowest_id);
648 1.1 kardel
649 1.1 kardel printf("const char * const keyword_text[%d] = {", id_count);
650 1.1 kardel
651 1.1 kardel id = lowest_id;
652 1.1 kardel i = 0;
653 1.1 kardel while (i < COUNTOF(ntp_keywords)) {
654 1.1 kardel while (id < ntp_keywords[i].token) {
655 1.1 kardel printf(",\n\t/* %-5d %5d %20s */\tNULL",
656 1.1 kardel id - lowest_id, id, symbname(id));
657 1.1 kardel id++;
658 1.1 kardel }
659 1.1 kardel if (i > 0)
660 1.1 kardel printf(",");
661 1.1 kardel printf("\n\t/* %-5d %5d %20s */\t\"%s\"",
662 1.7 christos id - lowest_id, id, symbname(id),
663 1.1 kardel ntp_keywords[i].key);
664 1.1 kardel i++;
665 1.1 kardel id++;
666 1.1 kardel }
667 1.1 kardel
668 1.1 kardel printf("\n};\n\n");
669 1.1 kardel }
670 1.1 kardel
671 1.7 christos
672 1.1 kardel int
673 1.1 kardel compare_key_tok_id(
674 1.4 christos const void *a1,
675 1.4 christos const void *a2
676 1.1 kardel )
677 1.1 kardel {
678 1.4 christos const struct key_tok *p1 = a1;
679 1.4 christos const struct key_tok *p2 = a2;
680 1.1 kardel
681 1.1 kardel if (p1->token == p2->token)
682 1.1 kardel return 0;
683 1.1 kardel
684 1.1 kardel if (p1->token < p2->token)
685 1.1 kardel return -1;
686 1.1 kardel else
687 1.1 kardel return 1;
688 1.1 kardel }
689 1.1 kardel
690 1.1 kardel
691 1.1 kardel int
692 1.1 kardel compare_key_tok_text(
693 1.4 christos const void *a1,
694 1.4 christos const void *a2
695 1.1 kardel )
696 1.1 kardel {
697 1.4 christos const struct key_tok *p1 = a1;
698 1.4 christos const struct key_tok *p2 = a2;
699 1.1 kardel
700 1.1 kardel return strcmp(p1->key, p2->key);
701 1.1 kardel }
702 1.1 kardel
703 1.1 kardel
704 1.1 kardel /*
705 1.1 kardel * populate_symb() - populate symb[] lookup array with symbolic token
706 1.1 kardel * names such that symb[T_Age] == "T_Age", etc.
707 1.1 kardel */
708 1.1 kardel void
709 1.1 kardel populate_symb(
710 1.1 kardel char *header_file
711 1.1 kardel )
712 1.1 kardel {
713 1.1 kardel FILE * yh;
714 1.4 christos char line[2 * MAX_TOK_LEN];
715 1.4 christos char name[2 * MAX_TOK_LEN];
716 1.1 kardel int token;
717 1.1 kardel
718 1.1 kardel yh = fopen(header_file, "r");
719 1.1 kardel if (NULL == yh) {
720 1.1 kardel perror("unable to open yacc/bison header file");
721 1.1 kardel exit(4);
722 1.1 kardel }
723 1.1 kardel
724 1.1 kardel while (NULL != fgets(line, sizeof(line), yh))
725 1.1 kardel if (2 == sscanf(line, "#define %s %d", name, &token)
726 1.1 kardel && 'T' == name[0] && '_' == name[1] && token >= 0
727 1.4 christos && token < COUNTOF(symb)) {
728 1.1 kardel
729 1.1 kardel symb[token] = estrdup(name);
730 1.4 christos if (strlen(name) > MAX_TOK_LEN) {
731 1.4 christos fprintf(stderr,
732 1.4 christos "MAX_TOK_LEN %d too small for '%s'\n"
733 1.4 christos "Edit keyword-gen.c to raise.\n",
734 1.4 christos MAX_TOK_LEN, name);
735 1.4 christos exit(10);
736 1.4 christos }
737 1.4 christos }
738 1.1 kardel fclose(yh);
739 1.1 kardel }
740 1.1 kardel
741 1.1 kardel
742 1.1 kardel const char *
743 1.1 kardel symbname(
744 1.4 christos u_short token
745 1.1 kardel )
746 1.1 kardel {
747 1.1 kardel char *name;
748 1.1 kardel
749 1.4 christos if (token < COUNTOF(symb) && symb[token] != NULL) {
750 1.4 christos name = symb[token];
751 1.4 christos } else {
752 1.4 christos LIB_GETBUF(name);
753 1.4 christos snprintf(name, LIB_BUFLENGTH, "%d", token);
754 1.7 christos }
755 1.1 kardel
756 1.1 kardel return name;
757 1.1 kardel }
758