chiark / gitweb /
Patch from Peter Benie.
[userv.git] / language.i4
1 dnl  userv - language.i4
2 dnl  definition of the configuration language, used for tokens.h and lexer.l
3 dnl
4 dnl  Copyright (C)1996-1997,1999 Ian Jackson
5 dnl
6 dnl  This is free software; you can redistribute it and/or modify it
7 dnl  under the terms of the GNU General Public License as published by
8 dnl  the Free Software Foundation; either version 2 of the License, or
9 dnl  (at your option) any later version.
10 dnl
11 dnl  This program is distributed in the hope that it will be useful, but
12 dnl  WITHOUT ANY WARRANTY; without even the implied warranty of
13 dnl  MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the GNU
14 dnl  General Public License for more details.
15 dnl
16 dnl  You should have received a copy of the GNU General Public License
17 dnl  along with userv; if not, write to the Free Software
18 dnl  Foundation, 59 Temple Place - Suite 330, Boston, MA 02111-1307, USA.
19
20 dnl  Diversions are
21 dnl   1,2,4: sections of token enum list
22 dnl   3:     flex rules
23
24 divert(-1)
25
26 define(`makename',`translit(``$1'',`-_')')
27
28 define(`hasvalistype',`pushdef(`odiv',divnum)dnl
29 divert(1)dnl
30   format(``%-50s'',`toki_$1=')`$2',
31 divert(2)dnl
32   format(``%-30s'',`tokv_$1=')`$3|toki_$1',
33 divert(odiv)popdef(`odiv')')
34
35 define(`cautotoki',eval(`0x1'))
36 define(`cautotokt',eval(`0x1000'))
37
38 define(`autovalistype',`hasvalistype(`$1',format(``0x%08x'',cautotoki),`$2')`'define(`cautotoki',incr(cautotoki))')
39
40 define(`autovaldeftype',`pushdef(`odiv',divnum)divert(4)dnl
41   format(``%-25s'',`tokt_$1=')format(``0x%08x'',cautotokt),
42 divert(odiv)popdef(`odiv')define(`cautotokt',eval(cautotokt`*2'))')
43
44 define(`nametypelexpatexec',`
45 autovalistype(`$1',`$2')
46 pushdef(`odiv',divnum)divert(3)dnl
47 `$3 { $4'`return tokv_$1; }'
48 divert(odiv)popdef(`odiv')')
49
50 define(`wordtypelexexec',
51 `nametypelexpatexec(`word_'makename(`$1'),`$2|tokr_word',`$1',`$3')')
52
53 dnl types
54 autovaldeftype(`directive')
55 autovaldeftype(`controlstart')
56 autovaldeftype(`controlend')
57 autovaldeftype(`exception')
58 autovaldeftype(`parmcondition')
59 autovaldeftype(`condop')
60 autovaldeftype(`parameter')
61 autovaldeftype(`number')
62 autovaldeftype(`fdrange')
63 autovaldeftype(`logfacility')
64 autovaldeftype(`loglevel')
65 autovaldeftype(`readwrite')
66 autovaldeftype(`string')
67 autovaldeftype(`execmode')
68 autovaldeftype(`ehandlemode')
69 autovaldeftype(`lookupquotemode')
70 autovaldeftype(`builtinservice')
71 autovaldeftype(`misc')
72 autovaldeftype(`internal')
73
74 dnl simple isdirectives
75 define(`isdirectivefn',`dnl
76 wordtypelexexec(`$1',`tokt_directive$3',`lr_dir= $2; $4')dnl
77 pushdef(`odiv',divnum)
78 divert(odiv)popdef(`odiv')')
79 define(`isdirective',`isdirectivefn(`$1',`df_'makename(`$1'),`$2')')
80 define(`isdirectiveinternal',`isdirectivefn(`$1',`dfi_'makename(`$1'),
81                                             `|tokt_internal$2')')
82 define(`isexecmode',`isdirective(`$1',`|tokt_execmode')')
83 define(`isehandlemode',`isdirective(`$1',`|tokt_ehandlemode')')
84 define(`islookupquotemode',`isdirectivefn(`$1',`dfg_lookupquotemode',
85         `|tokt_lookupquotemode')')
86 define(`isfdwant',`isdirectivefn(`$1',`dfg_fdwant',`',
87                       `lr_fdwant_readwrite=$2; ')')
88 define(`isflagpair',`isdirectivefn(`$1',`dfg_setflag',`',
89                       `lr_flag= &'makename(`$1')`; lr_flagval= 1; ')
90                      isdirectivefn(`no-$1',`dfg_setflag',`',
91                       `lr_flag= &'makename(`$1')`; lr_flagval= 0; ')')
92 dnl `reset' is also a builtin service
93 isexecmode(`reject')
94 dnl `execute' is also a builtin service
95 isexecmode(`execute-from-directory')
96 isexecmode(`execute-from-path')
97 isexecmode(`execute-builtin')
98 isehandlemode(`errors-to-stderr')
99 isehandlemode(`errors-to-syslog')
100 isehandlemode(`errors-to-file')
101 islookupquotemode(`include-lookup-quote-old')
102 islookupquotemode(`include-lookup-quote-new')
103 isfdwant(`require-fd',`1')
104 isfdwant(`allow-fd',`0')
105 isfdwant(`null-fd',`0')
106 isfdwant(`reject-fd',`-1')
107 isfdwant(`ignore-fd',`-1')
108 isflagpair(`set-environment')
109 isflagpair(`suppress-args')
110 isflagpair(`disconnect-hup')
111 isdirective(`cd')
112 isdirective(`user-rcfile')
113 isdirective(`include')
114 isdirectivefn(`include-ifexist',`df_include')
115 isdirective(`include-lookup')
116 isdirectivefn(`include-lookup-all',`df_includelookup')
117 isdirective(`include-directory')
118 isdirective(`message')
119 isdirectivefn(`_include-sysconfig',`df_include',`|tokt_internal')
120 isdirectiveinternal(`_include-user-rcfile')
121 isdirectiveinternal(`_include-client-config')
122
123 dnl quit and eof are each a directive _and_ an exception
124 dnl as separate tokens.  A true end of file is returned by yylex
125 dnl as the exception.  The directive (word) tokens are
126 dnl tokv_word_{eof,quit}; the exceptions are tokv_{eof,quit}.
127 isdirective(`quit')
128 isdirective(`eof')
129
130 dnl control construct starters
131 define(`iscontrolstart',
132 `isdirective(`$1',`|tokt_controlstart')')
133 iscontrolstart(`if')
134 iscontrolstart(`catch-quit')
135 iscontrolstart(`errors-push')
136
137 dnl control construct enders
138 define(`iscontrolend',
139 `wordtypelexexec(`$1',`tokt_controlend$3',
140                  `lr_controlend= tokv_word_'makename(`$2')`; ')')
141 iscontrolend(`elif',   `if', `|tokt_controlstart')
142 iscontrolend(`else',   `if', `|tokt_controlstart')
143 iscontrolend(`fi',     `if')
144 iscontrolend(`hctac',  `catch-quit')
145 iscontrolend(`srorre', `errors-push')
146
147 dnl conditions
148 define(`isparmcondition',`wordtypelexexec(`$1',`tokt_parmcondition',
149                            `lr_parmcond= pcf_'makename(`$1')`; ')')
150 isparmcondition(`glob')
151 isparmcondition(`range')
152 isparmcondition(`grep')
153
154
155 define(`builtininlist',`
156 pushdef(`odiv',divnum)divert(5)dnl
157   `"$1$2"',
158 divert(odiv)popdef(`odiv')')
159
160 dnl builtin services
161 define(`isbuiltinservice',
162  `wordtypelexexec(`$1',`tokt_builtinservice$3',
163     `lr_bispa= bispa_'makename(`$2')`; lr_bisexec= bisexec_'makename(`$1')`; $5')
164   builtininlist(`$1',`$4')')
165 isbuiltinservice(`environment',`none')
166 isbuiltinservice(`parameter',`parameter',`',` <parameter>')
167 isbuiltinservice(`version',`none')
168 isbuiltinservice(`toplevel',`none')
169 isbuiltinservice(`override',`none')
170 isbuiltinservice(`shutdown',`none')
171
172 dnl builtin services that are also directive names
173 define(`isdirectivebuiltinservice',
174    `isbuiltinservice(`$1',`$2',`|tokt_directive$3',`$4',
175                      `lr_dir= df_'makename(`$1')`; ')')
176 isdirectivebuiltinservice(`reset',`none')
177 isdirectivebuiltinservice(`execute',`none',`|tokt_execmode')
178
179 isbuiltinservice(`help',`none')
180
181 dnl parameters
182 define(`isparameter',`wordtypelexexec(`$1',`tokt_parameter',
183                         `lr_parameter= pf_'makename(`$1')`; ')')
184 isparameter(`service')
185 isparameter(`calling-user')
186 isparameter(`calling-group')
187 isparameter(`calling-user-shell')
188 isparameter(`service-user')
189 isparameter(`service-group')
190 isparameter(`service-user-shell')
191
192 dnl syslog levels
193 define(`isloglevellexpat',
194 `nametypelexpatexec(`syslog_$1',`tokt_loglevel|tokr_word',`$2',
195                     `lr_loglevel= LOG_'translit(``$1'',`a-z',`A-Z')`; ')')
196 define(`isloglevel',`isloglevellexpat(`$1',`$1')')
197 isloglevel(`debug')
198 isloglevel(`info')
199 isloglevel(`notice')
200 isloglevellexpat(`warning',`warn(ing)?')
201 isloglevel(`err')dnl also the word error, which has dual meaning (below)
202 isloglevel(`crit')
203 isloglevel(`alert')
204 isloglevellexpat(`emerg',`emerg|panic')
205
206 dnl syslog facilities
207 define(`islogfacilitylexpat',
208 `nametypelexpatexec(`syslog_$1',`tokt_logfacility|tokr_word',`$2',
209                     `lr_logfacility= LOG_'translit(``$1'',`a-z',`A-Z')`; ')')
210 define(`islogfacility',`islogfacilitylexpat(`$1',`$1')')
211 islogfacilitylexpat(`authpriv',`auth(priv)?|security')
212 islogfacility(`cron')
213 islogfacility(`daemon')
214 islogfacilitylexpat(`kern',`kern(el)?')
215 islogfacility(`lpr')
216 islogfacility(`mail')
217 islogfacility(`news')
218 islogfacility(`syslog')
219 islogfacility(`user')
220 islogfacility(`uucp')
221 islogfacility(`local0')
222 islogfacility(`local1')
223 islogfacility(`local2')
224 islogfacility(`local3')
225 islogfacility(`local4')
226 islogfacility(`local5')
227 islogfacility(`local6')
228 islogfacility(`local7')
229
230 dnl misc. word-like things
231 wordtypelexexec(`read',`tokt_readwrite',`')
232 wordtypelexexec(`write',`tokt_readwrite',`')
233
234 dnl small nonnegative integers and fd ranges
235 dnl some of these have two tokt_ bits set, because they can be several things.
236 autovalistype(`ordinal',        `tokt_number|tokt_fdrange|tokr_word')
237 autovalistype(`fdrange',        `tokt_fdrange|tokr_punct')
238 autovalistype(`fdstoend',       `tokt_fdrange|tokr_punct')
239 nametypelexpatexec(`dollar',`tokt_misc|tokr_punct',`\$',`')
240
241 define(singlefd,`
242 wordtypelexexec(`$1',`tokt_fdrange',` lr_max= lr_min= $2; ')')
243 singlefd(`stdin',`0');
244 singlefd(`stdout',`1');
245 singlefd(`stderr',`2');
246
247 dnl non-word things
248 autovalistype(`lwsp',            `tokt_misc|tokr_nonstring')
249 autovalistype(`newline',         `tokt_misc|tokr_nonstring')
250 autovalistype(`barestring',      `tokt_string|tokr_string')
251 autovalistype(`quotedstring',    `tokt_string|tokr_string')
252
253 dnl exceptions - NB that there are also tokv_word_{eof,quit}
254 dnl - see above, near the directives.
255 autovalistype(`eof',             `tokt_exception|tokr_nonstring')
256 autovalistype(`quit',            `tokt_exception|tokr_nonstring')
257 autovalistype(`error',           `tokt_exception|tokr_nonstring')
258
259 define(`iscondop',`nametypelexpatexec(`$2',`tokt_condop|tokr_punct',`$1',`')')
260 iscondop(`\(',`openparen')
261 iscondop(`\)',`closeparen')
262 iscondop(`\!',`not')
263 iscondop(`\&',`and')
264 iscondop(`\|',`or')
265
266 dnl words that could be two things
267 wordtypelexexec(`error',`tokt_directive|tokt_loglevel',
268                `lr_dir= df_error; lr_loglevel= LOG_ERR; ')
269
270 divert