Add --python switch, skel/skel_py.py template, and tests/cal_py.y test parser
authorNick Downing <downing.nick@gmail.com>
Mon, 10 Sep 2018 04:33:08 +0000 (14:33 +1000)
committerNick Downing <downing.nick@gmail.com>
Mon, 10 Sep 2018 04:33:08 +0000 (14:33 +1000)
14 files changed:
.gitignore
ast.py
bootstrap_pyacc.py
generate_bison.py
generate_py.py [new file with mode: 0644]
lr1dfa.py
skel/skel_bison.c [new file with mode: 0644]
skel/skel_bison.h [new file with mode: 0644]
skel/skel_py.py [new file with mode: 0644]
tests/Makefile
tests/cal.py [new file with mode: 0755]
tests/cal_py.l [new file with mode: 0644]
tests/cal_py.y [new file with mode: 0644]
wrap_repr.py [new file with mode: 0644]

index 8fe40b2..07c2cb7 100644 (file)
@@ -9,6 +9,7 @@ skel/skel_bison.c.orig
 skel/skel_bison.h.orig
 tests/*.c
 tests/*.o
+tests/*.py
 tests/*.xml
 tests/cal
 tests/cal2
diff --git a/ast.py b/ast.py
index 85e212e..770f444 100644 (file)
--- a/ast.py
+++ b/ast.py
@@ -2845,7 +2845,7 @@ class PYACC(element.Element):
         self.repr_serialize(params)
         return 'ast.PYACC.Text.Item({0:s})'.format(', '.join(params))
       # GENERATE END
-      def get_text(self):
+      def get_text(self, python = False):
         raise NotImplementedError
 
     class Escape(Item):
@@ -2894,7 +2894,7 @@ class PYACC(element.Element):
         self.repr_serialize(params)
         return 'ast.PYACC.Text.Escape({0:s})'.format(', '.join(params))
       # GENERATE END
-      def get_text(self):
+      def get_text(self, python = False):
         return chr(self.character)
 
     class StackLocation(Item):
@@ -2956,8 +2956,12 @@ class PYACC(element.Element):
         self.repr_serialize(params)
         return 'ast.PYACC.Text.StackLocation({0:s})'.format(', '.join(params))
       # GENERATE END
-      def get_text(self):
-        return '(yylsp[{0:d}])'.format(self.offset + self.index)
+      def get_text(self, python = False):
+        return (
+          '(yystack[{0:d}][2])'.format(self.offset + self.index - 2)
+        if python else
+          '(yylsp[{0:d}])'.format(self.offset + self.index)
+        )
 
     class StackReference(Item):
       # GENERATE ELEMENT(str tag_name, int offset, int index) BEGIN
@@ -3027,15 +3031,28 @@ class PYACC(element.Element):
         self.repr_serialize(params)
         return 'ast.PYACC.Text.StackReference({0:s})'.format(', '.join(params))
       # GENERATE END
-      def get_text(self):
+      def get_text(self, python = False):
         return (
-          '(yyvsp[{0:d}].{1:s})'.format(
-            self.offset + self.index,
-            self.tag_name
+          (
+            '(yystack[{0:d}][1].{1:s})'.format(
+              self.offset + self.index - 2,
+             self.tag_name
+            )
+          if python else
+            '(yyvsp[{0:d}].{1:s})'.format(
+              self.offset + self.index,
+              self.tag_name
+            )
           )
         if len(self.tag_name) else
-          '(yyvsp[{0:d}])'.format(
-            self.offset + self.index,
+          (
+            '(yystack[{0:d}][1])'.format(
+              self.offset + self.index - 2,
+            )
+          if python else
+            '(yyvsp[{0:d}])'.format(
+              self.offset + self.index,
+            )
           )
         )
 
@@ -3066,7 +3083,7 @@ class PYACC(element.Element):
         self.repr_serialize(params)
         return 'ast.PYACC.Text.ValueLocation({0:s})'.format(', '.join(params))
       # GENERATE END
-      def get_text(self):
+      def get_text(self, python = False):
         return '(yyloc)'
 
     class ValueReference(Item):
@@ -3111,7 +3128,7 @@ class PYACC(element.Element):
         self.repr_serialize(params)
         return 'ast.PYACC.Text.ValueReference({0:s})'.format(', '.join(params))
       # GENERATE END
-      def get_text(self):
+      def get_text(self, python = False):
         return (
           '(yyval.{0:s})'.format(self.tag_name)
         if len(self.tag_name) else
@@ -3144,12 +3161,12 @@ class PYACC(element.Element):
       self.repr_serialize(params)
       return 'ast.PYACC.Text({0:s})'.format(', '.join(params))
     # GENERATE END
-    def get_text(self):
+    def get_text(self, python = False):
       return ''.join(
         [
           j
           for i in range(len(self))
-          for j in [element.get_text(self, i), self[i].get_text()]
+          for j in [element.get_text(self, i), self[i].get_text(python)]
         ] +
         [element.get_text(self, len(self))]
       )
@@ -3593,7 +3610,7 @@ class PYACC(element.Element):
           # lookaheads (list of initial_set, can_be_empty)
           [([], False), ([], True)],
           # ref_data
-          PYACC.Text() # temporary
+          None # temporary
         )
       ],
       # precedences
index 031821e..dc6cfb3 100755 (executable)
@@ -3,6 +3,7 @@
 import ast
 import element
 import generate_bison
+import generate_py
 import getopt
 import os
 import sys
@@ -11,16 +12,17 @@ home_dir = os.path.dirname(sys.argv[0])
 try:
   opts, args = getopt.getopt(
     sys.argv[1:],
-    'do:S:',
-    ['defines=', 'outfile=', 'skel=']
+    'do:pS:',
+    ['defines=', 'outfile=', 'python', 'skel=']
   )
 except getopt.GetoptError as err:
   sys.stderr.write('{0:s}\n'.format(str(err)))
   sys.exit(1)
 
 defines_file = None
-out_file = 'y.tab.c'
-skel_file = os.path.join(home_dir, 'skel/skel_bison.c')
+out_file = None
+python = False
+skel_file = None
 for opt, arg in opts:
   if opt == '-d':
     defines_file = 'y.tab.h'
@@ -28,6 +30,8 @@ for opt, arg in opts:
     defines_file = arg
   elif opt == '-o' or opt == '--outfile':
     out_file = arg
+  elif opt == '-p' or opt == '--python':
+    python = True
   elif opt == '-S' or opt == '--skel':
     skel_file = arg
   else:
@@ -48,4 +52,10 @@ with open(in_file) as fin:
 pyacc.post_process()
 #element.serialize(pyacc, 'b.xml', 'utf-8')
 #pyacc = element.deserialize('b.xml', ast.factory, 'utf-8')
-generate_bison.generate_bison(pyacc, skel_file, out_file, defines_file)
+(generate_py.generate_py if python else generate_bison.generate_bison)(
+  pyacc,
+  home_dir,
+  skel_file,
+  out_file,
+  defines_file
+)
index f159c74..bf7d199 100644 (file)
@@ -1,5 +1,6 @@
 import ast
 import numpy
+import os
 
 escapes = {
   0x07: '\\a',
@@ -13,7 +14,7 @@ escapes = {
   0x5c: '\\\\'
 }
 
-def generate_bison(pyacc, skel_file, out_file, defines_file = None):
+def generate_bison(pyacc, home_dir, skel_file, out_file, defines_file = None):
   _lr1dfa = pyacc.to_lr1().to_lalr1()
 
   # generate translate table for terminal symbols
@@ -68,6 +69,10 @@ def generate_bison(pyacc, skel_file, out_file, defines_file = None):
     translate_nonterminals
   )
 
+  if skel_file is None:
+    skel_file = os.path.join(home_dir, 'skel/skel_bison.c')
+  if out_file is None:
+    out_file = 'y.tab.c'
   def generate(
     skel_file,
     out_file,
@@ -84,7 +89,7 @@ def generate_bison(pyacc, skel_file, out_file, defines_file = None):
             fout.write(
               '''/* GENERATE YYPURE BEGIN */
 #define YYPURE {0:d}
-/* GENERATE YYPURE END */
+/* GENERATE END */
 '''.format(
                 pyacc[0].api_pure
               ).replace('YY', type_prefix if is_header else 'YY').replace('yy', name_prefix if is_header else 'yy') # hack
@@ -92,7 +97,7 @@ def generate_bison(pyacc, skel_file, out_file, defines_file = None):
           elif line == '/* GENERATE TYPEPREFIX */\n':
             fout.write(
               '''/* GENERATE TYPEPREFIX BEGIN */
-{0:s}/* GENERATE TYPEPREFIX END */
+{0:s}/* GENERATE END */
 '''.format(
                   '''/* Substitute the type names.  */
 {0:s}'''.format(
@@ -117,7 +122,7 @@ def generate_bison(pyacc, skel_file, out_file, defines_file = None):
           elif line == '/* GENERATE NAMEPREFIX */\n':
             fout.write(
               '''/* GENERATE NAMEPREFIX BEGIN */
-{0:s}/* GENERATE NAMEPREFIX END */
+{0:s}/* GENERATE END */
 '''.format(
                   '''/* Substitute the variable and function names.  */
 {0:s}'''.format(
@@ -148,7 +153,7 @@ def generate_bison(pyacc, skel_file, out_file, defines_file = None):
           elif line == '/* GENERATE SECTION1TOP */\n':
             fout.write(
               '''/* GENERATE SECTION1TOP BEGIN */
-{0:s}/* GENERATE SECTION1TOP END */
+{0:s}/* GENERATE END */
 '''.format(
                 ''.join(
                   [
@@ -161,7 +166,7 @@ def generate_bison(pyacc, skel_file, out_file, defines_file = None):
           elif line == '/* GENERATE SECTION1BEFOREUNION */\n':
             fout.write(
               '''/* GENERATE SECTION1BEFOREUNION BEGIN */
