source: EcnlProtoTool/trunk/webapp/webmrbc/mrb_parse.jay@ 321

Last change on this file since 321 was 321, checked in by coas-nagasima, 7 years ago

文字コードを設定
  • Property svn:eol-style set to native
  • Property svn:mime-type set to text/plain;charset=UTF-8
File size: 71.6 KB
Line 
1/*
2** parse.y - mruby parser
3**
4** See Copyright Notice in mruby.h
5*/
6
7%{
8// can first specify namespace
9// could specify using directives
10// [this has not been done here to stress-test the skeleton]
11using System;
12using Bridge;
13using Bridge.Html5;
14
15namespace WebMrbc
16{
17 public enum MrbTokens
18 {
19%}
20
21%token <int>
22 keyword_class
23 keyword_module
24 keyword_def
25 keyword_begin
26 keyword_if
27 keyword_unless
28 keyword_while
29 keyword_until
30 keyword_for
31
32%token
33 keyword_undef
34 keyword_rescue
35 keyword_ensure
36 keyword_end
37 keyword_then
38 keyword_elsif
39 keyword_else
40 keyword_case
41 keyword_when
42 keyword_break
43 keyword_next
44 keyword_redo
45 keyword_retry
46 keyword_in
47 keyword_do
48 keyword_do_cond
49 keyword_do_block
50 keyword_do_LAMBDA
51 keyword_return
52 keyword_yield
53 keyword_super
54 keyword_self
55 keyword_nil
56 keyword_true
57 keyword_false
58 keyword_and
59 keyword_or
60 keyword_not
61 modifier_if
62 modifier_unless
63 modifier_while
64 modifier_until
65 modifier_rescue
66 keyword_alias
67 keyword_BEGIN
68 keyword_END
69 keyword__LINE__
70 keyword__FILE__
71 keyword__ENCODING__
72
73%token <mrb_sym> tIDENTIFIER tFID tGVAR tIVAR tCONSTANT tCVAR tLABEL
74%token <node> tINTEGER tFLOAT tCHAR tXSTRING tREGEXP
75%token <node> tSTRING tSTRING_PART tSTRING_MID tLABEL_END
76%token <node> tNTH_REF tBACK_REF
77%token <int> tREGEXP_END
78
79%type <node> singleton string string_rep string_interp xstring regexp
80%type <node> literal numeric cpath symbol
81%type <node> top_compstmt top_stmts top_stmt
82%type <node> bodystmt compstmt stmts stmt expr arg primary command command_call method_call
83%type <node> expr_value arg_rhs primary_value
84%type <node> if_tail opt_else case_body cases opt_rescue exc_list exc_var opt_ensure
85%type <node> args call_args opt_call_args
86%type <node> paren_args opt_paren_args variable
87%type <node> command_args aref_args opt_block_arg block_arg var_ref var_lhs
88%type <node> command_asgn command_rhs mrhs superclass block_call block_command
89%type <node> f_block_optarg f_block_opt
90%type <node> f_arglist f_args f_arg f_arg_item f_optarg f_marg f_marg_list f_margs
91%type <node> assoc_list assocs assoc undef_list backref for_var
92%type <node> block_param opt_block_param block_param_def f_opt
93%type <node> bv_decls opt_bv_decl bvar f_larglist lambda_body
94%type <node> brace_block cmd_brace_block do_block lhs none f_bad_arg
95%type <node> mlhs mlhs_list mlhs_post mlhs_basic mlhs_item mlhs_node mlhs_inner
96%type <mrb_sym> fsym sym basic_symbol operation operation2 operation3
97%type <mrb_sym> cname fname op f_rest_arg f_block_arg opt_f_block_arg f_norm_arg f_opt_asgn
98%type <node> heredoc words symbols
99%type <MrbTokens> call_op call_op2 /* 0:'&.', 1:'.', 2:'::' */
100
101%token tUPLUS /* unary+ */
102%token tUMINUS /* unary- */
103%token tPOW /* ** */
104%token tCMP /* <=> */
105%token tEQ /* == */
106%token tEQQ /* === */
107%token tNEQ /* != */
108%token tGEQ /* >= */
109%token tLEQ /* <= */
110%token tANDOP tOROP /* && and || */
111%token tMATCH tNMATCH /* =~ and !~ */
112%token tDOT2 tDOT3 /* .. and ... */
113%token tAREF tASET /* [] and []= */
114%token tLSHFT tRSHFT /* << and >> */
115%token tCOLON2 /* :: */
116%token tCOLON3 /* :: at EXPR_BEG */
117%token <mrb_sym> tOP_ASGN /* +=, -= etc. */
118%token tASSOC /* => */
119%token tLPAREN /* ( */
120%token tLPAREN_ARG /* ( */
121%token tRPAREN /* ) */
122%token tLBRACK /* [ */
123%token tLBRACE /* { */
124%token tLBRACE_ARG /* { */
125%token tSTAR /* * */
126%token tAMPER /* & */
127%token tLAMBDA /* -> */
128%token tANDDOT /* &. */
129%token tSYMBEG tREGEXP_BEG tWORDS_BEG tSYMBOLS_BEG
130%token tSTRING_BEG tXSTRING_BEG tSTRING_DVAR tLAMBEG
131%token <node> tHEREDOC_BEG /* <<, <<- */
132%token tHEREDOC_END tLITERAL_DELIM tHD_LITERAL_DELIM
133%token <node> tHD_STRING_PART tHD_STRING_MID
134
135/*
136 * precedence table
137 */
138
139%nonassoc tLOWEST
140%nonassoc tLBRACE_ARG
141
142%nonassoc modifier_if modifier_unless modifier_while modifier_until
143%left keyword_or keyword_and
144%right keyword_not
145%right '=' tOP_ASGN
146%left modifier_rescue
147%right '?' ':'
148%nonassoc tDOT2 tDOT3
149%left tOROP
150%left tANDOP
151%nonassoc tCMP tEQ tEQQ tNEQ tMATCH tNMATCH
152%left '>' tGEQ '<' tLEQ
153%left '|' '^'
154%left '&'
155%left tLSHFT tRSHFT
156%left '+' '-'
157%left '*' '/' '%'
158%right tUMINUS_NUM tUMINUS
159%right tPOW
160%right '!' '~' tUPLUS
161
162%token tLAST_TOKEN
163
164%%
165
166%{
167 }
168
169 /// <summary>
170 /// start with an argument to trace
171 /// </summary>
172 public partial class MrbParser
173 {
174 // must specify class header
175 // must not use yy[A-Z].* as identifiers
176 // could overwrite some methods named yy[A-Z].* in subclass
177
178 const int yyErrorCode = (int)MrbTokens.yyErrorCode;
179%}
180
181program : {
182 this.lstate = mrb_lex_state_enum.EXPR_BEG;
183 if (this.locals == null) this.locals = new locals_node(null);
184 }
185 top_compstmt
186 {
187 this.tree = new_scope($2);
188 this.tree.NODE_LINENO($2);
189 }
190 ;
191
192top_compstmt : top_stmts opt_terms
193 {
194 $$ = $1;
195 }
196 ;
197
198top_stmts : none
199 {
200 $$ = new_begin(null);
201 }
202 | top_stmt
203 {
204 $$ = new_begin($1);
205 $<node>$.NODE_LINENO($1);
206 }
207 | top_stmts terms top_stmt
208 {
209 $$ = push($1, newline_node($3));
210 }
211 | error top_stmt
212 {
213 $$ = new_begin(null);
214 }
215 ;
216
217top_stmt : stmt
218 | keyword_BEGIN
219 {
220 $$ = local_switch();
221 }
222 '{' top_compstmt '}'
223 {
224 yyError("BEGIN not supported");
225 local_resume($<locals_node>2);
226 $$ = null;
227 }
228 ;
229
230bodystmt : compstmt
231 opt_rescue
232 opt_else
233 opt_ensure
234 {
235 if ($2 != null) {
236 $$ = new_rescue($1, $2, $3);
237 $<node>$.NODE_LINENO($1);
238 }
239 else if ($3 != null) {
240 yyWarning("else without rescue is useless");
241 $$ = push($1, $3);
242 }
243 else {
244 $$ = $1;
245 }
246 if ($4 != null) {
247 if ($$ != null) {
248 $$ = new_ensure($<node>$, $4);
249 }
250 else {
251 $$ = push($4, new_nil());
252 }
253 }
254 }
255 ;
256
257compstmt : stmts opt_terms
258 {
259 $$ = $1;
260 }
261 ;
262
263stmts : none
264 {
265 $$ = new_begin(null);
266 }
267 | stmt
268 {
269 $$ = new_begin($1);
270 $<node>$.NODE_LINENO($1);
271 }
272 | stmts terms stmt
273 {
274 $$ = push($1, newline_node($3));
275 }
276 | error stmt
277 {
278 $$ = new_begin($2);
279 }
280 ;
281
282stmt : keyword_alias fsym {this.lstate = mrb_lex_state_enum.EXPR_FNAME;} fsym
283 {
284 $$ = new_alias($2, $4);
285 }
286 | keyword_undef undef_list
287 {
288 $$ = $2;
289 }
290 | stmt modifier_if expr_value
291 {
292 $$ = new_if(cond($3), $1, null);
293 }
294 | stmt modifier_unless expr_value
295 {
296 $$ = new_unless(cond($3), $1, null);
297 }
298 | stmt modifier_while expr_value
299 {
300 $$ = new_while(cond($3), $1);
301 }
302 | stmt modifier_until expr_value
303 {
304 $$ = new_until(cond($3), $1);
305 }
306 | stmt modifier_rescue stmt
307 {
308 $$ = new_mod_rescue($1, $3);
309 }
310 | keyword_END '{' compstmt '}'
311 {
312 yyError("END not supported");
313 $$ = new_postexe($3);
314 }
315 | command_asgn
316 | mlhs '=' command_call
317 {
318 $$ = new_masgn($1, $3);
319 }
320 | lhs '=' mrhs
321 {
322 $$ = new_asgn($1, new_array($3));
323 }
324 | mlhs '=' arg
325 {
326 $$ = new_masgn($1, $3);
327 }
328 | mlhs '=' mrhs
329 {
330 $$ = new_masgn($1, new_array($3));
331 }
332 | expr
333 ;
334
335command_asgn : lhs '=' command_rhs
336 {
337 $$ = new_asgn($1, $3);
338 }
339 | var_lhs tOP_ASGN command_rhs
340 {
341 $$ = new_op_asgn($1, $2, $3);
342 }
343 | primary_value '[' opt_call_args rbracket tOP_ASGN command_rhs
344 {
345 $$ = new_op_asgn(new_call($1, intern("[]",2), $3, (MrbTokens)'.'), $5, $6);
346 }
347 | primary_value call_op tIDENTIFIER tOP_ASGN command_rhs
348 {
349 $$ = new_op_asgn(new_call($1, $3, null, $2), $4, $5);
350 }
351 | primary_value call_op tCONSTANT tOP_ASGN command_rhs
352 {
353 $$ = new_op_asgn(new_call($1, $3, null, $2), $4, $5);
354 }
355 | primary_value tCOLON2 tCONSTANT tOP_ASGN command_call
356 {
357 yyError("constant re-assignment");
358 $$ = null;
359 }
360 | primary_value tCOLON2 tIDENTIFIER tOP_ASGN command_rhs
361 {
362 $$ = new_op_asgn(new_call($1, $3, null, MrbTokens.tCOLON2), $4, $5);
363 }
364 | backref tOP_ASGN command_rhs
365 {
366 backref_error($1);
367 $$ = new_begin(null);
368 }
369 ;
370
371command_rhs : command_call %prec tOP_ASGN
372 | command_call modifier_rescue stmt
373 {
374 $$ = new_mod_rescue($1, $3);
375 }
376 | command_asgn
377 ;
378
379
380expr : command_call
381 | expr keyword_and expr
382 {
383 $$ = new_and($1, $3);
384 }
385 | expr keyword_or expr
386 {
387 $$ = new_or($1, $3);
388 }
389 | keyword_not opt_nl expr
390 {
391 $$ = call_uni_op(cond($3), "!");
392 }
393 | '!' command_call
394 {
395 $$ = call_uni_op(cond($2), "!");
396 }
397 | arg
398 ;
399
400expr_value : expr
401 {
402 if ($1 == null) $$ = new_nil();
403 else{
404 void_expr_error($1);
405 $$ = $1;
406 }
407 }
408 ;
409
410command_call : command
411 | block_command
412 ;
413
414block_command : block_call
415 | block_call call_op2 operation2 command_args
416 ;
417
418cmd_brace_block : tLBRACE_ARG
419 {
420 local_nest();
421 }
422 opt_block_param
423 compstmt
424 '}'
425 {
426 $$ = new_block($3, $4, true);
427 local_unnest();
428 }
429 ;
430
431command : operation command_args %prec tLOWEST
432 {
433 $$ = new_fcall($1, $2);
434 }
435 | operation command_args cmd_brace_block
436 {
437 args_with_block($2, $3);
438 $$ = new_fcall($1, $2);
439 }
440 | primary_value call_op operation2 command_args %prec tLOWEST
441 {
442 $$ = new_call($1, $3, $4, $2);
443 }
444 | primary_value call_op operation2 command_args cmd_brace_block
445 {
446 args_with_block($4, $5);
447 $$ = new_call($1, $3, $4, $2);
448 }
449 | primary_value tCOLON2 operation2 command_args %prec tLOWEST
450 {
451 $$ = new_call($1, $3, $4, MrbTokens.tCOLON2);
452 }
453 | primary_value tCOLON2 operation2 command_args cmd_brace_block
454 {
455 args_with_block($4, $5);
456 $$ = new_call($1, $3, $4, MrbTokens.tCOLON2);
457 }
458 | keyword_super command_args
459 {
460 $$ = new_super($2);
461 }
462 | keyword_yield command_args
463 {
464 $$ = new_yield($2);
465 }
466 | keyword_return call_args
467 {
468 $$ = new_return(ret_args($2));
469 }
470 | keyword_break call_args
471 {
472 $$ = new_break(ret_args($2));
473 }
474 | keyword_next call_args
475 {
476 $$ = new_next(ret_args($2));
477 }
478 ;
479
480mlhs : mlhs_basic
481 {
482 $$ = $1;
483 }
484 | tLPAREN mlhs_inner rparen
485 {
486 $$ = $2;
487 }
488 ;
489
490mlhs_inner : mlhs_basic
491 | tLPAREN mlhs_inner rparen
492 {
493 $$ = $2;
494 }
495 ;
496
497mlhs_basic : mlhs_list
498 {
499 $$ = list1($1);
500 }
501 | mlhs_list mlhs_item
502 {
503 $$ = list1(push($1, $2));
504 }
505 | mlhs_list tSTAR mlhs_node
506 {
507 $$ = list2($1, $3);
508 }
509 | mlhs_list tSTAR mlhs_node ',' mlhs_post
510 {
511 $$ = list3($1, $3, $5);
512 }
513 | mlhs_list tSTAR
514 {
515 $$ = list2($1, new_nil());
516 }
517 | mlhs_list tSTAR ',' mlhs_post
518 {
519 $$ = list3($1, new_nil(), $4);
520 }
521 | tSTAR mlhs_node
522 {
523 $$ = list2(null, $2);
524 }
525 | tSTAR mlhs_node ',' mlhs_post
526 {
527 $$ = list3(null, $2, $4);
528 }
529 | tSTAR
530 {
531 $$ = list2(null, new_nil());
532 }
533 | tSTAR ',' mlhs_post
534 {
535 $$ = list3(null, new_nil(), $3);
536 }
537 ;
538
539mlhs_item : mlhs_node
540 | tLPAREN mlhs_inner rparen
541 {
542 $$ = new_masgn($2, null);
543 }
544 ;
545
546mlhs_list : mlhs_item ','
547 {
548 $$ = list1($1);
549 }
550 | mlhs_list mlhs_item ','
551 {
552 $$ = push($1, $2);
553 }
554 ;
555
556mlhs_post : mlhs_item
557 {
558 $$ = list1($1);
559 }
560 | mlhs_list mlhs_item
561 {
562 $$ = push($1, $2);
563 }
564 ;
565
566mlhs_node : variable
567 {
568 assignable($1);
569 }
570 | primary_value '[' opt_call_args rbracket
571 {
572 $$ = new_call($1, intern("[]",2), $3, (MrbTokens)'.');
573 }
574 | primary_value call_op tIDENTIFIER
575 {
576 $$ = new_call($1, $3, null, $2);
577 }
578 | primary_value tCOLON2 tIDENTIFIER
579 {
580 $$ = new_call($1, $3, null, MrbTokens.tCOLON2);
581 }
582 | primary_value call_op tCONSTANT
583 {
584 $$ = new_call($1, $3, null, $2);
585 }
586 | primary_value tCOLON2 tCONSTANT
587 {
588 if (this.in_def != 0 || this.in_single != 0)
589 yyError("dynamic constant assignment");
590 $$ = new_colon2($1, $3);
591 }
592 | tCOLON3 tCONSTANT
593 {
594 if (this.in_def != 0 || this.in_single != 0)
595 yyError("dynamic constant assignment");
596 $$ = new_colon3($2);
597 }
598 | backref
599 {
600 backref_error($1);
601 $$ = null;
602 }
603 ;
604
605lhs : variable
606 {
607 assignable($1);
608 }
609 | primary_value '[' opt_call_args rbracket
610 {
611 $$ = new_call($1, intern("[]",2), $3, (MrbTokens)'.');
612 }
613 | primary_value call_op tIDENTIFIER
614 {
615 $$ = new_call($1, $3, null, $2);
616 }
617 | primary_value tCOLON2 tIDENTIFIER
618 {
619 $$ = new_call($1, $3, null, MrbTokens.tCOLON2);
620 }
621 | primary_value call_op tCONSTANT
622 {
623 $$ = new_call($1, $3, null, $2);
624 }
625 | primary_value tCOLON2 tCONSTANT
626 {
627 if (this.in_def != 0 || this.in_single != 0)
628 yyError("dynamic constant assignment");
629 $$ = new_colon2($1, $3);
630 }
631 | tCOLON3 tCONSTANT
632 {
633 if (this.in_def != 0 || this.in_single != 0)
634 yyError("dynamic constant assignment");
635 $$ = new_colon3($2);
636 }
637 | backref
638 {
639 backref_error($1);
640 $$ = null;
641 }
642 ;
643
644cname : tIDENTIFIER
645 {
646 yyError("class/module name must be CONSTANT");
647 }
648 | tCONSTANT
649 ;
650
651cpath : tCOLON3 cname
652 {
653 $$ = cons(1, $2);
654 }
655 | cname
656 {
657 $$ = cons(0, $1);
658 }
659 | primary_value tCOLON2 cname
660 {
661 $$ = cons($1, $3);
662 }
663 ;
664
665fname : tIDENTIFIER
666 | tCONSTANT
667 | tFID
668 | op
669 {
670 this.lstate = mrb_lex_state_enum.EXPR_ENDFN;
671 $$ = $1;
672 }
673 | reswords
674 {
675 this.lstate = mrb_lex_state_enum.EXPR_ENDFN;
676 $$ = $<mrb_sym>1;
677 }
678 ;
679
680fsym : fname
681 | basic_symbol
682 ;
683
684undef_list : fsym
685 {
686 $$ = new_undef($1);
687 }
688 | undef_list ',' {this.lstate = mrb_lex_state_enum.EXPR_FNAME;} fsym
689 {
690 $$ = push($1, $4);
691 }
692 ;
693
694op : '|' { $$ = intern_c('|'); }
695 | '^' { $$ = intern_c('^'); }
696 | '&' { $$ = intern_c('&'); }
697 | tCMP { $$ = intern("<=>",3); }
698 | tEQ { $$ = intern("==",2); }
699 | tEQQ { $$ = intern("===",3); }
700 | tMATCH { $$ = intern("=~",2); }
701 | tNMATCH { $$ = intern("!~",2); }
702 | '>' { $$ = intern_c('>'); }
703 | tGEQ { $$ = intern(">=",2); }
704 | '<' { $$ = intern_c('<'); }
705 | tLEQ { $$ = intern("<=",2); }
706 | tNEQ { $$ = intern("!=",2); }
707 | tLSHFT { $$ = intern("<<",2); }
708 | tRSHFT { $$ = intern(">>",2); }
709 | '+' { $$ = intern_c('+'); }
710 | '-' { $$ = intern_c('-'); }
711 | '*' { $$ = intern_c('*'); }
712 | tSTAR { $$ = intern_c('*'); }
713 | '/' { $$ = intern_c('/'); }
714 | '%' { $$ = intern_c('%'); }
715 | tPOW { $$ = intern("**",2); }
716 | '!' { $$ = intern_c('!'); }
717 | '~' { $$ = intern_c('~'); }
718 | tUPLUS { $$ = intern("+@",2); }
719 | tUMINUS { $$ = intern("-@",2); }
720 | tAREF { $$ = intern("[]",2); }
721 | tASET { $$ = intern("[]=",3); }
722 | '`' { $$ = intern_c('`'); }
723 ;
724
725reswords : keyword__LINE__ | keyword__FILE__ | keyword__ENCODING__
726 | keyword_BEGIN | keyword_END
727 | keyword_alias | keyword_and | keyword_begin
728 | keyword_break | keyword_case | keyword_class | keyword_def
729 | keyword_do | keyword_else | keyword_elsif
730 | keyword_end | keyword_ensure | keyword_false
731 | keyword_for | keyword_in | keyword_module | keyword_next
732 | keyword_nil | keyword_not | keyword_or | keyword_redo
733 | keyword_rescue | keyword_retry | keyword_return | keyword_self
734 | keyword_super | keyword_then | keyword_true | keyword_undef
735 | keyword_when | keyword_yield | keyword_if | keyword_unless
736 | keyword_while | keyword_until
737 ;
738
739arg : lhs '=' arg_rhs
740 {
741 $$ = new_asgn($1, $3);
742 }
743 | var_lhs tOP_ASGN arg_rhs
744 {
745 $$ = new_op_asgn($1, $2, $3);
746 }
747 | primary_value '[' opt_call_args rbracket tOP_ASGN arg_rhs
748 {
749 $$ = new_op_asgn(new_call($1, intern("[]",2), $3, (MrbTokens)'.'), $5, $6);
750 }
751 | primary_value call_op tIDENTIFIER tOP_ASGN arg_rhs
752 {
753 $$ = new_op_asgn(new_call($1, $3, null, $2), $4, $5);
754 }
755 | primary_value call_op tCONSTANT tOP_ASGN arg_rhs
756 {
757 $$ = new_op_asgn(new_call($1, $3, null, $2), $4, $5);
758 }
759 | primary_value tCOLON2 tIDENTIFIER tOP_ASGN arg_rhs
760 {
761 $$ = new_op_asgn(new_call($1, $3, null, MrbTokens.tCOLON2), $4, $5);
762 }
763 | primary_value tCOLON2 tCONSTANT tOP_ASGN arg_rhs
764 {
765 yyError("constant re-assignment");
766 $$ = new_begin(null);
767 }
768 | tCOLON3 tCONSTANT tOP_ASGN arg_rhs
769 {
770 yyError("constant re-assignment");
771 $$ = new_begin(null);
772 }
773 | backref tOP_ASGN arg_rhs
774 {
775 backref_error($1);
776 $$ = new_begin(null);
777 }
778 | arg tDOT2 arg
779 {
780 $$ = new_dot2($1, $3);
781 }
782 | arg tDOT3 arg
783 {
784 $$ = new_dot3($1, $3);
785 }
786 | arg '+' arg
787 {
788 $$ = call_bin_op($1, "+", $3);
789 }
790 | arg '-' arg
791 {
792 $$ = call_bin_op($1, "-", $3);
793 }
794 | arg '*' arg
795 {
796 $$ = call_bin_op($1, "*", $3);
797 }
798 | arg '/' arg
799 {
800 $$ = call_bin_op($1, "/", $3);
801 }
802 | arg '%' arg
803 {
804 $$ = call_bin_op($1, "%", $3);
805 }
806 | arg tPOW arg
807 {
808 $$ = call_bin_op($1, "**", $3);
809 }
810 | tUMINUS_NUM tINTEGER tPOW arg
811 {
812 $$ = call_uni_op(call_bin_op($2, "**", $4), "-@");
813 }
814 | tUMINUS_NUM tFLOAT tPOW arg
815 {
816 $$ = call_uni_op(call_bin_op($2, "**", $4), "-@");
817 }
818 | tUPLUS arg
819 {
820 $$ = call_uni_op($2, "+@");
821 }
822 | tUMINUS arg
823 {
824 $$ = call_uni_op($2, "-@");
825 }
826 | arg '|' arg
827 {
828 $$ = call_bin_op($1, "|", $3);
829 }
830 | arg '^' arg
831 {
832 $$ = call_bin_op($1, "^", $3);
833 }
834 | arg '&' arg
835 {
836 $$ = call_bin_op($1, "&", $3);
837 }
838 | arg tCMP arg
839 {
840 $$ = call_bin_op($1, "<=>", $3);
841 }
842 | arg '>' arg
843 {
844 $$ = call_bin_op($1, ">", $3);
845 }
846 | arg tGEQ arg
847 {
848 $$ = call_bin_op($1, ">=", $3);
849 }
850 | arg '<' arg
851 {
852 $$ = call_bin_op($1, "<", $3);
853 }
854 | arg tLEQ arg
855 {
856 $$ = call_bin_op($1, "<=", $3);
857 }
858 | arg tEQ arg
859 {
860 $$ = call_bin_op($1, "==", $3);
861 }
862 | arg tEQQ arg
863 {
864 $$ = call_bin_op($1, "===", $3);
865 }
866 | arg tNEQ arg
867 {
868 $$ = call_bin_op($1, "!=", $3);
869 }
870 | arg tMATCH arg
871 {
872 $$ = call_bin_op($1, "=~", $3);
873 }
874 | arg tNMATCH arg
875 {
876 $$ = call_bin_op($1, "!~", $3);
877 }
878 | '!' arg
879 {
880 $$ = call_uni_op(cond($2), "!");
881 }
882 | '~' arg
883 {
884 $$ = call_uni_op(cond($2), "~");
885 }
886 | arg tLSHFT arg
887 {
888 $$ = call_bin_op($1, "<<", $3);
889 }
890 | arg tRSHFT arg
891 {
892 $$ = call_bin_op($1, ">>", $3);
893 }
894 | arg tANDOP arg
895 {
896 $$ = new_and($1, $3);
897 }
898 | arg tOROP arg
899 {
900 $$ = new_or($1, $3);
901 }
902 | arg '?' arg opt_nl ':' arg
903 {
904 $$ = new_if(cond($1), $3, $6, true);
905 }
906 | primary
907 {
908 $$ = $1;
909 }
910 ;
911
912aref_args : none
913 | args trailer
914 {
915 $$ = $1;
916 $<node>$.NODE_LINENO($1);
917 }
918 | args comma assocs trailer
919 {
920 $$ = push($1, new_hash($3));
921 }
922 | assocs trailer
923 {
924 $$ = cons(new_hash($1), null);
925 $<node>$.NODE_LINENO($1);
926 }
927 ;
928
929arg_rhs : arg %prec tOP_ASGN
930 {
931 void_expr_error($1);
932 $$ = $1;
933 }
934 | arg modifier_rescue arg
935 {
936 void_expr_error($1);
937 $$ = new_mod_rescue($1, $3);
938 }
939 ;
940
941paren_args : '(' opt_call_args rparen
942 {
943 $$ = $2;
944 }
945 ;
946
947opt_paren_args : none
948 | paren_args
949 ;
950
951opt_call_args : none
952 | call_args
953 | args ','
954 {
955 $$ = cons($1, null);
956 $<node>$.NODE_LINENO($1);
957 }
958 | args comma assocs ','
959 {
960 $$ = cons(push($1, new_hash($3)), null);
961 $<node>$.NODE_LINENO($1);
962 }
963 | assocs ','
964 {
965 $$ = cons(list1(new_hash($1)), null);
966 $<node>$.NODE_LINENO($1);
967 }
968 ;
969
970call_args : command
971 {
972 $$ = cons(list1($1), null);
973 $<node>$.NODE_LINENO($1);
974 }
975 | args opt_block_arg
976 {
977 $$ = cons($1, $2);
978 $<node>$.NODE_LINENO($1);
979 }
980 | assocs opt_block_arg
981 {
982 $$ = cons(list1(new_hash($1)), $2);
983 $<node>$.NODE_LINENO($1);
984 }
985 | args comma assocs opt_block_arg
986 {
987 $$ = cons(push($1, new_hash($3)), $4);
988 $<node>$.NODE_LINENO($1);
989 }
990 | block_arg
991 {
992 $$ = cons(null, $1);
993 $<node>$.NODE_LINENO($1);
994 }
995 ;
996
997command_args : {
998 $$ = (stack_type)this.cmdarg_stack;
999 CMDARG_PUSH(1);
1000 }
1001 call_args
1002 {
1003 this.cmdarg_stack = $<stack_type>1;
1004 $$ = $2;
1005 }
1006 ;
1007
1008block_arg : tAMPER arg
1009 {
1010 $$ = new_block_arg((node)$2);
1011 }
1012 ;
1013
1014opt_block_arg : comma block_arg
1015 {
1016 $$ = $2;
1017 }
1018 | none
1019 {
1020 $$ = null;
1021 }
1022 ;
1023
1024comma : ','
1025 | ',' heredoc_bodies
1026 ;
1027
1028args : arg
1029 {
1030 void_expr_error($1);
1031 $$ = cons($1, null);
1032 $<node>$.NODE_LINENO($1);
1033 }
1034 | tSTAR arg
1035 {
1036 void_expr_error($2);
1037 $$ = cons(new_splat($2), null);
1038 $<node>$.NODE_LINENO($2);
1039 }
1040 | args comma arg
1041 {
1042 void_expr_error($3);
1043 $$ = push($1, $3);
1044 }
1045 | args comma tSTAR arg
1046 {
1047 void_expr_error($4);
1048 $$ = push($1, new_splat($4));
1049 }
1050 ;
1051
1052mrhs : args comma arg
1053 {
1054 void_expr_error($3);
1055 $$ = push($1, $3);
1056 }
1057 | args comma tSTAR arg
1058 {
1059 void_expr_error($4);
1060 $$ = push($1, new_splat($4));
1061 }
1062 | tSTAR arg
1063 {
1064 void_expr_error($2);
1065 $$ = list1(new_splat($2));
1066 }
1067 ;
1068
1069primary : literal
1070 | string
1071 | xstring
1072 | regexp
1073 | heredoc
1074 | var_ref
1075 | backref
1076 | tFID
1077 {
1078 $$ = new_fcall($1, null);
1079 }
1080 | keyword_begin
1081 {
1082 $$ = (stack_type)this.cmdarg_stack;
1083 this.cmdarg_stack = 0;
1084 }
1085 bodystmt
1086 keyword_end
1087 {
1088 this.cmdarg_stack = $<stack_type>2;
1089 $$ = $3;
1090 }
1091 | tLPAREN_ARG
1092 {
1093 $$ = (stack_type)this.cmdarg_stack;
1094 this.cmdarg_stack = 0;
1095 }
1096 stmt {this.lstate = mrb_lex_state_enum.EXPR_ENDARG;} rparen
1097 {
1098 this.cmdarg_stack = $<stack_type>2;
1099 $$ = $3;
1100 }
1101 | tLPAREN_ARG {this.lstate = mrb_lex_state_enum.EXPR_ENDARG;} rparen
1102 {
1103 $$ = new_nil();
1104 }
1105 | tLPAREN compstmt ')'
1106 {
1107 $$ = $2;
1108 }
1109 | primary_value tCOLON2 tCONSTANT
1110 {
1111 $$ = new_colon2($1, $3);
1112 }
1113 | tCOLON3 tCONSTANT
1114 {
1115 $$ = new_colon3($2);
1116 }
1117 | tLBRACK aref_args ']'
1118 {
1119 $$ = new_array($2);
1120 $<node>$.NODE_LINENO($2);
1121 }
1122 | tLBRACE assoc_list '}'
1123 {
1124 $$ = new_hash($2);
1125 $<node>$.NODE_LINENO($2);
1126 }
1127 | keyword_return
1128 {
1129 $$ = new_return(null);
1130 }
1131 | keyword_yield opt_paren_args
1132 {
1133 $$ = new_yield($2);
1134 }
1135 | keyword_not '(' expr rparen
1136 {
1137 $$ = call_uni_op(cond($3), "!");
1138 }
1139 | keyword_not '(' rparen
1140 {
1141 $$ = call_uni_op(new_nil(), "!");
1142 }
1143 | operation brace_block
1144 {
1145 $$ = new_fcall($1, cons(null, $2));
1146 }
1147 | method_call
1148 | method_call brace_block
1149 {
1150 call_with_block($1, $2);
1151 $$ = $1;
1152 }
1153 | tLAMBDA
1154 {
1155 local_nest();
1156 $$ = (int)this.lpar_beg;
1157 this.lpar_beg = ++this.paren_nest;
1158 }
1159 f_larglist
1160 {
1161 $$ = (stack_type)this.cmdarg_stack;
1162 this.cmdarg_stack = 0;
1163 }
1164 lambda_body
1165 {
1166 this.lpar_beg = $<int>2;
1167 $$ = new_lambda($3, $5);
1168 local_unnest();
1169 this.cmdarg_stack = $<stack_type>4;
1170 CMDARG_LEXPOP();
1171 }
1172 | keyword_if expr_value then
1173 compstmt
1174 if_tail
1175 keyword_end
1176 {
1177 $$ = new_if(cond($2), $4, $5);
1178 $<node>$.SET_LINENO($1);
1179 }
1180 | keyword_unless expr_value then
1181 compstmt
1182 opt_else
1183 keyword_end
1184 {
1185 $$ = new_unless(cond($2), $4, $5);
1186 $<node>$.SET_LINENO($1);
1187 }
1188 | keyword_while {COND_PUSH(1);} expr_value do {COND_POP();}
1189 compstmt
1190 keyword_end
1191 {
1192 $$ = new_while(cond($3), $6);
1193 $<node>$.SET_LINENO($1);
1194 }
1195 | keyword_until {COND_PUSH(1);} expr_value do {COND_POP();}
1196 compstmt
1197 keyword_end
1198 {
1199 $$ = new_until(cond($3), $6);
1200 $<node>$.SET_LINENO($1);
1201 }
1202 | keyword_case expr_value opt_terms
1203 case_body
1204 keyword_end
1205 {
1206 $$ = new_case($2, $4);
1207 }
1208 | keyword_case opt_terms case_body keyword_end
1209 {
1210 $$ = new_case(null, $3);
1211 }
1212 | keyword_for for_var keyword_in
1213 {COND_PUSH(1);}
1214 expr_value do
1215 {COND_POP();}
1216 compstmt
1217 keyword_end
1218 {
1219 $$ = new_for($2, $5, $8);
1220 $<node>$.SET_LINENO($1);
1221 }
1222 | keyword_class
1223 cpath superclass
1224 {
1225 if (this.in_def != 0 || this.in_single != 0)
1226 yyError("class definition in method body");
1227 $$ = local_switch();
1228 }
1229 bodystmt
1230 keyword_end
1231 {
1232 $$ = new_class($2, $3, $5);
1233 $<node>$.SET_LINENO($1);
1234 local_resume($<locals_node>4);
1235 }
1236 | keyword_class
1237 tLSHFT expr
1238 {
1239 $$ = (int)this.in_def;
1240 this.in_def = 0;
1241 }
1242 term
1243 {
1244 $$ = cons(local_switch(), this.in_single);
1245 this.in_single = 0;
1246 }
1247 bodystmt
1248 keyword_end
1249 {
1250 $$ = new_sclass($3, $7);
1251 $<node>$.SET_LINENO($1);
1252 local_resume((locals_node)$<node>6.car);
1253 this.in_def = $<int>4;
1254 this.in_single = (int)($<node>6.cdr);
1255 }
1256 | keyword_module
1257 cpath
1258 {
1259 if (this.in_def != 0 || this.in_single != 0)
1260 yyError("module definition in method body");
1261 $$ = local_switch();
1262 }
1263 bodystmt
1264 keyword_end
1265 {
1266 $$ = new_module($2, $4);
1267 $<node>$.SET_LINENO($1);
1268 local_resume($<locals_node>3);
1269 }
1270 | keyword_def fname
1271 {
1272 $$ = (stack_type)this.cmdarg_stack;
1273 this.cmdarg_stack = 0;
1274 }
1275 {
1276 this.in_def++;
1277 $$ = local_switch();
1278 }
1279 f_arglist
1280 bodystmt
1281 keyword_end
1282 {
1283 $$ = new_def($2, $5, $6);
1284 $<node>$.SET_LINENO($1);
1285 local_resume($<locals_node>4);
1286 this.in_def--;
1287 this.cmdarg_stack = $<stack_type>3;
1288 }
1289 | keyword_def singleton dot_or_colon
1290 {
1291 this.lstate = mrb_lex_state_enum.EXPR_FNAME;
1292 $$ = (stack_type)this.cmdarg_stack;
1293 this.cmdarg_stack = 0;
1294 }
1295 fname
1296 {
1297 this.in_single++;
1298 this.lstate = mrb_lex_state_enum.EXPR_ENDFN; /* force for args */
1299 $$ = local_switch();
1300 }
1301 f_arglist
1302 bodystmt
1303 keyword_end
1304 {
1305 $$ = new_sdef($2, $5, $7, $8);
1306 $<node>$.SET_LINENO($1);
1307 local_resume($<locals_node>6);
1308 this.in_single--;
1309 this.cmdarg_stack = $<stack_type>4;
1310 }
1311 | keyword_break
1312 {
1313 $$ = new_break(null);
1314 }
1315 | keyword_next
1316 {
1317 $$ = new_next(null);
1318 }
1319 | keyword_redo
1320 {
1321 $$ = new_redo();
1322 }
1323 | keyword_retry
1324 {
1325 $$ = new_retry();
1326 }
1327 ;
1328
1329primary_value : primary
1330 {
1331 $$ = $1;
1332 if ($$ == null) $$ = new_nil();
1333 }
1334 ;
1335
1336then : term
1337 | keyword_then
1338 | term keyword_then
1339 ;
1340
1341do : term
1342 | keyword_do_cond
1343 ;
1344
1345if_tail : opt_else
1346 | keyword_elsif expr_value then
1347 compstmt
1348 if_tail
1349 {
1350 $$ = new_if(cond($2), $4, $5);
1351 }
1352 ;
1353
1354opt_else : none
1355 | keyword_else compstmt
1356 {
1357 $$ = $2;
1358 }
1359 ;
1360
1361for_var : lhs
1362 {
1363 $$ = list1(list1($1));
1364 }
1365 | mlhs
1366 ;
1367
1368f_marg : f_norm_arg
1369 {
1370 $$ = new_arg($1);
1371 }
1372 | tLPAREN f_margs rparen
1373 {
1374 $$ = new_masgn($2, null);
1375 }
1376 ;
1377
1378f_marg_list : f_marg
1379 {
1380 $$ = list1($1);
1381 }
1382 | f_marg_list ',' f_marg
1383 {
1384 $$ = push($1, $3);
1385 }
1386 ;
1387
1388f_margs : f_marg_list
1389 {
1390 $$ = list3($1, null, null);
1391 }
1392 | f_marg_list ',' tSTAR f_norm_arg
1393 {
1394 $$ = list3($1, new_arg($4), null);
1395 }
1396 | f_marg_list ',' tSTAR f_norm_arg ',' f_marg_list
1397 {
1398 $$ = list3($1, new_arg($4), $6);
1399 }
1400 | f_marg_list ',' tSTAR
1401 {
1402 $$ = list3($1, -1, null);
1403 }
1404 | f_marg_list ',' tSTAR ',' f_marg_list
1405 {
1406 $$ = list3($1, -1, $5);
1407 }
1408 | tSTAR f_norm_arg
1409 {
1410 $$ = list3(null, new_arg($2), null);
1411 }
1412 | tSTAR f_norm_arg ',' f_marg_list
1413 {
1414 $$ = list3(null, new_arg($2), $4);
1415 }
1416 | tSTAR
1417 {
1418 $$ = list3(null, -1, null);
1419 }
1420 | tSTAR ',' f_marg_list
1421 {
1422 $$ = list3(null, -1, $3);
1423 }
1424 ;
1425
1426block_param : f_arg ',' f_block_optarg ',' f_rest_arg opt_f_block_arg
1427 {
1428 $$ = new_args($1, $3, $5, null, $6);
1429 }
1430 | f_arg ',' f_block_optarg ',' f_rest_arg ',' f_arg opt_f_block_arg
1431 {
1432 $$ = new_args($1, $3, $5, $7, $8);
1433 }
1434 | f_arg ',' f_block_optarg opt_f_block_arg
1435 {
1436 $$ = new_args($1, $3, 0, null, $4);
1437 }
1438 | f_arg ',' f_block_optarg ',' f_arg opt_f_block_arg
1439 {
1440 $$ = new_args($1, $3, 0, $5, $6);
1441 }
1442 | f_arg ',' f_rest_arg opt_f_block_arg
1443 {
1444 $$ = new_args($1, null, $3, null, $4);
1445 }
1446 | f_arg ','
1447 {
1448 $$ = new_args($1, null, (mrb_sym)0, null, 0);
1449 }
1450 | f_arg ',' f_rest_arg ',' f_arg opt_f_block_arg
1451 {
1452 $$ = new_args($1, null, $3, $5, $6);
1453 }
1454 | f_arg opt_f_block_arg
1455 {
1456 $$ = new_args($1, null, 0, null, $2);
1457 }
1458 | f_block_optarg ',' f_rest_arg opt_f_block_arg
1459 {
1460 $$ = new_args(null, $1, $3, null, $4);
1461 }
1462 | f_block_optarg ',' f_rest_arg ',' f_arg opt_f_block_arg
1463 {
1464 $$ = new_args(null, $1, $3, $5, $6);
1465 }
1466 | f_block_optarg opt_f_block_arg
1467 {
1468 $$ = new_args(null, $1, 0, null, $2);
1469 }
1470 | f_block_optarg ',' f_arg opt_f_block_arg
1471 {
1472 $$ = new_args(null, $1, 0, $3, $4);
1473 }
1474 | f_rest_arg opt_f_block_arg
1475 {
1476 $$ = new_args(null, null, $1, null, $2);
1477 }
1478 | f_rest_arg ',' f_arg opt_f_block_arg
1479 {
1480 $$ = new_args(null, null, $1, $3, $4);
1481 }
1482 | f_block_arg
1483 {
1484 $$ = new_args(null, null, 0, null, $1);
1485 }
1486 ;
1487
1488opt_block_param : none
1489 | block_param_def
1490 {
1491 this.cmd_start = true;
1492 $$ = $1;
1493 }
1494 ;
1495
1496block_param_def : '|' opt_bv_decl '|'
1497 {
1498 $$ = null;
1499 }
1500 | tOROP
1501 {
1502 $$ = null;
1503 }
1504 | '|' block_param opt_bv_decl '|'
1505 {
1506 $$ = $2;
1507 }
1508 ;
1509
1510
1511opt_bv_decl : opt_nl
1512 {
1513 $$ = null;
1514 }
1515 | opt_nl ';' bv_decls opt_nl
1516 {
1517 $$ = null;
1518 }
1519 ;
1520
1521bv_decls : bvar
1522 | bv_decls ',' bvar
1523 ;
1524
1525bvar : tIDENTIFIER
1526 {
1527 local_add_f($1);
1528 new_bv($1);
1529 }
1530 | f_bad_arg
1531 ;
1532
1533f_larglist : '(' f_args opt_bv_decl ')'
1534 {
1535 $$ = $2;
1536 }
1537 | f_args
1538 {
1539 $$ = $1;
1540 }
1541 ;
1542
1543lambda_body : tLAMBEG compstmt '}'
1544 {
1545 $$ = $2;
1546 }
1547 | keyword_do_LAMBDA compstmt keyword_end
1548 {
1549 $$ = $2;
1550 }
1551 ;
1552
1553do_block : keyword_do_block
1554 {
1555 local_nest();
1556 }
1557 opt_block_param
1558 compstmt
1559 keyword_end
1560 {
1561 $$ = new_block($3, $4, false);
1562 local_unnest();
1563 }
1564 ;
1565
1566block_call : command do_block
1567 {
1568 if ((node_type)$1.car == node_type.NODE_YIELD) {
1569 yyError("block given to yield");
1570 }
1571 else {
1572 call_with_block($1, $2);
1573 }
1574 $$ = $1;
1575 }
1576 | block_call call_op2 operation2 opt_paren_args
1577 {
1578 $$ = new_call($1, $3, $4, $2);
1579 }
1580 | block_call call_op2 operation2 opt_paren_args brace_block
1581 {
1582 $$ = new_call($1, $3, $4, $2);
1583 call_with_block((node)$$, $5);
1584 }
1585 | block_call call_op2 operation2 command_args do_block
1586 {
1587 $$ = new_call($1, $3, $4, $2);
1588 call_with_block((node)$$, $5);
1589 }
1590 ;
1591
1592method_call : operation paren_args
1593 {
1594 $$ = new_fcall($1, $2);
1595 }
1596 | primary_value call_op operation2 opt_paren_args
1597 {
1598 $$ = new_call($1, $3, $4, $2);
1599 }
1600 | primary_value tCOLON2 operation2 paren_args
1601 {
1602 $$ = new_call($1, $3, $4, MrbTokens.tCOLON2);
1603 }
1604 | primary_value tCOLON2 operation3
1605 {
1606 $$ = new_call($1, $3, null, MrbTokens.tCOLON2);
1607 }
1608 | primary_value call_op paren_args
1609 {
1610 $$ = new_call($1, intern("call",4), $3, $2);
1611 }
1612 | primary_value tCOLON2 paren_args
1613 {
1614 $$ = new_call($1, intern("call",4), $3, MrbTokens.tCOLON2);
1615 }
1616 | keyword_super paren_args
1617 {
1618 $$ = new_super($2);
1619 }
1620 | keyword_super
1621 {
1622 $$ = new_zsuper();
1623 }
1624 | primary_value '[' opt_call_args rbracket
1625 {
1626 $$ = new_call($1, intern("[]",2), $3, (MrbTokens)'.');
1627 }
1628 ;
1629
1630brace_block : '{'
1631 {
1632 local_nest();
1633 $$ = (int)this.lineno;
1634 }
1635 opt_block_param
1636 compstmt '}'
1637 {
1638 $$ = new_block($3, $4, true);
1639 $<node>$.SET_LINENO($<int>2);
1640 local_unnest();
1641 }
1642 | keyword_do
1643 {
1644 local_nest();
1645 $$ = (int)this.lineno;
1646 }
1647 opt_block_param
1648 compstmt keyword_end
1649 {
1650 $$ = new_block($3, $4, false);
1651 $<node>$.SET_LINENO($<int>2);
1652 local_unnest();
1653 }
1654 ;
1655
1656case_body : keyword_when args then
1657 compstmt
1658 cases
1659 {
1660 $$ = cons(cons($2, $4), $5);
1661 }
1662 ;
1663
1664cases : opt_else
1665 {
1666 if ($1 != null) {
1667 $$ = cons(cons(null, $1), null);
1668 }
1669 else {
1670 $$ = null;
1671 }
1672 }
1673 | case_body
1674 ;
1675
1676opt_rescue : keyword_rescue exc_list exc_var then
1677 compstmt
1678 opt_rescue
1679 {
1680 $$ = list1(list3($2, $3, $5));
1681 if ($6 != null) $$ = append($<node>$, $6);
1682 }
1683 | none
1684 ;
1685
1686exc_list : arg
1687 {
1688 $$ = list1($1);
1689 }
1690 | mrhs
1691 | none
1692 ;
1693
1694exc_var : tASSOC lhs
1695 {
1696 $$ = $2;
1697 }
1698 | none
1699 ;
1700
1701opt_ensure : keyword_ensure compstmt
1702 {
1703 $$ = $2;
1704 }
1705 | none
1706 ;
1707
1708literal : numeric
1709 | symbol
1710 | words
1711 | symbols
1712 ;
1713
1714string : tCHAR
1715 | tSTRING
1716 | tSTRING_BEG tSTRING
1717 {
1718 $$ = $2;
1719 }
1720 | tSTRING_BEG string_rep tSTRING
1721 {
1722 $$ = new_dstr(push($2, $3));
1723 }
1724 ;
1725
1726string_rep : string_interp
1727 | string_rep string_interp
1728 {
1729 $$ = append($1, $2);
1730 }
1731 ;
1732
1733string_interp : tSTRING_MID
1734 {
1735 $$ = list1($1);
1736 }
1737 | tSTRING_PART
1738 {
1739 $$ = (node)this.lex_strterm;
1740 this.lex_strterm = null;
1741 }
1742 compstmt
1743 '}'
1744 {
1745 this.lex_strterm = $<node>2;
1746 $$ = list2($1, $3);
1747 }
1748 | tLITERAL_DELIM
1749 {
1750 $$ = list1(new_literal_delim());
1751 }
1752 | tHD_LITERAL_DELIM heredoc_bodies
1753 {
1754 $$ = list1(new_literal_delim());
1755 }
1756 ;
1757
1758xstring : tXSTRING_BEG tXSTRING
1759 {
1760 $$ = $2;
1761 }
1762 | tXSTRING_BEG string_rep tXSTRING
1763 {
1764 $$ = new_dxstr(push($2, $3));
1765 }
1766 ;
1767
1768regexp : tREGEXP_BEG tREGEXP
1769 {
1770 $$ = $2;
1771 }
1772 | tREGEXP_BEG string_rep tREGEXP
1773 {
1774 $$ = new_dregx($2, $3);
1775 }
1776 ;
1777
1778heredoc : tHEREDOC_BEG
1779 ;
1780
1781heredoc_bodies : heredoc_body
1782 | heredoc_bodies heredoc_body
1783 ;
1784
1785heredoc_body : tHEREDOC_END
1786 {
1787 parser_heredoc_info inf = parsing_heredoc_inf();
1788 inf.push_doc(new_str(new Uint8Array(0), 0));
1789 heredoc_end();
1790 }
1791 | heredoc_string_rep tHEREDOC_END
1792 {
1793 heredoc_end();
1794 }
1795 ;
1796
1797heredoc_string_rep : heredoc_string_interp
1798 | heredoc_string_rep heredoc_string_interp
1799 ;
1800
1801heredoc_string_interp : tHD_STRING_MID
1802 {
1803 parser_heredoc_info inf = parsing_heredoc_inf();
1804 inf.push_doc($1);
1805 heredoc_treat_nextline();
1806 }
1807 | tHD_STRING_PART
1808 {
1809 $$ = (node)this.lex_strterm;
1810 this.lex_strterm = null;
1811 }
1812 compstmt
1813 '}'
1814 {
1815 parser_heredoc_info inf = parsing_heredoc_inf();
1816 this.lex_strterm = $<node>2;
1817 inf.push_doc($1);
1818 inf.push_doc($3);
1819 }
1820 ;
1821
1822words : tWORDS_BEG tSTRING
1823 {
1824 $$ = new_words(list1($2));
1825 }
1826 | tWORDS_BEG string_rep tSTRING
1827 {
1828 $$ = new_words(push($2, $3));
1829 }
1830 ;
1831
1832
1833symbol : basic_symbol
1834 {
1835 $$ = new_sym($1);
1836 }
1837 | tSYMBEG tSTRING_BEG string_rep tSTRING
1838 {
1839 this.lstate = mrb_lex_state_enum.EXPR_END;
1840 $$ = new_dsym(push($3, $4));
1841 }
1842 ;
1843
1844basic_symbol : tSYMBEG sym
1845 {
1846 this.lstate = mrb_lex_state_enum.EXPR_END;
1847 $$ = $2;
1848 }
1849 ;
1850
1851sym : fname
1852 | tIVAR
1853 | tGVAR
1854 | tCVAR
1855 | tSTRING
1856 {
1857 $$ = new_strsym($1);
1858 }
1859 | tSTRING_BEG tSTRING
1860 {
1861 $$ = new_strsym($2);
1862 }
1863 ;
1864
1865symbols : tSYMBOLS_BEG tSTRING
1866 {
1867 $$ = new_symbols(list1($2));
1868 }
1869 | tSYMBOLS_BEG string_rep tSTRING
1870 {
1871 $$ = new_symbols(push($2, $3));
1872 }
1873 ;
1874
1875numeric : tINTEGER
1876 | tFLOAT
1877 | tUMINUS_NUM tINTEGER %prec tLOWEST
1878 {
1879 $$ = negate_lit($2);
1880 }
1881 | tUMINUS_NUM tFLOAT %prec tLOWEST
1882 {
1883 $$ = negate_lit($2);
1884 }
1885 ;
1886
1887variable : tIDENTIFIER
1888 {
1889 $$ = new_lvar($1);
1890 }
1891 | tIVAR
1892 {
1893 $$ = new_ivar($1);
1894 }
1895 | tGVAR
1896 {
1897 $$ = new_gvar($1);
1898 }
1899 | tCVAR
1900 {
1901 $$ = new_cvar($1);
1902 }
1903 | tCONSTANT
1904 {
1905 $$ = new_const($1);
1906 }
1907 ;
1908
1909var_lhs : variable
1910 {
1911 assignable($1);
1912 }
1913 ;
1914
1915var_ref : variable
1916 {
1917 $$ = var_reference($1);
1918 }
1919 | keyword_nil
1920 {
1921 $$ = new_nil();
1922 }
1923 | keyword_self
1924 {
1925 $$ = new_self();
1926 }
1927 | keyword_true
1928 {
1929 $$ = new_true();
1930 }
1931 | keyword_false
1932 {
1933 $$ = new_false();
1934 }
1935 | keyword__FILE__
1936 {
1937 if (this.filename == null) {
1938 this.mrb_parser_set_filename("(null)");
1939 }
1940 $$ = new_filename(this.filename);
1941 }
1942 | keyword__LINE__
1943 {
1944 $$ = new_lineno(this.lineno);
1945 }
1946 ;
1947
1948backref : tNTH_REF
1949 | tBACK_REF
1950 ;
1951
1952superclass : /* term */
1953 {
1954 $$ = null;
1955 }
1956 | '<'
1957 {
1958 this.lstate = mrb_lex_state_enum.EXPR_BEG;
1959 this.cmd_start = true;
1960 }
1961 expr_value term
1962 {
1963 $$ = $3;
1964 } /*
1965 | error term
1966 {
1967 yyErrorFlag = 0;
1968 $$ = null;
1969 } */
1970 ;
1971
1972f_arglist : '(' f_args rparen
1973 {
1974 $$ = $2;
1975 this.lstate = mrb_lex_state_enum.EXPR_BEG;
1976 this.cmd_start = true;
1977 }
1978 | f_args term
1979 {
1980 $$ = $1;
1981 }
1982 ;
1983
1984f_args : f_arg ',' f_optarg ',' f_rest_arg opt_f_block_arg
1985 {
1986 $$ = new_args($1, $3, $5, null, $6);
1987 }
1988 | f_arg ',' f_optarg ',' f_rest_arg ',' f_arg opt_f_block_arg
1989 {
1990 $$ = new_args($1, $3, $5, $7, $8);
1991 }
1992 | f_arg ',' f_optarg opt_f_block_arg
1993 {
1994 $$ = new_args($1, $3, 0, null, $4);
1995 }
1996 | f_arg ',' f_optarg ',' f_arg opt_f_block_arg
1997 {
1998 $$ = new_args($1, $3, 0, $5, $6);
1999 }
2000 | f_arg ',' f_rest_arg opt_f_block_arg
2001 {
2002 $$ = new_args($1, null, $3, null, $4);
2003 }
2004 | f_arg ',' f_rest_arg ',' f_arg opt_f_block_arg
2005 {
2006 $$ = new_args($1, null, $3, $5, $6);
2007 }
2008 | f_arg opt_f_block_arg
2009 {
2010 $$ = new_args($1, null, 0, null, $2);
2011 }
2012 | f_optarg ',' f_rest_arg opt_f_block_arg
2013 {
2014 $$ = new_args(null, $1, $3, null, $4);
2015 }
2016 | f_optarg ',' f_rest_arg ',' f_arg opt_f_block_arg
2017 {
2018 $$ = new_args(null, $1, $3, $5, $6);
2019 }
2020 | f_optarg opt_f_block_arg
2021 {
2022 $$ = new_args(null, $1, 0, null, $2);
2023 }
2024 | f_optarg ',' f_arg opt_f_block_arg
2025 {
2026 $$ = new_args(null, $1, 0, $3, $4);
2027 }
2028 | f_rest_arg opt_f_block_arg
2029 {
2030 $$ = new_args(null, null, $1, null, $2);
2031 }
2032 | f_rest_arg ',' f_arg opt_f_block_arg
2033 {
2034 $$ = new_args(null, null, $1, $3, $4);
2035 }
2036 | f_block_arg
2037 {
2038 $$ = new_args(null, null, 0, null, $1);
2039 }
2040 | /* none */
2041 {
2042 local_add_f(0);
2043 $$ = new_args(null, null, 0, null, 0);
2044 }
2045 ;
2046
2047f_bad_arg : tCONSTANT
2048 {
2049 yyError("formal argument cannot be a constant");
2050 $$ = null;
2051 }
2052 | tIVAR
2053 {
2054 yyError("formal argument cannot be an instance variable");
2055 $$ = null;
2056 }
2057 | tGVAR
2058 {
2059 yyError("formal argument cannot be a global variable");
2060 $$ = null;
2061 }
2062 | tCVAR
2063 {
2064 yyError("formal argument cannot be a class variable");
2065 $$ = null;
2066 }
2067 ;
2068
2069f_norm_arg : f_bad_arg
2070 {
2071 $$ = null;
2072 }
2073 | tIDENTIFIER
2074 {
2075 local_add_f($1);
2076 $$ = $1;
2077 }
2078 ;
2079
2080f_arg_item : f_norm_arg
2081 {
2082 $$ = new_arg($1);
2083 }
2084 | tLPAREN f_margs rparen
2085 {
2086 $$ = new_masgn($2, null);
2087 }
2088 ;
2089
2090f_arg : f_arg_item
2091 {
2092 $$ = list1($1);
2093 }
2094 | f_arg ',' f_arg_item
2095 {
2096 $$ = push($1, $3);
2097 }
2098 ;
2099
2100f_opt_asgn : tIDENTIFIER '='
2101 {
2102 local_add_f($1);
2103 $$ = $1;
2104 }
2105 ;
2106
2107f_opt : f_opt_asgn arg
2108 {
2109 $$ = cons($1, $2);
2110 }
2111 ;
2112
2113f_block_opt : f_opt_asgn primary_value
2114 {
2115 $$ = cons($1, $2);
2116 }
2117 ;
2118
2119f_block_optarg : f_block_opt
2120 {
2121 $$ = list1($1);
2122 }
2123 | f_block_optarg ',' f_block_opt
2124 {
2125 $$ = push($1, $3);
2126 }
2127 ;
2128
2129f_optarg : f_opt
2130 {
2131 $$ = list1($1);
2132 }
2133 | f_optarg ',' f_opt
2134 {
2135 $$ = push($1, $3);
2136 }
2137 ;
2138
2139restarg_mark : '*'
2140 | tSTAR
2141 ;
2142
2143f_rest_arg : restarg_mark tIDENTIFIER
2144 {
2145 local_add_f($2);
2146 $$ = $2;
2147 }
2148 | restarg_mark
2149 {
2150 local_add_f(0);
2151 $$ = -1;
2152 }
2153 ;
2154
2155blkarg_mark : '&'
2156 | tAMPER
2157 ;
2158
2159f_block_arg : blkarg_mark tIDENTIFIER
2160 {
2161 local_add_f($2);
2162 $$ = $2;
2163 }
2164 ;
2165
2166opt_f_block_arg : ',' f_block_arg
2167 {
2168 $$ = $2;
2169 }
2170 | none
2171 {
2172 local_add_f(0);
2173 $$ = 0;
2174 }
2175 ;
2176
2177singleton : var_ref
2178 {
2179 $$ = $1;
2180 if ($$ == null) $$ = new_nil();
2181 }
2182 | '(' {this.lstate = mrb_lex_state_enum.EXPR_BEG;} expr rparen
2183 {
2184 if ($<int>3 == 0) {
2185 yyError("can't define singleton method for ().");
2186 }
2187 else {
2188 switch ((node_type)($3.car)) {
2189 case node_type.NODE_STR:
2190 case node_type.NODE_DSTR:
2191 case node_type.NODE_XSTR:
2192 case node_type.NODE_DXSTR:
2193 case node_type.NODE_DREGX:
2194 case node_type.NODE_MATCH:
2195 case node_type.NODE_FLOAT:
2196 case node_type.NODE_ARRAY:
2197 case node_type.NODE_HEREDOC:
2198 yyError("can't define singleton method for literals");
2199 break;
2200 default:
2201 break;
2202 }
2203 }
2204 $$ = $3;
2205 }
2206 ;
2207
2208assoc_list : none
2209 | assocs trailer
2210 {
2211 $$ = $1;
2212 }
2213 ;
2214
2215assocs : assoc
2216 {
2217 $$ = list1($1);
2218 $<node>$.NODE_LINENO($1);
2219 }
2220 | assocs ',' assoc
2221 {
2222 $$ = push($1, $3);
2223 }
2224 ;
2225
2226assoc : arg tASSOC arg
2227 {
2228 $$ = cons($1, $3);
2229 }
2230 | tLABEL arg
2231 {
2232 $$ = cons(new_sym($1), $2);
2233 }
2234 | tLABEL_END arg
2235 {
2236 $$ = cons(new_sym(new_strsym($1)), $2);
2237 }
2238 | tSTRING_BEG tLABEL_END arg
2239 {
2240 $$ = cons(new_sym(new_strsym($2)), $3);
2241 }
2242 | tSTRING_BEG string_rep tLABEL_END arg
2243 {
2244 $$ = cons(new_dsym(push($2, $3)), $4);
2245 }
2246 ;
2247
2248operation : tIDENTIFIER
2249 | tCONSTANT
2250 | tFID
2251 ;
2252
2253operation2 : tIDENTIFIER
2254 | tCONSTANT
2255 | tFID
2256 | op
2257 ;
2258
2259operation3 : tIDENTIFIER
2260 | tFID
2261 | op
2262 ;
2263
2264dot_or_colon : '.'
2265 | tCOLON2
2266 ;
2267
2268call_op : '.'
2269 {
2270 $$ = (MrbTokens)'.';
2271 }
2272 | tANDDOT
2273 {
2274 $$ = (MrbTokens)0;
2275 }
2276 ;
2277
2278call_op2 : call_op
2279 | tCOLON2
2280 {
2281 $$ = MrbTokens.tCOLON2;
2282 }
2283 ;
2284
2285opt_terms : /* none */
2286 | terms
2287 ;
2288
2289opt_nl : /* none */
2290 | nl
2291 ;
2292
2293rparen : opt_nl ')'
2294 ;
2295
2296rbracket : opt_nl ']'
2297 ;
2298
2299trailer : /* none */
2300 | nl
2301 | comma
2302 ;
2303
2304term : ';' {yyErrorFlag = 0;}
2305 | nl
2306 | heredoc_body
2307 ;
2308
2309nl : '\n'
2310 {
2311 this.lineno++;
2312 this.column = 0;
2313 }
2314 ;
2315
2316terms : term
2317 | terms term
2318 ;
2319
2320none : /* none */
2321 {
2322 $$ = null;
2323 }
2324 ;
2325%%
2326
2327 } // must specify trailing } for parser class
2328} // must specify trailing } for namespace, if any
Note: See TracBrowser for help on using the repository browser.