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