op public repos

Blob

Date:: Sat Oct 29 16:26:44 2005 UTC
Message:: Thanks to John Cummings.
Actions:: History | Blame | Raw File
1 %{
2 #include "common.h"
3 #include <ctype.h>
4 #include "smtpd.h"
5 
6 #define YYSTYPE yystype
7 typedef struct quux yystype;
8 struct quux {
9 	String	*s;
10 	int	c;
11 };
12 Biobuf *yyfp;
13 YYSTYPE *bang;
14 extern Biobuf bin;
15 extern int debug;
16 
17 YYSTYPE cat(YYSTYPE*, YYSTYPE*, YYSTYPE*, YYSTYPE*, YYSTYPE*, YYSTYPE*, YYSTYPE*);
18 int yyparse(void);
19 int yylex(void);
20 YYSTYPE anonymous(void);
21 %}
22 
23 %term SPACE
24 %term CNTRL
25 %term CRLF
26 %start conversation
27 %%
28 
29 conversation	: cmd
30 		| conversation cmd
31 		;
32 cmd		: error
33 		| 'h' 'e' 'l' 'o' spaces sdomain CRLF
34 			{ hello($6.s, 0); }
35 		| 'e' 'h' 'l' 'o' spaces sdomain CRLF
36 			{ hello($6.s, 1); }
37 		| 'm' 'a' 'i' 'l' spaces 'f' 'r' 'o' 'm' ':' spath CRLF
38 			{ sender($11.s); }
39 		| 'm' 'a' 'i' 'l' spaces 'f' 'r' 'o' 'm' ':' spath spaces 'a' 'u' 't' 'h' '=' sauth CRLF
40 			{ sender($11.s); }
41 		| 'r' 'c' 'p' 't' spaces 't' 'o' ':' spath CRLF
42 			{ receiver($9.s); }
43 		| 'd' 'a' 't' 'a' CRLF
44 			{ data(); }
45 		| 'r' 's' 'e' 't' CRLF
46 			{ reset(); }
47 		| 's' 'e' 'n' 'd' spaces 'f' 'r' 'o' 'm' ':' spath CRLF
48 			{ sender($11.s); }
49 		| 's' 'o' 'm' 'l' spaces 'f' 'r' 'o' 'm'  ':' spath CRLF
50 			{ sender($11.s); }
51 		| 's' 'a' 'm' 'l' spaces 'f' 'r' 'o' 'm' ':' spath CRLF
52 			{ sender($11.s); }
53 		| 'v' 'r' 'f' 'y' spaces string CRLF
54 			{ verify($6.s); }
55 		| 'e' 'x' 'p' 'n' spaces string CRLF
56 			{ verify($6.s); }
57 		| 'h' 'e' 'l' 'p' CRLF
58 			{ help(0); }
59 		| 'h' 'e' 'l' 'p' spaces string CRLF
60 			{ help($6.s); }
61 		| 'n' 'o' 'o' 'p' CRLF
62 			{ noop(); }
63 		| 'q' 'u' 'i' 't' CRLF
64 			{ quit(); }
65 		| 't' 'u' 'r' 'n' CRLF
66 			{ turn(); }
67 		| 's' 't' 'a' 'r' 't' 't' 'l' 's' CRLF
68 			{ starttls(); }
69 		| 'a' 'u' 't' 'h' spaces name spaces string CRLF
70 			{ auth($6.s, $8.s); }
71 		| 'a' 'u' 't' 'h' spaces name CRLF
72 			{ auth($6.s, nil); }
73 		| CRLF
74 			{ reply("501 illegal command or bad syntax\r\n"); }
75 		;
76 path		: '<' '>'			={ $$ = anonymous(); }
77 		| '<' mailbox '>'		={ $$ = $2; }
78 		| '<' a_d_l ':' mailbox '>'	={ $$ = cat(&$2, bang, &$4, 0, 0 ,0, 0); }
79 		;
80 spath		: path			={ $$ = $1; }
81 		| spaces path		={ $$ = $2; }
82 		;
83 auth		: path			={ $$ = $1; }
84 		| mailbox		={ $$ = $1; }
85 		;
86 sauth		: auth			={ $$ = $1; }
87 		| spaces auth		={ $$ = $2; }
88 		;
89 		;
90 a_d_l		: at_domain		={ $$ = cat(&$1, 0, 0, 0, 0 ,0, 0); }
91 		| at_domain ',' a_d_l	={ $$ = cat(&$1, bang, &$3, 0, 0, 0, 0); }
92 		;
93 at_domain	: '@' domain		={ $$ = cat(&$2, 0, 0, 0, 0 ,0, 0); }
94 		;
95 sdomain		: domain		={ $$ = $1; }
96 		| domain spaces		={ $$ = $1; }
97 		;
98 domain		: element		={ $$ = cat(&$1, 0, 0, 0, 0 ,0, 0); }
99 		| element '.'		={ $$ = cat(&$1, 0, 0, 0, 0 ,0, 0); }
100 		| element '.' domain	={ $$ = cat(&$1, &$2, &$3, 0, 0 ,0, 0); }
101 		;
102 element		: name			={ $$ = cat(&$1, 0, 0, 0, 0 ,0, 0); }
103 		| '#' number		={ $$ = cat(&$1, &$2, 0, 0, 0 ,0, 0); }
104 		| '[' ']'		={ $$ = cat(&$1, &$2, 0, 0, 0 ,0, 0); }
105 		| '[' dotnum ']'	={ $$ = cat(&$1, &$2, &$3, 0, 0 ,0, 0); }
106 		;
107 mailbox		: local_part		={ $$ = cat(&$1, 0, 0, 0, 0 ,0, 0); }
108 		| local_part '@' domain	={ $$ = cat(&$3, bang, &$1, 0, 0 ,0, 0); }
109 		;
110 local_part	: dot_string		={ $$ = cat(&$1, 0, 0, 0, 0 ,0, 0); }
111 		| quoted_string		={ $$ = cat(&$1, 0, 0, 0, 0 ,0, 0); }
112 		;
113 name		: let_dig			={ $$ = cat(&$1, 0, 0, 0, 0 ,0, 0); }
114 		| let_dig ld_str		={ $$ = cat(&$1, &$2, 0, 0, 0 ,0, 0); }
115 		| let_dig ldh_str ld_str	={ $$ = cat(&$1, &$2, &$3, 0, 0 ,0, 0); }
116 		;
117 ld_str		: let_dig
118 		| let_dig ld_str		={ $$ = cat(&$1, &$2, 0, 0, 0 ,0, 0); }
119 		;
120 ldh_str		: hunder
121 		| ld_str hunder		={ $$ = cat(&$1, &$2, 0, 0, 0 ,0, 0); }
122 		| ldh_str ld_str hunder	={ $$ = cat(&$1, &$2, &$3, 0, 0 ,0, 0); }
123 		;
124 let_dig		: a
125 		| d
126 		;
127 dot_string	: string			={ $$ = cat(&$1, 0, 0, 0, 0 ,0, 0); }
128 		| string '.' dot_string		={ $$ = cat(&$1, &$2, &$3, 0, 0 ,0, 0); }
129 		;
130 
131 string		: char	={ $$ = cat(&$1, 0, 0, 0, 0 ,0, 0); }
132 		| string char	={ $$ = cat(&$1, &$2, 0, 0, 0 ,0, 0); }
133 		;
134 
135 quoted_string	: '"' qtext '"'	={ $$ = cat(&$1, &$2, &$3, 0, 0 ,0, 0); }
136 		;
137 qtext		: '\\' x		={ $$ = cat(&$2, 0, 0, 0, 0 ,0, 0); }
138 		| qtext '\\' x		={ $$ = cat(&$1, &$3, 0, 0, 0 ,0, 0); }
139 		| q
140 		| qtext q		={ $$ = cat(&$1, &$2, 0, 0, 0 ,0, 0); }
141 		;
142 char		: c
143 		| '\\' x		={ $$ = $2; }
144 		;
145 dotnum		: snum '.' snum '.' snum '.' snum ={ $$ = cat(&$1, &$2, &$3, &$4, &$5, &$6, &$7); }
146 		;
147 number		: d		={ $$ = cat(&$1, 0, 0, 0, 0 ,0, 0); }
148 		| number d	={ $$ = cat(&$1, &$2, 0, 0, 0 ,0, 0); }
149 		;
150 snum		: number		={ if(atoi(s_to_c($1.s)) > 255) print("bad snum\n"); } 
151 		;
152 spaces		: SPACE		={ $$ = $1; }
153 		| SPACE	spaces	={ $$ = $1; }
154 		;
155 hunder		: '-' | '_'
156 		;
157 special1	: CNTRL
158 		| '(' | ')' | ',' | '.'
159 		| ':' | ';' | '<' | '>' | '@'
160 		;
161 special		: special1 | '\\' | '"'
162 		;
163 notspecial	: '!' | '#' | '$' | '%' | '&' | '\''
164 		| '*' | '+' | '-' | '/'
165 		| '=' | '?'
166 		| '[' | ']' | '^' | '_' | '`' | '{' | '|' | '}' | '~'
167 		;
168 
169 a		: 'a' | 'b' | 'c' | 'd' | 'e' | 'f' | 'g' | 'h' | 'i'
170 		| 'j' | 'k' | 'l' | 'm' | 'n' | 'o' | 'p' | 'q' | 'r'
171 		| 's' | 't' | 'u' | 'v' | 'w' | 'x' | 'y' | 'z'
172 		;
173 d		: '0' | '1' | '2' | '3' | '4' | '5' | '6' | '7' | '8' | '9'
174 		;
175 c		: a | d | notspecial
176 		;		
177 q		: a | d | special1 | notspecial | SPACE
178 		;
179 x		: a | d | special | notspecial | SPACE
180 		;
181 %%
182 
183 void
184 parseinit(void)
185 {
186 	bang = (YYSTYPE*)malloc(sizeof(YYSTYPE));
187 	bang->c = '!';
188 	bang->s = 0;
189 	yyfp = &bin;
190 }
191 
192 yylex(void)
193 {
194 	int c;
195 
196 	for(;;){
197 		c = Bgetc(yyfp);
198 		if(c == -1)
199 			return 0;
200 		if(debug)
201 			fprint(2, "%c", c);
202 		yylval.c = c = c & 0x7F;
203 		if(c == '\n'){
204 			return CRLF;
205 		}
206 		if(c == '\r'){
207 			c = Bgetc(yyfp);
208 			if(c != '\n'){
209 				Bungetc(yyfp);
210 				c = '\r';
211 			} else {
212 				if(debug)
213 					fprint(2, "%c", c);
214 				return CRLF;
215 			}
216 		}
217 		if(isalpha(c))
218 			return tolower(c);
219 		if(isspace(c))
220 			return SPACE;
221 		if(iscntrl(c))
222 			return CNTRL;
223 		return c;
224 	}
225 }
226 
227 YYSTYPE
228 cat(YYSTYPE *y1, YYSTYPE *y2, YYSTYPE *y3, YYSTYPE *y4, YYSTYPE *y5, YYSTYPE *y6, YYSTYPE *y7)
229 {
230 	YYSTYPE rv;
231 
232 	if(y1->s)
233 		rv.s = y1->s;
234 	else {
235 		rv.s = s_new();
236 		s_putc(rv.s, y1->c);
237 		s_terminate(rv.s);
238 	}
239 	if(y2){
240 		if(y2->s){
241 			s_append(rv.s, s_to_c(y2->s));
242 			s_free(y2->s);
243 		} else {
244 			s_putc(rv.s, y2->c);
245 			s_terminate(rv.s);
246 		}
247 	} else
248 		return rv;
249 	if(y3){
250 		if(y3->s){
251 			s_append(rv.s, s_to_c(y3->s));
252 			s_free(y3->s);
253 		} else {
254 			s_putc(rv.s, y3->c);
255 			s_terminate(rv.s);
256 		}
257 	} else
258 		return rv;
259 	if(y4){
260 		if(y4->s){
261 			s_append(rv.s, s_to_c(y4->s));
262 			s_free(y4->s);
263 		} else {
264 			s_putc(rv.s, y4->c);
265 			s_terminate(rv.s);
266 		}
267 	} else
268 		return rv;
269 	if(y5){
270 		if(y5->s){
271 			s_append(rv.s, s_to_c(y5->s));
272 			s_free(y5->s);
273 		} else {
274 			s_putc(rv.s, y5->c);
275 			s_terminate(rv.s);
276 		}
277 	} else
278 		return rv;
279 	if(y6){
280 		if(y6->s){
281 			s_append(rv.s, s_to_c(y6->s));
282 			s_free(y6->s);
283 		} else {
284 			s_putc(rv.s, y6->c);
285 			s_terminate(rv.s);
286 		}
287 	} else
288 		return rv;
289 	if(y7){
290 		if(y7->s){
291 			s_append(rv.s, s_to_c(y7->s));
292 			s_free(y7->s);
293 		} else {
294 			s_putc(rv.s, y7->c);
295 			s_terminate(rv.s);
296 		}
297 	} else
298 		return rv;
299 }
300 
301 void
302 yyerror(char *x)
303 {
304 	USED(x);
305 }
306 
307 /*
308  *  an anonymous user
309  */
310 YYSTYPE
311 anonymous(void)
312 {
313 	YYSTYPE rv;
314 
315 	rv.s = s_copy("/dev/null");
316 	return rv;
317 }