Research V7 development
[unix-history] / usr / src / cmd / awk / awk.g.y
CommitLineData
2b75aac9
AA
1%token FIRSTTOKEN /*must be first*/
2%token FINAL FATAL
3%token LT LE GT GE EQ NE
4%token MATCH NOTMATCH
5%token APPEND
6%token ADD MINUS MULT DIVIDE MOD UMINUS
7%token ASSIGN ADDEQ SUBEQ MULTEQ DIVEQ MODEQ
8%token JUMP
9%token XBEGIN XEND
10%token NL
11%token PRINT PRINTF SPRINTF SPLIT
12%token IF ELSE WHILE FOR IN NEXT EXIT BREAK CONTINUE
13%token PROGRAM PASTAT PASTAT2
14
15%right ASGNOP
16%left BOR
17%left AND
18%left NOT
19%left NUMBER VAR ARRAY FNCN SUBSTR LSUBSTR INDEX
20%nonassoc RELOP MATCHOP
21%left OR
22%left STRING DOT CCL NCCL CHAR
23%left '(' '^' '$'
24%left CAT
25%left '+' '-'
26%left '*' '/' '%'
27%left STAR PLUS QUEST
28%left POSTINCR PREINCR POSTDECR PREDECR INCR DECR
29%left FIELD INDIRECT
30%token LASTTOKEN /* has to be last */
31
32%{
33#include "awk.def"
34#ifndef DEBUG
35# define PUTS(x)
36#endif
37%}
38%%
39
40program:
41 begin pa_stats end { if (errorflag==0) winner = stat3(PROGRAM, $1, $2, $3); }
42 | error { yyclearin; yyerror("bailing out"); }
43 ;
44
45begin:
46 XBEGIN '{' stat_list '}' { PUTS("XBEGIN list"); $$ = $3; }
47 | begin NL
48 | { PUTS("empty XBEGIN"); $$ = nullstat; }
49 ;
50
51end:
52 XEND '{' stat_list '}' { PUTS("XEND list"); $$ = $3; }
53 | end NL
54 | { PUTS("empty END"); $$ = nullstat; }
55 ;
56
57compound_conditional:
58 conditional BOR conditional { PUTS("cond||cond"); $$ = op2(BOR, $1, $3); }
59 | conditional AND conditional { PUTS("cond&&cond"); $$ = op2(AND, $1, $3); }
60 | NOT conditional { PUTS("!cond"); $$ = op1(NOT, $2); }
61 | '(' compound_conditional ')' { $$ = $2; }
62 ;
63
64compound_pattern:
65 pattern BOR pattern { PUTS("pat||pat"); $$ = op2(BOR, $1, $3); }
66 | pattern AND pattern { PUTS("pat&&pat"); $$ = op2(AND, $1, $3); }
67 | NOT pattern { PUTS("!pat"); $$ = op1(NOT, $2); }
68 | '(' compound_pattern ')' { $$ = $2; }
69 ;
70
71conditional:
72 expr { PUTS("expr"); $$ = op2(NE, $1, valtonode(lookup("0", symtab), CCON)); }
73 | rel_expr { PUTS("relexpr"); }
74 | lex_expr { PUTS("lexexpr"); }
75 | compound_conditional { PUTS("compcond"); }
76 ;
77
78else:
79 ELSE optNL { PUTS("else"); }
80 ;
81
82field:
83 FIELD { PUTS("field"); $$ = valtonode($1, CFLD); }
84 | INDIRECT term { PUTS("ind field"); $$ = op1(INDIRECT, $2); }
85 ;
86
87if:
88 IF '(' conditional ')' optNL { PUTS("if(cond)"); $$ = $3; }
89 ;
90
91lex_expr:
92 expr MATCHOP regular_expr { PUTS("expr~re"); $$ = op2($2, $1, makedfa($3)); }
93 | '(' lex_expr ')' { PUTS("(lex_expr)"); $$ = $2; }
94 ;
95
96var:
97 NUMBER {PUTS("number"); $$ = valtonode($1, CCON); }
98 | STRING { PUTS("string"); $$ = valtonode($1, CCON); }
99 | VAR { PUTS("var"); $$ = valtonode($1, CVAR); }
100 | VAR '[' expr ']' { PUTS("array[]"); $$ = op2(ARRAY, $1, $3); }
101 | field
102 ;
103term:
104 var
105 | FNCN { PUTS("func");
106 $$ = op2(FNCN, $1, valtonode(lookup("$record", symtab), CFLD));
107 }
108 | FNCN '(' ')' { PUTS("func()");
109 $$ = op2(FNCN, $1, valtonode(lookup("$record", symtab), CFLD));
110 }
111 | FNCN '(' expr ')' { PUTS("func(expr)"); $$ = op2(FNCN, $1, $3); }
112 | SPRINTF print_list { PUTS("sprintf"); $$ = op1($1, $2); }
113 | SUBSTR '(' expr ',' expr ',' expr ')'
114 { PUTS("substr(e,e,e)"); $$ = op3(SUBSTR, $3, $5, $7); }
115 | SUBSTR '(' expr ',' expr ')'
116 { PUTS("substr(e,e,e)"); $$ = op3(SUBSTR, $3, $5, nullstat); }
117 | SPLIT '(' expr ',' VAR ',' expr ')'
118 { PUTS("split(e,e,e)"); $$ = op3(SPLIT, $3, $5, $7); }
119 | SPLIT '(' expr ',' VAR ')'
120 { PUTS("split(e,e,e)"); $$ = op3(SPLIT, $3, $5, nullstat); }
121 | INDEX '(' expr ',' expr ')'
122 { PUTS("index(e,e)"); $$ = op2(INDEX, $3, $5); }
123 | '(' expr ')' {PUTS("(expr)"); $$ = $2; }
124 | term '+' term { PUTS("t+t"); $$ = op2(ADD, $1, $3); }
125 | term '-' term { PUTS("t-t"); $$ = op2(MINUS, $1, $3); }
126 | term '*' term { PUTS("t*t"); $$ = op2(MULT, $1, $3); }
127 | term '/' term { PUTS("t/t"); $$ = op2(DIVIDE, $1, $3); }
128 | term '%' term { PUTS("t%t"); $$ = op2(MOD, $1, $3); }
129 | '-' term %prec QUEST { PUTS("-term"); $$ = op1(UMINUS, $2); }
130 | '+' term %prec QUEST { PUTS("+term"); $$ = $2; }
131 | INCR var { PUTS("++var"); $$ = op1(PREINCR, $2); }
132 | DECR var { PUTS("--var"); $$ = op1(PREDECR, $2); }
133 | var INCR { PUTS("var++"); $$= op1(POSTINCR, $1); }
134 | var DECR { PUTS("var--"); $$= op1(POSTDECR, $1); }
135 ;
136
137expr:
138 term { PUTS("term"); }
139 | expr term { PUTS("expr term"); $$ = op2(CAT, $1, $2); }
140 | var ASGNOP expr { PUTS("var=expr"); $$ = stat2($2, $1, $3); }
141 ;
142
143optNL:
144 NL
145 |
146 ;
147
148pa_stat:
149 pattern { PUTS("pattern"); $$ = stat2(PASTAT, $1, genprint()); }
150 | pattern '{' stat_list '}' { PUTS("pattern {...}"); $$ = stat2(PASTAT, $1, $3); }
151 | pattern ',' pattern { PUTS("srch,srch"); $$ = pa2stat($1, $3, genprint()); }
152 | pattern ',' pattern '{' stat_list '}'
153 { PUTS("srch, srch {...}"); $$ = pa2stat($1, $3, $5); }
154 | '{' stat_list '}' { PUTS("null pattern {...}"); $$ = stat2(PASTAT, nullstat, $2); }
155 ;
156
157pa_stats:
158 pa_stats pa_stat st { PUTS("pa_stats pa_stat"); $$ = linkum($1, $2); }
159 | { PUTS("null pa_stat"); $$ = nullstat; }
160 | pa_stats pa_stat {PUTS("pa_stats pa_stat"); $$ = linkum($1, $2); }
161 ;
162
163pattern:
164 regular_expr { PUTS("regex");
165 $$ = op2(MATCH, valtonode(lookup("$record", symtab), CFLD), makedfa($1));
166 }
167 | rel_expr { PUTS("relexpr"); }
168 | lex_expr { PUTS("lexexpr"); }
169 | compound_pattern { PUTS("comp pat"); }
170 ;
171
172print_list:
173 expr { PUTS("expr"); }
174 | pe_list { PUTS("pe_list"); }
175 | { PUTS("null print_list"); $$ = valtonode(lookup("$record", symtab), CFLD); }
176 ;
177
178pe_list:
179 expr ',' expr {$$ = linkum($1, $3); }
180 | pe_list ',' expr {$$ = linkum($1, $3); }
181 | '(' pe_list ')' {$$ = $2; }
182 ;
183
184redir:
185 RELOP
186 | '|'
187 ;
188
189regular_expr:
190 '/' { startreg(); }
191 r '/'
192 { PUTS("/r/"); $$ = $3; }
193 ;
194
195r:
196 CHAR { PUTS("regex CHAR"); $$ = op2(CHAR, (node *) 0, $1); }
197 | DOT { PUTS("regex DOT"); $$ = op2(DOT, (node *) 0, (node *) 0); }
198 | CCL { PUTS("regex CCL"); $$ = op2(CCL, (node *) 0, cclenter($1)); }
199 | NCCL { PUTS("regex NCCL"); $$ = op2(NCCL, (node *) 0, cclenter($1)); }
200 | '^' { PUTS("regex ^"); $$ = op2(CHAR, (node *) 0, HAT); }
201 | '$' { PUTS("regex $"); $$ = op2(CHAR, (node *) 0 ,(node *) 0); }
202 | r OR r { PUTS("regex OR"); $$ = op2(OR, $1, $3); }
203 | r r %prec CAT
204 { PUTS("regex CAT"); $$ = op2(CAT, $1, $2); }
205 | r STAR { PUTS("regex STAR"); $$ = op2(STAR, $1, (node *) 0); }
206 | r PLUS { PUTS("regex PLUS"); $$ = op2(PLUS, $1, (node *) 0); }
207 | r QUEST { PUTS("regex QUEST"); $$ = op2(QUEST, $1, (node *) 0); }
208 | '(' r ')' { PUTS("(regex)"); $$ = $2; }
209 ;
210
211rel_expr:
212 expr RELOP expr
213 { PUTS("expr relop expr"); $$ = op2($2, $1, $3); }
214 | '(' rel_expr ')'
215 { PUTS("(relexpr)"); $$ = $2; }
216 ;
217
218st:
219 NL
220 | ';'
221 ;
222
223simple_stat:
224 PRINT print_list redir expr
225 { PUTS("print>stat"); $$ = stat3($1, $2, $3, $4); }
226 | PRINT print_list
227 { PUTS("print list"); $$ = stat3($1, $2, nullstat, nullstat); }
228 | PRINTF print_list redir expr
229 { PUTS("printf>stat"); $$ = stat3($1, $2, $3, $4); }
230 | PRINTF print_list
231 { PUTS("printf list"); $$ = stat3($1, $2, nullstat, nullstat); }
232 | expr { PUTS("expr"); $$ = exptostat($1); }
233 | { PUTS("null simple statement"); $$ = nullstat; }
234 | error { yyclearin; yyerror("illegal statement"); }
235 ;
236
237statement:
238 simple_stat st { PUTS("simple stat"); }
239 | if statement { PUTS("if stat"); $$ = stat3(IF, $1, $2, nullstat); }
240 | if statement else statement
241 { PUTS("if-else stat"); $$ = stat3(IF, $1, $2, $4); }
242 | while statement { PUTS("while stat"); $$ = stat2(WHILE, $1, $2); }
243 | for { PUTS("for stat"); }
244 | NEXT st { PUTS("next"); $$ = genjump(NEXT); }
245 | EXIT st { PUTS("exit"); $$ = genjump(EXIT); }
246 | BREAK st { PUTS("break"); $$ = genjump(BREAK); }
247 | CONTINUE st { PUTS("continue"); $$ = genjump(CONTINUE); }
248 | '{' stat_list '}' { PUTS("{statlist}"); $$ = $2; }
249 ;
250
251stat_list:
252 stat_list statement { PUTS("stat_list stat"); $$ = linkum($1, $2); }
253 | { PUTS("null stat list"); $$ = nullstat; }
254 ;
255
256while:
257 WHILE '(' conditional ')' optNL { PUTS("while(cond)"); $$ = $3; }
258 ;
259
260for:
261 FOR '(' simple_stat ';' conditional ';' simple_stat ')' optNL statement
262 { PUTS("for(e;e;e)"); $$ = stat4(FOR, $3, $5, $7, $10); }
263 | FOR '(' simple_stat ';' ';' simple_stat ')' optNL statement
264 { PUTS("for(e;e;e)"); $$ = stat4(FOR, $3, nullstat, $6, $9); }
265 | FOR '(' VAR IN VAR ')' optNL statement
266 { PUTS("for(v in v)"); $$ = stat3(IN, $3, $5, $8); }
267 ;
268
269%%