parser.cpp

来自「开放源码的编译器open watcom 1.6.0版的源代码」· C++ 代码 · 共 529 行 · 第 1/2 页

    *yyssp = yystate = 0;

yyloop:
    if ((yyn = yydefred[yystate]) != 0) goto yyreduce;
    if (yychar < 0)
    {
        if ((yychar = yylex()) < 0) yychar = 0;
#if YYDEBUG
        if (yydebug)
        {
            yys = 0;
            if (yychar <= YYMAXTOKEN) yys = yyname[yychar];
            if (!yys) yys = "illegal-symbol";
            printf("yydebug: state %d, reading %d (%s)\n", yystate,
                    yychar, yys);
        }
#endif
    }
    if (((yyn = yysindex[yystate]) != 0) && (yyn += yychar) >= 0 &&
            yyn <= YYTABLESIZE && yycheck[yyn] == yychar)
    {
#if YYDEBUG
        if (yydebug)
            printf("yydebug: state %d, shifting to state %d\n",
                    yystate, yytable[yyn]);
#endif
        if (yyssp >= yyss + yystacksize - 1)
        {
            goto yyoverflow;
        }
        *++yyssp = yystate = yytable[yyn];
        *++yyvsp = yylval;
        yychar = (-1);
        if (yyerrflag > 0)  --yyerrflag;
        goto yyloop;
    }
    if (((yyn = yyrindex[yystate]) != 0) && (yyn += yychar) >= 0 &&
            yyn <= YYTABLESIZE && yycheck[yyn] == yychar)
    {
        yyn = yytable[yyn];
        goto yyreduce;
    }
    if (yyerrflag) goto yyinrecovery;
    yyerror("syntax error");
    ++yynerrs;
yyinrecovery:
    if (yyerrflag < 3)
    {
        yyerrflag = 3;
        for (;;)
        {
            if (((yyn = yysindex[*yyssp]) != 0) && (yyn += YYERRCODE) >= 0 &&
                    yyn <= YYTABLESIZE && yycheck[yyn] == YYERRCODE)
            {
#if YYDEBUG
                if (yydebug)
                    printf("yydebug: state %d, error recovery shifting\
 to state %d\n", *yyssp, yytable[yyn]);
#endif
                if (yyssp >= yyss + yystacksize - 1)
                {
                    goto yyoverflow;
                }
                *++yyssp = yystate = yytable[yyn];
                *++yyvsp = yylval;
                goto yyloop;
            }
            else
            {
#if YYDEBUG
                if (yydebug)
                    printf("yydebug: error recovery discarding state %d\n",
                            *yyssp);
#endif
                if (yyssp <= yyss) goto yyabort;
                --yyssp;
                --yyvsp;
            }
        }
    }
    else
    {
        if (yychar == 0) goto yyabort;
#if YYDEBUG
        if (yydebug)
        {
            yys = 0;
            if (yychar <= YYMAXTOKEN) yys = yyname[yychar];
            if (!yys) yys = "illegal-symbol";
            printf("yydebug: state %d, error recovery discards token %d (%s)\n",
                    yystate, yychar, yys);
        }
#endif
        yychar = (-1);
        goto yyloop;
    }
yyreduce:
#if YYDEBUG
    if (yydebug)
        printf("yydebug: state %d, reducing by rule %d (%s)\n",
                yystate, yyn, yyrule[yyn]);
