/[eiffelstudio]/branches/CAT_mono/Src/framework/parser/parser/eiffel_parser.e
ViewVC logotype

Diff of /branches/CAT_mono/Src/framework/parser/parser/eiffel_parser.e

Parent Directory Parent Directory | Revision Log Revision Log | View Patch Patch

revision 69649 by manus, Mon Jul 23 21:36:18 2007 UTC revision 69650 by juliant, Tue Jul 24 17:18:14 2007 UTC
# Line 2804  feature {NONE} -- Semantic actions Line 2804  feature {NONE} -- Semantic actions
2804                          when 569 then                          when 569 then
2805                                          --|#line <not available> "eiffel.y"                                          --|#line <not available> "eiffel.y"
2806                                  yy_do_action_569                                  yy_do_action_569
2807                            when 570 then
2808                                            --|#line <not available> "eiffel.y"
2809                                    yy_do_action_570
2810                            when 571 then
2811                                            --|#line <not available> "eiffel.y"
2812                                    yy_do_action_571
2813                          else                          else
2814                                  debug ("GEYACC")                                  debug ("GEYACC")
2815                                          std.error.put_string ("Error in parser: unknown rule id: ")                                          std.error.put_string ("Error in parser: unknown rule id: ")
# Line 9613  debug ("GEYACC") Line 9619  debug ("GEYACC")
9619          std.error.put_line ("Executing parser user-code from file 'eiffel.y' at line <not available>")          std.error.put_line ("Executing parser user-code from file 'eiffel.y' at line <not available>")
9620  end  end
9621    
9622                                    yyval79 := yyvs79.item (yyvsp79)
9623                                    ast_factory.set_monomorph_type (yyval79, True, yyvs12.item (yyvsp12))
9624                            
9625    if yy_parsing_status = yyContinue then
9626            yyssp := yyssp - 2
9627            yyvsp12 := yyvsp12 -1
9628            yyvs79.put (yyval79, yyvsp79)
9629    end
9630                    end
9631    
9632            yy_do_action_208 is
9633                            --|#line <not available> "eiffel.y"
9634                    local
9635                            yyval79: TYPE_AS
9636                    do
9637    --|#line <not available> "eiffel.y"
9638    debug ("GEYACC")
9639            std.error.put_line ("Executing parser user-code from file 'eiffel.y' at line <not available>")
9640    end
9641    
9642                                    yyval79 := yyvs79.item (yyvsp79)
9643                                    ast_factory.set_monomorph_type (yyval79, True, yyvs12.item (yyvsp12))
9644                            
9645    if yy_parsing_status = yyContinue then
9646            yyssp := yyssp - 2
9647            yyvsp12 := yyvsp12 -1
9648            yyvs79.put (yyval79, yyvsp79)
9649    end
9650                    end
9651    
9652            yy_do_action_209 is
9653                            --|#line <not available> "eiffel.y"
9654                    local
9655                            yyval79: TYPE_AS
9656                    do
9657    --|#line <not available> "eiffel.y"
9658    debug ("GEYACC")
9659            std.error.put_line ("Executing parser user-code from file 'eiffel.y' at line <not available>")
9660    end
9661    
9662  yyval79 := yyvs79.item (yyvsp79)  yyval79 := yyvs79.item (yyvsp79)
9663  if yy_parsing_status = yyContinue then  if yy_parsing_status = yyContinue then
9664          yyssp := yyssp - 1          yyssp := yyssp - 1
# Line 9620  if yy_parsing_status = yyContinue then Line 9666  if yy_parsing_status = yyContinue then
9666  end  end
9667                  end                  end
9668    
9669          yy_do_action_208 is          yy_do_action_210 is
9670                          --|#line <not available> "eiffel.y"                          --|#line <not available> "eiffel.y"
9671                  local                  local
9672                          yyval79: TYPE_AS                          yyval79: TYPE_AS
# Line 9656  if yy_parsing_status = yyContinue then Line 9702  if yy_parsing_status = yyContinue then
9702  end  end
9703                  end                  end
9704    
9705          yy_do_action_209 is          yy_do_action_211 is
9706                          --|#line <not available> "eiffel.y"                          --|#line <not available> "eiffel.y"
9707                  local                  local
9708                          yyval79: TYPE_AS                          yyval79: TYPE_AS
# Line 9673  if yy_parsing_status = yyContinue then Line 9719  if yy_parsing_status = yyContinue then
9719  end  end
9720                  end                  end
9721    
9722          yy_do_action_210 is          yy_do_action_212 is
9723                          --|#line <not available> "eiffel.y"                          --|#line <not available> "eiffel.y"
9724                  local                  local
9725                          yyval79: TYPE_AS                          yyval79: TYPE_AS
# Line 9690  if yy_parsing_status = yyContinue then Line 9736  if yy_parsing_status = yyContinue then
9736  end  end
9737                  end                  end
9738    
9739          yy_do_action_211 is          yy_do_action_213 is
9740                          --|#line <not available> "eiffel.y"                          --|#line <not available> "eiffel.y"
9741                  local                  local
9742                          yyval79: TYPE_AS                          yyval79: TYPE_AS
# Line 9715  if yy_parsing_status = yyContinue then Line 9761  if yy_parsing_status = yyContinue then
9761  end  end
9762                  end                  end
9763    
9764          yy_do_action_212 is          yy_do_action_214 is
9765                          --|#line <not available> "eiffel.y"                          --|#line <not available> "eiffel.y"
9766                  local                  local
9767                          yyval79: TYPE_AS                          yyval79: TYPE_AS
# Line 9739  if yy_parsing_status = yyContinue then Line 9785  if yy_parsing_status = yyContinue then
9785  end  end
9786                  end                  end
9787    
9788          yy_do_action_213 is          yy_do_action_215 is
9789                          --|#line <not available> "eiffel.y"                          --|#line <not available> "eiffel.y"
9790                  local                  local
9791                          yyval79: TYPE_AS                          yyval79: TYPE_AS
# Line 9775  if yy_parsing_status = yyContinue then Line 9821  if yy_parsing_status = yyContinue then
9821  end  end
9822                  end                  end
9823    
9824          yy_do_action_214 is          yy_do_action_216 is
9825                          --|#line <not available> "eiffel.y"                          --|#line <not available> "eiffel.y"
9826                  local                  local
9827                          yyval79: TYPE_AS                          yyval79: TYPE_AS
# Line 9811  if yy_parsing_status = yyContinue then Line 9857  if yy_parsing_status = yyContinue then
9857  end  end
9858                  end                  end
9859    
9860          yy_do_action_215 is          yy_do_action_217 is
9861                          --|#line <not available> "eiffel.y"                          --|#line <not available> "eiffel.y"
9862                  local                  local
9863                          yyval79: TYPE_AS                          yyval79: TYPE_AS
# Line 9847  if yy_parsing_status = yyContinue then Line 9893  if yy_parsing_status = yyContinue then
9893  end  end
9894                  end                  end
9895    
9896          yy_do_action_216 is          yy_do_action_218 is
9897                          --|#line <not available> "eiffel.y"                          --|#line <not available> "eiffel.y"
9898                  local                  local
9899                          yyval79: TYPE_AS                          yyval79: TYPE_AS
# Line 9883  if yy_parsing_status = yyContinue then Line 9929  if yy_parsing_status = yyContinue then
9929  end  end
9930                  end                  end
9931    
9932          yy_do_action_217 is          yy_do_action_219 is
9933                          --|#line <not available> "eiffel.y"                          --|#line <not available> "eiffel.y"
9934                  local                  local
9935                          yyval79: TYPE_AS                          yyval79: TYPE_AS
# Line 9900  if yy_parsing_status = yyContinue then Line 9946  if yy_parsing_status = yyContinue then
9946  end  end
9947                  end                  end
9948    
9949          yy_do_action_218 is          yy_do_action_220 is
9950                          --|#line <not available> "eiffel.y"                          --|#line <not available> "eiffel.y"
9951                  local                  local
9952                          yyval79: TYPE_AS                          yyval79: TYPE_AS
# Line 9917  if yy_parsing_status = yyContinue then Line 9963  if yy_parsing_status = yyContinue then
9963  end  end
9964                  end                  end
9965    
9966          yy_do_action_219 is          yy_do_action_221 is
9967                          --|#line <not available> "eiffel.y"                          --|#line <not available> "eiffel.y"
9968                  local                  local
9969                          yyval79: TYPE_AS                          yyval79: TYPE_AS
# Line 9953  if yy_parsing_status = yyContinue then Line 9999  if yy_parsing_status = yyContinue then
9999  end  end
10000                  end                  end
10001    
10002          yy_do_action_220 is          yy_do_action_222 is
10003                          --|#line <not available> "eiffel.y"                          --|#line <not available> "eiffel.y"
10004                  local                  local
10005                          yyval112: TYPE_LIST_AS                          yyval112: TYPE_LIST_AS
# Line 9987  if yy_parsing_status = yyContinue then Line 10033  if yy_parsing_status = yyContinue then
10033  end  end
10034                  end                  end
10035    
10036          yy_do_action_221 is          yy_do_action_223 is
10037                          --|#line <not available> "eiffel.y"                          --|#line <not available> "eiffel.y"
10038                  local                  local
10039                          yyval112: TYPE_LIST_AS                          yyval112: TYPE_LIST_AS
# Line 10005  if yy_parsing_status = yyContinue then Line 10051  if yy_parsing_status = yyContinue then
10051  end  end
10052                  end                  end
10053    
10054          yy_do_action_222 is          yy_do_action_224 is
10055                          --|#line <not available> "eiffel.y"                          --|#line <not available> "eiffel.y"
10056                  local                  local
10057                          yyval112: TYPE_LIST_AS                          yyval112: TYPE_LIST_AS
# Line 10027  if yy_parsing_status = yyContinue then Line 10073  if yy_parsing_status = yyContinue then
10073  end  end
10074                  end                  end
10075    
10076          yy_do_action_223 is          yy_do_action_225 is
10077                          --|#line <not available> "eiffel.y"                          --|#line <not available> "eiffel.y"
10078                  local                  local
10079                          yyval112: TYPE_LIST_AS                          yyval112: TYPE_LIST_AS
# Line 10066  if yy_parsing_status = yyContinue then Line 10112  if yy_parsing_status = yyContinue then
10112  end  end
10113                  end                  end
10114    
10115          yy_do_action_224 is          yy_do_action_226 is
10116                          --|#line <not available> "eiffel.y"                          --|#line <not available> "eiffel.y"
10117                  local                  local
10118                          yyval112: TYPE_LIST_AS                          yyval112: TYPE_LIST_AS
# Line 10084  if yy_parsing_status = yyContinue then Line 10130  if yy_parsing_status = yyContinue then
10130  end  end
10131                  end                  end
10132    
10133          yy_do_action_225 is          yy_do_action_227 is
10134                          --|#line <not available> "eiffel.y"                          --|#line <not available> "eiffel.y"
10135                  local                  local
10136                          yyval112: TYPE_LIST_AS                          yyval112: TYPE_LIST_AS
# Line 10123  if yy_parsing_status = yyContinue then Line 10169  if yy_parsing_status = yyContinue then
10169  end  end
10170                  end                  end
10171    
10172          yy_do_action_226 is          yy_do_action_228 is
10173                          --|#line <not available> "eiffel.y"                          --|#line <not available> "eiffel.y"
10174                  local                  local
10175                          yyval112: TYPE_LIST_AS                          yyval112: TYPE_LIST_AS
# Line 10148  if yy_parsing_status = yyContinue then Line 10194  if yy_parsing_status = yyContinue then
10194  end  end
10195                  end                  end
10196    
10197          yy_do_action_227 is          yy_do_action_229 is
10198                          --|#line <not available> "eiffel.y"                          --|#line <not available> "eiffel.y"
10199                  local                  local
10200                          yyval79: TYPE_AS                          yyval79: TYPE_AS
# Line 10183  if yy_parsing_status = yyContinue then Line 10229  if yy_parsing_status = yyContinue then
10229  end  end
10230                  end                  end
10231    
10232          yy_do_action_228 is          yy_do_action_230 is
10233                          --|#line <not available> "eiffel.y"                          --|#line <not available> "eiffel.y"
10234                  local                  local
10235                          yyval79: TYPE_AS                          yyval79: TYPE_AS
# Line 10228  if yy_parsing_status = yyContinue then Line 10274  if yy_parsing_status = yyContinue then
10274  end  end
10275                  end                  end
10276    
10277          yy_do_action_229 is          yy_do_action_231 is
10278                          --|#line <not available> "eiffel.y"                          --|#line <not available> "eiffel.y"
10279                  local                  local
10280                          yyval79: TYPE_AS                          yyval79: TYPE_AS
# Line 10273  if yy_parsing_status = yyContinue then Line 10319  if yy_parsing_status = yyContinue then
10319  end  end
10320                  end                  end
10321    
10322          yy_do_action_230 is          yy_do_action_232 is
10323                          --|#line <not available> "eiffel.y"                          --|#line <not available> "eiffel.y"
10324                  local                  local
10325                          yyval79: TYPE_AS                          yyval79: TYPE_AS
# Line 10316  if yy_parsing_status = yyContinue then Line 10362  if yy_parsing_status = yyContinue then
10362  end  end
10363                  end                  end
10364    
10365          yy_do_action_231 is          yy_do_action_233 is
10366                          --|#line <not available> "eiffel.y"                          --|#line <not available> "eiffel.y"
10367                  local                  local
10368                          yyval112: TYPE_LIST_AS                          yyval112: TYPE_LIST_AS
# Line 10357  if yy_parsing_status = yyContinue then Line 10403  if yy_parsing_status = yyContinue then
10403  end  end
10404                  end                  end
10405    
10406          yy_do_action_232 is          yy_do_action_234 is
10407                          --|#line <not available> "eiffel.y"                          --|#line <not available> "eiffel.y"
10408                  local                  local
10409                          yyval112: TYPE_LIST_AS                          yyval112: TYPE_LIST_AS
# Line 10383  if yy_parsing_status = yyContinue then Line 10429  if yy_parsing_status = yyContinue then
10429  end  end
10430                  end                  end
10431    
10432          yy_do_action_233 is          yy_do_action_235 is
10433                          --|#line <not available> "eiffel.y"                          --|#line <not available> "eiffel.y"
10434                  local                  local
10435                          yyval112: TYPE_LIST_AS                          yyval112: TYPE_LIST_AS
# Line 10408  if yy_parsing_status = yyContinue then Line 10454  if yy_parsing_status = yyContinue then
10454  end  end
10455                  end                  end
10456    
10457          yy_do_action_234 is          yy_do_action_236 is
10458                          --|#line <not available> "eiffel.y"                          --|#line <not available> "eiffel.y"
10459                  local                  local
10460                          yyval113: TYPE_DEC_LIST_AS                          yyval113: TYPE_DEC_LIST_AS
# Line 10456  if yy_parsing_status = yyContinue then Line 10502  if yy_parsing_status = yyContinue then
10502  end  end
10503                  end                  end
10504    
10505          yy_do_action_235 is          yy_do_action_237 is
10506                          --|#line <not available> "eiffel.y"                          --|#line <not available> "eiffel.y"
10507                  local                  local
10508                          yyval113: TYPE_DEC_LIST_AS                          yyval113: TYPE_DEC_LIST_AS
# Line 10487  if yy_parsing_status = yyContinue then Line 10533  if yy_parsing_status = yyContinue then
10533  end  end
10534                  end                  end
10535    
10536          yy_do_action_236 is          yy_do_action_238 is
10537                          --|#line <not available> "eiffel.y"                          --|#line <not available> "eiffel.y"
10538                  local                  local
10539                          yyval113: TYPE_DEC_LIST_AS                          yyval113: TYPE_DEC_LIST_AS
# Line 10520  if yy_parsing_status = yyContinue then Line 10566  if yy_parsing_status = yyContinue then
10566  end  end
10567                  end                  end
10568    
10569          yy_do_action_237 is          yy_do_action_239 is
10570                          --|#line <not available> "eiffel.y"                          --|#line <not available> "eiffel.y"
10571                  local                  local
10572                          yyval101: FORMAL_GENERIC_LIST_AS                          yyval101: FORMAL_GENERIC_LIST_AS
# Line 10556  if yy_parsing_status = yyContinue then Line 10602  if yy_parsing_status = yyContinue then
10602  end  end
10603                  end                  end
10604    
10605          yy_do_action_238 is          yy_do_action_240 is
10606                          --|#line <not available> "eiffel.y"                          --|#line <not available> "eiffel.y"
10607                  local                  local
10608                          yyval101: FORMAL_GENERIC_LIST_AS                          yyval101: FORMAL_GENERIC_LIST_AS
# Line 10597  if yy_parsing_status = yyContinue then Line 10643  if yy_parsing_status = yyContinue then
10643  end  end
10644                  end                  end
10645    
10646          yy_do_action_239 is          yy_do_action_241 is
10647                          --|#line <not available> "eiffel.y"                          --|#line <not available> "eiffel.y"
10648                  local                  local
10649                          yyval101: FORMAL_GENERIC_LIST_AS                          yyval101: FORMAL_GENERIC_LIST_AS
# Line 10622  if yy_parsing_status = yyContinue then Line 10668  if yy_parsing_status = yyContinue then
10668  end  end
10669                  end                  end
10670    
10671          yy_do_action_240 is          yy_do_action_242 is
10672                          --|#line <not available> "eiffel.y"                          --|#line <not available> "eiffel.y"
10673                  local                  local
10674                          yyval101: FORMAL_GENERIC_LIST_AS                          yyval101: FORMAL_GENERIC_LIST_AS
# Line 10661  if yy_parsing_status = yyContinue then Line 10707  if yy_parsing_status = yyContinue then
10707  end  end
10708                  end                  end
10709    
10710          yy_do_action_241 is          yy_do_action_243 is
10711                          --|#line <not available> "eiffel.y"                          --|#line <not available> "eiffel.y"
10712                  local                  local
10713                          yyval101: FORMAL_GENERIC_LIST_AS                          yyval101: FORMAL_GENERIC_LIST_AS
# Line 10686  if yy_parsing_status = yyContinue then Line 10732  if yy_parsing_status = yyContinue then
10732  end  end
10733                  end                  end
10734    
10735          yy_do_action_242 is          yy_do_action_244 is
10736                          --|#line <not available> "eiffel.y"                          --|#line <not available> "eiffel.y"
10737                  local                  local
10738                          yyval54: FORMAL_AS                          yyval54: FORMAL_AS
# Line 10733  if yy_parsing_status = yyContinue then Line 10779  if yy_parsing_status = yyContinue then
10779  end  end
10780                  end                  end
10781    
10782          yy_do_action_243 is          yy_do_action_245 is
10783                          --|#line <not available> "eiffel.y"                          --|#line <not available> "eiffel.y"
10784                  local                  local
10785                          yyval54: FORMAL_AS                          yyval54: FORMAL_AS
# Line 10780  if yy_parsing_status = yyContinue then Line 10826  if yy_parsing_status = yyContinue then
10826  end  end
10827                  end                  end
10828    
10829          yy_do_action_244 is          yy_do_action_246 is
10830                          --|#line <not available> "eiffel.y"                          --|#line <not available> "eiffel.y"
10831                  local                  local
10832                          yyval54: FORMAL_AS                          yyval54: FORMAL_AS
# Line 10826  if yy_parsing_status = yyContinue then Line 10872  if yy_parsing_status = yyContinue then
10872  end  end
10873                  end                  end
10874    
10875          yy_do_action_245 is          yy_do_action_247 is
10876                          --|#line <not available> "eiffel.y"                          --|#line <not available> "eiffel.y"
10877                  local                  local
10878                          yyval55: FORMAL_DEC_AS                          yyval55: FORMAL_DEC_AS
# Line 10854  if yy_parsing_status = yyContinue then Line 10900  if yy_parsing_status = yyContinue then
10900  end  end
10901                  end                  end
10902    
10903          yy_do_action_246 is          yy_do_action_248 is
10904                          --|#line <not available> "eiffel.y"                          --|#line <not available> "eiffel.y"
10905                  local                  local
10906                          yyval55: FORMAL_DEC_AS                          yyval55: FORMAL_DEC_AS
# Line 10894  if yy_parsing_status = yyContinue then Line 10940  if yy_parsing_status = yyContinue then
10940  end  end
10941                  end                  end
10942    
10943          yy_do_action_247 is          yy_do_action_249 is
10944                          --|#line <not available> "eiffel.y"                          --|#line <not available> "eiffel.y"
10945                  local                  local
10946                          yyval116: CONSTRAINT_TRIPLE                          yyval116: CONSTRAINT_TRIPLE
# Line 10928  if yy_parsing_status = yyContinue then Line 10974  if yy_parsing_status = yyContinue then
10974  end  end
10975                  end                  end
10976    
10977          yy_do_action_248 is          yy_do_action_250 is
10978                          --|#line <not available> "eiffel.y"                          --|#line <not available> "eiffel.y"
10979                  local                  local
10980                          yyval116: CONSTRAINT_TRIPLE                          yyval116: CONSTRAINT_TRIPLE
# Line 10971  if yy_parsing_status = yyContinue then Line 11017  if yy_parsing_status = yyContinue then
11017  end  end
11018                  end                  end
11019    
11020          yy_do_action_249 is          yy_do_action_251 is
11021                          --|#line <not available> "eiffel.y"                          --|#line <not available> "eiffel.y"
11022                  local                  local
11023                          yyval116: CONSTRAINT_TRIPLE                          yyval116: CONSTRAINT_TRIPLE
# Line 11010  if yy_parsing_status = yyContinue then Line 11056  if yy_parsing_status = yyContinue then
11056  end  end
11057                  end                  end
11058    
11059          yy_do_action_250 is          yy_do_action_252 is
11060                          --|#line <not available> "eiffel.y"                          --|#line <not available> "eiffel.y"
11061                  local                  local
11062                          yyval118: CONSTRAINING_TYPE_AS                          yyval118: CONSTRAINING_TYPE_AS
# Line 11044  if yy_parsing_status = yyContinue then Line 11090  if yy_parsing_status = yyContinue then
11090  end  end
11091                  end                  end
11092    
11093          yy_do_action_251 is          yy_do_action_253 is
11094                          --|#line <not available> "eiffel.y"                          --|#line <not available> "eiffel.y"
11095                  local                  local
11096                          yyval118: CONSTRAINING_TYPE_AS                          yyval118: CONSTRAINING_TYPE_AS
# Line 11066  if yy_parsing_status = yyContinue then Line 11112  if yy_parsing_status = yyContinue then
11112  end  end
11113                  end                  end
11114    
11115          yy_do_action_252 is          yy_do_action_254 is
11116                          --|#line <not available> "eiffel.y"                          --|#line <not available> "eiffel.y"
11117                  local                  local
11118                          yyval118: CONSTRAINING_TYPE_AS                          yyval118: CONSTRAINING_TYPE_AS
# Line 11100  if yy_parsing_status = yyContinue then Line 11146  if yy_parsing_status = yyContinue then
11146  end  end
11147                  end                  end
11148    
11149          yy_do_action_253 is          yy_do_action_255 is
11150                          --|#line <not available> "eiffel.y"                          --|#line <not available> "eiffel.y"
11151                  local                  local
11152                          yyval118: CONSTRAINING_TYPE_AS                          yyval118: CONSTRAINING_TYPE_AS
# Line 11134  if yy_parsing_status = yyContinue then Line 11180  if yy_parsing_status = yyContinue then
11180  end  end
11181                  end                  end
11182    
11183          yy_do_action_254 is          yy_do_action_256 is
11184                          --|#line <not available> "eiffel.y"                          --|#line <not available> "eiffel.y"
11185                  local                  local
11186                          yyval118: CONSTRAINING_TYPE_AS                          yyval118: CONSTRAINING_TYPE_AS
# Line 11170  if yy_parsing_status = yyContinue then Line 11216  if yy_parsing_status = yyContinue then
11216  end  end
11217                  end                  end
11218    
11219          yy_do_action_255 is          yy_do_action_257 is
11220                          --|#line <not available> "eiffel.y"                          --|#line <not available> "eiffel.y"
11221                  local                  local
11222                          yyval79: TYPE_AS                          yyval79: TYPE_AS
# Line 11187  if yy_parsing_status = yyContinue then Line 11233  if yy_parsing_status = yyContinue then
11233  end  end
11234                  end                  end
11235    
11236          yy_do_action_256 is          yy_do_action_258 is
11237                          --|#line <not available> "eiffel.y"                          --|#line <not available> "eiffel.y"
11238                  local                  local
11239                          yyval79: TYPE_AS                          yyval79: TYPE_AS
# Line 11225  if yy_parsing_status = yyContinue then Line 11271  if yy_parsing_status = yyContinue then
11271  end  end
11272                  end                  end
11273    
11274          yy_do_action_257 is          yy_do_action_259 is
11275                          --|#line <not available> "eiffel.y"                          --|#line <not available> "eiffel.y"
11276                  local                  local
11277                          yyval79: TYPE_AS                          yyval79: TYPE_AS
# Line 11263  if yy_parsing_status = yyContinue then Line 11309  if yy_parsing_status = yyContinue then
11309  end  end
11310                  end                  end
11311    
11312          yy_do_action_258 is          yy_do_action_260 is
11313                          --|#line <not available> "eiffel.y"                          --|#line <not available> "eiffel.y"
11314                  local                  local
11315                          yyval117: CONSTRAINT_LIST_AS                          yyval117: CONSTRAINT_LIST_AS
# Line 11302  if yy_parsing_status = yyContinue then Line 11348  if yy_parsing_status = yyContinue then
11348  end  end
11349                  end                  end
11350    
11351          yy_do_action_259 is          yy_do_action_261 is
11352                          --|#line <not available> "eiffel.y"                          --|#line <not available> "eiffel.y"
11353                  local                  local
11354                          yyval117: CONSTRAINT_LIST_AS                          yyval117: CONSTRAINT_LIST_AS
# Line 11331  if yy_parsing_status = yyContinue then Line 11377  if yy_parsing_status = yyContinue then
11377  end  end
11378                  end                  end
11379    
11380          yy_do_action_260 is          yy_do_action_262 is
11381                          --|#line <not available> "eiffel.y"                          --|#line <not available> "eiffel.y"
11382                  local                  local
11383                          yyval97: CREATION_CONSTRAIN_TRIPLE                          yyval97: CREATION_CONSTRAIN_TRIPLE
# Line 11365  if yy_parsing_status = yyContinue then Line 11411  if yy_parsing_status = yyContinue then
11411  end  end
11412                  end                  end
11413    
11414          yy_do_action_261 is          yy_do_action_263 is
11415                          --|#line <not available> "eiffel.y"                          --|#line <not available> "eiffel.y"
11416                  local                  local
11417                          yyval97: CREATION_CONSTRAIN_TRIPLE                          yyval97: CREATION_CONSTRAIN_TRIPLE
# Line 11402  if yy_parsing_status = yyContinue then Line 11448  if yy_parsing_status = yyContinue then
11448  end  end
11449                  end                  end
11450    
11451          yy_do_action_262 is          yy_do_action_264 is
11452                          --|#line <not available> "eiffel.y"                          --|#line <not available> "eiffel.y"
11453                  local                  local
11454                          yyval56: IF_AS                          yyval56: IF_AS
# Line 11439  if yy_parsing_status = yyContinue then Line 11485  if yy_parsing_status = yyContinue then
11485  end  end
11486                  end                  end
11487    
11488          yy_do_action_263 is          yy_do_action_265 is
11489                          --|#line <not available> "eiffel.y"                          --|#line <not available> "eiffel.y"
11490                  local                  local
11491                          yyval56: IF_AS                          yyval56: IF_AS
# Line 11483  if yy_parsing_status = yyContinue then Line 11529  if yy_parsing_status = yyContinue then
11529  end  end
11530                  end                  end
11531    
11532          yy_do_action_264 is          yy_do_action_266 is
11533                          --|#line <not available> "eiffel.y"                          --|#line <not available> "eiffel.y"
11534                  local                  local
11535                          yyval56: IF_AS                          yyval56: IF_AS
# Line 11521  if yy_parsing_status = yyContinue then Line 11567  if yy_parsing_status = yyContinue then
11567  end  end
11568                  end                  end
11569    
11570          yy_do_action_265 is          yy_do_action_267 is
11571                          --|#line <not available> "eiffel.y"                          --|#line <not available> "eiffel.y"
11572                  local                  local
11573                          yyval56: IF_AS                          yyval56: IF_AS
# Line 11565  if yy_parsing_status = yyContinue then Line 11611  if yy_parsing_status = yyContinue then
11611  end  end
11612                  end                  end
11613    
11614          yy_do_action_266 is          yy_do_action_268 is
11615                          --|#line <not available> "eiffel.y"                          --|#line <not available> "eiffel.y"
11616                  local                  local
11617                          yyval89: EIFFEL_LIST [ELSIF_AS]                          yyval89: EIFFEL_LIST [ELSIF_AS]
# Line 11583  if yy_parsing_status = yyContinue then Line 11629  if yy_parsing_status = yyContinue then
11629  end  end
11630                  end                  end
11631    
11632          yy_do_action_267 is          yy_do_action_269 is
11633                          --|#line <not available> "eiffel.y"                          --|#line <not available> "eiffel.y"
11634                  local                  local
11635                          yyval89: EIFFEL_LIST [ELSIF_AS]                          yyval89: EIFFEL_LIST [ELSIF_AS]
# Line 11622  if yy_parsing_status = yyContinue then Line 11668  if yy_parsing_status = yyContinue then
11668  end  end
11669                  end                  end
11670    
11671          yy_do_action_268 is          yy_do_action_270 is
11672                          --|#line <not available> "eiffel.y"                          --|#line <not available> "eiffel.y"
11673                  local                  local
11674                          yyval89: EIFFEL_LIST [ELSIF_AS]                          yyval89: EIFFEL_LIST [ELSIF_AS]
# Line 11645  if yy_parsing_status = yyContinue then Line 11691  if yy_parsing_status = yyContinue then
11691  end  end
11692                  end                  end
11693    
11694          yy_do_action_269 is          yy_do_action_271 is
11695                          --|#line <not available> "eiffel.y"                          --|#line <not available> "eiffel.y"
11696                  local                  local
11697                          yyval45: ELSIF_AS                          yyval45: ELSIF_AS
# Line 11682  if yy_parsing_status = yyContinue then Line 11728  if yy_parsing_status = yyContinue then
11728  end  end
11729                  end                  end
11730    
11731          yy_do_action_270 is          yy_do_action_272 is
11732                          --|#line <not available> "eiffel.y"                          --|#line <not available> "eiffel.y"
11733                  local                  local
11734                          yyval16: PAIR [KEYWORD_AS, EIFFEL_LIST [INSTRUCTION_AS]]                          yyval16: PAIR [KEYWORD_AS, EIFFEL_LIST [INSTRUCTION_AS]]
# Line 11718  if yy_parsing_status = yyContinue then Line 11764  if yy_parsing_status = yyContinue then
11764  end  end
11765                  end                  end
11766    
11767          yy_do_action_271 is          yy_do_action_273 is
11768                          --|#line <not available> "eiffel.y"                          --|#line <not available> "eiffel.y"
11769                  local                  local
11770                          yyval58: INSPECT_AS                          yyval58: INSPECT_AS
# Line 11755  if yy_parsing_status = yyContinue then Line 11801  if yy_parsing_status = yyContinue then
11801  end  end
11802                  end                  end
11803    
11804          yy_do_action_272 is          yy_do_action_274 is
11805                          --|#line <not available> "eiffel.y"                          --|#line <not available> "eiffel.y"
11806                  local                  local
11807                          yyval58: INSPECT_AS                          yyval58: INSPECT_AS
# Line 11799  if yy_parsing_status = yyContinue then Line 11845  if yy_parsing_status = yyContinue then
11845  end  end
11846                  end                  end
11847    
11848          yy_do_action_273 is          yy_do_action_275 is
11849                          --|#line <not available> "eiffel.y"                          --|#line <not available> "eiffel.y"
11850                  local                  local
11851                          yyval86: EIFFEL_LIST [CASE_AS]                          yyval86: EIFFEL_LIST [CASE_AS]
# Line 11833  if yy_parsing_status = yyContinue then Line 11879  if yy_parsing_status = yyContinue then
11879  end  end
11880                  end                  end
11881    
11882          yy_do_action_274 is          yy_do_action_276 is
11883                          --|#line <not available> "eiffel.y"                          --|#line <not available> "eiffel.y"
11884                  local                  local
11885                          yyval86: EIFFEL_LIST [CASE_AS]                          yyval86: EIFFEL_LIST [CASE_AS]
# Line 11851  if yy_parsing_status = yyContinue then Line 11897  if yy_parsing_status = yyContinue then
11897  end  end
11898                  end                  end
11899    
11900          yy_do_action_275 is          yy_do_action_277 is
11901                          --|#line <not available> "eiffel.y"                          --|#line <not available> "eiffel.y"
11902                  local                  local
11903                          yyval86: EIFFEL_LIST [CASE_AS]                          yyval86: EIFFEL_LIST [CASE_AS]
# Line 11890  if yy_parsing_status = yyContinue then Line 11936  if yy_parsing_status = yyContinue then
11936  end  end
11937                  end                  end
11938    
11939          yy_do_action_276 is          yy_do_action_278 is
11940                          --|#line <not available> "eiffel.y"                          --|#line <not available> "eiffel.y"
11941                  local                  local
11942                          yyval86: EIFFEL_LIST [CASE_AS]                          yyval86: EIFFEL_LIST [CASE_AS]
# Line 11913  if yy_parsing_status = yyContinue then Line 11959  if yy_parsing_status = yyContinue then
11959  end  end
11960                  end                  end
11961    
11962          yy_do_action_277 is          yy_do_action_279 is
11963                          --|#line <not available> "eiffel.y"                          --|#line <not available> "eiffel.y"
11964                  local                  local
11965                          yyval36: CASE_AS                          yyval36: CASE_AS
# Line 11951  if yy_parsing_status = yyContinue then Line 11997  if yy_parsing_status = yyContinue then
11997  end  end
11998                  end                  end
11999    
12000          yy_do_action_278 is          yy_do_action_280 is
12001                          --|#line <not available> "eiffel.y"                          --|#line <not available> "eiffel.y"
12002                  local                  local
12003                          yyval104: EIFFEL_LIST [INTERVAL_AS]                          yyval104: EIFFEL_LIST [INTERVAL_AS]
# Line 11990  if yy_parsing_status = yyContinue then Line 12036  if yy_parsing_status = yyContinue then
12036  end  end
12037                  end                  end
12038    
12039          yy_do_action_279 is          yy_do_action_281 is
12040                          --|#line <not available> "eiffel.y"                          --|#line <not available> "eiffel.y"
12041                  local                  local
12042                          yyval104: EIFFEL_LIST [INTERVAL_AS]                          yyval104: EIFFEL_LIST [INTERVAL_AS]
# Line 12015  if yy_parsing_status = yyContinue then Line 12061  if yy_parsing_status = yyContinue then
12061  end  end
12062                  end                  end
12063    
12064          yy_do_action_280 is          yy_do_action_282 is
12065                          --|#line <not available> "eiffel.y"                          --|#line <not available> "eiffel.y"
12066                  local                  local
12067                          yyval61: INTERVAL_AS                          yyval61: INTERVAL_AS
# Line 12050  if yy_parsing_status = yyContinue then Line 12096  if yy_parsing_status = yyContinue then
12096  end  end
12097                  end                  end
12098    
12099          yy_do_action_281 is          yy_do_action_283 is
12100                          --|#line <not available> "eiffel.y"                          --|#line <not available> "eiffel.y"
12101                  local                  local
12102                          yyval61: INTERVAL_AS                          yyval61: INTERVAL_AS
# Line 12086  if yy_parsing_status = yyContinue then Line 12132  if yy_parsing_status = yyContinue then
12132  end  end
12133                  end                  end
12134    
12135          yy_do_action_282 is          yy_do_action_284 is
12136                          --|#line <not available> "eiffel.y"                          --|#line <not available> "eiffel.y"
12137                  local                  local
12138                          yyval61: INTERVAL_AS                          yyval61: INTERVAL_AS
# Line 12121  if yy_parsing_status = yyContinue then Line 12167  if yy_parsing_status = yyContinue then
12167  end  end
12168                  end                  end
12169    
12170          yy_do_action_283 is          yy_do_action_285 is
12171                          --|#line <not available> "eiffel.y"                          --|#line <not available> "eiffel.y"
12172                  local                  local
12173                          yyval61: INTERVAL_AS                          yyval61: INTERVAL_AS
# Line 12157  if yy_parsing_status = yyContinue then Line 12203  if yy_parsing_status = yyContinue then
12203  end  end
12204                  end                  end
12205    
12206          yy_do_action_284 is          yy_do_action_286 is
12207                          --|#line <not available> "eiffel.y"                          --|#line <not available> "eiffel.y"
12208                  local                  local
12209                          yyval61: INTERVAL_AS                          yyval61: INTERVAL_AS
# Line 12192  if yy_parsing_status = yyContinue then Line 12238  if yy_parsing_status = yyContinue then
12238  end  end
12239                  end                  end
12240    
12241          yy_do_action_285 is          yy_do_action_287 is
12242                          --|#line <not available> "eiffel.y"                          --|#line <not available> "eiffel.y"
12243                  local                  local
12244                          yyval61: INTERVAL_AS                          yyval61: INTERVAL_AS
# Line 12228  if yy_parsing_status = yyContinue then Line 12274  if yy_parsing_status = yyContinue then
12274  end  end
12275                  end                  end
12276    
12277          yy_do_action_286 is          yy_do_action_288 is
12278                          --|#line <not available> "eiffel.y"                          --|#line <not available> "eiffel.y"
12279                  local                  local
12280                          yyval61: INTERVAL_AS                          yyval61: INTERVAL_AS
# Line 12265  if yy_parsing_status = yyContinue then Line 12311  if yy_parsing_status = yyContinue then
12311  end  end
12312                  end                  end
12313    
12314          yy_do_action_287 is          yy_do_action_289 is
12315                          --|#line <not available> "eiffel.y"                          --|#line <not available> "eiffel.y"
12316                  local                  local
12317                          yyval61: INTERVAL_AS                          yyval61: INTERVAL_AS
# Line 12302  if yy_parsing_status = yyContinue then Line 12348  if yy_parsing_status = yyContinue then
12348  end  end
12349                  end                  end
12350    
12351          yy_do_action_288 is          yy_do_action_290 is
12352                          --|#line <not available> "eiffel.y"                          --|#line <not available> "eiffel.y"
12353                  local                  local
12354                          yyval61: INTERVAL_AS                          yyval61: INTERVAL_AS
# Line 12339  if yy_parsing_status = yyContinue then Line 12385  if yy_parsing_status = yyContinue then
12385  end  end
12386                  end                  end
12387    
12388          yy_do_action_289 is          yy_do_action_291 is
12389                          --|#line <not available> "eiffel.y"                          --|#line <not available> "eiffel.y"
12390                  local                  local
12391                          yyval61: INTERVAL_AS                          yyval61: INTERVAL_AS
# Line 12376  if yy_parsing_status = yyContinue then Line 12422  if yy_parsing_status = yyContinue then
12422  end  end
12423                  end                  end
12424    
12425          yy_do_action_290 is          yy_do_action_292 is
12426                          --|#line <not available> "eiffel.y"                          --|#line <not available> "eiffel.y"
12427                  local                  local
12428                          yyval61: INTERVAL_AS                          yyval61: INTERVAL_AS
# Line 12411  if yy_parsing_status = yyContinue then Line 12457  if yy_parsing_status = yyContinue then
12457  end  end
12458                  end                  end
12459    
12460          yy_do_action_291 is          yy_do_action_293 is
12461                          --|#line <not available> "eiffel.y"                          --|#line <not available> "eiffel.y"
12462                  local                  local
12463                          yyval61: INTERVAL_AS                          yyval61: INTERVAL_AS
# Line 12448  if yy_parsing_status = yyContinue then Line 12494  if yy_parsing_status = yyContinue then
12494  end  end
12495                  end                  end
12496    
12497          yy_do_action_292 is          yy_do_action_294 is
12498                          --|#line <not available> "eiffel.y"                          --|#line <not available> "eiffel.y"
12499                  local                  local
12500                          yyval61: INTERVAL_AS                          yyval61: INTERVAL_AS
# Line 12485  if yy_parsing_status = yyContinue then Line 12531  if yy_parsing_status = yyContinue then
12531  end  end
12532                  end                  end
12533    
12534          yy_do_action_293 is          yy_do_action_295 is
12535                          --|#line <not available> "eiffel.y"                          --|#line <not available> "eiffel.y"
12536                  local                  local
12537                          yyval61: INTERVAL_AS                          yyval61: INTERVAL_AS
# Line 12521  if yy_parsing_status = yyContinue then Line 12567  if yy_parsing_status = yyContinue then
12567  end  end
12568                  end                  end
12569    
12570          yy_do_action_294 is          yy_do_action_296 is
12571                          --|#line <not available> "eiffel.y"                          --|#line <not available> "eiffel.y"
12572                  local                  local
12573                          yyval61: INTERVAL_AS                          yyval61: INTERVAL_AS
# Line 12558  if yy_parsing_status = yyContinue then Line 12604  if yy_parsing_status = yyContinue then
12604  end  end
12605                  end                  end
12606    
12607          yy_do_action_295 is          yy_do_action_297 is
12608                          --|#line <not available> "eiffel.y"                          --|#line <not available> "eiffel.y"
12609                  local                  local
12610                          yyval61: INTERVAL_AS                          yyval61: INTERVAL_AS
# Line 12595  if yy_parsing_status = yyContinue then Line 12641  if yy_parsing_status = yyContinue then
12641  end  end
12642                  end                  end
12643    
12644          yy_do_action_296 is          yy_do_action_298 is
12645                          --|#line <not available> "eiffel.y"                          --|#line <not available> "eiffel.y"
12646                  local                  local
12647                          yyval61: INTERVAL_AS                          yyval61: INTERVAL_AS
# Line 12632  if yy_parsing_status = yyContinue then Line 12678  if yy_parsing_status = yyContinue then
12678  end  end
12679                  end                  end
12680    
12681          yy_do_action_297 is          yy_do_action_299 is
12682                          --|#line <not available> "eiffel.y"                          --|#line <not available> "eiffel.y"
12683                  local                  local
12684                          yyval61: INTERVAL_AS                          yyval61: INTERVAL_AS
# Line 12669  if yy_parsing_status = yyContinue then Line 12715  if yy_parsing_status = yyContinue then
12715  end  end
12716                  end                  end
12717    
12718          yy_do_action_298 is          yy_do_action_300 is
12719                          --|#line <not available> "eiffel.y"                          --|#line <not available> "eiffel.y"
12720                  local                  local
12721                          yyval63: LOOP_AS                          yyval63: LOOP_AS
# Line 12713  if yy_parsing_status = yyContinue then Line 12759  if yy_parsing_status = yyContinue then
12759  end  end
12760                  end                  end
12761    
12762          yy_do_action_299 is          yy_do_action_301 is
12763                          --|#line <not available> "eiffel.y"                          --|#line <not available> "eiffel.y"
12764                  local                  local
12765                          yyval23: PAIR [KEYWORD_AS, EIFFEL_LIST [TAGGED_AS]]                          yyval23: PAIR [KEYWORD_AS, EIFFEL_LIST [TAGGED_AS]]
# Line 12747  if yy_parsing_status = yyContinue then Line 12793  if yy_parsing_status = yyContinue then
12793  end  end
12794                  end                  end
12795    
12796          yy_do_action_300 is          yy_do_action_302 is
12797                          --|#line <not available> "eiffel.y"                          --|#line <not available> "eiffel.y"
12798                  local                  local
12799                          yyval23: PAIR [KEYWORD_AS, EIFFEL_LIST [TAGGED_AS]]                          yyval23: PAIR [KEYWORD_AS, EIFFEL_LIST [TAGGED_AS]]
# Line 12783  if yy_parsing_status = yyContinue then Line 12829  if yy_parsing_status = yyContinue then
12829  end  end
12830                  end                  end
12831    
12832          yy_do_action_301 is          yy_do_action_303 is
12833                          --|#line <not available> "eiffel.y"                          --|#line <not available> "eiffel.y"
12834                  local                  local
12835                          yyval62: INVARIANT_AS                          yyval62: INVARIANT_AS
# Line 12817  if yy_parsing_status = yyContinue then Line 12863  if yy_parsing_status = yyContinue then
12863  end  end
12864                  end                  end
12865    
12866          yy_do_action_302 is          yy_do_action_304 is
12867                          --|#line <not available> "eiffel.y"                          --|#line <not available> "eiffel.y"
12868                  local                  local
12869                          yyval62: INVARIANT_AS                          yyval62: INVARIANT_AS
# Line 12839  if yy_parsing_status = yyContinue then Line 12885  if yy_parsing_status = yyContinue then
12885  end  end
12886                  end                  end
12887    
12888          yy_do_action_303 is          yy_do_action_305 is
12889                          --|#line <not available> "eiffel.y"                          --|#line <not available> "eiffel.y"
12890                  local                  local
12891                          yyval62: INVARIANT_AS                          yyval62: INVARIANT_AS
# Line 12873  if yy_parsing_status = yyContinue then Line 12919  if yy_parsing_status = yyContinue then
12919  end  end
12920                  end                  end
12921    
12922          yy_do_action_304 is          yy_do_action_306 is
12923                          --|#line <not available> "eiffel.y"                          --|#line <not available> "eiffel.y"
12924                  local                  local
12925                          yyval83: VARIANT_AS                          yyval83: VARIANT_AS
# Line 12907  if yy_parsing_status = yyContinue then Line 12953  if yy_parsing_status = yyContinue then
12953  end  end
12954                  end                  end
12955    
12956          yy_do_action_305 is          yy_do_action_307 is
12957                          --|#line <not available> "eiffel.y"                          --|#line <not available> "eiffel.y"
12958                  local                  local
12959                          yyval83: VARIANT_AS                          yyval83: VARIANT_AS
# Line 12945  if yy_parsing_status = yyContinue then Line 12991  if yy_parsing_status = yyContinue then
12991  end  end
12992                  end                  end
12993    
12994          yy_do_action_306 is          yy_do_action_308 is
12995                          --|#line <not available> "eiffel.y"                          --|#line <not available> "eiffel.y"
12996                  local                  local
12997                          yyval83: VARIANT_AS                          yyval83: VARIANT_AS
# Line 12981  if yy_parsing_status = yyContinue then Line 13027  if yy_parsing_status = yyContinue then
13027  end  end
13028                  end                  end
13029    
13030          yy_do_action_307 is          yy_do_action_309 is
13031                          --|#line <not available> "eiffel.y"                          --|#line <not available> "eiffel.y"
13032                  local                  local
13033                          yyval44: DEBUG_AS                          yyval44: DEBUG_AS
# Line 13018  if yy_parsing_status = yyContinue then Line 13064  if yy_parsing_status = yyContinue then
13064  end  end
13065                  end                  end
13066    
13067          yy_do_action_308 is          yy_do_action_310 is
13068                          --|#line <not available> "eiffel.y"                          --|#line <not available> "eiffel.y"
13069                  local                  local
13070                          yyval111: DEBUG_KEY_LIST_AS                          yyval111: DEBUG_KEY_LIST_AS
# Line 13052  if yy_parsing_status = yyContinue then Line 13098  if yy_parsing_status = yyContinue then
13098  end  end
13099                  end                  end
13100    
13101          yy_do_action_309 is          yy_do_action_311 is
13102                          --|#line <not available> "eiffel.y"                          --|#line <not available> "eiffel.y"
13103                  local                  local
13104                          yyval111: DEBUG_KEY_LIST_AS                          yyval111: DEBUG_KEY_LIST_AS
# Line 13087  if yy_parsing_status = yyContinue then Line 13133  if yy_parsing_status = yyContinue then
13133  end  end
13134                  end                  end
13135    
13136          yy_do_action_310 is          yy_do_action_312 is
13137                          --|#line <not available> "eiffel.y"                          --|#line <not available> "eiffel.y"
13138                  local                  local
13139                          yyval111: DEBUG_KEY_LIST_AS                          yyval111: DEBUG_KEY_LIST_AS
# Line 13124  if yy_parsing_status = yyContinue then Line 13170  if yy_parsing_status = yyContinue then
13170  end  end
13171                  end                  end
13172    
13173          yy_do_action_311 is          yy_do_action_313 is
13174                          --|#line <not available> "eiffel.y"                          --|#line <not available> "eiffel.y"
13175                  local                  local
13176                          yyval110: EIFFEL_LIST [STRING_AS]                          yyval110: EIFFEL_LIST [STRING_AS]
# Line 13163  if yy_parsing_status = yyContinue then Line 13209  if yy_parsing_status = yyContinue then
13209  end  end
13210                  end                  end
13211    
13212          yy_do_action_312 is          yy_do_action_314 is
13213                          --|#line <not available> "eiffel.y"                          --|#line <not available> "eiffel.y"
13214                  local                  local
13215                          yyval110: EIFFEL_LIST [STRING_AS]                          yyval110: EIFFEL_LIST [STRING_AS]
# Line 13188  if yy_parsing_status = yyContinue then Line 13234  if yy_parsing_status = yyContinue then
13234  end  end
13235                  end                  end
13236    
13237          yy_do_action_313 is          yy_do_action_315 is
13238                          --|#line <not available> "eiffel.y"                          --|#line <not available> "eiffel.y"
13239                  local                  local
13240                          yyval16: PAIR [KEYWORD_AS, EIFFEL_LIST [INSTRUCTION_AS]]                          yyval16: PAIR [KEYWORD_AS, EIFFEL_LIST [INSTRUCTION_AS]]
# Line 13222  if yy_parsing_status = yyContinue then Line 13268  if yy_parsing_status = yyContinue then
13268  end  end
13269                  end                  end
13270    
13271          yy_do_action_314 is          yy_do_action_316 is
13272                          --|#line <not available> "eiffel.y"                          --|#line <not available> "eiffel.y"
13273                  local                  local
13274                          yyval16: PAIR [KEYWORD_AS, EIFFEL_LIST [INSTRUCTION_AS]]                          yyval16: PAIR [KEYWORD_AS, EIFFEL_LIST [INSTRUCTION_AS]]
# Line 13263  if yy_parsing_status = yyContinue then Line 13309  if yy_parsing_status = yyContinue then
13309  end  end
13310                  end                  end
13311    
13312          yy_do_action_315 is          yy_do_action_317 is
13313                          --|#line <not available> "eiffel.y"                          --|#line <not available> "eiffel.y"
13314                  local                  local
13315                          yyval48: EXPR_AS                          yyval48: EXPR_AS
# Line 13298  if yy_parsing_status = yyContinue then Line 13344  if yy_parsing_status = yyContinue then
13344  end  end
13345                  end                  end
13346    
13347          yy_do_action_316 is          yy_do_action_318 is
13348                          --|#line <not available> "eiffel.y"                          --|#line <not available> "eiffel.y"
13349                  local                  local
13350                          yyval48: EXPR_AS                          yyval48: EXPR_AS
# Line 13315  if yy_parsing_status = yyContinue then Line 13361  if yy_parsing_status = yyContinue then
13361  end  end
13362                  end                  end
13363    
13364          yy_do_action_317 is          yy_do_action_319 is
13365                          --|#line <not available> "eiffel.y"                          --|#line <not available> "eiffel.y"
13366                  local                  local
13367                          yyval48: EXPR_AS                          yyval48: EXPR_AS
# Line 13350  if yy_parsing_status = yyContinue then Line 13396  if yy_parsing_status = yyContinue then
13396  end  end
13397                  end                  end
13398    
13399          yy_do_action_318 is          yy_do_action_320 is
13400                          --|#line <not available> "eiffel.y"                          --|#line <not available> "eiffel.y"
13401                  local                  local
13402                          yyval48: EXPR_AS                          yyval48: EXPR_AS
# Line 13385  if yy_parsing_status = yyContinue then Line 13431  if yy_parsing_status = yyContinue then
13431  end  end
13432                  end                  end
13433    
13434          yy_do_action_319 is          yy_do_action_321 is
13435                          --|#line <not available> "eiffel.y"                          --|#line <not available> "eiffel.y"
13436                  local                  local
13437                          yyval30: ASSIGNER_CALL_AS                          yyval30: ASSIGNER_CALL_AS
# Line 13421  if yy_parsing_status = yyContinue then Line 13467  if yy_parsing_status = yyContinue then
13467  end  end
13468                  end                  end
13469    
13470          yy_do_action_320 is          yy_do_action_322 is
13471                          --|#line <not available> "eiffel.y"                          --|#line <not available> "eiffel.y"
13472                  local                  local
13473                          yyval29: ASSIGN_AS                          yyval29: ASSIGN_AS
# Line 13458  if yy_parsing_status = yyContinue then Line 13504  if yy_parsing_status = yyContinue then
13504  end  end
13505                  end                  end
13506    
13507          yy_do_action_321 is          yy_do_action_323 is
13508                          --|#line <not available> "eiffel.y"                          --|#line <not available> "eiffel.y"
13509                  local                  local
13510                          yyval29: ASSIGN_AS                          yyval29: ASSIGN_AS
# Line 13495  if yy_parsing_status = yyContinue then Line 13541  if yy_parsing_status = yyContinue then
13541  end  end
13542                  end                  end
13543    
13544          yy_do_action_322 is          yy_do_action_324 is
13545                          --|#line <not available> "eiffel.y"                          --|#line <not available> "eiffel.y"
13546                  local                  local
13547                          yyval72: REVERSE_AS                          yyval72: REVERSE_AS
# Line 13532  if yy_parsing_status = yyContinue then Line 13578  if yy_parsing_status = yyContinue then
13578  end  end
13579                  end                  end
13580    
13581          yy_do_action_323 is          yy_do_action_325 is
13582                          --|#line <not available> "eiffel.y"                          --|#line <not available> "eiffel.y"
13583                  local                  local
13584                          yyval72: REVERSE_AS                          yyval72: REVERSE_AS
# Line 13569  if yy_parsing_status = yyContinue then Line 13615  if yy_parsing_status = yyContinue then
13615  end  end
13616                  end                  end
13617    
13618          yy_do_action_324 is          yy_do_action_326 is
13619                          --|#line <not available> "eiffel.y"                          --|#line <not available> "eiffel.y"
13620                  local                  local
13621                          yyval88: EIFFEL_LIST [CREATE_AS]                          yyval88: EIFFEL_LIST [CREATE_AS]
# Line 13603  if yy_parsing_status = yyContinue then Line 13649  if yy_parsing_status = yyContinue then
13649  end  end
13650                  end                  end
13651    
13652          yy_do_action_325 is          yy_do_action_327 is
13653                          --|#line <not available> "eiffel.y"                          --|#line <not available> "eiffel.y"
13654                  local                  local
13655                          yyval88: EIFFEL_LIST [CREATE_AS]                          yyval88: EIFFEL_LIST [CREATE_AS]
# Line 13621  if yy_parsing_status = yyContinue then Line 13667  if yy_parsing_status = yyContinue then
13667  end  end
13668                  end                  end
13669    
13670          yy_do_action_326 is          yy_do_action_328 is
13671                          --|#line <not available> "eiffel.y"                          --|#line <not available> "eiffel.y"
13672                  local                  local
13673                          yyval88: EIFFEL_LIST [CREATE_AS]                          yyval88: EIFFEL_LIST [CREATE_AS]
# Line 13660  if yy_parsing_status = yyContinue then Line 13706  if yy_parsing_status = yyContinue then
13706  end  end
13707                  end                  end
13708    
13709          yy_do_action_327 is          yy_do_action_329 is
13710                          --|#line <not available> "eiffel.y"                          --|#line <not available> "eiffel.y"
13711                  local                  local
13712                          yyval88: EIFFEL_LIST [CREATE_AS]                          yyval88: EIFFEL_LIST [CREATE_AS]
# Line 13683  if yy_parsing_status = yyContinue then Line 13729  if yy_parsing_status = yyContinue then
13729  end  end
13730                  end                  end
13731    
13732          yy_do_action_328 is          yy_do_action_330 is
13733                          --|#line <not available> "eiffel.y"                          --|#line <not available> "eiffel.y"
13734                  local                  local
13735                          yyval41: CREATE_AS                          yyval41: CREATE_AS
# Line 13719  if yy_parsing_status = yyContinue then Line 13765  if yy_parsing_status = yyContinue then
13765  end  end
13766                  end                  end
13767    
13768          yy_do_action_329 is          yy_do_action_331 is
13769                          --|#line <not available> "eiffel.y"                          --|#line <not available> "eiffel.y"
13770                  local                  local
13771                          yyval41: CREATE_AS                          yyval41: CREATE_AS
# Line 13757  if yy_parsing_status = yyContinue then Line 13803  if yy_parsing_status = yyContinue then
13803  end  end
13804                  end                  end
13805    
13806          yy_do_action_330 is          yy_do_action_332 is
13807                          --|#line <not available> "eiffel.y"                          --|#line <not available> "eiffel.y"
13808                  local                  local
13809                          yyval41: CREATE_AS                          yyval41: CREATE_AS
# Line 13794  if yy_parsing_status = yyContinue then Line 13840  if yy_parsing_status = yyContinue then
13840  end  end
13841                  end                  end
13842    
13843          yy_do_action_331 is          yy_do_action_333 is
13844                          --|#line <not available> "eiffel.y"                          --|#line <not available> "eiffel.y"
13845                  local                  local
13846                          yyval41: CREATE_AS                          yyval41: CREATE_AS
# Line 13835  if yy_parsing_status = yyContinue then Line 13881  if yy_parsing_status = yyContinue then
13881  end  end
13882                  end                  end
13883    
13884          yy_do_action_332 is          yy_do_action_334 is
13885                          --|#line <not available> "eiffel.y"                          --|#line <not available> "eiffel.y"
13886                  local                  local
13887                          yyval41: CREATE_AS                          yyval41: CREATE_AS
# Line 13878  if yy_parsing_status = yyContinue then Line 13924  if yy_parsing_status = yyContinue then
13924  end  end
13925                  end                  end
13926    
13927          yy_do_action_333 is          yy_do_action_335 is
13928                          --|#line <not available> "eiffel.y"                          --|#line <not available> "eiffel.y"
13929                  local                  local
13930                          yyval41: CREATE_AS                          yyval41: CREATE_AS
# Line 13920  if yy_parsing_status = yyContinue then Line 13966  if yy_parsing_status = yyContinue then
13966  end  end
13967                  end                  end
13968    
13969          yy_do_action_334 is          yy_do_action_336 is
13970                          --|#line <not available> "eiffel.y"                          --|#line <not available> "eiffel.y"
13971                  local                  local
13972                          yyval75: ROUTINE_CREATION_AS                          yyval75: ROUTINE_CREATION_AS
# Line 13953  if yy_parsing_status = yyContinue then Line 13999  if yy_parsing_status = yyContinue then
13999  end  end
14000                  end                  end
14001    
14002          yy_do_action_335 is          yy_do_action_337 is
14003                          --|#line <not available> "eiffel.y"                          --|#line <not available> "eiffel.y"
14004                  local                  local
14005                          yyval75: ROUTINE_CREATION_AS                          yyval75: ROUTINE_CREATION_AS
# Line 13987  if yy_parsing_status = yyContinue then Line 14033  if yy_parsing_status = yyContinue then
14033  end  end
14034                  end                  end
14035    
14036          yy_do_action_336 is          yy_do_action_338 is
14037                          --|#line <not available> "eiffel.y"                          --|#line <not available> "eiffel.y"
14038                  local                  local
14039                          yyval75: ROUTINE_CREATION_AS                          yyval75: ROUTINE_CREATION_AS
# Line 14021  if yy_parsing_status = yyContinue then Line 14067  if yy_parsing_status = yyContinue then
14067  end  end
14068                  end                  end
14069    
14070          yy_do_action_337 is          yy_do_action_339 is
14071                          --|#line <not available> "eiffel.y"                          --|#line <not available> "eiffel.y"
14072                  local                  local
14073                          yyval75: ROUTINE_CREATION_AS                          yyval75: ROUTINE_CREATION_AS
# Line 14060  if yy_parsing_status = yyContinue then Line 14106  if yy_parsing_status = yyContinue then
14106  end  end
14107                  end                  end
14108    
14109          yy_do_action_338 is          yy_do_action_340 is
14110                          --|#line <not available> "eiffel.y"                          --|#line <not available> "eiffel.y"
14111                  local                  local
14112                          yyval75: ROUTINE_CREATION_AS                          yyval75: ROUTINE_CREATION_AS
# Line 14108  if yy_parsing_status = yyContinue then Line 14154  if yy_parsing_status = yyContinue then
14154  end  end
14155                  end                  end
14156    
14157          yy_do_action_339 is          yy_do_action_341 is
14158                          --|#line <not available> "eiffel.y"                          --|#line <not available> "eiffel.y"
14159                  local                  local
14160                          yyval75: ROUTINE_CREATION_AS                          yyval75: ROUTINE_CREATION_AS
# Line 14151  if yy_parsing_status = yyContinue then Line 14197  if yy_parsing_status = yyContinue then
14197  end  end
14198                  end                  end
14199    
14200          yy_do_action_340 is          yy_do_action_342 is
14201                          --|#line <not available> "eiffel.y"                          --|#line <not available> "eiffel.y"
14202                  local                  local
14203                          yyval115: FORMAL_ARGU_DEC_LIST_AS                          yyval115: FORMAL_ARGU_DEC_LIST_AS
# Line 14185  if yy_parsing_status = yyContinue then Line 14231  if yy_parsing_status = yyContinue then
14231  end  end
14232                  end                  end
14233    
14234          yy_do_action_341 is          yy_do_action_343 is
14235                          --|#line <not available> "eiffel.y"                          --|#line <not available> "eiffel.y"
14236                  local                  local
14237                          yyval115: FORMAL_ARGU_DEC_LIST_AS                          yyval115: FORMAL_ARGU_DEC_LIST_AS
# Line 14203  if yy_parsing_status = yyContinue then Line 14249  if yy_parsing_status = yyContinue then
14249  end  end
14250                  end                  end
14251    
14252          yy_do_action_342 is          yy_do_action_344 is
14253                          --|#line <not available> "eiffel.y"                          --|#line <not available> "eiffel.y"
14254                  local                  local
14255                          yyval80: PAIR [SYMBOL_AS, TYPE_AS]                          yyval80: PAIR [SYMBOL_AS, TYPE_AS]
# Line 14237  if yy_parsing_status = yyContinue then Line 14283  if yy_parsing_status = yyContinue then
14283  end  end
14284                  end                  end
14285    
14286          yy_do_action_343 is          yy_do_action_345 is
14287                          --|#line <not available> "eiffel.y"                          --|#line <not available> "eiffel.y"
14288                  local                  local
14289                          yyval80: PAIR [SYMBOL_AS, TYPE_AS]                          yyval80: PAIR [SYMBOL_AS, TYPE_AS]
# Line 14274  if yy_parsing_status = yyContinue then Line 14320  if yy_parsing_status = yyContinue then
14320  end  end
14321                  end                  end
14322    
14323          yy_do_action_344 is          yy_do_action_346 is
14324                          --|#line <not available> "eiffel.y"                          --|#line <not available> "eiffel.y"
14325                  local                  local
14326                          yyval74: ROUTINE_AS                          yyval74: ROUTINE_AS
# Line 14292  if yy_parsing_status = yyContinue then Line 14338  if yy_parsing_status = yyContinue then
14338  end  end
14339                  end                  end
14340    
14341          yy_do_action_345 is          yy_do_action_347 is
14342                          --|#line <not available> "eiffel.y"                          --|#line <not available> "eiffel.y"
14343                  local                  local
14344                          yyval77: PAIR [ROUTINE_CREATION_AS, LOCATION_AS]                          yyval77: PAIR [ROUTINE_CREATION_AS, LOCATION_AS]
# Line 14330  if yy_parsing_status = yyContinue then Line 14376  if yy_parsing_status = yyContinue then
14376  end  end
14377                  end                  end
14378    
14379          yy_do_action_346 is          yy_do_action_348 is
14380                          --|#line <not available> "eiffel.y"                          --|#line <not available> "eiffel.y"
14381                  local                  local
14382                          yyval77: PAIR [ROUTINE_CREATION_AS, LOCATION_AS]                          yyval77: PAIR [ROUTINE_CREATION_AS, LOCATION_AS]
# Line 14368  if yy_parsing_status = yyContinue then Line 14414  if yy_parsing_status = yyContinue then
14414  end  end
14415                  end                  end
14416    
14417          yy_do_action_347 is          yy_do_action_349 is
14418                          --|#line <not available> "eiffel.y"                          --|#line <not available> "eiffel.y"
14419                  local                  local
14420                          yyval77: PAIR [ROUTINE_CREATION_AS, LOCATION_AS]                          yyval77: PAIR [ROUTINE_CREATION_AS, LOCATION_AS]
# Line 14411  if yy_parsing_status = yyContinue then Line 14457  if yy_parsing_status = yyContinue then
14457  end  end
14458                  end                  end
14459    
14460          yy_do_action_348 is          yy_do_action_350 is
14461                          --|#line <not available> "eiffel.y"                          --|#line <not available> "eiffel.y"
14462                  local                  local
14463                          yyval77: PAIR [ROUTINE_CREATION_AS, LOCATION_AS]                          yyval77: PAIR [ROUTINE_CREATION_AS, LOCATION_AS]
# Line 14450  if yy_parsing_status = yyContinue then Line 14496  if yy_parsing_status = yyContinue then
14496  end  end
14497                  end                  end
14498    
14499          yy_do_action_349 is          yy_do_action_351 is
14500                          --|#line <not available> "eiffel.y"                          --|#line <not available> "eiffel.y"
14501                  local                  local
14502                          yyval77: PAIR [ROUTINE_CREATION_AS, LOCATION_AS]                          yyval77: PAIR [ROUTINE_CREATION_AS, LOCATION_AS]
# Line 14489  if yy_parsing_status = yyContinue then Line 14535  if yy_parsing_status = yyContinue then
14535  end  end
14536                  end                  end
14537    
14538          yy_do_action_350 is          yy_do_action_352 is
14539                          --|#line <not available> "eiffel.y"                          --|#line <not available> "eiffel.y"
14540                  local                  local
14541                          yyval77: PAIR [ROUTINE_CREATION_AS, LOCATION_AS]                          yyval77: PAIR [ROUTINE_CREATION_AS, LOCATION_AS]
# Line 14531  if yy_parsing_status = yyContinue then Line 14577  if yy_parsing_status = yyContinue then
14577  end  end
14578                  end                  end
14579    
14580          yy_do_action_351 is          yy_do_action_353 is
14581                          --|#line <not available> "eiffel.y"                          --|#line <not available> "eiffel.y"
14582                  local                  local
14583                          yyval77: PAIR [ROUTINE_CREATION_AS, LOCATION_AS]                          yyval77: PAIR [ROUTINE_CREATION_AS, LOCATION_AS]
# Line 14573  if yy_parsing_status = yyContinue then Line 14619  if yy_parsing_status = yyContinue then
14619  end  end
14620                  end                  end
14621    
14622          yy_do_action_352 is          yy_do_action_354 is
14623                          --|#line <not available> "eiffel.y"                          --|#line <not available> "eiffel.y"
14624                  local                  local
14625                          yyval24: AGENT_TARGET_TRIPLE                          yyval24: AGENT_TARGET_TRIPLE
# Line 14608  if yy_parsing_status = yyContinue then Line 14654  if yy_parsing_status = yyContinue then
14654  end  end
14655                  end                  end
14656    
14657          yy_do_action_353 is          yy_do_action_355 is
14658                          --|#line <not available> "eiffel.y"                          --|#line <not available> "eiffel.y"
14659                  local                  local
14660                          yyval24: AGENT_TARGET_TRIPLE                          yyval24: AGENT_TARGET_TRIPLE
# Line 14645  if yy_parsing_status = yyContinue then Line 14691  if yy_parsing_status = yyContinue then
14691  end  end
14692                  end                  end
14693    
14694          yy_do_action_354 is          yy_do_action_356 is
14695                          --|#line <not available> "eiffel.y"                          --|#line <not available> "eiffel.y"
14696                  local                  local
14697                          yyval24: AGENT_TARGET_TRIPLE                          yyval24: AGENT_TARGET_TRIPLE
# Line 14680  if yy_parsing_status = yyContinue then Line 14726  if yy_parsing_status = yyContinue then
14726  end  end
14727                  end                  end
14728    
14729          yy_do_action_355 is          yy_do_action_357 is
14730                          --|#line <not available> "eiffel.y"                          --|#line <not available> "eiffel.y"
14731                  local                  local
14732                          yyval24: AGENT_TARGET_TRIPLE                          yyval24: AGENT_TARGET_TRIPLE
# Line 14715  if yy_parsing_status = yyContinue then Line 14761  if yy_parsing_status = yyContinue then
14761  end  end
14762                  end                  end
14763    
14764          yy_do_action_356 is          yy_do_action_358 is
14765                          --|#line <not available> "eiffel.y"                          --|#line <not available> "eiffel.y"
14766                  local                  local
14767                          yyval24: AGENT_TARGET_TRIPLE                          yyval24: AGENT_TARGET_TRIPLE
# Line 14750  if yy_parsing_status = yyContinue then Line 14796  if yy_parsing_status = yyContinue then
14796  end  end
14797                  end                  end
14798    
14799          yy_do_action_357 is          yy_do_action_359 is
14800                          --|#line <not available> "eiffel.y"                          --|#line <not available> "eiffel.y"
14801                  local                  local
14802                          yyval24: AGENT_TARGET_TRIPLE                          yyval24: AGENT_TARGET_TRIPLE
# Line 14790  if yy_parsing_status = yyContinue then Line 14836  if yy_parsing_status = yyContinue then
14836  end  end
14837                  end                  end
14838    
14839          yy_do_action_358 is          yy_do_action_360 is
14840                          --|#line <not available> "eiffel.y"                          --|#line <not available> "eiffel.y"
14841                  local                  local
14842                          yyval106: DELAYED_ACTUAL_LIST_AS                          yyval106: DELAYED_ACTUAL_LIST_AS
# Line 14824  if yy_parsing_status = yyContinue then Line 14870  if yy_parsing_status = yyContinue then
14870  end  end
14871                  end                  end
14872    
14873          yy_do_action_359 is          yy_do_action_361 is
14874                          --|#line <not available> "eiffel.y"                          --|#line <not available> "eiffel.y"
14875                  local                  local
14876                          yyval106: DELAYED_ACTUAL_LIST_AS                          yyval106: DELAYED_ACTUAL_LIST_AS
# Line 14859  if yy_parsing_status = yyContinue then Line 14905  if yy_parsing_status = yyContinue then
14905  end  end
14906                  end                  end
14907    
14908          yy_do_action_360 is          yy_do_action_362 is
14909                          --|#line <not available> "eiffel.y"                          --|#line <not available> "eiffel.y"
14910                  local                  local
14911                          yyval106: DELAYED_ACTUAL_LIST_AS                          yyval106: DELAYED_ACTUAL_LIST_AS
# Line 14896  if yy_parsing_status = yyContinue then Line 14942  if yy_parsing_status = yyContinue then
14942  end  end
14943                  end                  end
14944    
14945          yy_do_action_361 is          yy_do_action_363 is
14946                          --|#line <not available> "eiffel.y"                          --|#line <not available> "eiffel.y"
14947                  local                  local
14948                          yyval105: EIFFEL_LIST [OPERAND_AS]                          yyval105: EIFFEL_LIST [OPERAND_AS]
# Line 14935  if yy_parsing_status = yyContinue then Line 14981  if yy_parsing_status = yyContinue then
14981  end  end
14982                  end                  end
14983    
14984          yy_do_action_362 is          yy_do_action_364 is
14985                          --|#line <not available> "eiffel.y"                          --|#line <not available> "eiffel.y"
14986                  local                  local
14987                          yyval105: EIFFEL_LIST [OPERAND_AS]                          yyval105: EIFFEL_LIST [OPERAND_AS]
# Line 14960  if yy_parsing_status = yyContinue then Line 15006  if yy_parsing_status = yyContinue then
15006  end  end
15007                  end                  end
15008    
15009          yy_do_action_363 is          yy_do_action_365 is
15010                          --|#line <not available> "eiffel.y"                          --|#line <not available> "eiffel.y"
15011                  local                  local
15012                          yyval65: OPERAND_AS                          yyval65: OPERAND_AS
# Line 14999  if yy_parsing_status = yyContinue then Line 15045  if yy_parsing_status = yyContinue then
15045  end  end
15046                  end                  end
15047    
15048          yy_do_action_364 is          yy_do_action_366 is
15049                          --|#line <not available> "eiffel.y"                          --|#line <not available> "eiffel.y"
15050                  local                  local
15051                          yyval65: OPERAND_AS                          yyval65: OPERAND_AS
# Line 15039  if yy_parsing_status = yyContinue then Line 15085  if yy_parsing_status = yyContinue then
15085  end  end
15086                  end                  end
15087    
15088          yy_do_action_365 is          yy_do_action_367 is
15089                          --|#line <not available> "eiffel.y"                          --|#line <not available> "eiffel.y"
15090                  local                  local
15091                          yyval65: OPERAND_AS                          yyval65: OPERAND_AS
# Line 15074  if yy_parsing_status = yyContinue then Line 15120  if yy_parsing_status = yyContinue then
15120  end  end
15121                  end                  end
15122    
15123          yy_do_action_366 is          yy_do_action_368 is
15124                          --|#line <not available> "eiffel.y"                          --|#line <not available> "eiffel.y"
15125                  local                  local
15126                          yyval42: CREATION_AS                          yyval42: CREATION_AS
# Line 15117  if yy_parsing_status = yyContinue then Line 15163  if yy_parsing_status = yyContinue then
15163  end  end
15164                  end                  end
15165    
15166          yy_do_action_367 is          yy_do_action_369 is
15167                          --|#line <not available> "eiffel.y"                          --|#line <not available> "eiffel.y"
15168                  local                  local
15169                          yyval42: CREATION_AS                          yyval42: CREATION_AS
# Line 15161  if yy_parsing_status = yyContinue then Line 15207  if yy_parsing_status = yyContinue then
15207  end  end
15208                  end                  end
15209    
15210          yy_do_action_368 is          yy_do_action_370 is
15211                          --|#line <not available> "eiffel.y"                          --|#line <not available> "eiffel.y"
15212                  local                  local
15213                          yyval42: CREATION_AS                          yyval42: CREATION_AS
# Line 15198  if yy_parsing_status = yyContinue then Line 15244  if yy_parsing_status = yyContinue then
15244  end  end
15245                  end                  end
15246    
15247          yy_do_action_369 is          yy_do_action_371 is
15248                          --|#line <not available> "eiffel.y"                          --|#line <not available> "eiffel.y"
15249                  local                  local
15250                          yyval42: CREATION_AS                          yyval42: CREATION_AS
# Line 15236  if yy_parsing_status = yyContinue then Line 15282  if yy_parsing_status = yyContinue then
15282  end  end
15283                  end                  end
15284    
15285          yy_do_action_370 is          yy_do_action_372 is
15286                          --|#line <not available> "eiffel.y"                          --|#line <not available> "eiffel.y"
15287                  local                  local
15288                          yyval43: CREATION_EXPR_AS                          yyval43: CREATION_EXPR_AS
# Line 15273  if yy_parsing_status = yyContinue then Line 15319  if yy_parsing_status = yyContinue then
15319  end  end
15320                  end                  end
15321    
15322          yy_do_action_371 is          yy_do_action_373 is
15323                          --|#line <not available> "eiffel.y"                          --|#line <not available> "eiffel.y"
15324                  local                  local
15325                          yyval43: CREATION_EXPR_AS                          yyval43: CREATION_EXPR_AS
# Line 15316  if yy_parsing_status = yyContinue then Line 15362  if yy_parsing_status = yyContinue then
15362  end  end
15363                  end                  end
15364    
15365          yy_do_action_372 is          yy_do_action_374 is
15366                          --|#line <not available> "eiffel.y"                          --|#line <not available> "eiffel.y"
15367                  local                  local
15368                          yyval25: ACCESS_AS                          yyval25: ACCESS_AS
# Line 15351  if yy_parsing_status = yyContinue then Line 15397  if yy_parsing_status = yyContinue then
15397  end  end
15398                  end                  end
15399    
15400          yy_do_action_373 is          yy_do_action_375 is
15401                          --|#line <not available> "eiffel.y"                          --|#line <not available> "eiffel.y"
15402                  local                  local
15403                          yyval25: ACCESS_AS                          yyval25: ACCESS_AS
# Line 15386  if yy_parsing_status = yyContinue then Line 15432  if yy_parsing_status = yyContinue then
15432  end  end
15433                  end                  end
15434    
15435          yy_do_action_374 is          yy_do_action_376 is
15436                          --|#line <not available> "eiffel.y"                          --|#line <not available> "eiffel.y"
15437                  local                  local
15438                          yyval27: ACCESS_INV_AS                          yyval27: ACCESS_INV_AS
# Line 15420  if yy_parsing_status = yyContinue then Line 15466  if yy_parsing_status = yyContinue then
15466  end  end
15467                  end                  end
15468    
15469          yy_do_action_375 is          yy_do_action_377 is
15470                          --|#line <not available> "eiffel.y"                          --|#line <not available> "eiffel.y"
15471                  local                  local
15472                          yyval27: ACCESS_INV_AS                          yyval27: ACCESS_INV_AS
# Line 15457  if yy_parsing_status = yyContinue then Line 15503  if yy_parsing_status = yyContinue then
15503  end  end
15504                  end                  end
15505    
15506          yy_do_action_376 is          yy_do_action_378 is
15507                          --|#line <not available> "eiffel.y"                          --|#line <not available> "eiffel.y"
15508                  local                  local
15509                          yyval35: CALL_AS                          yyval35: CALL_AS
# Line 15492  if yy_parsing_status = yyContinue then Line 15538  if yy_parsing_status = yyContinue then
15538  end  end
15539                  end                  end
15540    
15541          yy_do_action_377 is          yy_do_action_379 is
15542                          --|#line <not available> "eiffel.y"                          --|#line <not available> "eiffel.y"
15543                  local                  local
15544                          yyval35: CALL_AS                          yyval35: CALL_AS
# Line 15527  if yy_parsing_status = yyContinue then Line 15573  if yy_parsing_status = yyContinue then
15573  end  end
15574                  end                  end
15575    
15576          yy_do_action_378 is          yy_do_action_380 is
15577                          --|#line <not available> "eiffel.y"                          --|#line <not available> "eiffel.y"
15578                  local                  local
15579                          yyval35: CALL_AS                          yyval35: CALL_AS
# Line 15562  if yy_parsing_status = yyContinue then Line 15608  if yy_parsing_status = yyContinue then
15608  end  end
15609                  end                  end
15610    
15611          yy_do_action_379 is          yy_do_action_381 is
15612                          --|#line <not available> "eiffel.y"                          --|#line <not available> "eiffel.y"
15613                  local                  local
15614                          yyval35: CALL_AS                          yyval35: CALL_AS
# Line 15579  if yy_parsing_status = yyContinue then Line 15625  if yy_parsing_status = yyContinue then
15625  end  end
15626                  end                  end
15627    
15628          yy_do_action_380 is          yy_do_action_382 is
15629                          --|#line <not available> "eiffel.y"                          --|#line <not available> "eiffel.y"
15630                  local                  local
15631                          yyval37: CHECK_AS                          yyval37: CHECK_AS
# Line 15615  if yy_parsing_status = yyContinue then Line 15661  if yy_parsing_status = yyContinue then
15661  end  end
15662                  end                  end
15663    
15664          yy_do_action_381 is          yy_do_action_383 is
15665                          --|#line <not available> "eiffel.y"                          --|#line <not available> "eiffel.y"
15666                  local                  local
15667                          yyval79: TYPE_AS                          yyval79: TYPE_AS
# Line 15638  if yy_parsing_status = yyContinue then Line 15684  if yy_parsing_status = yyContinue then
15684  end  end
15685                  end                  end
15686    
15687          yy_do_action_382 is          yy_do_action_384 is
15688                          --|#line <not available> "eiffel.y"                          --|#line <not available> "eiffel.y"
15689                  local                  local
15690                          yyval48: EXPR_AS                          yyval48: EXPR_AS
# Line 15673  if yy_parsing_status = yyContinue then Line 15719  if yy_parsing_status = yyContinue then
15719  end  end
15720                  end                  end
15721    
15722          yy_do_action_383 is          yy_do_action_385 is
15723                          --|#line <not available> "eiffel.y"                          --|#line <not available> "eiffel.y"
15724                  local                  local
15725                          yyval48: EXPR_AS                          yyval48: EXPR_AS
# Line 15708  if yy_parsing_status = yyContinue then Line 15754  if yy_parsing_status = yyContinue then
15754  end  end
15755                  end                  end
15756    
15757          yy_do_action_384 is          yy_do_action_386 is
15758                          --|#line <not available> "eiffel.y"                          --|#line <not available> "eiffel.y"
15759                  local                  local
15760                          yyval48: EXPR_AS                          yyval48: EXPR_AS
# Line 15725  if yy_parsing_status = yyContinue then Line 15771  if yy_parsing_status = yyContinue then
15771  end  end
15772                  end                  end
15773    
15774          yy_do_action_385 is          yy_do_action_387 is
15775                          --|#line <not available> "eiffel.y"                          --|#line <not available> "eiffel.y"
15776                  local                  local
15777                          yyval48: EXPR_AS                          yyval48: EXPR_AS
# Line 15742  if yy_parsing_status = yyContinue then Line 15788  if yy_parsing_status = yyContinue then
15788  end  end
15789                  end                  end
15790    
15791          yy_do_action_386 is          yy_do_action_388 is
15792                          --|#line <not available> "eiffel.y"                          --|#line <not available> "eiffel.y"
15793                  local                  local
15794                          yyval48: EXPR_AS                          yyval48: EXPR_AS
# Line 15761  if yy_parsing_status = yyContinue then Line 15807  if yy_parsing_status = yyContinue then
15807  end  end
15808                  end                  end
15809    
15810          yy_do_action_387 is          yy_do_action_389 is
15811                          --|#line <not available> "eiffel.y"                          --|#line <not available> "eiffel.y"
15812                  local                  local
15813                          yyval48: EXPR_AS                          yyval48: EXPR_AS
# Line 15780  if yy_parsing_status = yyContinue then Line 15826  if yy_parsing_status = yyContinue then
15826  end  end
15827                  end                  end
15828    
15829          yy_do_action_388 is          yy_do_action_390 is
15830                          --|#line <not available> "eiffel.y"                          --|#line <not available> "eiffel.y"
15831                  local                  local
15832                          yyval48: EXPR_AS                          yyval48: EXPR_AS
# Line 15815  if yy_parsing_status = yyContinue then Line 15861  if yy_parsing_status = yyContinue then
15861  end  end
15862                  end                  end
15863    
15864          yy_do_action_389 is          yy_do_action_391 is
15865                          --|#line <not available> "eiffel.y"                          --|#line <not available> "eiffel.y"
15866                  local                  local
15867                          yyval32: BINARY_AS                          yyval32: BINARY_AS
# Line 15851  if yy_parsing_status = yyContinue then Line 15897  if yy_parsing_status = yyContinue then
15897  end  end
15898                  end                  end
15899    
15900          yy_do_action_390 is          yy_do_action_392 is
15901                          --|#line <not available> "eiffel.y"                          --|#line <not available> "eiffel.y"
15902                  local                  local
15903                          yyval32: BINARY_AS                          yyval32: BINARY_AS
# Line 15887  if yy_parsing_status = yyContinue then Line 15933  if yy_parsing_status = yyContinue then
15933  end  end
15934                  end                  end
15935    
15936          yy_do_action_391 is          yy_do_action_393 is
15937                          --|#line <not available> "eiffel.y"                          --|#line <not available> "eiffel.y"
15938                  local                  local
15939                          yyval32: BINARY_AS                          yyval32: BINARY_AS
# Line 15923  if yy_parsing_status = yyContinue then Line 15969  if yy_parsing_status = yyContinue then
15969  end  end
15970                  end                  end
15971    
15972          yy_do_action_392 is          yy_do_action_394 is
15973                          --|#line <not available> "eiffel.y"                          --|#line <not available> "eiffel.y"
15974                  local                  local
15975                          yyval32: BINARY_AS                          yyval32: BINARY_AS
# Line 15959  if yy_parsing_status = yyContinue then Line 16005  if yy_parsing_status = yyContinue then
16005  end  end
16006                  end                  end
16007    
16008          yy_do_action_393 is          yy_do_action_395 is
16009                          --|#line <not available> "eiffel.y"                          --|#line <not available> "eiffel.y"
16010                  local                  local
16011                          yyval32: BINARY_AS                          yyval32: BINARY_AS
# Line 15995  if yy_parsing_status = yyContinue then Line 16041  if yy_parsing_status = yyContinue then
16041  end  end
16042                  end                  end
16043    
16044          yy_do_action_394 is          yy_do_action_396 is
16045                          --|#line <not available> "eiffel.y"                          --|#line <not available> "eiffel.y"
16046                  local                  local
16047                          yyval32: BINARY_AS                          yyval32: BINARY_AS
# Line 16031  if yy_parsing_status = yyContinue then Line 16077  if yy_parsing_status = yyContinue then
16077  end  end
16078                  end                  end
16079    
16080          yy_do_action_395 is          yy_do_action_397 is
16081                          --|#line <not available> "eiffel.y"                          --|#line <not available> "eiffel.y"
16082                  local                  local
16083                          yyval32: BINARY_AS                          yyval32: BINARY_AS
# Line 16067  if yy_parsing_status = yyContinue then Line 16113  if yy_parsing_status = yyContinue then
16113  end  end
16114                  end                  end
16115    
16116          yy_do_action_396 is          yy_do_action_398 is
16117                          --|#line <not available> "eiffel.y"                          --|#line <not available> "eiffel.y"
16118                  local                  local
16119                          yyval32: BINARY_AS                          yyval32: BINARY_AS
# Line 16103  if yy_parsing_status = yyContinue then Line 16149  if yy_parsing_status = yyContinue then
16149  end  end
16150                  end                  end
16151    
16152          yy_do_action_397 is          yy_do_action_399 is
16153                          --|#line <not available> "eiffel.y"                          --|#line <not available> "eiffel.y"
16154                  local                  local
16155                          yyval32: BINARY_AS                          yyval32: BINARY_AS
# Line 16139  if yy_parsing_status = yyContinue then Line 16185  if yy_parsing_status = yyContinue then
16185  end  end
16186                  end                  end
16187    
16188          yy_do_action_398 is          yy_do_action_400 is
16189                          --|#line <not available> "eiffel.y"                          --|#line <not available> "eiffel.y"
16190                  local                  local
16191                          yyval32: BINARY_AS                          yyval32: BINARY_AS
# Line 16175  if yy_parsing_status = yyContinue then Line 16221  if yy_parsing_status = yyContinue then
16221  end  end
16222                  end                  end
16223    
16224          yy_do_action_399 is          yy_do_action_401 is
16225                          --|#line <not available> "eiffel.y"                          --|#line <not available> "eiffel.y"
16226                  local                  local
16227                          yyval32: BINARY_AS                          yyval32: BINARY_AS
# Line 16211  if yy_parsing_status = yyContinue then Line 16257  if yy_parsing_status = yyContinue then
16257  end  end
16258                  end                  end
16259    
16260          yy_do_action_400 is          yy_do_action_402 is
16261                          --|#line <not available> "eiffel.y"                          --|#line <not available> "eiffel.y"
16262                  local                  local
16263                          yyval32: BINARY_AS                          yyval32: BINARY_AS
# Line 16247  if yy_parsing_status = yyContinue then Line 16293  if yy_parsing_status = yyContinue then
16293  end  end
16294                  end                  end
16295    
16296          yy_do_action_401 is          yy_do_action_403 is
16297                          --|#line <not available> "eiffel.y"                          --|#line <not available> "eiffel.y"
16298                  local                  local
16299                          yyval32: BINARY_AS                          yyval32: BINARY_AS
# Line 16283  if yy_parsing_status = yyContinue then Line 16329  if yy_parsing_status = yyContinue then
16329  end  end
16330                  end                  end
16331    
16332          yy_do_action_402 is          yy_do_action_404 is
16333                          --|#line <not available> "eiffel.y"                          --|#line <not available> "eiffel.y"
16334                  local                  local
16335                          yyval32: BINARY_AS                          yyval32: BINARY_AS
# Line 16319  if yy_parsing_status = yyContinue then Line 16365  if yy_parsing_status = yyContinue then
16365  end  end
16366                  end                  end
16367    
16368          yy_do_action_403 is          yy_do_action_405 is
16369                          --|#line <not available> "eiffel.y"                          --|#line <not available> "eiffel.y"
16370                  local                  local
16371                          yyval32: BINARY_AS                          yyval32: BINARY_AS
# Line 16355  if yy_parsing_status = yyContinue then Line 16401  if yy_parsing_status = yyContinue then
16401  end  end
16402                  end                  end
16403    
16404          yy_do_action_404 is          yy_do_action_406 is
16405                          --|#line <not available> "eiffel.y"                          --|#line <not available> "eiffel.y"
16406                  local                  local
16407                          yyval32: BINARY_AS                          yyval32: BINARY_AS
# Line 16391  if yy_parsing_status = yyContinue then Line 16437  if yy_parsing_status = yyContinue then
16437  end  end
16438                  end                  end
16439    
16440          yy_do_action_405 is          yy_do_action_407 is
16441                          --|#line <not available> "eiffel.y"                          --|#line <not available> "eiffel.y"
16442                  local                  local
16443                          yyval32: BINARY_AS                          yyval32: BINARY_AS
# Line 16427  if yy_parsing_status = yyContinue then Line 16473  if yy_parsing_status = yyContinue then
16473  end  end
16474                  end                  end
16475    
16476          yy_do_action_406 is          yy_do_action_408 is
16477                          --|#line <not available> "eiffel.y"                          --|#line <not available> "eiffel.y"
16478                  local                  local
16479                          yyval32: BINARY_AS                          yyval32: BINARY_AS
# Line 16463  if yy_parsing_status = yyContinue then Line 16509  if yy_parsing_status = yyContinue then
16509  end  end
16510                  end                  end
16511    
16512          yy_do_action_407 is          yy_do_action_409 is
16513                          --|#line <not available> "eiffel.y"                          --|#line <not available> "eiffel.y"
16514                  local                  local
16515                          yyval48: EXPR_AS                          yyval48: EXPR_AS
# Line 16498  if yy_parsing_status = yyContinue then Line 16544  if yy_parsing_status = yyContinue then
16544  end  end
16545                  end                  end
16546    
16547          yy_do_action_408 is          yy_do_action_410 is
16548                          --|#line <not available> "eiffel.y"                          --|#line <not available> "eiffel.y"
16549                  local                  local
16550                          yyval48: EXPR_AS                          yyval48: EXPR_AS
# Line 16533  if yy_parsing_status = yyContinue then Line 16579  if yy_parsing_status = yyContinue then
16579  end  end
16580                  end                  end
16581    
16582          yy_do_action_409 is          yy_do_action_411 is
16583                          --|#line <not available> "eiffel.y"                          --|#line <not available> "eiffel.y"
16584                  local                  local
16585                          yyval48: EXPR_AS                          yyval48: EXPR_AS
# Line 16568  if yy_parsing_status = yyContinue then Line 16614  if yy_parsing_status = yyContinue then
16614  end  end
16615                  end                  end
16616    
16617          yy_do_action_410 is          yy_do_action_412 is
16618                          --|#line <not available> "eiffel.y"                          --|#line <not available> "eiffel.y"
16619                  local                  local
16620                          yyval48: EXPR_AS                          yyval48: EXPR_AS
# Line 16586  if yy_parsing_status = yyContinue then Line 16632  if yy_parsing_status = yyContinue then
16632  end  end
16633                  end                  end
16634    
16635          yy_do_action_411 is          yy_do_action_413 is
16636                          --|#line <not available> "eiffel.y"                          --|#line <not available> "eiffel.y"
16637                  local                  local
16638                          yyval48: EXPR_AS                          yyval48: EXPR_AS
# Line 16624  if yy_parsing_status = yyContinue then Line 16670  if yy_parsing_status = yyContinue then
16670  end  end
16671                  end                  end
16672    
16673          yy_do_action_412 is          yy_do_action_414 is
16674                          --|#line <not available> "eiffel.y"                          --|#line <not available> "eiffel.y"
16675                  local                  local
16676                          yyval48: EXPR_AS                          yyval48: EXPR_AS
# Line 16660  if yy_parsing_status = yyContinue then Line 16706  if yy_parsing_status = yyContinue then
16706  end  end
16707                  end                  end
16708    
16709          yy_do_action_413 is          yy_do_action_415 is
16710                          --|#line <not available> "eiffel.y"                          --|#line <not available> "eiffel.y"
16711                  local                  local
16712                          yyval48: EXPR_AS                          yyval48: EXPR_AS
# Line 16679  if yy_parsing_status = yyContinue then Line 16725  if yy_parsing_status = yyContinue then
16725  end  end
16726                  end                  end
16727    
16728          yy_do_action_414 is          yy_do_action_416 is
16729                          --|#line <not available> "eiffel.y"                          --|#line <not available> "eiffel.y"
16730                  local                  local
16731                          yyval48: EXPR_AS                          yyval48: EXPR_AS
# Line 16716  if yy_parsing_status = yyContinue then Line 16762  if yy_parsing_status = yyContinue then
16762  end  end
16763                  end                  end
16764    
16765          yy_do_action_415 is          yy_do_action_417 is
16766                          --|#line <not available> "eiffel.y"                          --|#line <not available> "eiffel.y"
16767                  local                  local
16768                          yyval48: EXPR_AS                          yyval48: EXPR_AS
# Line 16753  if yy_parsing_status = yyContinue then Line 16799  if yy_parsing_status = yyContinue then
16799  end  end
16800                  end                  end
16801    
16802          yy_do_action_416 is          yy_do_action_418 is
16803                          --|#line <not available> "eiffel.y"                          --|#line <not available> "eiffel.y"
16804                  local                  local
16805                          yyval48: EXPR_AS                          yyval48: EXPR_AS
# Line 16770  if yy_parsing_status = yyContinue then Line 16816  if yy_parsing_status = yyContinue then
16816  end  end
16817                  end                  end
16818    
16819          yy_do_action_417 is          yy_do_action_419 is
16820                          --|#line <not available> "eiffel.y"                          --|#line <not available> "eiffel.y"
16821                  local                  local
16822                          yyval48: EXPR_AS                          yyval48: EXPR_AS
# Line 16787  if yy_parsing_status = yyContinue then Line 16833  if yy_parsing_status = yyContinue then
16833  end  end
16834                  end                  end
16835    
16836          yy_do_action_418 is          yy_do_action_420 is
16837                          --|#line <not available> "eiffel.y"                          --|#line <not available> "eiffel.y"
16838                  local                  local
16839                          yyval48: EXPR_AS                          yyval48: EXPR_AS
# Line 16807  if yy_parsing_status = yyContinue then Line 16853  if yy_parsing_status = yyContinue then
16853  end  end
16854                  end                  end
16855    
16856          yy_do_action_419 is          yy_do_action_421 is
16857                          --|#line <not available> "eiffel.y"                          --|#line <not available> "eiffel.y"
16858                  local                  local
16859                          yyval48: EXPR_AS                          yyval48: EXPR_AS
# Line 16825  if yy_parsing_status = yyContinue then Line 16871  if yy_parsing_status = yyContinue then
16871  end  end
16872                  end                  end
16873    
16874          yy_do_action_420 is          yy_do_action_422 is
16875                          --|#line <not available> "eiffel.y"                          --|#line <not available> "eiffel.y"
16876                  local                  local
16877                          yyval48: EXPR_AS                          yyval48: EXPR_AS
# Line 16843  if yy_parsing_status = yyContinue then Line 16889  if yy_parsing_status = yyContinue then
16889  end  end
16890                  end                  end
16891    
16892          yy_do_action_421 is          yy_do_action_423 is
16893                          --|#line <not available> "eiffel.y"                          --|#line <not available> "eiffel.y"
16894                  local                  local
16895                          yyval48: EXPR_AS                          yyval48: EXPR_AS
# Line 16861  if yy_parsing_status = yyContinue then Line 16907  if yy_parsing_status = yyContinue then
16907  end  end
16908                  end                  end
16909    
16910          yy_do_action_422 is          yy_do_action_424 is
16911                          --|#line <not available> "eiffel.y"                          --|#line <not available> "eiffel.y"
16912                  local                  local
16913                          yyval48: EXPR_AS                          yyval48: EXPR_AS
# Line 16879  if yy_parsing_status = yyContinue then Line 16925  if yy_parsing_status = yyContinue then
16925  end  end
16926                  end                  end
16927    
16928          yy_do_action_423 is          yy_do_action_425 is
16929                          --|#line <not available> "eiffel.y"                          --|#line <not available> "eiffel.y"
16930                  local                  local
16931                          yyval48: EXPR_AS                          yyval48: EXPR_AS
# Line 16914  if yy_parsing_status = yyContinue then Line 16960  if yy_parsing_status = yyContinue then
16960  end  end
16961                  end                  end
16962    
16963          yy_do_action_424 is          yy_do_action_426 is
16964                          --|#line <not available> "eiffel.y"                          --|#line <not available> "eiffel.y"
16965                  local                  local
16966                          yyval48: EXPR_AS                          yyval48: EXPR_AS
# Line 16949  if yy_parsing_status = yyContinue then Line 16995  if yy_parsing_status = yyContinue then
16995  end  end
16996                  end                  end
16997    
16998          yy_do_action_425 is          yy_do_action_427 is
16999                          --|#line <not available> "eiffel.y"                          --|#line <not available> "eiffel.y"
17000                  local                  local
17001                          yyval48: EXPR_AS                          yyval48: EXPR_AS
# Line 16984  if yy_parsing_status = yyContinue then Line 17030  if yy_parsing_status = yyContinue then
17030  end  end
17031                  end                  end
17032    
17033          yy_do_action_426 is          yy_do_action_428 is
17034                          --|#line <not available> "eiffel.y"                          --|#line <not available> "eiffel.y"
17035                  local                  local
17036                          yyval2: ID_AS                          yyval2: ID_AS
# Line 17005  if yy_parsing_status = yyContinue then Line 17051  if yy_parsing_status = yyContinue then
17051  end  end
17052                  end                  end
17053    
17054          yy_do_action_427 is          yy_do_action_429 is
17055                          --|#line <not available> "eiffel.y"                          --|#line <not available> "eiffel.y"
17056                  local                  local
17057                          yyval35: CALL_AS                          yyval35: CALL_AS
# Line 17024  if yy_parsing_status = yyContinue then Line 17070  if yy_parsing_status = yyContinue then
17070  end  end
17071                  end                  end
17072    
17073          yy_do_action_428 is          yy_do_action_430 is
17074                          --|#line <not available> "eiffel.y"                          --|#line <not available> "eiffel.y"
17075                  local                  local
17076                          yyval35: CALL_AS                          yyval35: CALL_AS
# Line 17043  if yy_parsing_status = yyContinue then Line 17089  if yy_parsing_status = yyContinue then
17089  end  end
17090                  end                  end
17091    
17092          yy_do_action_429 is          yy_do_action_431 is
17093                          --|#line <not available> "eiffel.y"                          --|#line <not available> "eiffel.y"
17094                  local                  local
17095                          yyval35: CALL_AS                          yyval35: CALL_AS
# Line 17062  if yy_parsing_status = yyContinue then Line 17108  if yy_parsing_status = yyContinue then
17108  end  end
17109                  end                  end
17110    
17111          yy_do_action_430 is          yy_do_action_432 is
17112                          --|#line <not available> "eiffel.y"                          --|#line <not available> "eiffel.y"
17113                  local                  local
17114                          yyval35: CALL_AS                          yyval35: CALL_AS
# Line 17081  if yy_parsing_status = yyContinue then Line 17127  if yy_parsing_status = yyContinue then
17127  end  end
17128                  end                  end
17129    
17130          yy_do_action_431 is          yy_do_action_433 is
17131                          --|#line <not available> "eiffel.y"                          --|#line <not available> "eiffel.y"
17132                  local                  local
17133                          yyval35: CALL_AS                          yyval35: CALL_AS
# Line 17102  if yy_parsing_status = yyContinue then Line 17148  if yy_parsing_status = yyContinue then
17148  end  end
17149                  end                  end
17150    
17151          yy_do_action_432 is          yy_do_action_434 is
17152                          --|#line <not available> "eiffel.y"                          --|#line <not available> "eiffel.y"
17153                  local                  local
17154                          yyval35: CALL_AS                          yyval35: CALL_AS
# Line 17121  if yy_parsing_status = yyContinue then Line 17167  if yy_parsing_status = yyContinue then
17167  end  end
17168                  end                  end
17169    
17170          yy_do_action_433 is          yy_do_action_435 is
17171                          --|#line <not available> "eiffel.y"                          --|#line <not available> "eiffel.y"
17172                  local                  local
17173                          yyval35: CALL_AS                          yyval35: CALL_AS
# Line 17140  if yy_parsing_status = yyContinue then Line 17186  if yy_parsing_status = yyContinue then
17186  end  end
17187                  end                  end
17188    
17189          yy_do_action_434 is          yy_do_action_436 is
17190                          --|#line <not available> "eiffel.y"                          --|#line <not available> "eiffel.y"
17191                  local                  local
17192                          yyval67: PRECURSOR_AS                          yyval67: PRECURSOR_AS
# Line 17176  if yy_parsing_status = yyContinue then Line 17222  if yy_parsing_status = yyContinue then
17222  end  end
17223                  end                  end
17224    
17225          yy_do_action_435 is          yy_do_action_437 is
17226                          --|#line <not available> "eiffel.y"                          --|#line <not available> "eiffel.y"
17227                  local                  local
17228                          yyval67: PRECURSOR_AS                          yyval67: PRECURSOR_AS
# Line 17220  if yy_parsing_status = yyContinue then Line 17266  if yy_parsing_status = yyContinue then
17266  end  end
17267                  end                  end
17268    
17269          yy_do_action_436 is          yy_do_action_438 is
17270                          --|#line <not available> "eiffel.y"                          --|#line <not available> "eiffel.y"
17271                  local                  local
17272                          yyval68: STATIC_ACCESS_AS                          yyval68: STATIC_ACCESS_AS
# Line 17237  if yy_parsing_status = yyContinue then Line 17283  if yy_parsing_status = yyContinue then
17283  end  end
17284                  end                  end
17285    
17286          yy_do_action_437 is          yy_do_action_439 is
17287                          --|#line <not available> "eiffel.y"                          --|#line <not available> "eiffel.y"
17288                  local                  local
17289                          yyval68: STATIC_ACCESS_AS                          yyval68: STATIC_ACCESS_AS
# Line 17254  if yy_parsing_status = yyContinue then Line 17300  if yy_parsing_status = yyContinue then
17300  end  end
17301                  end                  end
17302    
17303          yy_do_action_438 is          yy_do_action_440 is
17304                          --|#line <not available> "eiffel.y"                          --|#line <not available> "eiffel.y"
17305                  local                  local
17306                          yyval68: STATIC_ACCESS_AS                          yyval68: STATIC_ACCESS_AS
# Line 17292  if yy_parsing_status = yyContinue then Line 17338  if yy_parsing_status = yyContinue then
17338  end  end
17339                  end                  end
17340    
17341          yy_do_action_439 is          yy_do_action_441 is
17342                          --|#line <not available> "eiffel.y"                          --|#line <not available> "eiffel.y"
17343                  local                  local
17344                          yyval68: STATIC_ACCESS_AS                          yyval68: STATIC_ACCESS_AS
# Line 17342  if yy_parsing_status = yyContinue then Line 17388  if yy_parsing_status = yyContinue then
17388  end  end
17389                  end                  end
17390    
17391          yy_do_action_440 is          yy_do_action_442 is
17392                          --|#line <not available> "eiffel.y"                          --|#line <not available> "eiffel.y"
17393                  local                  local
17394                          yyval35: CALL_AS                          yyval35: CALL_AS
# Line 17377  if yy_parsing_status = yyContinue then Line 17423  if yy_parsing_status = yyContinue then
17423  end  end
17424                  end                  end
17425    
17426          yy_do_action_441 is          yy_do_action_443 is
17427                          --|#line <not available> "eiffel.y"                          --|#line <not available> "eiffel.y"
17428                  local                  local
17429                          yyval35: CALL_AS                          yyval35: CALL_AS
# Line 17412  if yy_parsing_status = yyContinue then Line 17458  if yy_parsing_status = yyContinue then
17458  end  end
17459                  end                  end
17460    
17461          yy_do_action_442 is          yy_do_action_444 is
17462                          --|#line <not available> "eiffel.y"                          --|#line <not available> "eiffel.y"
17463                  local                  local
17464                          yyval64: NESTED_AS                          yyval64: NESTED_AS
# Line 17448  if yy_parsing_status = yyContinue then Line 17494  if yy_parsing_status = yyContinue then
17494  end  end
17495                  end                  end
17496    
17497          yy_do_action_443 is          yy_do_action_445 is
17498                          --|#line <not available> "eiffel.y"                          --|#line <not available> "eiffel.y"
17499                  local                  local
17500                          yyval64: NESTED_AS                          yyval64: NESTED_AS
# Line 17467  if yy_parsing_status = yyContinue then Line 17513  if yy_parsing_status = yyContinue then
17513  end  end
17514                  end                  end
17515    
17516          yy_do_action_444 is          yy_do_action_446 is
17517                          --|#line <not available> "eiffel.y"                          --|#line <not available> "eiffel.y"
17518                  local                  local
17519                          yyval2: ID_AS                          yyval2: ID_AS
# Line 17484  if yy_parsing_status = yyContinue then Line 17530  if yy_parsing_status = yyContinue then
17530  end  end
17531                  end                  end
17532    
17533          yy_do_action_445 is          yy_do_action_447 is
17534                          --|#line <not available> "eiffel.y"                          --|#line <not available> "eiffel.y"
17535                  local                  local
17536                          yyval2: ID_AS                          yyval2: ID_AS
# Line 17522  if yy_parsing_status = yyContinue then Line 17568  if yy_parsing_status = yyContinue then
17568  end  end
17569                  end                  end
17570    
17571          yy_do_action_446 is          yy_do_action_448 is
17572                          --|#line <not available> "eiffel.y"                          --|#line <not available> "eiffel.y"
17573                  local                  local
17574                          yyval2: ID_AS                          yyval2: ID_AS
# Line 17560  if yy_parsing_status = yyContinue then Line 17606  if yy_parsing_status = yyContinue then
17606  end  end
17607                  end                  end
17608    
17609          yy_do_action_447 is          yy_do_action_449 is
17610                          --|#line <not available> "eiffel.y"                          --|#line <not available> "eiffel.y"
17611                  local                  local
17612                          yyval25: ACCESS_AS                          yyval25: ACCESS_AS
# Line 17604  if yy_parsing_status = yyContinue then Line 17650  if yy_parsing_status = yyContinue then
17650  end  end
17651                  end                  end
17652    
17653          yy_do_action_448 is          yy_do_action_450 is
17654                          --|#line <not available> "eiffel.y"                          --|#line <not available> "eiffel.y"
17655                  local                  local
17656                          yyval26: ACCESS_FEAT_AS                          yyval26: ACCESS_FEAT_AS
# Line 17640  if yy_parsing_status = yyContinue then Line 17686  if yy_parsing_status = yyContinue then
17686  end  end
17687                  end                  end
17688    
17689          yy_do_action_449 is          yy_do_action_451 is
17690                          --|#line <not available> "eiffel.y"                          --|#line <not available> "eiffel.y"
17691                  local                  local
17692                          yyval48: EXPR_AS                          yyval48: EXPR_AS
# Line 17675  if yy_parsing_status = yyContinue then Line 17721  if yy_parsing_status = yyContinue then
17721  end  end
17722                  end                  end
17723    
17724          yy_do_action_450 is          yy_do_action_452 is
17725                          --|#line <not available> "eiffel.y"                          --|#line <not available> "eiffel.y"
17726                  local                  local
17727                          yyval48: EXPR_AS                          yyval48: EXPR_AS
# Line 17710  if yy_parsing_status = yyContinue then Line 17756  if yy_parsing_status = yyContinue then
17756  end  end
17757                  end                  end
17758    
17759          yy_do_action_451 is          yy_do_action_453 is
17760                          --|#line <not available> "eiffel.y"                          --|#line <not available> "eiffel.y"
17761                  local                  local
17762                          yyval48: EXPR_AS                          yyval48: EXPR_AS
# Line 17745  if yy_parsing_status = yyContinue then Line 17791  if yy_parsing_status = yyContinue then
17791  end  end
17792                  end                  end
17793    
17794          yy_do_action_452 is          yy_do_action_454 is
17795                          --|#line <not available> "eiffel.y"                          --|#line <not available> "eiffel.y"
17796                  local                  local
17797                          yyval48: EXPR_AS                          yyval48: EXPR_AS
# Line 17780  if yy_parsing_status = yyContinue then Line 17826  if yy_parsing_status = yyContinue then
17826  end  end
17827                  end                  end
17828    
17829          yy_do_action_453 is          yy_do_action_455 is
17830                          --|#line <not available> "eiffel.y"                          --|#line <not available> "eiffel.y"
17831                  local                  local
17832                          yyval48: EXPR_AS                          yyval48: EXPR_AS
# Line 17815  if yy_parsing_status = yyContinue then Line 17861  if yy_parsing_status = yyContinue then
17861  end  end
17862                  end                  end
17863    
17864          yy_do_action_454 is          yy_do_action_456 is
17865                          --|#line <not available> "eiffel.y"                          --|#line <not available> "eiffel.y"
17866                  local                  local
17867                          yyval48: EXPR_AS                          yyval48: EXPR_AS
# Line 17850  if yy_parsing_status = yyContinue then Line 17896  if yy_parsing_status = yyContinue then
17896  end  end
17897                  end                  end
17898    
17899          yy_do_action_455 is          yy_do_action_457 is
17900                          --|#line <not available> "eiffel.y"                          --|#line <not available> "eiffel.y"
17901                  local                  local
17902                          yyval48: EXPR_AS                          yyval48: EXPR_AS
# Line 17868  if yy_parsing_status = yyContinue then Line 17914  if yy_parsing_status = yyContinue then
17914  end  end
17915                  end                  end
17916    
17917          yy_do_action_456 is          yy_do_action_458 is
17918                          --|#line <not available> "eiffel.y"                          --|#line <not available> "eiffel.y"
17919                  local                  local
17920                          yyval93: PARAMETER_LIST_AS                          yyval93: PARAMETER_LIST_AS
# Line 17902  if yy_parsing_status = yyContinue then Line 17948  if yy_parsing_status = yyContinue then
17948  end  end
17949                  end                  end
17950    
17951          yy_do_action_457 is          yy_do_action_459 is
17952                          --|#line <not available> "eiffel.y"                          --|#line <not available> "eiffel.y"
17953                  local                  local
17954                          yyval93: PARAMETER_LIST_AS                          yyval93: PARAMETER_LIST_AS
# Line 17937  if yy_parsing_status = yyContinue then Line 17983  if yy_parsing_status = yyContinue then
17983  end  end
17984                  end                  end
17985    
17986          yy_do_action_458 is          yy_do_action_460 is
17987                          --|#line <not available> "eiffel.y"                          --|#line <not available> "eiffel.y"
17988                  local                  local
17989                          yyval93: PARAMETER_LIST_AS                          yyval93: PARAMETER_LIST_AS
# Line 17974  if yy_parsing_status = yyContinue then Line 18020  if yy_parsing_status = yyContinue then
18020  end  end
18021                  end                  end
18022    
18023          yy_do_action_459 is          yy_do_action_461 is
18024                          --|#line <not available> "eiffel.y"                          --|#line <not available> "eiffel.y"
18025                  local                  local
18026                          yyval92: EIFFEL_LIST [EXPR_AS]                          yyval92: EIFFEL_LIST [EXPR_AS]
# Line 18013  if yy_parsing_status = yyContinue then Line 18059  if yy_parsing_status = yyContinue then
18059  end  end
18060                  end                  end
18061    
18062          yy_do_action_460 is          yy_do_action_462 is
18063                          --|#line <not available> "eiffel.y"                          --|#line <not available> "eiffel.y"
18064                  local                  local
18065                          yyval92: EIFFEL_LIST [EXPR_AS]                          yyval92: EIFFEL_LIST [EXPR_AS]
# Line 18038  if yy_parsing_status = yyContinue then Line 18084  if yy_parsing_status = yyContinue then
18084  end  end
18085                  end                  end
18086    
18087          yy_do_action_461 is          yy_do_action_463 is
18088                          --|#line <not available> "eiffel.y"                          --|#line <not available> "eiffel.y"
18089                  local                  local
18090                          yyval2: ID_AS                          yyval2: ID_AS
# Line 18059  if yy_parsing_status = yyContinue then Line 18105  if yy_parsing_status = yyContinue then
18105  end  end
18106                  end                  end
18107    
18108          yy_do_action_462 is          yy_do_action_464 is
18109                          --|#line <not available> "eiffel.y"                          --|#line <not available> "eiffel.y"
18110                  local                  local
18111                          yyval2: ID_AS                          yyval2: ID_AS
# Line 18077  if yy_parsing_status = yyContinue then Line 18123  if yy_parsing_status = yyContinue then
18123  end  end
18124                  end                  end
18125    
18126          yy_do_action_463 is          yy_do_action_465 is
18127                          --|#line <not available> "eiffel.y"                          --|#line <not available> "eiffel.y"
18128                  local                  local
18129                          yyval2: ID_AS                          yyval2: ID_AS
# Line 18098  if yy_parsing_status = yyContinue then Line 18144  if yy_parsing_status = yyContinue then
18144  end  end
18145                  end                  end
18146    
18147          yy_do_action_464 is          yy_do_action_466 is
18148                          --|#line <not available> "eiffel.y"                          --|#line <not available> "eiffel.y"
18149                  local                  local
18150                          yyval2: ID_AS                          yyval2: ID_AS
# Line 18145  if yy_parsing_status = yyContinue then Line 18191  if yy_parsing_status = yyContinue then
18191  end  end
18192                  end                  end
18193    
18194          yy_do_action_465 is          yy_do_action_467 is
18195                          --|#line <not available> "eiffel.y"                          --|#line <not available> "eiffel.y"
18196                  local                  local
18197                          yyval2: ID_AS                          yyval2: ID_AS
# Line 18166  if yy_parsing_status = yyContinue then Line 18212  if yy_parsing_status = yyContinue then
18212  end  end
18213                  end                  end
18214    
18215          yy_do_action_466 is          yy_do_action_468 is
18216                          --|#line <not available> "eiffel.y"                          --|#line <not available> "eiffel.y"
18217                  local                  local
18218                          yyval2: ID_AS                          yyval2: ID_AS
# Line 18187  if yy_parsing_status = yyContinue then Line 18233  if yy_parsing_status = yyContinue then
18233  end  end
18234                  end                  end
18235    
18236          yy_do_action_467 is          yy_do_action_469 is
18237                          --|#line <not available> "eiffel.y"                          --|#line <not available> "eiffel.y"
18238                  local                  local
18239                          yyval2: ID_AS                          yyval2: ID_AS
# Line 18233  if yy_parsing_status = yyContinue then Line 18279  if yy_parsing_status = yyContinue then
18279  end  end
18280                  end                  end
18281    
18282          yy_do_action_468 is          yy_do_action_470 is
18283                          --|#line <not available> "eiffel.y"                          --|#line <not available> "eiffel.y"
18284                  local                  local
18285                          yyval31: ATOMIC_AS                          yyval31: ATOMIC_AS
# Line 18268  if yy_parsing_status = yyContinue then Line 18314  if yy_parsing_status = yyContinue then
18314  end  end
18315                  end                  end
18316    
18317          yy_do_action_469 is          yy_do_action_471 is
18318                          --|#line <not available> "eiffel.y"                          --|#line <not available> "eiffel.y"
18319                  local                  local
18320                          yyval31: ATOMIC_AS                          yyval31: ATOMIC_AS
# Line 18303  if yy_parsing_status = yyContinue then Line 18349  if yy_parsing_status = yyContinue then
18349  end  end
18350                  end                  end
18351    
18352          yy_do_action_470 is          yy_do_action_472 is
18353                          --|#line <not available> "eiffel.y"                          --|#line <not available> "eiffel.y"
18354                  local                  local
18355                          yyval31: ATOMIC_AS                          yyval31: ATOMIC_AS
# Line 18338  if yy_parsing_status = yyContinue then Line 18384  if yy_parsing_status = yyContinue then
18384  end  end
18385                  end                  end
18386    
18387          yy_do_action_471 is          yy_do_action_473 is
18388                          --|#line <not available> "eiffel.y"                          --|#line <not available> "eiffel.y"
18389                  local                  local
18390                          yyval31: ATOMIC_AS                          yyval31: ATOMIC_AS
# Line 18373  if yy_parsing_status = yyContinue then Line 18419  if yy_parsing_status = yyContinue then
18419  end  end
18420                  end                  end
18421    
18422          yy_do_action_472 is          yy_do_action_474 is
18423                          --|#line <not available> "eiffel.y"                          --|#line <not available> "eiffel.y"
18424                  local                  local
18425                          yyval31: ATOMIC_AS                          yyval31: ATOMIC_AS
# Line 18408  if yy_parsing_status = yyContinue then Line 18454  if yy_parsing_status = yyContinue then
18454  end  end
18455                  end                  end
18456    
18457          yy_do_action_473 is          yy_do_action_475 is
18458                          --|#line <not available> "eiffel.y"                          --|#line <not available> "eiffel.y"
18459                  local                  local
18460                          yyval31: ATOMIC_AS                          yyval31: ATOMIC_AS
# Line 18443  if yy_parsing_status = yyContinue then Line 18489  if yy_parsing_status = yyContinue then
18489  end  end
18490                  end                  end
18491    
18492          yy_do_action_474 is          yy_do_action_476 is
18493                          --|#line <not available> "eiffel.y"                          --|#line <not available> "eiffel.y"
18494                  local                  local
18495                          yyval31: ATOMIC_AS                          yyval31: ATOMIC_AS
# Line 18478  if yy_parsing_status = yyContinue then Line 18524  if yy_parsing_status = yyContinue then
18524  end  end
18525                  end                  end
18526    
18527          yy_do_action_475 is          yy_do_action_477 is
18528                          --|#line <not available> "eiffel.y"                          --|#line <not available> "eiffel.y"
18529                  local                  local
18530                          yyval31: ATOMIC_AS                          yyval31: ATOMIC_AS
# Line 18513  if yy_parsing_status = yyContinue then Line 18559  if yy_parsing_status = yyContinue then
18559  end  end
18560                  end                  end
18561    
18562          yy_do_action_476 is          yy_do_action_478 is
18563                          --|#line <not available> "eiffel.y"                          --|#line <not available> "eiffel.y"
18564                  local                  local
18565                          yyval31: ATOMIC_AS                          yyval31: ATOMIC_AS
# Line 18548  if yy_parsing_status = yyContinue then Line 18594  if yy_parsing_status = yyContinue then
18594  end  end
18595                  end                  end
18596    
18597          yy_do_action_477 is          yy_do_action_479 is
18598                          --|#line <not available> "eiffel.y"                          --|#line <not available> "eiffel.y"
18599                  local                  local
18600                          yyval31: ATOMIC_AS                          yyval31: ATOMIC_AS
# Line 18583  if yy_parsing_status = yyContinue then Line 18629  if yy_parsing_status = yyContinue then
18629  end  end
18630                  end                  end
18631    
18632          yy_do_action_478 is          yy_do_action_480 is
18633                          --|#line <not available> "eiffel.y"                          --|#line <not available> "eiffel.y"
18634                  local                  local
18635                          yyval31: ATOMIC_AS                          yyval31: ATOMIC_AS
# Line 18618  if yy_parsing_status = yyContinue then Line 18664  if yy_parsing_status = yyContinue then
18664  end  end
18665                  end                  end
18666    
18667          yy_do_action_479 is          yy_do_action_481 is
18668                          --|#line <not available> "eiffel.y"                          --|#line <not available> "eiffel.y"
18669                  local                  local
18670                          yyval31: ATOMIC_AS                          yyval31: ATOMIC_AS
# Line 18653  if yy_parsing_status = yyContinue then Line 18699  if yy_parsing_status = yyContinue then
18699  end  end
18700                  end                  end
18701    
18702          yy_do_action_480 is          yy_do_action_482 is
18703                          --|#line <not available> "eiffel.y"                          --|#line <not available> "eiffel.y"
18704                  local                  local
18705                          yyval31: ATOMIC_AS                          yyval31: ATOMIC_AS
# Line 18688  if yy_parsing_status = yyContinue then Line 18734  if yy_parsing_status = yyContinue then
18734  end  end
18735                  end                  end
18736    
18737          yy_do_action_481 is          yy_do_action_483 is
18738                          --|#line <not available> "eiffel.y"                          --|#line <not available> "eiffel.y"
18739                  local                  local
18740                          yyval31: ATOMIC_AS                          yyval31: ATOMIC_AS
# Line 18723  if yy_parsing_status = yyContinue then Line 18769  if yy_parsing_status = yyContinue then
18769  end  end
18770                  end                  end
18771    
18772          yy_do_action_482 is          yy_do_action_484 is
18773                          --|#line <not available> "eiffel.y"                          --|#line <not available> "eiffel.y"
18774                  local                  local
18775                          yyval31: ATOMIC_AS                          yyval31: ATOMIC_AS
# Line 18765  if yy_parsing_status = yyContinue then Line 18811  if yy_parsing_status = yyContinue then
18811  end  end
18812                  end                  end
18813    
18814          yy_do_action_483 is          yy_do_action_485 is
18815                          --|#line <not available> "eiffel.y"                          --|#line <not available> "eiffel.y"
18816                  local                  local
18817                          yyval5: BOOL_AS                          yyval5: BOOL_AS
# Line 18782  if yy_parsing_status = yyContinue then Line 18828  if yy_parsing_status = yyContinue then
18828  end  end
18829                  end                  end
18830    
18831          yy_do_action_484 is          yy_do_action_486 is
18832                          --|#line <not available> "eiffel.y"                          --|#line <not available> "eiffel.y"
18833                  local                  local
18834                          yyval5: BOOL_AS                          yyval5: BOOL_AS
# Line 18799  if yy_parsing_status = yyContinue then Line 18845  if yy_parsing_status = yyContinue then
18845  end  end
18846                  end                  end
18847    
18848          yy_do_action_485 is          yy_do_action_487 is
18849                          --|#line <not available> "eiffel.y"                          --|#line <not available> "eiffel.y"
18850                  local                  local
18851                          yyval3: CHAR_AS                          yyval3: CHAR_AS
# Line 18820  if yy_parsing_status = yyContinue then Line 18866  if yy_parsing_status = yyContinue then
18866  end  end
18867                  end                  end
18868    
18869          yy_do_action_486 is          yy_do_action_488 is
18870                          --|#line <not available> "eiffel.y"                          --|#line <not available> "eiffel.y"
18871                  local                  local
18872                          yyval3: CHAR_AS                          yyval3: CHAR_AS
# Line 18842  if yy_parsing_status = yyContinue then Line 18888  if yy_parsing_status = yyContinue then
18888  end  end
18889                  end                  end
18890    
18891          yy_do_action_487 is          yy_do_action_489 is
18892                          --|#line <not available> "eiffel.y"                          --|#line <not available> "eiffel.y"
18893                  local                  local
18894                          yyval59: INTEGER_AS                          yyval59: INTEGER_AS
# Line 18859  if yy_parsing_status = yyContinue then Line 18905  if yy_parsing_status = yyContinue then
18905  end  end
18906                  end                  end
18907    
18908          yy_do_action_488 is          yy_do_action_490 is
18909                          --|#line <not available> "eiffel.y"                          --|#line <not available> "eiffel.y"
18910                  local                  local
18911                          yyval59: INTEGER_AS                          yyval59: INTEGER_AS
# Line 18876  if yy_parsing_status = yyContinue then Line 18922  if yy_parsing_status = yyContinue then
18922  end  end
18923                  end                  end
18924    
18925          yy_do_action_489 is          yy_do_action_491 is
18926                          --|#line <not available> "eiffel.y"                          --|#line <not available> "eiffel.y"
18927                  local                  local
18928                          yyval59: INTEGER_AS                          yyval59: INTEGER_AS
# Line 18893  if yy_parsing_status = yyContinue then Line 18939  if yy_parsing_status = yyContinue then
18939  end  end
18940                  end                  end
18941    
18942          yy_do_action_490 is          yy_do_action_492 is
18943                          --|#line <not available> "eiffel.y"                          --|#line <not available> "eiffel.y"
18944                  local                  local
18945                          yyval59: INTEGER_AS                          yyval59: INTEGER_AS
# Line 18930  if yy_parsing_status = yyContinue then Line 18976  if yy_parsing_status = yyContinue then
18976  end  end
18977                  end                  end
18978    
18979          yy_do_action_491 is          yy_do_action_493 is
18980                          --|#line <not available> "eiffel.y"                          --|#line <not available> "eiffel.y"
18981                  local                  local
18982                          yyval59: INTEGER_AS                          yyval59: INTEGER_AS
# Line 18967  if yy_parsing_status = yyContinue then Line 19013  if yy_parsing_status = yyContinue then
19013  end  end
19014                  end                  end
19015    
19016          yy_do_action_492 is          yy_do_action_494 is
19017                          --|#line <not available> "eiffel.y"                          --|#line <not available> "eiffel.y"
19018                  local                  local
19019                          yyval59: INTEGER_AS                          yyval59: INTEGER_AS
# Line 19003  if yy_parsing_status = yyContinue then Line 19049  if yy_parsing_status = yyContinue then
19049  end  end
19050                  end                  end
19051    
19052          yy_do_action_493 is          yy_do_action_495 is
19053                          --|#line <not available> "eiffel.y"                          --|#line <not available> "eiffel.y"
19054                  local                  local
19055                          yyval59: INTEGER_AS                          yyval59: INTEGER_AS
# Line 19020  if yy_parsing_status = yyContinue then Line 19066  if yy_parsing_status = yyContinue then
19066  end  end
19067                  end                  end
19068    
19069          yy_do_action_494 is          yy_do_action_496 is
19070                          --|#line <not available> "eiffel.y"                          --|#line <not available> "eiffel.y"
19071                  local                  local
19072                          yyval59: INTEGER_AS                          yyval59: INTEGER_AS
# Line 19037  if yy_parsing_status = yyContinue then Line 19083  if yy_parsing_status = yyContinue then
19083  end  end
19084                  end                  end
19085    
19086          yy_do_action_495 is          yy_do_action_497 is
19087                          --|#line <not available> "eiffel.y"                          --|#line <not available> "eiffel.y"
19088                  local                  local
19089                          yyval59: INTEGER_AS                          yyval59: INTEGER_AS
# Line 19074  if yy_parsing_status = yyContinue then Line 19120  if yy_parsing_status = yyContinue then
19120  end  end
19121                  end                  end
19122    
19123          yy_do_action_496 is          yy_do_action_498 is
19124                          --|#line <not available> "eiffel.y"                          --|#line <not available> "eiffel.y"
19125                  local                  local
19126                          yyval59: INTEGER_AS                          yyval59: INTEGER_AS
# Line 19112  if yy_parsing_status = yyContinue then Line 19158  if yy_parsing_status = yyContinue then
19158  end  end
19159                  end                  end
19160    
19161          yy_do_action_497 is          yy_do_action_499 is
19162                          --|#line <not available> "eiffel.y"                          --|#line <not available> "eiffel.y"
19163                  local                  local
19164                          yyval59: INTEGER_AS                          yyval59: INTEGER_AS
# Line 19150  if yy_parsing_status = yyContinue then Line 19196  if yy_parsing_status = yyContinue then
19196  end  end
19197                  end                  end
19198    
19199          yy_do_action_498 is          yy_do_action_500 is
19200                          --|#line <not available> "eiffel.y"                          --|#line <not available> "eiffel.y"
19201                  local                  local
19202                          yyval69: REAL_AS                          yyval69: REAL_AS
# Line 19167  if yy_parsing_status = yyContinue then Line 19213  if yy_parsing_status = yyContinue then
19213  end  end
19214                  end                  end
19215    
19216          yy_do_action_499 is          yy_do_action_501 is
19217                          --|#line <not available> "eiffel.y"                          --|#line <not available> "eiffel.y"
19218                  local                  local
19219                          yyval69: REAL_AS                          yyval69: REAL_AS
# Line 19184  if yy_parsing_status = yyContinue then Line 19230  if yy_parsing_status = yyContinue then
19230  end  end
19231                  end                  end
19232    
19233          yy_do_action_500 is          yy_do_action_502 is
19234                          --|#line <not available> "eiffel.y"                          --|#line <not available> "eiffel.y"
19235                  local                  local
19236                          yyval69: REAL_AS                          yyval69: REAL_AS
# Line 19201  if yy_parsing_status = yyContinue then Line 19247  if yy_parsing_status = yyContinue then
19247  end  end
19248                  end                  end
19249    
19250          yy_do_action_501 is          yy_do_action_503 is
19251                          --|#line <not available> "eiffel.y"                          --|#line <not available> "eiffel.y"
19252                  local                  local
19253                          yyval69: REAL_AS                          yyval69: REAL_AS
# Line 19237  if yy_parsing_status = yyContinue then Line 19283  if yy_parsing_status = yyContinue then
19283  end  end
19284                  end                  end
19285    
19286          yy_do_action_502 is          yy_do_action_504 is
19287                          --|#line <not available> "eiffel.y"                          --|#line <not available> "eiffel.y"
19288                  local                  local
19289                          yyval69: REAL_AS                          yyval69: REAL_AS
# Line 19274  if yy_parsing_status = yyContinue then Line 19320  if yy_parsing_status = yyContinue then
19320  end  end
19321                  end                  end
19322    
19323          yy_do_action_503 is          yy_do_action_505 is
19324                          --|#line <not available> "eiffel.y"                          --|#line <not available> "eiffel.y"
19325                  local                  local
19326                          yyval69: REAL_AS                          yyval69: REAL_AS
# Line 19311  if yy_parsing_status = yyContinue then Line 19357  if yy_parsing_status = yyContinue then
19357  end  end
19358                  end                  end
19359    
19360          yy_do_action_504 is          yy_do_action_506 is
19361                          --|#line <not available> "eiffel.y"                          --|#line <not available> "eiffel.y"
19362                  local                  local
19363                          yyval69: REAL_AS                          yyval69: REAL_AS
# Line 19328  if yy_parsing_status = yyContinue then Line 19374  if yy_parsing_status = yyContinue then
19374  end  end
19375                  end                  end
19376    
19377          yy_do_action_505 is          yy_do_action_507 is
19378                          --|#line <not available> "eiffel.y"                          --|#line <not available> "eiffel.y"
19379                  local                  local
19380                          yyval69: REAL_AS                          yyval69: REAL_AS
# Line 19345  if yy_parsing_status = yyContinue then Line 19391  if yy_parsing_status = yyContinue then
19391  end  end
19392                  end                  end
19393    
19394          yy_do_action_506 is          yy_do_action_508 is
19395                          --|#line <not available> "eiffel.y"                          --|#line <not available> "eiffel.y"
19396                  local                  local
19397                          yyval69: REAL_AS                          yyval69: REAL_AS
# Line 19382  if yy_parsing_status = yyContinue then Line 19428  if yy_parsing_status = yyContinue then
19428  end  end
19429                  end                  end
19430    
19431          yy_do_action_507 is          yy_do_action_509 is
19432                          --|#line <not available> "eiffel.y"                          --|#line <not available> "eiffel.y"
19433                  local                  local
19434                          yyval69: REAL_AS                          yyval69: REAL_AS
# Line 19420  if yy_parsing_status = yyContinue then Line 19466  if yy_parsing_status = yyContinue then
19466  end  end
19467                  end                  end
19468    
19469          yy_do_action_508 is          yy_do_action_510 is
19470                          --|#line <not available> "eiffel.y"                          --|#line <not available> "eiffel.y"
19471                  local                  local
19472                          yyval69: REAL_AS                          yyval69: REAL_AS
# Line 19458  if yy_parsing_status = yyContinue then Line 19504  if yy_parsing_status = yyContinue then
19504  end  end
19505                  end                  end
19506    
19507          yy_do_action_509 is          yy_do_action_511 is
19508                          --|#line <not available> "eiffel.y"                          --|#line <not available> "eiffel.y"
19509                  local                  local
19510                          yyval33: BIT_CONST_AS                          yyval33: BIT_CONST_AS
# Line 19493  if yy_parsing_status = yyContinue then Line 19539  if yy_parsing_status = yyContinue then
19539  end  end
19540                  end                  end
19541    
19542          yy_do_action_510 is          yy_do_action_512 is
19543                          --|#line <not available> "eiffel.y"                          --|#line <not available> "eiffel.y"
19544                  local                  local
19545                          yyval18: STRING_AS                          yyval18: STRING_AS
# Line 19510  if yy_parsing_status = yyContinue then Line 19556  if yy_parsing_status = yyContinue then
19556  end  end
19557                  end                  end
19558    
19559          yy_do_action_511 is          yy_do_action_513 is
19560                          --|#line <not available> "eiffel.y"                          --|#line <not available> "eiffel.y"
19561                  local                  local
19562                          yyval18: STRING_AS                          yyval18: STRING_AS
# Line 19527  if yy_parsing_status = yyContinue then Line 19573  if yy_parsing_status = yyContinue then
19573  end  end
19574                  end                  end
19575    
19576          yy_do_action_512 is          yy_do_action_514 is
19577                          --|#line <not available> "eiffel.y"                          --|#line <not available> "eiffel.y"
19578                  local                  local
19579                          yyval18: STRING_AS                          yyval18: STRING_AS
# Line 19544  if yy_parsing_status = yyContinue then Line 19590  if yy_parsing_status = yyContinue then
19590  end  end
19591                  end                  end
19592    
19593          yy_do_action_513 is          yy_do_action_515 is
19594                          --|#line <not available> "eiffel.y"                          --|#line <not available> "eiffel.y"
19595                  local                  local
19596                          yyval18: STRING_AS                          yyval18: STRING_AS
# Line 19580  if yy_parsing_status = yyContinue then Line 19626  if yy_parsing_status = yyContinue then
19626  end  end
19627                  end                  end
19628    
19629          yy_do_action_514 is          yy_do_action_516 is
19630                          --|#line <not available> "eiffel.y"                          --|#line <not available> "eiffel.y"
19631                  local                  local
19632                          yyval18: STRING_AS                          yyval18: STRING_AS
# Line 19616  if yy_parsing_status = yyContinue then Line 19662  if yy_parsing_status = yyContinue then
19662  end  end
19663                  end                  end
19664    
19665          yy_do_action_515 is          yy_do_action_517 is
19666                          --|#line <not available> "eiffel.y"                          --|#line <not available> "eiffel.y"
19667                  local                  local
19668                          yyval18: STRING_AS                          yyval18: STRING_AS
# Line 19644  if yy_parsing_status = yyContinue then Line 19690  if yy_parsing_status = yyContinue then
19690  end  end
19691                  end                  end
19692    
19693          yy_do_action_516 is          yy_do_action_518 is
19694                          --|#line <not available> "eiffel.y"                          --|#line <not available> "eiffel.y"
19695                  local                  local
19696                          yyval18: STRING_AS                          yyval18: STRING_AS
# Line 19680  if yy_parsing_status = yyContinue then Line 19726  if yy_parsing_status = yyContinue then
19726