|
@@ -0,0 +1,2475 @@
|
|
|
|
|
+/* A Bison parser, made by GNU Bison 2.7. */
|
|
|
|
|
+
|
|
|
|
|
+/* Skeleton implementation for Bison GLR parsers in C
|
|
|
|
|
+
|
|
|
|
|
+ Copyright (C) 2002-2012 Free Software Foundation, Inc.
|
|
|
|
|
+
|
|
|
|
|
+ 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 3 of the License, 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, see <http://www.gnu.org/licenses/>. */
|
|
|
|
|
+
|
|
|
|
|
+/* As a special exception, you may create a larger work that contains
|
|
|
|
|
+ part or all of the Bison parser skeleton and distribute that work
|
|
|
|
|
+ under terms of your choice, so long as that work isn't itself a
|
|
|
|
|
+ parser generator using the skeleton or a modified version thereof
|
|
|
|
|
+ as a parser skeleton. Alternatively, if you modify or redistribute
|
|
|
|
|
+ the parser skeleton itself, you may (at your option) remove this
|
|
|
|
|
+ special exception, which will cause the skeleton and the resulting
|
|
|
|
|
+ Bison output files to be licensed under the GNU General Public
|
|
|
|
|
+ License without this special exception.
|
|
|
|
|
+
|
|
|
|
|
+ This special exception was added by the Free Software Foundation in
|
|
|
|
|
+ version 2.2 of Bison. */
|
|
|
|
|
+
|
|
|
|
|
+/* C GLR parser skeleton written by Paul Hilfinger. */
|
|
|
|
|
+
|
|
|
|
|
+/* Identify Bison output. */
|
|
|
|
|
+#define YYBISON 1
|
|
|
|
|
+
|
|
|
|
|
+/* Bison version. */
|
|
|
|
|
+#define YYBISON_VERSION "2.7"
|
|
|
|
|
+
|
|
|
|
|
+/* Skeleton name. */
|
|
|
|
|
+#define YYSKELETON_NAME "glr.c"
|
|
|
|
|
+
|
|
|
|
|
+/* Pure parsers. */
|
|
|
|
|
+#define YYPURE 1
|
|
|
|
|
+
|
|
|
|
|
+
|
|
|
|
|
+
|
|
|
|
|
+
|
|
|
|
|
+
|
|
|
|
|
+
|
|
|
|
|
+/* Copy the first part of user declarations. */
|
|
|
|
|
+/* Line 207 of glr.c */
|
|
|
|
|
+#line 1 "BsParserFX.y"
|
|
|
|
|
+
|
|
|
|
|
+#include "BsParserFX.h"
|
|
|
|
|
+#include "BsLexerFX.h"
|
|
|
|
|
+#define inline
|
|
|
|
|
+
|
|
|
|
|
+ void yyerror(ASTFXNode* root_node, yyscan_t scanner, const char *msg)
|
|
|
|
|
+ {
|
|
|
|
|
+ fprintf (stderr, "%s\n", msg);
|
|
|
|
|
+ }
|
|
|
|
|
+
|
|
|
|
|
+
|
|
|
|
|
+/* Line 207 of glr.c */
|
|
|
|
|
+#line 68 "BsParserFX.c"
|
|
|
|
|
+
|
|
|
|
|
+# ifndef YY_NULL
|
|
|
|
|
+# if defined __cplusplus && 201103L <= __cplusplus
|
|
|
|
|
+# define YY_NULL nullptr
|
|
|
|
|
+# else
|
|
|
|
|
+# define YY_NULL 0
|
|
|
|
|
+# endif
|
|
|
|
|
+# endif
|
|
|
|
|
+
|
|
|
|
|
+#include "BsParserFX.h"
|
|
|
|
|
+
|
|
|
|
|
+/* Enabling verbose error messages. */
|
|
|
|
|
+#ifdef YYERROR_VERBOSE
|
|
|
|
|
+# undef YYERROR_VERBOSE
|
|
|
|
|
+# define YYERROR_VERBOSE 1
|
|
|
|
|
+#else
|
|
|
|
|
+# define YYERROR_VERBOSE 0
|
|
|
|
|
+#endif
|
|
|
|
|
+
|
|
|
|
|
+/* Default (constant) value used for initialization for null
|
|
|
|
|
+ right-hand sides. Unlike the standard yacc.c template, here we set
|
|
|
|
|
+ the default value of $$ to a zeroed-out value. Since the default
|
|
|
|
|
+ value is undefined, this behavior is technically correct. */
|
|
|
|
|
+static YYSTYPE yyval_default;
|
|
|
|
|
+
|
|
|
|
|
+/* Copy the second part of user declarations. */
|
|
|
|
|
+
|
|
|
|
|
+/* Line 230 of glr.c */
|
|
|
|
|
+#line 97 "BsParserFX.c"
|
|
|
|
|
+
|
|
|
|
|
+#include <stdio.h>
|
|
|
|
|
+#include <stdlib.h>
|
|
|
|
|
+#include <string.h>
|
|
|
|
|
+
|
|
|
|
|
+#ifndef YY_
|
|
|
|
|
+# if defined YYENABLE_NLS && YYENABLE_NLS
|
|
|
|
|
+# if ENABLE_NLS
|
|
|
|
|
+# include <libintl.h> /* INFRINGES ON USER NAME SPACE */
|
|
|
|
|
+# define YY_(Msgid) dgettext ("bison-runtime", Msgid)
|
|
|
|
|
+# endif
|
|
|
|
|
+# endif
|
|
|
|
|
+# ifndef YY_
|
|
|
|
|
+# define YY_(Msgid) Msgid
|
|
|
|
|
+# endif
|
|
|
|
|
+#endif
|
|
|
|
|
+
|
|
|
|
|
+/* Suppress unused-variable warnings by "using" E. */
|
|
|
|
|
+#if ! defined lint || defined __GNUC__
|
|
|
|
|
+# define YYUSE(E) ((void) (E))
|
|
|
|
|
+#else
|
|
|
|
|
+# define YYUSE(E) /* empty */
|
|
|
|
|
+#endif
|
|
|
|
|
+
|
|
|
|
|
+/* Identity function, used to suppress warnings about constant conditions. */
|
|
|
|
|
+#ifndef lint
|
|
|
|
|
+# define YYID(N) (N)
|
|
|
|
|
+#else
|
|
|
|
|
+#if (defined __STDC__ || defined __C99__FUNC__ \
|
|
|
|
|
+ || defined __cplusplus || defined _MSC_VER)
|
|
|
|
|
+static int
|
|
|
|
|
+YYID (int i)
|
|
|
|
|
+#else
|
|
|
|
|
+static int
|
|
|
|
|
+YYID (i)
|
|
|
|
|
+ int i;
|
|
|
|
|
+#endif
|
|
|
|
|
+{
|
|
|
|
|
+ return i;
|
|
|
|
|
+}
|
|
|
|
|
+#endif
|
|
|
|
|
+
|
|
|
|
|
+#ifndef YYFREE
|
|
|
|
|
+# define YYFREE free
|
|
|
|
|
+#endif
|
|
|
|
|
+#ifndef YYMALLOC
|
|
|
|
|
+# define YYMALLOC malloc
|
|
|
|
|
+#endif
|
|
|
|
|
+#ifndef YYREALLOC
|
|
|
|
|
+# define YYREALLOC realloc
|
|
|
|
|
+#endif
|
|
|
|
|
+
|
|
|
|
|
+#define YYSIZEMAX ((size_t) -1)
|
|
|
|
|
+
|
|
|
|
|
+#ifdef __cplusplus
|
|
|
|
|
+ typedef bool yybool;
|
|
|
|
|
+#else
|
|
|
|
|
+ typedef unsigned char yybool;
|
|
|
|
|
+#endif
|
|
|
|
|
+#define yytrue 1
|
|
|
|
|
+#define yyfalse 0
|
|
|
|
|
+
|
|
|
|
|
+#ifndef YYSETJMP
|
|
|
|
|
+# include <setjmp.h>
|
|
|
|
|
+# define YYJMP_BUF jmp_buf
|
|
|
|
|
+# define YYSETJMP(Env) setjmp (Env)
|
|
|
|
|
+/* Pacify clang. */
|
|
|
|
|
+# define YYLONGJMP(Env, Val) (longjmp (Env, Val), YYASSERT (0))
|
|
|
|
|
+#endif
|
|
|
|
|
+
|
|
|
|
|
+/*-----------------.
|
|
|
|
|
+| GCC extensions. |
|
|
|
|
|
+`-----------------*/
|
|
|
|
|
+
|
|
|
|
|
+#ifndef __attribute__
|
|
|
|
|
+/* This feature is available in gcc versions 2.5 and later. */
|
|
|
|
|
+# if (! defined __GNUC__ || __GNUC__ < 2 \
|
|
|
|
|
+ || (__GNUC__ == 2 && __GNUC_MINOR__ < 5))
|
|
|
|
|
+# define __attribute__(Spec) /* empty */
|
|
|
|
|
+# endif
|
|
|
|
|
+#endif
|
|
|
|
|
+
|
|
|
|
|
+#ifndef YYASSERT
|
|
|
|
|
+# define YYASSERT(Condition) ((void) ((Condition) || (abort (), 0)))
|
|
|
|
|
+#endif
|
|
|
|
|
+
|
|
|
|
|
+/* YYFINAL -- State number of the termination state. */
|
|
|
|
|
+#define YYFINAL 10
|
|
|
|
|
+/* YYLAST -- Last index in YYTABLE. */
|
|
|
|
|
+#define YYLAST 13
|
|
|
|
|
+
|
|
|
|
|
+/* YYNTOKENS -- Number of terminals. */
|
|
|
|
|
+#define YYNTOKENS 22
|
|
|
|
|
+/* YYNNTS -- Number of nonterminals. */
|
|
|
|
|
+#define YYNNTS 4
|
|
|
|
|
+/* YYNRULES -- Number of rules. */
|
|
|
|
|
+#define YYNRULES 7
|
|
|
|
|
+/* YYNRULES -- Number of states. */
|
|
|
|
|
+#define YYNSTATES 18
|
|
|
|
|
+/* YYMAXRHS -- Maximum number of symbols on right-hand side of rule. */
|
|
|
|
|
+#define YYMAXRHS 4
|
|
|
|
|
+/* YYMAXLEFT -- Maximum number of symbols to the left of a handle
|
|
|
|
|
+ accessed by $0, $-1, etc., in any rule. */
|
|
|
|
|
+#define YYMAXLEFT 0
|
|
|
|
|
+
|
|
|
|
|
+/* YYTRANSLATE(X) -- Bison symbol number corresponding to X. */
|
|
|
|
|
+#define YYUNDEFTOK 2
|
|
|
|
|
+#define YYMAXUTOK 274
|
|
|
|
|
+
|
|
|
|
|
+#define YYTRANSLATE(YYX) \
|
|
|
|
|
+ ((unsigned int) (YYX) <= YYMAXUTOK ? yytranslate[YYX] : YYUNDEFTOK)
|
|
|
|
|
+
|
|
|
|
|
+/* YYTRANSLATE[YYLEX] -- Bison symbol number corresponding to YYLEX. */
|
|
|
|
|
+static const unsigned char yytranslate[] =
|
|
|
|
|
+{
|
|
|
|
|
+ 0, 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, 21,
|
|
|
|
|
+ 2, 20, 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, 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, 12, 13, 14,
|
|
|
|
|
+ 15, 16, 17, 18, 19
|
|
|
|
|
+};
|
|
|
|
|
+
|
|
|
|
|
+#if YYDEBUG
|
|
|
|
|
+/* YYPRHS[YYN] -- Index of the first RHS symbol of rule number YYN in
|
|
|
|
|
+ YYRHS. */
|
|
|
|
|
+static const unsigned char yyprhs[] =
|
|
|
|
|
+{
|
|
|
|
|
+ 0, 0, 3, 4, 7, 9, 14, 19
|
|
|
|
|
+};
|
|
|
|
|
+
|
|
|
|
|
+/* YYRHS -- A `-1'-separated list of the rules' RHS. */
|
|
|
|
|
+static const signed char yyrhs[] =
|
|
|
|
|
+{
|
|
|
|
|
+ 23, 0, -1, -1, 24, 23, -1, 25, -1, 5,
|
|
|
|
|
+ 20, 10, 21, -1, 6, 20, 8, 21, -1, 7,
|
|
|
|
|
+ 20, 8, 21, -1
|
|
|
|
|
+};
|
|
|
|
|
+
|
|
|
|
|
+/* YYRLINE[YYN] -- source line where rule number YYN was defined. */
|
|
|
|
|
+static const unsigned char yyrline[] =
|
|
|
|
|
+{
|
|
|
|
|
+ 0, 63, 63, 64, 68, 72, 73, 74
|
|
|
|
|
+};
|
|
|
|
|
+#endif
|
|
|
|
|
+
|
|
|
|
|
+#if YYDEBUG || YYERROR_VERBOSE || 0
|
|
|
|
|
+/* YYTNAME[SYMBOL-NUM] -- String name of the symbol SYMBOL-NUM.
|
|
|
|
|
+ First, the terminals, then, starting at YYNTOKENS, nonterminals. */
|
|
|
|
|
+static const char *const yytname[] =
|
|
|
|
|
+{
|
|
|
|
|
+ "$end", "error", "$undefined", "TOKEN_LBRACKET", "TOKEN_RBRACKET",
|
|
|
|
|
+ "TOKEN_SEPARABLE", "TOKEN_QUEUE", "TOKEN_PRIORITY", "TOKEN_INTEGER",
|
|
|
|
|
+ "TOKEN_FLOAT", "TOKEN_BOOLEAN", "TOKEN_STRING", "TOKEN_FILLMODE",
|
|
|
|
|
+ "TOKEN_CULLMODE", "TOKEN_DEPTHBIAS", "TOKEN_SDEPTHBIAS",
|
|
|
|
|
+ "TOKEN_DEPTHCLIP", "TOKEN_SCISSOR", "TOKEN_MULTISAMPLE", "TOKEN_AALINE",
|
|
|
|
|
+ "'='", "';'", "$accept", "shader", "shader_statement",
|
|
|
|
|
+ "shader_option_decl", YY_NULL
|
|
|
|
|
+};
|
|
|
|
|
+#endif
|
|
|
|
|
+
|
|
|
|
|
+/* YYR1[YYN] -- Symbol number of symbol that rule YYN derives. */
|
|
|
|
|
+static const unsigned char yyr1[] =
|
|
|
|
|
+{
|
|
|
|
|
+ 0, 22, 23, 23, 24, 25, 25, 25
|
|
|
|
|
+};
|
|
|
|
|
+
|
|
|
|
|
+/* YYR2[YYN] -- Number of symbols composing right hand side of rule YYN. */
|
|
|
|
|
+static const unsigned char yyr2[] =
|
|
|
|
|
+{
|
|
|
|
|
+ 0, 2, 0, 2, 1, 4, 4, 4
|
|
|
|
|
+};
|
|
|
|
|
+
|
|
|
|
|
+/* YYDPREC[RULE-NUM] -- Dynamic precedence of rule #RULE-NUM (0 if none). */
|
|
|
|
|
+static const unsigned char yydprec[] =
|
|
|
|
|
+{
|
|
|
|
|
+ 0, 0, 0, 0, 0, 0, 0, 0
|
|
|
|
|
+};
|
|
|
|
|
+
|
|
|
|
|
+/* YYMERGER[RULE-NUM] -- Index of merging function for rule #RULE-NUM. */
|
|
|
|
|
+static const unsigned char yymerger[] =
|
|
|
|
|
+{
|
|
|
|
|
+ 0, 0, 0, 0, 0, 0, 0, 0
|
|
|
|
|
+};
|
|
|
|
|
+
|
|
|
|
|
+/* YYDEFACT[S] -- default reduction number in state S. Performed when
|
|
|
|
|
+ YYTABLE doesn't specify something else to do. Zero means the default
|
|
|
|
|
+ is an error. */
|
|
|
|
|
+static const unsigned char yydefact[] =
|
|
|
|
|
+{
|
|
|
|
|
+ 2, 0, 0, 0, 0, 2, 4, 0, 0, 0,
|
|
|
|
|
+ 1, 3, 0, 0, 0, 5, 6, 7
|
|
|
|
|
+};
|
|
|
|
|
+
|
|
|
|
|
+/* YYPDEFGOTO[NTERM-NUM]. */
|
|
|
|
|
+static const signed char yydefgoto[] =
|
|
|
|
|
+{
|
|
|
|
|
+ -1, 4, 5, 6
|
|
|
|
|
+};
|
|
|
|
|
+
|
|
|
|
|
+/* YYPACT[STATE-NUM] -- Index in YYTABLE of the portion describing
|
|
|
|
|
+ STATE-NUM. */
|
|
|
|
|
+#define YYPACT_NINF -18
|
|
|
|
|
+static const signed char yypact[] =
|
|
|
|
|
+{
|
|
|
|
|
+ -5, -17, -16, -15, 6, -5, -18, -3, 0, 1,
|
|
|
|
|
+ -18, -18, -11, -10, -9, -18, -18, -18
|
|
|
|
|
+};
|
|
|
|
|
+
|
|
|
|
|
+/* YYPGOTO[NTERM-NUM]. */
|
|
|
|
|
+static const signed char yypgoto[] =
|
|
|
|
|
+{
|
|
|
|
|
+ -18, 8, -18, -18
|
|
|
|
|
+};
|
|
|
|
|
+
|
|
|
|
|
+/* YYTABLE[YYPACT[STATE-NUM]]. What to do in state STATE-NUM. If
|
|
|
|
|
+ positive, shift that token. If negative, reduce the rule which
|
|
|
|
|
+ number is the opposite. If YYTABLE_NINF, syntax error. */
|
|
|
|
|
+#define YYTABLE_NINF -1
|
|
|
|
|
+static const unsigned char yytable[] =
|
|
|
|
|
+{
|
|
|
|
|
+ 1, 2, 3, 7, 8, 9, 10, 12, 13, 14,
|
|
|
|
|
+ 15, 16, 17, 11
|
|
|
|
|
+};
|
|
|
|
|
+
|
|
|
|
|
+/* YYCONFLP[YYPACT[STATE-NUM]] -- Pointer into YYCONFL of start of
|
|
|
|
|
+ list of conflicting reductions corresponding to action entry for
|
|
|
|
|
+ state STATE-NUM in yytable. 0 means no conflicts. The list in
|
|
|
|
|
+ yyconfl is terminated by a rule number of 0. */
|
|
|
|
|
+static const unsigned char yyconflp[] =
|
|
|
|
|
+{
|
|
|
|
|
+ 0, 0, 0, 0, 0, 0, 0, 0, 0, 0,
|
|
|
|
|
+ 0, 0, 0, 0
|
|
|
|
|
+};
|
|
|
|
|
+
|
|
|
|
|
+/* YYCONFL[I] -- lists of conflicting rule numbers, each terminated by
|
|
|
|
|
+ 0, pointed into by YYCONFLP. */
|
|
|
|
|
+static const short int yyconfl[] =
|
|
|
|
|
+{
|
|
|
|
|
+ 0
|
|
|
|
|
+};
|
|
|
|
|
+
|
|
|
|
|
+static const unsigned char yycheck[] =
|
|
|
|
|
+{
|
|
|
|
|
+ 5, 6, 7, 20, 20, 20, 0, 10, 8, 8,
|
|
|
|
|
+ 21, 21, 21, 5
|
|
|
|
|
+};
|
|
|
|
|
+
|
|
|
|
|
+/* YYSTOS[STATE-NUM] -- The (internal number of the) accessing
|
|
|
|
|
+ symbol of state STATE-NUM. */
|
|
|
|
|
+static const unsigned char yystos[] =
|
|
|
|
|
+{
|
|
|
|
|
+ 0, 5, 6, 7, 23, 24, 25, 20, 20, 20,
|
|
|
|
|
+ 0, 23, 10, 8, 8, 21, 21, 21
|
|
|
|
|
+};
|
|
|
|
|
+
|
|
|
|
|
+/* Error token number */
|
|
|
|
|
+#define YYTERROR 1
|
|
|
|
|
+
|
|
|
|
|
+
|
|
|
|
|
+/* This macro is provided for backward compatibility. */
|
|
|
|
|
+#ifndef YY_LOCATION_PRINT
|
|
|
|
|
+# define YY_LOCATION_PRINT(File, Loc) ((void) 0)
|
|
|
|
|
+#endif
|
|
|
|
|
+
|
|
|
|
|
+
|
|
|
|
|
+/* YYLEX -- calling `yylex' with the right arguments. */
|
|
|
|
|
+#define YYLEX yylex (&yylval, scanner)
|
|
|
|
|
+
|
|
|
|
|
+
|
|
|
|
|
+#undef yynerrs
|
|
|
|
|
+#define yynerrs (yystackp->yyerrcnt)
|
|
|
|
|
+#undef yychar
|
|
|
|
|
+#define yychar (yystackp->yyrawchar)
|
|
|
|
|
+#undef yylval
|
|
|
|
|
+#define yylval (yystackp->yyval)
|
|
|
|
|
+#undef yylloc
|
|
|
|
|
+#define yylloc (yystackp->yyloc)
|
|
|
|
|
+
|
|
|
|
|
+
|
|
|
|
|
+static const int YYEOF = 0;
|
|
|
|
|
+static const int YYEMPTY = -2;
|
|
|
|
|
+
|
|
|
|
|
+typedef enum { yyok, yyaccept, yyabort, yyerr } YYRESULTTAG;
|
|
|
|
|
+
|
|
|
|
|
+#define YYCHK(YYE) \
|
|
|
|
|
+ do { YYRESULTTAG yyflag = YYE; if (yyflag != yyok) return yyflag; } \
|
|
|
|
|
+ while (YYID (0))
|
|
|
|
|
+
|
|
|
|
|
+#if YYDEBUG
|
|
|
|
|
+
|
|
|
|
|
+# ifndef YYFPRINTF
|
|
|
|
|
+# define YYFPRINTF fprintf
|
|
|
|
|
+# endif
|
|
|
|
|
+
|
|
|
|
|
+# define YYDPRINTF(Args) \
|
|
|
|
|
+do { \
|
|
|
|
|
+ if (yydebug) \
|
|
|
|
|
+ YYFPRINTF Args; \
|
|
|
|
|
+} while (YYID (0))
|
|
|
|
|
+
|
|
|
|
|
+
|
|
|
|
|
+/*--------------------------------.
|
|
|
|
|
+| Print this symbol on YYOUTPUT. |
|
|
|
|
|
+`--------------------------------*/
|
|
|
|
|
+
|
|
|
|
|
+/*ARGSUSED*/
|
|
|
|
|
+static void
|
|
|
|
|
+yy_symbol_value_print (FILE *yyoutput, int yytype, YYSTYPE const * const yyvaluep, ASTFXNode* root_node, yyscan_t scanner)
|
|
|
|
|
+{
|
|
|
|
|
+ FILE *yyo = yyoutput;
|
|
|
|
|
+ YYUSE (yyo);
|
|
|
|
|
+ if (!yyvaluep)
|
|
|
|
|
+ return;
|
|
|
|
|
+ YYUSE (root_node);
|
|
|
|
|
+ YYUSE (scanner);
|
|
|
|
|
+# ifdef YYPRINT
|
|
|
|
|
+ if (yytype < YYNTOKENS)
|
|
|
|
|
+ YYPRINT (yyoutput, yytoknum[yytype], *yyvaluep);
|
|
|
|
|
+# else
|
|
|
|
|
+ YYUSE (yyoutput);
|
|
|
|
|
+# endif
|
|
|
|
|
+ switch (yytype)
|
|
|
|
|
+ {
|
|
|
|
|
+ default:
|
|
|
|
|
+ break;
|
|
|
|
|
+ }
|
|
|
|
|
+}
|
|
|
|
|
+
|
|
|
|
|
+
|
|
|
|
|
+/*--------------------------------.
|
|
|
|
|
+| Print this symbol on YYOUTPUT. |
|
|
|
|
|
+`--------------------------------*/
|
|
|
|
|
+
|
|
|
|
|
+static void
|
|
|
|
|
+yy_symbol_print (FILE *yyoutput, int yytype, YYSTYPE const * const yyvaluep, ASTFXNode* root_node, yyscan_t scanner)
|
|
|
|
|
+{
|
|
|
|
|
+ if (yytype < YYNTOKENS)
|
|
|
|
|
+ YYFPRINTF (yyoutput, "token %s (", yytname[yytype]);
|
|
|
|
|
+ else
|
|
|
|
|
+ YYFPRINTF (yyoutput, "nterm %s (", yytname[yytype]);
|
|
|
|
|
+
|
|
|
|
|
+ yy_symbol_value_print (yyoutput, yytype, yyvaluep, root_node, scanner);
|
|
|
|
|
+ YYFPRINTF (yyoutput, ")");
|
|
|
|
|
+}
|
|
|
|
|
+
|
|
|
|
|
+# define YY_SYMBOL_PRINT(Title, Type, Value, Location) \
|
|
|
|
|
+do { \
|
|
|
|
|
+ if (yydebug) \
|
|
|
|
|
+ { \
|
|
|
|
|
+ YYFPRINTF (stderr, "%s ", Title); \
|
|
|
|
|
+ yy_symbol_print (stderr, Type, Value, root_node, scanner); \
|
|
|
|
|
+ YYFPRINTF (stderr, "\n"); \
|
|
|
|
|
+ } \
|
|
|
|
|
+} while (YYID (0))
|
|
|
|
|
+
|
|
|
|
|
+/* Nonzero means print parse trace. It is left uninitialized so that
|
|
|
|
|
+ multiple parsers can coexist. */
|
|
|
|
|
+int yydebug;
|
|
|
|
|
+
|
|
|
|
|
+#else /* !YYDEBUG */
|
|
|
|
|
+
|
|
|
|
|
+# define YYDPRINTF(Args)
|
|
|
|
|
+# define YY_SYMBOL_PRINT(Title, Type, Value, Location)
|
|
|
|
|
+
|
|
|
|
|
+#endif /* !YYDEBUG */
|
|
|
|
|
+
|
|
|
|
|
+/* YYINITDEPTH -- initial size of the parser's stacks. */
|
|
|
|
|
+#ifndef YYINITDEPTH
|
|
|
|
|
+# define YYINITDEPTH 200
|
|
|
|
|
+#endif
|
|
|
|
|
+
|
|
|
|
|
+/* YYMAXDEPTH -- maximum size the stacks can grow to (effective only
|
|
|
|
|
+ if the built-in stack extension method is used).
|
|
|
|
|
+
|
|
|
|
|
+ Do not make this value too large; the results are undefined if
|
|
|
|
|
+ SIZE_MAX < YYMAXDEPTH * sizeof (GLRStackItem)
|
|
|
|
|
+ evaluated with infinite-precision integer arithmetic. */
|
|
|
|
|
+
|
|
|
|
|
+#ifndef YYMAXDEPTH
|
|
|
|
|
+# define YYMAXDEPTH 10000
|
|
|
|
|
+#endif
|
|
|
|
|
+
|
|
|
|
|
+/* Minimum number of free items on the stack allowed after an
|
|
|
|
|
+ allocation. This is to allow allocation and initialization
|
|
|
|
|
+ to be completed by functions that call yyexpandGLRStack before the
|
|
|
|
|
+ stack is expanded, thus insuring that all necessary pointers get
|
|
|
|
|
+ properly redirected to new data. */
|
|
|
|
|
+#define YYHEADROOM 2
|
|
|
|
|
+
|
|
|
|
|
+#ifndef YYSTACKEXPANDABLE
|
|
|
|
|
+# if (! defined __cplusplus \
|
|
|
|
|
+ || (defined YYSTYPE_IS_TRIVIAL && YYSTYPE_IS_TRIVIAL))
|
|
|
|
|
+# define YYSTACKEXPANDABLE 1
|
|
|
|
|
+# else
|
|
|
|
|
+# define YYSTACKEXPANDABLE 0
|
|
|
|
|
+# endif
|
|
|
|
|
+#endif
|
|
|
|
|
+
|
|
|
|
|
+#if YYSTACKEXPANDABLE
|
|
|
|
|
+# define YY_RESERVE_GLRSTACK(Yystack) \
|
|
|
|
|
+ do { \
|
|
|
|
|
+ if (Yystack->yyspaceLeft < YYHEADROOM) \
|
|
|
|
|
+ yyexpandGLRStack (Yystack); \
|
|
|
|
|
+ } while (YYID (0))
|
|
|
|
|
+#else
|
|
|
|
|
+# define YY_RESERVE_GLRSTACK(Yystack) \
|
|
|
|
|
+ do { \
|
|
|
|
|
+ if (Yystack->yyspaceLeft < YYHEADROOM) \
|
|
|
|
|
+ yyMemoryExhausted (Yystack); \
|
|
|
|
|
+ } while (YYID (0))
|
|
|
|
|
+#endif
|
|
|
|
|
+
|
|
|
|
|
+
|
|
|
|
|
+#if YYERROR_VERBOSE
|
|
|
|
|
+
|
|
|
|
|
+# ifndef yystpcpy
|
|
|
|
|
+# if defined __GLIBC__ && defined _STRING_H && defined _GNU_SOURCE
|
|
|
|
|
+# define yystpcpy stpcpy
|
|
|
|
|
+# else
|
|
|
|
|
+/* Copy YYSRC to YYDEST, returning the address of the terminating '\0' in
|
|
|
|
|
+ YYDEST. */
|
|
|
|
|
+static char *
|
|
|
|
|
+yystpcpy (char *yydest, const char *yysrc)
|
|
|
|
|
+{
|
|
|
|
|
+ char *yyd = yydest;
|
|
|
|
|
+ const char *yys = yysrc;
|
|
|
|
|
+
|
|
|
|
|
+ while ((*yyd++ = *yys++) != '\0')
|
|
|
|
|
+ continue;
|
|
|
|
|
+
|
|
|
|
|
+ return yyd - 1;
|
|
|
|
|
+}
|
|
|
|
|
+# endif
|
|
|
|
|
+# endif
|
|
|
|
|
+
|
|
|
|
|
+# ifndef yytnamerr
|
|
|
|
|
+/* Copy to YYRES the contents of YYSTR after stripping away unnecessary
|
|
|
|
|
+ quotes and backslashes, so that it's suitable for yyerror. The
|
|
|
|
|
+ heuristic is that double-quoting is unnecessary unless the string
|
|
|
|
|
+ contains an apostrophe, a comma, or backslash (other than
|
|
|
|
|
+ backslash-backslash). YYSTR is taken from yytname. If YYRES is
|
|
|
|
|
+ null, do not copy; instead, return the length of what the result
|
|
|
|
|
+ would have been. */
|
|
|
|
|
+static size_t
|
|
|
|
|
+yytnamerr (char *yyres, const char *yystr)
|
|
|
|
|
+{
|
|
|
|
|
+ if (*yystr == '"')
|
|
|
|
|
+ {
|
|
|
|
|
+ size_t yyn = 0;
|
|
|
|
|
+ char const *yyp = yystr;
|
|
|
|
|
+
|
|
|
|
|
+ for (;;)
|
|
|
|
|
+ switch (*++yyp)
|
|
|
|
|
+ {
|
|
|
|
|
+ case '\'':
|
|
|
|
|
+ case ',':
|
|
|
|
|
+ goto do_not_strip_quotes;
|
|
|
|
|
+
|
|
|
|
|
+ case '\\':
|
|
|
|
|
+ if (*++yyp != '\\')
|
|
|
|
|
+ goto do_not_strip_quotes;
|
|
|
|
|
+ /* Fall through. */
|
|
|
|
|
+ default:
|
|
|
|
|
+ if (yyres)
|
|
|
|
|
+ yyres[yyn] = *yyp;
|
|
|
|
|
+ yyn++;
|
|
|
|
|
+ break;
|
|
|
|
|
+
|
|
|
|
|
+ case '"':
|
|
|
|
|
+ if (yyres)
|
|
|
|
|
+ yyres[yyn] = '\0';
|
|
|
|
|
+ return yyn;
|
|
|
|
|
+ }
|
|
|
|
|
+ do_not_strip_quotes: ;
|
|
|
|
|
+ }
|
|
|
|
|
+
|
|
|
|
|
+ if (! yyres)
|
|
|
|
|
+ return strlen (yystr);
|
|
|
|
|
+
|
|
|
|
|
+ return yystpcpy (yyres, yystr) - yyres;
|
|
|
|
|
+}
|
|
|
|
|
+# endif
|
|
|
|
|
+
|
|
|
|
|
+#endif /* !YYERROR_VERBOSE */
|
|
|
|
|
+
|
|
|
|
|
+/** State numbers, as in LALR(1) machine */
|
|
|
|
|
+typedef int yyStateNum;
|
|
|
|
|
+
|
|
|
|
|
+/** Rule numbers, as in LALR(1) machine */
|
|
|
|
|
+typedef int yyRuleNum;
|
|
|
|
|
+
|
|
|
|
|
+/** Grammar symbol */
|
|
|
|
|
+typedef short int yySymbol;
|
|
|
|
|
+
|
|
|
|
|
+/** Item references, as in LALR(1) machine */
|
|
|
|
|
+typedef short int yyItemNum;
|
|
|
|
|
+
|
|
|
|
|
+typedef struct yyGLRState yyGLRState;
|
|
|
|
|
+typedef struct yyGLRStateSet yyGLRStateSet;
|
|
|
|
|
+typedef struct yySemanticOption yySemanticOption;
|
|
|
|
|
+typedef union yyGLRStackItem yyGLRStackItem;
|
|
|
|
|
+typedef struct yyGLRStack yyGLRStack;
|
|
|
|
|
+
|
|
|
|
|
+struct yyGLRState {
|
|
|
|
|
+ /** Type tag: always true. */
|
|
|
|
|
+ yybool yyisState;
|
|
|
|
|
+ /** Type tag for yysemantics. If true, yysval applies, otherwise
|
|
|
|
|
+ * yyfirstVal applies. */
|
|
|
|
|
+ yybool yyresolved;
|
|
|
|
|
+ /** Number of corresponding LALR(1) machine state. */
|
|
|
|
|
+ yyStateNum yylrState;
|
|
|
|
|
+ /** Preceding state in this stack */
|
|
|
|
|
+ yyGLRState* yypred;
|
|
|
|
|
+ /** Source position of the first token produced by my symbol */
|
|
|
|
|
+ size_t yyposn;
|
|
|
|
|
+ union {
|
|
|
|
|
+ /** First in a chain of alternative reductions producing the
|
|
|
|
|
+ * non-terminal corresponding to this state, threaded through
|
|
|
|
|
+ * yynext. */
|
|
|
|
|
+ yySemanticOption* yyfirstVal;
|
|
|
|
|
+ /** Semantic value for this state. */
|
|
|
|
|
+ YYSTYPE yysval;
|
|
|
|
|
+ } yysemantics;
|
|
|
|
|
+};
|
|
|
|
|
+
|
|
|
|
|
+struct yyGLRStateSet {
|
|
|
|
|
+ yyGLRState** yystates;
|
|
|
|
|
+ /** During nondeterministic operation, yylookaheadNeeds tracks which
|
|
|
|
|
+ * stacks have actually needed the current lookahead. During deterministic
|
|
|
|
|
+ * operation, yylookaheadNeeds[0] is not maintained since it would merely
|
|
|
|
|
+ * duplicate yychar != YYEMPTY. */
|
|
|
|
|
+ yybool* yylookaheadNeeds;
|
|
|
|
|
+ size_t yysize, yycapacity;
|
|
|
|
|
+};
|
|
|
|
|
+
|
|
|
|
|
+struct yySemanticOption {
|
|
|
|
|
+ /** Type tag: always false. */
|
|
|
|
|
+ yybool yyisState;
|
|
|
|
|
+ /** Rule number for this reduction */
|
|
|
|
|
+ yyRuleNum yyrule;
|
|
|
|
|
+ /** The last RHS state in the list of states to be reduced. */
|
|
|
|
|
+ yyGLRState* yystate;
|
|
|
|
|
+ /** The lookahead for this reduction. */
|
|
|
|
|
+ int yyrawchar;
|
|
|
|
|
+ YYSTYPE yyval;
|
|
|
|
|
+ /** Next sibling in chain of options. To facilitate merging,
|
|
|
|
|
+ * options are chained in decreasing order by address. */
|
|
|
|
|
+ yySemanticOption* yynext;
|
|
|
|
|
+};
|
|
|
|
|
+
|
|
|
|
|
+/** Type of the items in the GLR stack. The yyisState field
|
|
|
|
|
+ * indicates which item of the union is valid. */
|
|
|
|
|
+union yyGLRStackItem {
|
|
|
|
|
+ yyGLRState yystate;
|
|
|
|
|
+ yySemanticOption yyoption;
|
|
|
|
|
+};
|
|
|
|
|
+
|
|
|
|
|
+struct yyGLRStack {
|
|
|
|
|
+ int yyerrState;
|
|
|
|
|
+
|
|
|
|
|
+
|
|
|
|
|
+ int yyerrcnt;
|
|
|
|
|
+ int yyrawchar;
|
|
|
|
|
+ YYSTYPE yyval;
|
|
|
|
|
+
|
|
|
|
|
+ YYJMP_BUF yyexception_buffer;
|
|
|
|
|
+ yyGLRStackItem* yyitems;
|
|
|
|
|
+ yyGLRStackItem* yynextFree;
|
|
|
|
|
+ size_t yyspaceLeft;
|
|
|
|
|
+ yyGLRState* yysplitPoint;
|
|
|
|
|
+ yyGLRState* yylastDeleted;
|
|
|
|
|
+ yyGLRStateSet yytops;
|
|
|
|
|
+};
|
|
|
|
|
+
|
|
|
|
|
+#if YYSTACKEXPANDABLE
|
|
|
|
|
+static void yyexpandGLRStack (yyGLRStack* yystackp);
|
|
|
|
|
+#endif
|
|
|
|
|
+
|
|
|
|
|
+static void yyFail (yyGLRStack* yystackp, ASTFXNode* root_node, yyscan_t scanner, const char* yymsg)
|
|
|
|
|
+ __attribute__ ((__noreturn__));
|
|
|
|
|
+static void
|
|
|
|
|
+yyFail (yyGLRStack* yystackp, ASTFXNode* root_node, yyscan_t scanner, const char* yymsg)
|
|
|
|
|
+{
|
|
|
|
|
+ if (yymsg != YY_NULL)
|
|
|
|
|
+ yyerror (root_node, scanner, yymsg);
|
|
|
|
|
+ YYLONGJMP (yystackp->yyexception_buffer, 1);
|
|
|
|
|
+}
|
|
|
|
|
+
|
|
|
|
|
+static void yyMemoryExhausted (yyGLRStack* yystackp)
|
|
|
|
|
+ __attribute__ ((__noreturn__));
|
|
|
|
|
+static void
|
|
|
|
|
+yyMemoryExhausted (yyGLRStack* yystackp)
|
|
|
|
|
+{
|
|
|
|
|
+ YYLONGJMP (yystackp->yyexception_buffer, 2);
|
|
|
|
|
+}
|
|
|
|
|
+
|
|
|
|
|
+#if YYDEBUG || YYERROR_VERBOSE
|
|
|
|
|
+/** A printable representation of TOKEN. */
|
|
|
|
|
+static inline const char*
|
|
|
|
|
+yytokenName (yySymbol yytoken)
|
|
|
|
|
+{
|
|
|
|
|
+ if (yytoken == YYEMPTY)
|
|
|
|
|
+ return "";
|
|
|
|
|
+
|
|
|
|
|
+ return yytname[yytoken];
|
|
|
|
|
+}
|
|
|
|
|
+#endif
|
|
|
|
|
+
|
|
|
|
|
+/** Fill in YYVSP[YYLOW1 .. YYLOW0-1] from the chain of states starting
|
|
|
|
|
+ * at YYVSP[YYLOW0].yystate.yypred. Leaves YYVSP[YYLOW1].yystate.yypred
|
|
|
|
|
+ * containing the pointer to the next state in the chain. */
|
|
|
|
|
+static void yyfillin (yyGLRStackItem *, int, int) __attribute__ ((__unused__));
|
|
|
|
|
+static void
|
|
|
|
|
+yyfillin (yyGLRStackItem *yyvsp, int yylow0, int yylow1)
|
|
|
|
|
+{
|
|
|
|
|
+ int i;
|
|
|
|
|
+ yyGLRState *s = yyvsp[yylow0].yystate.yypred;
|
|
|
|
|
+ for (i = yylow0-1; i >= yylow1; i -= 1)
|
|
|
|
|
+ {
|
|
|
|
|
+ YYASSERT (s->yyresolved);
|
|
|
|
|
+ yyvsp[i].yystate.yyresolved = yytrue;
|
|
|
|
|
+ yyvsp[i].yystate.yysemantics.yysval = s->yysemantics.yysval;
|
|
|
|
|
+ s = yyvsp[i].yystate.yypred = s->yypred;
|
|
|
|
|
+ }
|
|
|
|
|
+}
|
|
|
|
|
+
|
|
|
|
|
+/* Do nothing if YYNORMAL or if *YYLOW <= YYLOW1. Otherwise, fill in
|
|
|
|
|
+ * YYVSP[YYLOW1 .. *YYLOW-1] as in yyfillin and set *YYLOW = YYLOW1.
|
|
|
|
|
+ * For convenience, always return YYLOW1. */
|
|
|
|
|
+static inline int yyfill (yyGLRStackItem *, int *, int, yybool)
|
|
|
|
|
+ __attribute__ ((__unused__));
|
|
|
|
|
+static inline int
|
|
|
|
|
+yyfill (yyGLRStackItem *yyvsp, int *yylow, int yylow1, yybool yynormal)
|
|
|
|
|
+{
|
|
|
|
|
+ if (!yynormal && yylow1 < *yylow)
|
|
|
|
|
+ {
|
|
|
|
|
+ yyfillin (yyvsp, *yylow, yylow1);
|
|
|
|
|
+ *yylow = yylow1;
|
|
|
|
|
+ }
|
|
|
|
|
+ return yylow1;
|
|
|
|
|
+}
|
|
|
|
|
+
|
|
|
|
|
+/** Perform user action for rule number YYN, with RHS length YYRHSLEN,
|
|
|
|
|
+ * and top stack item YYVSP. YYLVALP points to place to put semantic
|
|
|
|
|
+ * value ($$), and yylocp points to place for location information
|
|
|
|
|
+ * (@$). Returns yyok for normal return, yyaccept for YYACCEPT,
|
|
|
|
|
+ * yyerr for YYERROR, yyabort for YYABORT. */
|
|
|
|
|
+/*ARGSUSED*/ static YYRESULTTAG
|
|
|
|
|
+yyuserAction (yyRuleNum yyn, int yyrhslen, yyGLRStackItem* yyvsp,
|
|
|
|
|
+ yyGLRStack* yystackp,
|
|
|
|
|
+ YYSTYPE* yyvalp, ASTFXNode* root_node, yyscan_t scanner)
|
|
|
|
|
+{
|
|
|
|
|
+ yybool yynormal __attribute__ ((__unused__)) =
|
|
|
|
|
+ (yystackp->yysplitPoint == YY_NULL);
|
|
|
|
|
+ int yylow;
|
|
|
|
|
+ YYUSE (root_node);
|
|
|
|
|
+ YYUSE (scanner);
|
|
|
|
|
+# undef yyerrok
|
|
|
|
|
+# define yyerrok (yystackp->yyerrState = 0)
|
|
|
|
|
+# undef YYACCEPT
|
|
|
|
|
+# define YYACCEPT return yyaccept
|
|
|
|
|
+# undef YYABORT
|
|
|
|
|
+# define YYABORT return yyabort
|
|
|
|
|
+# undef YYERROR
|
|
|
|
|
+# define YYERROR return yyerrok, yyerr
|
|
|
|
|
+# undef YYRECOVERING
|
|
|
|
|
+# define YYRECOVERING() (yystackp->yyerrState != 0)
|
|
|
|
|
+# undef yyclearin
|
|
|
|
|
+# define yyclearin (yychar = YYEMPTY)
|
|
|
|
|
+# undef YYFILL
|
|
|
|
|
+# define YYFILL(N) yyfill (yyvsp, &yylow, N, yynormal)
|
|
|
|
|
+# undef YYBACKUP
|
|
|
|
|
+# define YYBACKUP(Token, Value) \
|
|
|
|
|
+ return yyerror (root_node, scanner, YY_("syntax error: cannot back up")), \
|
|
|
|
|
+ yyerrok, yyerr
|
|
|
|
|
+
|
|
|
|
|
+ yylow = 1;
|
|
|
|
|
+ if (yyrhslen == 0)
|
|
|
|
|
+ *yyvalp = yyval_default;
|
|
|
|
|
+ else
|
|
|
|
|
+ *yyvalp = yyvsp[YYFILL (1-yyrhslen)].yystate.yysemantics.yysval;
|
|
|
|
|
+ switch (yyn)
|
|
|
|
|
+ {
|
|
|
|
|
+ case 2:
|
|
|
|
|
+/* Line 868 of glr.c */
|
|
|
|
|
+#line 63 "BsParserFX.y"
|
|
|
|
|
+ { }
|
|
|
|
|
+ break;
|
|
|
|
|
+
|
|
|
|
|
+ case 3:
|
|
|
|
|
+/* Line 868 of glr.c */
|
|
|
|
|
+#line 64 "BsParserFX.y"
|
|
|
|
|
+ { nodeOptionsAdd(root_node->options, &(((yyGLRStackItem const *)yyvsp)[YYFILL ((1) - (2))].yystate.yysemantics.yysval.nodeOption)); }
|
|
|
|
|
+ break;
|
|
|
|
|
+
|
|
|
|
|
+ case 5:
|
|
|
|
|
+/* Line 868 of glr.c */
|
|
|
|
|
+#line 72 "BsParserFX.y"
|
|
|
|
|
+ { ((*yyvalp).nodeOption).type = OT_Separable; ((*yyvalp).nodeOption).value.boolValue = (((yyGLRStackItem const *)yyvsp)[YYFILL ((3) - (4))].yystate.yysemantics.yysval.boolValue); }
|
|
|
|
|
+ break;
|
|
|
|
|
+
|
|
|
|
|
+ case 6:
|
|
|
|
|
+/* Line 868 of glr.c */
|
|
|
|
|
+#line 73 "BsParserFX.y"
|
|
|
|
|
+ { ((*yyvalp).nodeOption).type = OT_Queue; ((*yyvalp).nodeOption).value.intValue = (((yyGLRStackItem const *)yyvsp)[YYFILL ((3) - (4))].yystate.yysemantics.yysval.intValue); }
|
|
|
|
|
+ break;
|
|
|
|
|
+
|
|
|
|
|
+ case 7:
|
|
|
|
|
+/* Line 868 of glr.c */
|
|
|
|
|
+#line 74 "BsParserFX.y"
|
|
|
|
|
+ { ((*yyvalp).nodeOption).type = OT_Priority; ((*yyvalp).nodeOption).value.intValue = (((yyGLRStackItem const *)yyvsp)[YYFILL ((3) - (4))].yystate.yysemantics.yysval.intValue); }
|
|
|
|
|
+ break;
|
|
|
|
|
+
|
|
|
|
|
+
|
|
|
|
|
+/* Line 868 of glr.c */
|
|
|
|
|
+#line 836 "BsParserFX.c"
|
|
|
|
|
+ default: break;
|
|
|
|
|
+ }
|
|
|
|
|
+
|
|
|
|
|
+ return yyok;
|
|
|
|
|
+# undef yyerrok
|
|
|
|
|
+# undef YYABORT
|
|
|
|
|
+# undef YYACCEPT
|
|
|
|
|
+# undef YYERROR
|
|
|
|
|
+# undef YYBACKUP
|
|
|
|
|
+# undef yyclearin
|
|
|
|
|
+# undef YYRECOVERING
|
|
|
|
|
+}
|
|
|
|
|
+
|
|
|
|
|
+
|
|
|
|
|
+/*ARGSUSED*/ static void
|
|
|
|
|
+yyuserMerge (int yyn, YYSTYPE* yy0, YYSTYPE* yy1)
|
|
|
|
|
+{
|
|
|
|
|
+ YYUSE (yy0);
|
|
|
|
|
+ YYUSE (yy1);
|
|
|
|
|
+
|
|
|
|
|
+ switch (yyn)
|
|
|
|
|
+ {
|
|
|
|
|
+
|
|
|
|
|
+ default: break;
|
|
|
|
|
+ }
|
|
|
|
|
+}
|
|
|
|
|
+
|
|
|
|
|
+ /* Bison grammar-table manipulation. */
|
|
|
|
|
+
|
|
|
|
|
+/*-----------------------------------------------.
|
|
|
|
|
+| Release the memory associated to this symbol. |
|
|
|
|
|
+`-----------------------------------------------*/
|
|
|
|
|
+
|
|
|
|
|
+/*ARGSUSED*/
|
|
|
|
|
+static void
|
|
|
|
|
+yydestruct (const char *yymsg, int yytype, YYSTYPE *yyvaluep, ASTFXNode* root_node, yyscan_t scanner)
|
|
|
|
|
+{
|
|
|
|
|
+ YYUSE (yyvaluep);
|
|
|
|
|
+ YYUSE (root_node);
|
|
|
|
|
+ YYUSE (scanner);
|
|
|
|
|
+
|
|
|
|
|
+ if (!yymsg)
|
|
|
|
|
+ yymsg = "Deleting";
|
|
|
|
|
+ YY_SYMBOL_PRINT (yymsg, yytype, yyvaluep, yylocationp);
|
|
|
|
|
+
|
|
|
|
|
+ switch (yytype)
|
|
|
|
|
+ {
|
|
|
|
|
+
|
|
|
|
|
+ default:
|
|
|
|
|
+ break;
|
|
|
|
|
+ }
|
|
|
|
|
+}
|
|
|
|
|
+
|
|
|
|
|
+/** Number of symbols composing the right hand side of rule #RULE. */
|
|
|
|
|
+static inline int
|
|
|
|
|
+yyrhsLength (yyRuleNum yyrule)
|
|
|
|
|
+{
|
|
|
|
|
+ return yyr2[yyrule];
|
|
|
|
|
+}
|
|
|
|
|
+
|
|
|
|
|
+static void
|
|
|
|
|
+yydestroyGLRState (char const *yymsg, yyGLRState *yys, ASTFXNode* root_node, yyscan_t scanner)
|
|
|
|
|
+{
|
|
|
|
|
+ if (yys->yyresolved)
|
|
|
|
|
+ yydestruct (yymsg, yystos[yys->yylrState],
|
|
|
|
|
+ &yys->yysemantics.yysval, root_node, scanner);
|
|
|
|
|
+ else
|
|
|
|
|
+ {
|
|
|
|
|
+#if YYDEBUG
|
|
|
|
|
+ if (yydebug)
|
|
|
|
|
+ {
|
|
|
|
|
+ if (yys->yysemantics.yyfirstVal)
|
|
|
|
|
+ YYFPRINTF (stderr, "%s unresolved ", yymsg);
|
|
|
|
|
+ else
|
|
|
|
|
+ YYFPRINTF (stderr, "%s incomplete ", yymsg);
|
|
|
|
|
+ yy_symbol_print (stderr, yystos[yys->yylrState],
|
|
|
|
|
+ YY_NULL, root_node, scanner);
|
|
|
|
|
+ YYFPRINTF (stderr, "\n");
|
|
|
|
|
+ }
|
|
|
|
|
+#endif
|
|
|
|
|
+
|
|
|
|
|
+ if (yys->yysemantics.yyfirstVal)
|
|
|
|
|
+ {
|
|
|
|
|
+ yySemanticOption *yyoption = yys->yysemantics.yyfirstVal;
|
|
|
|
|
+ yyGLRState *yyrh;
|
|
|
|
|
+ int yyn;
|
|
|
|
|
+ for (yyrh = yyoption->yystate, yyn = yyrhsLength (yyoption->yyrule);
|
|
|
|
|
+ yyn > 0;
|
|
|
|
|
+ yyrh = yyrh->yypred, yyn -= 1)
|
|
|
|
|
+ yydestroyGLRState (yymsg, yyrh, root_node, scanner);
|
|
|
|
|
+ }
|
|
|
|
|
+ }
|
|
|
|
|
+}
|
|
|
|
|
+
|
|
|
|
|
+/** Left-hand-side symbol for rule #RULE. */
|
|
|
|
|
+static inline yySymbol
|
|
|
|
|
+yylhsNonterm (yyRuleNum yyrule)
|
|
|
|
|
+{
|
|
|
|
|
+ return yyr1[yyrule];
|
|
|
|
|
+}
|
|
|
|
|
+
|
|
|
|
|
+#define yypact_value_is_default(Yystate) \
|
|
|
|
|
+ (!!((Yystate) == (-18)))
|
|
|
|
|
+
|
|
|
|
|
+/** True iff LR state STATE has only a default reduction (regardless
|
|
|
|
|
+ * of token). */
|
|
|
|
|
+static inline yybool
|
|
|
|
|
+yyisDefaultedState (yyStateNum yystate)
|
|
|
|
|
+{
|
|
|
|
|
+ return yypact_value_is_default (yypact[yystate]);
|
|
|
|
|
+}
|
|
|
|
|
+
|
|
|
|
|
+/** The default reduction for STATE, assuming it has one. */
|
|
|
|
|
+static inline yyRuleNum
|
|
|
|
|
+yydefaultAction (yyStateNum yystate)
|
|
|
|
|
+{
|
|
|
|
|
+ return yydefact[yystate];
|
|
|
|
|
+}
|
|
|
|
|
+
|
|
|
|
|
+#define yytable_value_is_error(Yytable_value) \
|
|
|
|
|
+ YYID (0)
|
|
|
|
|
+
|
|
|
|
|
+/** Set *YYACTION to the action to take in YYSTATE on seeing YYTOKEN.
|
|
|
|
|
+ * Result R means
|
|
|
|
|
+ * R < 0: Reduce on rule -R.
|
|
|
|
|
+ * R = 0: Error.
|
|
|
|
|
+ * R > 0: Shift to state R.
|
|
|
|
|
+ * Set *CONFLICTS to a pointer into yyconfl to 0-terminated list of
|
|
|
|
|
+ * conflicting reductions.
|
|
|
|
|
+ */
|
|
|
|
|
+static inline void
|
|
|
|
|
+yygetLRActions (yyStateNum yystate, int yytoken,
|
|
|
|
|
+ int* yyaction, const short int** yyconflicts)
|
|
|
|
|
+{
|
|
|
|
|
+ int yyindex = yypact[yystate] + yytoken;
|
|
|
|
|
+ if (yypact_value_is_default (yypact[yystate])
|
|
|
|
|
+ || yyindex < 0 || YYLAST < yyindex || yycheck[yyindex] != yytoken)
|
|
|
|
|
+ {
|
|
|
|
|
+ *yyaction = -yydefact[yystate];
|
|
|
|
|
+ *yyconflicts = yyconfl;
|
|
|
|
|
+ }
|
|
|
|
|
+ else if (! yytable_value_is_error (yytable[yyindex]))
|
|
|
|
|
+ {
|
|
|
|
|
+ *yyaction = yytable[yyindex];
|
|
|
|
|
+ *yyconflicts = yyconfl + yyconflp[yyindex];
|
|
|
|
|
+ }
|
|
|
|
|
+ else
|
|
|
|
|
+ {
|
|
|
|
|
+ *yyaction = 0;
|
|
|
|
|
+ *yyconflicts = yyconfl + yyconflp[yyindex];
|
|
|
|
|
+ }
|
|
|
|
|
+}
|
|
|
|
|
+
|
|
|
|
|
+static inline yyStateNum
|
|
|
|
|
+yyLRgotoState (yyStateNum yystate, yySymbol yylhs)
|
|
|
|
|
+{
|
|
|
|
|
+ int yyr;
|
|
|
|
|
+ yyr = yypgoto[yylhs - YYNTOKENS] + yystate;
|
|
|
|
|
+ if (0 <= yyr && yyr <= YYLAST && yycheck[yyr] == yystate)
|
|
|
|
|
+ return yytable[yyr];
|
|
|
|
|
+ else
|
|
|
|
|
+ return yydefgoto[yylhs - YYNTOKENS];
|
|
|
|
|
+}
|
|
|
|
|
+
|
|
|
|
|
+static inline yybool
|
|
|
|
|
+yyisShiftAction (int yyaction)
|
|
|
|
|
+{
|
|
|
|
|
+ return 0 < yyaction;
|
|
|
|
|
+}
|
|
|
|
|
+
|
|
|
|
|
+static inline yybool
|
|
|
|
|
+yyisErrorAction (int yyaction)
|
|
|
|
|
+{
|
|
|
|
|
+ return yyaction == 0;
|
|
|
|
|
+}
|
|
|
|
|
+
|
|
|
|
|
+ /* GLRStates */
|
|
|
|
|
+
|
|
|
|
|
+/** Return a fresh GLRStackItem. Callers should call
|
|
|
|
|
+ * YY_RESERVE_GLRSTACK afterwards to make sure there is sufficient
|
|
|
|
|
+ * headroom. */
|
|
|
|
|
+
|
|
|
|
|
+static inline yyGLRStackItem*
|
|
|
|
|
+yynewGLRStackItem (yyGLRStack* yystackp, yybool yyisState)
|
|
|
|
|
+{
|
|
|
|
|
+ yyGLRStackItem* yynewItem = yystackp->yynextFree;
|
|
|
|
|
+ yystackp->yyspaceLeft -= 1;
|
|
|
|
|
+ yystackp->yynextFree += 1;
|
|
|
|
|
+ yynewItem->yystate.yyisState = yyisState;
|
|
|
|
|
+ return yynewItem;
|
|
|
|
|
+}
|
|
|
|
|
+
|
|
|
|
|
+/** Add a new semantic action that will execute the action for rule
|
|
|
|
|
+ * RULENUM on the semantic values in RHS to the list of
|
|
|
|
|
+ * alternative actions for STATE. Assumes that RHS comes from
|
|
|
|
|
+ * stack #K of *STACKP. */
|
|
|
|
|
+static void
|
|
|
|
|
+yyaddDeferredAction (yyGLRStack* yystackp, size_t yyk, yyGLRState* yystate,
|
|
|
|
|
+ yyGLRState* rhs, yyRuleNum yyrule)
|
|
|
|
|
+{
|
|
|
|
|
+ yySemanticOption* yynewOption =
|
|
|
|
|
+ &yynewGLRStackItem (yystackp, yyfalse)->yyoption;
|
|
|
|
|
+ yynewOption->yystate = rhs;
|
|
|
|
|
+ yynewOption->yyrule = yyrule;
|
|
|
|
|
+ if (yystackp->yytops.yylookaheadNeeds[yyk])
|
|
|
|
|
+ {
|
|
|
|
|
+ yynewOption->yyrawchar = yychar;
|
|
|
|
|
+ yynewOption->yyval = yylval;
|
|
|
|
|
+ }
|
|
|
|
|
+ else
|
|
|
|
|
+ yynewOption->yyrawchar = YYEMPTY;
|
|
|
|
|
+ yynewOption->yynext = yystate->yysemantics.yyfirstVal;
|
|
|
|
|
+ yystate->yysemantics.yyfirstVal = yynewOption;
|
|
|
|
|
+
|
|
|
|
|
+ YY_RESERVE_GLRSTACK (yystackp);
|
|
|
|
|
+}
|
|
|
|
|
+
|
|
|
|
|
+ /* GLRStacks */
|
|
|
|
|
+
|
|
|
|
|
+/** Initialize SET to a singleton set containing an empty stack. */
|
|
|
|
|
+static yybool
|
|
|
|
|
+yyinitStateSet (yyGLRStateSet* yyset)
|
|
|
|
|
+{
|
|
|
|
|
+ yyset->yysize = 1;
|
|
|
|
|
+ yyset->yycapacity = 16;
|
|
|
|
|
+ yyset->yystates = (yyGLRState**) YYMALLOC (16 * sizeof yyset->yystates[0]);
|
|
|
|
|
+ if (! yyset->yystates)
|
|
|
|
|
+ return yyfalse;
|
|
|
|
|
+ yyset->yystates[0] = YY_NULL;
|
|
|
|
|
+ yyset->yylookaheadNeeds =
|
|
|
|
|
+ (yybool*) YYMALLOC (16 * sizeof yyset->yylookaheadNeeds[0]);
|
|
|
|
|
+ if (! yyset->yylookaheadNeeds)
|
|
|
|
|
+ {
|
|
|
|
|
+ YYFREE (yyset->yystates);
|
|
|
|
|
+ return yyfalse;
|
|
|
|
|
+ }
|
|
|
|
|
+ return yytrue;
|
|
|
|
|
+}
|
|
|
|
|
+
|
|
|
|
|
+static void yyfreeStateSet (yyGLRStateSet* yyset)
|
|
|
|
|
+{
|
|
|
|
|
+ YYFREE (yyset->yystates);
|
|
|
|
|
+ YYFREE (yyset->yylookaheadNeeds);
|
|
|
|
|
+}
|
|
|
|
|
+
|
|
|
|
|
+/** Initialize STACK to a single empty stack, with total maximum
|
|
|
|
|
+ * capacity for all stacks of SIZE. */
|
|
|
|
|
+static yybool
|
|
|
|
|
+yyinitGLRStack (yyGLRStack* yystackp, size_t yysize)
|
|
|
|
|
+{
|
|
|
|
|
+ yystackp->yyerrState = 0;
|
|
|
|
|
+ yynerrs = 0;
|
|
|
|
|
+ yystackp->yyspaceLeft = yysize;
|
|
|
|
|
+ yystackp->yyitems =
|
|
|
|
|
+ (yyGLRStackItem*) YYMALLOC (yysize * sizeof yystackp->yynextFree[0]);
|
|
|
|
|
+ if (!yystackp->yyitems)
|
|
|
|
|
+ return yyfalse;
|
|
|
|
|
+ yystackp->yynextFree = yystackp->yyitems;
|
|
|
|
|
+ yystackp->yysplitPoint = YY_NULL;
|
|
|
|
|
+ yystackp->yylastDeleted = YY_NULL;
|
|
|
|
|
+ return yyinitStateSet (&yystackp->yytops);
|
|
|
|
|
+}
|
|
|
|
|
+
|
|
|
|
|
+
|
|
|
|
|
+#if YYSTACKEXPANDABLE
|
|
|
|
|
+# define YYRELOC(YYFROMITEMS,YYTOITEMS,YYX,YYTYPE) \
|
|
|
|
|
+ &((YYTOITEMS) - ((YYFROMITEMS) - (yyGLRStackItem*) (YYX)))->YYTYPE
|
|
|
|
|
+
|
|
|
|
|
+/** If STACK is expandable, extend it. WARNING: Pointers into the
|
|
|
|
|
+ stack from outside should be considered invalid after this call.
|
|
|
|
|
+ We always expand when there are 1 or fewer items left AFTER an
|
|
|
|
|
+ allocation, so that we can avoid having external pointers exist
|
|
|
|
|
+ across an allocation. */
|
|
|
|
|
+static void
|
|
|
|
|
+yyexpandGLRStack (yyGLRStack* yystackp)
|
|
|
|
|
+{
|
|
|
|
|
+ yyGLRStackItem* yynewItems;
|
|
|
|
|
+ yyGLRStackItem* yyp0, *yyp1;
|
|
|
|
|
+ size_t yynewSize;
|
|
|
|
|
+ size_t yyn;
|
|
|
|
|
+ size_t yysize = yystackp->yynextFree - yystackp->yyitems;
|
|
|
|
|
+ if (YYMAXDEPTH - YYHEADROOM < yysize)
|
|
|
|
|
+ yyMemoryExhausted (yystackp);
|
|
|
|
|
+ yynewSize = 2*yysize;
|
|
|
|
|
+ if (YYMAXDEPTH < yynewSize)
|
|
|
|
|
+ yynewSize = YYMAXDEPTH;
|
|
|
|
|
+ yynewItems = (yyGLRStackItem*) YYMALLOC (yynewSize * sizeof yynewItems[0]);
|
|
|
|
|
+ if (! yynewItems)
|
|
|
|
|
+ yyMemoryExhausted (yystackp);
|
|
|
|
|
+ for (yyp0 = yystackp->yyitems, yyp1 = yynewItems, yyn = yysize;
|
|
|
|
|
+ 0 < yyn;
|
|
|
|
|
+ yyn -= 1, yyp0 += 1, yyp1 += 1)
|
|
|
|
|
+ {
|
|
|
|
|
+ *yyp1 = *yyp0;
|
|
|
|
|
+ if (*(yybool *) yyp0)
|
|
|
|
|
+ {
|
|
|
|
|
+ yyGLRState* yys0 = &yyp0->yystate;
|
|
|
|
|
+ yyGLRState* yys1 = &yyp1->yystate;
|
|
|
|
|
+ if (yys0->yypred != YY_NULL)
|
|
|
|
|
+ yys1->yypred =
|
|
|
|
|
+ YYRELOC (yyp0, yyp1, yys0->yypred, yystate);
|
|
|
|
|
+ if (! yys0->yyresolved && yys0->yysemantics.yyfirstVal != YY_NULL)
|
|
|
|
|
+ yys1->yysemantics.yyfirstVal =
|
|
|
|
|
+ YYRELOC (yyp0, yyp1, yys0->yysemantics.yyfirstVal, yyoption);
|
|
|
|
|
+ }
|
|
|
|
|
+ else
|
|
|
|
|
+ {
|
|
|
|
|
+ yySemanticOption* yyv0 = &yyp0->yyoption;
|
|
|
|
|
+ yySemanticOption* yyv1 = &yyp1->yyoption;
|
|
|
|
|
+ if (yyv0->yystate != YY_NULL)
|
|
|
|
|
+ yyv1->yystate = YYRELOC (yyp0, yyp1, yyv0->yystate, yystate);
|
|
|
|
|
+ if (yyv0->yynext != YY_NULL)
|
|
|
|
|
+ yyv1->yynext = YYRELOC (yyp0, yyp1, yyv0->yynext, yyoption);
|
|
|
|
|
+ }
|
|
|
|
|
+ }
|
|
|
|
|
+ if (yystackp->yysplitPoint != YY_NULL)
|
|
|
|
|
+ yystackp->yysplitPoint = YYRELOC (yystackp->yyitems, yynewItems,
|
|
|
|
|
+ yystackp->yysplitPoint, yystate);
|
|
|
|
|
+
|
|
|
|
|
+ for (yyn = 0; yyn < yystackp->yytops.yysize; yyn += 1)
|
|
|
|
|
+ if (yystackp->yytops.yystates[yyn] != YY_NULL)
|
|
|
|
|
+ yystackp->yytops.yystates[yyn] =
|
|
|
|
|
+ YYRELOC (yystackp->yyitems, yynewItems,
|
|
|
|
|
+ yystackp->yytops.yystates[yyn], yystate);
|
|
|
|
|
+ YYFREE (yystackp->yyitems);
|
|
|
|
|
+ yystackp->yyitems = yynewItems;
|
|
|
|
|
+ yystackp->yynextFree = yynewItems + yysize;
|
|
|
|
|
+ yystackp->yyspaceLeft = yynewSize - yysize;
|
|
|
|
|
+}
|
|
|
|
|
+#endif
|
|
|
|
|
+
|
|
|
|
|
+static void
|
|
|
|
|
+yyfreeGLRStack (yyGLRStack* yystackp)
|
|
|
|
|
+{
|
|
|
|
|
+ YYFREE (yystackp->yyitems);
|
|
|
|
|
+ yyfreeStateSet (&yystackp->yytops);
|
|
|
|
|
+}
|
|
|
|
|
+
|
|
|
|
|
+/** Assuming that S is a GLRState somewhere on STACK, update the
|
|
|
|
|
+ * splitpoint of STACK, if needed, so that it is at least as deep as
|
|
|
|
|
+ * S. */
|
|
|
|
|
+static inline void
|
|
|
|
|
+yyupdateSplit (yyGLRStack* yystackp, yyGLRState* yys)
|
|
|
|
|
+{
|
|
|
|
|
+ if (yystackp->yysplitPoint != YY_NULL && yystackp->yysplitPoint > yys)
|
|
|
|
|
+ yystackp->yysplitPoint = yys;
|
|
|
|
|
+}
|
|
|
|
|
+
|
|
|
|
|
+/** Invalidate stack #K in STACK. */
|
|
|
|
|
+static inline void
|
|
|
|
|
+yymarkStackDeleted (yyGLRStack* yystackp, size_t yyk)
|
|
|
|
|
+{
|
|
|
|
|
+ if (yystackp->yytops.yystates[yyk] != YY_NULL)
|
|
|
|
|
+ yystackp->yylastDeleted = yystackp->yytops.yystates[yyk];
|
|
|
|
|
+ yystackp->yytops.yystates[yyk] = YY_NULL;
|
|
|
|
|
+}
|
|
|
|
|
+
|
|
|
|
|
+/** Undelete the last stack that was marked as deleted. Can only be
|
|
|
|
|
+ done once after a deletion, and only when all other stacks have
|
|
|
|
|
+ been deleted. */
|
|
|
|
|
+static void
|
|
|
|
|
+yyundeleteLastStack (yyGLRStack* yystackp)
|
|
|
|
|
+{
|
|
|
|
|
+ if (yystackp->yylastDeleted == YY_NULL || yystackp->yytops.yysize != 0)
|
|
|
|
|
+ return;
|
|
|
|
|
+ yystackp->yytops.yystates[0] = yystackp->yylastDeleted;
|
|
|
|
|
+ yystackp->yytops.yysize = 1;
|
|
|
|
|
+ YYDPRINTF ((stderr, "Restoring last deleted stack as stack #0.\n"));
|
|
|
|
|
+ yystackp->yylastDeleted = YY_NULL;
|
|
|
|
|
+}
|
|
|
|
|
+
|
|
|
|
|
+static inline void
|
|
|
|
|
+yyremoveDeletes (yyGLRStack* yystackp)
|
|
|
|
|
+{
|
|
|
|
|
+ size_t yyi, yyj;
|
|
|
|
|
+ yyi = yyj = 0;
|
|
|
|
|
+ while (yyj < yystackp->yytops.yysize)
|
|
|
|
|
+ {
|
|
|
|
|
+ if (yystackp->yytops.yystates[yyi] == YY_NULL)
|
|
|
|
|
+ {
|
|
|
|
|
+ if (yyi == yyj)
|
|
|
|
|
+ {
|
|
|
|
|
+ YYDPRINTF ((stderr, "Removing dead stacks.\n"));
|
|
|
|
|
+ }
|
|
|
|
|
+ yystackp->yytops.yysize -= 1;
|
|
|
|
|
+ }
|
|
|
|
|
+ else
|
|
|
|
|
+ {
|
|
|
|
|
+ yystackp->yytops.yystates[yyj] = yystackp->yytops.yystates[yyi];
|
|
|
|
|
+ /* In the current implementation, it's unnecessary to copy
|
|
|
|
|
+ yystackp->yytops.yylookaheadNeeds[yyi] since, after
|
|
|
|
|
+ yyremoveDeletes returns, the parser immediately either enters
|
|
|
|
|
+ deterministic operation or shifts a token. However, it doesn't
|
|
|
|
|
+ hurt, and the code might evolve to need it. */
|
|
|
|
|
+ yystackp->yytops.yylookaheadNeeds[yyj] =
|
|
|
|
|
+ yystackp->yytops.yylookaheadNeeds[yyi];
|
|
|
|
|
+ if (yyj != yyi)
|
|
|
|
|
+ {
|
|
|
|
|
+ YYDPRINTF ((stderr, "Rename stack %lu -> %lu.\n",
|
|
|
|
|
+ (unsigned long int) yyi, (unsigned long int) yyj));
|
|
|
|
|
+ }
|
|
|
|
|
+ yyj += 1;
|
|
|
|
|
+ }
|
|
|
|
|
+ yyi += 1;
|
|
|
|
|
+ }
|
|
|
|
|
+}
|
|
|
|
|
+
|
|
|
|
|
+/** Shift to a new state on stack #K of STACK, corresponding to LR state
|
|
|
|
|
+ * LRSTATE, at input position POSN, with (resolved) semantic value SVAL. */
|
|
|
|
|
+static inline void
|
|
|
|
|
+yyglrShift (yyGLRStack* yystackp, size_t yyk, yyStateNum yylrState,
|
|
|
|
|
+ size_t yyposn,
|
|
|
|
|
+ YYSTYPE* yyvalp)
|
|
|
|
|
+{
|
|
|
|
|
+ yyGLRState* yynewState = &yynewGLRStackItem (yystackp, yytrue)->yystate;
|
|
|
|
|
+
|
|
|
|
|
+ yynewState->yylrState = yylrState;
|
|
|
|
|
+ yynewState->yyposn = yyposn;
|
|
|
|
|
+ yynewState->yyresolved = yytrue;
|
|
|
|
|
+ yynewState->yypred = yystackp->yytops.yystates[yyk];
|
|
|
|
|
+ yynewState->yysemantics.yysval = *yyvalp;
|
|
|
|
|
+ yystackp->yytops.yystates[yyk] = yynewState;
|
|
|
|
|
+
|
|
|
|
|
+ YY_RESERVE_GLRSTACK (yystackp);
|
|
|
|
|
+}
|
|
|
|
|
+
|
|
|
|
|
+/** Shift stack #K of YYSTACK, to a new state corresponding to LR
|
|
|
|
|
+ * state YYLRSTATE, at input position YYPOSN, with the (unresolved)
|
|
|
|
|
+ * semantic value of YYRHS under the action for YYRULE. */
|
|
|
|
|
+static inline void
|
|
|
|
|
+yyglrShiftDefer (yyGLRStack* yystackp, size_t yyk, yyStateNum yylrState,
|
|
|
|
|
+ size_t yyposn, yyGLRState* rhs, yyRuleNum yyrule)
|
|
|
|
|
+{
|
|
|
|
|
+ yyGLRState* yynewState = &yynewGLRStackItem (yystackp, yytrue)->yystate;
|
|
|
|
|
+
|
|
|
|
|
+ yynewState->yylrState = yylrState;
|
|
|
|
|
+ yynewState->yyposn = yyposn;
|
|
|
|
|
+ yynewState->yyresolved = yyfalse;
|
|
|
|
|
+ yynewState->yypred = yystackp->yytops.yystates[yyk];
|
|
|
|
|
+ yynewState->yysemantics.yyfirstVal = YY_NULL;
|
|
|
|
|
+ yystackp->yytops.yystates[yyk] = yynewState;
|
|
|
|
|
+
|
|
|
|
|
+ /* Invokes YY_RESERVE_GLRSTACK. */
|
|
|
|
|
+ yyaddDeferredAction (yystackp, yyk, yynewState, rhs, yyrule);
|
|
|
|
|
+}
|
|
|
|
|
+
|
|
|
|
|
+/** Pop the symbols consumed by reduction #RULE from the top of stack
|
|
|
|
|
+ * #K of STACK, and perform the appropriate semantic action on their
|
|
|
|
|
+ * semantic values. Assumes that all ambiguities in semantic values
|
|
|
|
|
+ * have been previously resolved. Set *VALP to the resulting value,
|
|
|
|
|
+ * and *LOCP to the computed location (if any). Return value is as
|
|
|
|
|
+ * for userAction. */
|
|
|
|
|
+static inline YYRESULTTAG
|
|
|
|
|
+yydoAction (yyGLRStack* yystackp, size_t yyk, yyRuleNum yyrule,
|
|
|
|
|
+ YYSTYPE* yyvalp, ASTFXNode* root_node, yyscan_t scanner)
|
|
|
|
|
+{
|
|
|
|
|
+ int yynrhs = yyrhsLength (yyrule);
|
|
|
|
|
+
|
|
|
|
|
+ if (yystackp->yysplitPoint == YY_NULL)
|
|
|
|
|
+ {
|
|
|
|
|
+ /* Standard special case: single stack. */
|
|
|
|
|
+ yyGLRStackItem* rhs = (yyGLRStackItem*) yystackp->yytops.yystates[yyk];
|
|
|
|
|
+ YYASSERT (yyk == 0);
|
|
|
|
|
+ yystackp->yynextFree -= yynrhs;
|
|
|
|
|
+ yystackp->yyspaceLeft += yynrhs;
|
|
|
|
|
+ yystackp->yytops.yystates[0] = & yystackp->yynextFree[-1].yystate;
|
|
|
|
|
+ return yyuserAction (yyrule, yynrhs, rhs, yystackp,
|
|
|
|
|
+ yyvalp, root_node, scanner);
|
|
|
|
|
+ }
|
|
|
|
|
+ else
|
|
|
|
|
+ {
|
|
|
|
|
+ /* At present, doAction is never called in nondeterministic
|
|
|
|
|
+ * mode, so this branch is never taken. It is here in
|
|
|
|
|
+ * anticipation of a future feature that will allow immediate
|
|
|
|
|
+ * evaluation of selected actions in nondeterministic mode. */
|
|
|
|
|
+ int yyi;
|
|
|
|
|
+ yyGLRState* yys;
|
|
|
|
|
+ yyGLRStackItem yyrhsVals[YYMAXRHS + YYMAXLEFT + 1];
|
|
|
|
|
+ yys = yyrhsVals[YYMAXRHS + YYMAXLEFT].yystate.yypred
|
|
|
|
|
+ = yystackp->yytops.yystates[yyk];
|
|
|
|
|
+ for (yyi = 0; yyi < yynrhs; yyi += 1)
|
|
|
|
|
+ {
|
|
|
|
|
+ yys = yys->yypred;
|
|
|
|
|
+ YYASSERT (yys);
|
|
|
|
|
+ }
|
|
|
|
|
+ yyupdateSplit (yystackp, yys);
|
|
|
|
|
+ yystackp->yytops.yystates[yyk] = yys;
|
|
|
|
|
+ return yyuserAction (yyrule, yynrhs, yyrhsVals + YYMAXRHS + YYMAXLEFT - 1,
|
|
|
|
|
+ yystackp, yyvalp, root_node, scanner);
|
|
|
|
|
+ }
|
|
|
|
|
+}
|
|
|
|
|
+
|
|
|
|
|
+#if !YYDEBUG
|
|
|
|
|
+# define YY_REDUCE_PRINT(Args)
|
|
|
|
|
+#else
|
|
|
|
|
+# define YY_REDUCE_PRINT(Args) \
|
|
|
|
|
+do { \
|
|
|
|
|
+ if (yydebug) \
|
|
|
|
|
+ yy_reduce_print Args; \
|
|
|
|
|
+} while (YYID (0))
|
|
|
|
|
+
|
|
|
|
|
+/*----------------------------------------------------------.
|
|
|
|
|
+| Report that the RULE is going to be reduced on stack #K. |
|
|
|
|
|
+`----------------------------------------------------------*/
|
|
|
|
|
+
|
|
|
|
|
+/*ARGSUSED*/ static inline void
|
|
|
|
|
+yy_reduce_print (yyGLRStack* yystackp, size_t yyk, yyRuleNum yyrule,
|
|
|
|
|
+ YYSTYPE* yyvalp, ASTFXNode* root_node, yyscan_t scanner)
|
|
|
|
|
+{
|
|
|
|
|
+ int yynrhs = yyrhsLength (yyrule);
|
|
|
|
|
+ yybool yynormal __attribute__ ((__unused__)) =
|
|
|
|
|
+ (yystackp->yysplitPoint == YY_NULL);
|
|
|
|
|
+ yyGLRStackItem* yyvsp = (yyGLRStackItem*) yystackp->yytops.yystates[yyk];
|
|
|
|
|
+ int yylow = 1;
|
|
|
|
|
+ int yyi;
|
|
|
|
|
+ YYUSE (yyvalp);
|
|
|
|
|
+ YYUSE (root_node);
|
|
|
|
|
+ YYUSE (scanner);
|
|
|
|
|
+ YYFPRINTF (stderr, "Reducing stack %lu by rule %d (line %lu):\n",
|
|
|
|
|
+ (unsigned long int) yyk, yyrule - 1,
|
|
|
|
|
+ (unsigned long int) yyrline[yyrule]);
|
|
|
|
|
+ /* The symbols being reduced. */
|
|
|
|
|
+ for (yyi = 0; yyi < yynrhs; yyi++)
|
|
|
|
|
+ {
|
|
|
|
|
+ YYFPRINTF (stderr, " $%d = ", yyi + 1);
|
|
|
|
|
+ yy_symbol_print (stderr, yyrhs[yyprhs[yyrule] + yyi],
|
|
|
|
|
+ &(((yyGLRStackItem const *)yyvsp)[YYFILL ((yyi + 1) - (yynrhs))].yystate.yysemantics.yysval)
|
|
|
|
|
+ , root_node, scanner);
|
|
|
|
|
+ YYFPRINTF (stderr, "\n");
|
|
|
|
|
+ }
|
|
|
|
|
+}
|
|
|
|
|
+#endif
|
|
|
|
|
+
|
|
|
|
|
+/** Pop items off stack #K of STACK according to grammar rule RULE,
|
|
|
|
|
+ * and push back on the resulting nonterminal symbol. Perform the
|
|
|
|
|
+ * semantic action associated with RULE and store its value with the
|
|
|
|
|
+ * newly pushed state, if FORCEEVAL or if STACK is currently
|
|
|
|
|
+ * unambiguous. Otherwise, store the deferred semantic action with
|
|
|
|
|
+ * the new state. If the new state would have an identical input
|
|
|
|
|
+ * position, LR state, and predecessor to an existing state on the stack,
|
|
|
|
|
+ * it is identified with that existing state, eliminating stack #K from
|
|
|
|
|
+ * the STACK. In this case, the (necessarily deferred) semantic value is
|
|
|
|
|
+ * added to the options for the existing state's semantic value.
|
|
|
|
|
+ */
|
|
|
|
|
+static inline YYRESULTTAG
|
|
|
|
|
+yyglrReduce (yyGLRStack* yystackp, size_t yyk, yyRuleNum yyrule,
|
|
|
|
|
+ yybool yyforceEval, ASTFXNode* root_node, yyscan_t scanner)
|
|
|
|
|
+{
|
|
|
|
|
+ size_t yyposn = yystackp->yytops.yystates[yyk]->yyposn;
|
|
|
|
|
+
|
|
|
|
|
+ if (yyforceEval || yystackp->yysplitPoint == YY_NULL)
|
|
|
|
|
+ {
|
|
|
|
|
+ YYSTYPE yysval;
|
|
|
|
|
+
|
|
|
|
|
+ YY_REDUCE_PRINT ((yystackp, yyk, yyrule, &yysval, root_node, scanner));
|
|
|
|
|
+ YYCHK (yydoAction (yystackp, yyk, yyrule, &yysval, root_node, scanner));
|
|
|
|
|
+ YY_SYMBOL_PRINT ("-> $$ =", yyr1[yyrule], &yysval, &yyloc);
|
|
|
|
|
+ yyglrShift (yystackp, yyk,
|
|
|
|
|
+ yyLRgotoState (yystackp->yytops.yystates[yyk]->yylrState,
|
|
|
|
|
+ yylhsNonterm (yyrule)),
|
|
|
|
|
+ yyposn, &yysval);
|
|
|
|
|
+ }
|
|
|
|
|
+ else
|
|
|
|
|
+ {
|
|
|
|
|
+ size_t yyi;
|
|
|
|
|
+ int yyn;
|
|
|
|
|
+ yyGLRState* yys, *yys0 = yystackp->yytops.yystates[yyk];
|
|
|
|
|
+ yyStateNum yynewLRState;
|
|
|
|
|
+
|
|
|
|
|
+ for (yys = yystackp->yytops.yystates[yyk], yyn = yyrhsLength (yyrule);
|
|
|
|
|
+ 0 < yyn; yyn -= 1)
|
|
|
|
|
+ {
|
|
|
|
|
+ yys = yys->yypred;
|
|
|
|
|
+ YYASSERT (yys);
|
|
|
|
|
+ }
|
|
|
|
|
+ yyupdateSplit (yystackp, yys);
|
|
|
|
|
+ yynewLRState = yyLRgotoState (yys->yylrState, yylhsNonterm (yyrule));
|
|
|
|
|
+ YYDPRINTF ((stderr,
|
|
|
|
|
+ "Reduced stack %lu by rule #%d; action deferred. Now in state %d.\n",
|
|
|
|
|
+ (unsigned long int) yyk, yyrule - 1, yynewLRState));
|
|
|
|
|
+ for (yyi = 0; yyi < yystackp->yytops.yysize; yyi += 1)
|
|
|
|
|
+ if (yyi != yyk && yystackp->yytops.yystates[yyi] != YY_NULL)
|
|
|
|
|
+ {
|
|
|
|
|
+ yyGLRState *yysplit = yystackp->yysplitPoint;
|
|
|
|
|
+ yyGLRState *yyp = yystackp->yytops.yystates[yyi];
|
|
|
|
|
+ while (yyp != yys && yyp != yysplit && yyp->yyposn >= yyposn)
|
|
|
|
|
+ {
|
|
|
|
|
+ if (yyp->yylrState == yynewLRState && yyp->yypred == yys)
|
|
|
|
|
+ {
|
|
|
|
|
+ yyaddDeferredAction (yystackp, yyk, yyp, yys0, yyrule);
|
|
|
|
|
+ yymarkStackDeleted (yystackp, yyk);
|
|
|
|
|
+ YYDPRINTF ((stderr, "Merging stack %lu into stack %lu.\n",
|
|
|
|
|
+ (unsigned long int) yyk,
|
|
|
|
|
+ (unsigned long int) yyi));
|
|
|
|
|
+ return yyok;
|
|
|
|
|
+ }
|
|
|
|
|
+ yyp = yyp->yypred;
|
|
|
|
|
+ }
|
|
|
|
|
+ }
|
|
|
|
|
+ yystackp->yytops.yystates[yyk] = yys;
|
|
|
|
|
+ yyglrShiftDefer (yystackp, yyk, yynewLRState, yyposn, yys0, yyrule);
|
|
|
|
|
+ }
|
|
|
|
|
+ return yyok;
|
|
|
|
|
+}
|
|
|
|
|
+
|
|
|
|
|
+static size_t
|
|
|
|
|
+yysplitStack (yyGLRStack* yystackp, size_t yyk)
|
|
|
|
|
+{
|
|
|
|
|
+ if (yystackp->yysplitPoint == YY_NULL)
|
|
|
|
|
+ {
|
|
|
|
|
+ YYASSERT (yyk == 0);
|
|
|
|
|
+ yystackp->yysplitPoint = yystackp->yytops.yystates[yyk];
|
|
|
|
|
+ }
|
|
|
|
|
+ if (yystackp->yytops.yysize >= yystackp->yytops.yycapacity)
|
|
|
|
|
+ {
|
|
|
|
|
+ yyGLRState** yynewStates;
|
|
|
|
|
+ yybool* yynewLookaheadNeeds;
|
|
|
|
|
+
|
|
|
|
|
+ yynewStates = YY_NULL;
|
|
|
|
|
+
|
|
|
|
|
+ if (yystackp->yytops.yycapacity
|
|
|
|
|
+ > (YYSIZEMAX / (2 * sizeof yynewStates[0])))
|
|
|
|
|
+ yyMemoryExhausted (yystackp);
|
|
|
|
|
+ yystackp->yytops.yycapacity *= 2;
|
|
|
|
|
+
|
|
|
|
|
+ yynewStates =
|
|
|
|
|
+ (yyGLRState**) YYREALLOC (yystackp->yytops.yystates,
|
|
|
|
|
+ (yystackp->yytops.yycapacity
|
|
|
|
|
+ * sizeof yynewStates[0]));
|
|
|
|
|
+ if (yynewStates == YY_NULL)
|
|
|
|
|
+ yyMemoryExhausted (yystackp);
|
|
|
|
|
+ yystackp->yytops.yystates = yynewStates;
|
|
|
|
|
+
|
|
|
|
|
+ yynewLookaheadNeeds =
|
|
|
|
|
+ (yybool*) YYREALLOC (yystackp->yytops.yylookaheadNeeds,
|
|
|
|
|
+ (yystackp->yytops.yycapacity
|
|
|
|
|
+ * sizeof yynewLookaheadNeeds[0]));
|
|
|
|
|
+ if (yynewLookaheadNeeds == YY_NULL)
|
|
|
|
|
+ yyMemoryExhausted (yystackp);
|
|
|
|
|
+ yystackp->yytops.yylookaheadNeeds = yynewLookaheadNeeds;
|
|
|
|
|
+ }
|
|
|
|
|
+ yystackp->yytops.yystates[yystackp->yytops.yysize]
|
|
|
|
|
+ = yystackp->yytops.yystates[yyk];
|
|
|
|
|
+ yystackp->yytops.yylookaheadNeeds[yystackp->yytops.yysize]
|
|
|
|
|
+ = yystackp->yytops.yylookaheadNeeds[yyk];
|
|
|
|
|
+ yystackp->yytops.yysize += 1;
|
|
|
|
|
+ return yystackp->yytops.yysize-1;
|
|
|
|
|
+}
|
|
|
|
|
+
|
|
|
|
|
+/** True iff Y0 and Y1 represent identical options at the top level.
|
|
|
|
|
+ * That is, they represent the same rule applied to RHS symbols
|
|
|
|
|
+ * that produce the same terminal symbols. */
|
|
|
|
|
+static yybool
|
|
|
|
|
+yyidenticalOptions (yySemanticOption* yyy0, yySemanticOption* yyy1)
|
|
|
|
|
+{
|
|
|
|
|
+ if (yyy0->yyrule == yyy1->yyrule)
|
|
|
|
|
+ {
|
|
|
|
|
+ yyGLRState *yys0, *yys1;
|
|
|
|
|
+ int yyn;
|
|
|
|
|
+ for (yys0 = yyy0->yystate, yys1 = yyy1->yystate,
|
|
|
|
|
+ yyn = yyrhsLength (yyy0->yyrule);
|
|
|
|
|
+ yyn > 0;
|
|
|
|
|
+ yys0 = yys0->yypred, yys1 = yys1->yypred, yyn -= 1)
|
|
|
|
|
+ if (yys0->yyposn != yys1->yyposn)
|
|
|
|
|
+ return yyfalse;
|
|
|
|
|
+ return yytrue;
|
|
|
|
|
+ }
|
|
|
|
|
+ else
|
|
|
|
|
+ return yyfalse;
|
|
|
|
|
+}
|
|
|
|
|
+
|
|
|
|
|
+/** Assuming identicalOptions (Y0,Y1), destructively merge the
|
|
|
|
|
+ * alternative semantic values for the RHS-symbols of Y1 and Y0. */
|
|
|
|
|
+static void
|
|
|
|
|
+yymergeOptionSets (yySemanticOption* yyy0, yySemanticOption* yyy1)
|
|
|
|
|
+{
|
|
|
|
|
+ yyGLRState *yys0, *yys1;
|
|
|
|
|
+ int yyn;
|
|
|
|
|
+ for (yys0 = yyy0->yystate, yys1 = yyy1->yystate,
|
|
|
|
|
+ yyn = yyrhsLength (yyy0->yyrule);
|
|
|
|
|
+ yyn > 0;
|
|
|
|
|
+ yys0 = yys0->yypred, yys1 = yys1->yypred, yyn -= 1)
|
|
|
|
|
+ {
|
|
|
|
|
+ if (yys0 == yys1)
|
|
|
|
|
+ break;
|
|
|
|
|
+ else if (yys0->yyresolved)
|
|
|
|
|
+ {
|
|
|
|
|
+ yys1->yyresolved = yytrue;
|
|
|
|
|
+ yys1->yysemantics.yysval = yys0->yysemantics.yysval;
|
|
|
|
|
+ }
|
|
|
|
|
+ else if (yys1->yyresolved)
|
|
|
|
|
+ {
|
|
|
|
|
+ yys0->yyresolved = yytrue;
|
|
|
|
|
+ yys0->yysemantics.yysval = yys1->yysemantics.yysval;
|
|
|
|
|
+ }
|
|
|
|
|
+ else
|
|
|
|
|
+ {
|
|
|
|
|
+ yySemanticOption** yyz0p = &yys0->yysemantics.yyfirstVal;
|
|
|
|
|
+ yySemanticOption* yyz1 = yys1->yysemantics.yyfirstVal;
|
|
|
|
|
+ while (YYID (yytrue))
|
|
|
|
|
+ {
|
|
|
|
|
+ if (yyz1 == *yyz0p || yyz1 == YY_NULL)
|
|
|
|
|
+ break;
|
|
|
|
|
+ else if (*yyz0p == YY_NULL)
|
|
|
|
|
+ {
|
|
|
|
|
+ *yyz0p = yyz1;
|
|
|
|
|
+ break;
|
|
|
|
|
+ }
|
|
|
|
|
+ else if (*yyz0p < yyz1)
|
|
|
|
|
+ {
|
|
|
|
|
+ yySemanticOption* yyz = *yyz0p;
|
|
|
|
|
+ *yyz0p = yyz1;
|
|
|
|
|
+ yyz1 = yyz1->yynext;
|
|
|
|
|
+ (*yyz0p)->yynext = yyz;
|
|
|
|
|
+ }
|
|
|
|
|
+ yyz0p = &(*yyz0p)->yynext;
|
|
|
|
|
+ }
|
|
|
|
|
+ yys1->yysemantics.yyfirstVal = yys0->yysemantics.yyfirstVal;
|
|
|
|
|
+ }
|
|
|
|
|
+ }
|
|
|
|
|
+}
|
|
|
|
|
+
|
|
|
|
|
+/** Y0 and Y1 represent two possible actions to take in a given
|
|
|
|
|
+ * parsing state; return 0 if no combination is possible,
|
|
|
|
|
+ * 1 if user-mergeable, 2 if Y0 is preferred, 3 if Y1 is preferred. */
|
|
|
|
|
+static int
|
|
|
|
|
+yypreference (yySemanticOption* y0, yySemanticOption* y1)
|
|
|
|
|
+{
|
|
|
|
|
+ yyRuleNum r0 = y0->yyrule, r1 = y1->yyrule;
|
|
|
|
|
+ int p0 = yydprec[r0], p1 = yydprec[r1];
|
|
|
|
|
+
|
|
|
|
|
+ if (p0 == p1)
|
|
|
|
|
+ {
|
|
|
|
|
+ if (yymerger[r0] == 0 || yymerger[r0] != yymerger[r1])
|
|
|
|
|
+ return 0;
|
|
|
|
|
+ else
|
|
|
|
|
+ return 1;
|
|
|
|
|
+ }
|
|
|
|
|
+ if (p0 == 0 || p1 == 0)
|
|
|
|
|
+ return 0;
|
|
|
|
|
+ if (p0 < p1)
|
|
|
|
|
+ return 3;
|
|
|
|
|
+ if (p1 < p0)
|
|
|
|
|
+ return 2;
|
|
|
|
|
+ return 0;
|
|
|
|
|
+}
|
|
|
|
|
+
|
|
|
|
|
+static YYRESULTTAG yyresolveValue (yyGLRState* yys,
|
|
|
|
|
+ yyGLRStack* yystackp, ASTFXNode* root_node, yyscan_t scanner);
|
|
|
|
|
+
|
|
|
|
|
+
|
|
|
|
|
+/** Resolve the previous N states starting at and including state S. If result
|
|
|
|
|
+ * != yyok, some states may have been left unresolved possibly with empty
|
|
|
|
|
+ * semantic option chains. Regardless of whether result = yyok, each state
|
|
|
|
|
+ * has been left with consistent data so that yydestroyGLRState can be invoked
|
|
|
|
|
+ * if necessary. */
|
|
|
|
|
+static YYRESULTTAG
|
|
|
|
|
+yyresolveStates (yyGLRState* yys, int yyn,
|
|
|
|
|
+ yyGLRStack* yystackp, ASTFXNode* root_node, yyscan_t scanner)
|
|
|
|
|
+{
|
|
|
|
|
+ if (0 < yyn)
|
|
|
|
|
+ {
|
|
|
|
|
+ YYASSERT (yys->yypred);
|
|
|
|
|
+ YYCHK (yyresolveStates (yys->yypred, yyn-1, yystackp, root_node, scanner));
|
|
|
|
|
+ if (! yys->yyresolved)
|
|
|
|
|
+ YYCHK (yyresolveValue (yys, yystackp, root_node, scanner));
|
|
|
|
|
+ }
|
|
|
|
|
+ return yyok;
|
|
|
|
|
+}
|
|
|
|
|
+
|
|
|
|
|
+/** Resolve the states for the RHS of OPT, perform its user action, and return
|
|
|
|
|
+ * the semantic value and location. Regardless of whether result = yyok, all
|
|
|
|
|
+ * RHS states have been destroyed (assuming the user action destroys all RHS
|
|
|
|
|
+ * semantic values if invoked). */
|
|
|
|
|
+static YYRESULTTAG
|
|
|
|
|
+yyresolveAction (yySemanticOption* yyopt, yyGLRStack* yystackp,
|
|
|
|
|
+ YYSTYPE* yyvalp, ASTFXNode* root_node, yyscan_t scanner)
|
|
|
|
|
+{
|
|
|
|
|
+ yyGLRStackItem yyrhsVals[YYMAXRHS + YYMAXLEFT + 1];
|
|
|
|
|
+ int yynrhs = yyrhsLength (yyopt->yyrule);
|
|
|
|
|
+ YYRESULTTAG yyflag =
|
|
|
|
|
+ yyresolveStates (yyopt->yystate, yynrhs, yystackp, root_node, scanner);
|
|
|
|
|
+ if (yyflag != yyok)
|
|
|
|
|
+ {
|
|
|
|
|
+ yyGLRState *yys;
|
|
|
|
|
+ for (yys = yyopt->yystate; yynrhs > 0; yys = yys->yypred, yynrhs -= 1)
|
|
|
|
|
+ yydestroyGLRState ("Cleanup: popping", yys, root_node, scanner);
|
|
|
|
|
+ return yyflag;
|
|
|
|
|
+ }
|
|
|
|
|
+
|
|
|
|
|
+ yyrhsVals[YYMAXRHS + YYMAXLEFT].yystate.yypred = yyopt->yystate;
|
|
|
|
|
+ {
|
|
|
|
|
+ int yychar_current = yychar;
|
|
|
|
|
+ YYSTYPE yylval_current = yylval;
|
|
|
|
|
+ yychar = yyopt->yyrawchar;
|
|
|
|
|
+ yylval = yyopt->yyval;
|
|
|
|
|
+ yyflag = yyuserAction (yyopt->yyrule, yynrhs,
|
|
|
|
|
+ yyrhsVals + YYMAXRHS + YYMAXLEFT - 1,
|
|
|
|
|
+ yystackp, yyvalp, root_node, scanner);
|
|
|
|
|
+ yychar = yychar_current;
|
|
|
|
|
+ yylval = yylval_current;
|
|
|
|
|
+ }
|
|
|
|
|
+ return yyflag;
|
|
|
|
|
+}
|
|
|
|
|
+
|
|
|
|
|
+#if YYDEBUG
|
|
|
|
|
+static void
|
|
|
|
|
+yyreportTree (yySemanticOption* yyx, int yyindent)
|
|
|
|
|
+{
|
|
|
|
|
+ int yynrhs = yyrhsLength (yyx->yyrule);
|
|
|
|
|
+ int yyi;
|
|
|
|
|
+ yyGLRState* yys;
|
|
|
|
|
+ yyGLRState* yystates[1 + YYMAXRHS];
|
|
|
|
|
+ yyGLRState yyleftmost_state;
|
|
|
|
|
+
|
|
|
|
|
+ for (yyi = yynrhs, yys = yyx->yystate; 0 < yyi; yyi -= 1, yys = yys->yypred)
|
|
|
|
|
+ yystates[yyi] = yys;
|
|
|
|
|
+ if (yys == YY_NULL)
|
|
|
|
|
+ {
|
|
|
|
|
+ yyleftmost_state.yyposn = 0;
|
|
|
|
|
+ yystates[0] = &yyleftmost_state;
|
|
|
|
|
+ }
|
|
|
|
|
+ else
|
|
|
|
|
+ yystates[0] = yys;
|
|
|
|
|
+
|
|
|
|
|
+ if (yyx->yystate->yyposn < yys->yyposn + 1)
|
|
|
|
|
+ YYFPRINTF (stderr, "%*s%s -> <Rule %d, empty>\n",
|
|
|
|
|
+ yyindent, "", yytokenName (yylhsNonterm (yyx->yyrule)),
|
|
|
|
|
+ yyx->yyrule - 1);
|
|
|
|
|
+ else
|
|
|
|
|
+ YYFPRINTF (stderr, "%*s%s -> <Rule %d, tokens %lu .. %lu>\n",
|
|
|
|
|
+ yyindent, "", yytokenName (yylhsNonterm (yyx->yyrule)),
|
|
|
|
|
+ yyx->yyrule - 1, (unsigned long int) (yys->yyposn + 1),
|
|
|
|
|
+ (unsigned long int) yyx->yystate->yyposn);
|
|
|
|
|
+ for (yyi = 1; yyi <= yynrhs; yyi += 1)
|
|
|
|
|
+ {
|
|
|
|
|
+ if (yystates[yyi]->yyresolved)
|
|
|
|
|
+ {
|
|
|
|
|
+ if (yystates[yyi-1]->yyposn+1 > yystates[yyi]->yyposn)
|
|
|
|
|
+ YYFPRINTF (stderr, "%*s%s <empty>\n", yyindent+2, "",
|
|
|
|
|
+ yytokenName (yyrhs[yyprhs[yyx->yyrule]+yyi-1]));
|
|
|
|
|
+ else
|
|
|
|
|
+ YYFPRINTF (stderr, "%*s%s <tokens %lu .. %lu>\n", yyindent+2, "",
|
|
|
|
|
+ yytokenName (yyrhs[yyprhs[yyx->yyrule]+yyi-1]),
|
|
|
|
|
+ (unsigned long int) (yystates[yyi - 1]->yyposn + 1),
|
|
|
|
|
+ (unsigned long int) yystates[yyi]->yyposn);
|
|
|
|
|
+ }
|
|
|
|
|
+ else
|
|
|
|
|
+ yyreportTree (yystates[yyi]->yysemantics.yyfirstVal, yyindent+2);
|
|
|
|
|
+ }
|
|
|
|
|
+}
|
|
|
|
|
+#endif
|
|
|
|
|
+
|
|
|
|
|
+/*ARGSUSED*/ static YYRESULTTAG
|
|
|
|
|
+yyreportAmbiguity (yySemanticOption* yyx0,
|
|
|
|
|
+ yySemanticOption* yyx1, ASTFXNode* root_node, yyscan_t scanner)
|
|
|
|
|
+{
|
|
|
|
|
+ YYUSE (yyx0);
|
|
|
|
|
+ YYUSE (yyx1);
|
|
|
|
|
+
|
|
|
|
|
+#if YYDEBUG
|
|
|
|
|
+ YYFPRINTF (stderr, "Ambiguity detected.\n");
|
|
|
|
|
+ YYFPRINTF (stderr, "Option 1,\n");
|
|
|
|
|
+ yyreportTree (yyx0, 2);
|
|
|
|
|
+ YYFPRINTF (stderr, "\nOption 2,\n");
|
|
|
|
|
+ yyreportTree (yyx1, 2);
|
|
|
|
|
+ YYFPRINTF (stderr, "\n");
|
|
|
|
|
+#endif
|
|
|
|
|
+
|
|
|
|
|
+ yyerror (root_node, scanner, YY_("syntax is ambiguous"));
|
|
|
|
|
+ return yyabort;
|
|
|
|
|
+}
|
|
|
|
|
+
|
|
|
|
|
+/** Resolve the ambiguity represented in state S, perform the indicated
|
|
|
|
|
+ * actions, and set the semantic value of S. If result != yyok, the chain of
|
|
|
|
|
+ * semantic options in S has been cleared instead or it has been left
|
|
|
|
|
+ * unmodified except that redundant options may have been removed. Regardless
|
|
|
|
|
+ * of whether result = yyok, S has been left with consistent data so that
|
|
|
|
|
+ * yydestroyGLRState can be invoked if necessary. */
|
|
|
|
|
+static YYRESULTTAG
|
|
|
|
|
+yyresolveValue (yyGLRState* yys, yyGLRStack* yystackp, ASTFXNode* root_node, yyscan_t scanner)
|
|
|
|
|
+{
|
|
|
|
|
+ yySemanticOption* yyoptionList = yys->yysemantics.yyfirstVal;
|
|
|
|
|
+ yySemanticOption* yybest = yyoptionList;
|
|
|
|
|
+ yySemanticOption** yypp;
|
|
|
|
|
+ yybool yymerge = yyfalse;
|
|
|
|
|
+ YYSTYPE yysval;
|
|
|
|
|
+ YYRESULTTAG yyflag;
|
|
|
|
|
+
|
|
|
|
|
+ for (yypp = &yyoptionList->yynext; *yypp != YY_NULL; )
|
|
|
|
|
+ {
|
|
|
|
|
+ yySemanticOption* yyp = *yypp;
|
|
|
|
|
+
|
|
|
|
|
+ if (yyidenticalOptions (yybest, yyp))
|
|
|
|
|
+ {
|
|
|
|
|
+ yymergeOptionSets (yybest, yyp);
|
|
|
|
|
+ *yypp = yyp->yynext;
|
|
|
|
|
+ }
|
|
|
|
|
+ else
|
|
|
|
|
+ {
|
|
|
|
|
+ switch (yypreference (yybest, yyp))
|
|
|
|
|
+ {
|
|
|
|
|
+ case 0:
|
|
|
|
|
+ return yyreportAmbiguity (yybest, yyp, root_node, scanner);
|
|
|
|
|
+ break;
|
|
|
|
|
+ case 1:
|
|
|
|
|
+ yymerge = yytrue;
|
|
|
|
|
+ break;
|
|
|
|
|
+ case 2:
|
|
|
|
|
+ break;
|
|
|
|
|
+ case 3:
|
|
|
|
|
+ yybest = yyp;
|
|
|
|
|
+ yymerge = yyfalse;
|
|
|
|
|
+ break;
|
|
|
|
|
+ default:
|
|
|
|
|
+ /* This cannot happen so it is not worth a YYASSERT (yyfalse),
|
|
|
|
|
+ but some compilers complain if the default case is
|
|
|
|
|
+ omitted. */
|
|
|
|
|
+ break;
|
|
|
|
|
+ }
|
|
|
|
|
+ yypp = &yyp->yynext;
|
|
|
|
|
+ }
|
|
|
|
|
+ }
|
|
|
|
|
+
|
|
|
|
|
+ if (yymerge)
|
|
|
|
|
+ {
|
|
|
|
|
+ yySemanticOption* yyp;
|
|
|
|
|
+ int yyprec = yydprec[yybest->yyrule];
|
|
|
|
|
+ yyflag = yyresolveAction (yybest, yystackp, &yysval, root_node, scanner);
|
|
|
|
|
+ if (yyflag == yyok)
|
|
|
|
|
+ for (yyp = yybest->yynext; yyp != YY_NULL; yyp = yyp->yynext)
|
|
|
|
|
+ {
|
|
|
|
|
+ if (yyprec == yydprec[yyp->yyrule])
|
|
|
|
|
+ {
|
|
|
|
|
+ YYSTYPE yysval_other;
|
|
|
|
|
+ yyflag = yyresolveAction (yyp, yystackp, &yysval_other, root_node, scanner);
|
|
|
|
|
+ if (yyflag != yyok)
|
|
|
|
|
+ {
|
|
|
|
|
+ yydestruct ("Cleanup: discarding incompletely merged value for",
|
|
|
|
|
+ yystos[yys->yylrState],
|
|
|
|
|
+ &yysval, root_node, scanner);
|
|
|
|
|
+ break;
|
|
|
|
|
+ }
|
|
|
|
|
+ yyuserMerge (yymerger[yyp->yyrule], &yysval, &yysval_other);
|
|
|
|
|
+ }
|
|
|
|
|
+ }
|
|
|
|
|
+ }
|
|
|
|
|
+ else
|
|
|
|
|
+ yyflag = yyresolveAction (yybest, yystackp, &yysval, root_node, scanner);
|
|
|
|
|
+
|
|
|
|
|
+ if (yyflag == yyok)
|
|
|
|
|
+ {
|
|
|
|
|
+ yys->yyresolved = yytrue;
|
|
|
|
|
+ yys->yysemantics.yysval = yysval;
|
|
|
|
|
+ }
|
|
|
|
|
+ else
|
|
|
|
|
+ yys->yysemantics.yyfirstVal = YY_NULL;
|
|
|
|
|
+ return yyflag;
|
|
|
|
|
+}
|
|
|
|
|
+
|
|
|
|
|
+static YYRESULTTAG
|
|
|
|
|
+yyresolveStack (yyGLRStack* yystackp, ASTFXNode* root_node, yyscan_t scanner)
|
|
|
|
|
+{
|
|
|
|
|
+ if (yystackp->yysplitPoint != YY_NULL)
|
|
|
|
|
+ {
|
|
|
|
|
+ yyGLRState* yys;
|
|
|
|
|
+ int yyn;
|
|
|
|
|
+
|
|
|
|
|
+ for (yyn = 0, yys = yystackp->yytops.yystates[0];
|
|
|
|
|
+ yys != yystackp->yysplitPoint;
|
|
|
|
|
+ yys = yys->yypred, yyn += 1)
|
|
|
|
|
+ continue;
|
|
|
|
|
+ YYCHK (yyresolveStates (yystackp->yytops.yystates[0], yyn, yystackp
|
|
|
|
|
+ , root_node, scanner));
|
|
|
|
|
+ }
|
|
|
|
|
+ return yyok;
|
|
|
|
|
+}
|
|
|
|
|
+
|
|
|
|
|
+static void
|
|
|
|
|
+yycompressStack (yyGLRStack* yystackp)
|
|
|
|
|
+{
|
|
|
|
|
+ yyGLRState* yyp, *yyq, *yyr;
|
|
|
|
|
+
|
|
|
|
|
+ if (yystackp->yytops.yysize != 1 || yystackp->yysplitPoint == YY_NULL)
|
|
|
|
|
+ return;
|
|
|
|
|
+
|
|
|
|
|
+ for (yyp = yystackp->yytops.yystates[0], yyq = yyp->yypred, yyr = YY_NULL;
|
|
|
|
|
+ yyp != yystackp->yysplitPoint;
|
|
|
|
|
+ yyr = yyp, yyp = yyq, yyq = yyp->yypred)
|
|
|
|
|
+ yyp->yypred = yyr;
|
|
|
|
|
+
|
|
|
|
|
+ yystackp->yyspaceLeft += yystackp->yynextFree - yystackp->yyitems;
|
|
|
|
|
+ yystackp->yynextFree = ((yyGLRStackItem*) yystackp->yysplitPoint) + 1;
|
|
|
|
|
+ yystackp->yyspaceLeft -= yystackp->yynextFree - yystackp->yyitems;
|
|
|
|
|
+ yystackp->yysplitPoint = YY_NULL;
|
|
|
|
|
+ yystackp->yylastDeleted = YY_NULL;
|
|
|
|
|
+
|
|
|
|
|
+ while (yyr != YY_NULL)
|
|
|
|
|
+ {
|
|
|
|
|
+ yystackp->yynextFree->yystate = *yyr;
|
|
|
|
|
+ yyr = yyr->yypred;
|
|
|
|
|
+ yystackp->yynextFree->yystate.yypred = &yystackp->yynextFree[-1].yystate;
|
|
|
|
|
+ yystackp->yytops.yystates[0] = &yystackp->yynextFree->yystate;
|
|
|
|
|
+ yystackp->yynextFree += 1;
|
|
|
|
|
+ yystackp->yyspaceLeft -= 1;
|
|
|
|
|
+ }
|
|
|
|
|
+}
|
|
|
|
|
+
|
|
|
|
|
+static YYRESULTTAG
|
|
|
|
|
+yyprocessOneStack (yyGLRStack* yystackp, size_t yyk,
|
|
|
|
|
+ size_t yyposn, ASTFXNode* root_node, yyscan_t scanner)
|
|
|
|
|
+{
|
|
|
|
|
+ int yyaction;
|
|
|
|
|
+ const short int* yyconflicts;
|
|
|
|
|
+ yyRuleNum yyrule;
|
|
|
|
|
+
|
|
|
|
|
+ while (yystackp->yytops.yystates[yyk] != YY_NULL)
|
|
|
|
|
+ {
|
|
|
|
|
+ yyStateNum yystate = yystackp->yytops.yystates[yyk]->yylrState;
|
|
|
|
|
+ YYDPRINTF ((stderr, "Stack %lu Entering state %d\n",
|
|
|
|
|
+ (unsigned long int) yyk, yystate));
|
|
|
|
|
+
|
|
|
|
|
+ YYASSERT (yystate != YYFINAL);
|
|
|
|
|
+
|
|
|
|
|
+ if (yyisDefaultedState (yystate))
|
|
|
|
|
+ {
|
|
|
|
|
+ yyrule = yydefaultAction (yystate);
|
|
|
|
|
+ if (yyrule == 0)
|
|
|
|
|
+ {
|
|
|
|
|
+ YYDPRINTF ((stderr, "Stack %lu dies.\n",
|
|
|
|
|
+ (unsigned long int) yyk));
|
|
|
|
|
+ yymarkStackDeleted (yystackp, yyk);
|
|
|
|
|
+ return yyok;
|
|
|
|
|
+ }
|
|
|
|
|
+ YYCHK (yyglrReduce (yystackp, yyk, yyrule, yyfalse, root_node, scanner));
|
|
|
|
|
+ }
|
|
|
|
|
+ else
|
|
|
|
|
+ {
|
|
|
|
|
+ yySymbol yytoken;
|
|
|
|
|
+ yystackp->yytops.yylookaheadNeeds[yyk] = yytrue;
|
|
|
|
|
+ if (yychar == YYEMPTY)
|
|
|
|
|
+ {
|
|
|
|
|
+ YYDPRINTF ((stderr, "Reading a token: "));
|
|
|
|
|
+ yychar = YYLEX;
|
|
|
|
|
+ }
|
|
|
|
|
+
|
|
|
|
|
+ if (yychar <= YYEOF)
|
|
|
|
|
+ {
|
|
|
|
|
+ yychar = yytoken = YYEOF;
|
|
|
|
|
+ YYDPRINTF ((stderr, "Now at end of input.\n"));
|
|
|
|
|
+ }
|
|
|
|
|
+ else
|
|
|
|
|
+ {
|
|
|
|
|
+ yytoken = YYTRANSLATE (yychar);
|
|
|
|
|
+ YY_SYMBOL_PRINT ("Next token is", yytoken, &yylval, &yylloc);
|
|
|
|
|
+ }
|
|
|
|
|
+
|
|
|
|
|
+ yygetLRActions (yystate, yytoken, &yyaction, &yyconflicts);
|
|
|
|
|
+
|
|
|
|
|
+ while (*yyconflicts != 0)
|
|
|
|
|
+ {
|
|
|
|
|
+ size_t yynewStack = yysplitStack (yystackp, yyk);
|
|
|
|
|
+ YYDPRINTF ((stderr, "Splitting off stack %lu from %lu.\n",
|
|
|
|
|
+ (unsigned long int) yynewStack,
|
|
|
|
|
+ (unsigned long int) yyk));
|
|
|
|
|
+ YYCHK (yyglrReduce (yystackp, yynewStack,
|
|
|
|
|
+ *yyconflicts, yyfalse, root_node, scanner));
|
|
|
|
|
+ YYCHK (yyprocessOneStack (yystackp, yynewStack,
|
|
|
|
|
+ yyposn, root_node, scanner));
|
|
|
|
|
+ yyconflicts += 1;
|
|
|
|
|
+ }
|
|
|
|
|
+
|
|
|
|
|
+ if (yyisShiftAction (yyaction))
|
|
|
|
|
+ break;
|
|
|
|
|
+ else if (yyisErrorAction (yyaction))
|
|
|
|
|
+ {
|
|
|
|
|
+ YYDPRINTF ((stderr, "Stack %lu dies.\n",
|
|
|
|
|
+ (unsigned long int) yyk));
|
|
|
|
|
+ yymarkStackDeleted (yystackp, yyk);
|
|
|
|
|
+ break;
|
|
|
|
|
+ }
|
|
|
|
|
+ else
|
|
|
|
|
+ YYCHK (yyglrReduce (yystackp, yyk, -yyaction,
|
|
|
|
|
+ yyfalse, root_node, scanner));
|
|
|
|
|
+ }
|
|
|
|
|
+ }
|
|
|
|
|
+ return yyok;
|
|
|
|
|
+}
|
|
|
|
|
+
|
|
|
|
|
+/*ARGSUSED*/ static void
|
|
|
|
|
+yyreportSyntaxError (yyGLRStack* yystackp, ASTFXNode* root_node, yyscan_t scanner)
|
|
|
|
|
+{
|
|
|
|
|
+ if (yystackp->yyerrState != 0)
|
|
|
|
|
+ return;
|
|
|
|
|
+#if ! YYERROR_VERBOSE
|
|
|
|
|
+ yyerror (root_node, scanner, YY_("syntax error"));
|
|
|
|
|
+#else
|
|
|
|
|
+ {
|
|
|
|
|
+ yySymbol yytoken = yychar == YYEMPTY ? YYEMPTY : YYTRANSLATE (yychar);
|
|
|
|
|
+ size_t yysize0 = yytnamerr (YY_NULL, yytokenName (yytoken));
|
|
|
|
|
+ size_t yysize = yysize0;
|
|
|
|
|
+ yybool yysize_overflow = yyfalse;
|
|
|
|
|
+ char* yymsg = YY_NULL;
|
|
|
|
|
+ enum { YYERROR_VERBOSE_ARGS_MAXIMUM = 5 };
|
|
|
|
|
+ /* Internationalized format string. */
|
|
|
|
|
+ const char *yyformat = YY_NULL;
|
|
|
|
|
+ /* Arguments of yyformat. */
|
|
|
|
|
+ char const *yyarg[YYERROR_VERBOSE_ARGS_MAXIMUM];
|
|
|
|
|
+ /* Number of reported tokens (one for the "unexpected", one per
|
|
|
|
|
+ "expected"). */
|
|
|
|
|
+ int yycount = 0;
|
|
|
|
|
+
|
|
|
|
|
+ /* There are many possibilities here to consider:
|
|
|
|
|
+ - If this state is a consistent state with a default action, then
|
|
|
|
|
+ the only way this function was invoked is if the default action
|
|
|
|
|
+ is an error action. In that case, don't check for expected
|
|
|
|
|
+ tokens because there are none.
|
|
|
|
|
+ - The only way there can be no lookahead present (in yychar) is if
|
|
|
|
|
+ this state is a consistent state with a default action. Thus,
|
|
|
|
|
+ detecting the absence of a lookahead is sufficient to determine
|
|
|
|
|
+ that there is no unexpected or expected token to report. In that
|
|
|
|
|
+ case, just report a simple "syntax error".
|
|
|
|
|
+ - Don't assume there isn't a lookahead just because this state is a
|
|
|
|
|
+ consistent state with a default action. There might have been a
|
|
|
|
|
+ previous inconsistent state, consistent state with a non-default
|
|
|
|
|
+ action, or user semantic action that manipulated yychar.
|
|
|
|
|
+ - Of course, the expected token list depends on states to have
|
|
|
|
|
+ correct lookahead information, and it depends on the parser not
|
|
|
|
|
+ to perform extra reductions after fetching a lookahead from the
|
|
|
|
|
+ scanner and before detecting a syntax error. Thus, state merging
|
|
|
|
|
+ (from LALR or IELR) and default reductions corrupt the expected
|
|
|
|
|
+ token list. However, the list is correct for canonical LR with
|
|
|
|
|
+ one exception: it will still contain any token that will not be
|
|
|
|
|
+ accepted due to an error action in a later state.
|
|
|
|
|
+ */
|
|
|
|
|
+ if (yytoken != YYEMPTY)
|
|
|
|
|
+ {
|
|
|
|
|
+ int yyn = yypact[yystackp->yytops.yystates[0]->yylrState];
|
|
|
|
|
+ yyarg[yycount++] = yytokenName (yytoken);
|
|
|
|
|
+ if (!yypact_value_is_default (yyn))
|
|
|
|
|
+ {
|
|
|
|
|
+ /* Start YYX at -YYN if negative to avoid negative indexes in
|
|
|
|
|
+ YYCHECK. In other words, skip the first -YYN actions for this
|
|
|
|
|
+ state because they are default actions. */
|
|
|
|
|
+ int yyxbegin = yyn < 0 ? -yyn : 0;
|
|
|
|
|
+ /* Stay within bounds of both yycheck and yytname. */
|
|
|
|
|
+ int yychecklim = YYLAST - yyn + 1;
|
|
|
|
|
+ int yyxend = yychecklim < YYNTOKENS ? yychecklim : YYNTOKENS;
|
|
|
|
|
+ int yyx;
|
|
|
|
|
+ for (yyx = yyxbegin; yyx < yyxend; ++yyx)
|
|
|
|
|
+ if (yycheck[yyx + yyn] == yyx && yyx != YYTERROR
|
|
|
|
|
+ && !yytable_value_is_error (yytable[yyx + yyn]))
|
|
|
|
|
+ {
|
|
|
|
|
+ if (yycount == YYERROR_VERBOSE_ARGS_MAXIMUM)
|
|
|
|
|
+ {
|
|
|
|
|
+ yycount = 1;
|
|
|
|
|
+ yysize = yysize0;
|
|
|
|
|
+ break;
|
|
|
|
|
+ }
|
|
|
|
|
+ yyarg[yycount++] = yytokenName (yyx);
|
|
|
|
|
+ {
|
|
|
|
|
+ size_t yysz = yysize + yytnamerr (YY_NULL, yytokenName (yyx));
|
|
|
|
|
+ yysize_overflow |= yysz < yysize;
|
|
|
|
|
+ yysize = yysz;
|
|
|
|
|
+ }
|
|
|
|
|
+ }
|
|
|
|
|
+ }
|
|
|
|
|
+ }
|
|
|
|
|
+
|
|
|
|
|
+ switch (yycount)
|
|
|
|
|
+ {
|
|
|
|
|
+#define YYCASE_(N, S) \
|
|
|
|
|
+ case N: \
|
|
|
|
|
+ yyformat = S; \
|
|
|
|
|
+ break
|
|
|
|
|
+ YYCASE_(0, YY_("syntax error"));
|
|
|
|
|
+ YYCASE_(1, YY_("syntax error, unexpected %s"));
|
|
|
|
|
+ YYCASE_(2, YY_("syntax error, unexpected %s, expecting %s"));
|
|
|
|
|
+ YYCASE_(3, YY_("syntax error, unexpected %s, expecting %s or %s"));
|
|
|
|
|
+ YYCASE_(4, YY_("syntax error, unexpected %s, expecting %s or %s or %s"));
|
|
|
|
|
+ YYCASE_(5, YY_("syntax error, unexpected %s, expecting %s or %s or %s or %s"));
|
|
|
|
|
+#undef YYCASE_
|
|
|
|
|
+ }
|
|
|
|
|
+
|
|
|
|
|
+ {
|
|
|
|
|
+ size_t yysz = yysize + strlen (yyformat);
|
|
|
|
|
+ yysize_overflow |= yysz < yysize;
|
|
|
|
|
+ yysize = yysz;
|
|
|
|
|
+ }
|
|
|
|
|
+
|
|
|
|
|
+ if (!yysize_overflow)
|
|
|
|
|
+ yymsg = (char *) YYMALLOC (yysize);
|
|
|
|
|
+
|
|
|
|
|
+ if (yymsg)
|
|
|
|
|
+ {
|
|
|
|
|
+ char *yyp = yymsg;
|
|
|
|
|
+ int yyi = 0;
|
|
|
|
|
+ while ((*yyp = *yyformat))
|
|
|
|
|
+ {
|
|
|
|
|
+ if (*yyp == '%' && yyformat[1] == 's' && yyi < yycount)
|
|
|
|
|
+ {
|
|
|
|
|
+ yyp += yytnamerr (yyp, yyarg[yyi++]);
|
|
|
|
|
+ yyformat += 2;
|
|
|
|
|
+ }
|
|
|
|
|
+ else
|
|
|
|
|
+ {
|
|
|
|
|
+ yyp++;
|
|
|
|
|
+ yyformat++;
|
|
|
|
|
+ }
|
|
|
|
|
+ }
|
|
|
|
|
+ yyerror (root_node, scanner, yymsg);
|
|
|
|
|
+ YYFREE (yymsg);
|
|
|
|
|
+ }
|
|
|
|
|
+ else
|
|
|
|
|
+ {
|
|
|
|
|
+ yyerror (root_node, scanner, YY_("syntax error"));
|
|
|
|
|
+ yyMemoryExhausted (yystackp);
|
|
|
|
|
+ }
|
|
|
|
|
+ }
|
|
|
|
|
+#endif /* YYERROR_VERBOSE */
|
|
|
|
|
+ yynerrs += 1;
|
|
|
|
|
+}
|
|
|
|
|
+
|
|
|
|
|
+/* Recover from a syntax error on *YYSTACKP, assuming that *YYSTACKP->YYTOKENP,
|
|
|
|
|
+ yylval, and yylloc are the syntactic category, semantic value, and location
|
|
|
|
|
+ of the lookahead. */
|
|
|
|
|
+/*ARGSUSED*/ static void
|
|
|
|
|
+yyrecoverSyntaxError (yyGLRStack* yystackp, ASTFXNode* root_node, yyscan_t scanner)
|
|
|
|
|
+{
|
|
|
|
|
+ size_t yyk;
|
|
|
|
|
+ int yyj;
|
|
|
|
|
+
|
|
|
|
|
+ if (yystackp->yyerrState == 3)
|
|
|
|
|
+ /* We just shifted the error token and (perhaps) took some
|
|
|
|
|
+ reductions. Skip tokens until we can proceed. */
|
|
|
|
|
+ while (YYID (yytrue))
|
|
|
|
|
+ {
|
|
|
|
|
+ yySymbol yytoken;
|
|
|
|
|
+ if (yychar == YYEOF)
|
|
|
|
|
+ yyFail (yystackp, root_node, scanner, YY_NULL);
|
|
|
|
|
+ if (yychar != YYEMPTY)
|
|
|
|
|
+ {
|
|
|
|
|
+ yytoken = YYTRANSLATE (yychar);
|
|
|
|
|
+ yydestruct ("Error: discarding",
|
|
|
|
|
+ yytoken, &yylval, root_node, scanner);
|
|
|
|
|
+ }
|
|
|
|
|
+ YYDPRINTF ((stderr, "Reading a token: "));
|
|
|
|
|
+ yychar = YYLEX;
|
|
|
|
|
+ if (yychar <= YYEOF)
|
|
|
|
|
+ {
|
|
|
|
|
+ yychar = yytoken = YYEOF;
|
|
|
|
|
+ YYDPRINTF ((stderr, "Now at end of input.\n"));
|
|
|
|
|
+ }
|
|
|
|
|
+ else
|
|
|
|
|
+ {
|
|
|
|
|
+ yytoken = YYTRANSLATE (yychar);
|
|
|
|
|
+ YY_SYMBOL_PRINT ("Next token is", yytoken, &yylval, &yylloc);
|
|
|
|
|
+ }
|
|
|
|
|
+ yyj = yypact[yystackp->yytops.yystates[0]->yylrState];
|
|
|
|
|
+ if (yypact_value_is_default (yyj))
|
|
|
|
|
+ return;
|
|
|
|
|
+ yyj += yytoken;
|
|
|
|
|
+ if (yyj < 0 || YYLAST < yyj || yycheck[yyj] != yytoken)
|
|
|
|
|
+ {
|
|
|
|
|
+ if (yydefact[yystackp->yytops.yystates[0]->yylrState] != 0)
|
|
|
|
|
+ return;
|
|
|
|
|
+ }
|
|
|
|
|
+ else if (! yytable_value_is_error (yytable[yyj]))
|
|
|
|
|
+ return;
|
|
|
|
|
+ }
|
|
|
|
|
+
|
|
|
|
|
+ /* Reduce to one stack. */
|
|
|
|
|
+ for (yyk = 0; yyk < yystackp->yytops.yysize; yyk += 1)
|
|
|
|
|
+ if (yystackp->yytops.yystates[yyk] != YY_NULL)
|
|
|
|
|
+ break;
|
|
|
|
|
+ if (yyk >= yystackp->yytops.yysize)
|
|
|
|
|
+ yyFail (yystackp, root_node, scanner, YY_NULL);
|
|
|
|
|
+ for (yyk += 1; yyk < yystackp->yytops.yysize; yyk += 1)
|
|
|
|
|
+ yymarkStackDeleted (yystackp, yyk);
|
|
|
|
|
+ yyremoveDeletes (yystackp);
|
|
|
|
|
+ yycompressStack (yystackp);
|
|
|
|
|
+
|
|
|
|
|
+ /* Now pop stack until we find a state that shifts the error token. */
|
|
|
|
|
+ yystackp->yyerrState = 3;
|
|
|
|
|
+ while (yystackp->yytops.yystates[0] != YY_NULL)
|
|
|
|
|
+ {
|
|
|
|
|
+ yyGLRState *yys = yystackp->yytops.yystates[0];
|
|
|
|
|
+ yyj = yypact[yys->yylrState];
|
|
|
|
|
+ if (! yypact_value_is_default (yyj))
|
|
|
|
|
+ {
|
|
|
|
|
+ yyj += YYTERROR;
|
|
|
|
|
+ if (0 <= yyj && yyj <= YYLAST && yycheck[yyj] == YYTERROR
|
|
|
|
|
+ && yyisShiftAction (yytable[yyj]))
|
|
|
|
|
+ {
|
|
|
|
|
+ /* Shift the error token. */
|
|
|
|
|
+ YY_SYMBOL_PRINT ("Shifting", yystos[yytable[yyj]],
|
|
|
|
|
+ &yylval, &yyerrloc);
|
|
|
|
|
+ yyglrShift (yystackp, 0, yytable[yyj],
|
|
|
|
|
+ yys->yyposn, &yylval);
|
|
|
|
|
+ yys = yystackp->yytops.yystates[0];
|
|
|
|
|
+ break;
|
|
|
|
|
+ }
|
|
|
|
|
+ }
|
|
|
|
|
+ if (yys->yypred != YY_NULL)
|
|
|
|
|
+ yydestroyGLRState ("Error: popping", yys, root_node, scanner);
|
|
|
|
|
+ yystackp->yytops.yystates[0] = yys->yypred;
|
|
|
|
|
+ yystackp->yynextFree -= 1;
|
|
|
|
|
+ yystackp->yyspaceLeft += 1;
|
|
|
|
|
+ }
|
|
|
|
|
+ if (yystackp->yytops.yystates[0] == YY_NULL)
|
|
|
|
|
+ yyFail (yystackp, root_node, scanner, YY_NULL);
|
|
|
|
|
+}
|
|
|
|
|
+
|
|
|
|
|
+#define YYCHK1(YYE) \
|
|
|
|
|
+ do { \
|
|
|
|
|
+ switch (YYE) { \
|
|
|
|
|
+ case yyok: \
|
|
|
|
|
+ break; \
|
|
|
|
|
+ case yyabort: \
|
|
|
|
|
+ goto yyabortlab; \
|
|
|
|
|
+ case yyaccept: \
|
|
|
|
|
+ goto yyacceptlab; \
|
|
|
|
|
+ case yyerr: \
|
|
|
|
|
+ goto yyuser_error; \
|
|
|
|
|
+ default: \
|
|
|
|
|
+ goto yybuglab; \
|
|
|
|
|
+ } \
|
|
|
|
|
+ } while (YYID (0))
|
|
|
|
|
+
|
|
|
|
|
+
|
|
|
|
|
+/*----------.
|
|
|
|
|
+| yyparse. |
|
|
|
|
|
+`----------*/
|
|
|
|
|
+
|
|
|
|
|
+int
|
|
|
|
|
+yyparse (ASTFXNode* root_node, yyscan_t scanner)
|
|
|
|
|
+{
|
|
|
|
|
+ int yyresult;
|
|
|
|
|
+ yyGLRStack yystack;
|
|
|
|
|
+ yyGLRStack* const yystackp = &yystack;
|
|
|
|
|
+ size_t yyposn;
|
|
|
|
|
+
|
|
|
|
|
+ YYDPRINTF ((stderr, "Starting parse\n"));
|
|
|
|
|
+
|
|
|
|
|
+ yychar = YYEMPTY;
|
|
|
|
|
+ yylval = yyval_default;
|
|
|
|
|
+
|
|
|
|
|
+ if (! yyinitGLRStack (yystackp, YYINITDEPTH))
|
|
|
|
|
+ goto yyexhaustedlab;
|
|
|
|
|
+ switch (YYSETJMP (yystack.yyexception_buffer))
|
|
|
|
|
+ {
|
|
|
|
|
+ case 0: break;
|
|
|
|
|
+ case 1: goto yyabortlab;
|
|
|
|
|
+ case 2: goto yyexhaustedlab;
|
|
|
|
|
+ default: goto yybuglab;
|
|
|
|
|
+ }
|
|
|
|
|
+ yyglrShift (&yystack, 0, 0, 0, &yylval);
|
|
|
|
|
+ yyposn = 0;
|
|
|
|
|
+
|
|
|
|
|
+ while (YYID (yytrue))
|
|
|
|
|
+ {
|
|
|
|
|
+ /* For efficiency, we have two loops, the first of which is
|
|
|
|
|
+ specialized to deterministic operation (single stack, no
|
|
|
|
|
+ potential ambiguity). */
|
|
|
|
|
+ /* Standard mode */
|
|
|
|
|
+ while (YYID (yytrue))
|
|
|
|
|
+ {
|
|
|
|
|
+ yyRuleNum yyrule;
|
|
|
|
|
+ int yyaction;
|
|
|
|
|
+ const short int* yyconflicts;
|
|
|
|
|
+
|
|
|
|
|
+ yyStateNum yystate = yystack.yytops.yystates[0]->yylrState;
|
|
|
|
|
+ YYDPRINTF ((stderr, "Entering state %d\n", yystate));
|
|
|
|
|
+ if (yystate == YYFINAL)
|
|
|
|
|
+ goto yyacceptlab;
|
|
|
|
|
+ if (yyisDefaultedState (yystate))
|
|
|
|
|
+ {
|
|
|
|
|
+ yyrule = yydefaultAction (yystate);
|
|
|
|
|
+ if (yyrule == 0)
|
|
|
|
|
+ {
|
|
|
|
|
+
|
|
|
|
|
+ yyreportSyntaxError (&yystack, root_node, scanner);
|
|
|
|
|
+ goto yyuser_error;
|
|
|
|
|
+ }
|
|
|
|
|
+ YYCHK1 (yyglrReduce (&yystack, 0, yyrule, yytrue, root_node, scanner));
|
|
|
|
|
+ }
|
|
|
|
|
+ else
|
|
|
|
|
+ {
|
|
|
|
|
+ yySymbol yytoken;
|
|
|
|
|
+ if (yychar == YYEMPTY)
|
|
|
|
|
+ {
|
|
|
|
|
+ YYDPRINTF ((stderr, "Reading a token: "));
|
|
|
|
|
+ yychar = YYLEX;
|
|
|
|
|
+ }
|
|
|
|
|
+
|
|
|
|
|
+ if (yychar <= YYEOF)
|
|
|
|
|
+ {
|
|
|
|
|
+ yychar = yytoken = YYEOF;
|
|
|
|
|
+ YYDPRINTF ((stderr, "Now at end of input.\n"));
|
|
|
|
|
+ }
|
|
|
|
|
+ else
|
|
|
|
|
+ {
|
|
|
|
|
+ yytoken = YYTRANSLATE (yychar);
|
|
|
|
|
+ YY_SYMBOL_PRINT ("Next token is", yytoken, &yylval, &yylloc);
|
|
|
|
|
+ }
|
|
|
|
|
+
|
|
|
|
|
+ yygetLRActions (yystate, yytoken, &yyaction, &yyconflicts);
|
|
|
|
|
+ if (*yyconflicts != 0)
|
|
|
|
|
+ break;
|
|
|
|
|
+ if (yyisShiftAction (yyaction))
|
|
|
|
|
+ {
|
|
|
|
|
+ YY_SYMBOL_PRINT ("Shifting", yytoken, &yylval, &yylloc);
|
|
|
|
|
+ yychar = YYEMPTY;
|
|
|
|
|
+ yyposn += 1;
|
|
|
|
|
+ yyglrShift (&yystack, 0, yyaction, yyposn, &yylval);
|
|
|
|
|
+ if (0 < yystack.yyerrState)
|
|
|
|
|
+ yystack.yyerrState -= 1;
|
|
|
|
|
+ }
|
|
|
|
|
+ else if (yyisErrorAction (yyaction))
|
|
|
|
|
+ {
|
|
|
|
|
+
|
|
|
|
|
+ yyreportSyntaxError (&yystack, root_node, scanner);
|
|
|
|
|
+ goto yyuser_error;
|
|
|
|
|
+ }
|
|
|
|
|
+ else
|
|
|
|
|
+ YYCHK1 (yyglrReduce (&yystack, 0, -yyaction, yytrue, root_node, scanner));
|
|
|
|
|
+ }
|
|
|
|
|
+ }
|
|
|
|
|
+
|
|
|
|
|
+ while (YYID (yytrue))
|
|
|
|
|
+ {
|
|
|
|
|
+ yySymbol yytoken_to_shift;
|
|
|
|
|
+ size_t yys;
|
|
|
|
|
+
|
|
|
|
|
+ for (yys = 0; yys < yystack.yytops.yysize; yys += 1)
|
|
|
|
|
+ yystackp->yytops.yylookaheadNeeds[yys] = yychar != YYEMPTY;
|
|
|
|
|
+
|
|
|
|
|
+ /* yyprocessOneStack returns one of three things:
|
|
|
|
|
+
|
|
|
|
|
+ - An error flag. If the caller is yyprocessOneStack, it
|
|
|
|
|
+ immediately returns as well. When the caller is finally
|
|
|
|
|
+ yyparse, it jumps to an error label via YYCHK1.
|
|
|
|
|
+
|
|
|
|
|
+ - yyok, but yyprocessOneStack has invoked yymarkStackDeleted
|
|
|
|
|
+ (&yystack, yys), which sets the top state of yys to NULL. Thus,
|
|
|
|
|
+ yyparse's following invocation of yyremoveDeletes will remove
|
|
|
|
|
+ the stack.
|
|
|
|
|
+
|
|
|
|
|
+ - yyok, when ready to shift a token.
|
|
|
|
|
+
|
|
|
|
|
+ Except in the first case, yyparse will invoke yyremoveDeletes and
|
|
|
|
|
+ then shift the next token onto all remaining stacks. This
|
|
|
|
|
+ synchronization of the shift (that is, after all preceding
|
|
|
|
|
+ reductions on all stacks) helps prevent double destructor calls
|
|
|
|
|
+ on yylval in the event of memory exhaustion. */
|
|
|
|
|
+
|
|
|
|
|
+ for (yys = 0; yys < yystack.yytops.yysize; yys += 1)
|
|
|
|
|
+ YYCHK1 (yyprocessOneStack (&yystack, yys, yyposn, root_node, scanner));
|
|
|
|
|
+ yyremoveDeletes (&yystack);
|
|
|
|
|
+ if (yystack.yytops.yysize == 0)
|
|
|
|
|
+ {
|
|
|
|
|
+ yyundeleteLastStack (&yystack);
|
|
|
|
|
+ if (yystack.yytops.yysize == 0)
|
|
|
|
|
+ yyFail (&yystack, root_node, scanner, YY_("syntax error"));
|
|
|
|
|
+ YYCHK1 (yyresolveStack (&yystack, root_node, scanner));
|
|
|
|
|
+ YYDPRINTF ((stderr, "Returning to deterministic operation.\n"));
|
|
|
|
|
+
|
|
|
|
|
+ yyreportSyntaxError (&yystack, root_node, scanner);
|
|
|
|
|
+ goto yyuser_error;
|
|
|
|
|
+ }
|
|
|
|
|
+
|
|
|
|
|
+ /* If any yyglrShift call fails, it will fail after shifting. Thus,
|
|
|
|
|
+ a copy of yylval will already be on stack 0 in the event of a
|
|
|
|
|
+ failure in the following loop. Thus, yychar is set to YYEMPTY
|
|
|
|
|
+ before the loop to make sure the user destructor for yylval isn't
|
|
|
|
|
+ called twice. */
|
|
|
|
|
+ yytoken_to_shift = YYTRANSLATE (yychar);
|
|
|
|
|
+ yychar = YYEMPTY;
|
|
|
|
|
+ yyposn += 1;
|
|
|
|
|
+ for (yys = 0; yys < yystack.yytops.yysize; yys += 1)
|
|
|
|
|
+ {
|
|
|
|
|
+ int yyaction;
|
|
|
|
|
+ const short int* yyconflicts;
|
|
|
|
|
+ yyStateNum yystate = yystack.yytops.yystates[yys]->yylrState;
|
|
|
|
|
+ yygetLRActions (yystate, yytoken_to_shift, &yyaction,
|
|
|
|
|
+ &yyconflicts);
|
|
|
|
|
+ /* Note that yyconflicts were handled by yyprocessOneStack. */
|
|
|
|
|
+ YYDPRINTF ((stderr, "On stack %lu, ", (unsigned long int) yys));
|
|
|
|
|
+ YY_SYMBOL_PRINT ("shifting", yytoken_to_shift, &yylval, &yylloc);
|
|
|
|
|
+ yyglrShift (&yystack, yys, yyaction, yyposn,
|
|
|
|
|
+ &yylval);
|
|
|
|
|
+ YYDPRINTF ((stderr, "Stack %lu now in state #%d\n",
|
|
|
|
|
+ (unsigned long int) yys,
|
|
|
|
|
+ yystack.yytops.yystates[yys]->yylrState));
|
|
|
|
|
+ }
|
|
|
|
|
+
|
|
|
|
|
+ if (yystack.yytops.yysize == 1)
|
|
|
|
|
+ {
|
|
|
|
|
+ YYCHK1 (yyresolveStack (&yystack, root_node, scanner));
|
|
|
|
|
+ YYDPRINTF ((stderr, "Returning to deterministic operation.\n"));
|
|
|
|
|
+ yycompressStack (&yystack);
|
|
|
|
|
+ break;
|
|
|
|
|
+ }
|
|
|
|
|
+ }
|
|
|
|
|
+ continue;
|
|
|
|
|
+ yyuser_error:
|
|
|
|
|
+ yyrecoverSyntaxError (&yystack, root_node, scanner);
|
|
|
|
|
+ yyposn = yystack.yytops.yystates[0]->yyposn;
|
|
|
|
|
+ }
|
|
|
|
|
+
|
|
|
|
|
+ yyacceptlab:
|
|
|
|
|
+ yyresult = 0;
|
|
|
|
|
+ goto yyreturn;
|
|
|
|
|
+
|
|
|
|
|
+ yybuglab:
|
|
|
|
|
+ YYASSERT (yyfalse);
|
|
|
|
|
+ goto yyabortlab;
|
|
|
|
|
+
|
|
|
|
|
+ yyabortlab:
|
|
|
|
|
+ yyresult = 1;
|
|
|
|
|
+ goto yyreturn;
|
|
|
|
|
+
|
|
|
|
|
+ yyexhaustedlab:
|
|
|
|
|
+ yyerror (root_node, scanner, YY_("memory exhausted"));
|
|
|
|
|
+ yyresult = 2;
|
|
|
|
|
+ goto yyreturn;
|
|
|
|
|
+
|
|
|
|
|
+ yyreturn:
|
|
|
|
|
+ if (yychar != YYEMPTY)
|
|
|
|
|
+ yydestruct ("Cleanup: discarding lookahead",
|
|
|
|
|
+ YYTRANSLATE (yychar), &yylval, root_node, scanner);
|
|
|
|
|
+
|
|
|
|
|
+ /* If the stack is well-formed, pop the stack until it is empty,
|
|
|
|
|
+ destroying its entries as we go. But free the stack regardless
|
|
|
|
|
+ of whether it is well-formed. */
|
|
|
|
|
+ if (yystack.yyitems)
|
|
|
|
|
+ {
|
|
|
|
|
+ yyGLRState** yystates = yystack.yytops.yystates;
|
|
|
|
|
+ if (yystates)
|
|
|
|
|
+ {
|
|
|
|
|
+ size_t yysize = yystack.yytops.yysize;
|
|
|
|
|
+ size_t yyk;
|
|
|
|
|
+ for (yyk = 0; yyk < yysize; yyk += 1)
|
|
|
|
|
+ if (yystates[yyk])
|
|
|
|
|
+ {
|
|
|
|
|
+ while (yystates[yyk])
|
|
|
|
|
+ {
|
|
|
|
|
+ yyGLRState *yys = yystates[yyk];
|
|
|
|
|
+ if (yys->yypred != YY_NULL)
|
|
|
|
|
+ yydestroyGLRState ("Cleanup: popping", yys, root_node, scanner);
|
|
|
|
|
+ yystates[yyk] = yys->yypred;
|
|
|
|
|
+ yystack.yynextFree -= 1;
|
|
|
|
|
+ yystack.yyspaceLeft += 1;
|
|
|
|
|
+ }
|
|
|
|
|
+ break;
|
|
|
|
|
+ }
|
|
|
|
|
+ }
|
|
|
|
|
+ yyfreeGLRStack (&yystack);
|
|
|
|
|
+ }
|
|
|
|
|
+
|
|
|
|
|
+ /* Make sure YYID is used. */
|
|
|
|
|
+ return YYID (yyresult);
|
|
|
|
|
+}
|
|
|
|
|
+
|
|
|
|
|
+/* DEBUGGING ONLY */
|
|
|
|
|
+#if YYDEBUG
|
|
|
|
|
+static void yypstack (yyGLRStack* yystackp, size_t yyk)
|
|
|
|
|
+ __attribute__ ((__unused__));
|
|
|
|
|
+static void yypdumpstack (yyGLRStack* yystackp) __attribute__ ((__unused__));
|
|
|
|
|
+
|
|
|
|
|
+static void
|
|
|
|
|
+yy_yypstack (yyGLRState* yys)
|
|
|
|
|
+{
|
|
|
|
|
+ if (yys->yypred)
|
|
|
|
|
+ {
|
|
|
|
|
+ yy_yypstack (yys->yypred);
|
|
|
|
|
+ YYFPRINTF (stderr, " -> ");
|
|
|
|
|
+ }
|
|
|
|
|
+ YYFPRINTF (stderr, "%d@%lu", yys->yylrState,
|
|
|
|
|
+ (unsigned long int) yys->yyposn);
|
|
|
|
|
+}
|
|
|
|
|
+
|
|
|
|
|
+static void
|
|
|
|
|
+yypstates (yyGLRState* yyst)
|
|
|
|
|
+{
|
|
|
|
|
+ if (yyst == YY_NULL)
|
|
|
|
|
+ YYFPRINTF (stderr, "<null>");
|
|
|
|
|
+ else
|
|
|
|
|
+ yy_yypstack (yyst);
|
|
|
|
|
+ YYFPRINTF (stderr, "\n");
|
|
|
|
|
+}
|
|
|
|
|
+
|
|
|
|
|
+static void
|
|
|
|
|
+yypstack (yyGLRStack* yystackp, size_t yyk)
|
|
|
|
|
+{
|
|
|
|
|
+ yypstates (yystackp->yytops.yystates[yyk]);
|
|
|
|
|
+}
|
|
|
|
|
+
|
|
|
|
|
+#define YYINDEX(YYX) \
|
|
|
|
|
+ ((YYX) == YY_NULL ? -1 : (yyGLRStackItem*) (YYX) - yystackp->yyitems)
|
|
|
|
|
+
|
|
|
|
|
+
|
|
|
|
|
+static void
|
|
|
|
|
+yypdumpstack (yyGLRStack* yystackp)
|
|
|
|
|
+{
|
|
|
|
|
+ yyGLRStackItem* yyp;
|
|
|
|
|
+ size_t yyi;
|
|
|
|
|
+ for (yyp = yystackp->yyitems; yyp < yystackp->yynextFree; yyp += 1)
|
|
|
|
|
+ {
|
|
|
|
|
+ YYFPRINTF (stderr, "%3lu. ",
|
|
|
|
|
+ (unsigned long int) (yyp - yystackp->yyitems));
|
|
|
|
|
+ if (*(yybool *) yyp)
|
|
|
|
|
+ {
|
|
|
|
|
+ YYFPRINTF (stderr, "Res: %d, LR State: %d, posn: %lu, pred: %ld",
|
|
|
|
|
+ yyp->yystate.yyresolved, yyp->yystate.yylrState,
|
|
|
|
|
+ (unsigned long int) yyp->yystate.yyposn,
|
|
|
|
|
+ (long int) YYINDEX (yyp->yystate.yypred));
|
|
|
|
|
+ if (! yyp->yystate.yyresolved)
|
|
|
|
|
+ YYFPRINTF (stderr, ", firstVal: %ld",
|
|
|
|
|
+ (long int) YYINDEX (yyp->yystate
|
|
|
|
|
+ .yysemantics.yyfirstVal));
|
|
|
|
|
+ }
|
|
|
|
|
+ else
|
|
|
|
|
+ {
|
|
|
|
|
+ YYFPRINTF (stderr, "Option. rule: %d, state: %ld, next: %ld",
|
|
|
|
|
+ yyp->yyoption.yyrule - 1,
|
|
|
|
|
+ (long int) YYINDEX (yyp->yyoption.yystate),
|
|
|
|
|
+ (long int) YYINDEX (yyp->yyoption.yynext));
|
|
|
|
|
+ }
|
|
|
|
|
+ YYFPRINTF (stderr, "\n");
|
|
|
|
|
+ }
|
|
|
|
|
+ YYFPRINTF (stderr, "Tops:");
|
|
|
|
|
+ for (yyi = 0; yyi < yystackp->yytops.yysize; yyi += 1)
|
|
|
|
|
+ YYFPRINTF (stderr, "%lu: %ld; ", (unsigned long int) yyi,
|
|
|
|
|
+ (long int) YYINDEX (yystackp->yytops.yystates[yyi]));
|
|
|
|
|
+ YYFPRINTF (stderr, "\n");
|
|
|
|
|
+}
|
|
|
|
|
+#endif
|
|
|
|
|
+/* Line 2575 of glr.c */
|
|
|
|
|
+#line 77 "BsParserFX.y"
|