Home | History | Annotate | Line # | Download | only in ntpd
keyword-gen.c revision 1.4.4.5.4.1
      1  1.4.4.5.4.1    martin /*	$NetBSD: keyword-gen.c,v 1.4.4.5.4.1 2017/03/20 10:56:55 martin 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.4.4.3       riz { "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.4.4.3       riz { "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.4.4.5.4.1    martin { "bcpollbstep",	T_Bcpollbstep,		FOLLBY_TOKEN },
    154          1.1    kardel { "beacon",		T_Beacon,		FOLLBY_TOKEN },
    155          1.1    kardel { "orphan",		T_Orphan,		FOLLBY_TOKEN },
    156          1.4  christos { "orphanwait",		T_Orphanwait,		FOLLBY_TOKEN },
    157          1.4  christos { "nonvolatile",	T_Nonvolatile,		FOLLBY_TOKEN },
    158          1.1    kardel /* access_control_flag */
    159          1.1    kardel { "default",		T_Default,		FOLLBY_TOKEN },
    160          1.4  christos { "source",		T_Source,		FOLLBY_TOKEN },
    161          1.1    kardel { "flake",		T_Flake,		FOLLBY_TOKEN },
    162          1.1    kardel { "ignore",		T_Ignore,		FOLLBY_TOKEN },
    163          1.1    kardel { "limited",		T_Limited,		FOLLBY_TOKEN },
    164          1.1    kardel { "mssntp",		T_Mssntp,		FOLLBY_TOKEN },
    165          1.1    kardel { "kod",		T_Kod,			FOLLBY_TOKEN },
    166          1.1    kardel { "lowpriotrap",	T_Lowpriotrap,		FOLLBY_TOKEN },
    167          1.1    kardel { "mask",		T_Mask,			FOLLBY_TOKEN },
    168          1.1    kardel { "nomodify",		T_Nomodify,		FOLLBY_TOKEN },
    169          1.4  christos { "nomrulist",		T_Nomrulist,		FOLLBY_TOKEN },
    170          1.1    kardel { "nopeer",		T_Nopeer,		FOLLBY_TOKEN },
    171          1.1    kardel { "noquery",		T_Noquery,		FOLLBY_TOKEN },
    172          1.1    kardel { "noserve",		T_Noserve,		FOLLBY_TOKEN },
    173          1.1    kardel { "notrap",		T_Notrap,		FOLLBY_TOKEN },
    174          1.1    kardel { "notrust",		T_Notrust,		FOLLBY_TOKEN },
    175          1.1    kardel { "ntpport",		T_Ntpport,		FOLLBY_TOKEN },
    176          1.1    kardel /* discard_option */
    177          1.1    kardel { "average",		T_Average,		FOLLBY_TOKEN },
    178          1.1    kardel { "minimum",		T_Minimum,		FOLLBY_TOKEN },
    179          1.1    kardel { "monitor",		T_Monitor,		FOLLBY_TOKEN },
    180          1.4  christos /* mru_option */
    181          1.4  christos { "incalloc",		T_Incalloc,		FOLLBY_TOKEN },
    182          1.4  christos { "incmem",		T_Incmem,		FOLLBY_TOKEN },
    183          1.4  christos { "initalloc",		T_Initalloc,		FOLLBY_TOKEN },
    184          1.4  christos { "initmem",		T_Initmem,		FOLLBY_TOKEN },
    185          1.4  christos { "mindepth",		T_Mindepth,		FOLLBY_TOKEN },
    186          1.4  christos { "maxage",		T_Maxage,		FOLLBY_TOKEN },
    187          1.4  christos { "maxdepth",		T_Maxdepth,		FOLLBY_TOKEN },
    188          1.4  christos { "maxmem",		T_Maxmem,		FOLLBY_TOKEN },
    189          1.4  christos { "mru",		T_Mru,			FOLLBY_TOKEN },
    190          1.1    kardel /* fudge_factor */
    191          1.4  christos { "abbrev",		T_Abbrev,		FOLLBY_STRING },
    192          1.1    kardel { "flag1",		T_Flag1,		FOLLBY_TOKEN },
    193          1.1    kardel { "flag2",		T_Flag2,		FOLLBY_TOKEN },
    194          1.1    kardel { "flag3",		T_Flag3,		FOLLBY_TOKEN },
    195          1.1    kardel { "flag4",		T_Flag4,		FOLLBY_TOKEN },
    196          1.1    kardel { "refid",		T_Refid,		FOLLBY_STRING },
    197          1.1    kardel { "stratum",		T_Stratum,		FOLLBY_TOKEN },
    198          1.1    kardel { "time1",		T_Time1,		FOLLBY_TOKEN },
    199          1.1    kardel { "time2",		T_Time2,		FOLLBY_TOKEN },
    200          1.1    kardel /* system_option */
    201          1.1    kardel { "auth",		T_Auth,			FOLLBY_TOKEN },
    202          1.1    kardel { "bclient",		T_Bclient,		FOLLBY_TOKEN },
    203          1.1    kardel { "calibrate",		T_Calibrate,		FOLLBY_TOKEN },
    204          1.1    kardel { "kernel",		T_Kernel,		FOLLBY_TOKEN },
    205          1.4  christos { "mode7",		T_Mode7,		FOLLBY_TOKEN },
    206      1.4.4.5    martin { "ntp",		T_Ntp,			FOLLBY_TOKEN },
    207      1.4.4.5    martin { "peer_clear_digest_early",	T_PCEdigest,	FOLLBY_TOKEN },
    208          1.1    kardel { "stats",		T_Stats,		FOLLBY_TOKEN },
    209      1.4.4.4    martin { "unpeer_crypto_early",	T_UEcrypto,	FOLLBY_TOKEN },
    210      1.4.4.4    martin { "unpeer_crypto_nak_early",	T_UEcryptonak,	FOLLBY_TOKEN },
    211      1.4.4.4    martin { "unpeer_digest_early",	T_UEdigest,	FOLLBY_TOKEN },
    212          1.4  christos /* rlimit_option */
    213          1.4  christos { "memlock",		T_Memlock,		FOLLBY_TOKEN },
    214          1.4  christos { "stacksize",		T_Stacksize,		FOLLBY_TOKEN },
    215          1.4  christos { "filenum",		T_Filenum,		FOLLBY_TOKEN },
    216          1.1    kardel /* tinker_option */
    217          1.1    kardel { "step",		T_Step,			FOLLBY_TOKEN },
    218      1.4.4.2       snj { "stepback",		T_Stepback,		FOLLBY_TOKEN },
    219      1.4.4.2       snj { "stepfwd",		T_Stepfwd,		FOLLBY_TOKEN },
    220          1.1    kardel { "panic",		T_Panic,		FOLLBY_TOKEN },
    221          1.1    kardel { "dispersion",		T_Dispersion,		FOLLBY_TOKEN },
    222          1.1    kardel { "stepout",		T_Stepout,		FOLLBY_TOKEN },
    223          1.1    kardel { "allan",		T_Allan,		FOLLBY_TOKEN },
    224          1.1    kardel { "huffpuff",		T_Huffpuff,		FOLLBY_TOKEN },
    225          1.1    kardel { "freq",		T_Freq,			FOLLBY_TOKEN },
    226          1.1    kardel /* miscellaneous_command */
    227          1.1    kardel { "port",		T_Port,			FOLLBY_TOKEN },
    228          1.1    kardel { "interface",		T_Interface,		FOLLBY_TOKEN },
    229          1.1    kardel { "saveconfigdir",	T_Saveconfigdir,	FOLLBY_STRING },
    230          1.1    kardel /* interface_command (ignore and interface already defined) */
    231          1.1    kardel { "nic",		T_Nic,			FOLLBY_TOKEN },
    232          1.1    kardel { "all",		T_All,			FOLLBY_TOKEN },
    233          1.1    kardel { "ipv4",		T_Ipv4,			FOLLBY_TOKEN },
    234          1.1    kardel { "ipv6",		T_Ipv6,			FOLLBY_TOKEN },
    235          1.1    kardel { "wildcard",		T_Wildcard,		FOLLBY_TOKEN },
    236          1.1    kardel { "listen",		T_Listen,		FOLLBY_TOKEN },
    237          1.1    kardel { "drop",		T_Drop,			FOLLBY_TOKEN },
    238          1.1    kardel /* simulator commands */
    239          1.1    kardel { "simulate",		T_Simulate,		FOLLBY_TOKEN },
    240          1.1    kardel { "simulation_duration",T_Sim_Duration,		FOLLBY_TOKEN },
    241          1.1    kardel { "beep_delay",		T_Beep_Delay,		FOLLBY_TOKEN },
    242          1.1    kardel { "duration",		T_Duration,		FOLLBY_TOKEN },
    243          1.1    kardel { "server_offset",	T_Server_Offset,	FOLLBY_TOKEN },
    244          1.1    kardel { "freq_offset",	T_Freq_Offset,		FOLLBY_TOKEN },
    245          1.1    kardel { "wander",		T_Wander,		FOLLBY_TOKEN },
    246          1.1    kardel { "jitter",		T_Jitter,		FOLLBY_TOKEN },
    247          1.1    kardel { "prop_delay",		T_Prop_Delay,		FOLLBY_TOKEN },
    248          1.1    kardel { "proc_delay",		T_Proc_Delay,		FOLLBY_TOKEN },
    249          1.1    kardel };
    250          1.1    kardel 
    251          1.1    kardel typedef struct big_scan_state_tag {
    252          1.1    kardel 	char	ch;		/* Character this state matches on */
    253          1.1    kardel 	char	followedby;	/* Forces next token(s) to T_String */
    254          1.1    kardel 	u_short	finishes_token;	/* nonzero ID if last keyword char */
    255          1.1    kardel 	u_short	match_next_s;	/* next state to check matching ch */
    256          1.1    kardel 	u_short	other_next_s;	/* next state to check if not ch */
    257          1.1    kardel } big_scan_state;
    258          1.1    kardel 
    259          1.1    kardel /*
    260          1.1    kardel  * Note: to increase MAXSTATES beyond 2048, be aware it is currently
    261          1.1    kardel  * crammed into 11 bits in scan_state form.  Raising to 4096 would be
    262          1.1    kardel  * relatively easy by storing the followedby value in a separate
    263          1.1    kardel  * array with one entry per token, and shrinking the char value to
    264          1.1    kardel  * 7 bits to free a bit for accepting/non-accepting.  More than 4096
    265          1.1    kardel  * states will require expanding scan_state beyond 32 bits each.
    266          1.1    kardel  */
    267          1.4  christos #define MAXSTATES	2048
    268          1.4  christos #define MAX_TOK_LEN	63
    269          1.1    kardel 
    270          1.1    kardel const char *	current_keyword;/* for error reporting */
    271          1.1    kardel big_scan_state	sst[MAXSTATES];	/* scanner FSM state entries */
    272          1.4  christos u_short		sst_highwater;	/* next entry index to consider */
    273          1.1    kardel char *		symb[1024];	/* map token ID to symbolic name */
    274          1.1    kardel 
    275          1.1    kardel /* for libntp */
    276          1.1    kardel const char *	progname = "keyword-gen";
    277          1.1    kardel 
    278          1.1    kardel int		main			(int, char **);
    279          1.1    kardel static void	generate_preamble	(void);
    280          1.1    kardel static void	generate_fsm		(void);
    281          1.1    kardel static void	generate_token_text	(void);
    282          1.4  christos static u_short	create_keyword_scanner	(void);
    283          1.4  christos static u_short	create_scan_states	(char *, u_short, follby, u_short);
    284          1.4  christos int		compare_key_tok_id	(const void *, const void *);
    285          1.4  christos int		compare_key_tok_text	(const void *, const void *);
    286          1.1    kardel void		populate_symb		(char *);
    287          1.4  christos const char *	symbname		(u_short);
    288          1.1    kardel 
    289          1.1    kardel 
    290          1.1    kardel int main(int argc, char **argv)
    291          1.1    kardel {
    292          1.1    kardel 	if (argc < 2) {
    293          1.1    kardel 		fprintf(stderr, "Usage:\n%s t_header.h\n", argv[0]);
    294          1.1    kardel 		exit(1);
    295          1.1    kardel 	}
    296          1.4  christos 	debug = 1;
    297          1.4  christos 
    298          1.1    kardel 	populate_symb(argv[1]);
    299          1.1    kardel 
    300          1.1    kardel 	generate_preamble();
    301          1.1    kardel 	generate_token_text();
    302          1.1    kardel 	generate_fsm();
    303          1.1    kardel 
    304          1.1    kardel 	return 0;
    305          1.1    kardel }
    306          1.1    kardel 
    307          1.1    kardel 
    308          1.1    kardel static void
    309          1.1    kardel generate_preamble(void)
    310          1.1    kardel {
    311          1.1    kardel 	time_t now;
    312          1.1    kardel 	char timestamp[128];
    313          1.1    kardel 	char preamble[] =
    314          1.1    kardel "/*\n"
    315          1.1    kardel " * ntp_keyword.h\n"
    316          1.1    kardel " * \n"
    317          1.1    kardel " * NOTE: edit this file with caution, it is generated by keyword-gen.c\n"
    318          1.1    kardel " *\t Generated %s UTC	  diff_ignore_line\n"
    319          1.1    kardel " *\n"
    320          1.1    kardel " */\n"
    321          1.1    kardel "#include \"ntp_scanner.h\"\n"
    322          1.1    kardel "#include \"ntp_parser.h\"\n"
    323          1.1    kardel "\n";
    324          1.1    kardel 
    325          1.1    kardel 	time(&now);
    326          1.1    kardel 	if (!strftime(timestamp, sizeof(timestamp),
    327          1.1    kardel 		      "%Y-%m-%d %H:%M:%S", gmtime(&now)))
    328          1.1    kardel 		timestamp[0] = '\0';
    329          1.1    kardel 
    330          1.1    kardel 	printf(preamble, timestamp);
    331          1.1    kardel }
    332          1.1    kardel 
    333          1.1    kardel 
    334          1.1    kardel static void
    335          1.1    kardel generate_fsm(void)
    336          1.1    kardel {
    337          1.4  christos 	char rprefix[MAX_TOK_LEN + 1];
    338          1.4  christos 	char prefix[MAX_TOK_LEN + 1];
    339          1.4  christos 	char token_id_comment[16 + MAX_TOK_LEN + 1];
    340          1.4  christos 	size_t prefix_len;
    341          1.4  christos 	char *p;
    342          1.4  christos 	char *r;
    343          1.4  christos 	u_short initial_state;
    344          1.4  christos 	u_short this_state;
    345          1.4  christos 	u_short state;
    346          1.4  christos 	u_short i;
    347          1.4  christos 	u_short token;
    348          1.1    kardel 
    349      1.4.4.3       riz 	/*
    350          1.1    kardel 	 * Sort ntp_keywords in alphabetical keyword order.  This is
    351          1.1    kardel 	 * not necessary, but minimizes nonfunctional changes in the
    352          1.1    kardel 	 * generated finite state machine when keywords are modified.
    353          1.1    kardel 	 */
    354          1.1    kardel 	qsort(ntp_keywords, COUNTOF(ntp_keywords),
    355          1.1    kardel 	      sizeof(ntp_keywords[0]), compare_key_tok_text);
    356          1.1    kardel 
    357          1.1    kardel 	/*
    358      1.4.4.3       riz 	 * To save space, reserve the state array entry matching each
    359          1.1    kardel 	 * token number for its terminal state, so the token identifier
    360          1.1    kardel 	 * does not need to be stored in each state, but can be
    361          1.1    kardel 	 * recovered trivially.  To mark the entry reserved,
    362          1.1    kardel 	 * finishes_token is nonzero.
    363          1.1    kardel 	 */
    364          1.1    kardel 
    365          1.1    kardel 	for (i = 0; i < COUNTOF(ntp_keywords); i++) {
    366          1.1    kardel 		token = ntp_keywords[i].token;
    367          1.1    kardel 		if (1 > token || token >= COUNTOF(sst)) {
    368          1.1    kardel 			fprintf(stderr,
    369          1.1    kardel 				"keyword-gen sst[%u] too small "
    370          1.1    kardel 				"for keyword '%s' id %d\n",
    371          1.2  christos 				(int)COUNTOF(sst),
    372          1.1    kardel 				ntp_keywords[i].key,
    373          1.1    kardel 				token);
    374          1.1    kardel 			exit(4);
    375          1.1    kardel 		}
    376          1.1    kardel 		sst[token].finishes_token = token;
    377          1.1    kardel 	}
    378          1.1    kardel 
    379          1.1    kardel 	initial_state = create_keyword_scanner();
    380          1.1    kardel 
    381          1.1    kardel 	fprintf(stderr,
    382          1.1    kardel 		"%d keywords consumed %d states of %d max.\n",
    383          1.1    kardel 		(int)COUNTOF(ntp_keywords),
    384          1.1    kardel 		sst_highwater - 1,
    385          1.1    kardel 		(int)COUNTOF(sst) - 1);
    386          1.1    kardel 
    387          1.1    kardel 	printf("#define SCANNER_INIT_S %d\n\n", initial_state);
    388          1.1    kardel 
    389          1.1    kardel 	printf("const scan_state sst[%d] = {\n"
    390          1.1    kardel 	       "/*SS_T( ch,\tf-by, match, other ),\t\t\t\t */\n"
    391          1.1    kardel 	       "  0,\t\t\t\t      /* %5d %-17s */\n",
    392          1.1    kardel 	       sst_highwater,
    393          1.1    kardel 	       0, "");
    394          1.1    kardel 
    395          1.1    kardel 	for (i = 1; i < sst_highwater; i++) {
    396          1.1    kardel 
    397          1.1    kardel 		/* verify fields will fit */
    398          1.1    kardel 		if (sst[i].followedby & ~0x3) {
    399          1.1    kardel 			fprintf(stderr,
    400          1.1    kardel 				"keyword-gen internal error "
    401          1.1    kardel 				"sst[%d].followedby %d too big\n",
    402          1.1    kardel 				i, sst[i].followedby);
    403          1.1    kardel 			exit(7);
    404          1.1    kardel 		}
    405          1.1    kardel 
    406          1.1    kardel 		if (sst_highwater <= sst[i].match_next_s
    407          1.1    kardel 		    || sst[i].match_next_s & ~0x7ff) {
    408          1.1    kardel 			fprintf(stderr,
    409          1.1    kardel 				"keyword-gen internal error "
    410          1.1    kardel 				"sst[%d].match_next_s %d too big\n",
    411          1.1    kardel 				i, sst[i].match_next_s);
    412          1.1    kardel 			exit(8);
    413          1.1    kardel 		}
    414          1.1    kardel 
    415          1.1    kardel 		if (sst_highwater <= sst[i].other_next_s
    416          1.1    kardel 		    || sst[i].other_next_s & ~0x7ff) {
    417          1.1    kardel 			fprintf(stderr,
    418          1.1    kardel 				"keyword-gen internal error "
    419          1.1    kardel 				"sst[%d].other_next_s %d too big\n",
    420          1.1    kardel 				i, sst[i].other_next_s);
    421          1.1    kardel 			exit(9);
    422          1.1    kardel 		}
    423          1.1    kardel 
    424          1.4  christos 		if (sst[i].finishes_token) {
    425      1.4.4.3       riz 			snprintf(token_id_comment,
    426          1.1    kardel 				 sizeof(token_id_comment), "%5d %-17s",
    427          1.1    kardel 				 i, symbname(sst[i].finishes_token));
    428          1.1    kardel 			if (i != sst[i].finishes_token) {
    429          1.1    kardel 				fprintf(stderr,
    430          1.1    kardel 					"keyword-gen internal error "
    431          1.1    kardel 					"entry %d finishes token %d\n",
    432          1.1    kardel 					i, sst[i].finishes_token);
    433          1.1    kardel 				exit(5);
    434          1.1    kardel 			}
    435          1.4  christos 		} else {
    436          1.4  christos 		/*
    437          1.4  christos 		 * Determine the keyword prefix that leads to this
    438          1.4  christos 		 * state.  This is expensive but keyword-gen is run
    439          1.4  christos 		 * only when it changes.  Distributing keyword-gen-utd
    440          1.4  christos 		 * achieves that, which is why it must be committed
    441          1.4  christos 		 * at the same time as keyword-gen.c and ntp_keyword.h.
    442          1.4  christos 		 *
    443          1.4  christos 		 * Scan the state array iteratively looking for a state
    444          1.4  christos 		 * which leads to the current one, collecting matching
    445          1.4  christos 		 * characters along the way.  There is only one such
    446          1.4  christos 		 * path back to the starting state given the way our
    447          1.4  christos 		 * scanner state machine is built and the practice of
    448          1.4  christos 		 * using the spelling of the keyword as its T_* token
    449          1.4  christos 		 * identifier, which results in never having two
    450          1.4  christos 		 * spellings result in the same T_* value.
    451          1.4  christos 		 */
    452          1.4  christos 			prefix_len = 0;
    453          1.4  christos 			this_state = i;
    454          1.4  christos 			do {
    455          1.4  christos 				for (state = 1; state < sst_highwater; state++)
    456          1.4  christos 					if (sst[state].other_next_s == this_state) {
    457          1.4  christos 						this_state = state;
    458          1.4  christos 						break;
    459          1.4  christos 					} else if (sst[state].match_next_s == this_state) {
    460          1.4  christos 						this_state = state;
    461          1.4  christos 						rprefix[prefix_len] = sst[state].ch;
    462          1.4  christos 						prefix_len++;
    463          1.4  christos 						break;
    464          1.4  christos 					}
    465          1.4  christos 			} while (this_state != initial_state);
    466          1.4  christos 
    467          1.4  christos 			if (prefix_len) {
    468          1.4  christos 				/* reverse rprefix into prefix */
    469          1.4  christos 				p = prefix + prefix_len;
    470          1.4  christos 				r = rprefix;
    471          1.4  christos 				while (r < rprefix + prefix_len)
    472          1.4  christos 					*--p = *r++;
    473          1.4  christos 			}
    474          1.4  christos 			prefix[prefix_len] = '\0';
    475          1.4  christos 
    476          1.4  christos 			snprintf(token_id_comment,
    477          1.4  christos 				 sizeof(token_id_comment), "%5d %-17s",
    478      1.4.4.3       riz 				 i, (initial_state == i)
    479      1.4.4.3       riz 					? "[initial state]"
    480          1.4  christos 					: prefix);
    481          1.1    kardel 		}
    482          1.1    kardel 
    483          1.1    kardel 		printf("  S_ST( '%c',\t%d,    %5u, %5u )%s /* %s */\n",
    484          1.1    kardel 		       sst[i].ch,
    485          1.1    kardel 		       sst[i].followedby,
    486          1.1    kardel 		       sst[i].match_next_s,
    487          1.1    kardel 		       sst[i].other_next_s,
    488          1.1    kardel 		       (i + 1 < sst_highwater)
    489          1.1    kardel 			   ? ","
    490          1.1    kardel 			   : " ",
    491          1.1    kardel 		       token_id_comment);
    492          1.1    kardel 	}
    493          1.1    kardel 
    494          1.1    kardel 	printf("};\n\n");
    495          1.1    kardel }
    496          1.1    kardel 
    497          1.1    kardel 
    498          1.1    kardel /* Define a function to create the states of the scanner. This function
    499          1.1    kardel  * is used by the create_keyword_scanner function below.
    500          1.1    kardel  *
    501          1.1    kardel  * This function takes a suffix of a keyword, the token to be returned on
    502          1.1    kardel  * recognizing the complete keyword, and any pre-existing state that exists
    503          1.1    kardel  * for some other keyword that has the same prefix as the current one.
    504          1.1    kardel  */
    505          1.4  christos static u_short
    506          1.1    kardel create_scan_states(
    507      1.4.4.3       riz 	char *	text,
    508      1.4.4.3       riz 	u_short	token,
    509          1.1    kardel 	follby	followedby,
    510          1.4  christos 	u_short	prev_state
    511          1.1    kardel 	)
    512          1.1    kardel {
    513          1.4  christos 	u_short my_state;
    514          1.4  christos 	u_short return_state;
    515          1.4  christos 	u_short prev_char_s;
    516          1.4  christos 	u_short curr_char_s;
    517          1.1    kardel 
    518          1.1    kardel 	return_state = prev_state;
    519          1.1    kardel 	curr_char_s = prev_state;
    520          1.1    kardel 	prev_char_s = 0;
    521          1.1    kardel 
    522      1.4.4.3       riz 	/* Find the correct position to insert the state.
    523          1.1    kardel 	 * All states should be in alphabetical order
    524          1.1    kardel 	 */
    525          1.1    kardel 	while (curr_char_s && (text[0] < sst[curr_char_s].ch)) {
    526          1.1    kardel 		prev_char_s = curr_char_s;
    527          1.1    kardel 		curr_char_s = sst[curr_char_s].other_next_s;
    528          1.1    kardel 	}
    529          1.1    kardel 
    530      1.4.4.3       riz 	/*
    531          1.1    kardel 	 * Check if a previously seen keyword has the same prefix as
    532          1.1    kardel 	 * the current keyword.  If so, simply use the state for that
    533          1.1    kardel 	 * keyword as my_state, otherwise, allocate a new state.
    534          1.1    kardel 	 */
    535          1.1    kardel 	if (curr_char_s && (text[0] == sst[curr_char_s].ch)) {
    536          1.1    kardel 		my_state = curr_char_s;
    537          1.1    kardel 		if ('\0' == text[1]) {
    538          1.1    kardel 			fprintf(stderr,
    539          1.1    kardel 				"Duplicate entries for keyword '%s' in"
    540          1.1    kardel 				" keyword_gen.c ntp_keywords[].\n",
    541          1.1    kardel 				current_keyword);
    542          1.1    kardel 			exit(2);
    543          1.1    kardel 		}
    544          1.1    kardel 	} else {
    545          1.1    kardel 		do
    546          1.1    kardel 			my_state = sst_highwater++;
    547          1.1    kardel 		while (my_state < COUNTOF(sst)
    548          1.1    kardel 		       && sst[my_state].finishes_token);
    549          1.1    kardel 		if (my_state >= COUNTOF(sst)) {
    550          1.1    kardel 			fprintf(stderr,
    551          1.1    kardel 				"fatal, keyword scanner state array "
    552          1.1    kardel 				"sst[%d] is too small, modify\n"
    553          1.1    kardel 				"keyword-gen.c to increase.\n",
    554          1.1    kardel 				(int)COUNTOF(sst));
    555          1.1    kardel 			exit(3);
    556          1.1    kardel 		}
    557          1.1    kardel 		/* Store the next character of the keyword */
    558      1.4.4.3       riz 		sst[my_state].ch = text[0];
    559          1.1    kardel 		sst[my_state].other_next_s = curr_char_s;
    560          1.1    kardel 		sst[my_state].followedby = FOLLBY_NON_ACCEPTING;
    561          1.1    kardel 
    562          1.1    kardel 		if (prev_char_s)
    563          1.1    kardel 			sst[prev_char_s].other_next_s = my_state;
    564          1.1    kardel 		else
    565          1.1    kardel 			return_state = my_state;
    566          1.1    kardel 	}
    567          1.1    kardel 
    568          1.1    kardel 	/* Check if the next character is '\0'.
    569          1.1    kardel 	 * If yes, we are done with the recognition and this is an accepting
    570          1.1    kardel 	 * state.
    571          1.1    kardel 	 * If not, we need to continue scanning
    572          1.1    kardel 	 */
    573          1.1    kardel 	if ('\0' == text[1]) {
    574          1.1    kardel 		sst[my_state].finishes_token = (u_short)token;
    575          1.1    kardel 		sst[my_state].followedby = (char)followedby;
    576          1.1    kardel 
    577          1.1    kardel 		if (sst[token].finishes_token != (u_short)token) {
    578          1.1    kardel 			fprintf(stderr,
    579          1.1    kardel 				"fatal, sst[%d] not reserved for %s.\n",
    580          1.1    kardel 				token, symbname(token));
    581          1.1    kardel 			exit(6);
    582          1.1    kardel 		}
    583          1.1    kardel 		/* relocate so token id is sst[] index */
    584          1.1    kardel 		if (my_state != token) {
    585          1.1    kardel 			sst[token] = sst[my_state];
    586          1.4  christos 			ZERO(sst[my_state]);
    587          1.1    kardel 			do
    588          1.1    kardel 				sst_highwater--;
    589          1.1    kardel 			while (sst[sst_highwater].finishes_token);
    590          1.1    kardel 			my_state = token;
    591          1.1    kardel 			if (prev_char_s)
    592          1.1    kardel 				sst[prev_char_s].other_next_s = my_state;
    593          1.1    kardel 			else
    594          1.1    kardel 				return_state = my_state;
    595          1.1    kardel 		}
    596          1.1    kardel 	} else
    597      1.4.4.3       riz 		sst[my_state].match_next_s =
    598          1.1    kardel 		    create_scan_states(
    599          1.1    kardel 			&text[1],
    600          1.1    kardel 			token,
    601          1.1    kardel 			followedby,
    602          1.1    kardel 			sst[my_state].match_next_s);
    603          1.1    kardel 
    604          1.1    kardel 	return return_state;
    605          1.1    kardel }
    606          1.1    kardel 
    607          1.1    kardel 
    608          1.1    kardel /* Define a function that takes a list of (keyword, token) values and
    609          1.1    kardel  * creates a keywords scanner out of it.
    610          1.1    kardel  */
    611          1.1    kardel 
    612          1.4  christos static u_short
    613          1.1    kardel create_keyword_scanner(void)
    614          1.1    kardel {
    615          1.4  christos 	u_short scanner;
    616          1.4  christos 	u_short i;
    617          1.1    kardel 
    618          1.1    kardel 	sst_highwater = 1;	/* index 0 invalid, unused */
    619          1.1    kardel 	scanner = 0;
    620          1.1    kardel 
    621          1.1    kardel 	for (i = 0; i < COUNTOF(ntp_keywords); i++) {
    622          1.1    kardel 		current_keyword = ntp_keywords[i].key;
    623          1.1    kardel 		scanner =
    624          1.1    kardel 		    create_scan_states(
    625      1.4.4.3       riz 			ntp_keywords[i].key,
    626      1.4.4.3       riz 			ntp_keywords[i].token,
    627          1.1    kardel 			ntp_keywords[i].followedby,
    628          1.1    kardel 			scanner);
    629          1.1    kardel 	}
    630          1.1    kardel 
    631          1.1    kardel 	return scanner;
    632          1.1    kardel }
    633          1.1    kardel 
    634          1.1    kardel 
    635          1.1    kardel static void
    636          1.1    kardel generate_token_text(void)
    637          1.1    kardel {
    638          1.4  christos 	u_short lowest_id;
    639          1.4  christos 	u_short highest_id;
    640          1.4  christos 	u_short id_count;
    641          1.4  christos 	u_short id;
    642          1.4  christos 	u_short i;
    643          1.1    kardel 
    644          1.1    kardel 	/* sort ntp_keywords in token ID order */
    645          1.1    kardel 	qsort(ntp_keywords, COUNTOF(ntp_keywords),
    646          1.1    kardel 	      sizeof(ntp_keywords[0]), compare_key_tok_id);
    647          1.1    kardel 
    648          1.1    kardel 	lowest_id = ntp_keywords[0].token;
    649          1.1    kardel 	highest_id = ntp_keywords[COUNTOF(ntp_keywords) - 1].token;
    650          1.1    kardel 	id_count = highest_id - lowest_id + 1;
    651          1.1    kardel 
    652          1.1    kardel 	printf("#define LOWEST_KEYWORD_ID %d\n\n", lowest_id);
    653          1.1    kardel 
    654          1.1    kardel 	printf("const char * const keyword_text[%d] = {", id_count);
    655          1.1    kardel 
    656          1.1    kardel 	id = lowest_id;
    657          1.1    kardel 	i = 0;
    658          1.1    kardel 	while (i < COUNTOF(ntp_keywords)) {
    659          1.1    kardel 		while (id < ntp_keywords[i].token) {
    660          1.1    kardel 			printf(",\n\t/* %-5d %5d %20s */\tNULL",
    661          1.1    kardel 			       id - lowest_id, id, symbname(id));
    662          1.1    kardel 			id++;
    663          1.1    kardel 		}
    664          1.1    kardel 		if (i > 0)
    665          1.1    kardel 			printf(",");
    666          1.1    kardel 		printf("\n\t/* %-5d %5d %20s */\t\"%s\"",
    667      1.4.4.3       riz 		       id - lowest_id, id, symbname(id),
    668          1.1    kardel 		       ntp_keywords[i].key);
    669          1.1    kardel 		i++;
    670          1.1    kardel 		id++;
    671          1.1    kardel 	}
    672          1.1    kardel 
    673          1.1    kardel 	printf("\n};\n\n");
    674          1.1    kardel }
    675          1.1    kardel 
    676      1.4.4.3       riz 
    677          1.1    kardel int
    678          1.1    kardel compare_key_tok_id(
    679          1.4  christos 	const void *a1,
    680          1.4  christos 	const void *a2
    681          1.1    kardel 	)
    682          1.1    kardel {
    683          1.4  christos 	const struct key_tok *p1 = a1;
    684          1.4  christos 	const struct key_tok *p2 = a2;
    685          1.1    kardel 
    686          1.1    kardel 	if (p1->token == p2->token)
    687          1.1    kardel 		return 0;
    688          1.1    kardel 
    689          1.1    kardel 	if (p1->token < p2->token)
    690          1.1    kardel 		return -1;
    691          1.1    kardel 	else
    692          1.1    kardel 		return 1;
    693          1.1    kardel }
    694          1.1    kardel 
    695          1.1    kardel 
    696          1.1    kardel int
    697          1.1    kardel compare_key_tok_text(
    698          1.4  christos 	const void *a1,
    699          1.4  christos 	const void *a2
    700          1.1    kardel 	)
    701          1.1    kardel {
    702          1.4  christos 	const struct key_tok *p1 = a1;
    703          1.4  christos 	const struct key_tok *p2 = a2;
    704          1.1    kardel 
    705          1.1    kardel 	return strcmp(p1->key, p2->key);
    706          1.1    kardel }
    707          1.1    kardel 
    708          1.1    kardel 
    709          1.1    kardel /*
    710          1.1    kardel  * populate_symb() - populate symb[] lookup array with symbolic token
    711          1.1    kardel  *		     names such that symb[T_Age] == "T_Age", etc.
    712          1.1    kardel  */
    713          1.1    kardel void
    714          1.1    kardel populate_symb(
    715          1.1    kardel 	char *header_file
    716          1.1    kardel 	)
    717          1.1    kardel {
    718          1.1    kardel 	FILE *	yh;
    719          1.4  christos 	char	line[2 * MAX_TOK_LEN];
    720          1.4  christos 	char	name[2 * MAX_TOK_LEN];
    721          1.1    kardel 	int	token;
    722          1.1    kardel 
    723          1.1    kardel 	yh = fopen(header_file, "r");
    724          1.1    kardel 	if (NULL == yh) {
    725          1.1    kardel 		perror("unable to open yacc/bison header file");
    726          1.1    kardel 		exit(4);
    727          1.1    kardel 	}
    728          1.1    kardel 
    729          1.1    kardel 	while (NULL != fgets(line, sizeof(line), yh))
    730          1.1    kardel 		if (2 == sscanf(line, "#define %s %d", name, &token)
    731          1.1    kardel 		    && 'T' == name[0] && '_' == name[1] && token >= 0
    732          1.4  christos 		    && token < COUNTOF(symb)) {
    733          1.1    kardel 
    734          1.1    kardel 			symb[token] = estrdup(name);
    735          1.4  christos 			if (strlen(name) > MAX_TOK_LEN) {
    736          1.4  christos 				fprintf(stderr,
    737          1.4  christos 					"MAX_TOK_LEN %d too small for '%s'\n"
    738          1.4  christos 					"Edit keyword-gen.c to raise.\n",
    739          1.4  christos 					MAX_TOK_LEN, name);
    740          1.4  christos 				exit(10);
    741          1.4  christos 			}
    742          1.4  christos 		}
    743          1.1    kardel 	fclose(yh);
    744          1.1    kardel }
    745          1.1    kardel 
    746          1.1    kardel 
    747          1.1    kardel const char *
    748          1.1    kardel symbname(
    749          1.4  christos 	u_short token
    750          1.1    kardel 	)
    751          1.1    kardel {
    752          1.1    kardel 	char *name;
    753          1.1    kardel 
    754          1.4  christos 	if (token < COUNTOF(symb) && symb[token] != NULL) {
    755          1.4  christos 		name = symb[token];
    756          1.4  christos 	} else {
    757          1.4  christos 		LIB_GETBUF(name);
    758          1.4  christos 		snprintf(name, LIB_BUFLENGTH, "%d", token);
    759      1.4.4.3       riz 	}
    760          1.1    kardel 
    761          1.1    kardel 	return name;
    762          1.1    kardel }
    763