ref: b0a059537147237e868b4a8f07922ae8a349e55c
dir: /sys/src/cmd/upas/smtp/smtpd.y/
%{ #include "common.h" #include <ctype.h> #include "smtpd.h" #define YYMAXDEPTH 500 /* was default 150 */ #define YYSTYPE yystype typedef struct quux yystype; struct quux { String *s; int c; }; Biobuf *yyfp; YYSTYPE *bang; extern Biobuf bin; extern int debug; YYSTYPE cat(YYSTYPE*, YYSTYPE*, YYSTYPE*, YYSTYPE*, YYSTYPE*, YYSTYPE*, YYSTYPE*); int yyparse(void); int yylex(void); YYSTYPE anonymous(void); %} %term SPACE %term CNTRL %term CRLF %start conversation %% conversation : cmd | conversation cmd ; cmd : error | 'h' 'e' 'l' 'o' spaces sdomain CRLF { hello($6.s, 0); } | 'e' 'h' 'l' 'o' spaces sdomain CRLF { hello($6.s, 1); } | 'm' 'a' 'i' 'l' spaces 'f' 'r' 'o' 'm' ':' spath CRLF { sender($11.s); } | 'm' 'a' 'i' 'l' spaces 'f' 'r' 'o' 'm' ':' spath spaces 'a' 'u' 't' 'h' '=' sauth CRLF { sender($11.s); } | 'r' 'c' 'p' 't' spaces 't' 'o' ':' spath CRLF { receiver($9.s); } | 'd' 'a' 't' 'a' CRLF { data(); } | 'r' 's' 'e' 't' CRLF { reset(); } | 's' 'e' 'n' 'd' spaces 'f' 'r' 'o' 'm' ':' spath CRLF { sender($11.s); } | 's' 'o' 'm' 'l' spaces 'f' 'r' 'o' 'm' ':' spath CRLF { sender($11.s); } | 's' 'a' 'm' 'l' spaces 'f' 'r' 'o' 'm' ':' spath CRLF { sender($11.s); } | 'v' 'r' 'f' 'y' spaces string CRLF { verify($6.s); } | 'e' 'x' 'p' 'n' spaces string CRLF { verify($6.s); } | 'h' 'e' 'l' 'p' CRLF { help(0); } | 'h' 'e' 'l' 'p' spaces string CRLF { help($6.s); } | 'n' 'o' 'o' 'p' CRLF { noop(); } | 'q' 'u' 'i' 't' CRLF { quit(); } | 's' 't' 'a' 'r' 't' 't' 'l' 's' CRLF { starttls(); } | 'a' 'u' 't' 'h' spaces name spaces string CRLF { auth($6.s, $8.s); } | 'a' 'u' 't' 'h' spaces name CRLF { auth($6.s, nil); } | CRLF { reply("500 5.5.1 illegal command or bad syntax\r\n"); } ; path : '<' '>' ={ $$ = anonymous(); } | '<' mailbox '>' ={ $$ = $2; } | '<' a_d_l ':' mailbox '>' ={ $$ = cat(&$2, bang, &$4, 0, 0 ,0, 0); } ; spath : path ={ $$ = $1; } | spaces path ={ $$ = $2; } ; auth : path ={ $$ = $1; } | mailbox ={ $$ = $1; } ; sauth : auth ={ $$ = $1; } | spaces auth ={ $$ = $2; } ; ; a_d_l : at_domain ={ $$ = cat(&$1, 0, 0, 0, 0 ,0, 0); } | at_domain ',' a_d_l ={ $$ = cat(&$1, bang, &$3, 0, 0, 0, 0); } ; at_domain : '@' domain ={ $$ = cat(&$2, 0, 0, 0, 0 ,0, 0); } ; sdomain : domain ={ $$ = $1; } | domain spaces ={ $$ = $1; } ; domain : element ={ $$ = cat(&$1, 0, 0, 0, 0 ,0, 0); } | element '.' ={ $$ = cat(&$1, 0, 0, 0, 0 ,0, 0); } | element '.' domain ={ $$ = cat(&$1, &$2, &$3, 0, 0 ,0, 0); } ; element : name ={ $$ = cat(&$1, 0, 0, 0, 0 ,0, 0); } | '#' number ={ $$ = cat(&$1, &$2, 0, 0, 0 ,0, 0); } | '[' ']' ={ $$ = cat(&$1, &$2, 0, 0, 0 ,0, 0); } | '[' ipaddr ']' ={ $$ = cat(&$1, &$2, &$3, 0, 0 ,0, 0); } ; mailbox : local_part ={ $$ = cat(&$1, 0, 0, 0, 0 ,0, 0); } | local_part '@' domain ={ $$ = cat(&$3, bang, &$1, 0, 0 ,0, 0); } ; local_part : dot_string ={ $$ = cat(&$1, 0, 0, 0, 0 ,0, 0); } | quoted_string ={ $$ = cat(&$1, 0, 0, 0, 0 ,0, 0); } ; name : let_dig ={ $$ = cat(&$1, 0, 0, 0, 0 ,0, 0); } | let_dig ld_str ={ $$ = cat(&$1, &$2, 0, 0, 0 ,0, 0); } | let_dig ldh_str ld_str ={ $$ = cat(&$1, &$2, &$3, 0, 0 ,0, 0); } ; ld_str : let_dig | let_dig ld_str ={ $$ = cat(&$1, &$2, 0, 0, 0 ,0, 0); } ; ldh_str : hunder | ld_str hunder ={ $$ = cat(&$1, &$2, 0, 0, 0 ,0, 0); } | ldh_str ld_str hunder ={ $$ = cat(&$1, &$2, &$3, 0, 0 ,0, 0); } ; let_dig : a | d ; dot_string : string ={ $$ = cat(&$1, 0, 0, 0, 0 ,0, 0); } | string '.' dot_string ={ $$ = cat(&$1, &$2, &$3, 0, 0 ,0, 0); } ; string : char ={ $$ = cat(&$1, 0, 0, 0, 0 ,0, 0); } | string char ={ $$ = cat(&$1, &$2, 0, 0, 0 ,0, 0); } ; quoted_string : '"' qtext '"' ={ $$ = cat(&$1, &$2, &$3, 0, 0 ,0, 0); } ; qtext : '\\' x ={ $$ = cat(&$2, 0, 0, 0, 0 ,0, 0); } | qtext '\\' x ={ $$ = cat(&$1, &$3, 0, 0, 0 ,0, 0); } | q | qtext q ={ $$ = cat(&$1, &$2, 0, 0, 0 ,0, 0); } ; char : c | '\\' x ={ $$ = $2; } ; ipaddr : ipv4addr ={ $$ = cat(&$1, 0, 0, 0, 0, 0, 0); } | 'i' 'p' 'v' '6' ':' ipv6addr ={ $$ = cat(&$6, 0, 0, 0, 0, 0, 0); } ; ipv6addr : ipv6addr_list ={ $$ = cat(&$1, 0, 0, 0, 0, 0, 0); } | ipv6addr_list ':' ':' ipv6addr_list ={ $$ = cat(&$1, &$2, &$3, &$4, 0, 0, 0); } | ':' ':' ipv6addr_list ={ $$ = cat(&$1, &$2, &$3, 0, 0, 0, 0); } ; ipv6addr_list : ipv6addr_elem ={ $$ = cat(&$1, 0, 0, 0, 0, 0, 0); } | ipv6addr_list ':' ipv6addr_elem ={ $$ = cat(&$1, &$2, &$3, 0, 0, 0, 0); } ; ipv6addr_elem : hnum ={ $$ = cat(&$1, 0, 0, 0, 0, 0, 0); } | ipv4addr ={ $$ = cat(&$1, 0, 0, 0, 0, 0, 0); } ; ipv4addr : snum '.' snum '.' snum '.' snum ={ $$ = cat(&$1, &$2, &$3, &$4, &$5, &$6, &$7); } ; number : d ={ $$ = cat(&$1, 0, 0, 0, 0, 0, 0); } | number d ={ $$ = cat(&$1, &$2, 0, 0, 0, 0, 0); } ; snum : number ={ if(atoi(s_to_c($1.s)) > 255) fprint(2, "bad snum\n"); } ; hnum : h ={ $$ = cat(&$1, 0, 0, 0, 0, 0, 0); } | h h ={ $$ = cat(&$1, &$2, 0, 0, 0, 0, 0); } | h h h ={ $$ = cat(&$1, &$2, &$3, 0, 0, 0, 0); } | h h h h ={ $$ = cat(&$1, &$2, &$3, &$4, 0, 0, 0); } ; spaces : SPACE ={ $$ = $1; } | SPACE spaces ={ $$ = $1; } ; hunder : '-' | '_' ; special1 : CNTRL | '(' | ')' | ',' | '.' | ':' | ';' | '<' | '>' | '@' ; special : special1 | '\\' | '"' ; notspecial : '!' | '#' | '$' | '%' | '&' | '\'' | '*' | '+' | '-' | '/' | '=' | '?' | '[' | ']' | '^' | '_' | '`' | '{' | '|' | '}' | '~' ; a : 'a' | 'b' | 'c' | 'd' | 'e' | 'f' | 'g' | 'h' | 'i' | 'j' | 'k' | 'l' | 'm' | 'n' | 'o' | 'p' | 'q' | 'r' | 's' | 't' | 'u' | 'v' | 'w' | 'x' | 'y' | 'z' ; d : '0' | '1' | '2' | '3' | '4' | '5' | '6' | '7' | '8' | '9' ; h : d | 'a' | 'b' | 'c' | 'd' | 'e' | 'f' ; c : a | d | notspecial ; q : a | d | special1 | notspecial | SPACE ; x : a | d | special | notspecial | SPACE ; %% void parseinit(void) { bang = (YYSTYPE*)malloc(sizeof(YYSTYPE)); bang->c = '!'; bang->s = 0; yyfp = &bin; } yylex(void) { int c; for(;;){ c = Bgetc(yyfp); if(c == -1) return 0; if(debug) fprint(2, "%c", c); yylval.c = c = c & 0x7F; if(c == '\n'){ return CRLF; } if(c == '\r'){ c = Bgetc(yyfp); if(c != '\n'){ Bungetc(yyfp); c = '\r'; } else { if(debug) fprint(2, "%c", c); return CRLF; } } if(isalpha(c)) return tolower(c); if(isspace(c)) return SPACE; if(iscntrl(c)) return CNTRL; return c; } } YYSTYPE cat(YYSTYPE *y1, YYSTYPE *y2, YYSTYPE *y3, YYSTYPE *y4, YYSTYPE *y5, YYSTYPE *y6, YYSTYPE *y7) { YYSTYPE rv; if(y1->s) rv.s = y1->s; else { rv.s = s_new(); s_putc(rv.s, y1->c); s_terminate(rv.s); } if(y2){ if(y2->s){ s_append(rv.s, s_to_c(y2->s)); s_free(y2->s); } else { s_putc(rv.s, y2->c); s_terminate(rv.s); } } else return rv; if(y3){ if(y3->s){ s_append(rv.s, s_to_c(y3->s)); s_free(y3->s); } else { s_putc(rv.s, y3->c); s_terminate(rv.s); } } else return rv; if(y4){ if(y4->s){ s_append(rv.s, s_to_c(y4->s)); s_free(y4->s); } else { s_putc(rv.s, y4->c); s_terminate(rv.s); } } else return rv; if(y5){ if(y5->s){ s_append(rv.s, s_to_c(y5->s)); s_free(y5->s); } else { s_putc(rv.s, y5->c); s_terminate(rv.s); } } else return rv; if(y6){ if(y6->s){ s_append(rv.s, s_to_c(y6->s)); s_free(y6->s); } else { s_putc(rv.s, y6->c); s_terminate(rv.s); } } else return rv; if(y7){ if(y7->s){ s_append(rv.s, s_to_c(y7->s)); s_free(y7->s); } else { s_putc(rv.s, y7->c); s_terminate(rv.s); } } else return rv; return rv; } void yyerror(char *x) { USED(x); } /* * an anonymous user */ YYSTYPE anonymous(void) { YYSTYPE rv; rv.s = s_copy("/dev/null"); return rv; }