/[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 69686 by juliant, Tue Jul 24 17:18:14 2007 UTC revision 69687 by martins, Wed Jul 25 18:55:08 2007 UTC
# Line 2810  feature {NONE} -- Semantic actions Line 2810  feature {NONE} -- Semantic actions
2810                          when 571 then                          when 571 then
2811                                          --|#line <not available> "eiffel.y"                                          --|#line <not available> "eiffel.y"
2812                                  yy_do_action_571                                  yy_do_action_571
2813                            when 572 then
2814                                            --|#line <not available> "eiffel.y"
2815                                    yy_do_action_572
2816                            when 573 then
2817                                            --|#line <not available> "eiffel.y"
2818                                    yy_do_action_573
2819                            when 574 then
2820                                            --|#line <not available> "eiffel.y"
2821                                    yy_do_action_574
2822                            when 575 then
2823                                            --|#line <not available> "eiffel.y"
2824                                    yy_do_action_575
2825                            when 576 then
2826                                            --|#line <not available> "eiffel.y"
2827                                    yy_do_action_576
2828                            when 577 then
2829                                            --|#line <not available> "eiffel.y"
2830                                    yy_do_action_577
2831                            when 578 then
2832                                            --|#line <not available> "eiffel.y"
2833                                    yy_do_action_578
2834                          else                          else
2835                                  debug ("GEYACC")                                  debug ("GEYACC")
2836                                          std.error.put_string ("Error in parser: unknown rule id: ")                                          std.error.put_string ("Error in parser: unknown rule id: ")
# Line 10197  end Line 10218  end
10218          yy_do_action_229 is          yy_do_action_229 is
10219                          --|#line <not available> "eiffel.y"                          --|#line <not available> "eiffel.y"
10220                  local                  local
10221                            yyval112: TYPE_LIST_AS
10222                    do
10223    --|#line <not available> "eiffel.y"
10224    debug ("GEYACC")
10225            std.error.put_line ("Executing parser user-code from file 'eiffel.y' at line <not available>")
10226    end
10227    
10228    yyval112 := yyvs112.item (yyvsp112)
10229    if yy_parsing_status = yyContinue then
10230            yyssp := yyssp - 3
10231            yyvsp1 := yyvsp1 -2
10232            yyvs112.put (yyval112, yyvsp112)
10233    end
10234                    end
10235    
10236            yy_do_action_230 is
10237                            --|#line <not available> "eiffel.y"
10238                    local
10239                            yyval112: TYPE_LIST_AS
10240                    do
10241    --|#line <not available> "eiffel.y"
10242    debug ("GEYACC")
10243            std.error.put_line ("Executing parser user-code from file 'eiffel.y' at line <not available>")
10244    end
10245    
10246                                    yyval112 := ast_factory.new_eiffel_list_type (counter_value + 1)
10247                                    if yyval112 /= Void and then yyvs79.item (yyvsp79) /= Void then
10248                                            yyval112.reverse_extend (yyvs79.item (yyvsp79))
10249                                    end
10250                            
10251    if yy_parsing_status = yyContinue then
10252            yyssp := yyssp - 1
10253            yyvsp112 := yyvsp112 + 1
10254            yyvsp79 := yyvsp79 -1
10255            if yyvsp112 >= yyvsc112 then
10256                    if yyvs112 = Void then
10257                            debug ("GEYACC")
10258                                    std.error.put_line ("Create yyvs112")
10259                            end
10260                            create yyspecial_routines112
10261                            yyvsc112 := yyInitial_yyvs_size
10262                            yyvs112 := yyspecial_routines112.make (yyvsc112)
10263                    else
10264                            debug ("GEYACC")
10265                                    std.error.put_line ("Resize yyvs112")
10266                            end
10267                            yyvsc112 := yyvsc112 + yyInitial_yyvs_size
10268                            yyvs112 := yyspecial_routines112.resize (yyvs112, yyvsc112)
10269                    end
10270            end
10271            yyvs112.put (yyval112, yyvsp112)
10272    end
10273                    end
10274    
10275            yy_do_action_231 is
10276                            --|#line <not available> "eiffel.y"
10277                    local
10278                            yyval112: TYPE_LIST_AS
10279                    do
10280    --|#line <not available> "eiffel.y"
10281    debug ("GEYACC")
10282            std.error.put_line ("Executing parser user-code from file 'eiffel.y' at line <not available>")
10283    end
10284    
10285                                    yyval112 := yyvs112.item (yyvsp112)
10286                                    if yyval112 /= Void and then yyvs79.item (yyvsp79) /= Void then
10287                                            yyval112.reverse_extend (yyvs79.item (yyvsp79))
10288                                            ast_factory.reverse_extend_separator (yyval112, yyvs4.item (yyvsp4))
10289                                    end
10290                            
10291    if yy_parsing_status = yyContinue then
10292            yyssp := yyssp - 4
10293            yyvsp79 := yyvsp79 -1
10294            yyvsp4 := yyvsp4 -1
10295            yyvsp1 := yyvsp1 -1
10296            yyvs112.put (yyval112, yyvsp112)
10297    end
10298                    end
10299    
10300            yy_do_action_232 is
10301                            --|#line <not available> "eiffel.y"
10302                    local
10303                            yyval79: TYPE_AS
10304                    do
10305    --|#line <not available> "eiffel.y"
10306    debug ("GEYACC")
10307            std.error.put_line ("Executing parser user-code from file 'eiffel.y' at line <not available>")
10308    end
10309    
10310                                    yyval79 := yyvs79.item (yyvsp79)
10311                            
10312    if yy_parsing_status = yyContinue then
10313            yyssp := yyssp - 1
10314            yyvs79.put (yyval79, yyvsp79)
10315    end
10316                    end
10317    
10318            yy_do_action_233 is
10319                            --|#line <not available> "eiffel.y"
10320                    local
10321                            yyval79: TYPE_AS
10322                    do
10323    --|#line <not available> "eiffel.y"
10324    debug ("GEYACC")
10325            std.error.put_line ("Executing parser user-code from file 'eiffel.y' at line <not available>")
10326    end
10327    
10328                                    yyval79 := yyvs79.item (yyvsp79)
10329                                    yyval79.set_covariant_keyword (yyvs12.item (yyvsp12))
10330                            
10331    if yy_parsing_status = yyContinue then
10332            yyssp := yyssp - 2
10333            yyvsp12 := yyvsp12 -1
10334            yyvs79.put (yyval79, yyvsp79)
10335    end
10336                    end
10337    
10338            yy_do_action_234 is
10339                            --|#line <not available> "eiffel.y"
10340                    local
10341                          yyval79: TYPE_AS                          yyval79: TYPE_AS
10342                  do                  do
10343  --|#line <not available> "eiffel.y"  --|#line <not available> "eiffel.y"
# Line 10229  if yy_parsing_status = yyContinue then Line 10370  if yy_parsing_status = yyContinue then
10370  end  end
10371                  end                  end
10372    
10373          yy_do_action_230 is          yy_do_action_235 is
10374                          --|#line <not available> "eiffel.y"                          --|#line <not available> "eiffel.y"
10375                  local                  local
10376                          yyval79: TYPE_AS                          yyval79: TYPE_AS
# Line 10274  if yy_parsing_status = yyContinue then Line 10415  if yy_parsing_status = yyContinue then
10415  end  end
10416                  end                  end
10417    
10418          yy_do_action_231 is          yy_do_action_236 is
10419                          --|#line <not available> "eiffel.y"                          --|#line <not available> "eiffel.y"
10420                  local                  local
10421                          yyval79: TYPE_AS                          yyval79: TYPE_AS
# Line 10319  if yy_parsing_status = yyContinue then Line 10460  if yy_parsing_status = yyContinue then
10460  end  end
10461                  end                  end
10462    
10463          yy_do_action_232 is          yy_do_action_237 is
10464                          --|#line <not available> "eiffel.y"                          --|#line <not available> "eiffel.y"
10465                  local                  local
10466                          yyval79: TYPE_AS                          yyval79: TYPE_AS
# Line 10362  if yy_parsing_status = yyContinue then Line 10503  if yy_parsing_status = yyContinue then
10503  end  end
10504                  end                  end
10505    
10506          yy_do_action_233 is          yy_do_action_238 is
10507                          --|#line <not available> "eiffel.y"                          --|#line <not available> "eiffel.y"
10508                  local                  local
10509                          yyval112: TYPE_LIST_AS                          yyval112: TYPE_LIST_AS
# Line 10403  if yy_parsing_status = yyContinue then Line 10544  if yy_parsing_status = yyContinue then
10544  end  end
10545                  end                  end
10546    
10547          yy_do_action_234 is          yy_do_action_239 is
10548                          --|#line <not available> "eiffel.y"                          --|#line <not available> "eiffel.y"
10549                  local                  local
10550                          yyval112: TYPE_LIST_AS                          yyval112: TYPE_LIST_AS
# Line 10429  if yy_parsing_status = yyContinue then Line 10570  if yy_parsing_status = yyContinue then
10570  end  end
10571                  end                  end
10572    
10573          yy_do_action_235 is          yy_do_action_240 is
10574                          --|#line <not available> "eiffel.y"                          --|#line <not available> "eiffel.y"
10575                  local                  local
10576                          yyval112: TYPE_LIST_AS                          yyval112: TYPE_LIST_AS
# Line 10454  if yy_parsing_status = yyContinue then Line 10595  if yy_parsing_status = yyContinue then
10595  end  end
10596                  end                  end
10597    
10598          yy_do_action_236 is          yy_do_action_241 is
10599                          --|#line <not available> "eiffel.y"                          --|#line <not available> "eiffel.y"
10600                  local                  local
10601                          yyval113: TYPE_DEC_LIST_AS                          yyval113: TYPE_DEC_LIST_AS
# Line 10502  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_237 is          yy_do_action_242 is
10647                          --|#line <not available> "eiffel.y"                          --|#line <not available> "eiffel.y"
10648                  local                  local
10649                          yyval113: TYPE_DEC_LIST_AS                          yyval113: TYPE_DEC_LIST_AS
# Line 10533  if yy_parsing_status = yyContinue then Line 10674  if yy_parsing_status = yyContinue then
10674  end  end
10675                  end                  end
10676    
10677          yy_do_action_238 is          yy_do_action_243 is
10678                          --|#line <not available> "eiffel.y"                          --|#line <not available> "eiffel.y"
10679                  local                  local
10680                          yyval113: TYPE_DEC_LIST_AS                          yyval113: TYPE_DEC_LIST_AS
# Line 10566  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_239 is          yy_do_action_244 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 10602  if yy_parsing_status = yyContinue then Line 10743  if yy_parsing_status = yyContinue then
10743  end  end
10744                  end                  end
10745    
10746          yy_do_action_240 is          yy_do_action_245 is
10747                          --|#line <not available> "eiffel.y"                          --|#line <not available> "eiffel.y"
10748                  local                  local
10749                          yyval101: FORMAL_GENERIC_LIST_AS                          yyval101: FORMAL_GENERIC_LIST_AS
# Line 10643  if yy_parsing_status = yyContinue then Line 10784  if yy_parsing_status = yyContinue then
10784  end  end
10785                  end                  end
10786    
10787          yy_do_action_241 is          yy_do_action_246 is
10788                          --|#line <not available> "eiffel.y"                          --|#line <not available> "eiffel.y"
10789                  local                  local
10790                          yyval101: FORMAL_GENERIC_LIST_AS                          yyval101: FORMAL_GENERIC_LIST_AS
# Line 10668  if yy_parsing_status = yyContinue then Line 10809  if yy_parsing_status = yyContinue then
10809  end  end
10810                  end                  end
10811    
10812          yy_do_action_242 is          yy_do_action_247 is
10813                          --|#line <not available> "eiffel.y"                          --|#line <not available> "eiffel.y"
10814                  local                  local
10815                          yyval101: FORMAL_GENERIC_LIST_AS                          yyval101: FORMAL_GENERIC_LIST_AS
# Line 10707  if yy_parsing_status = yyContinue then Line 10848  if yy_parsing_status = yyContinue then
10848  end  end
10849                  end                  end
10850    
10851          yy_do_action_243 is          yy_do_action_248 is
10852                          --|#line <not available> "eiffel.y"                          --|#line <not available> "eiffel.y"
10853                  local                  local
10854                          yyval101: FORMAL_GENERIC_LIST_AS                          yyval101: FORMAL_GENERIC_LIST_AS
# Line 10732  if yy_parsing_status = yyContinue then Line 10873  if yy_parsing_status = yyContinue then
10873  end  end
10874                  end                  end
10875    
10876          yy_do_action_244 is          yy_do_action_249 is
10877                          --|#line <not available> "eiffel.y"                          --|#line <not available> "eiffel.y"
10878                  local                  local
10879                          yyval54: FORMAL_AS                          yyval54: FORMAL_AS
# Line 10751  end Line 10892  end
10892                                                  -- therefore not part of `TE_ID'.                                                  -- therefore not part of `TE_ID'.
10893                                          raise_error                                          raise_error
10894                                  else                                  else
10895                                          yyval54 := ast_factory.new_formal_as (yyvs2.item (yyvsp2), True, False, yyvs12.item (yyvsp12))                                          yyval54 := ast_factory.new_formal_as (yyvs2.item (yyvsp2), True, False, False, yyvs12.item (yyvsp12))
10896                                  end                                  end
10897                                                    
10898  if yy_parsing_status = yyContinue then  if yy_parsing_status = yyContinue then
# Line 10779  if yy_parsing_status = yyContinue then Line 10920  if yy_parsing_status = yyContinue then
10920  end  end
10921                  end                  end
10922    
10923          yy_do_action_245 is          yy_do_action_250 is
10924                          --|#line <not available> "eiffel.y"                          --|#line <not available> "eiffel.y"
10925                  local                  local
10926                          yyval54: FORMAL_AS                          yyval54: FORMAL_AS
# Line 10798  end Line 10939  end
10939                                                  -- therefore not part of `TE_ID'.                                                  -- therefore not part of `TE_ID'.
10940                                          raise_error                                          raise_error
10941                                  else                                  else
10942                                          yyval54 := ast_factory.new_formal_as (yyvs2.item (yyvsp2), False, True, yyvs12.item (yyvsp12))                                          yyval54 := ast_factory.new_formal_as (yyvs2.item (yyvsp2), False, True, False, yyvs12.item (yyvsp12))
10943                                  end                                  end
10944                                                    
10945  if yy_parsing_status = yyContinue then  if yy_parsing_status = yyContinue then
# Line 10826  if yy_parsing_status = yyContinue then Line 10967  if yy_parsing_status = yyContinue then
10967  end  end
10968                  end                  end
10969    
10970          yy_do_action_246 is          yy_do_action_251 is
10971                            --|#line <not available> "eiffel.y"
10972                    local
10973                            yyval54: FORMAL_AS
10974                    do
10975    --|#line <not available> "eiffel.y"
10976    debug ("GEYACC")
10977            std.error.put_line ("Executing parser user-code from file 'eiffel.y' at line <not available>")
10978    end
10979    
10980                                    if yyvs2.item (yyvsp2) /= Void and then none_class_name_id = yyvs2.item (yyvsp2).name_id then
10981                                                    -- Trigger an error when constraint is NONE.
10982                                                    -- Needs to be done manually since current test for
10983                                                    -- checking that `$2' is not a class name
10984                                                    -- will fail for NONE, whereas before there were some
10985                                                    -- syntactic conflict since `NONE' was a keyword and
10986                                                    -- therefore not part of `TE_ID'.
10987                                            raise_error
10988                                    else
10989                                            yyval54 := ast_factory.new_formal_as (yyvs2.item (yyvsp2), False, False, True, yyvs12.item (yyvsp12))
10990                                    end
10991                            
10992    if yy_parsing_status = yyContinue then
10993            yyssp := yyssp - 2
10994            yyvsp54 := yyvsp54 + 1
10995            yyvsp12 := yyvsp12 -1
10996            yyvsp2 := yyvsp2 -1
10997            if yyvsp54 >= yyvsc54 then
10998                    if yyvs54 = Void then
10999                            debug ("GEYACC")
11000                                    std.error.put_line ("Create yyvs54")
11001                            end
11002                            create yyspecial_routines54
11003                            yyvsc54 := yyInitial_yyvs_size
11004                            yyvs54 := yyspecial_routines54.make (yyvsc54)
11005                    else
11006                            debug ("GEYACC")
11007                                    std.error.put_line ("Resize yyvs54")
11008                            end
11009                            yyvsc54 := yyvsc54 + yyInitial_yyvs_size
11010                            yyvs54 := yyspecial_routines54.resize (yyvs54, yyvsc54)
11011                    end
11012            end
11013            yyvs54.put (yyval54, yyvsp54)
11014    end
11015                    end
11016    
11017            yy_do_action_252 is
11018                            --|#line <not available> "eiffel.y"
11019                    local
11020                            yyval54: FORMAL_AS
11021                    do
11022    --|#line <not available> "eiffel.y"
11023    debug ("GEYACC")
11024            std.error.put_line ("Executing parser user-code from file 'eiffel.y' at line <not available>")
11025    end
11026    
11027                                    if yyvs2.item (yyvsp2) /= Void and then none_class_name_id = yyvs2.item (yyvsp2).name_id then
11028                                                    -- Trigger an error when constraint is NONE.
11029                                                    -- Needs to be done manually since current test for
11030                                                    -- checking that `$2' is not a class name
11031                                                    -- will fail for NONE, whereas before there were some
11032                                                    -- syntactic conflict since `NONE' was a keyword and
11033                                                    -- therefore not part of `TE_ID'.
11034                                            raise_error
11035                                    else
11036                                            yyval54 := ast_factory.new_formal_as (yyvs2.item (yyvsp2), False, False, True, yyvs12.item (yyvsp12))
11037                                    end
11038                            
11039    if yy_parsing_status = yyContinue then
11040            yyssp := yyssp - 2
11041            yyvsp54 := yyvsp54 + 1
11042            yyvsp12 := yyvsp12 -1
11043            yyvsp2 := yyvsp2 -1
11044            if yyvsp54 >= yyvsc54 then
11045                    if yyvs54 = Void then
11046                            debug ("GEYACC")
11047                                    std.error.put_line ("Create yyvs54")
11048                            end
11049                            create yyspecial_routines54
11050                            yyvsc54 := yyInitial_yyvs_size
11051                            yyvs54 := yyspecial_routines54.make (yyvsc54)
11052                    else
11053                            debug ("GEYACC")
11054                                    std.error.put_line ("Resize yyvs54")
11055                            end
11056                            yyvsc54 := yyvsc54 + yyInitial_yyvs_size
11057                            yyvs54 := yyspecial_routines54.resize (yyvs54, yyvsc54)
11058                    end
11059            end
11060            yyvs54.put (yyval54, yyvsp54)
11061    end
11062                    end
11063    
11064            yy_do_action_253 is
11065                          --|#line <not available> "eiffel.y"                          --|#line <not available> "eiffel.y"
11066                  local                  local
11067                          yyval54: FORMAL_AS                          yyval54: FORMAL_AS
# Line 10845  end Line 11080  end
11080                                                  -- therefore not part of `TE_ID'.                                                  -- therefore not part of `TE_ID'.
11081                                          raise_error                                          raise_error
11082                                  else                                  else
11083                                          yyval54 := ast_factory.new_formal_as (yyvs2.item (yyvsp2), False, False, Void)                                          yyval54 := ast_factory.new_formal_as (yyvs2.item (yyvsp2), False, False, False, Void)
11084                                  end                                  end
11085                                                    
11086  if yy_parsing_status = yyContinue then  if yy_parsing_status = yyContinue then
# Line 10872  if yy_parsing_status = yyContinue then Line 11107  if yy_parsing_status = yyContinue then
11107  end  end
11108                  end                  end
11109    
11110          yy_do_action_247 is          yy_do_action_254 is
11111                          --|#line <not available> "eiffel.y"                          --|#line <not available> "eiffel.y"
11112                  local                  local
11113                          yyval55: FORMAL_DEC_AS                          yyval55: FORMAL_DEC_AS
# Line 10900  if yy_parsing_status = yyContinue then Line 11135  if yy_parsing_status = yyContinue then
11135  end  end
11136                  end                  end
11137    
11138          yy_do_action_248 is          yy_do_action_255 is
11139                          --|#line <not available> "eiffel.y"                          --|#line <not available> "eiffel.y"
11140                  local                  local
11141                          yyval55: FORMAL_DEC_AS                          yyval55: FORMAL_DEC_AS
# Line 10940  if yy_parsing_status = yyContinue then Line 11175  if yy_parsing_status = yyContinue then
11175  end  end
11176                  end                  end
11177    
11178          yy_do_action_249 is          yy_do_action_256 is
11179                          --|#line <not available> "eiffel.y"                          --|#line <not available> "eiffel.y"
11180                  local                  local
11181                          yyval116: CONSTRAINT_TRIPLE                          yyval116: CONSTRAINT_TRIPLE
# Line 10974  if yy_parsing_status = yyContinue then Line 11209  if yy_parsing_status = yyContinue then
11209  end  end
11210                  end                  end
11211    
11212          yy_do_action_250 is          yy_do_action_257 is
11213                          --|#line <not available> "eiffel.y"                          --|#line <not available> "eiffel.y"
11214                  local                  local
11215                          yyval116: CONSTRAINT_TRIPLE                          yyval116: CONSTRAINT_TRIPLE
# Line 11017  if yy_parsing_status = yyContinue then Line 11252  if yy_parsing_status = yyContinue then
11252  end  end
11253                  end                  end
11254    
11255          yy_do_action_251 is          yy_do_action_258 is
11256                          --|#line <not available> "eiffel.y"                          --|#line <not available> "eiffel.y"
11257                  local                  local
11258                          yyval116: CONSTRAINT_TRIPLE                          yyval116: CONSTRAINT_TRIPLE
# Line 11056  if yy_parsing_status = yyContinue then Line 11291  if yy_parsing_status = yyContinue then
11291  end  end
11292                  end                  end
11293    
11294          yy_do_action_252 is          yy_do_action_259 is
11295                          --|#line <not available> "eiffel.y"                          --|#line <not available> "eiffel.y"
11296                  local                  local
11297                          yyval118: CONSTRAINING_TYPE_AS                          yyval118: CONSTRAINING_TYPE_AS
# Line 11090  if yy_parsing_status = yyContinue then Line 11325  if yy_parsing_status = yyContinue then
11325  end  end
11326                  end                  end
11327    
11328          yy_do_action_253 is          yy_do_action_260 is
11329                          --|#line <not available> "eiffel.y"                          --|#line <not available> "eiffel.y"
11330                  local                  local
11331                          yyval118: CONSTRAINING_TYPE_AS                          yyval118: CONSTRAINING_TYPE_AS
# Line 11112  if yy_parsing_status = yyContinue then Line 11347  if yy_parsing_status = yyContinue then
11347  end  end
11348                  end                  end
11349    
11350          yy_do_action_254 is          yy_do_action_261 is
11351                          --|#line <not available> "eiffel.y"                          --|#line <not available> "eiffel.y"
11352                  local                  local
11353                          yyval118: CONSTRAINING_TYPE_AS                          yyval118: CONSTRAINING_TYPE_AS
# Line 11146  if yy_parsing_status = yyContinue then Line 11381  if yy_parsing_status = yyContinue then
11381  end  end
11382                  end                  end
11383    
11384          yy_do_action_255 is          yy_do_action_262 is
11385                          --|#line <not available> "eiffel.y"                          --|#line <not available> "eiffel.y"
11386                  local                  local
11387                          yyval118: CONSTRAINING_TYPE_AS                          yyval118: CONSTRAINING_TYPE_AS
# Line 11180  if yy_parsing_status = yyContinue then Line 11415  if yy_parsing_status = yyContinue then
11415  end  end
11416                  end                  end
11417    
11418          yy_do_action_256 is          yy_do_action_263 is
11419                          --|#line <not available> "eiffel.y"                          --|#line <not available> "eiffel.y"
11420                  local                  local
11421                          yyval118: CONSTRAINING_TYPE_AS                          yyval118: CONSTRAINING_TYPE_AS
# Line 11216  if yy_parsing_status = yyContinue then Line 11451  if yy_parsing_status = yyContinue then
11451  end  end
11452                  end                  end
11453    
11454          yy_do_action_257 is          yy_do_action_264 is
11455                          --|#line <not available> "eiffel.y"                          --|#line <not available> "eiffel.y"
11456                  local                  local
11457                          yyval79: TYPE_AS                          yyval79: TYPE_AS
# Line 11233  if yy_parsing_status = yyContinue then Line 11468  if yy_parsing_status = yyContinue then
11468  end  end
11469                  end                  end
11470    
11471          yy_do_action_258 is          yy_do_action_265 is
11472                          --|#line <not available> "eiffel.y"                          --|#line <not available> "eiffel.y"
11473                  local                  local
11474                          yyval79: TYPE_AS                          yyval79: TYPE_AS
# Line 11271  if yy_parsing_status = yyContinue then Line 11506  if yy_parsing_status = yyContinue then
11506  end  end
11507                  end                  end
11508    
11509          yy_do_action_259 is          yy_do_action_266 is
11510                          --|#line <not available> "eiffel.y"                          --|#line <not available> "eiffel.y"
11511                  local                  local
11512                          yyval79: TYPE_AS                          yyval79: TYPE_AS
# Line 11309  if yy_parsing_status = yyContinue then Line 11544  if yy_parsing_status = yyContinue then
11544  end  end
11545                  end                  end
11546    
11547          yy_do_action_260 is          yy_do_action_267 is
11548                          --|#line <not available> "eiffel.y"                          --|#line <not available> "eiffel.y"
11549                  local                  local
11550                          yyval117: CONSTRAINT_LIST_AS                          yyval117: CONSTRAINT_LIST_AS
# Line 11348  if yy_parsing_status = yyContinue then Line 11583  if yy_parsing_status = yyContinue then
11583  end  end
11584                  end                  end
11585    
11586          yy_do_action_261 is          yy_do_action_268 is
11587                          --|#line <not available> "eiffel.y"                          --|#line <not available> "eiffel.y"
11588                  local                  local
11589                          yyval117: CONSTRAINT_LIST_AS                          yyval117: CONSTRAINT_LIST_AS
# Line 11377  if yy_parsing_status = yyContinue then Line 11612  if yy_parsing_status = yyContinue then
11612  end  end
11613                  end                  end
11614    
11615          yy_do_action_262 is          yy_do_action_269 is
11616                          --|#line <not available> "eiffel.y"                          --|#line <not available> "eiffel.y"
11617                  local                  local
11618                          yyval97: CREATION_CONSTRAIN_TRIPLE                          yyval97: CREATION_CONSTRAIN_TRIPLE
# Line 11411  if yy_parsing_status = yyContinue then Line 11646  if yy_parsing_status = yyContinue then
11646  end  end
11647                  end                  end
11648    
11649          yy_do_action_263 is          yy_do_action_270 is
11650                          --|#line <not available> "eiffel.y"                          --|#line <not available> "eiffel.y"
11651                  local                  local
11652                          yyval97: CREATION_CONSTRAIN_TRIPLE                          yyval97: CREATION_CONSTRAIN_TRIPLE
# Line 11448  if yy_parsing_status = yyContinue then Line 11683  if yy_parsing_status = yyContinue then
11683  end  end
11684                  end                  end
11685    
11686          yy_do_action_264 is          yy_do_action_271 is
11687                          --|#line <not available> "eiffel.y"                          --|#line <not available> "eiffel.y"
11688                  local                  local
11689                          yyval56: IF_AS                          yyval56: IF_AS
# Line 11485  if yy_parsing_status = yyContinue then Line 11720  if yy_parsing_status = yyContinue then
11720  end  end
11721                  end                  end
11722    
11723          yy_do_action_265 is          yy_do_action_272 is
11724                          --|#line <not available> "eiffel.y"                          --|#line <not available> "eiffel.y"
11725                  local                  local
11726                          yyval56: IF_AS                          yyval56: IF_AS
# Line 11529  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_266 is          yy_do_action_273 is
11768                          --|#line <not available> "eiffel.y"                          --|#line <not available> "eiffel.y"
11769                  local                  local
11770                          yyval56: IF_AS                          yyval56: IF_AS
# Line 11567  if yy_parsing_status = yyContinue then Line 11802  if yy_parsing_status = yyContinue then
11802  end  end
11803                  end                  end
11804    
11805          yy_do_action_267 is          yy_do_action_274 is
11806                          --|#line <not available> "eiffel.y"                          --|#line <not available> "eiffel.y"
11807                  local                  local
11808                          yyval56: IF_AS                          yyval56: IF_AS
# Line 11611  if yy_parsing_status = yyContinue then Line 11846  if yy_parsing_status = yyContinue then
11846  end  end
11847                  end                  end
11848    
11849          yy_do_action_268 is          yy_do_action_275 is
11850                          --|#line <not available> "eiffel.y"                          --|#line <not available> "eiffel.y"
11851                  local                  local
11852                          yyval89: EIFFEL_LIST [ELSIF_AS]                          yyval89: EIFFEL_LIST [ELSIF_AS]
# Line 11629  if yy_parsing_status = yyContinue then Line 11864  if yy_parsing_status = yyContinue then
11864  end  end
11865                  end                  end
11866    
11867          yy_do_action_269 is          yy_do_action_276 is
11868                          --|#line <not available> "eiffel.y"                          --|#line <not available> "eiffel.y"
11869                  local                  local
11870                          yyval89: EIFFEL_LIST [ELSIF_AS]                          yyval89: EIFFEL_LIST [ELSIF_AS]
# Line 11668  if yy_parsing_status = yyContinue then Line 11903  if yy_parsing_status = yyContinue then
11903  end  end
11904                  end                  end
11905    
11906          yy_do_action_270 is          yy_do_action_277 is
11907                          --|#line <not available> "eiffel.y"                          --|#line <not available> "eiffel.y"
11908                  local                  local
11909                          yyval89: EIFFEL_LIST [ELSIF_AS]                          yyval89: EIFFEL_LIST [ELSIF_AS]
# Line 11691  if yy_parsing_status = yyContinue then Line 11926  if yy_parsing_status = yyContinue then
11926  end  end
11927                  end                  end
11928    
11929          yy_do_action_271 is          yy_do_action_278 is
11930                          --|#line <not available> "eiffel.y"                          --|#line <not available> "eiffel.y"
11931                  local                  local
11932                          yyval45: ELSIF_AS                          yyval45: ELSIF_AS
# Line 11728  if yy_parsing_status = yyContinue then Line 11963  if yy_parsing_status = yyContinue then
11963  end  end
11964                  end                  end
11965    
11966          yy_do_action_272 is          yy_do_action_279 is
11967                          --|#line <not available> "eiffel.y"                          --|#line <not available> "eiffel.y"
11968                  local                  local
11969                          yyval16: PAIR [KEYWORD_AS, EIFFEL_LIST [INSTRUCTION_AS]]                          yyval16: PAIR [KEYWORD_AS, EIFFEL_LIST [INSTRUCTION_AS]]
# Line 11764  if yy_parsing_status = yyContinue then Line 11999  if yy_parsing_status = yyContinue then
11999  end  end
12000                  end                  end
12001    
12002          yy_do_action_273 is          yy_do_action_280 is
12003                          --|#line <not available> "eiffel.y"                          --|#line <not available> "eiffel.y"
12004                  local                  local
12005                          yyval58: INSPECT_AS                          yyval58: INSPECT_AS
# Line 11801  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_274 is          yy_do_action_281 is
12040                          --|#line <not available> "eiffel.y"                          --|#line <not available> "eiffel.y"
12041                  local                  local
12042                          yyval58: INSPECT_AS                          yyval58: INSPECT_AS
# Line 11845  if yy_parsing_status = yyContinue then Line 12080  if yy_parsing_status = yyContinue then
12080  end  end
12081                  end                  end
12082    
12083          yy_do_action_275 is          yy_do_action_282 is
12084                          --|#line <not available> "eiffel.y"                          --|#line <not available> "eiffel.y"
12085                  local                  local
12086                          yyval86: EIFFEL_LIST [CASE_AS]                          yyval86: EIFFEL_LIST [CASE_AS]
# Line 11879  if yy_parsing_status = yyContinue then Line 12114  if yy_parsing_status = yyContinue then
12114  end  end
12115                  end                  end
12116    
12117          yy_do_action_276 is          yy_do_action_283 is
12118                          --|#line <not available> "eiffel.y"                          --|#line <not available> "eiffel.y"
12119                  local                  local
12120                          yyval86: EIFFEL_LIST [CASE_AS]                          yyval86: EIFFEL_LIST [CASE_AS]
# Line 11897  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_277 is          yy_do_action_284 is
12136                          --|#line <not available> "eiffel.y"                          --|#line <not available> "eiffel.y"
12137                  local                  local
12138                          yyval86: EIFFEL_LIST [CASE_AS]                          yyval86: EIFFEL_LIST [CASE_AS]
# Line 11936  if yy_parsing_status = yyContinue then Line 12171  if yy_parsing_status = yyContinue then
12171  end  end
12172                  end                  end
12173    
12174          yy_do_action_278 is          yy_do_action_285 is
12175                          --|#line <not available> "eiffel.y"                          --|#line <not available> "eiffel.y"
12176                  local                  local
12177                          yyval86: EIFFEL_LIST [CASE_AS]                          yyval86: EIFFEL_LIST [CASE_AS]
# Line 11959  if yy_parsing_status = yyContinue then Line 12194  if yy_parsing_status = yyContinue then
12194  end  end
12195                  end                  end
12196    
12197          yy_do_action_279 is          yy_do_action_286 is
12198                          --|#line <not available> "eiffel.y"                          --|#line <not available> "eiffel.y"
12199                  local                  local
12200                          yyval36: CASE_AS                          yyval36: CASE_AS
# Line 11997  if yy_parsing_status = yyContinue then Line 12232  if yy_parsing_status = yyContinue then
12232  end  end
12233                  end                  end
12234    
12235          yy_do_action_280 is          yy_do_action_287 is
12236                          --|#line <not available> "eiffel.y"                          --|#line <not available> "eiffel.y"
12237                  local                  local
12238                          yyval104: EIFFEL_LIST [INTERVAL_AS]                          yyval104: EIFFEL_LIST [INTERVAL_AS]
# Line 12036  if yy_parsing_status = yyContinue then Line 12271  if yy_parsing_status = yyContinue then
12271  end  end
12272                  end                  end
12273    
12274          yy_do_action_281 is          yy_do_action_288 is
12275                          --|#line <not available> "eiffel.y"                          --|#line <not available> "eiffel.y"
12276                  local                  local
12277                          yyval104: EIFFEL_LIST [INTERVAL_AS]                          yyval104: EIFFEL_LIST [INTERVAL_AS]
# Line 12061  if yy_parsing_status = yyContinue then Line 12296  if yy_parsing_status = yyContinue then
12296  end  end
12297                  end                  end
12298    
12299          yy_do_action_282 is          yy_do_action_289 is
12300                          --|#line <not available> "eiffel.y"                          --|#line <not available> "eiffel.y"
12301                  local                  local
12302                          yyval61: INTERVAL_AS                          yyval61: INTERVAL_AS
# Line 12096  if yy_parsing_status = yyContinue then Line 12331  if yy_parsing_status = yyContinue then
12331  end  end
12332                  end                  end
12333    
12334          yy_do_action_283 is          yy_do_action_290 is
12335                          --|#line <not available> "eiffel.y"                          --|#line <not available> "eiffel.y"
12336                  local                  local
12337                          yyval61: INTERVAL_AS                          yyval61: INTERVAL_AS
# Line 12132  if yy_parsing_status = yyContinue then Line 12367  if yy_parsing_status = yyContinue then
12367  end  end
12368                  end                  end
12369    
12370          yy_do_action_284 is          yy_do_action_291 is
12371                          --|#line <not available> "eiffel.y"                          --|#line <not available> "eiffel.y"
12372                  local                  local
12373                          yyval61: INTERVAL_AS                          yyval61: INTERVAL_AS
# Line 12167  if yy_parsing_status = yyContinue then Line 12402  if yy_parsing_status = yyContinue then
12402  end  end
12403                  end                  end
12404    
12405          yy_do_action_285 is          yy_do_action_292 is
12406                          --|#line <not available> "eiffel.y"                          --|#line <not available> "eiffel.y"
12407                  local                  local
12408                          yyval61: INTERVAL_AS                          yyval61: INTERVAL_AS
# Line 12203  if yy_parsing_status = yyContinue then Line 12438  if yy_parsing_status = yyContinue then
12438  end  end
12439                  end                  end
12440    
12441          yy_do_action_286 is          yy_do_action_293 is
12442                          --|#line <not available> "eiffel.y"                          --|#line <not available> "eiffel.y"
12443                  local                  local
12444                          yyval61: INTERVAL_AS                          yyval61: INTERVAL_AS
# Line 12238  if yy_parsing_status = yyContinue then Line 12473  if yy_parsing_status = yyContinue then
12473  end  end
12474                  end                  end
12475    
12476          yy_do_action_287 is          yy_do_action_294 is
12477                          --|#line <not available> "eiffel.y"                          --|#line <not available> "eiffel.y"
12478                  local                  local
12479                          yyval61: INTERVAL_AS                          yyval61: INTERVAL_AS
# Line 12274  if yy_parsing_status = yyContinue then Line 12509  if yy_parsing_status = yyContinue then
12509  end  end
12510                  end                  end
12511    
12512          yy_do_action_288 is          yy_do_action_295 is
12513                          --|#line <not available> "eiffel.y"                          --|#line <not available> "eiffel.y"
12514                  local                  local
12515                          yyval61: INTERVAL_AS                          yyval61: INTERVAL_AS
# Line 12311  if yy_parsing_status = yyContinue then Line 12546  if yy_parsing_status = yyContinue then
12546  end  end
12547                  end                  end
12548    
12549          yy_do_action_289 is          yy_do_action_296 is
12550                          --|#line <not available> "eiffel.y"                          --|#line <not available> "eiffel.y"
12551                  local                  local
12552                          yyval61: INTERVAL_AS                          yyval61: INTERVAL_AS
# Line 12348  if yy_parsing_status = yyContinue then Line 12583  if yy_parsing_status = yyContinue then
12583  end  end
12584                  end                  end
12585    
12586          yy_do_action_290 is          yy_do_action_297 is
12587                          --|#line <not available> "eiffel.y"                          --|#line <not available> "eiffel.y"
12588                  local                  local
12589                          yyval61: INTERVAL_AS                          yyval61: INTERVAL_AS
# Line 12385  if yy_parsing_status = yyContinue then Line 12620  if yy_parsing_status = yyContinue then
12620  end  end
12621                  end                  end
12622    
12623          yy_do_action_291 is          yy_do_action_298 is
12624                          --|#line <not available> "eiffel.y"                          --|#line <not available> "eiffel.y"
12625                  local                  local
12626                          yyval61: INTERVAL_AS                          yyval61: INTERVAL_AS
# Line 12422  if yy_parsing_status = yyContinue then Line 12657  if yy_parsing_status = yyContinue then
12657  end  end
12658                  end                  end
12659    
12660          yy_do_action_292 is          yy_do_action_299 is
12661                          --|#line <not available> "eiffel.y"                          --|#line <not available> "eiffel.y"
12662                  local                  local
12663                          yyval61: INTERVAL_AS                          yyval61: INTERVAL_AS
# Line 12457  if yy_parsing_status = yyContinue then Line 12692  if yy_parsing_status = yyContinue then
12692  end  end
12693                  end                  end
12694    
12695          yy_do_action_293 is          yy_do_action_300 is
12696                          --|#line <not available> "eiffel.y"                          --|#line <not available> "eiffel.y"
12697                  local                  local
12698                          yyval61: INTERVAL_AS                          yyval61: INTERVAL_AS
# Line 12494  if yy_parsing_status = yyContinue then Line 12729  if yy_parsing_status = yyContinue then
12729  end  end
12730                  end                  end
12731    
12732          yy_do_action_294 is          yy_do_action_301 is
12733                          --|#line <not available> "eiffel.y"                          --|#line <not available> "eiffel.y"
12734                  local                  local
12735                          yyval61: INTERVAL_AS                          yyval61: INTERVAL_AS
# Line 12531  if yy_parsing_status = yyContinue then Line 12766  if yy_parsing_status = yyContinue then
12766  end  end
12767                  end                  end
12768    
12769          yy_do_action_295 is          yy_do_action_302 is
12770                          --|#line <not available> "eiffel.y"                          --|#line <not available> "eiffel.y"
12771                  local                  local
12772                          yyval61: INTERVAL_AS                          yyval61: INTERVAL_AS
# Line 12567  if yy_parsing_status = yyContinue then Line 12802  if yy_parsing_status = yyContinue then
12802  end  end
12803                  end                  end
12804    
12805          yy_do_action_296 is          yy_do_action_303 is
12806                          --|#line <not available> "eiffel.y"                          --|#line <not available> "eiffel.y"
12807                  local                  local
12808                          yyval61: INTERVAL_AS                          yyval61: INTERVAL_AS
# Line 12604  if yy_parsing_status = yyContinue then Line 12839  if yy_parsing_status = yyContinue then
12839  end  end
12840                  end                  end
12841    
12842          yy_do_action_297 is          yy_do_action_304 is
12843                          --|#line <not available> "eiffel.y"                          --|#line <not available> "eiffel.y"
12844                  local                  local
12845                          yyval61: INTERVAL_AS                          yyval61: INTERVAL_AS
# Line 12641  if yy_parsing_status = yyContinue then Line 12876  if yy_parsing_status = yyContinue then
12876  end  end
12877                  end                  end
12878    
12879          yy_do_action_298 is          yy_do_action_305 is
12880                          --|#line <not available> "eiffel.y"                          --|#line <not available> "eiffel.y"
12881                  local                  local
12882                          yyval61: INTERVAL_AS                          yyval61: INTERVAL_AS
# Line 12678  if yy_parsing_status = yyContinue then Line 12913  if yy_parsing_status = yyContinue then
12913  end  end
12914                  end                  end
12915    
12916          yy_do_action_299 is          yy_do_action_306 is
12917                          --|#line <not available> "eiffel.y"                          --|#line <not available> "eiffel.y"
12918                  local                  local
12919                          yyval61: INTERVAL_AS                          yyval61: INTERVAL_AS
# Line 12715  if yy_parsing_status = yyContinue then Line 12950  if yy_parsing_status = yyContinue then
12950  end  end
12951                  end                  end
12952    
12953          yy_do_action_300 is          yy_do_action_307 is
12954                          --|#line <not available> "eiffel.y"                          --|#line <not available> "eiffel.y"
12955                  local                  local
12956                          yyval63: LOOP_AS                          yyval63: LOOP_AS
# Line 12759  if yy_parsing_status = yyContinue then Line 12994  if yy_parsing_status = yyContinue then
12994  end  end
12995                  end                  end
12996    
12997          yy_do_action_301 is          yy_do_action_308 is
12998                          --|#line <not available> "eiffel.y"                          --|#line <not available> "eiffel.y"
12999                  local                  local
13000                          yyval23: PAIR [KEYWORD_AS, EIFFEL_LIST [TAGGED_AS]]                          yyval23: PAIR [KEYWORD_AS, EIFFEL_LIST [TAGGED_AS]]
# Line 12793  if yy_parsing_status = yyContinue then Line 13028  if yy_parsing_status = yyContinue then
13028  end  end
13029                  end                  end
13030    
13031          yy_do_action_302 is          yy_do_action_309 is
13032                          --|#line <not available> "eiffel.y"                          --|#line <not available> "eiffel.y"
13033                  local                  local
13034                          yyval23: PAIR [KEYWORD_AS, EIFFEL_LIST [TAGGED_AS]]                          yyval23: PAIR [KEYWORD_AS, EIFFEL_LIST [TAGGED_AS]]
# Line 12829  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_303 is          yy_do_action_310 is
13068                          --|#line <not available> "eiffel.y"                          --|#line <not available> "eiffel.y"
13069                  local                  local
13070                          yyval62: INVARIANT_AS                          yyval62: INVARIANT_AS
# Line 12863  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_304 is          yy_do_action_311 is
13102                          --|#line <not available> "eiffel.y"                          --|#line <not available> "eiffel.y"
13103                  local                  local
13104                          yyval62: INVARIANT_AS                          yyval62: INVARIANT_AS
# Line 12885  if yy_parsing_status = yyContinue then Line 13120  if yy_parsing_status = yyContinue then
13120  end  end
13121                  end                  end
13122    
13123          yy_do_action_305 is          yy_do_action_312 is
13124                          --|#line <not available> "eiffel.y"                          --|#line <not available> "eiffel.y"
13125                  local                  local
13126                          yyval62: INVARIANT_AS                          yyval62: INVARIANT_AS
# Line 12919  if yy_parsing_status = yyContinue then Line 13154  if yy_parsing_status = yyContinue then
13154  end  end
13155                  end                  end
13156    
13157          yy_do_action_306 is          yy_do_action_313 is
13158                          --|#line <not available> "eiffel.y"                          --|#line <not available> "eiffel.y"
13159                  local                  local
13160                          yyval83: VARIANT_AS                          yyval83: VARIANT_AS
# Line 12953  if yy_parsing_status = yyContinue then Line 13188  if yy_parsing_status = yyContinue then
13188  end  end
13189                  end                  end
13190    
13191          yy_do_action_307 is          yy_do_action_314 is
13192                          --|#line <not available> "eiffel.y"                          --|#line <not available> "eiffel.y"
13193                  local                  local
13194                          yyval83: VARIANT_AS                          yyval83: VARIANT_AS
# Line 12991  if yy_parsing_status = yyContinue then Line 13226  if yy_parsing_status = yyContinue then
13226  end  end
13227                  end                  end
13228    
13229          yy_do_action_308 is          yy_do_action_315 is
13230                          --|#line <not available> "eiffel.y"                          --|#line <not available> "eiffel.y"
13231                  local                  local
13232                          yyval83: VARIANT_AS                          yyval83: VARIANT_AS
# Line 13027  if yy_parsing_status = yyContinue then Line 13262  if yy_parsing_status = yyContinue then
13262  end  end
13263                  end                  end
13264    
13265          yy_do_action_309 is          yy_do_action_316 is
13266                          --|#line <not available> "eiffel.y"                          --|#line <not available> "eiffel.y"
13267                  local                  local
13268                          yyval44: DEBUG_AS                          yyval44: DEBUG_AS
# Line 13064  if yy_parsing_status = yyContinue then Line 13299  if yy_parsing_status = yyContinue then
13299  end  end
13300                  end                  end
13301    
13302          yy_do_action_310 is          yy_do_action_317 is
13303                          --|#line <not available> "eiffel.y"                          --|#line <not available> "eiffel.y"
13304                  local                  local
13305                          yyval111: DEBUG_KEY_LIST_AS                          yyval111: DEBUG_KEY_LIST_AS
# Line 13098  if yy_parsing_status = yyContinue then Line 13333  if yy_parsing_status = yyContinue then
13333  end  end
13334                  end                  end
13335    
13336          yy_do_action_311 is          yy_do_action_318 is
13337                          --|#line <not available> "eiffel.y"                          --|#line <not available> "eiffel.y"
13338                  local                  local
13339                          yyval111: DEBUG_KEY_LIST_AS                          yyval111: DEBUG_KEY_LIST_AS
# Line 13133  if yy_parsing_status = yyContinue then Line 13368  if yy_parsing_status = yyContinue then
13368  end  end
13369                  end                  end
13370    
13371          yy_do_action_312 is          yy_do_action_319 is
13372                          --|#line <not available> "eiffel.y"                          --|#line <not available> "eiffel.y"
13373                  local                  local
13374                          yyval111: DEBUG_KEY_LIST_AS                          yyval111: DEBUG_KEY_LIST_AS
# Line 13170  if yy_parsing_status = yyContinue then Line 13405  if yy_parsing_status = yyContinue then
13405  end  end
13406                  end                  end
13407    
13408          yy_do_action_313 is          yy_do_action_320 is
13409                          --|#line <not available> "eiffel.y"                          --|#line <not available> "eiffel.y"
13410                  local                  local
13411                          yyval110: EIFFEL_LIST [STRING_AS]                          yyval110: EIFFEL_LIST [STRING_AS]
# Line 13209  if yy_parsing_status = yyContinue then Line 13444  if yy_parsing_status = yyContinue then
13444  end  end
13445                  end                  end
13446    
13447          yy_do_action_314 is          yy_do_action_321 is
13448                          --|#line <not available> "eiffel.y"                          --|#line <not available> "eiffel.y"
13449                  local                  local
13450                          yyval110: EIFFEL_LIST [STRING_AS]                          yyval110: EIFFEL_LIST [STRING_AS]
# Line 13234  if yy_parsing_status = yyContinue then Line 13469  if yy_parsing_status = yyContinue then
13469  end  end
13470                  end                  end
13471    
13472          yy_do_action_315 is          yy_do_action_322 is
13473                          --|#line <not available> "eiffel.y"                          --|#line <not available> "eiffel.y"
13474                  local                  local
13475                          yyval16: PAIR [KEYWORD_AS, EIFFEL_LIST [INSTRUCTION_AS]]                          yyval16: PAIR [KEYWORD_AS, EIFFEL_LIST [INSTRUCTION_AS]]
# Line 13268  if yy_parsing_status = yyContinue then Line 13503  if yy_parsing_status = yyContinue then
13503  end  end
13504                  end                  end
13505    
13506          yy_do_action_316 is          yy_do_action_323 is
13507                          --|#line <not available> "eiffel.y"                          --|#line <not available> "eiffel.y"
13508                  local                  local
13509                          yyval16: PAIR [KEYWORD_AS, EIFFEL_LIST [INSTRUCTION_AS]]                          yyval16: PAIR [KEYWORD_AS, EIFFEL_LIST [INSTRUCTION_AS]]
# Line 13309  if yy_parsing_status = yyContinue then Line 13544  if yy_parsing_status = yyContinue then
13544  end  end
13545                  end                  end
13546    
13547          yy_do_action_317 is          yy_do_action_324 is
13548                          --|#line <not available> "eiffel.y"                          --|#line <not available> "eiffel.y"
13549                  local                  local
13550                          yyval48: EXPR_AS                          yyval48: EXPR_AS
# Line 13344  if yy_parsing_status = yyContinue then Line 13579  if yy_parsing_status = yyContinue then
13579  end  end
13580                  end                  end
13581    
13582          yy_do_action_318 is          yy_do_action_325 is
13583                          --|#line <not available> "eiffel.y"                          --|#line <not available> "eiffel.y"
13584                  local                  local
13585                          yyval48: EXPR_AS                          yyval48: EXPR_AS
# Line 13361  if yy_parsing_status = yyContinue then Line 13596  if yy_parsing_status = yyContinue then
13596  end  end
13597                  end                  end
13598    
13599          yy_do_action_319 is          yy_do_action_326 is
13600                          --|#line <not available> "eiffel.y"                          --|#line <not available> "eiffel.y"
13601                  local                  local
13602                          yyval48: EXPR_AS                          yyval48: EXPR_AS
# Line 13396  if yy_parsing_status = yyContinue then Line 13631  if yy_parsing_status = yyContinue then
13631  end  end
13632                  end                  end
13633    
13634          yy_do_action_320 is          yy_do_action_327 is
13635                          --|#line <not available> "eiffel.y"                          --|#line <not available> "eiffel.y"
13636                  local                  local
13637                          yyval48: EXPR_AS                          yyval48: EXPR_AS
# Line 13431  if yy_parsing_status = yyContinue then Line 13666  if yy_parsing_status = yyContinue then
13666  end  end
13667                  end                  end
13668    
13669          yy_do_action_321 is          yy_do_action_328 is
13670                          --|#line <not available> "eiffel.y"                          --|#line <not available> "eiffel.y"
13671                  local                  local
13672                          yyval30: ASSIGNER_CALL_AS                          yyval30: ASSIGNER_CALL_AS
# Line 13467  if yy_parsing_status = yyContinue then Line 13702  if yy_parsing_status = yyContinue then
13702  end  end
13703                  end                  end
13704    
13705          yy_do_action_322 is          yy_do_action_329 is
13706                          --|#line <not available> "eiffel.y"                          --|#line <not available> "eiffel.y"
13707                  local                  local
13708                          yyval29: ASSIGN_AS                          yyval29: ASSIGN_AS
# Line 13504  if yy_parsing_status = yyContinue then Line 13739  if yy_parsing_status = yyContinue then
13739  end  end
13740                  end                  end
13741    
13742          yy_do_action_323 is          yy_do_action_330 is
13743                          --|#line <not available> "eiffel.y"                          --|#line <not available> "eiffel.y"
13744                  local                  local
13745                          yyval29: ASSIGN_AS                          yyval29: ASSIGN_AS
# Line 13541  if yy_parsing_status = yyContinue then Line 13776  if yy_parsing_status = yyContinue then
13776  end  end
13777                  end                  end
13778    
13779          yy_do_action_324 is          yy_do_action_331 is
13780                          --|#line <not available> "eiffel.y"                          --|#line <not available> "eiffel.y"
13781                  local                  local
13782                          yyval72: REVERSE_AS                          yyval72: REVERSE_AS
# Line 13578  if yy_parsing_status = yyContinue then Line 13813  if yy_parsing_status = yyContinue then
13813  end  end
13814                  end                  end
13815    
13816          yy_do_action_325 is          yy_do_action_332 is
13817                          --|#line <not available> "eiffel.y"                          --|#line <not available> "eiffel.y"
13818                  local                  local
13819                          yyval72: REVERSE_AS                          yyval72: REVERSE_AS
# Line 13615  if yy_parsing_status = yyContinue then Line 13850  if yy_parsing_status = yyContinue then
13850  end  end
13851                  end                  end
13852    
13853          yy_do_action_326 is          yy_do_action_333 is
13854                          --|#line <not available> "eiffel.y"                          --|#line <not available> "eiffel.y"
13855                  local                  local
13856                          yyval88: EIFFEL_LIST [CREATE_AS]                          yyval88: EIFFEL_LIST [CREATE_AS]
# Line 13649  if yy_parsing_status = yyContinue then Line 13884  if yy_parsing_status = yyContinue then
13884  end  end
13885                  end                  end
13886    
13887          yy_do_action_327 is          yy_do_action_334 is
13888                          --|#line <not available> "eiffel.y"                          --|#line <not available> "eiffel.y"
13889                  local                  local
13890                          yyval88: EIFFEL_LIST [CREATE_AS]                          yyval88: EIFFEL_LIST [CREATE_AS]
# Line 13667  if yy_parsing_status = yyContinue then Line 13902  if yy_parsing_status = yyContinue then
13902  end  end
13903                  end                  end
13904    
13905          yy_do_action_328 is          yy_do_action_335 is
13906                          --|#line <not available> "eiffel.y"                          --|#line <not available> "eiffel.y"
13907                  local                  local
13908                          yyval88: EIFFEL_LIST [CREATE_AS]                          yyval88: EIFFEL_LIST [CREATE_AS]
# Line 13706  if yy_parsing_status = yyContinue then Line 13941  if yy_parsing_status = yyContinue then
13941  end  end
13942                  end                  end
13943    
13944          yy_do_action_329 is          yy_do_action_336 is
13945                          --|#line <not available> "eiffel.y"                          --|#line <not available> "eiffel.y"
13946                  local                  local
13947                          yyval88: EIFFEL_LIST [CREATE_AS]                          yyval88: EIFFEL_LIST [CREATE_AS]
# Line 13729  if yy_parsing_status = yyContinue then Line 13964  if yy_parsing_status = yyContinue then
13964  end  end
13965                  end                  end
13966    
13967          yy_do_action_330 is          yy_do_action_337 is
13968                          --|#line <not available> "eiffel.y"                          --|#line <not available> "eiffel.y"
13969                  local                  local
13970                          yyval41: CREATE_AS                          yyval41: CREATE_AS
# Line 13765  if yy_parsing_status = yyContinue then Line 14000  if yy_parsing_status = yyContinue then
14000  end  end
14001                  end                  end
14002    
14003          yy_do_action_331 is          yy_do_action_338 is
14004                          --|#line <not available> "eiffel.y"                          --|#line <not available> "eiffel.y"
14005                  local                  local
14006                          yyval41: CREATE_AS                          yyval41: CREATE_AS
# Line 13803  if yy_parsing_status = yyContinue then Line 14038  if yy_parsing_status = yyContinue then
14038  end  end
14039                  end                  end
14040    
14041          yy_do_action_332 is          yy_do_action_339 is
14042                          --|#line <not available> "eiffel.y"                          --|#line <not available> "eiffel.y"
14043                  local                  local
14044                          yyval41: CREATE_AS                          yyval41: CREATE_AS
# Line 13840  if yy_parsing_status = yyContinue then Line 14075  if yy_parsing_status = yyContinue then
14075  end  end
14076                  end                  end
14077    
14078          yy_do_action_333 is          yy_do_action_340 is
14079                          --|#line <not available> "eiffel.y"                          --|#line <not available> "eiffel.y"
14080                  local                  local
14081                          yyval41: CREATE_AS                          yyval41: CREATE_AS
# Line 13881  if yy_parsing_status = yyContinue then Line 14116  if yy_parsing_status = yyContinue then
14116  end  end
14117                  end                  end
14118    
14119          yy_do_action_334 is          yy_do_action_341 is
14120                          --|#line <not available> "eiffel.y"                          --|#line <not available> "eiffel.y"
14121                  local                  local
14122                          yyval41: CREATE_AS                          yyval41: CREATE_AS
# Line 13924  if yy_parsing_status = yyContinue then Line 14159  if yy_parsing_status = yyContinue then
14159  end  end
14160                  end                  end
14161    
14162          yy_do_action_335 is          yy_do_action_342 is
14163                          --|#line <not available> "eiffel.y"                          --|#line <not available> "eiffel.y"
14164                  local                  local
14165                          yyval41: CREATE_AS                          yyval41: CREATE_AS
# Line 13966  if yy_parsing_status = yyContinue then Line 14201  if yy_parsing_status = yyContinue then
14201  end  end
14202                  end                  end
14203    
14204          yy_do_action_336 is          yy_do_action_343 is
14205                          --|#line <not available> "eiffel.y"                          --|#line <not available> "eiffel.y"
14206                  local                  local
14207                          yyval75: ROUTINE_CREATION_AS                          yyval75: ROUTINE_CREATION_AS
# Line 13999  if yy_parsing_status = yyContinue then Line 14234  if yy_parsing_status = yyContinue then
14234  end  end
14235                  end                  end
14236    
14237          yy_do_action_337 is          yy_do_action_344 is
14238                          --|#line <not available> "eiffel.y"                          --|#line <not available> "eiffel.y"
14239                  local                  local
14240                          yyval75: ROUTINE_CREATION_AS                          yyval75: ROUTINE_CREATION_AS
# Line 14033  if yy_parsing_status = yyContinue then Line 14268  if yy_parsing_status = yyContinue then
14268  end  end
14269                  end                  end
14270    
14271          yy_do_action_338 is          yy_do_action_345 is
14272                          --|#line <not available> "eiffel.y"                          --|#line <not available> "eiffel.y"
14273                  local                  local
14274                          yyval75: ROUTINE_CREATION_AS                          yyval75: ROUTINE_CREATION_AS
# Line 14067  if yy_parsing_status = yyContinue then Line 14302  if yy_parsing_status = yyContinue then
14302  end  end
14303                  end                  end
14304    
14305          yy_do_action_339 is          yy_do_action_346 is
14306                          --|#line <not available> "eiffel.y"                          --|#line <not available> "eiffel.y"
14307                  local                  local
14308                          yyval75: ROUTINE_CREATION_AS                          yyval75: ROUTINE_CREATION_AS
# Line 14106  if yy_parsing_status = yyContinue then Line 14341  if yy_parsing_status = yyContinue then
14341  end  end
14342                  end                  end
14343    
14344          yy_do_action_340 is          yy_do_action_347 is
14345                          --|#line <not available> "eiffel.y"                          --|#line <not available> "eiffel.y"
14346                  local                  local
14347                          yyval75: ROUTINE_CREATION_AS                          yyval75: ROUTINE_CREATION_AS
# Line 14154  if yy_parsing_status = yyContinue then Line 14389  if yy_parsing_status = yyContinue then
14389  end  end
14390                  end                  end
14391    
14392          yy_do_action_341 is          yy_do_action_348 is
14393                          --|#line <not available> "eiffel.y"                          --|#line <not available> "eiffel.y"
14394                  local                  local
14395                          yyval75: ROUTINE_CREATION_AS                          yyval75: ROUTINE_CREATION_AS
# Line 14197  if yy_parsing_status = yyContinue then Line 14432  if yy_parsing_status = yyContinue then
14432  end  end
14433                  end                  end
14434    
14435          yy_do_action_342 is          yy_do_action_349 is
14436                          --|#line <not available> "eiffel.y"                          --|#line <not available> "eiffel.y"
14437                  local                  local
14438                          yyval115: FORMAL_ARGU_DEC_LIST_AS                          yyval115: FORMAL_ARGU_DEC_LIST_AS
# Line 14231  if yy_parsing_status = yyContinue then Line 14466  if yy_parsing_status = yyContinue then
14466  end  end
14467                  end                  end
14468    
14469          yy_do_action_343 is          yy_do_action_350 is
14470                          --|#line <not available> "eiffel.y"                          --|#line <not available> "eiffel.y"
14471                  local                  local
14472                          yyval115: FORMAL_ARGU_DEC_LIST_AS                          yyval115: FORMAL_ARGU_DEC_LIST_AS
# Line 14249  if yy_parsing_status = yyContinue then Line 14484  if yy_parsing_status = yyContinue then
14484  end  end
14485                  end                  end
14486    
14487          yy_do_action_344 is          yy_do_action_351 is
14488                          --|#line <not available> "eiffel.y"                          --|#line <not available> "eiffel.y"
14489                  local                  local
14490                          yyval80: PAIR [SYMBOL_AS, TYPE_AS]                          yyval80: PAIR [SYMBOL_AS, TYPE_AS]
# Line 14283  if yy_parsing_status = yyContinue then Line 14518  if yy_parsing_status = yyContinue then
14518  end  end
14519                  end                  end
14520    
14521          yy_do_action_345 is          yy_do_action_352 is
14522                          --|#line <not available> "eiffel.y"                          --|#line <not available> "eiffel.y"
14523                  local                  local
14524                          yyval80: PAIR [SYMBOL_AS, TYPE_AS]                          yyval80: PAIR [SYMBOL_AS, TYPE_AS]
# Line 14320  if yy_parsing_status = yyContinue then Line 14555  if yy_parsing_status = yyContinue then
14555  end  end
14556                  end                  end
14557    
14558          yy_do_action_346 is          yy_do_action_353 is
14559                          --|#line <not available> "eiffel.y"                          --|#line <not available> "eiffel.y"
14560                  local                  local
14561                          yyval74: ROUTINE_AS                          yyval74: ROUTINE_AS
# Line 14338  if yy_parsing_status = yyContinue then Line 14573  if yy_parsing_status = yyContinue then
14573  end  end
14574                  end                  end
14575    
14576          yy_do_action_347 is          yy_do_action_354 is
14577                          --|#line <not available> "eiffel.y"                          --|#line <not available> "eiffel.y"
14578                  local                  local
14579                          yyval77: PAIR [ROUTINE_CREATION_AS, LOCATION_AS]                          yyval77: PAIR [ROUTINE_CREATION_AS, LOCATION_AS]
# Line 14376  if yy_parsing_status = yyContinue then Line 14611  if yy_parsing_status = yyContinue then
14611  end  end
14612                  end                  end
14613    
14614          yy_do_action_348 is          yy_do_action_355 is
14615                          --|#line <not available> "eiffel.y"                          --|#line <not available> "eiffel.y"
14616                  local                  local
14617                          yyval77: PAIR [ROUTINE_CREATION_AS, LOCATION_AS]                          yyval77: PAIR [ROUTINE_CREATION_AS, LOCATION_AS]
# Line 14414  if yy_parsing_status = yyContinue then Line 14649  if yy_parsing_status = yyContinue then
14649  end  end
14650                  end                  end
14651    
14652          yy_do_action_349 is          yy_do_action_356 is
14653                          --|#line <not available> "eiffel.y"                          --|#line <not available> "eiffel.y"
14654                  local                  local
14655                          yyval77: PAIR [ROUTINE_CREATION_AS, LOCATION_AS]                          yyval77: PAIR [ROUTINE_CREATION_AS, LOCATION_AS]
# Line 14457  if yy_parsing_status = yyContinue then Line 14692  if yy_parsing_status = yyContinue then
14692  end  end
14693                  end                  end
14694    
14695          yy_do_action_350 is          yy_do_action_357 is
14696                          --|#line <not available> "eiffel.y"                          --|#line <not available> "eiffel.y"
14697                  local                  local
14698                          yyval77: PAIR [ROUTINE_CREATION_AS, LOCATION_AS]                          yyval77: PAIR [ROUTINE_CREATION_AS, LOCATION_AS]
# Line 14496  if yy_parsing_status = yyContinue then Line 14731  if yy_parsing_status = yyContinue then
14731  end  end
14732                  end                  end
14733    
14734          yy_do_action_351 is          yy_do_action_358 is
14735                          --|#line <not available> "eiffel.y"                          --|#line <not available> "eiffel.y"
14736                  local                  local
14737                          yyval77: PAIR [ROUTINE_CREATION_AS, LOCATION_AS]                          yyval77: PAIR [ROUTINE_CREATION_AS, LOCATION_AS]
# Line 14535  if yy_parsing_status = yyContinue then Line 14770  if yy_parsing_status = yyContinue then
14770  end  end
14771                  end                  end
14772    
14773          yy_do_action_352 is          yy_do_action_359 is
14774                          --|#line <not available> "eiffel.y"                          --|#line <not available> "eiffel.y"
14775                  local                  local
14776                          yyval77: PAIR [ROUTINE_CREATION_AS, LOCATION_AS]                          yyval77: PAIR [ROUTINE_CREATION_AS, LOCATION_AS]
# Line 14577  if yy_parsing_status = yyContinue then Line 14812  if yy_parsing_status = yyContinue then
14812  end  end
14813                  end                  end
14814    
14815          yy_do_action_353 is          yy_do_action_360 is
14816                          --|#line <not available> "eiffel.y"                          --|#line <not available> "eiffel.y"
14817                  local                  local
14818                          yyval77: PAIR [ROUTINE_CREATION_AS, LOCATION_AS]                          yyval77: PAIR [ROUTINE_CREATION_AS, LOCATION_AS]
# Line 14619  if yy_parsing_status = yyContinue then Line 14854  if yy_parsing_status = yyContinue then
14854  end  end
14855                  end                  end
14856    
14857          yy_do_action_354 is          yy_do_action_361 is
14858                          --|#line <not available> "eiffel.y"                          --|#line <not available> "eiffel.y"
14859                  local                  local
14860                          yyval24: AGENT_TARGET_TRIPLE                          yyval24: AGENT_TARGET_TRIPLE
# Line 14654  if yy_parsing_status = yyContinue then Line 14889  if yy_parsing_status = yyContinue then
14889  end  end
14890                  end                  end
14891    
14892          yy_do_action_355 is          yy_do_action_362 is
14893                          --|#line <not available> "eiffel.y"                          --|#line <not available> "eiffel.y"
14894                  local                  local
14895                          yyval24: AGENT_TARGET_TRIPLE                          yyval24: AGENT_TARGET_TRIPLE
# Line 14691  if yy_parsing_status = yyContinue then Line 14926  if yy_parsing_status = yyContinue then
14926  end  end
14927                  end                  end
14928    
14929          yy_do_action_356 is          yy_do_action_363 is
14930                          --|#line <not available> "eiffel.y"                          --|#line <not available> "eiffel.y"
14931                  local                  local
14932                          yyval24: AGENT_TARGET_TRIPLE                          yyval24: AGENT_TARGET_TRIPLE
# Line 14726  if yy_parsing_status = yyContinue then Line 14961  if yy_parsing_status = yyContinue then
14961  end  end
14962                  end                  end
14963    
14964          yy_do_action_357 is          yy_do_action_364 is
14965                          --|#line <not available> "eiffel.y"                          --|#line <not available> "eiffel.y"
14966                  local                  local
14967                          yyval24: AGENT_TARGET_TRIPLE                          yyval24: AGENT_TARGET_TRIPLE
# Line 14761  if yy_parsing_status = yyContinue then Line 14996  if yy_parsing_status = yyContinue then
14996  end  end
14997                  end                  end
14998    
14999          yy_do_action_358 is          yy_do_action_365 is
15000                          --|#line <not available> "eiffel.y"                          --|#line <not available> "eiffel.y"
15001                  local                  local
15002                          yyval24: AGENT_TARGET_TRIPLE                          yyval24: AGENT_TARGET_TRIPLE
# Line 14796  if yy_parsing_status = yyContinue then Line 15031  if yy_parsing_status = yyContinue then
15031  end  end
15032                  end                  end
15033    
15034          yy_do_action_359 is          yy_do_action_366 is
15035                          --|#line <not available> "eiffel.y"                          --|#line <not available> "eiffel.y"
15036                  local                  local
15037                          yyval24: AGENT_TARGET_TRIPLE                          yyval24: AGENT_TARGET_TRIPLE
# Line 14836  if yy_parsing_status = yyContinue then Line 15071  if yy_parsing_status = yyContinue then
15071  end  end
15072                  end                  end
15073    
15074          yy_do_action_360 is          yy_do_action_367 is
15075                          --|#line <not available> "eiffel.y"                          --|#line <not available> "eiffel.y"
15076                  local                  local
15077                          yyval106: DELAYED_ACTUAL_LIST_AS                          yyval106: DELAYED_ACTUAL_LIST_AS
# Line 14870  if yy_parsing_status = yyContinue then Line 15105  if yy_parsing_status = yyContinue then
15105  end  end
15106                  end                  end
15107    
15108          yy_do_action_361 is          yy_do_action_368 is
15109                          --|#line <not available> "eiffel.y"                          --|#line <not available> "eiffel.y"
15110                  local                  local
15111                          yyval106: DELAYED_ACTUAL_LIST_AS                          yyval106: DELAYED_ACTUAL_LIST_AS
# Line 14905  if yy_parsing_status = yyContinue then Line 15140  if yy_parsing_status = yyContinue then
15140  end  end
15141                  end                  end
15142    
15143          yy_do_action_362 is          yy_do_action_369 is
15144                          --|#line <not available> "eiffel.y"                          --|#line <not available> "eiffel.y"
15145                  local                  local
15146                          yyval106: DELAYED_ACTUAL_LIST_AS                          yyval106: DELAYED_ACTUAL_LIST_AS
# Line 14942  if yy_parsing_status = yyContinue then Line 15177  if yy_parsing_status = yyContinue then
15177  end  end
15178                  end                  end
15179    
15180          yy_do_action_363 is          yy_do_action_370 is
15181                          --|#line <not available> "eiffel.y"                          --|#line <not available> "eiffel.y"
15182                  local                  local
15183                          yyval105: EIFFEL_LIST [OPERAND_AS]                          yyval105: EIFFEL_LIST [OPERAND_AS]
# Line 14981  if yy_parsing_status = yyContinue then Line 15216  if yy_parsing_status = yyContinue then
15216  end  end
15217                  end                  end
15218    
15219          yy_do_action_364 is          yy_do_action_371 is
15220                          --|#line <not available> "eiffel.y"                          --|#line <not available> "eiffel.y"
15221                  local                  local
15222                          yyval105: EIFFEL_LIST [OPERAND_AS]                          yyval105: EIFFEL_LIST [OPERAND_AS]
# Line 15006  if yy_parsing_status = yyContinue then Line 15241  if yy_parsing_status = yyContinue then
15241  end  end
15242                  end                  end
15243    
15244          yy_do_action_365 is          yy_do_action_372 is
15245                          --|#line <not available> "eiffel.y"                          --|#line <not available> "eiffel.y"
15246                  local                  local
15247                          yyval65: OPERAND_AS                          yyval65: OPERAND_AS
# Line 15045  if yy_parsing_status = yyContinue then Line 15280  if yy_parsing_status = yyContinue then
15280  end  end
15281                  end                  end
15282    
15283          yy_do_action_366 is          yy_do_action_373 is
15284                          --|#line <not available> "eiffel.y"                          --|#line <not available> "eiffel.y"
15285                  local                  local
15286                          yyval65: OPERAND_AS                          yyval65: OPERAND_AS
# Line 15085  if yy_parsing_status = yyContinue then Line 15320  if yy_parsing_status = yyContinue then
15320  end  end
15321                  end                  end
15322    
15323          yy_do_action_367 is          yy_do_action_374 is
15324                          --|#line <not available> "eiffel.y"                          --|#line <not available> "eiffel.y"
15325                  local                  local
15326                          yyval65: OPERAND_AS                          yyval65: OPERAND_AS
# Line 15120  if yy_parsing_status = yyContinue then Line 15355  if yy_parsing_status = yyContinue then
15355  end  end
15356                  end                  end
15357    
15358          yy_do_action_368 is          yy_do_action_375 is
15359                          --|#line <not available> "eiffel.y"                          --|#line <not available> "eiffel.y"
15360                  local                  local
15361                          yyval42: CREATION_AS                          yyval42: CREATION_AS
# Line 15163  if yy_parsing_status = yyContinue then Line 15398  if yy_parsing_status = yyContinue then
15398  end  end
15399                  end                  end
15400    
15401          yy_do_action_369 is          yy_do_action_376 is
15402                          --|#line <not available> "eiffel.y"                          --|#line <not available> "eiffel.y"
15403                  local                  local
15404                          yyval42: CREATION_AS                          yyval42: CREATION_AS
# Line 15207  if yy_parsing_status = yyContinue then Line 15442  if yy_parsing_status = yyContinue then
15442  end  end
15443                  end                  end
15444    
15445          yy_do_action_370 is          yy_do_action_377 is
15446                          --|#line <not available> "eiffel.y"                          --|#line <not available> "eiffel.y"
15447                  local                  local
15448                          yyval42: CREATION_AS                          yyval42: CREATION_AS
# Line 15244  if yy_parsing_status = yyContinue then Line 15479  if yy_parsing_status = yyContinue then
15479  end  end
15480                  end                  end
15481    
15482          yy_do_action_371 is          yy_do_action_378 is
15483                          --|#line <not available> "eiffel.y"                          --|#line <not available> "eiffel.y"
15484                  local                  local
15485                          yyval42: CREATION_AS                          yyval42: CREATION_AS
# Line 15282  if yy_parsing_status = yyContinue then Line 15517  if yy_parsing_status = yyContinue then
15517  end  end
15518                  end                  end
15519    
15520          yy_do_action_372 is          yy_do_action_379 is
15521                          --|#line <not available> "eiffel.y"                          --|#line <not available> "eiffel.y"
15522                  local                  local
15523                          yyval43: CREATION_EXPR_AS                          yyval43: CREATION_EXPR_AS
# Line 15319  if yy_parsing_status = yyContinue then Line 15554  if yy_parsing_status = yyContinue then
15554  end  end
15555                  end                  end
15556    
15557          yy_do_action_373 is          yy_do_action_380 is
15558                          --|#line <not available> "eiffel.y"                          --|#line <not available> "eiffel.y"
15559                  local                  local
15560                          yyval43: CREATION_EXPR_AS                          yyval43: CREATION_EXPR_AS
# Line 15362  if yy_parsing_status = yyContinue then Line 15597  if yy_parsing_status = yyContinue then
15597  end  end
15598                  end                  end
15599    
15600          yy_do_action_374 is          yy_do_action_381 is
15601                          --|#line <not available> "eiffel.y"                          --|#line <not available> "eiffel.y"
15602                  local                  local
15603                          yyval25: ACCESS_AS                          yyval25: ACCESS_AS
# Line 15397  if yy_parsing_status = yyContinue then Line 15632  if yy_parsing_status = yyContinue then
15632  end  end
15633                  end                  end
15634    
15635          yy_do_action_375 is          yy_do_action_382 is
15636                          --|#line <not available> "eiffel.y"                          --|#line <not available> "eiffel.y"
15637                  local                  local
15638                          yyval25: ACCESS_AS                          yyval25: ACCESS_AS
# Line 15432  if yy_parsing_status = yyContinue then Line 15667  if yy_parsing_status = yyContinue then
15667  end  end
15668                  end                  end
15669    
15670          yy_do_action_376 is          yy_do_action_383 is
15671                          --|#line <not available> "eiffel.y"                          --|#line <not available> "eiffel.y"
15672                  local                  local
15673                          yyval27: ACCESS_INV_AS                          yyval27: ACCESS_INV_AS
# Line 15466  if yy_parsing_status = yyContinue then Line 15701  if yy_parsing_status = yyContinue then
15701  end  end
15702                  end                  end
15703    
15704          yy_do_action_377 is          yy_do_action_384 is
15705                          --|#line <not available> "eiffel.y"                          --|#line <not available> "eiffel.y"
15706                  local                  local
15707                          yyval27: ACCESS_INV_AS                          yyval27: ACCESS_INV_AS
# Line 15503  if yy_parsing_status = yyContinue then Line 15738  if yy_parsing_status = yyContinue then
15738  end  end
15739                  end                  end
15740    
15741          yy_do_action_378 is          yy_do_action_385 is
15742                          --|#line <not available> "eiffel.y"                          --|#line <not available> "eiffel.y"
15743                  local                  local
15744                          yyval35: CALL_AS                          yyval35: CALL_AS
# Line 15538  if yy_parsing_status = yyContinue then Line 15773  if yy_parsing_status = yyContinue then
15773  end  end
15774                  end                  end
15775    
15776          yy_do_action_379 is          yy_do_action_386 is
15777                          --|#line <not available> "eiffel.y"                          --|#line <not available> "eiffel.y"
15778                  local                  local
15779                          yyval35: CALL_AS                          yyval35: CALL_AS
# Line 15573  if yy_parsing_status = yyContinue then Line 15808  if yy_parsing_status = yyContinue then
15808  end  end
15809                  end                  end
15810    
15811          yy_do_action_380 is          yy_do_action_387 is
15812                          --|#line <not available> "eiffel.y"                          --|#line <not available> "eiffel.y"
15813                  local                  local
15814                          yyval35: CALL_AS                          yyval35: CALL_AS
# Line 15608  if yy_parsing_status = yyContinue then Line 15843  if yy_parsing_status = yyContinue then
15843  end  end
15844                  end                  end
15845    
15846          yy_do_action_381 is          yy_do_action_388 is
15847                          --|#line <not available> "eiffel.y"                          --|#line <not available> "eiffel.y"
15848                  local                  local
15849                          yyval35: CALL_AS                          yyval35: CALL_AS
# Line 15625  if yy_parsing_status = yyContinue then Line 15860  if yy_parsing_status = yyContinue then
15860  end  end
15861                  end                  end
15862    
15863          yy_do_action_382 is          yy_do_action_389 is
15864                          --|#line <not available> "eiffel.y"                          --|#line <not available> "eiffel.y"
15865                  local                  local
15866                          yyval37: CHECK_AS                          yyval37: CHECK_AS
# Line 15661  if yy_parsing_status = yyContinue then Line 15896  if yy_parsing_status = yyContinue then
15896  end  end
15897                  end                  end
15898    
15899          yy_do_action_383 is          yy_do_action_390 is
15900                          --|#line <not available> "eiffel.y"                          --|#line <not available> "eiffel.y"
15901                  local                  local
15902                          yyval79: TYPE_AS                          yyval79: TYPE_AS
# Line 15684  if yy_parsing_status = yyContinue then Line 15919  if yy_parsing_status = yyContinue then
15919  end  end
15920                  end                  end
15921    
15922          yy_do_action_384 is          yy_do_action_391 is
15923                          --|#line <not available> "eiffel.y"                          --|#line <not available> "eiffel.y"
15924                  local                  local
15925                          yyval48: EXPR_AS                          yyval48: EXPR_AS
# Line 15719  if yy_parsing_status = yyContinue then Line 15954  if yy_parsing_status = yyContinue then
15954  end  end
15955                  end                  end
15956    
15957          yy_do_action_385 is          yy_do_action_392 is
15958                          --|#line <not available> "eiffel.y"                          --|#line <not available> "eiffel.y"
15959                  local                  local
15960                          yyval48: EXPR_AS                          yyval48: EXPR_AS
# Line 15754  if yy_parsing_status = yyContinue then Line 15989  if yy_parsing_status = yyContinue then
15989  end  end
15990                  end                  end
15991    
15992          yy_do_action_386 is          yy_do_action_393 is
15993                          --|#line <not available> "eiffel.y"                          --|#line <not available> "eiffel.y"
15994                  local                  local
15995                          yyval48: EXPR_AS                          yyval48: EXPR_AS
# Line 15771  if yy_parsing_status = yyContinue then Line 16006  if yy_parsing_status = yyContinue then
16006  end  end
16007                  end                  end
16008    
16009          yy_do_action_387 is          yy_do_action_394 is
16010                          --|#line <not available> "eiffel.y"                          --|#line <not available> "eiffel.y"
16011                  local                  local
16012                          yyval48: EXPR_AS                          yyval48: EXPR_AS
# Line 15788  if yy_parsing_status = yyContinue then Line 16023  if yy_parsing_status = yyContinue then
16023  end  end
16024                  end                  end
16025    
16026          yy_do_action_388 is          yy_do_action_395 is
16027                          --|#line <not available> "eiffel.y"                          --|#line <not available> "eiffel.y"
16028                  local                  local
16029                          yyval48: EXPR_AS                          yyval48: EXPR_AS
# Line 15807  if yy_parsing_status = yyContinue then Line 16042  if yy_parsing_status = yyContinue then
16042  end  end
16043                  end                  end
16044    
16045          yy_do_action_389 is          yy_do_action_396 is
16046                          --|#line <not available> "eiffel.y"                          --|#line <not available> "eiffel.y"
16047                  local                  local
16048                          yyval48: EXPR_AS                          yyval48: EXPR_AS
# Line 15826  if yy_parsing_status = yyContinue then Line 16061  if yy_parsing_status = yyContinue then
16061  end  end
16062                  end                  end
16063    
16064          yy_do_action_390 is          yy_do_action_397 is
16065                          --|#line <not available> "eiffel.y"                          --|#line <not available> "eiffel.y"
16066                  local                  local
16067                          yyval48: EXPR_AS                          yyval48: EXPR_AS
# Line 15861  if yy_parsing_status = yyContinue then Line 16096  if yy_parsing_status = yyContinue then
16096  end  end
16097                  end                  end
16098    
16099          yy_do_action_391 is          yy_do_action_398 is
16100                          --|#line <not available> "eiffel.y"                          --|#line <not available> "eiffel.y"
16101                  local                  local
16102                          yyval32: BINARY_AS                          yyval32: BINARY_AS
# Line 15897  if yy_parsing_status = yyContinue then Line 16132  if yy_parsing_status = yyContinue then
16132  end  end
16133                  end                  end
16134    
16135          yy_do_action_392 is          yy_do_action_399 is
16136                          --|#line <not available> "eiffel.y"                          --|#line <not available> "eiffel.y"
16137                  local                  local
16138                          yyval32: BINARY_AS                          yyval32: BINARY_AS
# Line 15933  if yy_parsing_status = yyContinue then Line 16168  if yy_parsing_status = yyContinue then
16168  end  end
16169                  end                  end
16170    
16171          yy_do_action_393 is          yy_do_action_400 is
16172                          --|#line <not available> "eiffel.y"                          --|#line <not available> "eiffel.y"
16173                  local                  local
16174                          yyval32: BINARY_AS                          yyval32: BINARY_AS
# Line 15969  if yy_parsing_status = yyContinue then Line 16204  if yy_parsing_status = yyContinue then
16204  end  end
16205                  end                  end
16206    
16207          yy_do_action_394 is          yy_do_action_401 is
16208                          --|#line <not available> "eiffel.y"                          --|#line <not available> "eiffel.y"
16209                  local                  local
16210                          yyval32: BINARY_AS                          yyval32: BINARY_AS
# Line 16005  if yy_parsing_status = yyContinue then Line 16240  if yy_parsing_status = yyContinue then
16240  end  end
16241                  end                  end
16242    
16243          yy_do_action_395 is          yy_do_action_402 is
16244                          --|#line <not available> "eiffel.y"                          --|#line <not available> "eiffel.y"
16245                  local                  local
16246                          yyval32: BINARY_AS                          yyval32: BINARY_AS
# Line 16041  if yy_parsing_status = yyContinue then Line 16276  if yy_parsing_status = yyContinue then
16276  end  end
16277                  end                  end
16278    
16279          yy_do_action_396 is          yy_do_action_403 is
16280                          --|#line <not available> "eiffel.y"                          --|#line <not available> "eiffel.y"
16281                  local                  local
16282                          yyval32: BINARY_AS                          yyval32: BINARY_AS
# Line 16077  if yy_parsing_status = yyContinue then Line 16312  if yy_parsing_status = yyContinue then
16312  end  end
16313                  end                  end
16314    
16315          yy_do_action_397 is          yy_do_action_404 is
16316                          --|#line <not available> "eiffel.y"                          --|#line <not available> "eiffel.y"
16317                  local                  local
16318                          yyval32: BINARY_AS                          yyval32: BINARY_AS
# Line 16113  if yy_parsing_status = yyContinue then Line 16348  if yy_parsing_status = yyContinue then
16348  end  end
16349                  end                  end
16350    
16351          yy_do_action_398 is          yy_do_action_405 is
16352                          --|#line <not available> "eiffel.y"                          --|#line <not available> "eiffel.y"
16353                  local                  local
16354                          yyval32: BINARY_AS                          yyval32: BINARY_AS
# Line 16149  if yy_parsing_status = yyContinue then Line 16384  if yy_parsing_status = yyContinue then
16384  end  end
16385                  end                  end
16386    
16387          yy_do_action_399 is          yy_do_action_406 is
16388                          --|#line <not available> "eiffel.y"                          --|#line <not available> "eiffel.y"
16389                  local                  local
16390                          yyval32: BINARY_AS                          yyval32: BINARY_AS
# Line 16185  if yy_parsing_status = yyContinue then Line 16420  if yy_parsing_status = yyContinue then
16420  end  end
16421                  end                  end
16422    
16423          yy_do_action_400 is          yy_do_action_407 is
16424                          --|#line <not available> "eiffel.y"                          --|#line <not available> "eiffel.y"
16425                  local                  local
16426                          yyval32: BINARY_AS                          yyval32: BINARY_AS
# Line 16221  if yy_parsing_status = yyContinue then Line 16456  if yy_parsing_status = yyContinue then
16456  end  end
16457                  end                  end
16458    
16459          yy_do_action_401 is          yy_do_action_408 is
16460                          --|#line <not available> "eiffel.y"                          --|#line <not available> "eiffel.y"
16461                  local                  local
16462                          yyval32: BINARY_AS                          yyval32: BINARY_AS
# Line 16257  if yy_parsing_status = yyContinue then Line 16492  if yy_parsing_status = yyContinue then
16492  end  end
16493                  end                  end
16494    
16495          yy_do_action_402 is          yy_do_action_409 is
16496                          --|#line <not available> "eiffel.y"                          --|#line <not available> "eiffel.y"
16497                  local                  local
16498                          yyval32: BINARY_AS                          yyval32: BINARY_AS
# Line 16293  if yy_parsing_status = yyContinue then Line 16528  if yy_parsing_status = yyContinue then
16528  end  end
16529                  end                  end
16530    
16531          yy_do_action_403 is          yy_do_action_410 is
16532                          --|#line <not available> "eiffel.y"                          --|#line <not available> "eiffel.y"
16533                  local                  local
16534                          yyval32: BINARY_AS                          yyval32: BINARY_AS
# Line 16329  if yy_parsing_status = yyContinue then Line 16564  if yy_parsing_status = yyContinue then
16564  end  end
16565                  end                  end
16566    
16567          yy_do_action_404 is          yy_do_action_411 is
16568                          --|#line <not available> "eiffel.y"                          --|#line <not available> "eiffel.y"
16569                  local                  local
16570                          yyval32: BINARY_AS                          yyval32: BINARY_AS
# Line 16365  if yy_parsing_status = yyContinue then Line 16600  if yy_parsing_status = yyContinue then
16600  end  end
16601                  end                  end
16602    
16603          yy_do_action_405 is          yy_do_action_412 is
16604                          --|#line <not available> "eiffel.y"                          --|#line <not available> "eiffel.y"
16605                  local                  local
16606                          yyval32: BINARY_AS                          yyval32: BINARY_AS
# Line 16401  if yy_parsing_status = yyContinue then Line 16636  if yy_parsing_status = yyContinue then
16636  end  end
16637                  end                  end
16638    
16639          yy_do_action_406 is          yy_do_action_413 is
16640                          --|#line <not available> "eiffel.y"                          --|#line <not available> "eiffel.y"
16641                  local                  local
16642                          yyval32: BINARY_AS                          yyval32: BINARY_AS
# Line 16437  if yy_parsing_status = yyContinue then Line 16672  if yy_parsing_status = yyContinue then
16672  end  end
16673                  end                  end
16674    
16675          yy_do_action_407 is          yy_do_action_414 is
16676                          --|#line <not available> "eiffel.y"                          --|#line <not available> "eiffel.y"
16677                  local                  local
16678                          yyval32: BINARY_AS                          yyval32: BINARY_AS
# Line 16473  if yy_parsing_status = yyContinue then Line 16708  if yy_parsing_status = yyContinue then
16708  end  end
16709                  end                  end
16710    
16711          yy_do_action_408 is          yy_do_action_415 is
16712                          --|#line <not available> "eiffel.y"                          --|#line <not available> "eiffel.y"
16713                  local                  local
16714                          yyval32: BINARY_AS                          yyval32: BINARY_AS
# Line 16509  if yy_parsing_status = yyContinue then Line 16744  if yy_parsing_status = yyContinue then
16744  end  end
16745                  end                  end
16746    
16747          yy_do_action_409 is          yy_do_action_416 is
16748                          --|#line <not available> "eiffel.y"                          --|#line <not available> "eiffel.y"
16749                  local                  local
16750                          yyval48: EXPR_AS                          yyval48: EXPR_AS
# Line 16544  if yy_parsing_status = yyContinue then Line 16779  if yy_parsing_status = yyContinue then
16779  end  end
16780                  end                  end
16781    
16782          yy_do_action_410 is          yy_do_action_417 is
16783                          --|#line <not available> "eiffel.y"                          --|#line <not available> "eiffel.y"
16784                  local                  local
16785                          yyval48: EXPR_AS                          yyval48: EXPR_AS
# Line 16579  if yy_parsing_status = yyContinue then Line 16814  if yy_parsing_status = yyContinue then
16814  end  end
16815                  end                  end
16816    
16817          yy_do_action_411 is          yy_do_action_418 is
16818                          --|#line <not available> "eiffel.y"                          --|#line <not available> "eiffel.y"
16819                  local                  local
16820                          yyval48: EXPR_AS                          yyval48: EXPR_AS
# Line 16614  if yy_parsing_status = yyContinue then Line 16849  if yy_parsing_status = yyContinue then
16849  end  end
16850                  end                  end
16851    
16852          yy_do_action_412 is          yy_do_action_419 is
16853                          --|#line <not available> "eiffel.y"                          --|#line <not available> "eiffel.y"
16854                  local                  local
16855                          yyval48: EXPR_AS                          yyval48: EXPR_AS
# Line 16632  if yy_parsing_status = yyContinue then Line 16867  if yy_parsing_status = yyContinue then
16867  end  end
16868                  end                  end
16869    
16870          yy_do_action_413 is          yy_do_action_420 is
16871                          --|#line <not available> "eiffel.y"                          --|#line <not available> "eiffel.y"
16872                  local                  local
16873                          yyval48: EXPR_AS                          yyval48: EXPR_AS
# Line 16670  if yy_parsing_status = yyContinue then Line 16905  if yy_parsing_status = yyContinue then
16905  end  end
16906                  end                  end
16907    
16908          yy_do_action_414 is          yy_do_action_421 is
16909                          --|#line <not available> "eiffel.y"                          --|#line <not available> "eiffel.y"
16910                  local                  local
16911                          yyval48: EXPR_AS                          yyval48: EXPR_AS
# Line 16706  if yy_parsing_status = yyContinue then Line 16941  if yy_parsing_status = yyContinue then
16941  end  end
16942                  end                  end
16943    
16944          yy_do_action_415 is          yy_do_action_422 is
16945                          --|#line <not available> "eiffel.y"                          --|#line <not available> "eiffel.y"
16946                  local                  local
16947                          yyval48: EXPR_AS                          yyval48: EXPR_AS
# Line 16725  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_416 is          yy_do_action_423 is
16964                          --|#line <not available> "eiffel.y"                          --|#line <not available> "eiffel.y"
16965                  local                  local
16966                          yyval48: EXPR_AS                          yyval48: EXPR_AS
# Line 16762  if yy_parsing_status = yyContinue then Line 16997  if yy_parsing_status = yyContinue then
16997  end  end
16998                  end                  end
16999    
17000          yy_do_action_417 is          yy_do_action_424 is
17001                          --|#line <not available> "eiffel.y"                          --|#line <not available> "eiffel.y"
17002                  local                  local
17003                          yyval48: EXPR_AS                          yyval48: EXPR_AS
# Line 16799  if yy_parsing_status = yyContinue then Line 17034  if yy_parsing_status = yyContinue then
17034  end  end
17035                  end                  end
17036    
17037          yy_do_action_418 is          yy_do_action_425 is
17038                          --|#line <not available> "eiffel.y"                          --|#line <not available> "eiffel.y"
17039                  local                  local
17040                          yyval48: EXPR_AS                          yyval48: EXPR_AS
# Line 16816  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_419 is          yy_do_action_426 is
17055                          --|#line <not available> "eiffel.y"                          --|#line <not available> "eiffel.y"
17056                  local                  local
17057                          yyval48: EXPR_AS                          yyval48: EXPR_AS
# Line 16833  if yy_parsing_status = yyContinue then Line 17068  if yy_parsing_status = yyContinue then
17068  end  end
17069                  end                  end
17070    
17071          yy_do_action_420 is          yy_do_action_427 is
17072                          --|#line <not available> "eiffel.y"                          --|#line <not available> "eiffel.y"
17073                  local                  local
17074                          yyval48: EXPR_AS                          yyval48: EXPR_AS
# Line 16853  if yy_parsing_status = yyContinue then Line 17088  if yy_parsing_status = yyContinue then
17088  end  end
17089                  end                  end
17090    
17091          yy_do_action_421 is          yy_do_action_428 is
17092                          --|#line <not available> "eiffel.y"                          --|#line <not available> "eiffel.y"
17093                  local                  local
17094                          yyval48: EXPR_AS                          yyval48: EXPR_AS
# Line 16871  if yy_parsing_status = yyContinue then Line 17106  if yy_parsing_status = yyContinue then
17106  end  end
17107                  end                  end
17108    
17109          yy_do_action_422 is          yy_do_action_429 is
17110                          --|#line <not available> "eiffel.y"                          --|#line <not available> "eiffel.y"
17111                  local                  local
17112                          yyval48: EXPR_AS                          yyval48: EXPR_AS
# Line 16889  if yy_parsing_status = yyContinue then Line 17124  if yy_parsing_status = yyContinue then
17124  end  end
17125                  end                  end
17126    
17127          yy_do_action_423 is          yy_do_action_430 is
17128                          --|#line <not available> "eiffel.y"                          --|#line <not available> "eiffel.y"
17129                  local                  local
17130                          yyval48: EXPR_AS                          yyval48: EXPR_AS
# Line 16907  if yy_parsing_status = yyContinue then Line 17142  if yy_parsing_status = yyContinue then
17142  end  end
17143                  end                  end
17144    
17145          yy_do_action_424 is          yy_do_action_431 is
17146                          --|#line <not available> "eiffel.y"                          --|#line <not available> "eiffel.y"
17147                  local                  local
17148                          yyval48: EXPR_AS                          yyval48: EXPR_AS
# Line 16925  if yy_parsing_status = yyContinue then Line 17160  if yy_parsing_status = yyContinue then
17160  end  end
17161                  end                  end
17162    
17163          yy_do_action_425 is          yy_do_action_432 is
17164                          --|#line <not available> "eiffel.y"                          --|#line <not available> "eiffel.y"
17165                  local                  local
17166                          yyval48: EXPR_AS                          yyval48: EXPR_AS
# Line 16960  if yy_parsing_status = yyContinue then Line 17195  if yy_parsing_status = yyContinue then
17195  end  end
17196                  end                  end
17197    
17198          yy_do_action_426 is          yy_do_action_433 is
17199                          --|#line <not available> "eiffel.y"                          --|#line <not available> "eiffel.y"
17200                  local                  local
17201                          yyval48: EXPR_AS                          yyval48: EXPR_AS
# Line 16995  if yy_parsing_status = yyContinue then Line 17230  if yy_parsing_status = yyContinue then
17230  end  end
17231                  end                  end
17232    
17233          yy_do_action_427 is          yy_do_action_434 is
17234                          --|#line <not available> "eiffel.y"                          --|#line <not available> "eiffel.y"
17235                  local                  local
17236                          yyval48: EXPR_AS                          yyval48: EXPR_AS
# Line 17030  if yy_parsing_status = yyContinue then Line 17265  if yy_parsing_status = yyContinue then
17265  end  end
17266                  end                  end
17267    
17268          yy_do_action_428 is          yy_do_action_435 is
17269                          --|#line <not available> "eiffel.y"                          --|#line <not available> "eiffel.y"
17270                  local                  local
17271                          yyval2: ID_AS                          yyval2: ID_AS
# Line 17051  if yy_parsing_status = yyContinue then Line 17286  if yy_parsing_status = yyContinue then
17286  end  end
17287                  end                  end
17288    
17289          yy_do_action_429 is          yy_do_action_436 is
17290                          --|#line <not available> "eiffel.y"                          --|#line <not available> "eiffel.y"
17291                  local                  local
17292                          yyval35: CALL_AS                          yyval35: CALL_AS
# Line 17070  if yy_parsing_status = yyContinue then Line 17305  if yy_parsing_status = yyContinue then
17305  end  end
17306                  end                  end
17307    
17308          yy_do_action_430 is          yy_do_action_437 is
17309                          --|#line <not available> "eiffel.y"                          --|#line <not available> "eiffel.y"
17310                  local                  local
17311                          yyval35: CALL_AS                          yyval35: CALL_AS
# Line 17089  if yy_parsing_status = yyContinue then Line 17324  if yy_parsing_status = yyContinue then
17324  end  end
17325                  end                  end
17326    
17327          yy_do_action_431 is          yy_do_action_438 is
17328                          --|#line <not available> "eiffel.y"                          --|#line <not available> "eiffel.y"
17329                  local                  local
17330                          yyval35: CALL_AS                          yyval35: CALL_AS
# Line 17108  if yy_parsing_status = yyContinue then Line 17343  if yy_parsing_status = yyContinue then
17343  end  end
17344                  end                  end
17345    
17346          yy_do_action_432 is          yy_do_action_439 is
17347                          --|#line <not available> "eiffel.y"                          --|#line <not available> "eiffel.y"
17348                  local                  local
17349                          yyval35: CALL_AS                          yyval35: CALL_AS
# Line 17127  if yy_parsing_status = yyContinue then Line 17362  if yy_parsing_status = yyContinue then
17362  end  end
17363                  end                  end
17364    
17365          yy_do_action_433 is          yy_do_action_440 is
17366                          --|#line <not available> "eiffel.y"                          --|#line <not available> "eiffel.y"
17367                  local                  local
17368                          yyval35: CALL_AS                          yyval35: CALL_AS
# Line 17148  if yy_parsing_status = yyContinue then Line 17383  if yy_parsing_status = yyContinue then
17383  end  end
17384                  end                  end
17385    
17386          yy_do_action_434 is          yy_do_action_441 is
17387                          --|#line <not available> "eiffel.y"                          --|#line <not available> "eiffel.y"
17388                  local                  local
17389                          yyval35: CALL_AS                          yyval35: CALL_AS
# Line 17167  if yy_parsing_status = yyContinue then Line 17402  if yy_parsing_status = yyContinue then
17402  end  end
17403                  end                  end
17404    
17405          yy_do_action_435 is          yy_do_action_442 is
17406                          --|#line <not available> "eiffel.y"                          --|#line <not available> "eiffel.y"
17407                  local                  local
17408                          yyval35: CALL_AS                          yyval35: CALL_AS
# Line 17186  if yy_parsing_status = yyContinue then Line 17421  if yy_parsing_status = yyContinue then
17421  end  end
17422                  end                  end
17423    
17424          yy_do_action_436 is          yy_do_action_443 is
17425                          --|#line <not available> "eiffel.y"                          --|#line <not available> "eiffel.y"
17426                  local                  local
17427                          yyval67: PRECURSOR_AS                          yyval67: PRECURSOR_AS
# Line 17222  if yy_parsing_status = yyContinue then Line 17457  if yy_parsing_status = yyContinue then
17457  end  end
17458                  end                  end
17459    
17460          yy_do_action_437 is          yy_do_action_444 is
17461                          --|#line <not available> "eiffel.y"                          --|#line <not available> "eiffel.y"
17462                  local                  local
17463                          yyval67: PRECURSOR_AS                          yyval67: PRECURSOR_AS
# Line 17266  if yy_parsing_status = yyContinue then Line 17501  if yy_parsing_status = yyContinue then
17501  end  end
17502                  end                  end
17503    
17504          yy_do_action_438 is          yy_do_action_445 is
17505                          --|#line <not available> "eiffel.y"                          --|#line <not available> "eiffel.y"
17506                  local                  local
17507                          yyval68: STATIC_ACCESS_AS                          yyval68: STATIC_ACCESS_AS
# Line 17283  if yy_parsing_status = yyContinue then Line 17518  if yy_parsing_status = yyContinue then
17518  end  end
17519                  end                  end
17520    
17521          yy_do_action_439 is          yy_do_action_446 is
17522                          --|#line <not available> "eiffel.y"                          --|#line <not available> "eiffel.y"
17523                  local                  local
17524                          yyval68: STATIC_ACCESS_AS                          yyval68: STATIC_ACCESS_AS
# Line 17300  if yy_parsing_status = yyContinue then Line 17535  if yy_parsing_status = yyContinue then
17535  end  end
17536                  end                  end
17537    
17538          yy_do_action_440 is          yy_do_action_447 is
17539                          --|#line <not available> "eiffel.y"                          --|#line <not available> "eiffel.y"
17540                  local                  local
17541                          yyval68: STATIC_ACCESS_AS                          yyval68: STATIC_ACCESS_AS
# Line 17338  if yy_parsing_status = yyContinue then Line 17573  if yy_parsing_status = yyContinue then
17573  end  end
17574                  end                  end
17575    
17576          yy_do_action_441 is          yy_do_action_448 is
17577                          --|#line <not available> "eiffel.y"                          --|#line <not available> "eiffel.y"
17578                  local                  local
17579                          yyval68: STATIC_ACCESS_AS                          yyval68: STATIC_ACCESS_AS
# Line 17388  if yy_parsing_status = yyContinue then Line 17623  if yy_parsing_status = yyContinue then
17623  end  end
17624                  end                  end
17625    
17626          yy_do_action_442 is          yy_do_action_449 is
17627                          --|#line <not available> "eiffel.y"                          --|#line <not available> "eiffel.y"
17628                  local                  local
17629                          yyval35: CALL_AS                          yyval35: CALL_AS
# Line 17423  if yy_parsing_status = yyContinue then Line 17658  if yy_parsing_status = yyContinue then
17658  end  end
17659                  end                  end
17660    
17661          yy_do_action_443 is          yy_do_action_450 is
17662                          --|#line <not available> "eiffel.y"                          --|#line <not available> "eiffel.y"
17663                  local                  local
17664                          yyval35: CALL_AS                          yyval35: CALL_AS
# Line 17458  if yy_parsing_status = yyContinue then Line 17693  if yy_parsing_status = yyContinue then
17693  end  end
17694                  end                  end
17695    
17696          yy_do_action_444 is          yy_do_action_451 is
17697                          --|#line <not available> "eiffel.y"                          --|#line <not available> "eiffel.y"
17698                  local                  local
17699                          yyval64: NESTED_AS                          yyval64: NESTED_AS
# Line 17494  if yy_parsing_status = yyContinue then Line 17729  if yy_parsing_status = yyContinue then
17729  end  end
17730                  end                  end
17731    
17732          yy_do_action_445 is          yy_do_action_452 is
17733                          --|#line <not available> "eiffel.y"                          --|#line <not available> "eiffel.y"
17734                  local                  local
17735                          yyval64: NESTED_AS                          yyval64: NESTED_AS
# Line 17513  if yy_parsing_status = yyContinue then Line 17748  if yy_parsing_status = yyContinue then
17748  end  end
17749                  end                  end
17750    
17751          yy_do_action_446 is          yy_do_action_453 is
17752                          --|#line <not available> "eiffel.y"                          --|#line <not available> "eiffel.y"
17753                  local                  local
17754                          yyval2: ID_AS                          yyval2: ID_AS
# Line 17530  if yy_parsing_status = yyContinue then Line 17765  if yy_parsing_status = yyContinue then
17765  end  end
17766                  end                  end
17767    
17768          yy_do_action_447 is          yy_do_action_454 is
17769                          --|#line <not available> "eiffel.y"                          --|#line <not available> "eiffel.y"
17770                  local                  local
17771                          yyval2: ID_AS                          yyval2: ID_AS
# Line 17568  if yy_parsing_status = yyContinue then Line 17803  if yy_parsing_status = yyContinue then
17803  end  end
17804                  end                  end
17805    
17806          yy_do_action_448 is          yy_do_action_455 is
17807                          --|#line <not available> "eiffel.y"                          --|#line <not available> "eiffel.y"
17808                  local                  local
17809                          yyval2: ID_AS                          yyval2: ID_AS
# Line 17606  if yy_parsing_status = yyContinue then Line 17841  if yy_parsing_status = yyContinue then
17841  end  end
17842                  end                  end
17843    
17844          yy_do_action_449 is          yy_do_action_456 is
17845                          --|#line <not available> "eiffel.y"                          --|#line <not available> "eiffel.y"
17846                  local                  local
17847                          yyval25: ACCESS_AS                          yyval25: ACCESS_AS
# Line 17650  if yy_parsing_status = yyContinue then Line 17885  if yy_parsing_status = yyContinue then
17885  end  end
17886                  end                  end
17887    
17888          yy_do_action_450 is          yy_do_action_457 is
17889                          --|#line <not available> "eiffel.y"                          --|#line <not available> "eiffel.y"
17890                  local                  local
17891                          yyval26: ACCESS_FEAT_AS                          yyval26: ACCESS_FEAT_AS
# Line 17686  if yy_parsing_status = yyContinue then Line 17921  if yy_parsing_status = yyContinue then
17921  end  end
17922                  end                  end
17923    
17924          yy_do_action_451 is          yy_do_action_458 is
17925                          --|#line <not available> "eiffel.y"                          --|#line <not available> "eiffel.y"
17926                  local                  local
17927                          yyval48: EXPR_AS                          yyval48: EXPR_AS
# Line 17721  if yy_parsing_status = yyContinue then Line 17956  if yy_parsing_status = yyContinue then
17956  end  end
17957                  end                  end
17958    
17959          yy_do_action_452 is          yy_do_action_459 is
17960                          --|#line <not available> "eiffel.y"                          --|#line <not available> "eiffel.y"
17961                  local                  local
17962                          yyval48: EXPR_AS                          yyval48: EXPR_AS
# Line 17756  if yy_parsing_status = yyContinue then Line 17991  if yy_parsing_status = yyContinue then
17991  end  end
17992                  end                  end
17993    
17994          yy_do_action_453 is          yy_do_action_460 is
17995                          --|#line <not available> "eiffel.y"                          --|#line <not available> "eiffel.y"
17996                  local                  local
17997                          yyval48: EXPR_AS                          yyval48: EXPR_AS
# Line 17791  if yy_parsing_status = yyContinue then Line 18026  if yy_parsing_status = yyContinue then
18026  end  end
18027                  end                  end
18028    
18029          yy_do_action_454 is          yy_do_action_461 is
18030                          --|#line <not available> "eiffel.y"                          --|#line <not available> "eiffel.y"
18031                  local                  local
18032                          yyval48: EXPR_AS                          yyval48: EXPR_AS
# Line 17826  if yy_parsing_status = yyContinue then Line 18061  if yy_parsing_status = yyContinue then
18061  end  end
18062                  end                  end
18063    
18064          yy_do_action_455 is          yy_do_action_462 is
18065                          --|#line <not available> "eiffel.y"                          --|#line <not available> "eiffel.y"
18066                  local                  local
18067                          yyval48: EXPR_AS                          yyval48: EXPR_AS
# Line 17861  if yy_parsing_status = yyContinue then Line 18096  if yy_parsing_status = yyContinue then
18096  end  end
18097                  end                  end
18098    
18099          yy_do_action_456 is          yy_do_action_463 is
18100                          --|#line <not available> "eiffel.y"                          --|#line <not available> "eiffel.y"
18101                  local                  local
18102                          yyval48: EXPR_AS                          yyval48: EXPR_AS
# Line 17896  if yy_parsing_status = yyContinue then Line 18131  if yy_parsing_status = yyContinue then
18131  end  end
18132                  end                  end
18133    
18134          yy_do_action_457 is          yy_do_action_464 is
18135                          --|#line <not available> "eiffel.y"                          --|#line <not available> "eiffel.y"
18136                  local                  local
18137                          yyval48: EXPR_AS                          yyval48: EXPR_AS
# Line 17914  if yy_parsing_status = yyContinue then Line 18149  if yy_parsing_status = yyContinue then
18149  end  end
18150                  end                  end
18151    
18152          yy_do_action_458 is          yy_do_action_465 is
18153                          --|#line <not available> "eiffel.y"                          --|#line <not available> "eiffel.y"
18154                  local                  local
18155                          yyval93: PARAMETER_LIST_AS                          yyval93: PARAMETER_LIST_AS
# Line 17948  if yy_parsing_status = yyContinue then Line 18183  if yy_parsing_status = yyContinue then
18183  end  end
18184                  end                  end
18185    
18186          yy_do_action_459 is          yy_do_action_466 is
18187                          --|#line <not available> "eiffel.y"                          --|#line <not available> "eiffel.y"
18188                  local                  local
18189                          yyval93: PARAMETER_LIST_AS                          yyval93: PARAMETER_LIST_AS
# Line 17983  if yy_parsing_status = yyContinue then Line 18218  if yy_parsing_status = yyContinue then
18218  end  end
18219                  end                  end
18220    
18221          yy_do_action_460 is          yy_do_action_467 is
18222                          --|#line <not available> "eiffel.y"                          --|#line <not available> "eiffel.y"
18223                  local                  local
18224                          yyval93: PARAMETER_LIST_AS                          yyval93: PARAMETER_LIST_AS
# Line 18020  if yy_parsing_status = yyContinue then Line 18255  if yy_parsing_status = yyContinue then
18255  end  end
18256                  end                  end
18257    
18258          yy_do_action_461 is          yy_do_action_468 is
18259                          --|#line <not available> "eiffel.y"                          --|#line <not available> "eiffel.y"
18260                  local                  local
18261                          yyval92: EIFFEL_LIST [EXPR_AS]                          yyval92: EIFFEL_LIST [EXPR_AS]
# Line 18059  if yy_parsing_status = yyContinue then Line 18294  if yy_parsing_status = yyContinue then
18294  end  end
18295                  end                  end
18296    
18297          yy_do_action_462 is          yy_do_action_469 is
18298                          --|#line <not available> "eiffel.y"                          --|#line <not available> "eiffel.y"
18299                  local                  local
18300                          yyval92: EIFFEL_LIST [EXPR_AS]                          yyval92: EIFFEL_LIST [EXPR_AS]
# Line 18084  if yy_parsing_status = yyContinue then Line 18319  if yy_parsing_status = yyContinue then
18319  end  end
18320                  end                  end
18321    
18322          yy_do_action_463 is          yy_do_action_470 is
18323                          --|#line <not available> "eiffel.y"                          --|#line <not available> "eiffel.y"
18324                  local                  local
18325                          yyval2: ID_AS                          yyval2: ID_AS
# Line 18105  if yy_parsing_status = yyContinue then Line 18340  if yy_parsing_status = yyContinue then
18340  end  end
18341                  end                  end
18342    
18343          yy_do_action_464 is          yy_do_action_471 is
18344                          --|#line <not available> "eiffel.y"                          --|#line <not available> "eiffel.y"
18345                  local                  local
18346                          yyval2: ID_AS                          yyval2: ID_AS
# Line 18123  if yy_parsing_status = yyContinue then Line 18358  if yy_parsing_status = yyContinue then
18358  end  end
18359                  end                  end
18360    
18361          yy_do_action_465 is          yy_do_action_472 is
18362                          --|#line <not available> "eiffel.y"                          --|#line <not available> "eiffel.y"
18363                  local                  local
18364                          yyval2: ID_AS                          yyval2: ID_AS
# Line 18144  if yy_parsing_status = yyContinue then Line 18379  if yy_parsing_status = yyContinue then
18379  end  end
18380                  end                  end
18381    
18382          yy_do_action_466 is          yy_do_action_473 is
18383                          --|#line <not available> "eiffel.y"                          --|#line <not available> "eiffel.y"
18384                  local                  local
18385                          yyval2: ID_AS                          yyval2: ID_AS
# Line 18191  if yy_parsing_status = yyContinue then Line 18426  if yy_parsing_status = yyContinue then
18426  end  end
18427                  end                  end
18428    
18429          yy_do_action_467 is          yy_do_action_474 is
18430                          --|#line <not available> "eiffel.y"                          --|#line <not available> "eiffel.y"
18431                  local                  local
18432                          yyval2: ID_AS                          yyval2: ID_AS
# Line 18212  if yy_parsing_status = yyContinue then Line 18447  if yy_parsing_status = yyContinue then
18447  end  end
18448                  end                  end
18449    
18450          yy_do_action_468 is          yy_do_action_475 is
18451                          --|#line <not available> "eiffel.y"                          --|#line <not available> "eiffel.y"
18452                  local                  local
18453                          yyval2: ID_AS                          yyval2: ID_AS
# Line 18233  if yy_parsing_status = yyContinue then Line 18468  if yy_parsing_status = yyContinue then
18468  end  end
18469                  end                  end
18470    
18471          yy_do_action_469 is          yy_do_action_476 is
18472                          --|#line <not available> "eiffel.y"                          --|#line <not available> "eiffel.y"
18473                  local                  local
18474                          yyval2: ID_AS                          yyval2: ID_AS
# Line 18279  if yy_parsing_status = yyContinue then Line 18514  if yy_parsing_status = yyContinue then
18514  end  end
18515                  end                  end
18516    
18517          yy_do_action_470 is          yy_do_action_477 is
18518                          --|#line <not available> "eiffel.y"                          --|#line <not available> "eiffel.y"
18519                  local                  local
18520                          yyval31: ATOMIC_AS                          yyval31: ATOMIC_AS
# Line 18314  if yy_parsing_status = yyContinue then Line 18549  if yy_parsing_status = yyContinue then
18549  end  end
18550                  end                  end
18551    
18552          yy_do_action_471 is          yy_do_action_478 is
18553                          --|#line <not available> "eiffel.y"                          --|#line <not available> "eiffel.y"
18554                  local                  local
18555                          yyval31: ATOMIC_AS                          yyval31: ATOMIC_AS
# Line 18349  if yy_parsing_status = yyContinue then Line 18584  if yy_parsing_status = yyContinue then
18584  end  end
18585                  end                  end
18586    
18587          yy_do_action_472 is          yy_do_action_479 is
18588                          --|#line <not available> "eiffel.y"                          --|#line <not available> "eiffel.y"
18589                  local                  local
18590                          yyval31: ATOMIC_AS                          yyval31: ATOMIC_AS
# Line 18384  if yy_parsing_status = yyContinue then Line 18619  if yy_parsing_status = yyContinue then
18619  end  end
18620                  end                  end
18621    
18622          yy_do_action_473 is          yy_do_action_480 is
18623                          --|#line <not available> "eiffel.y"                          --|#line <not available> "eiffel.y"
18624                  local                  local
18625                          yyval31: ATOMIC_AS                          yyval31: ATOMIC_AS
# Line 18419  if yy_parsing_status = yyContinue then Line 18654  if yy_parsing_status = yyContinue then
18654  end  end
18655                  end                  end
18656    
18657          yy_do_action_474 is          yy_do_action_481 is
18658                          --|#line <not available> "eiffel.y"                          --|#line <not available> "eiffel.y"
18659                  local                  local
18660                          yyval31: ATOMIC_AS                          yyval31: ATOMIC_AS
# Line 18454  if yy_parsing_status = yyContinue then Line 18689  if yy_parsing_status = yyContinue then
18689  end  end
18690                  end                  end
18691    
18692          yy_do_action_475 is          yy_do_action_482 is
18693                          --|#line <not available> "eiffel.y"                          --|#line <not available> "eiffel.y"
18694                  local                  local
18695                          yyval31: ATOMIC_AS                          yyval31: ATOMIC_AS
# Line 18489  if yy_parsing_status = yyContinue then Line 18724  if yy_parsing_status = yyContinue then
18724  end  end
18725                  end                  end
18726    
18727          yy_do_action_476 is          yy_do_action_483 is
18728                          --|#line <not available> "eiffel.y"                          --|#line <not available> "eiffel.y"
18729                  local                  local
18730                          yyval31: ATOMIC_AS                          yyval31: ATOMIC_AS
# Line 18524  if yy_parsing_status = yyContinue then Line 18759  if yy_parsing_status = yyContinue then
18759  end  end
18760                  end                  end
18761    
18762          yy_do_action_477 is          yy_do_action_484 is
18763                          --|#line <not available> "eiffel.y"                          --|#line <not available> "eiffel.y"
18764                  local                  local
18765                          yyval31: ATOMIC_AS                          yyval31: ATOMIC_AS
# Line 18559  if yy_parsing_status = yyContinue then Line 18794  if yy_parsing_status = yyContinue then
18794  end  end
18795                  end                  end
18796    
18797          yy_do_action_478 is          yy_do_action_485 is
18798                          --|#line <not available> "eiffel.y"                          --|#line <not available> "eiffel.y"
18799                  local                  local
18800                          yyval31: ATOMIC_AS                          yyval31: ATOMIC_AS
# Line 18594  if yy_parsing_status = yyContinue then Line 18829  if yy_parsing_status = yyContinue then
18829  end  end
18830                  end                  end
18831    
18832          yy_do_action_479 is          yy_do_action_486 is
18833                          --|#line <not available> "eiffel.y"                          --|#line <not available> "eiffel.y"
18834                  local                  local
18835                          yyval31: ATOMIC_AS                          yyval31: ATOMIC_AS
# Line 18629  if yy_parsing_status = yyContinue then Line 18864  if yy_parsing_status = yyContinue then
18864  end  end
18865                  end                  end
18866    
18867          yy_do_action_480 is          yy_do_action_487 is
18868                          --|#line <not available> "eiffel.y"                          --|#line <not available> "eiffel.y"
18869                  local                  local
18870                          yyval31: ATOMIC_AS                          yyval31: ATOMIC_AS
# Line 18664  if yy_parsing_status = yyContinue then Line 18899  if yy_parsing_status = yyContinue then
18899  end  end
18900                  end                  end
18901    
18902          yy_do_action_481 is          yy_do_action_488 is
18903                          --|#line <not available> "eiffel.y"                          --|#line <not available> "eiffel.y"
18904                  local                  local
18905                          yyval31: ATOMIC_AS                          yyval31: ATOMIC_AS
# Line 18699  if yy_parsing_status = yyContinue then Line 18934  if yy_parsing_status = yyContinue then
18934  end  end
18935                  end                  end
18936    
18937          yy_do_action_482 is          yy_do_action_489 is
18938                          --|#line <not available> "eiffel.y"                          --|#line <not available> "eiffel.y"
18939                  local                  local
18940                          yyval31: ATOMIC_AS                          yyval31: ATOMIC_AS
# Line 18734  if yy_parsing_status = yyContinue then Line 18969  if yy_parsing_status = yyContinue then
18969  end  end
18970                  end                  end
18971    
18972          yy_do_action_483 is          yy_do_action_490 is
18973                          --|#line <not available> "eiffel.y"                          --|#line <not available> "eiffel.y"
18974                  local                  local
18975                          yyval31: ATOMIC_AS                          yyval31: ATOMIC_AS
# Line 18769  if yy_parsing_status = yyContinue then Line 19004  if yy_parsing_status = yyContinue then
19004  end  end
19005                  end                  end
19006    
19007          yy_do_action_484 is          yy_do_action_491 is
19008                          --|#line <not available> "eiffel.y"                          --|#line <not available> "eiffel.y"
19009                  local                  local
19010                          yyval31: ATOMIC_AS                          yyval31: ATOMIC_AS
# Line 18811  if yy_parsing_status = yyContinue then Line 19046  if yy_parsing_status = yyContinue then
19046  end  end
19047                  end                  end
19048    
19049          yy_do_action_485 is          yy_do_action_492 is
19050                          --|#line <not available> "eiffel.y"                          --|#line <not available> "eiffel.y"
19051                  local                  local
19052                          yyval5: BOOL_AS                          yyval5: BOOL_AS
# Line 18828  if yy_parsing_status = yyContinue then Line 19063  if yy_parsing_status = yyContinue then
19063  end  end
19064                  end                  end
19065    
19066          yy_do_action_486 is          yy_do_action_493 is
19067                          --|#line <not available> "eiffel.y"                          --|#line <not available> "eiffel.y"
19068                  local                  local
19069                          yyval5: BOOL_AS                          yyval5: BOOL_AS
# Line 18845  if yy_parsing_status = yyContinue then Line 19080  if yy_parsing_status = yyContinue then
19080  end  end
19081                  end                  end
19082    
19083          yy_do_action_487 is          yy_do_action_494 is
19084                          --|#line <not available> "eiffel.y"                          --|#line <not available> "eiffel.y"
19085                  local                  local
19086                          yyval3: CHAR_AS                          yyval3: CHAR_AS
# Line 18866  if yy_parsing_status = yyContinue then Line 19101  if yy_parsing_status = yyContinue then
19101  end  end
19102                  end                  end
19103    
19104          yy_do_action_488 is          yy_do_action_495 is
19105                          --|#line <not available> "eiffel.y"                          --|#line <not available> "eiffel.y"
19106                  local                  local
19107                          yyval3: CHAR_AS                          yyval3: CHAR_AS
# Line 18888  if yy_parsing_status = yyContinue then Line 19123  if yy_parsing_status = yyContinue then
19123  end  end
19124                  end                  end
19125    
19126          yy_do_action_489 is          yy_do_action_496 is
19127                          --|#line <not available> "eiffel.y"                          --|#line <not available> "eiffel.y"
19128                  local                  local
19129                          yyval59: INTEGER_AS                          yyval59: INTEGER_AS
# Line 18905  if yy_parsing_status = yyContinue then Line 19140  if yy_parsing_status = yyContinue then
19140  end  end
19141                  end                  end
19142    
19143          yy_do_action_490 is          yy_do_action_497 is
19144                          --|#line <not available> "eiffel.y"                          --|#line <not available> "eiffel.y"
19145                  local                  local
19146                          yyval59: INTEGER_AS                          yyval59: INTEGER_AS
# Line 18922  if yy_parsing_status = yyContinue then Line 19157  if yy_parsing_status = yyContinue then
19157  end  end
19158                  end                  end
19159    
19160          yy_do_action_491 is          yy_do_action_498 is
19161                          --|#line <not available> "eiffel.y"                          --|#line <not available> "eiffel.y"
19162                  local                  local
19163                          yyval59: INTEGER_AS                          yyval59: INTEGER_AS
# Line 18939  if yy_parsing_status = yyContinue then Line 19174  if yy_parsing_status = yyContinue then
19174  end  end
19175                  end                  end
19176    
19177          yy_do_action_492 is          yy_do_action_499 is
19178                          --|#line <not available> "eiffel.y"                          --|#line <not available> "eiffel.y"
19179                  local                  local
19180                          yyval59: INTEGER_AS                          yyval59: INTEGER_AS
# Line 18976  if yy_parsing_status = yyContinue then Line 19211  if yy_parsing_status = yyContinue then
19211  end  end
19212                  end                  end
19213    
19214          yy_do_action_493 is          yy_do_action_500 is
19215                          --|#line <not available> "eiffel.y"                          --|#line <not available> "eiffel.y"
19216                  local                  local
19217                          yyval59: INTEGER_AS                          yyval59: INTEGER_AS
# Line 19013  if yy_parsing_status = yyContinue then Line 19248  if yy_parsing_status = yyContinue then
19248  end  end
19249                  end                  end
19250    
19251          yy_do_action_494 is          yy_do_action_501 is
19252                          --|#line <not available> "eiffel.y"                          --|#line <not available> "eiffel.y"
19253                  local                  local
19254                          yyval59: INTEGER_AS                          yyval59: INTEGER_AS
# Line 19049  if yy_parsing_status = yyContinue then Line 19284  if yy_parsing_status = yyContinue then
19284  end  end
19285                  end                  end
19286    
19287          yy_do_action_495 is          yy_do_action_502 is
19288                          --|#line <not available> "eiffel.y"                          --|#line <not available> "eiffel.y"
19289                  local                  local
19290                          yyval59: INTEGER_AS                          yyval59: INTEGER_AS
# Line 19066  if yy_parsing_status = yyContinue then Line 19301  if yy_parsing_status = yyContinue then
19301  end  end
19302                  end                  end
19303    
19304          yy_do_action_496 is          yy_do_action_503 is
19305                          --|#line <not available> "eiffel.y"                          --|#line <not available> "eiffel.y"
19306                  local                  local
19307                          yyval59: INTEGER_AS                          yyval59: INTEGER_AS
# Line 19083  if yy_parsing_status = yyContinue then Line 19318  if yy_parsing_status = yyContinue then
19318  end  end
19319                  end                  end
19320    
19321          yy_do_action_497 is          yy_do_action_504 is
19322                          --|#line <not available> "eiffel.y"                          --|#line <not available> "eiffel.y"
19323                  local                  local
19324                          yyval59: INTEGER_AS                          yyval59: INTEGER_AS
# Line 19120  if yy_parsing_status = yyContinue then Line 19355  if yy_parsing_status = yyContinue then
19355  end  end
19356                  end                  end
19357    
19358          yy_do_action_498 is          yy_do_action_505 is
19359                          --|#line <not available> "eiffel.y"                          --|#line <not available> "eiffel.y"
19360                  local                  local
19361                          yyval59: INTEGER_AS                          yyval59: INTEGER_AS
# Line 19158  if yy_parsing_status = yyContinue then Line 19393  if yy_parsing_status = yyContinue then
19393  end  end
19394                  end                  end
19395    
19396          yy_do_action_499 is          yy_do_action_506 is
19397                          --|#line <not available> "eiffel.y"                          --|#line <not available> "eiffel.y"
19398                  local                  local
19399                          yyval59: INTEGER_AS                          yyval59: INTEGER_AS
# Line 19196  if yy_parsing_status = yyContinue then Line 19431  if yy_parsing_status = yyContinue then
19431  end  end
19432                  end                  end
19433    
19434          yy_do_action_500 is          yy_do_action_507 is
19435                          --|#line <not available> "eiffel.y"                          --|#line <not available> "eiffel.y"
19436                  local                  local
19437                          yyval69: REAL_AS                          yyval69: REAL_AS
# Line 19213  if yy_parsing_status = yyContinue then Line 19448  if yy_parsing_status = yyContinue then
19448  end  end
19449                  end                  end
19450    
19451          yy_do_action_501 is          yy_do_action_508 is
19452                          --|#line <not available> "eiffel.y"                          --|#line <not available> "eiffel.y"
19453                  local                  local
19454                          yyval69: REAL_AS                          yyval69: REAL_AS
# Line 19230  if yy_parsing_status = yyContinue then Line 19465  if yy_parsing_status = yyContinue then
19465  end  end
19466                  end                  end
19467    
19468          yy_do_action_502 is          yy_do_action_509 is
19469                          --|#line <not available> "eiffel.y"                          --|#line <not available> "eiffel.y"
19470                  local                  local
19471                          yyval69: REAL_AS                          yyval69: REAL_AS
# Line 19247  if yy_parsing_status = yyContinue then Line 19482  if yy_parsing_status = yyContinue then
19482  end  end
19483                  end                  end
19484    
19485          yy_do_action_503 is          yy_do_action_510 is
19486                          --|#line <not available> "eiffel.y"                          --|#line <not available> "eiffel.y"
19487                  local                  local
19488                          yyval69: REAL_AS                          yyval69: REAL_AS
# Line 19283  if yy_parsing_status = yyContinue then Line 19518  if yy_parsing_status = yyContinue then
19518  end  end
19519                  end                  end
19520    
19521          yy_do_action_504 is          yy_do_action_511 is
19522                          --|#line <not available> "eiffel.y"                          --|#line <not available> "eiffel.y"
19523                  local                  local
19524                          yyval69: REAL_AS                          yyval69: REAL_AS
# Line 19320  if yy_parsing_status = yyContinue then Line 19555  if yy_parsing_status = yyContinue then
19555  end  end
19556                  end                  end
19557    
19558          yy_do_action_505 is          yy_do_action_512 is
19559                          --|#line <not available> "eiffel.y"                          --|#line <not available> "eiffel.y"
19560                  local                  local
19561                          yyval69: REAL_AS                          yyval69: REAL_AS
# Line 19357  if yy_parsing_status = yyContinue then Line 19592  if yy_parsing_status = yyContinue then
19592  end  end
19593                  end                  end
19594    
19595          yy_do_action_506 is          yy_do_action_513 is
19596                          --|#line <not available> "eiffel.y"                          --|#line <not available> "eiffel.y"
19597                  local                  local
19598                          yyval69: REAL_AS                          yyval69: REAL_AS
# Line 19374  if yy_parsing_status = yyContinue then Line 19609  if yy_parsing_status = yyContinue then
19609  end  end
19610                  end                  end
19611    
19612          yy_do_action_507 is          yy_do_action_514 is
19613                          --|#line <not available> "eiffel.y"                          --|#line <not available> "eiffel.y"
19614                  local                  local
19615                          yyval69: REAL_AS                          yyval69: REAL_AS
# Line 19391  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_508 is          yy_do_action_515 is
19630                          --|#line <not available> "eiffel.y"                          --|#line <not available> "eiffel.y"
19631                  local                  local
19632                          yyval69: REAL_AS                          yyval69: REAL_AS
# Line 19428  if yy_parsing_status = yyContinue then Line 19663  if yy_parsing_status = yyContinue then
19663  end  end
19664                  end                  end
19665    
19666          yy_do_action_509 is          yy_do_action_516 is
19667                          --|#line <not available> "eiffel.y"                          --|#line <not available> "eiffel.y"
19668                  local                  local
19669                          yyval69: REAL_AS                          yyval69: REAL_AS
# Line 19466  if yy_parsing_status = yyContinue then Line 19701  if yy_parsing_status = yyContinue then
19701  end  end
19702                  end                  end
19703    
19704          yy_do_action_510 is          yy_do_action_517 is
19705                          --|#line <not available> "eiffel.y"                          --|#line <not available> "eiffel.y"
19706                  local                  local
19707                          yyval69: REAL_AS                          yyval69: REAL_AS
# Line 19504  if yy_parsing_status = yyContinue then Line 19739  if yy_parsing_status = yyContinue then
19739  end  end
19740                  end                  end
19741    
19742          yy_do_action_511 is          yy_do_action_518 is
19743                          --|#line <not available> "eiffel.y"                          --|#line <not available> "eiffel.y"
19744                  local                  local
19745                          yyval33: BIT_CONST_AS                          yyval33: BIT_CONST_AS
# Line 19539  if yy_parsing_status = yyContinue then Line 19774  if yy_parsing_status = yyContinue then
19774  end  end
19775                  end                  end
19776    
19777          yy_do_action_512 is          yy_do_action_519 is
19778                          --|#line <not available> "eiffel.y"                          --|#line <not available> "eiffel.y"
19779                  local                  local
19780                          yyval18: STRING_AS                          yyval18: STRING_AS
# Line 19556