home *** CD-ROM | disk | FTP | other *** search
-
- /* A Bison parser, made from ::Flex-TC:parse.y */
-
- #define CHAR 258
- #define NUMBER 259
- #define SECTEND 260
- #define SCDECL 261
- #define XSCDECL 262
- #define WHITESPACE 263
- #define NAME 264
- #define PREVCCL 265
- #define EOF_OP 266
-
- #line 29 "::Flex-TC:parse.y"
-
-
- #include "flexdef.h"
-
- #ifndef lint
-
- static char copyright[] =
- "@(#) Copyright (c) 1989 The Regents of the University of California.\n";
- static char CR_continuation[] = "@(#) All rights reserved.\n";
-
- static char rcsid[] =
- "@(#) $Header: parse.y,v 2.1 89/06/20 17:23:54 vern Exp $ (LBL)";
-
- #endif
-
- int pat, scnum, eps, headcnt, trailcnt, anyccl, lastchar, i, actvp, rulelen;
- int trlcontxt, xcluflg, cclsorted, varlength, variable_trail_rule;
- char clower();
-
- static int madeany = false; /* whether we've made the '.' character class */
- int previous_continued_action; /* whether the previous rule's action was '|' */
-
-
- #ifndef YYLTYPE
- typedef
- struct yyltype
- {
- int timestamp;
- int first_line;
- int first_column;
- int last_line;
- int last_column;
- char *text;
- }
- yyltype;
-
- #define YYLTYPE yyltype
- #endif
-
- #ifndef YYSTYPE
- #define YYSTYPE int
- #endif
- #include <stdio.h>
-
- #ifndef __STDC__
- #define const
- #endif
-
-
-
- #define YYFINAL 83
- #define YYFLAG -32768
- #define YYNTBASE 32
-
- #define YYTRANSLATE(x) ((unsigned)(x) <= 266 ? yytranslate[x] : 51)
-
- static const char yytranslate[] = { 0,
- 2, 2, 2, 2, 2, 2, 2, 2, 2, 12,
- 2, 2, 2, 2, 2, 2, 2, 2, 2, 2,
- 2, 2, 2, 2, 2, 2, 2, 2, 2, 2,
- 2, 2, 2, 26, 2, 17, 2, 2, 2, 27,
- 28, 20, 21, 16, 31, 25, 19, 2, 2, 2,
- 2, 2, 2, 2, 2, 2, 2, 2, 2, 14,
- 2, 15, 22, 2, 2, 2, 2, 2, 2, 2,
- 2, 2, 2, 2, 2, 2, 2, 2, 2, 2,
- 2, 2, 2, 2, 2, 2, 2, 2, 2, 2,
- 29, 2, 30, 13, 2, 2, 2, 2, 2, 2,
- 2, 2, 2, 2, 2, 2, 2, 2, 2, 2,
- 2, 2, 2, 2, 2, 2, 2, 2, 2, 2,
- 2, 2, 23, 18, 24, 2, 2, 2, 2, 2,
- 2, 2, 2, 2, 2, 2, 2, 2, 2, 2,
- 2, 2, 2, 2, 2, 2, 2, 2, 2, 2,
- 2, 2, 2, 2, 2, 2, 2, 2, 2, 2,
- 2, 2, 2, 2, 2, 2, 2, 2, 2, 2,
- 2, 2, 2, 2, 2, 2, 2, 2, 2, 2,
- 2, 2, 2, 2, 2, 2, 2, 2, 2, 2,
- 2, 2, 2, 2, 2, 2, 2, 2, 2, 2,
- 2, 2, 2, 2, 2, 2, 2, 2, 2, 2,
- 2, 2, 2, 2, 2, 2, 2, 2, 2, 2,
- 2, 2, 2, 2, 2, 2, 2, 2, 2, 2,
- 2, 2, 2, 2, 2, 2, 2, 2, 2, 2,
- 2, 2, 2, 2, 2, 2, 2, 2, 2, 2,
- 2, 2, 2, 2, 2, 1, 2, 3, 4, 5,
- 6, 7, 8, 9, 10, 11
- };
-
- static const short yyrline[] = { 0,
- 54, 78, 87, 88, 89, 93, 96, 106, 110, 113,
- 116, 120, 121, 124, 135, 155, 166, 190, 201, 204,
- 211, 215, 218, 227, 235, 239, 261, 276, 283, 336,
- 341, 366, 374, 378, 385, 392, 399, 417, 431, 449,
- 471, 488, 495, 498, 501, 515, 518, 532, 560, 572,
- 580, 591
- };
-
- static const char * const yytname[] = { 0,
- "error","$illegal.","CHAR","NUMBER","SECTEND","SCDECL","XSCDECL","WHITESPACE","NAME","PREVCCL",
- "EOF_OP","'\\n'","'^'","'<'","'>'","','","'$'","'|'","'/'","'*'",
- "'+'","'?'","'{'","'}'","'.'","'\"'","'('","')'","'['","']'",
- "'-'","goal"
- };
-
- static const short yyr1[] = { 0,
- 32, 33, 34, 34, 34, 35, 36, 36, 37, 37,
- 37, 38, 38, 39, 40, 40, 40, 40, 40, 40,
- 40, 41, 42, 42, 42, 43, 43, 44, 44, 44,
- 45, 46, 46, 47, 47, 47, 47, 47, 47, 47,
- 47, 47, 47, 47, 47, 48, 48, 49, 49, 49,
- 50, 50
- };
-
- static const short yyr2[] = { 0,
- 5, 0, 5, 0, 2, 1, 1, 1, 3, 1,
- 1, 4, 0, 0, 4, 3, 3, 2, 2, 1,
- 1, 3, 3, 1, 1, 1, 0, 3, 2, 1,
- 2, 2, 1, 2, 2, 2, 6, 5, 4, 1,
- 1, 1, 3, 3, 1, 3, 4, 4, 2, 0,
- 2, 0
- };
-
- static const short yydefact[] = { 2,
- 0, 0, 0, 5, 6, 7, 8, 13, 0, 14,
- 0, 0, 11, 10, 0, 21, 45, 42, 20, 0,
- 0, 40, 52, 0, 50, 0, 0, 27, 0, 30,
- 33, 41, 0, 3, 27, 25, 24, 0, 0, 0,
- 50, 0, 12, 19, 0, 27, 26, 0, 31, 18,
- 29, 32, 34, 35, 36, 0, 9, 17, 22, 0,
- 51, 43, 44, 0, 49, 46, 27, 16, 28, 0,
- 23, 47, 0, 15, 0, 39, 48, 0, 38, 37,
- 0, 0, 0
- };
-
- static const short yydefgoto[] = { 81,
- 1, 3, 8, 9, 15, 10, 12, 26, 27, 38,
- 50, 28, 29, 30, 31, 32, 42, 39
- };
-
- static const short yypact[] = {-32768,
- 60, -3, 67,-32768,-32768,-32768,-32768,-32768, 15,-32768,
- 17, 3,-32768,-32768, 40,-32768,-32768,-32768,-32768, 28,
- 36,-32768,-32768, 28, 29, 44, 33, 58, 28, 28,
- 48,-32768, 54,-32768, 58,-32768,-32768, 35, -1, -8,
- -32768, 4,-32768,-32768, 28, 58,-32768, 28,-32768,-32768,
- 28, 48,-32768,-32768,-32768, 74,-32768,-32768,-32768, 55,
- -32768,-32768,-32768, 5, 49,-32768, 58,-32768, 28, 25,
- -32768,-32768, 76,-32768, 23,-32768,-32768, 57,-32768,-32768,
- 82, 83,-32768
- };
-
- static const short yypgoto[] = {-32768,
- -32768,-32768,-32768,-32768,-32768,-32768,-32768,-32768,-32768,-32768,
- -34, -5,-32768, -24, -30,-32768, 43,-32768
- };
-
-
- #define YYLAST 84
-
-
- static const short yytable[] = { 52,
- 58, 61, -1, 16, 51, 17, 65, 65, 4, 48,
- 49, 68, 18, 19, 35, 20, 21, 13, 40, 63,
- 52, 46, 11, 69, 62, 14, 78, 22, 23, 24,
- 17, 25, 74, 66, 72, 17, 36, 18, 52, 67,
- 75, 41, 18, 44, 37, 45, 79, 33, 76, 59,
- 60, 34, 22, 23, 24, 43, 25, 22, 23, 24,
- 2, 25, 57, 71, -4, -4, -4, 53, 54, 55,
- 56, 5, 6, 7, 47, 48, 49, 70, 77, 73,
- 80, 82, 83, 64
- };
-
- static const short yycheck[] = { 30,
- 35, 3, 0, 1, 29, 3, 3, 3, 12, 18,
- 19, 46, 10, 11, 20, 13, 14, 1, 24, 28,
- 51, 27, 8, 48, 26, 9, 4, 25, 26, 27,
- 3, 29, 67, 30, 30, 3, 1, 10, 69, 45,
- 16, 13, 10, 11, 9, 13, 24, 8, 24, 15,
- 16, 12, 25, 26, 27, 12, 29, 25, 26, 27,
- 1, 29, 9, 9, 5, 6, 7, 20, 21, 22,
- 23, 5, 6, 7, 17, 18, 19, 4, 3, 31,
- 24, 0, 0, 41
- };
- #define YYPURE 1
-
- /* -*-C-*- Note some compilers choke on comments on `#line' lines. */
- #line 3 "bison.simple"
-
- /* Skeleton output parser for bison,
- Copyright (C) 1984 Bob Corbett and Richard Stallman
-
- This program is free software; you can redistribute it and/or modify
- it under the terms of the GNU General Public License as published by
- the Free Software Foundation; either version 1, or (at your option)
- any later version.
-
- This program is distributed in the hope that it will be useful,
- but WITHOUT ANY WARRANTY; without even the implied warranty of
- MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
- GNU General Public License for more details.
-
- You should have received a copy of the GNU General Public License
- along with this program; if not, write to the Free Software
- Foundation, Inc., 675 Mass Ave, Cambridge, MA 02139, USA. */
-
-
- #if (!defined (__STDC__) && defined (sparc)) || defined (__sparc__)
- #include <alloca.h>
- #endif
-
- /* This is the parser code that is written into each bison parser
- when the %semantic_parser declaration is not specified in the grammar.
- It was written by Richard Stallman by simplifying the hairy parser
- used when %semantic_parser is specified. */
-
- /* Note: there must be only one dollar sign in this file.
- It is replaced by the list of actions, each action
- as one case of the switch. */
-
- #define yyerrok (yyerrstatus = 0)
- #define yyclearin (yychar = YYEMPTY)
- #define YYEMPTY -2
- #define YYEOF 0
- #define YYFAIL goto yyerrlab;
- #define YYACCEPT return(0)
- #define YYABORT return(1)
- #define YYERROR goto yyerrlab
-
- #define YYTERROR 1
- #define YYERRCODE 256
-
- #ifndef YYIMPURE
- #define YYLEX yylex()
- #endif
-
- #ifndef YYPURE
- #define YYLEX yylex(&yylval, &yylloc)
- #endif
-
- /* If nonreentrant, generate the variables here */
-
- #ifndef YYIMPURE
-
- int yychar; /* the lookahead symbol */
- YYSTYPE yylval; /* the semantic value of the */
- /* lookahead symbol */
-
- YYLTYPE yylloc; /* location data for the lookahead */
- /* symbol */
-
- int yynerrs; /* number of parse errors so far */
- #endif /* YYIMPURE */
-
- #if YYDEBUG != 0
- int yydebug; /* nonzero means print parse trace */
- /* Since this is uninitialized, it does not stop multiple parsers
- from coexisting. */
- #endif
-
- /* YYMAXDEPTH indicates the initial size of the parser's stacks */
-
- #ifndef YYMAXDEPTH
- #define YYMAXDEPTH 200
- #endif
-
- /* YYMAXLIMIT is the maximum size the stacks can grow to
- (effective only if the built-in stack extension method is used). */
-
- #ifndef YYMAXLIMIT
- #define YYMAXLIMIT 10000
- #endif
-
-
- #line 90 "bison.simple"
- int
- yyparse()
- {
- register int yystate;
- register int yyn;
- register short *yyssp;
- register YYSTYPE *yyvsp;
- YYLTYPE *yylsp;
- int yyerrstatus; /* number of tokens to shift before error messages enabled */
- int yychar1; /* lookahead token as an internal (translated) token number */
-
- short yyssa[YYMAXDEPTH]; /* the state stack */
- YYSTYPE yyvsa[YYMAXDEPTH]; /* the semantic value stack */
- YYLTYPE yylsa[YYMAXDEPTH]; /* the location stack */
-
- short *yyss = yyssa; /* refer to the stacks thru separate pointers */
- YYSTYPE *yyvs = yyvsa; /* to allow yyoverflow to reallocate them elsewhere */
- YYLTYPE *yyls = yylsa;
-
- int yymaxdepth = YYMAXDEPTH;
-
- #ifndef YYPURE
- int yychar;
- YYSTYPE yylval;
- YYLTYPE yylloc;
- int yynerrs;
- #endif
-
- YYSTYPE yyval; /* the variable used to return */
- /* semantic values from the action */
- /* routines */
-
- int yylen;
-
- #if YYDEBUG != 0
- if (yydebug)
- fprintf(stderr, "Starting parse\n");
- #endif
-
- yystate = 0;
- yyerrstatus = 0;
- yynerrs = 0;
- yychar = YYEMPTY; /* Cause a token to be read. */
-
- /* Initialize stack pointers.
- Waste one element of value and location stack
- so that they stay on the same level as the state stack. */
-
- yyssp = yyss - 1;
- yyvsp = yyvs;
- yylsp = yyls;
-
- /* Push a new state, which is found in yystate . */
- /* In all cases, when you get here, the value and location stacks
- have just been pushed. so pushing a state here evens the stacks. */
- yynewstate:
-
- *++yyssp = yystate;
-
- if (yyssp >= yyss + yymaxdepth - 1)
- {
- /* Give user a chance to reallocate the stack */
- /* Use copies of these so that the &'s don't force the real ones into memory. */
- YYSTYPE *yyvs1 = yyvs;
- YYLTYPE *yyls1 = yyls;
- short *yyss1 = yyss;
-
- /* Get the current used size of the three stacks, in elements. */
- int size = yyssp - yyss + 1;
-
- #ifdef yyoverflow
- /* Each stack pointer address is followed by the size of
- the data in use in that stack, in bytes. */
- yyoverflow("parser stack overflow",
- &yyss1, size * sizeof (*yyssp),
- &yyvs1, size * sizeof (*yyvsp),
- &yyls1, size * sizeof (*yylsp),
- &yymaxdepth);
-
- yyss = yyss1; yyvs = yyvs1; yyls = yyls1;
- #else /* no yyoverflow */
- /* Extend the stack our own way. */
- if (yymaxdepth >= YYMAXLIMIT)
- yyerror("parser stack overflow");
- yymaxdepth *= 2;
- if (yymaxdepth > YYMAXLIMIT)
- yymaxdepth = YYMAXLIMIT;
- yyss = (short *) alloca (yymaxdepth * sizeof (*yyssp));
- bcopy ((char *)yyss1, (char *)yyss, size * sizeof (*yyssp));
- yyvs = (YYSTYPE *) alloca (yymaxdepth * sizeof (*yyvsp));
- bcopy ((char *)yyvs1, (char *)yyvs, size * sizeof (*yyvsp));
- #ifdef YYLSP_NEEDED
- yyls = (YYLTYPE *) alloca (yymaxdepth * sizeof (*yylsp));
- bcopy ((char *)yyls1, (char *)yyls, size * sizeof (*yylsp));
- #endif
- #endif /* no yyoverflow */
-
- yyssp = yyss + size - 1;
- yyvsp = yyvs + size - 1;
- #ifdef YYLSP_NEEDED
- yylsp = yyls + size - 1;
- #endif
-
- #if YYDEBUG != 0
- if (yydebug)
- fprintf(stderr, "Stack size increased to %d\n", yymaxdepth);
- #endif
-
- if (yyssp >= yyss + yymaxdepth - 1)
- YYABORT;
- }
-
- #if YYDEBUG != 0
- if (yydebug)
- fprintf(stderr, "Entering state %d\n", yystate);
- #endif
-
- /* Do appropriate processing given the current state. */
- /* Read a lookahead token if we need one and don't already have one. */
- yyresume:
-
- /* First try to decide what to do without reference to lookahead token. */
-
- yyn = yypact[yystate];
- if (yyn == YYFLAG)
- goto yydefault;
-
- /* Not known => get a lookahead token if don't already have one. */
-
- /* yychar is either YYEMPTY or YYEOF
- or a valid token in external form. */
-
- if (yychar == YYEMPTY)
- {
- #if YYDEBUG != 0
- if (yydebug)
- fprintf(stderr, "Reading a token: ");
- #endif
- yychar = YYLEX;
- }
-
- /* Convert token to internal form (in yychar1) for indexing tables with */
-
- if (yychar <= 0) /* This means end of input. */
- {
- yychar1 = 0;
- yychar = YYEOF; /* Don't call YYLEX any more */
-
- #if YYDEBUG != 0
- if (yydebug)
- fprintf(stderr, "Now at end of input.\n");
- #endif
- }
- else
- {
- yychar1 = YYTRANSLATE(yychar);
-
- #if YYDEBUG != 0
- if (yydebug)
- fprintf(stderr, "Next token is %d (%s)\n", yychar, yytname[yychar1]);
- #endif
- }
-
- yyn += yychar1;
- if (yyn < 0 || yyn > YYLAST || yycheck[yyn] != yychar1)
- goto yydefault;
-
- yyn = yytable[yyn];
-
- /* yyn is what to do for this token type in this state.
- Negative => reduce, -yyn is rule number.
- Positive => shift, yyn is new state.
- New state is final state => don't bother to shift,
- just return success.
- 0, or most negative number => error. */
-
- if (yyn < 0)
- {
- if (yyn == YYFLAG)
- goto yyerrlab;
- yyn = -yyn;
- goto yyreduce;
- }
- else if (yyn == 0)
- goto yyerrlab;
-
- if (yyn == YYFINAL)
- YYACCEPT;
-
- /* Shift the lookahead token. */
-
- #if YYDEBUG != 0
- if (yydebug)
- fprintf(stderr, "Shifting token %d (%s), ", yychar, yytname[yychar1]);
- #endif
-
- /* Discard the token being shifted unless it is eof. */
- if (yychar != YYEOF)
- yychar = YYEMPTY;
-
- *++yyvsp = yylval;
- #ifdef YYLSP_NEEDED
- *++yylsp = yylloc;
- #endif
-
- /* count tokens shifted since error; after three, turn off error status. */
- if (yyerrstatus) yyerrstatus--;
-
- yystate = yyn;
- goto yynewstate;
-
- /* Do the default action for the current state. */
- yydefault:
-
- yyn = yydefact[yystate];
- if (yyn == 0)
- goto yyerrlab;
-
- /* Do a reduction. yyn is the number of a rule to reduce with. */
- yyreduce:
- yylen = yyr2[yyn];
- yyval = yyvsp[1-yylen]; /* implement default value of the action */
-
- #if YYDEBUG != 0
- if (yydebug)
- {
- if (yylen == 1)
- fprintf (stderr, "Reducing 1 value via line %d, ",
- yyrline[yyn]);
- else
- fprintf (stderr, "Reducing %d values via line %d, ",
- yylen, yyrline[yyn]);
- }
- #endif
-
-
- switch (yyn) {
-
- case 1:
- #line 55 "::Flex-TC:parse.y"
- { /* add default rule */
- int def_rule;
-
- pat = cclinit();
- cclnegate( pat );
-
- def_rule = mkstate( -pat );
-
- finish_rule( def_rule, false, 0, 0 );
-
- for ( i = 1; i <= lastsc; ++i )
- scset[i] = mkbranch( scset[i], def_rule );
-
- if ( spprdflt )
- fputs( "YY_FATAL_ERROR( \"flex scanner jammed\" )",
- temp_action_file );
- else
- fputs( "ECHO", temp_action_file );
-
- fputs( ";\n\tYY_BREAK\n", temp_action_file );
- ;
- break;}
- case 2:
- #line 79 "::Flex-TC:parse.y"
- {
- /* initialize for processing rules */
-
- /* create default DFA start condition */
- scinstal( "INITIAL", false );
- ;
- break;}
- case 5:
- #line 90 "::Flex-TC:parse.y"
- { synerr( "unknown error processing section 1" ); ;
- break;}
- case 7:
- #line 97 "::Flex-TC:parse.y"
- {
- /* these productions are separate from the s1object
- * rule because the semantics must be done before
- * we parse the remainder of an s1object
- */
-
- xcluflg = false;
- ;
- break;}
- case 8:
- #line 107 "::Flex-TC:parse.y"
- { xcluflg = true; ;
- break;}
- case 9:
- #line 111 "::Flex-TC:parse.y"
- { scinstal( nmstr, xcluflg ); ;
- break;}
- case 10:
- #line 114 "::Flex-TC:parse.y"
- { scinstal( nmstr, xcluflg ); ;
- break;}
- case 11:
- #line 117 "::Flex-TC:parse.y"
- { synerr( "bad start condition list" ); ;
- break;}
- case 14:
- #line 125 "::Flex-TC:parse.y"
- {
- /* initialize for a parse of one rule */
- trlcontxt = variable_trail_rule = varlength = false;
- trailcnt = headcnt = rulelen = 0;
- current_state_type = STATE_NORMAL;
- previous_continued_action = continued_action;
- new_rule();
- ;
- break;}
- case 15:
- #line 136 "::Flex-TC:parse.y"
- {
- pat = link_machines( yyvsp[-1], yyvsp[0] );
- finish_rule( pat, variable_trail_rule,
- headcnt, trailcnt );
-
- for ( i = 1; i <= actvp; ++i )
- scbol[actvsc[i]] =
- mkbranch( scbol[actvsc[i]], pat );
-
- if ( ! bol_needed )
- {
- bol_needed = true;
-
- if ( performance_report )
- fprintf( stderr,
- "'^' operator results in sub-optimal performance\n" );
- }
- ;
- break;}
- case 16:
- #line 156 "::Flex-TC:parse.y"
- {
- pat = link_machines( yyvsp[-1], yyvsp[0] );
- finish_rule( pat, variable_trail_rule,
- headcnt, trailcnt );
-
- for ( i = 1; i <= actvp; ++i )
- scset[actvsc[i]] =
- mkbranch( scset[actvsc[i]], pat );
- ;
- break;}
- case 17:
- #line 167 "::Flex-TC:parse.y"
- {
- pat = link_machines( yyvsp[-1], yyvsp[0] );
- finish_rule( pat, variable_trail_rule,
- headcnt, trailcnt );
-
- /* add to all non-exclusive start conditions,
- * including the default (0) start condition
- */
-
- for ( i = 1; i <= lastsc; ++i )
- if ( ! scxclu[i] )
- scbol[i] = mkbranch( scbol[i], pat );
-
- if ( ! bol_needed )
- {
- bol_needed = true;
-
- if ( performance_report )
- fprintf( stderr,
- "'^' operator results in sub-optimal performance\n" );
- }
- ;
- break;}
- case 18:
- #line 191 "::Flex-TC:parse.y"
- {
- pat = link_machines( yyvsp[-1], yyvsp[0] );
- finish_rule( pat, variable_trail_rule,
- headcnt, trailcnt );
-
- for ( i = 1; i <= lastsc; ++i )
- if ( ! scxclu[i] )
- scset[i] = mkbranch( scset[i], pat );
- ;
- break;}
- case 19:
- #line 202 "::Flex-TC:parse.y"
- { build_eof_action(); ;
- break;}
- case 20:
- #line 205 "::Flex-TC:parse.y"
- {
- /* this EOF applies only to the INITIAL start cond. */
- actvsc[actvp = 1] = 1;
- build_eof_action();
- ;
- break;}
- case 21:
- #line 212 "::Flex-TC:parse.y"
- { synerr( "unrecognized rule" ); ;
- break;}
- case 23:
- #line 219 "::Flex-TC:parse.y"
- {
- if ( (scnum = sclookup( nmstr )) == 0 )
- lerrsf( "undeclared start condition %s", nmstr );
-
- else
- actvsc[++actvp] = scnum;
- ;
- break;}
- case 24:
- #line 228 "::Flex-TC:parse.y"
- {
- if ( (scnum = sclookup( nmstr )) == 0 )
- lerrsf( "undeclared start condition %s", nmstr );
- else
- actvsc[actvp = 1] = scnum;
- ;
- break;}
- case 25:
- #line 236 "::Flex-TC:parse.y"
- { synerr( "bad start condition list" ); ;
- break;}
- case 26:
- #line 240 "::Flex-TC:parse.y"
- {
- if ( trlcontxt )
- {
- synerr( "trailing context used twice" );
- yyval = mkstate( SYM_EPSILON );
- }
- else
- {
- trlcontxt = true;
-
- if ( ! varlength )
- headcnt = rulelen;
-
- ++rulelen;
- trailcnt = 1;
-
- eps = mkstate( SYM_EPSILON );
- yyval = link_machines( eps, mkstate( '\n' ) );
- }
- ;
- break;}
- case 27:
- #line 262 "::Flex-TC:parse.y"
- {
- yyval = mkstate( SYM_EPSILON );
-
- if ( trlcontxt )
- {
- if ( varlength && headcnt == 0 )
- /* both head and trail are variable-length */
- variable_trail_rule = true;
- else
- trailcnt = rulelen;
- }
- ;
- break;}
- case 28:
- #line 277 "::Flex-TC:parse.y"
- {
- varlength = true;
-
- yyval = mkor( yyvsp[-2], yyvsp[0] );
- ;
- break;}
- case 29:
- #line 284 "::Flex-TC:parse.y"
- {
- if ( transchar[lastst[yyvsp[0]]] != SYM_EPSILON )
- /* provide final transition \now/ so it
- * will be marked as a trailing context
- * state
- */
- yyvsp[0] = link_machines( yyvsp[0], mkstate( SYM_EPSILON ) );
-
- mark_beginning_as_normal( yyvsp[0] );
- current_state_type = STATE_NORMAL;
-
- if ( previous_continued_action )
- {
- /* we need to treat this as variable trailing
- * context so that the backup does not happen
- * in the action but before the action switch
- * statement. If the backup happens in the
- * action, then the rules "falling into" this
- * one's action will *also* do the backup,
- * erroneously.
- */
- if ( ! varlength || headcnt != 0 )
- {
- fprintf( stderr,
- "flex: warning - trailing context rule at line %d made variable because\n",
- linenum );
- fprintf( stderr,
- " of preceding '|' action\n" );
- }
-
- /* mark as variable */
- varlength = true;
- headcnt = 0;
- }
-
- if ( varlength && headcnt == 0 )
- { /* variable trailing context rule */
- /* mark the first part of the rule as the accepting
- * "head" part of a trailing context rule
- */
- /* by the way, we didn't do this at the beginning
- * of this production because back then
- * current_state_type was set up for a trail
- * rule, and add_accept() can create a new
- * state ...
- */
- add_accept( yyvsp[-1], num_rules | YY_TRAILING_HEAD_MASK );
- }
-
- yyval = link_machines( yyvsp[-1], yyvsp[0] );
- ;
- break;}
- case 30:
- #line 337 "::Flex-TC:parse.y"
- { yyval = yyvsp[0]; ;
- break;}
- case 31:
- #line 342 "::Flex-TC:parse.y"
- {
- /* this rule is separate from the others for "re" so
- * that the reduction will occur before the trailing
- * series is parsed
- */
-
- if ( trlcontxt )
- synerr( "trailing context used twice" );
- else
- trlcontxt = true;
-
- if ( varlength )
- /* we hope the trailing context is fixed-length */
- varlength = false;
- else
- headcnt = rulelen;
-
- rulelen = 0;
-
- current_state_type = STATE_TRAILING_CONTEXT;
- yyval = yyvsp[-1];
- ;
- break;}
- case 32:
- #line 367 "::Flex-TC:parse.y"
- {
- /* this is where concatenation of adjacent patterns
- * gets done
- */
- yyval = link_machines( yyvsp[-1], yyvsp[0] );
- ;
- break;}
- case 33:
- #line 375 "::Flex-TC:parse.y"
- { yyval = yyvsp[0]; ;
- break;}
- case 34:
- #line 379 "::Flex-TC:parse.y"
- {
- varlength = true;
-
- yyval = mkclos( yyvsp[-1] );
- ;
- break;}
- case 35:
- #line 386 "::Flex-TC:parse.y"
- {
- varlength = true;
-
- yyval = mkposcl( yyvsp[-1] );
- ;
- break;}
- case 36:
- #line 393 "::Flex-TC:parse.y"
- {
- varlength = true;
-
- yyval = mkopt( yyvsp[-1] );
- ;
- break;}
- case 37:
- #line 400 "::Flex-TC:parse.y"
- {
- varlength = true;
-
- if ( yyvsp[-3] > yyvsp[-1] || yyvsp[-3] < 0 )
- {
- synerr( "bad iteration values" );
- yyval = yyvsp[-5];
- }
- else
- {
- if ( yyvsp[-3] == 0 )
- yyval = mkopt( mkrep( yyvsp[-5], yyvsp[-3], yyvsp[-1] ) );
- else
- yyval = mkrep( yyvsp[-5], yyvsp[-3], yyvsp[-1] );
- }
- ;
- break;}
- case 38:
- #line 418 "::Flex-TC:parse.y"
- {
- varlength = true;
-
- if ( yyvsp[-2] <= 0 )
- {
- synerr( "iteration value must be positive" );
- yyval = yyvsp[-4];
- }
-
- else
- yyval = mkrep( yyvsp[-4], yyvsp[-2], INFINITY );
- ;
- break;}
- case 39:
- #line 432 "::Flex-TC:parse.y"
- {
- /* the singleton could be something like "(foo)",
- * in which case we have no idea what its length
- * is, so we punt here.
- */
- varlength = true;
-
- if ( yyvsp[-1] <= 0 )
- {
- synerr( "iteration value must be positive" );
- yyval = yyvsp[-3];
- }
-
- else
- yyval = link_machines( yyvsp[-3], copysingl( yyvsp[-3], yyvsp[-1] - 1 ) );
- ;
- break;}
- case 40:
- #line 450 "::Flex-TC:parse.y"
- {
- if ( ! madeany )
- {
- /* create the '.' character class */
- anyccl = cclinit();
- ccladd( anyccl, '\n' );
- cclnegate( anyccl );
-
- if ( useecs )
- mkeccl( ccltbl + cclmap[anyccl],
- ccllen[anyccl], nextecm,
- ecgroup, CSIZE );
-
- madeany = true;
- }
-
- ++rulelen;
-
- yyval = mkstate( -anyccl );
- ;
- break;}
- case 41:
- #line 472 "::Flex-TC:parse.y"
- {
- if ( ! cclsorted )
- /* sort characters for fast searching. We use a
- * shell sort since this list could be large.
- */
- cshell( ccltbl + cclmap[yyvsp[0]], ccllen[yyvsp[0]] );
-
- if ( useecs )
- mkeccl( ccltbl + cclmap[yyvsp[0]], ccllen[yyvsp[0]],
- nextecm, ecgroup, CSIZE );
-
- ++rulelen;
-
- yyval = mkstate( -yyvsp[0] );
- ;
- break;}
- case 42:
- #line 489 "::Flex-TC:parse.y"
- {
- ++rulelen;
-
- yyval = mkstate( -yyvsp[0] );
- ;
- break;}
- case 43:
- #line 496 "::Flex-TC:parse.y"
- { yyval = yyvsp[-1]; ;
- break;}
- case 44:
- #line 499 "::Flex-TC:parse.y"
- { yyval = yyvsp[-1]; ;
- break;}
- case 45:
- #line 502 "::Flex-TC:parse.y"
- {
- ++rulelen;
-
- if ( yyvsp[0] == '\0' )
- synerr( "null in rule" );
-
- if ( caseins && yyvsp[0] >= 'A' && yyvsp[0] <= 'Z' )
- yyvsp[0] = clower( yyvsp[0] );
-
- yyval = mkstate( yyvsp[0] );
- ;
- break;}
- case 46:
- #line 516 "::Flex-TC:parse.y"
- { yyval = yyvsp[-1]; ;
- break;}
- case 47:
- #line 519 "::Flex-TC:parse.y"
- {
- /* *Sigh* - to be compatible Unix lex, negated ccls
- * match newlines
- */
- #ifdef NOTDEF
- ccladd( yyvsp[-1], '\n' ); /* negated ccls don't match '\n' */
- cclsorted = false; /* because we added the newline */
- #endif
- cclnegate( yyvsp[-1] );
- yyval = yyvsp[-1];
- ;
- break;}
- case 48:
- #line 533 "::Flex-TC:parse.y"
- {
- if ( yyvsp[-2] > yyvsp[0] )
- synerr( "negative range in character class" );
-
- else
- {
- if ( caseins )
- {
- if ( yyvsp[-2] >= 'A' && yyvsp[-2] <= 'Z' )
- yyvsp[-2] = clower( yyvsp[-2] );
- if ( yyvsp[0] >= 'A' && yyvsp[0] <= 'Z' )
- yyvsp[0] = clower( yyvsp[0] );
- }
-
- for ( i = yyvsp[-2]; i <= yyvsp[0]; ++i )
- ccladd( yyvsp[-3], i );
-
- /* keep track if this ccl is staying in alphabetical
- * order
- */
- cclsorted = cclsorted && (yyvsp[-2] > lastchar);
- lastchar = yyvsp[0];
- }
-
- yyval = yyvsp[-3];
- ;
- break;}
- case 49:
- #line 561 "::Flex-TC:parse.y"
- {
- if ( caseins )
- if ( yyvsp[0] >= 'A' && yyvsp[0] <= 'Z' )
- yyvsp[0] = clower( yyvsp[0] );
-
- ccladd( yyvsp[-1], yyvsp[0] );
- cclsorted = cclsorted && (yyvsp[0] > lastchar);
- lastchar = yyvsp[0];
- yyval = yyvsp[-1];
- ;
- break;}
- case 50:
- #line 573 "::Flex-TC:parse.y"
- {
- cclsorted = true;
- lastchar = 0;
- yyval = cclinit();
- ;
- break;}
- case 51:
- #line 581 "::Flex-TC:parse.y"
- {
- if ( caseins )
- if ( yyvsp[0] >= 'A' && yyvsp[0] <= 'Z' )
- yyvsp[0] = clower( yyvsp[0] );
-
- ++rulelen;
-
- yyval = link_machines( yyvsp[-1], mkstate( yyvsp[0] ) );
- ;
- break;}
- case 52:
- #line 592 "::Flex-TC:parse.y"
- { yyval = mkstate( SYM_EPSILON ); ;
- break;}
- }
- /* the action file gets copied in in place of this dollarsign */
- #line 327 "bison.simple"
-
- yyvsp -= yylen;
- yyssp -= yylen;
- #ifdef YYLSP_NEEDED
- yylsp -= yylen;
- #endif
-
- #if YYDEBUG != 0
- if (yydebug)
- {
- short *ssp1 = yyss - 1;
- fprintf (stderr, "state stack now");
- while (ssp1 != yyssp)
- fprintf (stderr, " %d", *++ssp1);
- fprintf (stderr, "\n");
- }
- #endif
-
- *++yyvsp = yyval;
-
- #ifdef YYLSP_NEEDED
- yylsp++;
- if (yylen == 0)
- {
- yylsp->first_line = yylloc.first_line;
- yylsp->first_column = yylloc.first_column;
- yylsp->last_line = (yylsp-1)->last_line;
- yylsp->last_column = (yylsp-1)->last_column;
- yylsp->text = 0;
- }
- else
- {
- yylsp->last_line = (yylsp+yylen-1)->last_line;
- yylsp->last_column = (yylsp+yylen-1)->last_column;
- }
- #endif
-
- /* Now "shift" the result of the reduction.
- Determine what state that goes to,
- based on the state we popped back to
- and the rule number reduced by. */
-
- yyn = yyr1[yyn];
-
- yystate = yypgoto[yyn - YYNTBASE] + *yyssp;
- if (yystate >= 0 && yystate <= YYLAST && yycheck[yystate] == *yyssp)
- yystate = yytable[yystate];
- else
- yystate = yydefgoto[yyn - YYNTBASE];
-
- goto yynewstate;
-
- yyerrlab: /* here on detecting error */
-
- if (! yyerrstatus)
- /* If not already recovering from an error, report this error. */
- {
- ++yynerrs;
- yyerror("parse error");
- }
-
- if (yyerrstatus == 3)
- {
- /* if just tried and failed to reuse lookahead token after an error, discard it. */
-
- /* return failure if at end of input */
- if (yychar == YYEOF)
- YYABORT;
-
- #if YYDEBUG != 0
- if (yydebug)
- fprintf(stderr, "Discarding token %d (%s).\n", yychar, yytname[yychar1]);
- #endif
-
- yychar = YYEMPTY;
- }
-
- /* Else will try to reuse lookahead token
- after shifting the error token. */
-
- yyerrstatus = 3; /* Each real token shifted decrements this */
-
- goto yyerrhandle;
-
- yyerrdefault: /* current state does not do anything special for the error token. */
-
- #if 0
- /* This is wrong; only states that explicitly want error tokens
- should shift them. */
- yyn = yydefact[yystate]; /* If its default is to accept any token, ok. Otherwise pop it.*/
- if (yyn) goto yydefault;
- #endif
-
- yyerrpop: /* pop the current state because it cannot handle the error token */
-
- if (yyssp == yyss) YYABORT;
- yyvsp--;
- yystate = *--yyssp;
- #ifdef YYLSP_NEEDED
- yylsp--;
- #endif
-
- #if YYDEBUG != 0
- if (yydebug)
- {
- short *ssp1 = yyss - 1;
- fprintf (stderr, "Error: state stack now");
- while (ssp1 != yyssp)
- fprintf (stderr, " %d", *++ssp1);
- fprintf (stderr, "\n");
- }
- #endif
-
- yyerrhandle:
-
- yyn = yypact[yystate];
- if (yyn == YYFLAG)
- goto yyerrdefault;
-
- yyn += YYTERROR;
- if (yyn < 0 || yyn > YYLAST || yycheck[yyn] != YYTERROR)
- goto yyerrdefault;
-
- yyn = yytable[yyn];
- if (yyn < 0)
- {
- if (yyn == YYFLAG)
- goto yyerrpop;
- yyn = -yyn;
- goto yyreduce;
- }
- else if (yyn == 0)
- goto yyerrpop;
-
- if (yyn == YYFINAL)
- YYACCEPT;
-
- #if YYDEBUG != 0
- if (yydebug)
- fprintf(stderr, "Shifting error token, ");
- #endif
-
- *++yyvsp = yylval;
- #ifdef YYLSP_NEEDED
- *++yylsp = yylloc;
- #endif
-
- yystate = yyn;
- goto yynewstate;
- }
- #line 595 "::Flex-TC:parse.y"
-
-
-
- /* build_eof_action - build the "<<EOF>>" action for the active start
- * conditions
- */
-
- build_eof_action()
-
- {
- register int i;
-
- for ( i = 1; i <= actvp; ++i )
- {
- if ( sceof[actvsc[i]] )
- lerrsf( "multiple <<EOF>> rules for start condition %s",
- scname[actvsc[i]] );
-
- else
- {
- sceof[actvsc[i]] = true;
- fprintf( temp_action_file, "case YY_STATE_EOF(%s):\n",
- scname[actvsc[i]] );
- }
- }
-
- line_directive_out( temp_action_file );
- }
-
-
- /* synerr - report a syntax error
- *
- * synopsis
- * char str[];
- * synerr( str );
- */
-
- synerr( str )
- char str[];
-
- {
- syntaxerror = true;
- fprintf( stderr, "Syntax error at line %d: %s\n", linenum, str );
- }
-
-
- /* yyerror - eat up an error message from the parser
- *
- * synopsis
- * char msg[];
- * yyerror( msg );
- */
-
- yyerror( msg )
- char msg[];
-
- {
- }
-