-{0:s}/* GENERATE SECTION1BEFOREUNION END */
+{0:s}/* GENERATE END */
 '''.format(
                 ''.join(
                   [
@@ -180,7 +185,7 @@ def generate_bison(pyacc, skel_file, out_file, defines_file = None):
 #else
 # define YYERROR_VERBOSE {0:d}
 #endif
-/* GENERATE YYERROR_VERBOSE END */
+/* GENERATE END */
 '''.format(
                 int(pyacc[0].error_verbose)
               )
@@ -188,7 +193,7 @@ def generate_bison(pyacc, skel_file, out_file, defines_file = None):
           elif line == '/* GENERATE SECTION1REQUIRES */\n':
             fout.write(
               '''/* GENERATE SECTION1REQUIRES BEGIN */
-{0:s}/* GENERATE SECTION1REQUIRES END */
+{0:s}/* GENERATE END */
 '''.format(
                 ''.join(
                   [
@@ -207,7 +212,7 @@ def generate_bison(pyacc, skel_file, out_file, defines_file = None):
 #if YYDEBUG
 extern int yydebug;
 #endif
-/* GENERATE YYDEBUG END */
+/* GENERATE END */
 '''.format(
                 int(pyacc[0].debug)
               ).replace('YY', type_prefix).replace('yy', name_prefix) # hack
@@ -215,7 +220,7 @@ extern int yydebug;
           elif line == '/* GENERATE TOKENSEQUAL */\n':
             fout.write(
               '''/* GENERATE TOKENSEQUAL BEGIN */{0:s}
-/* GENERATE TOKENSEQUAL END */
+/* GENERATE END */
 '''.format(
                 ','.join(
                   [
@@ -232,7 +237,7 @@ extern int yydebug;
           elif line == '/* GENERATE TOKENS */\n':
             fout.write(
               '''/* GENERATE TOKENS BEGIN */
-{0:s}/* GENERATE TOKENS END */
+{0:s}/* GENERATE END */
 '''.format(
                 ''.join(
                   [
@@ -253,7 +258,7 @@ extern int yydebug;
 {0:s}# define YYSTYPE_IS_TRIVIAL 1
 # define YYSTYPE_IS_DECLARED 1
 #endif
-/* GENERATE YYSTYPE END */
+/* GENERATE END */
 '''.format(
                   '''union YYSTYPE
 {{
@@ -275,7 +280,7 @@ typedef union YYSTYPE YYSTYPE;
           elif line == '/* GENERATE YYLTYPE */\n':
             fout.write(
               '''/* GENERATE YYLTYPE BEGIN */
-{0:s}/* GENERATE YYLTYPE END */
+{0:s}/* GENERATE END */
 '''.format(
                   '''#if ! defined YYLTYPE && ! defined YYLTYPE_IS_DECLARED
 typedef struct YYLTYPE YYLTYPE;
@@ -297,7 +302,7 @@ struct YYLTYPE
           elif line == '/* GENERATE SECTION1AFTERUNION */\n':
             fout.write(
               '''/* GENERATE SECTION1AFTERUNION BEGIN */
-{0:s}/* GENERATE SECTION1AFTERUNION END */
+{0:s}/* GENERATE END */
 '''.format(
                 ''.join(
                   [
@@ -469,7 +474,7 @@ static const yytype_int16 yyr1[] =
 static const yytype_int16 yyr2[] =
 {{{22:s}
 }};
-/* GENERATE TABLES END */
+/* GENERATE END */
 '''.format(
                 # YYFINAL
                 _bison_lr1dfa.action_pointer.shape[0],
@@ -668,7 +673,7 @@ static const yytype_int16 yyr2[] =
           elif line == '/* GENERATE INITIALACTION */\n':
             fout.write(
               '''/* GENERATE INITIALACTION BEGIN */
-{0:s}/* GENERATE INITIALACTION END */
+{0:s}/* GENERATE END */
 '''.format(
                 ''.join(
                   [
@@ -681,7 +686,7 @@ static const yytype_int16 yyr2[] =
           elif line == '/* GENERATE SECTION2 */\n':
             fout.write(
               '''/* GENERATE SECTION2 BEGIN */
-{0:s}/* GENERATE SECTION2 END */
+{0:s}/* GENERATE END */
 '''.format(
                 '\n'.join(
                   [
@@ -701,7 +706,7 @@ static const yytype_int16 yyr2[] =
           elif line == '/* GENERATE SECTION3 */\n':
             fout.write(
               '''/* GENERATE SECTION3 BEGIN */
-{0:s}/*GENERATE SECTION3 END */
+{0:s}/*GENERATE END */
 '''.format(
                 '' if len(pyacc) < 3 else pyacc[2].get_text()
               )
diff --git a/generate_py.py b/generate_py.py
new file mode 100644 (file)
index 0000000..d396190
--- /dev/null
@@ -0,0 +1,160 @@
+import ast
+import os
+import wrap_repr
+
+def pyacc_text_to_python(pyacc_text, indent):
+  text = pyacc_text.get_text(True) # python
+  text_strip = text.strip()
+  if text_strip[:1] == '{' and text_strip[-1:] == '}':
+    text = text_strip[1:-1]
+  lines = text.rstrip().split('\n')
+  while len(lines) and len(lines[0].lstrip()) == 0:
+    lines = lines[1:]
+  while len(lines) and len(lines[-1].lstrip()) == 0:
+    lines = lines[:-1]
+  if len(lines) == 0:
+    return '' #{0:s}pass\n'.format(indent)
+  for j in range(len(lines[0])):
+    if lines[0][j] != '\t' and lines[0][j] != ' ':
+      break
+  else:
+    print(text)
+    assert False
+  #print('---')
+  #print(text)
+  prefix = lines[0][:j]
+  for j in range(len(lines)):
+    if len(lines[j]) == 0:
+      lines[j] = '\n'
+    else:
+      assert lines[j][:len(prefix)] == prefix
+      lines[j] = '{0:s}{1:s}\n'.format(indent, lines[j][len(prefix):])
+  return ''.join(lines)
+
+def generate_py(pyacc, home_dir, skel_file, out_file, defines_file = None):
+  _lr1dfa = pyacc.to_lr1().to_lalr1()
+  assert _lr1dfa.eof_terminal == 0
+  actions = [i for _, i in _lr1dfa.productions]
+  _lr1dfa.productions = [
+    (_lr1dfa.productions[i][0], 'yy_action{0:d}'.format(i))
+    for i in range(len(_lr1dfa.productions))
+  ]
+
+  if skel_file is None:
+    skel_file = os.path.join(home_dir, 'skel/skel_py.py')
+  if out_file is None:
+    out_file = 'y_tab.py'
+  with open(skel_file, 'r') as fin:
+    with open(out_file, 'w+') as fout:
+      line = fin.readline()
+      while len(line):
+        if line == '# GENERATE SECTION1\n':
+          fout.write(
+            '''# GENERATE SECTION1 BEGIN
+{0:s}{1:s}# GENERATE END
+'''.format(
+              ''.join(
+                [
+                  pyacc_text_to_python(i, '')
+                  for i in pyacc.before_union_text
+                ]
+              ),
+              ''.join(
+                [
+                  pyacc_text_to_python(i, '')
+                  for i in pyacc.after_union_text
+                ]
+              )
+            )
+          )
+        elif line == '# GENERATE TOKENS\n':
+          fout.write(
+            '''# GENERATE TOKENS BEGIN
+{0:s}# GENERATE END
+'''.format(
+              ''.join(
+                [
+                  '{0:s} = {1:d}\n'.format(i.name, i.character_set[0])
+                  for i in pyacc.symbols[3:]
+                  if (
+                    i._type == ast.PYACC.Symbol.TYPE_TERMINAL and
+                    len(i.name)
+                  )
+                ]
+              )
+            )
+          )
+        elif line == '# GENERATE SECTION2\n':
+          fout.write(
+            '''# GENERATE SECTION2 BEGIN
+YYDEBUG = {0:s}
+YYERROR_VERBOSE = {1:s}
+{2:s}{3:s}{4:s}
+# GENERATE END
+'''.format(
+              'True' if pyacc[0].debug else 'False',
+              'True' if pyacc[0].error_verbose else 'False',
+              ''.join(
+                [
+                  '''def yy_action{0:d}():
+  global yyval, yyloc
+{1:s}'''.format(
+                    i,
+                    (
+                      '  pass\n'
+                    if actions[i] is None else
+                      pyacc_text_to_python(actions[i], '  ')
+                    )
+                  )
+                  for i in range(len(actions))
+                ]
+              ),
+              wrap_repr.wrap_repr(
+                'yy_lr1dfa_states = {0:s}'.format(
+                  repr(_lr1dfa.states)
+                ),
+                79
+              ),
+              wrap_repr.wrap_repr(
+                'yy_lr1dfa_productions = {0:s}'.format(
+                  repr(_lr1dfa.productions)
+                ).replace('\'', ''), # hack to change strings to actions
+                79
+              )
+            )
+          )
+        elif line == '  # GENERATE INITIALACTION\n':
+          fout.write(
+            '''  # GENERATE INITIALACTION BEGIN
+{0:s}  # GENERATE END
+'''.format(
+              ''.join(
+                [
+                  plex_text_to_python(i, '  ')
+                  for i in pyacc.initial_action_text
+                ]
+              ).replace('(yyval)', '(yylval').replace('(yyloc)', '(yylloc)') # hack
+            )
+          )
+        elif line == '# GENERATE SECTION3\n':
+          fout.write(
+            '''# GENERATE SECTION3 BEGIN
+{0:s}# GENERATE END
+'''.format(
+              '' if len(pyacc) < 3 else pyacc_text_to_python(pyacc[2], '')
+            )
+          )
+        else:
+          #if file_prefix != 'YY_YY_Y_':
+          #  line = line.replace('YY_YY_Y_', file_prefix)
+          #if is_header:
+          #  if type_prefix != 'YY':
+          #    line = line.replace('YY_YY_Y_', 'YY').replace('YY', type_prefix)
+          #  if name_prefix != 'yy':
+          #    line = line.replace('yy', name_prefix)
+          #elif type_prefix != 'YY':
+          #  line = line.replace('YYDEBUG', type_prefix + 'DEBUG')
+          #  line = line.replace('YYSTYPE_IS_', type_prefix + 'STYPE_IS_')
+          #  line = line.replace('YYLTYPE_IS_', type_prefix + 'LTYPE_IS_')
+          fout.write(line)
+        line = fin.readline()
index c33301f..a5d4086 100644 (file)
--- a/lr1dfa.py
+++ b/lr1dfa.py
@@ -525,28 +525,3 @@ class LR1DFA:
       self.n_terminals,
       self.eof_terminal
     )
-
-def wrap_repr(text, width):
-  lines = []
-  i = 0
-  while i < len(text):
-    j = i + width
-    if j < len(text):
-      j = max(
-        [
-          text.rfind('(', i, j) + 1,
-          text.rfind('[', i, j) + 1,
-          text.rfind('{', i, j) + 1,
-          text.rfind('.', i, j) + 1,
-          text.rfind(')', i, j + 1),
-          text.rfind(']', i, j + 1),
-          text.rfind('}', i, j + 1),
-          text.rfind(' ', i, j + 1),
-        ]
-      )
-      assert j > 0
-    lines.append(text[i:j] + '\n')
-    i = j
-    while text[i:i + 1] == ' ':
-      i += 1
-  return ''.join(lines) 
diff --git a/skel/skel_bison.c b/skel/skel_bison.c
new file mode 100644 (file)
index 0000000..1e8e3bc
--- /dev/null
@@ -0,0 +1,1583 @@
+/* A Bison parser, made by pyacc.  */
+
+/* Bison implementation for Yacc-like parsers in C
+
+   Copyright (C) 1984, 1989-1990, 2000-2015, 2018 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 LALR(1) parser skeleton written by Richard Stallman, by
+   simplifying the original so-called "semantic" parser.  */
+
+/* All symbols defined below should begin with yy or YY, to avoid
+   infringing on user name space.  This should be done even for local
+   variables, as they might otherwise be expanded by user macros.
+   There are some unavoidable exceptions within include files to
+   define necessary library symbols; they are noted "INFRINGES ON
+   USER NAME SPACE" below.  */
+
+/* Identify Bison output.  */
+#define YYBISON 1
+
+/* Bison version.  */
+#define YYBISON_VERSION "3.0.5"
+
+/* Skeleton name.  */
+#define YYSKELETON_NAME "yacc.c"
+
+/* Pure parsers.  */
+/* GENERATE YYPURE */
+
+/* Push parsers.  */
+#define YYPUSH 0
+
+/* Pull parsers.  */
+#define YYPULL 1
+
+/* GENERATE TYPEPREFIX */
+
+/* GENERATE NAMEPREFIX */
+
+/* GENERATE SECTION1TOP */
+
+/* Copy the first part of user declarations.  */
+
+/* GENERATE SECTION1BEFOREUNION */
+
+# ifndef YY_NULLPTR
+#  if defined __cplusplus && 201103L <= __cplusplus
+#   define YY_NULLPTR nullptr
+#  else
+#   define YY_NULLPTR 0
+#  endif
+# endif
+
+/* Enabling verbose error messages.  */
+/* GENERATE YYERROR_VERBOSE */
+
+/* In a future release of Bison, this section will be replaced
+   by #include "skel_bison.h".  */
+#ifndef YY_YY_SKEL_BISON_H_INCLUDED
+# define YY_YY_SKEL_BISON_H_INCLUDED
+/* Debug traces.  */
+/* GENERATE YYDEBUG */
+
+/* Token type.  */
+#ifndef YYTOKENTYPE
+# define YYTOKENTYPE
+  enum yytokentype
+  {
+/* GENERATE TOKENSEQUAL */
+  };
+#endif
+/* GENERATE TOKENS */
+
+/* GENERATE SECTION1REQUIRES */
+
+/* Value type.  */
+/* GENERATE YYSTYPE */
+/* Location type.  */
+/* GENERATE YYLTYPE */
+
+#if !YYPURE
+extern YYSTYPE yylval;
+# if defined YYLTYPE || defined YYLTYPE_IS_DECLARED
+extern YYLTYPE yylloc;
+# endif
+#endif
+
+int yyparse (void);
+
+#endif /* !YY_YY_SKEL_BISON_H_INCLUDED  */
+
+/* Copy the second part of user declarations.  */
+
+/* GENERATE SECTION1AFTERUNION */
+
+#ifdef short
+# undef short
+#endif
+
+#ifdef YYTYPE_UINT8
+typedef YYTYPE_UINT8 yytype_uint8;
+#else
+typedef unsigned char yytype_uint8;
+#endif
+
+#ifdef YYTYPE_INT8
+typedef YYTYPE_INT8 yytype_int8;
+#else
+typedef signed char yytype_int8;
+#endif
+
+#ifdef YYTYPE_UINT16
+typedef YYTYPE_UINT16 yytype_uint16;
+#else
+typedef unsigned short int yytype_uint16;
+#endif
+
+#ifdef YYTYPE_INT16
+typedef YYTYPE_INT16 yytype_int16;
+#else
+typedef short int yytype_int16;
+#endif
+
+#ifndef YYSIZE_T
+# ifdef __SIZE_TYPE__
+#  define YYSIZE_T __SIZE_TYPE__
+# elif defined size_t
+#  define YYSIZE_T size_t
+# elif ! defined YYSIZE_T
+#  include <stddef.h> /* INFRINGES ON USER NAME SPACE */
+#  define YYSIZE_T size_t
+# else
+#  define YYSIZE_T unsigned int
+# endif
+#endif
+
+#define YYSIZE_MAXIMUM ((YYSIZE_T) -1)
+
+#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
+
+#ifndef YY_ATTRIBUTE
+# if (defined __GNUC__                                               \
+      && (2 < __GNUC__ || (__GNUC__ == 2 && 96 <= __GNUC_MINOR__)))  \
+     || defined __SUNPRO_C && 0x5110 <= __SUNPRO_C
+#  define YY_ATTRIBUTE(Spec) __attribute__(Spec)
+# else
+#  define YY_ATTRIBUTE(Spec) /* empty */
+# endif
+#endif
+
+#ifndef YY_ATTRIBUTE_PURE
+# define YY_ATTRIBUTE_PURE   YY_ATTRIBUTE ((__pure__))
+#endif
+
+#ifndef YY_ATTRIBUTE_UNUSED
+# define YY_ATTRIBUTE_UNUSED YY_ATTRIBUTE ((__unused__))
+#endif
+
+#if !defined _Noreturn \
+     && (!defined __STDC_VERSION__ || __STDC_VERSION__ < 201112)
+# if defined _MSC_VER && 1200 <= _MSC_VER
+#  define _Noreturn __declspec (noreturn)
+# else
+#  define _Noreturn YY_ATTRIBUTE ((__noreturn__))
+# 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
+
+#if defined __GNUC__ && 407 <= __GNUC__ * 100 + __GNUC_MINOR__
+/* Suppress an incorrect diagnostic about yylval being uninitialized.  */
+# define YY_IGNORE_MAYBE_UNINITIALIZED_BEGIN \
+    _Pragma ("GCC diagnostic push") \
+    _Pragma ("GCC diagnostic ignored \"-Wuninitialized\"")\
+    _Pragma ("GCC diagnostic ignored \"-Wmaybe-uninitialized\"")
+# define YY_IGNORE_MAYBE_UNINITIALIZED_END \
+    _Pragma ("GCC diagnostic pop")
+#else
+# define YY_INITIAL_VALUE(Value) Value
+#endif
+#ifndef YY_IGNORE_MAYBE_UNINITIALIZED_BEGIN
+# define YY_IGNORE_MAYBE_UNINITIALIZED_BEGIN
+# define YY_IGNORE_MAYBE_UNINITIALIZED_END
+#endif
+#ifndef YY_INITIAL_VALUE
+# define YY_INITIAL_VALUE(Value) /* Nothing. */
+#endif
+
+
+#if ! defined yyoverflow || YYERROR_VERBOSE
+
+/* The parser invokes alloca or malloc; define the necessary symbols.  */
+
+# ifdef YYSTACK_USE_ALLOCA
+#  if YYSTACK_USE_ALLOCA
+#   ifdef __GNUC__
+#    define YYSTACK_ALLOC __builtin_alloca
+#   elif defined __BUILTIN_VA_ARG_INCR
+#    include <alloca.h> /* INFRINGES ON USER NAME SPACE */
+#   elif defined _AIX
+#    define YYSTACK_ALLOC __alloca
+#   elif defined _MSC_VER
+#    include <malloc.h> /* INFRINGES ON USER NAME SPACE */
+#    define alloca _alloca
+#   else
+#    define YYSTACK_ALLOC alloca
+#    if ! defined _ALLOCA_H && ! defined EXIT_SUCCESS
+#     include <stdlib.h> /* INFRINGES ON USER NAME SPACE */
+      /* Use EXIT_SUCCESS as a witness for stdlib.h.  */
+#     ifndef EXIT_SUCCESS
+#      define EXIT_SUCCESS 0
+#     endif
+#    endif
+#   endif
+#  endif
+# endif
+
+# ifdef YYSTACK_ALLOC
+   /* Pacify GCC's 'empty if-body' warning.  */
+#  define YYSTACK_FREE(Ptr) do { /* empty */; } while (0)
+#  ifndef YYSTACK_ALLOC_MAXIMUM
+    /* The OS might guarantee only one guard page at the bottom of the stack,
+       and a page size can be as small as 4096 bytes.  So we cannot safely
+       invoke alloca (N) if N exceeds 4096.  Use a slightly smaller number
+       to allow for a few compiler-allocated temporary stack slots.  */
+#   define YYSTACK_ALLOC_MAXIMUM 4032 /* reasonable circa 2006 */
+#  endif
+# else
+#  define YYSTACK_ALLOC YYMALLOC
+#  define YYSTACK_FREE YYFREE
+#  ifndef YYSTACK_ALLOC_MAXIMUM
+#   define YYSTACK_ALLOC_MAXIMUM YYSIZE_MAXIMUM
+#  endif
+#  if (defined __cplusplus && ! defined EXIT_SUCCESS \
+       && ! ((defined YYMALLOC || defined malloc) \
+             && (defined YYFREE || defined free)))
+#   include <stdlib.h> /* INFRINGES ON USER NAME SPACE */
+#   ifndef EXIT_SUCCESS
+#    define EXIT_SUCCESS 0
+#   endif
+#  endif
+#  ifndef YYMALLOC
+#   define YYMALLOC malloc
+#   if ! defined malloc && ! defined EXIT_SUCCESS
+void *malloc (YYSIZE_T); /* INFRINGES ON USER NAME SPACE */
+#   endif
+#  endif
+#  ifndef YYFREE
+#   define YYFREE free
+#   if ! defined free && ! defined EXIT_SUCCESS
+void free (void *); /* INFRINGES ON USER NAME SPACE */
+#   endif
+#  endif
+# endif
+#endif /* ! defined yyoverflow || YYERROR_VERBOSE */
+
+
+#if (! defined yyoverflow \
+     && (! defined __cplusplus \
+         || (!(defined YYLTYPE || defined YYLTYPE_IS_DECLARED) \
+             && defined YYSTYPE_IS_TRIVIAL && YYSTYPE_IS_TRIVIAL) \
+         || ((defined YYLTYPE || defined YYLTYPE_IS_DECLARED) \
+             && defined YYLTYPE_IS_TRIVIAL && YYLTYPE_IS_TRIVIAL \
+             && defined YYSTYPE_IS_TRIVIAL && YYSTYPE_IS_TRIVIAL)))
+
+/* A type that is properly aligned for any stack member.  */
+union yyalloc
+{
+  yytype_int16 yyss_alloc;
+  YYSTYPE yyvs_alloc;
+# if defined YYLTYPE || defined YYLTYPE_IS_DECLARED
+  YYLTYPE yyls_alloc;
+# endif
+};
+
+/* The size of the maximum gap between one aligned stack and the next.  */
+# define YYSTACK_GAP_MAXIMUM (sizeof (union yyalloc) - 1)
+
+/* The size of an array large to enough to hold all stacks, each with
+   N elements.  */
+# if defined YYLTYPE || defined YYLTYPE_IS_DECLARED
+#  define YYSTACK_BYTES(N) \
+     ((N) * (sizeof (yytype_int16) + sizeof (YYSTYPE) + sizeof (YYLTYPE)) \
+      + 2 * YYSTACK_GAP_MAXIMUM)
+# else
+#  define YYSTACK_BYTES(N) \
+     ((N) * (sizeof (yytype_int16) + sizeof (YYSTYPE)) \
+      + YYSTACK_GAP_MAXIMUM)
+#endif
+
+# define YYCOPY_NEEDED 1
+
+/* Relocate STACK from its old location to the new one.  The
+   local variables YYSIZE and YYSTACKSIZE give the old and new number of
+   elements in the stack, and YYPTR gives the new location of the
+   stack.  Advance YYPTR to a properly aligned location for the next
+   stack.  */
+# define YYSTACK_RELOCATE(Stack_alloc, Stack)                           \
+    do                                                                  \
+      {                                                                 \
+        YYSIZE_T yynewbytes;                                            \
+        YYCOPY (&yyptr->Stack_alloc, Stack, yysize);                    \
+        Stack = &yyptr->Stack_alloc;                                    \
+        yynewbytes = yystacksize * sizeof (*Stack) + YYSTACK_GAP_MAXIMUM; \
+        yyptr += yynewbytes / sizeof (*yyptr);                          \
+      }                                                                 \
+    while (0)
+
+#endif
+
+#if defined YYCOPY_NEEDED && YYCOPY_NEEDED
+/* Copy COUNT objects from SRC to DST.  The source and destination do
+   not overlap.  */
+# ifndef YYCOPY
+#  if defined __GNUC__ && 1 < __GNUC__
+#   define YYCOPY(Dst, Src, Count) \
+      __builtin_memcpy (Dst, Src, (Count) * sizeof (*(Src)))
+#  else
+#   define YYCOPY(Dst, Src, Count)              \
+      do                                        \
+        {                                       \
+          YYSIZE_T yyi;                         \
+          for (yyi = 0; yyi < (Count); yyi++)   \
+            (Dst)[yyi] = (Src)[yyi];            \
+        }                                       \
+      while (0)
+#  endif
+# endif
+#endif /* !YYCOPY_NEEDED */
+
+/* GENERATE TABLES */
+
+#define yyerrok         (yyerrstatus = 0)
+#define yyclearin       (yychar = YYEMPTY)
+#define YYEMPTY         (-2)
+#define YYEOF           0
+
+#define YYACCEPT        goto yyacceptlab
+#define YYABORT         goto yyabortlab
+#define YYERROR         goto yyerrorlab
+
+
+#define YYRECOVERING()  (!!yyerrstatus)
+
+#if YYPURE >= 2 && (defined YYLTYPE || defined YYLTYPE_IS_DECLARED)
+# define YYBACKUP(Token, Value)                                 \
+do                                                              \
+  if (yychar == YYEMPTY)                                        \
+    {                                                           \
+      yychar = (Token);                                         \
+      yylval = (Value);                                         \
+      YYPOPSTACK (yylen);                                       \
+      yystate = *yyssp;                                         \
+      goto yybackup;                                            \
+    }                                                           \
+  else                                                          \
+    {                                                           \
+      yyerror (&yylloc, YY_("syntax error: cannot back up")); \
+      YYERROR;                                                  \
+    }                                                           \
+while (0)
+#else
+# define YYBACKUP(Token, Value)                                 \
+do                                                              \
+  if (yychar == YYEMPTY)                                        \
+    {                                                           \
+      yychar = (Token);                                         \
+      yylval = (Value);                                         \
+      YYPOPSTACK (yylen);                                       \
+      yystate = *yyssp;                                         \
+      goto yybackup;                                            \
+    }                                                           \
+  else                                                          \
+    {                                                           \
+      yyerror (YY_("syntax error: cannot back up")); \
+      YYERROR;                                                  \
+    }                                                           \
+while (0)
+#endif
+
+/* Error token number */
+#define YYTERROR        1
+#define YYERRCODE       256
+
+#if defined YYLTYPE || defined YYLTYPE_IS_DECLARED
+/* YYLLOC_DEFAULT -- Set CURRENT to span from RHS[1] to RHS[N].
+   If N is 0, then set CURRENT to the empty location which ends
+   the previous symbol: RHS[0] (always defined).  */
+
+# ifndef YYLLOC_DEFAULT
+#  define YYLLOC_DEFAULT(Current, Rhs, N)                               \
+    do                                                                  \
+      if (N)                                                            \
+        {                                                               \
+          (Current).first_line   = YYRHSLOC (Rhs, 1).first_line;        \
+          (Current).first_column = YYRHSLOC (Rhs, 1).first_column;      \
+          (Current).last_line    = YYRHSLOC (Rhs, N).last_line;         \
+          (Current).last_column  = YYRHSLOC (Rhs, N).last_column;       \
+        }                                                               \
+      else                                                              \
+        {                                                               \
+          (Current).first_line   = (Current).last_line   =              \
+            YYRHSLOC (Rhs, 0).last_line;                                \
+          (Current).first_column = (Current).last_column =              \
+            YYRHSLOC (Rhs, 0).last_column;                              \
+        }                                                               \
+    while (0)
+# endif
+
+# define YYRHSLOC(Rhs, K) ((Rhs)[K])
+#endif
+
+/* Enable debugging if requested.  */
+#if YYDEBUG
+
+# ifndef YYFPRINTF
+#  include <stdio.h> /* INFRINGES ON USER NAME SPACE */
+#  define YYFPRINTF fprintf
+# endif
+
+# define YYDPRINTF(Args)                        \
+do {                                            \
+  if (yydebug)                                  \
+    YYFPRINTF Args;                             \
+} while (0)
+
+/* YY_LOCATION_PRINT -- Print the location on the stream.
+   This macro was not mandated originally: define only if we know
+   we won't break user code: when these are the locations we know.  */
+
+#ifndef YY_LOCATION_PRINT
+# if (defined YYLTYPE || defined YYLTYPE_IS_DECLARED) \
+     && defined YYLTYPE_IS_TRIVIAL && YYLTYPE_IS_TRIVIAL
+
+/* Print *YYLOCP on YYO.  Private, do not rely on its existence. */
+
+YY_ATTRIBUTE_UNUSED
+static unsigned
+yy_location_print_ (FILE *yyo, YYLTYPE const * const yylocp)
+{
+  unsigned res = 0;
+  int end_col = 0 != yylocp->last_column ? yylocp->last_column - 1 : 0;
+  if (0 <= yylocp->first_line)
+    {
+      res += YYFPRINTF (yyo, "%d", yylocp->first_line);
+      if (0 <= yylocp->first_column)
+        res += YYFPRINTF (yyo, ".%d", yylocp->first_column);
+    }
+  if (0 <= yylocp->last_line)
+    {
+      if (yylocp->first_line < yylocp->last_line)
+        {
+          res += YYFPRINTF (yyo, "-%d", yylocp->last_line);
+          if (0 <= end_col)
+            res += YYFPRINTF (yyo, ".%d", end_col);
+        }
+      else if (0 <= end_col && yylocp->first_column < end_col)
+        res += YYFPRINTF (yyo, "-%d", end_col);
+    }
+  return res;
+ }
+
+#  define YY_LOCATION_PRINT(File, Loc)          \
+  yy_location_print_ (File, &(Loc))
+
+# else
+#  define YY_LOCATION_PRINT(File, Loc) ((void) 0)
+# endif
+#endif
+
+# if defined YYLTYPE || defined YYLTYPE_IS_DECLARED
+#  define YY_SYMBOL_PRINT(Title, Type, Value, Location)                   \
+do {                                                                      \
+  if (yydebug)                                                            \
+    {                                                                     \
+      YYFPRINTF (stderr, "%s ", Title);                                   \
+      yy_symbol_print (stderr,                                            \
+                  Type, Value, Location); \
+      YYFPRINTF (stderr, "\n");                                           \
+    }                                                                     \
+} while (0)
+#
+# else
+#  define YY_SYMBOL_PRINT(Title, Type, Value, Location)                   \
+do {                                                                      \
+  if (yydebug)                                                            \
+    {                                                                     \
+      YYFPRINTF (stderr, "%s ", Title);                                   \
+      yy_symbol_print (stderr,                                            \
+                  Type, Value); \
+      YYFPRINTF (stderr, "\n");                                           \
+    }                                                                     \
+} while (0)
+# endif
+
+
+/*----------------------------------------.
+| Print this symbol's value on YYOUTPUT.  |
+`----------------------------------------*/
+
+# if defined YYLTYPE || defined YYLTYPE_IS_DECLARED
+static void
+yy_symbol_value_print (FILE *yyoutput, int yytype, YYSTYPE const * const yyvaluep, YYLTYPE const * const yylocationp)
+{
+  FILE *yyo = yyoutput;
+  YYUSE (yyo);
+  YYUSE (yylocationp);
+  if (!yyvaluep)
+    return;
+#  ifdef YYPRINT
+  if (yytype < YYNTOKENS)
+    YYPRINT (yyoutput, yytoknum[yytype], *yyvaluep);
+#  endif
+  YYUSE (yytype);
+}
+# else
+static void
+yy_symbol_value_print (FILE *yyoutput, int yytype, YYSTYPE const * const yyvaluep)
+{
+  FILE *yyo = yyoutput;
+  YYUSE (yyo);
+  if (!yyvaluep)
+    return;
+#  ifdef YYPRINT
+  if (yytype < YYNTOKENS)
+    YYPRINT (yyoutput, yytoknum[yytype], *yyvaluep);
+#  endif
+  YYUSE (yytype);
+}
+# endif
+
+
+/*--------------------------------.
+| Print this symbol on YYOUTPUT.  |
+`--------------------------------*/
+
+# if defined YYLTYPE || defined YYLTYPE_IS_DECLARED
+static void
+yy_symbol_print (FILE *yyoutput, int yytype, YYSTYPE const * const yyvaluep, YYLTYPE const * const yylocationp)
+{
+  YYFPRINTF (yyoutput, "%s %s (",
+             yytype < YYNTOKENS ? "token" : "nterm", yytname[yytype]);
+
+  YY_LOCATION_PRINT (yyoutput, *yylocationp);
+  YYFPRINTF (yyoutput, ": ");
+  yy_symbol_value_print (yyoutput, yytype, yyvaluep, yylocationp);
+  YYFPRINTF (yyoutput, ")");
+}
+# else
+static void
+yy_symbol_print (FILE *yyoutput, int yytype, YYSTYPE const * const yyvaluep)
+{
+  YYFPRINTF (yyoutput, "%s %s (",
+             yytype < YYNTOKENS ? "token" : "nterm", yytname[yytype]);
+
+  yy_symbol_value_print (yyoutput, yytype, yyvaluep);
+  YYFPRINTF (yyoutput, ")");
+}
+# endif
+
+/*------------------------------------------------------------------.
+| yy_stack_print -- Print the state stack from its BOTTOM up to its |
+| TOP (included).                                                   |
+`------------------------------------------------------------------*/
+
+static void
+yy_stack_print (yytype_int16 *yybottom, yytype_int16 *yytop)
+{
+  YYFPRINTF (stderr, "Stack now");
+  for (; yybottom <= yytop; yybottom++)
+    {
+      int yybot = *yybottom;
+      YYFPRINTF (stderr, " %d", yybot);
+    }
+  YYFPRINTF (stderr, "\n");
+}
+
+# define YY_STACK_PRINT(Bottom, Top)                            \
+do {                                                            \
+  if (yydebug)                                                  \
+    yy_stack_print ((Bottom), (Top));                           \
+} while (0)
+
+
+/*------------------------------------------------.
+| Report that the YYRULE is going to be reduced.  |
+`------------------------------------------------*/
+
+# if defined YYLTYPE || defined YYLTYPE_IS_DECLARED
+static void
+yy_reduce_print (yytype_int16 *yyssp, YYSTYPE *yyvsp, YYLTYPE *yylsp, int yyrule)
+{
+  unsigned long int yylno = yyrline[yyrule];
+  int yynrhs = yyr2[yyrule];
+  int yyi;
+  YYFPRINTF (stderr, "Reducing stack by rule %d (line %lu):\n",
+             yyrule - 1, yylno);
+  /* The symbols being reduced.  */
+  for (yyi = 0; yyi < yynrhs; yyi++)
+    {
+      YYFPRINTF (stderr, "   $%d = ", yyi + 1);
+      yy_symbol_print (stderr,
+                       yystos[yyssp[yyi + 1 - yynrhs]],
+                       &(yyvsp[(yyi + 1) - (yynrhs)])
+                       , &(yylsp[(yyi + 1) - (yynrhs)])                       );
+      YYFPRINTF (stderr, "\n");
+    }
+}
+
+#  define YY_REDUCE_PRINT(Rule)         \
+do {                                    \
+  if (yydebug)                          \
+    yy_reduce_print (yyssp, yyvsp, yylsp, Rule); \
+} while (0)
+# else
+static void
+yy_reduce_print (yytype_int16 *yyssp, YYSTYPE *yyvsp, int yyrule)
+{
+  unsigned long int yylno = yyrline[yyrule];
+  int yynrhs = yyr2[yyrule];
+  int yyi;
+  YYFPRINTF (stderr, "Reducing stack by rule %d (line %lu):\n",
+             yyrule - 1, yylno);
+  /* The symbols being reduced.  */
+  for (yyi = 0; yyi < yynrhs; yyi++)
+    {
+      YYFPRINTF (stderr, "   $%d = ", yyi + 1);
+      yy_symbol_print (stderr,
+                       yystos[yyssp[yyi + 1 - yynrhs]],
+                       &(yyvsp[(yyi + 1) - (yynrhs)])
+                                              );
+      YYFPRINTF (stderr, "\n");
+    }
+}
+
+#  define YY_REDUCE_PRINT(Rule)         \
+do {                                    \
+  if (yydebug)                          \
+    yy_reduce_print (yyssp, yyvsp, Rule); \
+} while (0)
+# endif
+
+/* 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)
+# define YY_STACK_PRINT(Bottom, Top)
+# define YY_REDUCE_PRINT(Rule)
+#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
+   YYSTACK_ALLOC_MAXIMUM < YYSTACK_BYTES (YYMAXDEPTH)
+   evaluated with infinite-precision integer arithmetic.  */
+
+#ifndef YYMAXDEPTH
+# define YYMAXDEPTH 10000
+#endif
+
+
+#if YYERROR_VERBOSE
+
+# ifndef yystrlen
+#  if defined __GLIBC__ && defined _STRING_H
+#   define yystrlen strlen
+#  else
+/* Return the length of YYSTR.  */
+static YYSIZE_T
+yystrlen (const char *yystr)
+{
+  YYSIZE_T yylen;
+  for (yylen = 0; yystr[yylen]; yylen++)
+    continue;
+  return yylen;
+}
+#  endif
+# endif
+
+# 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 YYSIZE_T
+yytnamerr (char *yyres, const char *yystr)
+{
+  if (*yystr == '"')
+    {
+      YYSIZE_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 yystrlen (yystr);
+
+  return yystpcpy (yyres, yystr) - yyres;
+}
+# endif
+
+/* Copy into *YYMSG, which is of size *YYMSG_ALLOC, an error message
+   about the unexpected token YYTOKEN for the state stack whose top is
+   YYSSP.
+
+   Return 0 if *YYMSG was successfully written.  Return 1 if *YYMSG is
+   not large enough to hold the message.  In that case, also set
+   *YYMSG_ALLOC to the required number of bytes.  Return 2 if the
+   required number of bytes is too large to store.  */
+static int
+yysyntax_error (YYSIZE_T *yymsg_alloc, char **yymsg,
+                yytype_int16 *yyssp, int yytoken)
+{
+  YYSIZE_T yysize0 = yytnamerr (YY_NULLPTR, yytname[yytoken]);
+  YYSIZE_T yysize = yysize0;
+  enum { YYERROR_VERBOSE_ARGS_MAXIMUM = 5 };
+  /* Internationalized format string. */
+  const char *yyformat = YY_NULLPTR;
+  /* 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[*yyssp];
+      yyarg[yycount++] = yytname[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++] = yytname[yyx];
+                {
+                  YYSIZE_T yysize1 = yysize + yytnamerr (YY_NULLPTR, yytname[yyx]);
+                  if (! (yysize <= yysize1
+                         && yysize1 <= YYSTACK_ALLOC_MAXIMUM))
+                    return 2;
+                  yysize = yysize1;
+                }
+              }
+        }
+    }
+
+  switch (yycount)
+    {
+# define YYCASE_(N, S)                      \
+      case N:                               \
+        yyformat = S;                       \
+      break
+    default: /* Avoid compiler warnings. */
+      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_
+    }
+
+  {
+    YYSIZE_T yysize1 = yysize + yystrlen (yyformat);
+    if (! (yysize <= yysize1 && yysize1 <= YYSTACK_ALLOC_MAXIMUM))
+      return 2;
+    yysize = yysize1;
+  }
+
+  if (*yymsg_alloc < yysize)
+    {
+      *yymsg_alloc = 2 * yysize;
+      if (! (yysize <= *yymsg_alloc
+             && *yymsg_alloc <= YYSTACK_ALLOC_MAXIMUM))
+        *yymsg_alloc = YYSTACK_ALLOC_MAXIMUM;
+      return 1;
+    }
+
+  /* Avoid sprintf, as that infringes on the user's name space.
+     Don't have undefined behavior even if the translation
+     produced a string with the wrong number of "%s"s.  */
+  {
+    char *yyp = *yymsg;
+    int yyi = 0;
+    while ((*yyp = *yyformat) != '\0')
+      if (*yyp == '%' && yyformat[1] == 's' && yyi < yycount)
+        {
+          yyp += yytnamerr (yyp, yyarg[yyi++]);
+          yyformat += 2;
+        }
+      else
+        {
+          yyp++;
+          yyformat++;
+        }
+  }
+  return 0;
+}
+#endif /* YYERROR_VERBOSE */
+
+/*-----------------------------------------------.
+| Release the memory associated to this symbol.  |
+`-----------------------------------------------*/
+
+#if defined YYLTYPE || defined YYLTYPE_IS_DECLARED
+static void
+yydestruct (const char *yymsg, int yytype, YYSTYPE *yyvaluep, YYLTYPE *yylocationp)
+{
+  YYUSE (yyvaluep);
+  YYUSE (yylocationp);
+  if (!yymsg)
+    yymsg = "Deleting";
+  YY_SYMBOL_PRINT (yymsg, yytype, yyvaluep, yylocationp);
+
+  YY_IGNORE_MAYBE_UNINITIALIZED_BEGIN
+  YYUSE (yytype);
+  YY_IGNORE_MAYBE_UNINITIALIZED_END
+}
+#else
+static void
+yydestruct (const char *yymsg, int yytype, YYSTYPE *yyvaluep)
+{
+  YYUSE (yyvaluep);
+  if (!yymsg)
+    yymsg = "Deleting";
+  YY_SYMBOL_PRINT (yymsg, yytype, yyvaluep, yylocationp);
+
+  YY_IGNORE_MAYBE_UNINITIALIZED_BEGIN
+  YYUSE (yytype);
+  YY_IGNORE_MAYBE_UNINITIALIZED_END
+}
+#endif
+
+#if !YYPURE
+/* The lookahead symbol.  */
+int yychar;
+
+/* The semantic value of the lookahead symbol.  */
+YYSTYPE yylval;
+# if defined YYLTYPE || defined YYLTYPE_IS_DECLARED
+/* Location data for the lookahead symbol.  */
+YYLTYPE yylloc
+#  if defined YYLTYPE_IS_TRIVIAL && YYLTYPE_IS_TRIVIAL
+  = { 1, 1, 1, 1 }
+#  endif
+;
+# endif
+/* Number of syntax errors so far.  */
+int yynerrs;
+#endif
+
+/*----------.
+| yyparse.  |
+`----------*/
+
+int
+yyparse (void)
+{
+#if YYPURE
+    /* The lookahead symbol.  */
+    int yychar;
+
+    /* The semantic value of the lookahead symbol.  */
+    /* Default value used for initialization, for pacifying older GCCs
+       or non-GCC compilers.  */
+    YY_INITIAL_VALUE (static YYSTYPE yyval_default;)
+    YYSTYPE yylval YY_INITIAL_VALUE (= yyval_default);
+# if defined YYLTYPE || defined YYLTYPE_IS_DECLARED
+    /* Location data for the lookahead symbol.  */
+    YYLTYPE yylloc
+#  if defined YYLTYPE_IS_TRIVIAL && YYLTYPE_IS_TRIVIAL
+      = { 1, 1, 1, 1 }
+#  endif
+    ;
+# endif
+    /* Number of syntax errors so far.  */
+    int yynerrs;
+#endif
+
+    int yystate;
+    /* Number of tokens to shift before error messages enabled.  */
+    int yyerrstatus;
+
+    /* The stacks and their tools:
+       'yyss': related to states.
+       'yyvs': related to semantic values.
+       'yyls': related to locations.
+
+       Refer to the stacks through separate pointers, to allow yyoverflow
+       to reallocate them elsewhere.  */
+
+    /* The state stack.  */
+    yytype_int16 yyssa[YYINITDEPTH];
+    yytype_int16 *yyss;
+    yytype_int16 *yyssp;
+
+    /* The semantic value stack.  */
+    YYSTYPE yyvsa[YYINITDEPTH];
+    YYSTYPE *yyvs;
+    YYSTYPE *yyvsp;
+
+#if defined YYLTYPE || defined YYLTYPE_IS_DECLARED
+    /* The location stack.  */
+    YYLTYPE yylsa[YYINITDEPTH];
+    YYLTYPE *yyls;
+    YYLTYPE *yylsp;
+
+    /* The locations where the error started and ended.  */
+    YYLTYPE yyerror_range[3];
+#endif
+    YYSIZE_T yystacksize;
+
+  int yyn;
+  int yyresult;
+  /* Lookahead token as an internal (translated) token number.  */
+  int yytoken = 0;
+  /* The variables used to return semantic value and location from the
+     action routines.  */
+  YYSTYPE yyval;
+#if defined YYLTYPE || defined YYLTYPE_IS_DECLARED
+  YYLTYPE yyloc;
+#endif
+
+#if YYERROR_VERBOSE
+  /* Buffer for error messages, and its allocated size.  */
+  char yymsgbuf[128];
+  char *yymsg = yymsgbuf;
+  YYSIZE_T yymsg_alloc = sizeof yymsgbuf;
+#endif
+
+#if defined YYLTYPE || defined YYLTYPE_IS_DECLARED
+# define YYPOPSTACK(N)  (yyvsp -= (N), yyssp -= (N), yylsp -= (N))
+#else
+# define YYPOPSTACK(N)  (yyvsp -= (N), yyssp -= (N))
+#endif
+
+  /* The number of symbols on the RHS of the reduced rule.
+     Keep to zero when no symbol should be popped.  */
+  int yylen = 0;
+
+  yyssp = yyss = yyssa;
+  yyvsp = yyvs = yyvsa;
+#if defined YYLTYPE || defined YYLTYPE_IS_DECLARED
+  yylsp = yyls = yylsa;
+#endif 
+  yystacksize = YYINITDEPTH;
+
+  YYDPRINTF ((stderr, "Starting parse\n"));
+
+  yystate = 0;
+  yyerrstatus = 0;
+  yynerrs = 0;
+  yychar = YYEMPTY; /* Cause a token to be read.  */
+
+/* User initialization code.  */
+/* GENERATE INITIALACTION */
+  yyvsp[0] = yylval;
+#if defined YYLTYPE || defined YYLTYPE_IS_DECLARED
+  yylsp[0] = yylloc;
+#endif
+  goto yysetstate;
+
+/*------------------------------------------------------------.
+| yynewstate -- Push a new state, which is found in yystate.  |
+`------------------------------------------------------------*/
+ yynewstate:
+  /* In all cases, when you get here, the value and location stacks
+     have just been pushed.  So pushing a state here evens the stacks.  */
+  yyssp++;
+
+ yysetstate:
+  *yyssp = yystate;
+
+  if (yyss + yystacksize - 1 <= yyssp)
+    {
+      /* Get the current used size of the three stacks, in elements.  */
+      YYSIZE_T yysize = yyssp - yyss + 1;
+
+#ifdef yyoverflow
+      {
+        /* Give user a chance to reallocate the stack.  Use copies of
+           these so that the &'s don't force the real ones into
+           memory.  */
+        YYSTYPE *yyvs1 = yyvs;
+        yytype_int16 *yyss1 = yyss;
+#if defined YYLTYPE || defined YYLTYPE_IS_DECLARED
+        YYLTYPE *yyls1 = yyls;
+#endif
+
+        /* Each stack pointer address is followed by the size of the
+           data in use in that stack, in bytes.  This used to be a
+           conditional around just the two extra args, but that might
+           be undefined if yyoverflow is a macro.  */
+#if defined YYLTYPE || defined YYLTYPE_IS_DECLARED
+        yyoverflow (YY_("memory exhausted"),
+                    &yyss1, yysize * sizeof (*yyssp),
+                    &yyvs1, yysize * sizeof (*yyvsp),
+                    &yyls1, yysize * sizeof (*yylsp),
+                    &yystacksize);
+
+        yyls = yyls1;
+#else
+        yyoverflow (YY_("memory exhausted"),
+                    &yyss1, yysize * sizeof (*yyssp),
+                    &yyvs1, yysize * sizeof (*yyvsp),
+                    &yystacksize);
+
+#endif
+        yyss = yyss1;
+        yyvs = yyvs1;
+      }
+#else /* no yyoverflow */
+# ifndef YYSTACK_RELOCATE
+      goto yyexhaustedlab;
+# else
+      /* Extend the stack our own way.  */
+      if (YYMAXDEPTH <= yystacksize)
+        goto yyexhaustedlab;
+      yystacksize *= 2;
+      if (YYMAXDEPTH < yystacksize)
+        yystacksize = YYMAXDEPTH;
+
+      {
+        yytype_int16 *yyss1 = yyss;
+        union yyalloc *yyptr =
+          (union yyalloc *) YYSTACK_ALLOC (YYSTACK_BYTES (yystacksize));
+        if (! yyptr)
+          goto yyexhaustedlab;
+        YYSTACK_RELOCATE (yyss_alloc, yyss);
+        YYSTACK_RELOCATE (yyvs_alloc, yyvs);
+#if defined YYLTYPE || defined YYLTYPE_IS_DECLARED
+        YYSTACK_RELOCATE (yyls_alloc, yyls);
+#endif
+#  undef YYSTACK_RELOCATE
+        if (yyss1 != yyssa)
+          YYSTACK_FREE (yyss1);
+      }
+# endif
+#endif /* no yyoverflow */
+
+      yyssp = yyss + yysize - 1;
+      yyvsp = yyvs + yysize - 1;
+#if defined YYLTYPE || defined YYLTYPE_IS_DECLARED
+      yylsp = yyls + yysize - 1;
+#endif
+
+      YYDPRINTF ((stderr, "Stack size increased to %lu\n",
+                  (unsigned long int) yystacksize));
+
+      if (yyss + yystacksize - 1 <= yyssp)
+        YYABORT;
+    }
+
+  YYDPRINTF ((stderr, "Entering state %d\n", yystate));
+
+  if (yystate == YYFINAL)
+    YYACCEPT;
+
+  goto yybackup;
+
+/*-----------.
+| yybackup.  |
+`-----------*/
+yybackup:
+
+  /* Do appropriate processing given the current state.  Read a
+     lookahead token if we need one and don't already have one.  */
+
+  /* First try to decide what to do without reference to lookahead token.  */
+  yyn = yypact[yystate];
+  if (yypact_value_is_default (yyn))
+    goto yydefault;
+
+  /* Not known => get a lookahead token if don't already have one.  */
+
+  /* YYCHAR is either YYEMPTY or YYEOF or a valid lookahead symbol.  */
+  if (yychar == YYEMPTY)
+    {
+      YYDPRINTF ((stderr, "Reading a token: "));
+#if YYPURE
+# if defined YYLTYPE || defined YYLTYPE_IS_DECLARED
+      yychar = yylex (&yylval, &yylloc);
+# else
+      yychar = yylex (&yylval);
+# endif
+#else
+      yychar = yylex ();
+#endif
+    }
+
+  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);
+    }
+
+  /* If the proper action on seeing token YYTOKEN is to reduce or to
+     detect an error, take that action.  */
+  yyn += yytoken;
+  if (yyn < 0 || YYLAST < yyn || yycheck[yyn] != yytoken)
+    goto yydefault;
+  yyn = yytable[yyn];
+  if (yyn <= 0)
+    {
+      if (yytable_value_is_error (yyn))
+        goto yyerrlab;
+      yyn = -yyn;
+      goto yyreduce;
+    }
+
+  /* Count tokens shifted since error; after three, turn off error
+     status.  */
+  if (yyerrstatus)
+    yyerrstatus--;
+
+  /* Shift the lookahead token.  */
+  YY_SYMBOL_PRINT ("Shifting", yytoken, &yylval, &yylloc);
+
+  /* Discard the shifted token.  */
+  yychar = YYEMPTY;
+
+  yystate = yyn;
+  YY_IGNORE_MAYBE_UNINITIALIZED_BEGIN
+  *++yyvsp = yylval;
+  YY_IGNORE_MAYBE_UNINITIALIZED_END
+#if defined YYLTYPE || defined YYLTYPE_IS_DECLARED
+  *++yylsp = yylloc;
+#endif
+  goto yynewstate;
+
+
+/*-----------------------------------------------------------.
+| yydefault -- do the default action for the current state.  |
+`-----------------------------------------------------------*/
+yydefault:
+  yyn = yydefact[yystate];
+  if (yyn == 0)
+    goto yyerrlab;
+  goto yyreduce;
+
+
+/*-----------------------------.
+| yyreduce -- Do a reduction.  |
+`-----------------------------*/
+yyreduce:
+  /* yyn is the number of a rule to reduce with.  */
+  yylen = yyr2[yyn];
+
+  /* If YYLEN is nonzero, implement the default value of the action:
+     '$$ = $1'.
+
+     Otherwise, the following line sets YYVAL to garbage.
+     This behavior is undocumented and Bison
+     users should not rely upon it.  Assigning to YYVAL
+     unconditionally makes the parser a bit smaller, and it avoids a
+     GCC warning that YYVAL may be used uninitialized.  */
+  yyval = yyvsp[1-yylen];
+
+#if defined YYLTYPE || defined YYLTYPE_IS_DECLARED
+  /* Default location.  */
+  YYLLOC_DEFAULT (yyloc, (yylsp - yylen), yylen);
+#endif
+  YY_REDUCE_PRINT (yyn);
+  switch (yyn)
+    {
+/* GENERATE SECTION2 */
+
+      default: break;
+    }
+  /* User semantic actions sometimes alter yychar, and that requires
+     that yytoken be updated with the new translation.  We take the
+     approach of translating immediately before every use of yytoken.
+     One alternative is translating here after every semantic action,
+     but that translation would be missed if the semantic action invokes
+     YYABORT, YYACCEPT, or YYERROR immediately after altering yychar or
+     if it invokes YYBACKUP.  In the case of YYABORT or YYACCEPT, an
+     incorrect destructor might then be invoked immediately.  In the
+     case of YYERROR or YYBACKUP, subsequent parser actions might lead
+     to an incorrect destructor call or verbose syntax error message
+     before the lookahead is translated.  */
+  YY_SYMBOL_PRINT ("-> $$ =", yyr1[yyn], &yyval, &yyloc);
+
+  YYPOPSTACK (yylen);
+  yylen = 0;
+  YY_STACK_PRINT (yyss, yyssp);
+
+  *++yyvsp = yyval;
+#if defined YYLTYPE || defined YYLTYPE_IS_DECLARED
+  *++yylsp = yyloc;
+#endif
+
+  /* Now 'shift' the result of the reduction.  Determine what state
+     that goes to, based on the state we popped back to and the rule
+     number reduced by.  */
+
+  yyn = yyr1[yyn];
+
+  yystate = yypgoto[yyn - YYNTOKENS] + *yyssp;
+  if (0 <= yystate && yystate <= YYLAST && yycheck[yystate] == *yyssp)
+    yystate = yytable[yystate];
+  else
+    yystate = yydefgoto[yyn - YYNTOKENS];
+
+  goto yynewstate;
+
+
+/*--------------------------------------.
+| yyerrlab -- here on detecting error.  |
+`--------------------------------------*/
+yyerrlab:
+  /* Make sure we have latest lookahead translation.  See comments at
+     user semantic actions for why this is necessary.  */
+  yytoken = yychar == YYEMPTY ? YYEMPTY : YYTRANSLATE (yychar);
+
+  /* If not already recovering from an error, report this error.  */
+  if (!yyerrstatus)
+    {
+      ++yynerrs;
+#if ! YYERROR_VERBOSE
+# if YYPURE >= 2 && (defined YYLTYPE || defined YYLTYPE_IS_DECLARED)
+      yyerror (&yylloc, YY_("syntax error"));
+# else
+      yyerror (YY_("syntax error"));
+# endif
+#else
+# define YYSYNTAX_ERROR yysyntax_error (&yymsg_alloc, &yymsg, \
+                                        yyssp, yytoken)
+      {
+        char const *yymsgp = YY_("syntax error");
+        int yysyntax_error_status;
+        yysyntax_error_status = YYSYNTAX_ERROR;
+        if (yysyntax_error_status == 0)
+          yymsgp = yymsg;
+        else if (yysyntax_error_status == 1)
+          {
+            if (yymsg != yymsgbuf)
+              YYSTACK_FREE (yymsg);
+            yymsg = (char *) YYSTACK_ALLOC (yymsg_alloc);
+            if (!yymsg)
+              {
+                yymsg = yymsgbuf;
+                yymsg_alloc = sizeof yymsgbuf;
+                yysyntax_error_status = 2;
+              }
+            else
+              {
+                yysyntax_error_status = YYSYNTAX_ERROR;
+                yymsgp = yymsg;
+              }
+          }
+#if YYPURE >= 2 && (defined YYLTYPE || defined YYLTYPE_IS_DECLARED)
+        yyerror (&yylloc, yymsgp);
+#else
+        yyerror (yymsgp);
+#endif
+        if (yysyntax_error_status == 2)
+          goto yyexhaustedlab;
+      }
+# undef YYSYNTAX_ERROR
+#endif
+    }
+
+#if defined YYLTYPE || defined YYLTYPE_IS_DECLARED
+  yyerror_range[1] = yylloc;
+#endif
+
+  if (yyerrstatus == 3)
+    {
+      /* If just tried and failed to reuse lookahead token after an
+         error, discard it.  */
+
+      if (yychar <= YYEOF)
+        {
+          /* Return failure if at end of input.  */
+          if (yychar == YYEOF)
+            YYABORT;
+        }
+      else
+        {
+#if defined YYLTYPE || defined YYLTYPE_IS_DECLARED
+          yydestruct ("Error: discarding",
+                      yytoken, &yylval, &yylloc);
+#else
+          yydestruct ("Error: discarding",
+                      yytoken, &yylval);
+#endif
+          yychar = YYEMPTY;
+        }
+    }
+
+  /* Else will try to reuse lookahead token after shifting the error
+     token.  */
+  goto yyerrlab1;
+
+
+/*---------------------------------------------------.
+| yyerrorlab -- error raised explicitly by YYERROR.  |
+`---------------------------------------------------*/
+yyerrorlab:
+
+  /* Pacify compilers like GCC when the user code never invokes
+     YYERROR and the label yyerrorlab therefore never appears in user
+     code.  */
+  if (/*CONSTCOND*/ 0)
+     goto yyerrorlab;
+
+#if defined YYLTYPE || defined YYLTYPE_IS_DECLARED
+  yyerror_range[1] = yylsp[1-yylen];
+#endif 
+  /* Do not reclaim the symbols of the rule whose action triggered
+     this YYERROR.  */
+  YYPOPSTACK (yylen);
+  yylen = 0;
+  YY_STACK_PRINT (yyss, yyssp);
+  yystate = *yyssp;
+  goto yyerrlab1;
+
+
+/*-------------------------------------------------------------.
+| yyerrlab1 -- common code for both syntax error and YYERROR.  |
+`-------------------------------------------------------------*/
+yyerrlab1:
+  yyerrstatus = 3;      /* Each real token shifted decrements this.  */
+
+  for (;;)
+    {
+      yyn = yypact[yystate];
+      if (!yypact_value_is_default (yyn))
+        {
+          yyn += YYTERROR;
+          if (0 <= yyn && yyn <= YYLAST && yycheck[yyn] == YYTERROR)
+            {
+              yyn = yytable[yyn];
+              if (0 < yyn)
+                break;
+            }
+        }
+
+      /* Pop the current state because it cannot handle the error token.  */
+      if (yyssp == yyss)
+        YYABORT;
+
+#if defined YYLTYPE || defined YYLTYPE_IS_DECLARED
+      yyerror_range[1] = *yylsp;
+      yydestruct ("Error: popping",
+                  yystos[yystate], yyvsp, yylsp);
+#else
+      yydestruct ("Error: popping",
+                  yystos[yystate], yyvsp);
+#endif
+      YYPOPSTACK (1);
+      yystate = *yyssp;
+      YY_STACK_PRINT (yyss, yyssp);
+    }
+
+  YY_IGNORE_MAYBE_UNINITIALIZED_BEGIN
+  *++yyvsp = yylval;
+  YY_IGNORE_MAYBE_UNINITIALIZED_END
+
+#if defined YYLTYPE || defined YYLTYPE_IS_DECLARED
+  yyerror_range[2] = yylloc;
+  /* Using YYLLOC is tempting, but would change the location of
+     the lookahead.  YYLOC is available though.  */
+  YYLLOC_DEFAULT (yyloc, yyerror_range, 2);
+  *++yylsp = yyloc;
+#endif
+
+  /* Shift the error token.  */
+  YY_SYMBOL_PRINT ("Shifting", yystos[yyn], yyvsp, yylsp);
+
+  yystate = yyn;
+  goto yynewstate;
+
+
+/*-------------------------------------.
+| yyacceptlab -- YYACCEPT comes here.  |
+`-------------------------------------*/
+yyacceptlab:
+  yyresult = 0;
+  goto yyreturn;
+
+/*-----------------------------------.
+| yyabortlab -- YYABORT comes here.  |
+`-----------------------------------*/
+yyabortlab:
+  yyresult = 1;
+  goto yyreturn;
+
+#if !defined yyoverflow || YYERROR_VERBOSE
+/*-------------------------------------------------.
+| yyexhaustedlab -- memory exhaustion comes here.  |
+`-------------------------------------------------*/
+yyexhaustedlab:
+#if YYPURE >= 2 && (defined YYLTYPE || defined YYLTYPE_IS_DECLARED)
+  yyerror (&yylloc, YY_("memory exhausted"));
+#else
+  yyerror (YY_("memory exhausted"));
+#endif
+  yyresult = 2;
+  /* Fall through.  */
+#endif
+
+yyreturn:
+  if (yychar != YYEMPTY)
+    {
+      /* Make sure we have latest lookahead translation.  See comments at
+         user semantic actions for why this is necessary.  */
+      yytoken = YYTRANSLATE (yychar);
+#if defined YYLTYPE || defined YYLTYPE_IS_DECLARED
+      yydestruct ("Cleanup: discarding lookahead",
+                  yytoken, &yylval, &yylloc);
+#else
+      yydestruct ("Cleanup: discarding lookahead",
+                  yytoken, &yylval);
+#endif
+    }
+  /* Do not reclaim the symbols of the rule whose action triggered
+     this YYABORT or YYACCEPT.  */
+  YYPOPSTACK (yylen);
+  YY_STACK_PRINT (yyss, yyssp);
+  while (yyssp != yyss)
+    {
+#if defined YYLTYPE || defined YYLTYPE_IS_DECLARED
+      yydestruct ("Cleanup: popping",
+                  yystos[*yyssp], yyvsp, yylsp);
+#else
+      yydestruct ("Cleanup: popping",
+                  yystos[*yyssp], yyvsp);
+#endif
+      YYPOPSTACK (1);
+    }
+#ifndef yyoverflow
+  if (yyss != yyssa)
+    YYSTACK_FREE (yyss);
+#endif
+#if YYERROR_VERBOSE
+  if (yymsg != yymsgbuf)
+    YYSTACK_FREE (yymsg);
+#endif
+  return yyresult;
+}
+
+/* GENERATE SECTION3 */
diff --git a/skel/skel_bison.h b/skel/skel_bison.h
new file mode 100644 (file)
index 0000000..d3b7158
--- /dev/null
@@ -0,0 +1,69 @@
+/* A Bison parser, made by pyacc.  */
+
+/* Bison interface for Yacc-like parsers in C
+
+   Copyright (C) 1984, 1989-1990, 2000-2015, 2018 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.  */
+
+#ifndef YY_YY_SKEL_BISON_H_INCLUDED
+# define YY_YY_SKEL_BISON_H_INCLUDED
+/* Debug traces.  */
+/* GENERATE YYDEBUG */
+
+/* Token type.  */
+#ifndef YYTOKENTYPE
+# define YYTOKENTYPE
+  enum yytokentype
+  {
+/* GENERATE TOKENSEQUAL */
+  };
+#endif
+/* Tokens.  */
+/* GENERATE TOKENS */
+
+/* GENERATE SECTION1REQUIRES */
+
+/* Value type.  */
+/* GENERATE YYSTYPE */
+
+/* Location type.  */
+/* GENERATE YYLTYPE */
+
+/* we shouldn't really be generating YYPURE here, fix this later! */
+/* GENERATE YYPURE */
+
+#if !YYPURE
+extern YYSTYPE yylval;
+# if defined YYLTYPE || defined YYLTYPE_IS_DECLARED
+extern YYLTYPE yylloc;
+# endif
+#endif
+
+int yyparse (void);
+
+#endif /* !YY_YY_SKEL_BISON_H_INCLUDED  */
diff --git a/skel/skel_py.py b/skel/skel_py.py
new file mode 100644 (file)
index 0000000..028f25f
--- /dev/null
@@ -0,0 +1,62 @@
+import bisect
+import lex_yy
+
+# GENERATE SECTION1
+
+# GENERATE TOKENS
+
+yystack = []
+yytoken = None
+
+yyval = None
+yyloc = None
+
+yylval = None
+yylloc = None
+
+# GENERATE SECTION2
+
+def yyparse():
+  global yystack, yytoken, yyval, yyloc, yylval, yylloc
+
+  # GENERATE INITIALACTION
+
+  state = 0
+  yystack = []
+  yylval = None
+  yytoken = lex_yy.yylex()
+  print('yytoken', yytoken, 'yylval', yylval)
+  while True:
+    print('state', state, 'yystack', yystack)
+    action = yy_lr1dfa_states[state][1][
+      bisect.bisect_right(yy_lr1dfa_states[state][0], yytoken)
+    ]
+    if action == -1:
+      raise Exception('syntax error')
+    if (action & 1) == 0:
+      yystack.append((state, yylval))
+      state = action >> 1
+      print('shift', state)
+      yylval = None
+      yytoken = lex_yy.yylex()
+      print('yytoken', yytoken, 'yylval', yylval)
+    else:
+      yystack.append((state, None))
+      reduce = action >> 1
+      print('reduce', reduce)
+      len_symbols, ref_data = yy_lr1dfa_productions[reduce]
+      base = len(yystack) - len_symbols - 1
+      yyval = yystack[base][1]
+      ref_data()
+      del yystack[base + 1:]
+      if reduce == 0:
+        assert base == 0
+        return
+      state = yystack[-1][0]
+      yystack[-1] = (state, yyval)
+      state = yy_lr1dfa_states[state][3][
+        bisect.bisect_right(yy_lr1dfa_states[state][2], reduce)
+      ]
+      assert state != -1
+
+# GENERATE SECTION3
index 8b8d23d..b201618 100644 (file)
@@ -1,4 +1,13 @@
-all: cal cal2
+all: lex_yy.py y_tab.py cal cal2
+
+# Python scanner and parser test
+lex_yy.py: cal_py.l
+       ../../bootstrap_flex.git/src/flex -o /dev/null $< 2>$<.xml
+       ../../plex2.git/bootstrap_plex.py --python $<.xml
+
+y_tab.py: cal_py.y
+       ../../bootstrap_bison.git/src/bison -o /dev/null $< 2>$<.xml
+       ../bootstrap_pyacc.py --python $<.xml
 
 # cal program
 cal: y.tab.o
@@ -25,4 +34,4 @@ y.tab2.c: cal2.y
 
 # other
 clean:
-       rm -f *.c *.o *.xml cal cal2
+       rm -f *.c *.o *.py *.xml cal cal2
diff --git a/tests/cal.py b/tests/cal.py
new file mode 100755 (executable)
index 0000000..d2978ba
--- /dev/null
@@ -0,0 +1,6 @@
+#!/usr/bin/env python3
+
+import y_tab
+
+print('Enter the expression: ', end = '')
+y_tab.yyparse()
diff --git a/tests/cal_py.l b/tests/cal_py.l
new file mode 100644 (file)
index 0000000..fcee582
--- /dev/null
@@ -0,0 +1,18 @@
+%{
+import y_tab
+%}
+
+DIGIT [0-9]+\.?|[0-9]*\.[0-9]+
+
+%option noecs nometa-ecs noyywrap reject yymore
+
+%%
+
+[ ]
+{DIGIT}        {
+  y_tab.yylval = float(yytext)
+  return y_tab.NUM
+}
+\n|.   {
+  return ord(yytext[0])
+}
diff --git a/tests/cal_py.y b/tests/cal_py.y
new file mode 100644 (file)
index 0000000..f2b532a
--- /dev/null
@@ -0,0 +1,38 @@
+%{
+import sys
+%}
+%token NUM
+
+%left '+' '-'
+%left '*' '/'
+%right UMINUS
+
+%%
+
+S : S E '\n' {
+  print('Answer:', $2)
+  print('Enter:')
+}
+  | S '\n'
+  |
+  | error '\n' {
+  yyerror('Error: Enter once more...\n')
+  yyerrok()
+}
+  ;
+E : E '+' E { $$ = $1 + $3 }
+  | E '-' E { $$ = $1 - $3 }
+  | E '*' E { $$ = $1 * $3 }
+  | E '/' E { $$ = $1 / $3 }
+  | '(' E ')' { $$ = $2 }
+  /*| '-' E %prec UMINUS { $$ = -$2 }*/
+  | '-' { print('unary minus', $1) } E %prec UMINUS { $$ = -$3 }
+  | NUM
+  ;
+%%
+# this is section 3
+
+def yyerror(s):
+  print(s)
+  sys.exit(1)
+
diff --git a/wrap_repr.py b/wrap_repr.py
new file mode 100644 (file)
index 0000000..935e8c4
--- /dev/null
@@ -0,0 +1,24 @@
+def wrap_repr(text, width):
+  lines = []
+  i = 0
+  while i < len(text):
+    j = i + width
+    if j < len(text):
+      j = max(
+        [
+          text.rfind('(', i, j) + 1,
+          text.rfind('[', i, j) + 1,
+          text.rfind('{', i, j) + 1,
+          text.rfind('.', i, j) + 1,
+          text.rfind(')', i, j + 1),
+          text.rfind(']', i, j + 1),
+          text.rfind('}', i, j + 1),
+          text.rfind(' ', i, j + 1),
+        ]
+      )
+      assert j > 0
+    lines.append(text[i:j] + '\n')
+    i = j
+    while text[i:i + 1] == ' ':
+      i += 1
+  return ''.join(lines)