Warning: Attempt to read property "date" on null in /usr/local/www/websvn.planix.org/blame.php on line 247

Warning: Attempt to read property "msg" on null in /usr/local/www/websvn.planix.org/blame.php on line 247
WebSVN – planix.SVN – Blame – /os/branches/planix-v0/sys/src/cmd/upas/smtp/smtpd.y – Rev 2

Subversion Repositories planix.SVN

Rev

Go to most recent revision | Details | Last modification | View Log | RSS feed

Rev Author Line No. Line
2 - 1 
%{
2 
#include "common.h"
3 
#include <ctype.h>
4 
#include "smtpd.h"
5 
 
6 
#define YYMAXDEPTH	500		/* was default 150 */
7 
 
8 
#define YYSTYPE yystype
9 
typedef struct quux yystype;
10 
struct quux {
11 
	String	*s;
12 
	int	c;
13 
};
14 
Biobuf *yyfp;
15 
YYSTYPE *bang;
16 
extern Biobuf bin;
17 
extern int debug;
18 
 
19 
YYSTYPE cat(YYSTYPE*, YYSTYPE*, YYSTYPE*, YYSTYPE*, YYSTYPE*, YYSTYPE*, YYSTYPE*);
20 
int yyparse(void);
21 
int yylex(void);
22 
YYSTYPE anonymous(void);
23 
%}
24 
 
25 
%term SPACE
26 
%term CNTRL
27 
%term CRLF
28 
%start conversation
29 
%%
30 
 
31 
conversation	: cmd
32 
		| conversation cmd
33 
		;
34 
cmd		: error
35 
		| 'h' 'e' 'l' 'o' spaces sdomain CRLF
36 
			{ hello($6.s, 0); }
37 
		| 'e' 'h' 'l' 'o' spaces sdomain CRLF
38 
			{ hello($6.s, 1); }
39 
		| 'm' 'a' 'i' 'l' spaces 'f' 'r' 'o' 'm' ':' spath CRLF
40 
			{ sender($11.s); }
41 
		| 'm' 'a' 'i' 'l' spaces 'f' 'r' 'o' 'm' ':' spath spaces 'a' 'u' 't' 'h' '=' sauth CRLF
42 
			{ sender($11.s); }
43 
		| 'r' 'c' 'p' 't' spaces 't' 'o' ':' spath CRLF
44 
			{ receiver($9.s); }
45 
		| 'd' 'a' 't' 'a' CRLF
46 
			{ data(); }
47 
		| 'r' 's' 'e' 't' CRLF
48 
			{ reset(); }
49 
		| 's' 'e' 'n' 'd' spaces 'f' 'r' 'o' 'm' ':' spath CRLF
50 
			{ sender($11.s); }
51 
		| 's' 'o' 'm' 'l' spaces 'f' 'r' 'o' 'm'  ':' spath CRLF
52 
			{ sender($11.s); }
53 
		| 's' 'a' 'm' 'l' spaces 'f' 'r' 'o' 'm' ':' spath CRLF
54 
			{ sender($11.s); }
55 
		| 'v' 'r' 'f' 'y' spaces string CRLF
56 
			{ verify($6.s); }
57 
		| 'e' 'x' 'p' 'n' spaces string CRLF
58 
			{ verify($6.s); }
59 
		| 'h' 'e' 'l' 'p' CRLF
60 
			{ help(0); }
61 
		| 'h' 'e' 'l' 'p' spaces string CRLF
62 
			{ help($6.s); }
63 
		| 'n' 'o' 'o' 'p' CRLF
64 
			{ noop(); }
65 
		| 'q' 'u' 'i' 't' CRLF
66 
			{ quit(); }
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("500 5.5.1 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) fprint(2, "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 
	return rv;
300 
}
301 
 
302 
void
303 
yyerror(char *x)
304 
{
305 
	USED(x);
306 
}
307 
 
308 
/*
309 
 *  an anonymous user
310 
 */
311 
YYSTYPE
312 
anonymous(void)
313 
{
314 
	YYSTYPE rv;
315 
 
316 
	rv.s = s_copy("/dev/null");
317 
	return rv;
318 
}