#endif
    yym = yylen[yyn];
    yyval = yyvsp[1-yym];
    switch (yyn)
    {
case 1:
#line 38 "parser.y"
{ accept = 0;
                  spec = NULL; }
break;
case 2:
#line 41 "parser.y"
{ spec = spec? mkAlt(spec, yyvsp[0].regexp) : yyvsp[0].regexp; }
break;
case 4:
#line 46 "parser.y"
{ if(yyvsp[-3].symbol->re)
                      in->fatal("sym already defined");
                  yyvsp[-3].symbol->re = yyvsp[-1].regexp; }
break;
case 5:
#line 52 "parser.y"
{ yyval.regexp = new RuleOp(yyvsp[-2].regexp, yyvsp[-1].regexp, yyvsp[0].token, accept++); }
break;
case 6:
#line 56 "parser.y"
{ yyval.regexp = new NullOp; }
break;
case 7:
#line 58 "parser.y"
{ yyval.regexp = yyvsp[0].regexp; }
break;
case 8:
#line 62 "parser.y"
{ yyval.regexp = yyvsp[0].regexp; }
break;
case 9:
#line 64 "parser.y"
{ yyval.regexp =  mkAlt(yyvsp[-2].regexp, yyvsp[0].regexp); }
break;
case 10:
#line 68 "parser.y"
{ yyval.regexp = yyvsp[0].regexp; }
break;
case 11:
#line 70 "parser.y"
{ yyval.regexp =  mkDiff(yyvsp[-2].regexp, yyvsp[0].regexp);
                  if(!yyval.regexp)
                       in->fatal("can only difference char sets");
                }
break;
case 12:
#line 77 "parser.y"
{ yyval.regexp = yyvsp[0].regexp; }
break;
case 13:
#line 79 "parser.y"
{ yyval.regexp = new CatOp(yyvsp[-1].regexp, yyvsp[0].regexp); }
break;
case 14:
#line 83 "parser.y"
{ yyval.regexp = yyvsp[0].regexp; }
break;
case 15:
#line 85 "parser.y"
{
                    switch(yyvsp[0].op){
                    case '*':
                        yyval.regexp = mkAlt(new CloseOp(yyvsp[-1].regexp), new NullOp());
                        break;
                    case '+':
                        yyval.regexp = new CloseOp(yyvsp[-1].regexp);
                        break;
                    case '?':
                        yyval.regexp = mkAlt(yyvsp[-1].regexp, new NullOp());
                        break;
                    }
                }
break;
case 16:
#line 101 "parser.y"
{ yyval.op = yyvsp[0].op; }
break;
case 17:
#line 103 "parser.y"
{ yyval.op = ((yyvsp[-1].op == yyvsp[0].op) != 0) ? yyvsp[-1].op : '*'; }
break;
case 18:
#line 107 "parser.y"
{ if(!yyvsp[0].symbol->re)
                      in->fatal("can't find symbol");
                  yyval.regexp = yyvsp[0].symbol->re; }
break;
case 19:
#line 111 "parser.y"
{ yyval.regexp = yyvsp[0].regexp; }
break;
case 20:
#line 113 "parser.y"
{ yyval.regexp = yyvsp[0].regexp; }
break;
case 21:
#line 115 "parser.y"
{ yyval.regexp = yyvsp[-1].regexp; }
break;
#line 452 "y.tab.c"
    }
    yyssp -= yym;
    yystate = *yyssp;
    yyvsp -= yym;
    yym = yylhs[yyn];
    if (yystate == 0 && yym == 0)
    {
#if YYDEBUG
        if (yydebug)
            printf("yydebug: after reduction, shifting from state 0 to\
 state %d\n", YYFINAL);
#endif
        yystate = YYFINAL;
        *++yyssp = YYFINAL;
        *++yyvsp = yyval;
        if (yychar < 0)
        {
            if ((yychar = yylex()) < 0) yychar = 0;
#if YYDEBUG
            if (yydebug)
            {
                yys = 0;
                if (yychar <= YYMAXTOKEN) yys = yyname[yychar];
                if (!yys) yys = "illegal-symbol";
                printf("yydebug: state %d, reading %d (%s)\n",
                        YYFINAL, yychar, yys);
            }
#endif
        }
        if (yychar == 0) goto yyaccept;
        goto yyloop;
    }
    if (((yyn = yygindex[yym]) != 0) && (yyn += yystate) >= 0 &&
            yyn <= YYTABLESIZE && yycheck[yyn] == yystate)
        yystate = yytable[yyn];
    else
        yystate = yydgoto[yym];
#if YYDEBUG
    if (yydebug)
        printf("yydebug: after reduction, shifting from state %d \
to state %d\n", *yyssp, yystate);
#endif
    if (yyssp >= yyss + yystacksize - 1)
    {
        goto yyoverflow;
    }
    *++yyssp = yystate;
    *++yyvsp = yyval;
    goto yyloop;
yyoverflow:
    yyerror("yacc stack overflow");
yyabort:
    return (1);
yyaccept:
    return (0);
}