ref: 8aa3bcf788eceae09ca50650cba78ba89ffdde50
parent: 52221ffc58dfc5f2c765a226d24053a3b2aa2ac2
author: Andrew Chambers <ac@acha.ninja>
date: Thu Apr 7 18:20:40 CDT 2022
Work on amalgamation.
--- a/Makefile
+++ b/Makefile
@@ -5,8 +5,8 @@
CFLAGS = -g -Wall $(OFLAGS) $(XFLAGS) -Isrc
OFLAGS = -O3 -DNDEBUG
-OBJ = leg.o tree.o compile.o
-NEWOBJ = leg-new.o tree.o compile.o
+OBJ = peg.o tree.o compile.o
+NEWOBJ = peg-new.o tree.o compile.o
all : leg
@@ -35,10 +35,10 @@
rm -f $(BINDIR)/leg
rm -f $(MANDIR)/peg.1
-check-leg : leg.c .FORCE
- diff leg-new.c leg.c
+check-peg : peg.c .FORCE
+ diff peg-new.c peg.c
-leg-new.c :leg.leg leg
+peg-new.c :peg.leg leg
./leg -o $@ $<
test examples : leg .FORCE
@@ -45,6 +45,6 @@
$(SHELL) -ec '(cd examples; $(MAKE))'
clean : .FORCE
- rm -f leg *.o
+ rm -f leg leg-new leg-new.c *.o
.FORCE :
--- a/compile.c
+++ b/compile.c
@@ -401,11 +401,10 @@
Rule_compile_c2(node->rule.next);
}
-static char *header= "\
-#include <stdio.h>\n\
-#include <stdlib.h>\n\
-#include <string.h>\n\
-";
+static char *header=
+"#include <stdio.h>\n"
+"#include <stdlib.h>\n"
+"#include <string.h>\n";
static char *preamble= "\
#ifndef YY_MALLOC\n\
--- a/leg.c
+++ /dev/null
@@ -1,1556 +1,0 @@
-/* A recursive-descent parser generated by peg 0.1.18 */
-
-#include <stdio.h>
-#include <stdlib.h>
-#include <string.h>
-#define YYRULECOUNT 39
-#line 20 "leg.leg"
-
-# include "tree.h"
-# include "version.h"
-
-# include <stdio.h>
-# include <stdlib.h>
-# include <unistd.h>
-# include <string.h>
-# include <libgen.h>
-# include <assert.h>
-
- typedef struct Header Header;
-
- struct Header {- int line;
- char *text;
- Header *next;
- };
-
- FILE *input= 0;
-
- int verboseFlag= 0;
- int nolinesFlag= 0;
-
- static int lineNumber= 0;
- static int headerLine= 0;
- static int actionLine= 0;
- static char *fileName= 0;
- static int trailerLine= 0;
- static char *trailer= 0;
- static Header *headers= 0;
-
- void makeHeader(int line, char *text);
- void makeTrailer(int line, char *text);
-
- void yyerror(char *message);
-
-# define YY_INPUT(buf, result, max) \
- { \- int c= getc(input); \
- /* if ('\n' == c || '\r' == c) ++lineNumber; */ \- result= (EOF == c) ? 0 : (*(buf)= c, 1); \
- }
-
-# define YY_LOCAL(T) static T
-# define YY_RULE(T) static T
-
-#ifndef YY_MALLOC
-#define YY_MALLOC(C, N) malloc(N)
-#endif
-#ifndef YY_REALLOC
-#define YY_REALLOC(C, P, N) realloc(P, N)
-#endif
-#ifndef YY_FREE
-#define YY_FREE(C, P) free(P)
-#endif
-#ifndef YY_LOCAL
-#define YY_LOCAL(T) static T
-#endif
-#ifndef YY_ACTION
-#define YY_ACTION(T) static T
-#endif
-#ifndef YY_RULE
-#define YY_RULE(T) static T
-#endif
-#ifndef YY_PARSE
-#define YY_PARSE(T) T
-#endif
-#ifndef YYPARSE
-#define YYPARSE yyparse
-#endif
-#ifndef YYPARSEFROM
-#define YYPARSEFROM yyparsefrom
-#endif
-#ifndef YYRELEASE
-#define YYRELEASE yyrelease
-#endif
-#ifndef YY_BEGIN
-#define YY_BEGIN ( yy->__begin= yy->__pos, 1)
-#endif
-#ifndef YY_END
-#define YY_END ( yy->__end= yy->__pos, 1)
-#endif
-#ifdef YY_DEBUG
-# define yyprintf(args) fprintf args
-#else
-# define yyprintf(args)
-#endif
-#ifndef YYSTYPE
-#define YYSTYPE int
-#endif
-#ifndef YY_STACK_SIZE
-#define YY_STACK_SIZE 128
-#endif
-
-#ifndef YY_BUFFER_SIZE
-#define YY_BUFFER_SIZE 1024
-#endif
-
-#ifndef YY_PART
-
-typedef struct _yycontext yycontext;
-typedef void (*yyaction)(yycontext *yy, char *yytext, int yyleng);
-typedef struct _yythunk { int begin, end; yyaction action; struct _yythunk *next; } yythunk;-
-struct _yycontext {- char *__buf;
- int __buflen;
- int __pos;
- int __limit;
- char *__text;
- int __textlen;
- int __begin;
- int __end;
- int __textmax;
- yythunk *__thunks;
- int __thunkslen;
- int __thunkpos;
- YYSTYPE __;
- YYSTYPE *__val;
- YYSTYPE *__vals;
- int __valslen;
-#ifdef YY_CTX_MEMBERS
- YY_CTX_MEMBERS
-#endif
-};
-
-#ifdef YY_CTX_LOCAL
-#define YY_CTX_PARAM_ yycontext *yyctx,
-#define YY_CTX_PARAM yycontext *yyctx
-#define YY_CTX_ARG_ yyctx,
-#define YY_CTX_ARG yyctx
-#ifndef YY_INPUT
-#define YY_INPUT(yy, buf, result, max_size) \
- { \- int yyc= getchar(); \
- result= (EOF == yyc) ? 0 : (*(buf)= yyc, 1); \
- yyprintf((stderr, "<%c>", yyc)); \
- }
-#endif
-#else
-#define YY_CTX_PARAM_
-#define YY_CTX_PARAM
-#define YY_CTX_ARG_
-#define YY_CTX_ARG
-yycontext _yyctx= { 0, 0 };-yycontext *yyctx= &_yyctx;
-#ifndef YY_INPUT
-#define YY_INPUT(buf, result, max_size) \
- { \- int yyc= getchar(); \
- result= (EOF == yyc) ? 0 : (*(buf)= yyc, 1); \
- yyprintf((stderr, "<%c>", yyc)); \
- }
-#endif
-#endif
-
-YY_LOCAL(int) yyrefill(yycontext *yy)
-{- int yyn;
- while (yy->__buflen - yy->__pos < 512)
- {- yy->__buflen *= 2;
- yy->__buf= (char *)YY_REALLOC(yy, yy->__buf, yy->__buflen);
- }
-#ifdef YY_CTX_LOCAL
- YY_INPUT(yy, (yy->__buf + yy->__pos), yyn, (yy->__buflen - yy->__pos));
-#else
- YY_INPUT((yy->__buf + yy->__pos), yyn, (yy->__buflen - yy->__pos));
-#endif
- if (!yyn) return 0;
- yy->__limit += yyn;
- return 1;
-}
-
-YY_LOCAL(int) yymatchDot(yycontext *yy)
-{- if (yy->__pos >= yy->__limit && !yyrefill(yy)) return 0;
- ++yy->__pos;
- return 1;
-}
-
-YY_LOCAL(int) yymatchChar(yycontext *yy, int c)
-{- if (yy->__pos >= yy->__limit && !yyrefill(yy)) return 0;
- if ((unsigned char)yy->__buf[yy->__pos] == c)
- {- ++yy->__pos;
- yyprintf((stderr, " ok yymatchChar(yy, %c) @ %s\n", c, yy->__buf+yy->__pos));
- return 1;
- }
- yyprintf((stderr, " fail yymatchChar(yy, %c) @ %s\n", c, yy->__buf+yy->__pos));
- return 0;
-}
-
-YY_LOCAL(int) yymatchString(yycontext *yy, const char *s)
-{- int yysav= yy->__pos;
- while (*s)
- {- if (yy->__pos >= yy->__limit && !yyrefill(yy)) return 0;
- if (yy->__buf[yy->__pos] != *s)
- {- yy->__pos= yysav;
- return 0;
- }
- ++s;
- ++yy->__pos;
- }
- return 1;
-}
-
-YY_LOCAL(int) yymatchClass(yycontext *yy, unsigned char *bits)
-{- int c;
- if (yy->__pos >= yy->__limit && !yyrefill(yy)) return 0;
- c= (unsigned char)yy->__buf[yy->__pos];
- if (bits[c >> 3] & (1 << (c & 7)))
- {- ++yy->__pos;
- yyprintf((stderr, " ok yymatchClass @ %s\n", yy->__buf+yy->__pos));
- return 1;
- }
- yyprintf((stderr, " fail yymatchClass @ %s\n", yy->__buf+yy->__pos));
- return 0;
-}
-
-YY_LOCAL(void) yyDo(yycontext *yy, yyaction action, int begin, int end)
-{- while (yy->__thunkpos >= yy->__thunkslen)
- {- yy->__thunkslen *= 2;
- yy->__thunks= (yythunk *)YY_REALLOC(yy, yy->__thunks, sizeof(yythunk) * yy->__thunkslen);
- }
- yy->__thunks[yy->__thunkpos].begin= begin;
- yy->__thunks[yy->__thunkpos].end= end;
- yy->__thunks[yy->__thunkpos].action= action;
- ++yy->__thunkpos;
-}
-
-YY_LOCAL(int) yyText(yycontext *yy, int begin, int end)
-{- int yyleng= end - begin;
- if (yyleng <= 0)
- yyleng= 0;
- else
- {- while (yy->__textlen < (yyleng + 1))
- {- yy->__textlen *= 2;
- yy->__text= (char *)YY_REALLOC(yy, yy->__text, yy->__textlen);
- }
- memcpy(yy->__text, yy->__buf + begin, yyleng);
- }
- yy->__text[yyleng]= '\0';
- return yyleng;
-}
-
-YY_LOCAL(void) yyDone(yycontext *yy)
-{- int pos;
- for (pos= 0; pos < yy->__thunkpos; ++pos)
- {- yythunk *thunk= &yy->__thunks[pos];
- int yyleng= thunk->end ? yyText(yy, thunk->begin, thunk->end) : thunk->begin;
- yyprintf((stderr, "DO [%d] %p %s\n", pos, thunk->action, yy->__text));
- thunk->action(yy, yy->__text, yyleng);
- }
- yy->__thunkpos= 0;
-}
-
-YY_LOCAL(void) yyCommit(yycontext *yy)
-{- if ((yy->__limit -= yy->__pos))
- {- memmove(yy->__buf, yy->__buf + yy->__pos, yy->__limit);
- }
- yy->__begin -= yy->__pos;
- yy->__end -= yy->__pos;
- yy->__pos= yy->__thunkpos= 0;
-}
-
-YY_LOCAL(int) yyAccept(yycontext *yy, int tp0)
-{- if (tp0)
- {- fprintf(stderr, "accept denied at %d\n", tp0);
- return 0;
- }
- else
- {- yyDone(yy);
- yyCommit(yy);
- }
- return 1;
-}
-
-YY_LOCAL(void) yyPush(yycontext *yy, char *text, int count)
-{- yy->__val += count;
- while (yy->__valslen <= yy->__val - yy->__vals)
- {- long offset= yy->__val - yy->__vals;
- yy->__valslen *= 2;
- yy->__vals= (YYSTYPE *)YY_REALLOC(yy, yy->__vals, sizeof(YYSTYPE) * yy->__valslen);
- yy->__val= yy->__vals + offset;
- }
-}
-YY_LOCAL(void) yyPop(yycontext *yy, char *text, int count) { yy->__val -= count; }-YY_LOCAL(void) yySet(yycontext *yy, char *text, int count) { yy->__val[count]= yy->__; }-
-#endif /* YY_PART */
-
-#define YYACCEPT yyAccept(yy, yythunkpos0)
-
-YY_RULE(int) yy_comment(yycontext *yy); /* 39 */
-YY_RULE(int) yy_space(yycontext *yy); /* 38 */
-YY_RULE(int) yy_braces(yycontext *yy); /* 37 */
-YY_RULE(int) yy_range(yycontext *yy); /* 36 */
-YY_RULE(int) yy_char(yycontext *yy); /* 35 */
-YY_RULE(int) yy_END(yycontext *yy); /* 34 */
-YY_RULE(int) yy_BEGIN(yycontext *yy); /* 33 */
-YY_RULE(int) yy_DOT(yycontext *yy); /* 32 */
-YY_RULE(int) yy_class(yycontext *yy); /* 31 */
-YY_RULE(int) yy_literal(yycontext *yy); /* 30 */
-YY_RULE(int) yy_CLOSE(yycontext *yy); /* 29 */
-YY_RULE(int) yy_OPEN(yycontext *yy); /* 28 */
-YY_RULE(int) yy_COLON(yycontext *yy); /* 27 */
-YY_RULE(int) yy_PLUS(yycontext *yy); /* 26 */
-YY_RULE(int) yy_STAR(yycontext *yy); /* 25 */
-YY_RULE(int) yy_QUESTION(yycontext *yy); /* 24 */
-YY_RULE(int) yy_primary(yycontext *yy); /* 23 */
-YY_RULE(int) yy_NOT(yycontext *yy); /* 22 */
-YY_RULE(int) yy_suffix(yycontext *yy); /* 21 */
-YY_RULE(int) yy_AND(yycontext *yy); /* 20 */
-YY_RULE(int) yy_AT(yycontext *yy); /* 19 */
-YY_RULE(int) yy_action(yycontext *yy); /* 18 */
-YY_RULE(int) yy_TILDE(yycontext *yy); /* 17 */
-YY_RULE(int) yy_prefix(yycontext *yy); /* 16 */
-YY_RULE(int) yy_error(yycontext *yy); /* 15 */
-YY_RULE(int) yy_BAR(yycontext *yy); /* 14 */
-YY_RULE(int) yy_sequence(yycontext *yy); /* 13 */
-YY_RULE(int) yy_SEMICOLON(yycontext *yy); /* 12 */
-YY_RULE(int) yy_expression(yycontext *yy); /* 11 */
-YY_RULE(int) yy_EQUAL(yycontext *yy); /* 10 */
-YY_RULE(int) yy_identifier(yycontext *yy); /* 9 */
-YY_RULE(int) yy_RPERCENT(yycontext *yy); /* 8 */
-YY_RULE(int) yy_end_of_line(yycontext *yy); /* 7 */
-YY_RULE(int) yy_end_of_file(yycontext *yy); /* 6 */
-YY_RULE(int) yy_trailer(yycontext *yy); /* 5 */
-YY_RULE(int) yy_definition(yycontext *yy); /* 4 */
-YY_RULE(int) yy_declaration(yycontext *yy); /* 3 */
-YY_RULE(int) yy__(yycontext *yy); /* 2 */
-YY_RULE(int) yy_grammar(yycontext *yy); /* 1 */
-
-YY_ACTION(void) yy_1_end_of_line(yycontext *yy, char *yytext, int yyleng)
-{-#define __ yy->__
-#define yypos yy->__pos
-#define yythunkpos yy->__thunkpos
- yyprintf((stderr, "do yy_1_end_of_line\n"));
- {-#line 160
- ++lineNumber ;
- }
-#undef yythunkpos
-#undef yypos
-#undef yy
-}
-YY_ACTION(void) yy_1_action(yycontext *yy, char *yytext, int yyleng)
-{-#define __ yy->__
-#define yypos yy->__pos
-#define yythunkpos yy->__thunkpos
- yyprintf((stderr, "do yy_1_action\n"));
- {-#line 133
- actionLine= lineNumber ;
- }
-#undef yythunkpos
-#undef yypos
-#undef yy
-}
-YY_ACTION(void) yy_9_primary(yycontext *yy, char *yytext, int yyleng)
-{-#define __ yy->__
-#define yypos yy->__pos
-#define yythunkpos yy->__thunkpos
- yyprintf((stderr, "do yy_9_primary\n"));
- {-#line 113
- push(makePredicate("YY_END")); ;- }
-#undef yythunkpos
-#undef yypos
-#undef yy
-}
-YY_ACTION(void) yy_8_primary(yycontext *yy, char *yytext, int yyleng)
-{-#define __ yy->__
-#define yypos yy->__pos
-#define yythunkpos yy->__thunkpos
- yyprintf((stderr, "do yy_8_primary\n"));
- {-#line 112
- push(makePredicate("YY_BEGIN")); ;- }
-#undef yythunkpos
-#undef yypos
-#undef yy
-}
-YY_ACTION(void) yy_7_primary(yycontext *yy, char *yytext, int yyleng)
-{-#define __ yy->__
-#define yypos yy->__pos
-#define yythunkpos yy->__thunkpos
- yyprintf((stderr, "do yy_7_primary\n"));
- {-#line 111
- push(makeAction(actionLine, yytext)); ;
- }
-#undef yythunkpos
-#undef yypos
-#undef yy
-}
-YY_ACTION(void) yy_6_primary(yycontext *yy, char *yytext, int yyleng)
-{-#define __ yy->__
-#define yypos yy->__pos
-#define yythunkpos yy->__thunkpos
- yyprintf((stderr, "do yy_6_primary\n"));
- {-#line 110
- push(makeDot()); ;
- }
-#undef yythunkpos
-#undef yypos
-#undef yy
-}
-YY_ACTION(void) yy_5_primary(yycontext *yy, char *yytext, int yyleng)
-{-#define __ yy->__
-#define yypos yy->__pos
-#define yythunkpos yy->__thunkpos
- yyprintf((stderr, "do yy_5_primary\n"));
- {-#line 109
- push(makeClass(yytext)); ;
- }
-#undef yythunkpos
-#undef yypos
-#undef yy
-}
-YY_ACTION(void) yy_4_primary(yycontext *yy, char *yytext, int yyleng)
-{-#define __ yy->__
-#define yypos yy->__pos
-#define yythunkpos yy->__thunkpos
- yyprintf((stderr, "do yy_4_primary\n"));
- {-#line 108
- push(makeString(yytext)); ;
- }
-#undef yythunkpos
-#undef yypos
-#undef yy
-}
-YY_ACTION(void) yy_3_primary(yycontext *yy, char *yytext, int yyleng)
-{-#define __ yy->__
-#define yypos yy->__pos
-#define yythunkpos yy->__thunkpos
- yyprintf((stderr, "do yy_3_primary\n"));
- {-#line 106
- push(makeName(findRule(yytext))); ;
- }
-#undef yythunkpos
-#undef yypos
-#undef yy
-}
-YY_ACTION(void) yy_2_primary(yycontext *yy, char *yytext, int yyleng)
-{-#define __ yy->__
-#define yypos yy->__pos
-#define yythunkpos yy->__thunkpos
- yyprintf((stderr, "do yy_2_primary\n"));
- {-#line 105
- Node *name= makeName(findRule(yytext)); name->name.variable= pop(); push(name); ;
- }
-#undef yythunkpos
-#undef yypos
-#undef yy
-}
-YY_ACTION(void) yy_1_primary(yycontext *yy, char *yytext, int yyleng)
-{-#define __ yy->__
-#define yypos yy->__pos
-#define yythunkpos yy->__thunkpos
- yyprintf((stderr, "do yy_1_primary\n"));
- {-#line 104
- push(makeVariable(yytext)); ;
- }
-#undef yythunkpos
-#undef yypos
-#undef yy
-}
-YY_ACTION(void) yy_3_suffix(yycontext *yy, char *yytext, int yyleng)
-{-#define __ yy->__
-#define yypos yy->__pos
-#define yythunkpos yy->__thunkpos
- yyprintf((stderr, "do yy_3_suffix\n"));
- {-#line 101
- push(makePlus (pop())); ;
- }
-#undef yythunkpos
-#undef yypos
-#undef yy
-}
-YY_ACTION(void) yy_2_suffix(yycontext *yy, char *yytext, int yyleng)
-{-#define __ yy->__
-#define yypos yy->__pos
-#define yythunkpos yy->__thunkpos
- yyprintf((stderr, "do yy_2_suffix\n"));
- {-#line 100
- push(makeStar (pop())); ;
- }
-#undef yythunkpos
-#undef yypos
-#undef yy
-}
-YY_ACTION(void) yy_1_suffix(yycontext *yy, char *yytext, int yyleng)
-{-#define __ yy->__
-#define yypos yy->__pos
-#define yythunkpos yy->__thunkpos
- yyprintf((stderr, "do yy_1_suffix\n"));
- {-#line 99
- push(makeQuery(pop())); ;
- }
-#undef yythunkpos
-#undef yypos
-#undef yy
-}
-YY_ACTION(void) yy_4_prefix(yycontext *yy, char *yytext, int yyleng)
-{-#define __ yy->__
-#define yypos yy->__pos
-#define yythunkpos yy->__thunkpos
- yyprintf((stderr, "do yy_4_prefix\n"));
- {-#line 96
- push(makePeekNot(pop())); ;
- }
-#undef yythunkpos
-#undef yypos
-#undef yy
-}
-YY_ACTION(void) yy_3_prefix(yycontext *yy, char *yytext, int yyleng)
-{-#define __ yy->__
-#define yypos yy->__pos
-#define yythunkpos yy->__thunkpos
- yyprintf((stderr, "do yy_3_prefix\n"));
- {-#line 95
- push(makePeekFor(pop())); ;
- }
-#undef yythunkpos
-#undef yypos
-#undef yy
-}
-YY_ACTION(void) yy_2_prefix(yycontext *yy, char *yytext, int yyleng)
-{-#define __ yy->__
-#define yypos yy->__pos
-#define yythunkpos yy->__thunkpos
- yyprintf((stderr, "do yy_2_prefix\n"));
- {-#line 94
- push(makePredicate(yytext)); ;
- }
-#undef yythunkpos
-#undef yypos
-#undef yy
-}
-YY_ACTION(void) yy_1_prefix(yycontext *yy, char *yytext, int yyleng)
-{-#define __ yy->__
-#define yypos yy->__pos
-#define yythunkpos yy->__thunkpos
- yyprintf((stderr, "do yy_1_prefix\n"));
- {-#line 93
- push(makeInline(yytext)); ;
- }
-#undef yythunkpos
-#undef yypos
-#undef yy
-}
-YY_ACTION(void) yy_1_error(yycontext *yy, char *yytext, int yyleng)
-{-#define __ yy->__
-#define yypos yy->__pos
-#define yythunkpos yy->__thunkpos
- yyprintf((stderr, "do yy_1_error\n"));
- {-#line 90
- push(makeError(pop(), yytext)); ;
- }
-#undef yythunkpos
-#undef yypos
-#undef yy
-}
-YY_ACTION(void) yy_1_sequence(yycontext *yy, char *yytext, int yyleng)
-{-#define __ yy->__
-#define yypos yy->__pos
-#define yythunkpos yy->__thunkpos
- yyprintf((stderr, "do yy_1_sequence\n"));
- {-#line 87
- Node *f= pop(); push(Sequence_append(pop(), f)); ;
- }
-#undef yythunkpos
-#undef yypos
-#undef yy
-}
-YY_ACTION(void) yy_1_expression(yycontext *yy, char *yytext, int yyleng)
-{-#define __ yy->__
-#define yypos yy->__pos
-#define yythunkpos yy->__thunkpos
- yyprintf((stderr, "do yy_1_expression\n"));
- {-#line 84
- Node *f= pop(); push(Alternate_append(pop(), f)); ;
- }
-#undef yythunkpos
-#undef yypos
-#undef yy
-}
-YY_ACTION(void) yy_2_definition(yycontext *yy, char *yytext, int yyleng)
-{-#define __ yy->__
-#define yypos yy->__pos
-#define yythunkpos yy->__thunkpos
- yyprintf((stderr, "do yy_2_definition\n"));
- {-#line 81
- Node *e= pop(); Rule_setExpression(pop(), e); ;
- }
-#undef yythunkpos
-#undef yypos
-#undef yy
-}
-YY_ACTION(void) yy_1_definition(yycontext *yy, char *yytext, int yyleng)
-{-#define __ yy->__
-#define yypos yy->__pos
-#define yythunkpos yy->__thunkpos
- yyprintf((stderr, "do yy_1_definition\n"));
- {-#line 79
- if (push(beginRule(findRule(yytext)))->rule.expression)
- fprintf(stderr, "rule '%s' redefined\n", yytext); ;
- }
-#undef yythunkpos
-#undef yypos
-#undef yy
-}
-YY_ACTION(void) yy_2_trailer(yycontext *yy, char *yytext, int yyleng)
-{-#define __ yy->__
-#define yypos yy->__pos
-#define yythunkpos yy->__thunkpos
- yyprintf((stderr, "do yy_2_trailer\n"));
- {-#line 77
- makeTrailer(headerLine, yytext); ;
- }
-#undef yythunkpos
-#undef yypos
-#undef yy
-}
-YY_ACTION(void) yy_1_trailer(yycontext *yy, char *yytext, int yyleng)
-{-#define __ yy->__
-#define yypos yy->__pos
-#define yythunkpos yy->__thunkpos
- yyprintf((stderr, "do yy_1_trailer\n"));
- {-#line 76
- headerLine= lineNumber ;
- }
-#undef yythunkpos
-#undef yypos
-#undef yy
-}
-YY_ACTION(void) yy_2_declaration(yycontext *yy, char *yytext, int yyleng)
-{-#define __ yy->__
-#define yypos yy->__pos
-#define yythunkpos yy->__thunkpos
- yyprintf((stderr, "do yy_2_declaration\n"));
- {-#line 74
- makeHeader(headerLine, yytext); ;
- }
-#undef yythunkpos
-#undef yypos
-#undef yy
-}
-YY_ACTION(void) yy_1_declaration(yycontext *yy, char *yytext, int yyleng)
-{-#define __ yy->__
-#define yypos yy->__pos
-#define yythunkpos yy->__thunkpos
- yyprintf((stderr, "do yy_1_declaration\n"));
- {-#line 72
- headerLine= lineNumber; ;
- }
-#undef yythunkpos
-#undef yypos
-#undef yy
-}
-
-YY_RULE(int) yy_comment(yycontext *yy)
-{ int yypos0= yy->__pos, yythunkpos0= yy->__thunkpos;- yyprintf((stderr, "%s\n", "comment")); if (!yymatchChar(yy, '#')) goto l1;
- l2:;
- { int yypos3= yy->__pos, yythunkpos3= yy->__thunkpos;- { int yypos4= yy->__pos, yythunkpos4= yy->__thunkpos; if (!yy_end_of_line(yy)) goto l4; goto l3;- l4:; yy->__pos= yypos4; yy->__thunkpos= yythunkpos4;
- } if (!yymatchDot(yy)) goto l3; goto l2;
- l3:; yy->__pos= yypos3; yy->__thunkpos= yythunkpos3;
- } if (!yy_end_of_line(yy)) goto l1;
- yyprintf((stderr, " ok %s @ %s\n", "comment", yy->__buf+yy->__pos));
- return 1;
- l1:; yy->__pos= yypos0; yy->__thunkpos= yythunkpos0;
- yyprintf((stderr, " fail %s @ %s\n", "comment", yy->__buf+yy->__pos));
- return 0;
-}
-YY_RULE(int) yy_space(yycontext *yy)
-{ int yypos0= yy->__pos, yythunkpos0= yy->__thunkpos;- yyprintf((stderr, "%s\n", "space"));
- { int yypos6= yy->__pos, yythunkpos6= yy->__thunkpos; if (!yymatchChar(yy, ' ')) goto l7; goto l6;- l7:; yy->__pos= yypos6; yy->__thunkpos= yythunkpos6; if (!yymatchChar(yy, '\t')) goto l8; goto l6;
- l8:; yy->__pos= yypos6; yy->__thunkpos= yythunkpos6; if (!yy_end_of_line(yy)) goto l5;
- }
- l6:;
- yyprintf((stderr, " ok %s @ %s\n", "space", yy->__buf+yy->__pos));
- return 1;
- l5:; yy->__pos= yypos0; yy->__thunkpos= yythunkpos0;
- yyprintf((stderr, " fail %s @ %s\n", "space", yy->__buf+yy->__pos));
- return 0;
-}
-YY_RULE(int) yy_braces(yycontext *yy)
-{ int yypos0= yy->__pos, yythunkpos0= yy->__thunkpos;- yyprintf((stderr, "%s\n", "braces"));
- { int yypos10= yy->__pos, yythunkpos10= yy->__thunkpos; if (!yymatchChar(yy, '{')) goto l11;- l12:;
- { int yypos13= yy->__pos, yythunkpos13= yy->__thunkpos; if (!yy_braces(yy)) goto l13; goto l12;- l13:; yy->__pos= yypos13; yy->__thunkpos= yythunkpos13;
- } if (!yymatchChar(yy, '}')) goto l11; goto l10;
- l11:; yy->__pos= yypos10; yy->__thunkpos= yythunkpos10;
- { int yypos14= yy->__pos, yythunkpos14= yy->__thunkpos; if (!yymatchChar(yy, '}')) goto l14; goto l9;- l14:; yy->__pos= yypos14; yy->__thunkpos= yythunkpos14;
- }
- { int yypos15= yy->__pos, yythunkpos15= yy->__thunkpos; if (!yy_end_of_line(yy)) goto l16; goto l15;- l16:; yy->__pos= yypos15; yy->__thunkpos= yythunkpos15; if (!yymatchDot(yy)) goto l9;
- }
- l15:;
- }
- l10:;
- yyprintf((stderr, " ok %s @ %s\n", "braces", yy->__buf+yy->__pos));
- return 1;
- l9:; yy->__pos= yypos0; yy->__thunkpos= yythunkpos0;
- yyprintf((stderr, " fail %s @ %s\n", "braces", yy->__buf+yy->__pos));
- return 0;
-}
-YY_RULE(int) yy_range(yycontext *yy)
-{ int yypos0= yy->__pos, yythunkpos0= yy->__thunkpos;- yyprintf((stderr, "%s\n", "range"));
- { int yypos18= yy->__pos, yythunkpos18= yy->__thunkpos; if (!yy_char(yy)) goto l19; if (!yymatchChar(yy, '-')) goto l19; if (!yy_char(yy)) goto l19; goto l18;- l19:; yy->__pos= yypos18; yy->__thunkpos= yythunkpos18; if (!yy_char(yy)) goto l17;
- }
- l18:;
- yyprintf((stderr, " ok %s @ %s\n", "range", yy->__buf+yy->__pos));
- return 1;
- l17:; yy->__pos= yypos0; yy->__thunkpos= yythunkpos0;
- yyprintf((stderr, " fail %s @ %s\n", "range", yy->__buf+yy->__pos));
- return 0;
-}
-YY_RULE(int) yy_char(yycontext *yy)
-{ int yypos0= yy->__pos, yythunkpos0= yy->__thunkpos;- yyprintf((stderr, "%s\n", "char"));
- { int yypos21= yy->__pos, yythunkpos21= yy->__thunkpos; if (!yymatchChar(yy, '\\')) goto l22; if (!yymatchClass(yy, (unsigned char *)"\000\000\000\000\204\040\000\000\000\000\000\070\146\100\124\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000")) goto l22; goto l21;- l22:; yy->__pos= yypos21; yy->__thunkpos= yythunkpos21; if (!yymatchChar(yy, '\\')) goto l23; if (!yymatchChar(yy, 'x')) goto l23; if (!yymatchClass(yy, (unsigned char *)"\000\000\000\000\000\000\377\003\176\000\000\000\176\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000")) goto l23; if (!yymatchClass(yy, (unsigned char *)"\000\000\000\000\000\000\377\003\176\000\000\000\176\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000")) goto l23; goto l21;
- l23:; yy->__pos= yypos21; yy->__thunkpos= yythunkpos21; if (!yymatchChar(yy, '\\')) goto l24; if (!yymatchChar(yy, 'x')) goto l24; if (!yymatchClass(yy, (unsigned char *)"\000\000\000\000\000\000\377\003\176\000\000\000\176\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000")) goto l24; goto l21;
- l24:; yy->__pos= yypos21; yy->__thunkpos= yythunkpos21; if (!yymatchChar(yy, '\\')) goto l25; if (!yymatchClass(yy, (unsigned char *)"\000\000\000\000\000\000\017\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000")) goto l25; if (!yymatchClass(yy, (unsigned char *)"\000\000\000\000\000\000\377\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000")) goto l25; if (!yymatchClass(yy, (unsigned char *)"\000\000\000\000\000\000\377\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000")) goto l25; goto l21;
- l25:; yy->__pos= yypos21; yy->__thunkpos= yythunkpos21; if (!yymatchChar(yy, '\\')) goto l26; if (!yymatchClass(yy, (unsigned char *)"\000\000\000\000\000\000\377\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000")) goto l26;
- { int yypos27= yy->__pos, yythunkpos27= yy->__thunkpos; if (!yymatchClass(yy, (unsigned char *)"\000\000\000\000\000\000\377\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000")) goto l27; goto l28;- l27:; yy->__pos= yypos27; yy->__thunkpos= yythunkpos27;
- }
- l28:; goto l21;
- l26:; yy->__pos= yypos21; yy->__thunkpos= yythunkpos21;
- { int yypos29= yy->__pos, yythunkpos29= yy->__thunkpos; if (!yymatchChar(yy, '\\')) goto l29; goto l20;- l29:; yy->__pos= yypos29; yy->__thunkpos= yythunkpos29;
- } if (!yymatchDot(yy)) goto l20;
- }
- l21:;
- yyprintf((stderr, " ok %s @ %s\n", "char", yy->__buf+yy->__pos));
- return 1;
- l20:; yy->__pos= yypos0; yy->__thunkpos= yythunkpos0;
- yyprintf((stderr, " fail %s @ %s\n", "char", yy->__buf+yy->__pos));
- return 0;
-}
-YY_RULE(int) yy_END(yycontext *yy)
-{ int yypos0= yy->__pos, yythunkpos0= yy->__thunkpos;- yyprintf((stderr, "%s\n", "END")); if (!yymatchChar(yy, '>')) goto l30; if (!yy__(yy)) goto l30;
- yyprintf((stderr, " ok %s @ %s\n", "END", yy->__buf+yy->__pos));
- return 1;
- l30:; yy->__pos= yypos0; yy->__thunkpos= yythunkpos0;
- yyprintf((stderr, " fail %s @ %s\n", "END", yy->__buf+yy->__pos));
- return 0;
-}
-YY_RULE(int) yy_BEGIN(yycontext *yy)
-{ int yypos0= yy->__pos, yythunkpos0= yy->__thunkpos;- yyprintf((stderr, "%s\n", "BEGIN")); if (!yymatchChar(yy, '<')) goto l31; if (!yy__(yy)) goto l31;
- yyprintf((stderr, " ok %s @ %s\n", "BEGIN", yy->__buf+yy->__pos));
- return 1;
- l31:; yy->__pos= yypos0; yy->__thunkpos= yythunkpos0;
- yyprintf((stderr, " fail %s @ %s\n", "BEGIN", yy->__buf+yy->__pos));
- return 0;
-}
-YY_RULE(int) yy_DOT(yycontext *yy)
-{ int yypos0= yy->__pos, yythunkpos0= yy->__thunkpos;- yyprintf((stderr, "%s\n", "DOT")); if (!yymatchChar(yy, '.')) goto l32; if (!yy__(yy)) goto l32;
- yyprintf((stderr, " ok %s @ %s\n", "DOT", yy->__buf+yy->__pos));
- return 1;
- l32:; yy->__pos= yypos0; yy->__thunkpos= yythunkpos0;
- yyprintf((stderr, " fail %s @ %s\n", "DOT", yy->__buf+yy->__pos));
- return 0;
-}
-YY_RULE(int) yy_class(yycontext *yy)
-{ int yypos0= yy->__pos, yythunkpos0= yy->__thunkpos;- yyprintf((stderr, "%s\n", "class")); if (!yymatchChar(yy, '[')) goto l33; yyText(yy, yy->__begin, yy->__end); {-#define yytext yy->__text
-#define yyleng yy->__textlen
-if (!(YY_BEGIN)) goto l33;
-#undef yytext
-#undef yyleng
- }
- l34:;
- { int yypos35= yy->__pos, yythunkpos35= yy->__thunkpos;- { int yypos36= yy->__pos, yythunkpos36= yy->__thunkpos; if (!yymatchChar(yy, ']')) goto l36; goto l35;- l36:; yy->__pos= yypos36; yy->__thunkpos= yythunkpos36;
- } if (!yy_range(yy)) goto l35; goto l34;
- l35:; yy->__pos= yypos35; yy->__thunkpos= yythunkpos35;
- } yyText(yy, yy->__begin, yy->__end); {-#define yytext yy->__text
-#define yyleng yy->__textlen
-if (!(YY_END)) goto l33;
-#undef yytext
-#undef yyleng
- } if (!yymatchChar(yy, ']')) goto l33; if (!yy__(yy)) goto l33;
- yyprintf((stderr, " ok %s @ %s\n", "class", yy->__buf+yy->__pos));
- return 1;
- l33:; yy->__pos= yypos0; yy->__thunkpos= yythunkpos0;
- yyprintf((stderr, " fail %s @ %s\n", "class", yy->__buf+yy->__pos));
- return 0;
-}
-YY_RULE(int) yy_literal(yycontext *yy)
-{ int yypos0= yy->__pos, yythunkpos0= yy->__thunkpos;- yyprintf((stderr, "%s\n", "literal"));
- { int yypos38= yy->__pos, yythunkpos38= yy->__thunkpos; if (!yymatchClass(yy, (unsigned char *)"\000\000\000\000\200\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000")) goto l39; yyText(yy, yy->__begin, yy->__end); {-#define yytext yy->__text
-#define yyleng yy->__textlen
-if (!(YY_BEGIN)) goto l39;
-#undef yytext
-#undef yyleng
- }
- l40:;
- { int yypos41= yy->__pos, yythunkpos41= yy->__thunkpos;- { int yypos42= yy->__pos, yythunkpos42= yy->__thunkpos; if (!yymatchClass(yy, (unsigned char *)"\000\000\000\000\200\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000")) goto l42; goto l41;- l42:; yy->__pos= yypos42; yy->__thunkpos= yythunkpos42;
- } if (!yy_char(yy)) goto l41; goto l40;
- l41:; yy->__pos= yypos41; yy->__thunkpos= yythunkpos41;
- } yyText(yy, yy->__begin, yy->__end); {-#define yytext yy->__text
-#define yyleng yy->__textlen
-if (!(YY_END)) goto l39;
-#undef yytext
-#undef yyleng
- } if (!yymatchClass(yy, (unsigned char *)"\000\000\000\000\200\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000")) goto l39; if (!yy__(yy)) goto l39; goto l38;
- l39:; yy->__pos= yypos38; yy->__thunkpos= yythunkpos38; if (!yymatchClass(yy, (unsigned char *)"\000\000\000\000\004\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000")) goto l37; yyText(yy, yy->__begin, yy->__end); {-#define yytext yy->__text
-#define yyleng yy->__textlen
-if (!(YY_BEGIN)) goto l37;
-#undef yytext
-#undef yyleng
- }
- l43:;
- { int yypos44= yy->__pos, yythunkpos44= yy->__thunkpos;- { int yypos45= yy->__pos, yythunkpos45= yy->__thunkpos; if (!yymatchClass(yy, (unsigned char *)"\000\000\000\000\004\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000")) goto l45; goto l44;- l45:; yy->__pos= yypos45; yy->__thunkpos= yythunkpos45;
- } if (!yy_char(yy)) goto l44; goto l43;
- l44:; yy->__pos= yypos44; yy->__thunkpos= yythunkpos44;
- } yyText(yy, yy->__begin, yy->__end); {-#define yytext yy->__text
-#define yyleng yy->__textlen
-if (!(YY_END)) goto l37;
-#undef yytext
-#undef yyleng
- } if (!yymatchClass(yy, (unsigned char *)"\000\000\000\000\004\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000")) goto l37; if (!yy__(yy)) goto l37;
- }
- l38:;
- yyprintf((stderr, " ok %s @ %s\n", "literal", yy->__buf+yy->__pos));
- return 1;
- l37:; yy->__pos= yypos0; yy->__thunkpos= yythunkpos0;
- yyprintf((stderr, " fail %s @ %s\n", "literal", yy->__buf+yy->__pos));
- return 0;
-}
-YY_RULE(int) yy_CLOSE(yycontext *yy)
-{ int yypos0= yy->__pos, yythunkpos0= yy->__thunkpos;- yyprintf((stderr, "%s\n", "CLOSE")); if (!yymatchChar(yy, ')')) goto l46; if (!yy__(yy)) goto l46;
- yyprintf((stderr, " ok %s @ %s\n", "CLOSE", yy->__buf+yy->__pos));
- return 1;
- l46:; yy->__pos= yypos0; yy->__thunkpos= yythunkpos0;
- yyprintf((stderr, " fail %s @ %s\n", "CLOSE", yy->__buf+yy->__pos));
- return 0;
-}
-YY_RULE(int) yy_OPEN(yycontext *yy)
-{ int yypos0= yy->__pos, yythunkpos0= yy->__thunkpos;- yyprintf((stderr, "%s\n", "OPEN")); if (!yymatchChar(yy, '(')) goto l47; if (!yy__(yy)) goto l47;- yyprintf((stderr, " ok %s @ %s\n", "OPEN", yy->__buf+yy->__pos));
- return 1;
- l47:; yy->__pos= yypos0; yy->__thunkpos= yythunkpos0;
- yyprintf((stderr, " fail %s @ %s\n", "OPEN", yy->__buf+yy->__pos));
- return 0;
-}
-YY_RULE(int) yy_COLON(yycontext *yy)
-{ int yypos0= yy->__pos, yythunkpos0= yy->__thunkpos;- yyprintf((stderr, "%s\n", "COLON")); if (!yymatchChar(yy, ':')) goto l48; if (!yy__(yy)) goto l48;
- yyprintf((stderr, " ok %s @ %s\n", "COLON", yy->__buf+yy->__pos));
- return 1;
- l48:; yy->__pos= yypos0; yy->__thunkpos= yythunkpos0;
- yyprintf((stderr, " fail %s @ %s\n", "COLON", yy->__buf+yy->__pos));
- return 0;
-}
-YY_RULE(int) yy_PLUS(yycontext *yy)
-{ int yypos0= yy->__pos, yythunkpos0= yy->__thunkpos;- yyprintf((stderr, "%s\n", "PLUS")); if (!yymatchChar(yy, '+')) goto l49; if (!yy__(yy)) goto l49;
- yyprintf((stderr, " ok %s @ %s\n", "PLUS", yy->__buf+yy->__pos));
- return 1;
- l49:; yy->__pos= yypos0; yy->__thunkpos= yythunkpos0;
- yyprintf((stderr, " fail %s @ %s\n", "PLUS", yy->__buf+yy->__pos));
- return 0;
-}
-YY_RULE(int) yy_STAR(yycontext *yy)
-{ int yypos0= yy->__pos, yythunkpos0= yy->__thunkpos;- yyprintf((stderr, "%s\n", "STAR")); if (!yymatchChar(yy, '*')) goto l50; if (!yy__(yy)) goto l50;
- yyprintf((stderr, " ok %s @ %s\n", "STAR", yy->__buf+yy->__pos));
- return 1;
- l50:; yy->__pos= yypos0; yy->__thunkpos= yythunkpos0;
- yyprintf((stderr, " fail %s @ %s\n", "STAR", yy->__buf+yy->__pos));
- return 0;
-}
-YY_RULE(int) yy_QUESTION(yycontext *yy)
-{ int yypos0= yy->__pos, yythunkpos0= yy->__thunkpos;- yyprintf((stderr, "%s\n", "QUESTION")); if (!yymatchChar(yy, '?')) goto l51; if (!yy__(yy)) goto l51;
- yyprintf((stderr, " ok %s @ %s\n", "QUESTION", yy->__buf+yy->__pos));
- return 1;
- l51:; yy->__pos= yypos0; yy->__thunkpos= yythunkpos0;
- yyprintf((stderr, " fail %s @ %s\n", "QUESTION", yy->__buf+yy->__pos));
- return 0;
-}
-YY_RULE(int) yy_primary(yycontext *yy)
-{ int yypos0= yy->__pos, yythunkpos0= yy->__thunkpos;- yyprintf((stderr, "%s\n", "primary"));
- { int yypos53= yy->__pos, yythunkpos53= yy->__thunkpos; if (!yy_identifier(yy)) goto l54; yyDo(yy, yy_1_primary, yy->__begin, yy->__end); if (!yy_COLON(yy)) goto l54; if (!yy_identifier(yy)) goto l54;- { int yypos55= yy->__pos, yythunkpos55= yy->__thunkpos; if (!yy_EQUAL(yy)) goto l55; goto l54;- l55:; yy->__pos= yypos55; yy->__thunkpos= yythunkpos55;
- } yyDo(yy, yy_2_primary, yy->__begin, yy->__end); goto l53;
- l54:; yy->__pos= yypos53; yy->__thunkpos= yythunkpos53; if (!yy_identifier(yy)) goto l56;
- { int yypos57= yy->__pos, yythunkpos57= yy->__thunkpos; if (!yy_EQUAL(yy)) goto l57; goto l56;- l57:; yy->__pos= yypos57; yy->__thunkpos= yythunkpos57;
- } yyDo(yy, yy_3_primary, yy->__begin, yy->__end); goto l53;
- l56:; yy->__pos= yypos53; yy->__thunkpos= yythunkpos53; if (!yy_OPEN(yy)) goto l58; if (!yy_expression(yy)) goto l58; if (!yy_CLOSE(yy)) goto l58; goto l53;
- l58:; yy->__pos= yypos53; yy->__thunkpos= yythunkpos53; if (!yy_literal(yy)) goto l59; yyDo(yy, yy_4_primary, yy->__begin, yy->__end); goto l53;
- l59:; yy->__pos= yypos53; yy->__thunkpos= yythunkpos53; if (!yy_class(yy)) goto l60; yyDo(yy, yy_5_primary, yy->__begin, yy->__end); goto l53;
- l60:; yy->__pos= yypos53; yy->__thunkpos= yythunkpos53; if (!yy_DOT(yy)) goto l61; yyDo(yy, yy_6_primary, yy->__begin, yy->__end); goto l53;
- l61:; yy->__pos= yypos53; yy->__thunkpos= yythunkpos53; if (!yy_action(yy)) goto l62; yyDo(yy, yy_7_primary, yy->__begin, yy->__end); goto l53;
- l62:; yy->__pos= yypos53; yy->__thunkpos= yythunkpos53; if (!yy_BEGIN(yy)) goto l63; yyDo(yy, yy_8_primary, yy->__begin, yy->__end); goto l53;
- l63:; yy->__pos= yypos53; yy->__thunkpos= yythunkpos53; if (!yy_END(yy)) goto l52; yyDo(yy, yy_9_primary, yy->__begin, yy->__end);
- }
- l53:;
- yyprintf((stderr, " ok %s @ %s\n", "primary", yy->__buf+yy->__pos));
- return 1;
- l52:; yy->__pos= yypos0; yy->__thunkpos= yythunkpos0;
- yyprintf((stderr, " fail %s @ %s\n", "primary", yy->__buf+yy->__pos));
- return 0;
-}
-YY_RULE(int) yy_NOT(yycontext *yy)
-{ int yypos0= yy->__pos, yythunkpos0= yy->__thunkpos;- yyprintf((stderr, "%s\n", "NOT")); if (!yymatchChar(yy, '!')) goto l64; if (!yy__(yy)) goto l64;
- yyprintf((stderr, " ok %s @ %s\n", "NOT", yy->__buf+yy->__pos));
- return 1;
- l64:; yy->__pos= yypos0; yy->__thunkpos= yythunkpos0;
- yyprintf((stderr, " fail %s @ %s\n", "NOT", yy->__buf+yy->__pos));
- return 0;
-}
-YY_RULE(int) yy_suffix(yycontext *yy)
-{ int yypos0= yy->__pos, yythunkpos0= yy->__thunkpos;- yyprintf((stderr, "%s\n", "suffix")); if (!yy_primary(yy)) goto l65;
- { int yypos66= yy->__pos, yythunkpos66= yy->__thunkpos;- { int yypos68= yy->__pos, yythunkpos68= yy->__thunkpos; if (!yy_QUESTION(yy)) goto l69; yyDo(yy, yy_1_suffix, yy->__begin, yy->__end); goto l68;- l69:; yy->__pos= yypos68; yy->__thunkpos= yythunkpos68; if (!yy_STAR(yy)) goto l70; yyDo(yy, yy_2_suffix, yy->__begin, yy->__end); goto l68;
- l70:; yy->__pos= yypos68; yy->__thunkpos= yythunkpos68; if (!yy_PLUS(yy)) goto l66; yyDo(yy, yy_3_suffix, yy->__begin, yy->__end);
- }
- l68:; goto l67;
- l66:; yy->__pos= yypos66; yy->__thunkpos= yythunkpos66;
- }
- l67:;
- yyprintf((stderr, " ok %s @ %s\n", "suffix", yy->__buf+yy->__pos));
- return 1;
- l65:; yy->__pos= yypos0; yy->__thunkpos= yythunkpos0;
- yyprintf((stderr, " fail %s @ %s\n", "suffix", yy->__buf+yy->__pos));
- return 0;
-}
-YY_RULE(int) yy_AND(yycontext *yy)
-{ int yypos0= yy->__pos, yythunkpos0= yy->__thunkpos;- yyprintf((stderr, "%s\n", "AND")); if (!yymatchChar(yy, '&')) goto l71; if (!yy__(yy)) goto l71;
- yyprintf((stderr, " ok %s @ %s\n", "AND", yy->__buf+yy->__pos));
- return 1;
- l71:; yy->__pos= yypos0; yy->__thunkpos= yythunkpos0;
- yyprintf((stderr, " fail %s @ %s\n", "AND", yy->__buf+yy->__pos));
- return 0;
-}
-YY_RULE(int) yy_AT(yycontext *yy)
-{ int yypos0= yy->__pos, yythunkpos0= yy->__thunkpos;- yyprintf((stderr, "%s\n", "AT")); if (!yymatchChar(yy, '@')) goto l72; if (!yy__(yy)) goto l72;
- yyprintf((stderr, " ok %s @ %s\n", "AT", yy->__buf+yy->__pos));
- return 1;
- l72:; yy->__pos= yypos0; yy->__thunkpos= yythunkpos0;
- yyprintf((stderr, " fail %s @ %s\n", "AT", yy->__buf+yy->__pos));
- return 0;
-}
-YY_RULE(int) yy_action(yycontext *yy)
-{ int yypos0= yy->__pos, yythunkpos0= yy->__thunkpos;- yyprintf((stderr, "%s\n", "action")); if (!yymatchChar(yy, '{')) goto l73; yyDo(yy, yy_1_action, yy->__begin, yy->__end); yyText(yy, yy->__begin, yy->__end); {-#define yytext yy->__text
-#define yyleng yy->__textlen
-if (!(YY_BEGIN)) goto l73;
-#undef yytext
-#undef yyleng
- }
- l74:;
- { int yypos75= yy->__pos, yythunkpos75= yy->__thunkpos; if (!yy_braces(yy)) goto l75; goto l74;- l75:; yy->__pos= yypos75; yy->__thunkpos= yythunkpos75;
- } yyText(yy, yy->__begin, yy->__end); {-#define yytext yy->__text
-#define yyleng yy->__textlen
-if (!(YY_END)) goto l73;
-#undef yytext
-#undef yyleng
- } if (!yymatchChar(yy, '}')) goto l73; if (!yy__(yy)) goto l73;
- yyprintf((stderr, " ok %s @ %s\n", "action", yy->__buf+yy->__pos));
- return 1;
- l73:; yy->__pos= yypos0; yy->__thunkpos= yythunkpos0;
- yyprintf((stderr, " fail %s @ %s\n", "action", yy->__buf+yy->__pos));
- return 0;
-}
-YY_RULE(int) yy_TILDE(yycontext *yy)
-{ int yypos0= yy->__pos, yythunkpos0= yy->__thunkpos;- yyprintf((stderr, "%s\n", "TILDE")); if (!yymatchChar(yy, '~')) goto l76; if (!yy__(yy)) goto l76;
- yyprintf((stderr, " ok %s @ %s\n", "TILDE", yy->__buf+yy->__pos));
- return 1;
- l76:; yy->__pos= yypos0; yy->__thunkpos= yythunkpos0;
- yyprintf((stderr, " fail %s @ %s\n", "TILDE", yy->__buf+yy->__pos));
- return 0;
-}
-YY_RULE(int) yy_prefix(yycontext *yy)
-{ int yypos0= yy->__pos, yythunkpos0= yy->__thunkpos;- yyprintf((stderr, "%s\n", "prefix"));
- { int yypos78= yy->__pos, yythunkpos78= yy->__thunkpos; if (!yy_AT(yy)) goto l79; if (!yy_action(yy)) goto l79; yyDo(yy, yy_1_prefix, yy->__begin, yy->__end); goto l78;- l79:; yy->__pos= yypos78; yy->__thunkpos= yythunkpos78; if (!yy_AND(yy)) goto l80; if (!yy_action(yy)) goto l80; yyDo(yy, yy_2_prefix, yy->__begin, yy->__end); goto l78;
- l80:; yy->__pos= yypos78; yy->__thunkpos= yythunkpos78; if (!yy_AND(yy)) goto l81; if (!yy_suffix(yy)) goto l81; yyDo(yy, yy_3_prefix, yy->__begin, yy->__end); goto l78;
- l81:; yy->__pos= yypos78; yy->__thunkpos= yythunkpos78; if (!yy_NOT(yy)) goto l82; if (!yy_suffix(yy)) goto l82; yyDo(yy, yy_4_prefix, yy->__begin, yy->__end); goto l78;
- l82:; yy->__pos= yypos78; yy->__thunkpos= yythunkpos78; if (!yy_suffix(yy)) goto l77;
- }
- l78:;
- yyprintf((stderr, " ok %s @ %s\n", "prefix", yy->__buf+yy->__pos));
- return 1;
- l77:; yy->__pos= yypos0; yy->__thunkpos= yythunkpos0;
- yyprintf((stderr, " fail %s @ %s\n", "prefix", yy->__buf+yy->__pos));
- return 0;
-}
-YY_RULE(int) yy_error(yycontext *yy)
-{ int yypos0= yy->__pos, yythunkpos0= yy->__thunkpos;- yyprintf((stderr, "%s\n", "error")); if (!yy_prefix(yy)) goto l83;
- { int yypos84= yy->__pos, yythunkpos84= yy->__thunkpos; if (!yy_TILDE(yy)) goto l84; if (!yy_action(yy)) goto l84; yyDo(yy, yy_1_error, yy->__begin, yy->__end); goto l85;- l84:; yy->__pos= yypos84; yy->__thunkpos= yythunkpos84;
- }
- l85:;
- yyprintf((stderr, " ok %s @ %s\n", "error", yy->__buf+yy->__pos));
- return 1;
- l83:; yy->__pos= yypos0; yy->__thunkpos= yythunkpos0;
- yyprintf((stderr, " fail %s @ %s\n", "error", yy->__buf+yy->__pos));
- return 0;
-}
-YY_RULE(int) yy_BAR(yycontext *yy)
-{ int yypos0= yy->__pos, yythunkpos0= yy->__thunkpos;- yyprintf((stderr, "%s\n", "BAR")); if (!yymatchChar(yy, '|')) goto l86; if (!yy__(yy)) goto l86;
- yyprintf((stderr, " ok %s @ %s\n", "BAR", yy->__buf+yy->__pos));
- return 1;
- l86:; yy->__pos= yypos0; yy->__thunkpos= yythunkpos0;
- yyprintf((stderr, " fail %s @ %s\n", "BAR", yy->__buf+yy->__pos));
- return 0;
-}
-YY_RULE(int) yy_sequence(yycontext *yy)
-{ int yypos0= yy->__pos, yythunkpos0= yy->__thunkpos;- yyprintf((stderr, "%s\n", "sequence")); if (!yy_error(yy)) goto l87;
- l88:;
- { int yypos89= yy->__pos, yythunkpos89= yy->__thunkpos; if (!yy_error(yy)) goto l89; yyDo(yy, yy_1_sequence, yy->__begin, yy->__end); goto l88;- l89:; yy->__pos= yypos89; yy->__thunkpos= yythunkpos89;
- }
- yyprintf((stderr, " ok %s @ %s\n", "sequence", yy->__buf+yy->__pos));
- return 1;
- l87:; yy->__pos= yypos0; yy->__thunkpos= yythunkpos0;
- yyprintf((stderr, " fail %s @ %s\n", "sequence", yy->__buf+yy->__pos));
- return 0;
-}
-YY_RULE(int) yy_SEMICOLON(yycontext *yy)
-{ int yypos0= yy->__pos, yythunkpos0= yy->__thunkpos;- yyprintf((stderr, "%s\n", "SEMICOLON")); if (!yymatchChar(yy, ';')) goto l90; if (!yy__(yy)) goto l90;
- yyprintf((stderr, " ok %s @ %s\n", "SEMICOLON", yy->__buf+yy->__pos));
- return 1;
- l90:; yy->__pos= yypos0; yy->__thunkpos= yythunkpos0;
- yyprintf((stderr, " fail %s @ %s\n", "SEMICOLON", yy->__buf+yy->__pos));
- return 0;
-}
-YY_RULE(int) yy_expression(yycontext *yy)
-{ int yypos0= yy->__pos, yythunkpos0= yy->__thunkpos;- yyprintf((stderr, "%s\n", "expression")); if (!yy_sequence(yy)) goto l91;
- l92:;
- { int yypos93= yy->__pos, yythunkpos93= yy->__thunkpos; if (!yy_BAR(yy)) goto l93; if (!yy_sequence(yy)) goto l93; yyDo(yy, yy_1_expression, yy->__begin, yy->__end); goto l92;- l93:; yy->__pos= yypos93; yy->__thunkpos= yythunkpos93;
- }
- yyprintf((stderr, " ok %s @ %s\n", "expression", yy->__buf+yy->__pos));
- return 1;
- l91:; yy->__pos= yypos0; yy->__thunkpos= yythunkpos0;
- yyprintf((stderr, " fail %s @ %s\n", "expression", yy->__buf+yy->__pos));
- return 0;
-}
-YY_RULE(int) yy_EQUAL(yycontext *yy)
-{ int yypos0= yy->__pos, yythunkpos0= yy->__thunkpos;- yyprintf((stderr, "%s\n", "EQUAL")); if (!yymatchChar(yy, '=')) goto l94; if (!yy__(yy)) goto l94;
- yyprintf((stderr, " ok %s @ %s\n", "EQUAL", yy->__buf+yy->__pos));
- return 1;
- l94:; yy->__pos= yypos0; yy->__thunkpos= yythunkpos0;
- yyprintf((stderr, " fail %s @ %s\n", "EQUAL", yy->__buf+yy->__pos));
- return 0;
-}
-YY_RULE(int) yy_identifier(yycontext *yy)
-{ int yypos0= yy->__pos, yythunkpos0= yy->__thunkpos;- yyprintf((stderr, "%s\n", "identifier")); yyText(yy, yy->__begin, yy->__end); {-#define yytext yy->__text
-#define yyleng yy->__textlen
-if (!(YY_BEGIN)) goto l95;
-#undef yytext
-#undef yyleng
- } if (!yymatchClass(yy, (unsigned char *)"\000\000\000\000\000\040\000\000\376\377\377\207\376\377\377\007\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000")) goto l95;
- l96:;
- { int yypos97= yy->__pos, yythunkpos97= yy->__thunkpos; if (!yymatchClass(yy, (unsigned char *)"\000\000\000\000\000\040\377\003\376\377\377\207\376\377\377\007\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000")) goto l97; goto l96;- l97:; yy->__pos= yypos97; yy->__thunkpos= yythunkpos97;
- } yyText(yy, yy->__begin, yy->__end); {-#define yytext yy->__text
-#define yyleng yy->__textlen
-if (!(YY_END)) goto l95;
-#undef yytext
-#undef yyleng
- } if (!yy__(yy)) goto l95;
- yyprintf((stderr, " ok %s @ %s\n", "identifier", yy->__buf+yy->__pos));
- return 1;
- l95:; yy->__pos= yypos0; yy->__thunkpos= yythunkpos0;
- yyprintf((stderr, " fail %s @ %s\n", "identifier", yy->__buf+yy->__pos));
- return 0;
-}
-YY_RULE(int) yy_RPERCENT(yycontext *yy)
-{ int yypos0= yy->__pos, yythunkpos0= yy->__thunkpos;- yyprintf((stderr, "%s\n", "RPERCENT")); if (!yymatchString(yy, "%}")) goto l98; if (!yy__(yy)) goto l98;
- yyprintf((stderr, " ok %s @ %s\n", "RPERCENT", yy->__buf+yy->__pos));
- return 1;
- l98:; yy->__pos= yypos0; yy->__thunkpos= yythunkpos0;
- yyprintf((stderr, " fail %s @ %s\n", "RPERCENT", yy->__buf+yy->__pos));
- return 0;
-}
-YY_RULE(int) yy_end_of_line(yycontext *yy)
-{ int yypos0= yy->__pos, yythunkpos0= yy->__thunkpos;- yyprintf((stderr, "%s\n", "end_of_line"));
- { int yypos100= yy->__pos, yythunkpos100= yy->__thunkpos; if (!yymatchString(yy, "\r\n")) goto l101; goto l100;- l101:; yy->__pos= yypos100; yy->__thunkpos= yythunkpos100; if (!yymatchChar(yy, '\n')) goto l102; goto l100;
- l102:; yy->__pos= yypos100; yy->__thunkpos= yythunkpos100; if (!yymatchChar(yy, '\r')) goto l99;
- }
- l100:; yyDo(yy, yy_1_end_of_line, yy->__begin, yy->__end);
- yyprintf((stderr, " ok %s @ %s\n", "end_of_line", yy->__buf+yy->__pos));
- return 1;
- l99:; yy->__pos= yypos0; yy->__thunkpos= yythunkpos0;
- yyprintf((stderr, " fail %s @ %s\n", "end_of_line", yy->__buf+yy->__pos));
- return 0;
-}
-YY_RULE(int) yy_end_of_file(yycontext *yy)
-{ int yypos0= yy->__pos, yythunkpos0= yy->__thunkpos;- yyprintf((stderr, "%s\n", "end_of_file"));
- { int yypos104= yy->__pos, yythunkpos104= yy->__thunkpos; if (!yymatchDot(yy)) goto l104; goto l103;- l104:; yy->__pos= yypos104; yy->__thunkpos= yythunkpos104;
- }
- yyprintf((stderr, " ok %s @ %s\n", "end_of_file", yy->__buf+yy->__pos));
- return 1;
- l103:; yy->__pos= yypos0; yy->__thunkpos= yythunkpos0;
- yyprintf((stderr, " fail %s @ %s\n", "end_of_file", yy->__buf+yy->__pos));
- return 0;
-}
-YY_RULE(int) yy_trailer(yycontext *yy)
-{ int yypos0= yy->__pos, yythunkpos0= yy->__thunkpos;- yyprintf((stderr, "%s\n", "trailer")); if (!yymatchString(yy, "%%")) goto l105; yyDo(yy, yy_1_trailer, yy->__begin, yy->__end); yyText(yy, yy->__begin, yy->__end); {-#define yytext yy->__text
-#define yyleng yy->__textlen
-if (!(YY_BEGIN)) goto l105;
-#undef yytext
-#undef yyleng
- }
- l106:;
- { int yypos107= yy->__pos, yythunkpos107= yy->__thunkpos; if (!yymatchDot(yy)) goto l107; goto l106;- l107:; yy->__pos= yypos107; yy->__thunkpos= yythunkpos107;
- } yyText(yy, yy->__begin, yy->__end); {-#define yytext yy->__text
-#define yyleng yy->__textlen
-if (!(YY_END)) goto l105;
-#undef yytext
-#undef yyleng
- } yyDo(yy, yy_2_trailer, yy->__begin, yy->__end);
- yyprintf((stderr, " ok %s @ %s\n", "trailer", yy->__buf+yy->__pos));
- return 1;
- l105:; yy->__pos= yypos0; yy->__thunkpos= yythunkpos0;
- yyprintf((stderr, " fail %s @ %s\n", "trailer", yy->__buf+yy->__pos));
- return 0;
-}
-YY_RULE(int) yy_definition(yycontext *yy)
-{ int yypos0= yy->__pos, yythunkpos0= yy->__thunkpos;- yyprintf((stderr, "%s\n", "definition")); if (!yy_identifier(yy)) goto l108; yyDo(yy, yy_1_definition, yy->__begin, yy->__end); if (!yy_EQUAL(yy)) goto l108; if (!yy_expression(yy)) goto l108; yyDo(yy, yy_2_definition, yy->__begin, yy->__end);
- { int yypos109= yy->__pos, yythunkpos109= yy->__thunkpos; if (!yy_SEMICOLON(yy)) goto l109; goto l110;- l109:; yy->__pos= yypos109; yy->__thunkpos= yythunkpos109;
- }
- l110:;
- yyprintf((stderr, " ok %s @ %s\n", "definition", yy->__buf+yy->__pos));
- return 1;
- l108:; yy->__pos= yypos0; yy->__thunkpos= yythunkpos0;
- yyprintf((stderr, " fail %s @ %s\n", "definition", yy->__buf+yy->__pos));
- return 0;
-}
-YY_RULE(int) yy_declaration(yycontext *yy)
-{ int yypos0= yy->__pos, yythunkpos0= yy->__thunkpos;- yyprintf((stderr, "%s\n", "declaration")); if (!yymatchString(yy, "%{")) goto l111; yyDo(yy, yy_1_declaration, yy->__begin, yy->__end); yyText(yy, yy->__begin, yy->__end); {-#define yytext yy->__text
-#define yyleng yy->__textlen
-if (!(YY_BEGIN)) goto l111;
-#undef yytext
-#undef yyleng
- }
- l112:;
- { int yypos113= yy->__pos, yythunkpos113= yy->__thunkpos;- { int yypos114= yy->__pos, yythunkpos114= yy->__thunkpos; if (!yymatchString(yy, "%}")) goto l114; goto l113;- l114:; yy->__pos= yypos114; yy->__thunkpos= yythunkpos114;
- }
- { int yypos115= yy->__pos, yythunkpos115= yy->__thunkpos; if (!yy_end_of_line(yy)) goto l116; goto l115;- l116:; yy->__pos= yypos115; yy->__thunkpos= yythunkpos115; if (!yymatchDot(yy)) goto l113;
- }
- l115:; goto l112;
- l113:; yy->__pos= yypos113; yy->__thunkpos= yythunkpos113;
- } yyText(yy, yy->__begin, yy->__end); {-#define yytext yy->__text
-#define yyleng yy->__textlen
-if (!(YY_END)) goto l111;
-#undef yytext
-#undef yyleng
- } if (!yy_RPERCENT(yy)) goto l111; yyDo(yy, yy_2_declaration, yy->__begin, yy->__end);
- yyprintf((stderr, " ok %s @ %s\n", "declaration", yy->__buf+yy->__pos));
- return 1;
- l111:; yy->__pos= yypos0; yy->__thunkpos= yythunkpos0;
- yyprintf((stderr, " fail %s @ %s\n", "declaration", yy->__buf+yy->__pos));
- return 0;
-}
-YY_RULE(int) yy__(yycontext *yy)
-{- yyprintf((stderr, "%s\n", "_"));
- l118:;
- { int yypos119= yy->__pos, yythunkpos119= yy->__thunkpos;- { int yypos120= yy->__pos, yythunkpos120= yy->__thunkpos; if (!yy_space(yy)) goto l121; goto l120;- l121:; yy->__pos= yypos120; yy->__thunkpos= yythunkpos120; if (!yy_comment(yy)) goto l119;
- }
- l120:; goto l118;
- l119:; yy->__pos= yypos119; yy->__thunkpos= yythunkpos119;
- }
- yyprintf((stderr, " ok %s @ %s\n", "_", yy->__buf+yy->__pos));
- return 1;
-}
-YY_RULE(int) yy_grammar(yycontext *yy)
-{ int yypos0= yy->__pos, yythunkpos0= yy->__thunkpos;- yyprintf((stderr, "%s\n", "grammar")); if (!yy__(yy)) goto l122;
- { int yypos125= yy->__pos, yythunkpos125= yy->__thunkpos; if (!yy_declaration(yy)) goto l126; goto l125;- l126:; yy->__pos= yypos125; yy->__thunkpos= yythunkpos125; if (!yy_definition(yy)) goto l122;
- }
- l125:;
- l123:;
- { int yypos124= yy->__pos, yythunkpos124= yy->__thunkpos;- { int yypos127= yy->__pos, yythunkpos127= yy->__thunkpos; if (!yy_declaration(yy)) goto l128; goto l127;- l128:; yy->__pos= yypos127; yy->__thunkpos= yythunkpos127; if (!yy_definition(yy)) goto l124;
- }
- l127:; goto l123;
- l124:; yy->__pos= yypos124; yy->__thunkpos= yythunkpos124;
- }
- { int yypos129= yy->__pos, yythunkpos129= yy->__thunkpos; if (!yy_trailer(yy)) goto l129; goto l130;- l129:; yy->__pos= yypos129; yy->__thunkpos= yythunkpos129;
- }
- l130:; if (!yy_end_of_file(yy)) goto l122;
- yyprintf((stderr, " ok %s @ %s\n", "grammar", yy->__buf+yy->__pos));
- return 1;
- l122:; yy->__pos= yypos0; yy->__thunkpos= yythunkpos0;
- yyprintf((stderr, " fail %s @ %s\n", "grammar", yy->__buf+yy->__pos));
- return 0;
-}
-
-#ifndef YY_PART
-
-typedef int (*yyrule)(yycontext *yy);
-
-YY_PARSE(int) YYPARSEFROM(YY_CTX_PARAM_ yyrule yystart)
-{- int yyok;
- if (!yyctx->__buflen)
- {- yyctx->__buflen= YY_BUFFER_SIZE;
- yyctx->__buf= (char *)YY_MALLOC(yyctx, yyctx->__buflen);
- yyctx->__textlen= YY_BUFFER_SIZE;
- yyctx->__text= (char *)YY_MALLOC(yyctx, yyctx->__textlen);
- yyctx->__thunkslen= YY_STACK_SIZE;
- yyctx->__thunks= (yythunk *)YY_MALLOC(yyctx, sizeof(yythunk) * yyctx->__thunkslen);
- yyctx->__valslen= YY_STACK_SIZE;
- yyctx->__vals= (YYSTYPE *)YY_MALLOC(yyctx, sizeof(YYSTYPE) * yyctx->__valslen);
- yyctx->__begin= yyctx->__end= yyctx->__pos= yyctx->__limit= yyctx->__thunkpos= 0;
- }
- yyctx->__begin= yyctx->__end= yyctx->__pos;
- yyctx->__thunkpos= 0;
- yyctx->__val= yyctx->__vals;
- yyok= yystart(yyctx);
- if (yyok) yyDone(yyctx);
- yyCommit(yyctx);
- return yyok;
-}
-
-YY_PARSE(int) YYPARSE(YY_CTX_PARAM)
-{- return YYPARSEFROM(YY_CTX_ARG_ yy_grammar);
-}
-
-YY_PARSE(yycontext *) YYRELEASE(yycontext *yyctx)
-{- if (yyctx->__buflen)
- {- yyctx->__buflen= 0;
- YY_FREE(yyctx, yyctx->__buf);
- YY_FREE(yyctx, yyctx->__text);
- YY_FREE(yyctx, yyctx->__thunks);
- YY_FREE(yyctx, yyctx->__vals);
- }
- return yyctx;
-}
-
-#endif
-#line 163 "leg.leg"
-
-
-void yyerror(char *message)
-{- fprintf(stderr, "%s:%d: %s", fileName, lineNumber, message);
- if (yyctx->__text[0]) fprintf(stderr, " near token '%s'", yyctx->__text);
- if (yyctx->__pos < yyctx->__limit || !feof(input))
- {- yyctx->__buf[yyctx->__limit]= '\0';
- fprintf(stderr, " before text \"");
- while (yyctx->__pos < yyctx->__limit)
- {- if ('\n' == yyctx->__buf[yyctx->__pos] || '\r' == yyctx->__buf[yyctx->__pos]) break;- fputc(yyctx->__buf[yyctx->__pos++], stderr);
- }
- if (yyctx->__pos == yyctx->__limit)
- {- int c;
- while (EOF != (c= fgetc(input)) && '\n' != c && '\r' != c)
- fputc(c, stderr);
- }
- fputc('\"', stderr);- }
- fprintf(stderr, "\n");
- exit(1);
-}
-
-void makeHeader(int line, char *text)
-{- Header *header= (Header *)malloc(sizeof(Header));
- header->line= line;
- header->text= strdup(text);
- header->next= headers;
- headers= header;
-}
-
-void makeTrailer(int line, char *text)
-{- trailerLine= line;
- trailer= strdup(text);
-}
-
-static void version(char *name)
-{- printf("%s version %d.%d.%d\n", name, PEG_MAJOR, PEG_MINOR, PEG_LEVEL);-}
-
-static void usage(char *name)
-{- version(name);
- fprintf(stderr, "usage: %s [<option>...] [<file>...]\n", name);
- fprintf(stderr, "where <option> can be\n");
- fprintf(stderr, " -h print this help information\n");
- fprintf(stderr, " -o <ofile> write output to <ofile>\n");
- fprintf(stderr, " -P do not generate #line directives\n");
- fprintf(stderr, " -v be verbose\n");
- fprintf(stderr, " -V print version number and exit\n");
- fprintf(stderr, "if no <file> is given, input is read from stdin\n");
- fprintf(stderr, "if no <ofile> is given, output is written to stdout\n");
- exit(1);
-}
-
-int main(int argc, char **argv)
-{- Node *n;
- int c;
-
- output= stdout;
- input= stdin;
- lineNumber= 1;
- fileName= "<stdin>";
-
- while (-1 != (c= getopt(argc, argv, "PVho:v")))
- {- switch (c)
- {- case 'V':
- version(basename(argv[0]));
- exit(0);
-
- case 'h':
- usage(basename(argv[0]));
- break;
-
- case 'o':
- if (!(output= fopen(optarg, "w")))
- {- perror(optarg);
- exit(1);
- }
- break;
-
- case 'P':
- nolinesFlag= 1;
- break;
-
- case 'v':
- verboseFlag= 1;
- break;
-
- default:
- fprintf(stderr, "for usage try: %s -h\n", argv[0]);
- exit(1);
- }
- }
- argc -= optind;
- argv += optind;
-
- if (argc)
- {- for (; argc; --argc, ++argv)
- {- if (!strcmp(*argv, "-"))
- {- input= stdin;
- fileName= "<stdin>";
- }
- else
- {- if (!(input= fopen(*argv, "r")))
- {- perror(*argv);
- exit(1);
- }
- fileName= *argv;
- }
- lineNumber= 1;
- if (!yyparse())
- yyerror("syntax error");- if (input != stdin)
- fclose(input);
- }
- }
- else
- if (!yyparse())
- yyerror("syntax error");-
- if (verboseFlag)
- for (n= rules; n; n= n->any.next)
- Rule_print(n);
-
- Rule_compile_c_header();
-
- for (; headers; headers= headers->next)
- fprintf(output, "#line %i \"%s\"\n%s\n", headers->line, fileName, headers->text);
-
- if (rules)
- Rule_compile_c(rules, nolinesFlag);
-
- if (trailer) {- if (!nolinesFlag)
- fprintf(output, "#line %i \"%s\"\n", trailerLine, fileName, trailer);
- fprintf(output, "%s\n", trailer);
- }
-
- return 0;
-}
-
--- a/leg.leg
+++ /dev/null
@@ -1,319 +1,0 @@
-# LE Grammar for LE Grammars
-#
-# Copyright (c) 2007 by Ian Piumarta
-# All rights reserved.
-#
-# Permission is hereby granted, free of charge, to any person obtaining a
-# copy of this software and associated documentation files (the 'Software'),
-# to deal in the Software without restriction, including without limitation
-# the rights to use, copy, modify, merge, publish, distribute, and/or sell
-# copies of the Software, and to permit persons to whom the Software is
-# furnished to do so, provided that the above copyright notice(s) and this
-# permission notice appear in all copies of the Software. Acknowledgement
-# of the use of this Software in supporting documentation would be
-# appreciated but is not required.
-#
-# THE SOFTWARE IS PROVIDED 'AS IS'. USE ENTIRELY AT YOUR OWN RISK.
-#
-# Last edited: 2016-07-22 09:45:53 by piumarta on zora.local
-
-%{-# include "tree.h"
-# include "version.h"
-
-# include <stdio.h>
-# include <stdlib.h>
-# include <unistd.h>
-# include <string.h>
-# include <libgen.h>
-# include <assert.h>
-
- typedef struct Header Header;
-
- struct Header {- int line;
- char *text;
- Header *next;
- };
-
- FILE *input= 0;
-
- int verboseFlag= 0;
- int nolinesFlag= 0;
-
- static int lineNumber= 0;
- static int headerLine= 0;
- static int actionLine= 0;
- static char *fileName= 0;
- static int trailerLine= 0;
- static char *trailer= 0;
- static Header *headers= 0;
-
- void makeHeader(int line, char *text);
- void makeTrailer(int line, char *text);
-
- void yyerror(char *message);
-
-# define YY_INPUT(buf, result, max) \
- { \- int c= getc(input); \
- /* if ('\n' == c || '\r' == c) ++lineNumber; */ \- result= (EOF == c) ? 0 : (*(buf)= c, 1); \
- }
-
-# define YY_LOCAL(T) static T
-# define YY_RULE(T) static T
-%}
-
-# Hierarchical syntax
-
-grammar= - ( declaration | definition )+ trailer? end-of-file
-
-declaration= '%{' { headerLine= lineNumber; }- < ( !'%}' (end-of-line | .) )* >
- RPERCENT { makeHeader(headerLine, yytext); } #{YYACCEPT}-
-trailer= '%%' { headerLine= lineNumber }- < .* > { makeTrailer(headerLine, yytext); } #{YYACCEPT}-
-definition= identifier { if (push(beginRule(findRule(yytext)))->rule.expression)- fprintf(stderr, "rule '%s' redefined\n", yytext); }
- EQUAL expression { Node *e= pop(); Rule_setExpression(pop(), e); }- SEMICOLON? #{YYACCEPT}-
-expression= sequence (BAR sequence { Node *f= pop(); push(Alternate_append(pop(), f)); }- )*
-
-sequence= error (error { Node *f= pop(); push(Sequence_append(pop(), f)); }- )*
-
-error= prefix (TILDE action { push(makeError(pop(), yytext)); }- )?
-
-prefix= AT action { push(makeInline(yytext)); }-| AND action { push(makePredicate(yytext)); }-| AND suffix { push(makePeekFor(pop())); }-| NOT suffix { push(makePeekNot(pop())); }-| suffix
-
-suffix= primary (QUESTION { push(makeQuery(pop())); }- | STAR { push(makeStar (pop())); }- | PLUS { push(makePlus (pop())); }- )?
-
-primary= identifier { push(makeVariable(yytext)); }- COLON identifier !EQUAL { Node *name= makeName(findRule(yytext)); name->name.variable= pop(); push(name); }-| identifier !EQUAL { push(makeName(findRule(yytext))); }-| OPEN expression CLOSE
-| literal { push(makeString(yytext)); }-| class { push(makeClass(yytext)); }-| DOT { push(makeDot()); }-| action { push(makeAction(actionLine, yytext)); }-| BEGIN { push(makePredicate("YY_BEGIN")); }-| END { push(makePredicate("YY_END")); }-
-# Lexical syntax
-
-identifier= < [-a-zA-Z_][-a-zA-Z_0-9]* > -
-
-literal= ['] < ( !['] char )* > ['] -
-| ["] < ( !["] char )* > ["] -
-
-class= '[' < ( !']' range )* > ']' -
-
-range= char '-' char | char
-
-char= '\\' [-abefnrtv'"\[\]\\]
-| '\\' 'x'[0-9A-Fa-f][0-9A-Fa-f]
-| '\\' 'x'[0-9A-Fa-f]
-| '\\' [0-3][0-7][0-7]
-| '\\' [0-7][0-7]?
-| !'\\' .
-
-action= '{' { actionLine= lineNumber }- < braces* > '}' -
-
-braces= '{' braces* '}'-| !'}' ( end-of-line | . )
-
-EQUAL= '=' -
-COLON= ':' -
-SEMICOLON= ';' -
-BAR= '|' -
-AND= '&' -
-NOT= '!' -
-AT= '@' -
-QUESTION= '?' -
-STAR= '*' -
-PLUS= '+' -
-OPEN= '(' --CLOSE= ')' -
-DOT= '.' -
-BEGIN= '<' -
-END= '>' -
-TILDE= '~' -
-RPERCENT= '%}' -
-
--= (space | comment)*
-space= ' ' | '\t' | end-of-line
-comment= '#' (!end-of-line .)* end-of-line
-end-of-line= ( '\r\n' | '\n' | '\r' ) { ++lineNumber }-end-of-file= !.
-
-%%
-
-void yyerror(char *message)
-{- fprintf(stderr, "%s:%d: %s", fileName, lineNumber, message);
- if (yyctx->__text[0]) fprintf(stderr, " near token '%s'", yyctx->__text);
- if (yyctx->__pos < yyctx->__limit || !feof(input))
- {- yyctx->__buf[yyctx->__limit]= '\0';
- fprintf(stderr, " before text \"");
- while (yyctx->__pos < yyctx->__limit)
- {- if ('\n' == yyctx->__buf[yyctx->__pos] || '\r' == yyctx->__buf[yyctx->__pos]) break;- fputc(yyctx->__buf[yyctx->__pos++], stderr);
- }
- if (yyctx->__pos == yyctx->__limit)
- {- int c;
- while (EOF != (c= fgetc(input)) && '\n' != c && '\r' != c)
- fputc(c, stderr);
- }
- fputc('\"', stderr);- }
- fprintf(stderr, "\n");
- exit(1);
-}
-
-void makeHeader(int line, char *text)
-{- Header *header= (Header *)malloc(sizeof(Header));
- header->line= line;
- header->text= strdup(text);
- header->next= headers;
- headers= header;
-}
-
-void makeTrailer(int line, char *text)
-{- trailerLine= line;
- trailer= strdup(text);
-}
-
-static void version(char *name)
-{- printf("%s version %d.%d.%d\n", name, PEG_MAJOR, PEG_MINOR, PEG_LEVEL);-}
-
-static void usage(char *name)
-{- version(name);
- fprintf(stderr, "usage: %s [<option>...] [<file>...]\n", name);
- fprintf(stderr, "where <option> can be\n");
- fprintf(stderr, " -h print this help information\n");
- fprintf(stderr, " -o <ofile> write output to <ofile>\n");
- fprintf(stderr, " -P do not generate #line directives\n");
- fprintf(stderr, " -v be verbose\n");
- fprintf(stderr, " -V print version number and exit\n");
- fprintf(stderr, "if no <file> is given, input is read from stdin\n");
- fprintf(stderr, "if no <ofile> is given, output is written to stdout\n");
- exit(1);
-}
-
-int main(int argc, char **argv)
-{- Node *n;
- int c;
-
- output= stdout;
- input= stdin;
- lineNumber= 1;
- fileName= "<stdin>";
-
- while (-1 != (c= getopt(argc, argv, "PVho:v")))
- {- switch (c)
- {- case 'V':
- version(basename(argv[0]));
- exit(0);
-
- case 'h':
- usage(basename(argv[0]));
- break;
-
- case 'o':
- if (!(output= fopen(optarg, "w")))
- {- perror(optarg);
- exit(1);
- }
- break;
-
- case 'P':
- nolinesFlag= 1;
- break;
-
- case 'v':
- verboseFlag= 1;
- break;
-
- default:
- fprintf(stderr, "for usage try: %s -h\n", argv[0]);
- exit(1);
- }
- }
- argc -= optind;
- argv += optind;
-
- if (argc)
- {- for (; argc; --argc, ++argv)
- {- if (!strcmp(*argv, "-"))
- {- input= stdin;
- fileName= "<stdin>";
- }
- else
- {- if (!(input= fopen(*argv, "r")))
- {- perror(*argv);
- exit(1);
- }
- fileName= *argv;
- }
- lineNumber= 1;
- if (!yyparse())
- yyerror("syntax error");- if (input != stdin)
- fclose(input);
- }
- }
- else
- if (!yyparse())
- yyerror("syntax error");-
- if (verboseFlag)
- for (n= rules; n; n= n->any.next)
- Rule_print(n);
-
- Rule_compile_c_header();
-
- for (; headers; headers= headers->next)
- fprintf(output, "#line %i \"%s\"\n%s\n", headers->line, fileName, headers->text);
-
- if (rules)
- Rule_compile_c(rules, nolinesFlag);
-
- if (trailer) {- if (!nolinesFlag)
- fprintf(output, "#line %i \"%s\"\n", trailerLine, fileName, trailer);
- fprintf(output, "%s\n", trailer);
- }
-
- return 0;
-}
--- a/peg.1
+++ /dev/null
@@ -1,1147 +1,0 @@
-.\" Copyright (c) 2007,2016 by Ian Piumarta
-.\" All rights reserved.
-.\"
-.\" Permission is hereby granted, free of charge, to any person obtaining a
-.\" copy of this software and associated documentation files (the 'Software'),
-.\" to deal in the Software without restriction, including without limitation
-.\" the rights to use, copy, modify, merge, publish, distribute, and/or sell
-.\" copies of the Software, and to permit persons to whom the Software is
-.\" furnished to do so, provided that the above copyright notice(s) and this
-.\" permission notice appear in all copies of the Software. Acknowledgement
-.\" of the use of this Software in supporting documentation would be
-.\" appreciated but is not required.
-.\"
-.\" THE SOFTWARE IS PROVIDED 'AS IS'. USE ENTIRELY AT YOUR OWN RISK.
-.\"
-.\" Last edited: 2016-07-22 09:47:29 by piumarta on zora.local
-.\"
-.TH PEG 1 "September 2013" "Version 0.1"
-.SH NAME
-peg, leg \- parser generators
-.SH SYNOPSIS
-.B peg
-.B [\-hvV \-ooutput]
-.I [filename ...]
-.sp 0
-.B leg
-.B [\-hvV \-ooutput]
-.I [filename ...]
-.SH DESCRIPTION
-.I peg
-and
-.I leg
-are tools for generating recursive\-descent parsers: programs that
-perform pattern matching on text. They process a Parsing Expression
-Grammar (PEG) [Ford 2004] to produce a program that recognises legal
-sentences of that grammar.
-.I peg
-processes PEGs written using the original syntax described by Ford;
-.I leg
-processes PEGs written using slightly different syntax and conventions
-that are intended to make it an attractive replacement for parsers
-built with
-.IR lex (1)
-and
-.IR yacc (1).
-Unlike
-.I lex
-and
-.IR yacc ,
-.I peg
-and
-.I leg
-support unlimited backtracking, provide ordered choice as a means for
-disambiguation, and can combine scanning (lexical analysis) and
-parsing (syntactic analysis) into a single activity.
-.PP
-.I peg
-reads the specified
-.IR filename s,
-or standard input if no
-.IR filename s
-are given, for a grammar describing the parser to generate.
-.I peg
-then generates a C source file that defines a function
-.IR yyparse().
-This C source file can be included in, or compiled and then linked
-with, a client program. Each time the client program calls
-.IR yyparse ()
-the parser consumes input text according to the parsing rules,
-starting from the first rule in the grammar.
-.IR yyparse ()
-returns non\-zero if the input could be parsed according to the
-grammar; it returns zero if the input could not be parsed.
-.PP
-The prefix 'yy' or 'YY' is prepended to all externally\-visible symbols
-in the generated parser. This is intended to reduce the risk of
-namespace pollution in client programs. (The choice of 'yy' is
-historical; see
-.IR lex (1)
-and
-.IR yacc (1),
-for example.)
-.SH OPTIONS
-.I peg
-and
-.I leg
-provide the following options:
-.TP
-.B \-h
-prints a summary of available options and then exits.
-.TP
-.B \-ooutput
-writes the generated parser to the file
-.B output
-instead of the standard output.
-.TP
-.B \-P
-suppresses #line directives in the output.
-.TP
-.B \-v
-writes verbose information to standard error while working.
-.TP
-.B \-V
-writes version information to standard error then exits.
-.SH A SIMPLE EXAMPLE
-The following
-.I peg
-input specifies a grammar with a single rule (called 'start') that is
-satisfied when the input contains the string "username".
-.nf
-
- start <\- "username"
-
-.fi
-(The quotation marks are
-.I not
-part of the matched text; they serve to indicate a literal string to
-be matched.) In other words,
-.IR yyparse ()
-in the generated C source will return non\-zero only if the next eight
-characters read from the input spell the word "username". If the
-input contains anything else,
-.IR yyparse ()
-returns zero and no input will have been consumed. (Subsequent calls
-to
-.IR yyparse ()
-will also return zero, since the parser is effectively blocked looking
-for the string "username".) To ensure progress we can add an
-alternative clause to the 'start' rule that will match any single
-character if "username" is not found.
-.nf
-
- start <\- "username"
- / .
-
-.fi
-.IR yyparse ()
-now always returns non\-zero (except at the very end of the input). To
-do something useful we can add actions to the rules. These actions
-are performed after a complete match is found (starting from the first
-rule) and are chosen according to the 'path' taken through the grammar
-to match the input. (Linguists would call this path a 'phrase
-marker'.)
-.nf
-
- start <\- "username" { printf("%s\\n", getlogin()); }- / < . > { putchar(yytext[0]); }-
-.fi
-The first line instructs the parser to print the user's login name
-whenever it sees "username" in the input. If that match fails, the
-second line tells the parser to echo the next character on the input
-the standard output. Our parser is now performing useful work: it
-will copy the input to the output, replacing all occurrences of
-"username" with the user's account name.
-.PP
-Note the angle brackets ('<' and '>') that were added to the second-alternative. These have no effect on the meaning of the rule, but
-serve to delimit the text made available to the following action in
-the variable
-.IR yytext .
-.PP
-If the above grammar is placed in the file
-.BR username.peg ,
-running the command
-.nf
-
- peg \-o username.c username.peg
-
-.fi
-will save the corresponding parser in the file
-.BR username.c .
-To create a complete program this parser could be included by a C
-program as follows.
-.nf
-
- #include <stdio.h> /* printf(), putchar() */
- #include <unistd.h> /* getlogin() */
-
- #include "username.c" /* yyparse() */
-
- int main()
- {- while (yyparse()) /* repeat until EOF */
- ;
- return 0;
- }
-.fi
-.SH PEG GRAMMARS
-A grammar consists of a set of named rules.
-.nf
-
- name <\- pattern
-
-.fi
-The
-.B pattern
-contains one or more of the following elements.
-.TP
-.B name
-The element stands for the entire pattern in the rule with the given
-.BR name .
-.TP
-.BR \(dq characters \(dq
-A character or string enclosed in double quotes is matched literally.
-The ANSI C escape sequences are recognised within the
-.IR characters .
-.TP
-.BR ' characters '
-A character or string enclosed in single quotes is matched literally, as above.
-.TP
-.BR [ characters ]
-A set of characters enclosed in square brackets matches any single
-character from the set, with escape characters recognised as above.
-If the set begins with an uparrow (^) then the set is negated (the
-element matches any character
-.I not
-in the set). Any pair of characters separated with a dash (\-)
-represents the range of characters from the first to the second,
-inclusive. A single alphabetic character or underscore is matched by
-the following set.
-.nf
-
- [a\-zA\-Z_]
-
-.fi
-Similarly, the following matches any single non\-digit character.
-.nf
-
- [^0\-9]
-
-.fi
-.TP
-.B .
-A dot matches any character. Note that the only time this fails is at
-the end of file, where there is no character to match.
-.TP
-.BR ( \ pattern\ )
-Parentheses are used for grouping (modifying the precedence of the
-operators described below).
-.TP
-.BR { \ action\ }-Curly braces surround actions. The action is arbitrary C source code
-to be executed at the end of matching. Any braces within the action
-must be properly nested. Any input text that was matched before the
-action and delimited by angle brackets (see below) is made available
-within the action as the contents of the character array
-.IR yytext .
-The length of (number of characters in)
-.I yytext
-is available in the variable
-.IR yyleng .
-(These variable names are historical; see
-.IR lex (1).)
-.TP
-.B <
-An opening angle bracket always matches (consuming no input) and
-causes the parser to begin accumulating matched text. This text will
-be made available to actions in the variable
-.IR yytext .
-.TP
-.B >
-A closing angle bracket always matches (consuming no input) and causes
-the parser to stop accumulating text for
-.IR yytext .
-.PP
-The above
-.IR element s
-can be made optional and/or repeatable with the following suffixes:
-.TP
-.RB element\ ?
-The element is optional. If present on the input, it is consumed and
-the match succeeds. If not present on the input, no text is consumed
-and the match succeeds anyway.
-.TP
-.RB element\ +
-The element is repeatable. If present on the input, one or more
-occurrences of
-.I element
-are consumed and the match succeeds. If no occurrences of
-.I element
-are present on the input, the match fails.
-.TP
-.RB element\ *
-The element is optional and repeatable. If present on the input, one or more
-occurrences of
-.I element
-are consumed and the match succeeds. If no occurrences of
-.I element
-are present on the input, the match succeeds anyway.
-.PP
-The above elements and suffixes can be converted into predicates (that
-match arbitrary input text and subsequently succeed or fail
-.I without
-consuming that input) with the following prefixes:
-.TP
-.BR & \ element
-The predicate succeeds only if
-.I element
-can be matched. Input text scanned while matching
-.I element
-is not consumed from the input and remains available for subsequent
-matching.
-.TP
-.BR ! \ element
-The predicate succeeds only if
-.I element
-cannot be matched. Input text scanned while matching
-.I element
-is not consumed from the input and remains available for subsequent
-matching. A popular idiom is
-.nf
-
- !.
-
-.fi
-which matches the end of file, after the last character of the input
-has already been consumed.
-.PP
-A special form of the '&' predicate is provided:
-.TP
-.BR & {\ expression\ }-In this predicate the simple C
-.I expression
-.RB ( not
-statement) is evaluated immediately when the parser reaches the
-predicate. If the
-.I expression
-yields non\-zero (true) the 'match' succeeds and the parser continues
-with the next element in the pattern. If the
-.I expression
-yields zero (false) the 'match' fails and the parser backs up to look
-for an alternative parse of the input.
-.PP
-Several elements (with or without prefixes and suffixes) can be
-combined into a
-.I sequence
-by writing them one after the other. The entire sequence matches only
-if each individual element within it matches, from left to right.
-.PP
-Sequences can be separated into disjoint alternatives by the
-alternation operator '/'.
-.TP
-.RB sequence\-1\ / \ sequence\-2\ / \ ...\ / \ sequence\-N
-Each sequence is tried in turn until one of them matches, at which
-time matching for the overall pattern succeeds. If none of the
-sequences matches then the match of the overall pattern fails.
-.PP
-Finally, the pound sign (#) introduces a comment (discarded) that
-continues until the end of the line.
-.PP
-To summarise the above, the parser tries to match the input text
-against a pattern containing literals, names (representing other
-rules), and various operators (written as prefixes, suffixes,
-juxtaposition for sequencing and and infix alternation operator) that
-modify how the elements within the pattern are matched. Matches are
-made from left to right, 'descending' into named sub\-rules as they are
-encountered. If the matching process fails, the parser 'back tracks'
-('rewinding' the input appropriately in the process) to find the-nearest alternative 'path' through the grammar. In other words the
-parser performs a depth\-first, left\-to\-right search for the first
-successfully\-matching path through the rules. If found, the actions
-along the successful path are executed (in the order they were
-encountered).
-.PP
-Note that predicates are evaluated
-.I immediately
-during the search for a successful match, since they contribute to the
-success or failure of the search. Actions, however, are evaluated
-only after a successful match has been found.
-.SH PEG GRAMMAR FOR PEG GRAMMARS
-The grammar for
-.I peg
-grammars is shown below. This will both illustrate and formalise
-the above description.
-.nf
-
- Grammar <\- Spacing Definition+ EndOfFile
-
- Definition <\- Identifier LEFTARROW Expression
- Expression <\- Sequence ( SLASH Sequence )*
- Sequence <\- Prefix*
- Prefix <\- AND Action
- / ( AND | NOT )? Suffix
- Suffix <\- Primary ( QUERY / STAR / PLUS )?
- Primary <\- Identifier !LEFTARROW
- / OPEN Expression CLOSE
- / Literal
- / Class
- / DOT
- / Action
- / BEGIN
- / END
-
- Identifier <\- < IdentStart IdentCont* > Spacing
- IdentStart <\- [a\-zA\-Z_]
- IdentCont <\- IdentStart / [0\-9]
- Literal <\- ['] < ( !['] Char )* > ['] Spacing
- / ["] < ( !["] Char )* > ["] Spacing
- Class <\- '[' < ( !']' Range )* > ']' Spacing
- Range <\- Char '\-' Char / Char
- Char <\- '\\\\' [abefnrtv'"\\[\\]\\\\]
- / '\\\\' [0\-3][0\-7][0\-7]
- / '\\\\' [0\-7][0\-7]?
- / '\\\\' '\-'
- / !'\\\\' .
- LEFTARROW <\- '<\-' Spacing
- SLASH <\- '/' Spacing
- AND <\- '&' Spacing
- NOT <\- '!' Spacing
- QUERY <\- '?' Spacing
- STAR <\- '*' Spacing
- PLUS <\- '+' Spacing
- OPEN <\- '(' Spacing- CLOSE <\- ')' Spacing
- DOT <\- '.' Spacing
- Spacing <\- ( Space / Comment )*
- Comment <\- '#' ( !EndOfLine . )* EndOfLine
- Space <\- ' ' / '\\t' / EndOfLine
- EndOfLine <\- '\\r\\n' / '\\n' / '\\r'
- EndOfFile <\- !.
- Action <\- '{' < [^}]* > '}' Spacing- BEGIN <\- '<' Spacing
- END <\- '>' Spacing
-
-.fi
-.SH LEG GRAMMARS
-.I leg
-is a variant of
-.I peg
-that adds some features of
-.IR lex (1)
-and
-.IR yacc (1).
-It differs from
-.I peg
-in the following ways.
-.TP
-.BI %{\ text... \ %}-A declaration section can appear anywhere that a rule definition is
-expected. The
-.I text
-between the delimiters '%{' and '%}' is copied verbatim to the-generated C parser code
-.I before
-the code that implements the parser itself.
-.TP
-.IB name\ = \ pattern
-The 'assignment' operator replaces the left arrow operator '<\-'.
-.TP
-.B rule\-name
-Hyphens can appear as letters in the names of rules. Each hyphen is
-converted into an underscore in the generated C source code. A
-single hyphen '\-' is a legal rule name.
-.nf
-
- \- = [ \\t\\n\\r]*
- number = [0\-9]+ \-
- name = [a\-zA\-Z_][a\-zA_Z_0\-9]* \-
- l\-paren = '(' \-- r\-paren = ')' \-
-
-.fi
-This example shows how ignored whitespace can be obvious when reading
-the grammar and yet unobtrusive when placed liberally at the end of
-every rule associated with a lexical element.
-.TP
-.IB seq\-1\ | \ seq\-2
-The alternation operator is vertical bar '|' rather than forward
-slash '/'. The
-.I peg
-rule
-.nf
-
- name <\- sequence\-1
- / sequence\-2
- / sequence\-3
-
-.fi
-is therefore written
-.nf
-
- name = sequence\-1
- | sequence\-2
- | sequence\-3
- ;
-
-.fi
-in
-.I leg
-(with the final semicolon being optional, as described next).
-.TP
-.IB @{\ action\ }-Actions prefixed with an 'at' symbol will be performed during parsing,
-at the time they are encountered while matching the input text with a
-rule.
-Because of back-tracking in the PEG parsing algorithm, actions
-prefixed with '@' might be performed multiple times for the same input
-text.
-(The usual behviour of actions is that they are saved up until
-matching is complete, and then those that are part of the
-final derivation are performed in left-to-right order.)
-The variable
-.I yytext
-is available within these actions.
-.TP
-.IB exp \ ~ \ {\ action\ }-A postfix operator
-.BI ~ {\ action\ }-can be placed after any expression and will behave like a normal
-action (arbitrary C code) except that it is invoked only when
-.I exp
-fails. It binds less tightly than any other operator except alternation and sequencing, and
-is intended to make error handling and recovery code easier to write.
-Note that
-.I yytext
-and
-.I yyleng
-are not available inside these actions, but the pointer variable
-.I yy
-is available to give the code access to any user\-defined members
-of the parser state (see "CUSTOMISING THE PARSER" below).
-Note also that
-.I exp
-is always a single expression; to invoke an error action for any
-failure within a sequence, parentheses must be used to group the
-sequence into a single expression.
-.nf
-
- rule = e1 e2 e3 ~{ error("e[12] ok; e3 has failed"); }- | ...
-
- rule = (e1 e2 e3) ~{ error("one of e[123] has failed"); }- | ...
-.fi
-.TP
-.IB pattern\ ;
-A semicolon punctuator can optionally terminate a
-.IR pattern .
-.TP
-.BI %% \ text...
-A double percent '%%' terminates the rules (and declarations) section of
-the grammar. All
-.I text
-following '%%' is copied verbatim to the generated C parser code
-.I after
-the parser implementation code.
-.TP
-.BI $$\ = \ value
-A sub\-rule can return a semantic
-.I value
-from an action by assigning it to the pseudo\-variable '$$'. All
-semantic values must have the same type (which defaults to 'int').
-This type can be changed by defining YYSTYPE in a declaration section.
-.TP
-.IB identifier : name
-The semantic value returned (by assigning to '$$') from the sub\-rule
-.I name
-is associated with the
-.I identifier
-and can be referred to in subsequent actions.
-.PP
-The desk calculator example below illustrates the use of '$$' and ':'.
-.SH LEG EXAMPLE: A DESK CALCULATOR
-The extensions in
-.I leg
-described above allow useful parsers and evaluators (including
-declarations, grammar rules, and supporting C functions such
-as 'main') to be kept within a single source file. To illustrate this
-we show a simple desk calculator supporting the four common arithmetic
-operators and named variables. The intermediate results of arithmetic
-evaluation will be accumulated on an implicit stack by returning them
-as semantic values from sub\-rules.
-.nf
-
- %{- #include <stdio.h> /* printf() */
- #include <stdlib.h> /* atoi() */
- int vars[26];
- %}
-
- Stmt = \- e:Expr EOL { printf("%d\\n", e); }- | ( !EOL . )* EOL { printf("error\\n"); }-
- Expr = i:ID ASSIGN s:Sum { $$ = vars[i] = s; }- | s:Sum { $$ = s; }-
- Sum = l:Product
- ( PLUS r:Product { l += r; }- | MINUS r:Product { l \-= r; }- )* { $$ = l; }-
- Product = l:Value
- ( TIMES r:Value { l *= r; }- | DIVIDE r:Value { l /= r; }- )* { $$ = l; }-
- Value = i:NUMBER { $$ = atoi(yytext); }- | i:ID !ASSIGN { $$ = vars[i]; }- | OPEN i:Expr CLOSE { $$ = i; }-
- NUMBER = < [0\-9]+ > \- { $$ = atoi(yytext); }- ID = < [a\-z] > \- { $$ = yytext[0] \- 'a'; }- ASSIGN = '=' \-
- PLUS = '+' \-
- MINUS = '\-' \-
- TIMES = '*' \-
- DIVIDE = '/' \-
- OPEN = '(' \-- CLOSE = ')' \-
-
- \- = [ \\t]*
- EOL = '\\n' | '\\r\\n' | '\\r' | ';'
-
- %%
-
- int main()
- {- while (yyparse())
- ;
- return 0;
- }
-
-.fi
-.SH LEG GRAMMAR FOR LEG GRAMMARS
-The grammar for
-.I leg
-grammars is shown below. This will both illustrate and formalise the
-above description.
-.nf
-
- grammar = \-
- ( declaration | definition )+
- trailer? end\-of\-file
-
- declaration = '%{' < ( !'%}' . )* > RPERCENT-
- trailer = '%%' < .* >
-
- definition = identifier EQUAL expression SEMICOLON?
-
- expression = sequence ( BAR sequence )*
-
- sequence = error+
-
- error = prefix ( TILDE action )?
-
- prefix = AND action
- | ( AND | NOT )? suffix
-
- suffix = primary ( QUERY | STAR | PLUS )?
-
- primary = identifier COLON identifier !EQUAL
- | identifier !EQUAL
- | OPEN expression CLOSE
- | literal
- | class
- | DOT
- | action
- | BEGIN
- | END
-
- identifier = < [\-a\-zA\-Z_][\-a\-zA\-Z_0\-9]* > \-
-
- literal = ['] < ( !['] char )* > ['] \-
- | ["] < ( !["] char )* > ["] \-
-
- class = '[' < ( !']' range )* > ']' \-
-
- range = char '\-' char | char
-
- char = '\\\\' [abefnrtv'"\\[\\]\\\\]
- | '\\\\' [0\-3][0\-7][0\-7]
- | '\\\\' [0\-7][0\-7]?
- | !'\\\\' .
-
- action = '{' < braces* > '}' \--
- braces = '{' braces* '}'- | !'}' .
-
- EQUAL = '=' \-
- COLON = ':' \-
- SEMICOLON = ';' \-
- BAR = '|' \-
- AND = '&' \-
- NOT = '!' \-
- QUERY = '?' \-
- STAR = '*' \-
- PLUS = '+' \-
- OPEN = '(' \-- CLOSE = ')' \-
- DOT = '.' \-
- BEGIN = '<' \-
- END = '>' \-
- TILDE = '~' \-
- RPERCENT = '%}' \-
-
- \- = ( space | comment )*
- space = ' ' | '\\t' | end\-of\-line
- comment = '#' ( !end\-of\-line . )* end\-of\-line
- end\-of\-line = '\\r\\n' | '\\n' | '\\r'
- end\-of\-file = !.
-
-.fi
-.SH CUSTOMISING THE PARSER
-The following symbols can be redefined in declaration sections to
-modify the generated parser code.
-.TP
-.B YYSTYPE
-The semantic value type. The pseudo\-variable '$$' and the
-identifiers 'bound' to rule results with the colon operator ':' should
-all be considered as being declared to have this type. The default
-value is 'int'.
-.TP
-.B YYPARSE
-The name of the main entry point to the parser. The default value
-is 'yyparse'.
-.TP
-.B YYPARSEFROM
-The name of an alternative entry point to the parser. This function
-expects one argument: the function corresponding to the rule from
-which the search for a match should begin. The default
-is 'yyparsefrom'. Note that yyparse() is defined as
-.nf
-
- int yyparse() { return yyparsefrom(yy_foo); }-
-.fi
-where 'foo' is the name of the first rule in the grammar.
-.TP
-.BI YY_INPUT( buf , \ result , \ max_size )
-This macro is invoked by the parser to obtain more input text.
-.I buf
-points to an area of memory that can hold at most
-.I max_size
-characters. The macro should copy input text to
-.I buf
-and then assign the integer variable
-.I result
-to indicate the number of characters copied. If no more input is available,
-the macro should assign 0 to
-.IR result .
-By default, the YY_INPUT macro is defined as follows.
-.nf
-
- #define YY_INPUT(buf, result, max_size) \\
- { \\- int yyc= getchar(); \\
- result= (EOF == yyc) ? 0 : (*(buf)= yyc, 1); \\
- }
-
-.fi
-Note that if YY_CTX_LOCAL is defined (see below) then an additional
-first argument, containing the parser context, is passed to YY_INPUT.
-.TP
-.B YY_DEBUG
-If this symbols is defined then additional code will be included in
-the parser that prints vast quantities of arcane information to the
-standard error while the parser is running.
-.TP
-.B YY_BEGIN
-This macro is invoked to mark the start of input text that will be
-made available in actions as 'yytext'. This corresponds to
-occurrences of '<' in the grammar. These are converted into
-predicates that are expected to succeed. The default definition
-.nf
-
- #define YY_BEGIN (yybegin= yypos, 1)
-
-.fi
-therefore saves the current input position and returns 1 ('true') as-the result of the predicate.
-.TP
-.B YY_END
-This macros corresponds to '>' in the grammar. Again, it is a
-predicate so the default definition saves the input position
-before 'succeeding'.
-.nf
-
- #define YY_END (yyend= yypos, 1)
-
-.fi
-.TP
-.BI YY_PARSE( T )
-This macro declares the parser entry points (yyparse and yyparsefrom)
-to be of type
-.IR T .
-The default definition
-.nf
-
- #define YY_PARSE(T) T
-
-.fi
-leaves yyparse() and yyparsefrom() with global visibility. If they
-should not be externally visible in other source files, this macro can
-be redefined to declare them 'static'.
-.nf
-
- #define YY_PARSE(T) static T
-
-.fi
-.TP
-.B YY_CTX_LOCAL
-If this symbol is defined during compilation of a generated parser
-then global parser state will be kept in a structure of
-type 'yycontext' which can be declared as a local variable. This
-allows multiple instances of parsers to coexist and to be thread\-safe.
-The parsing function
-.IR yyparse ()
-will be declared to expect a first argument of type 'yycontext *', an
-instance of the structure holding the global state for the parser.
-This instance must be allocated and initialised to zero by the client.
-A trivial but complete example is as follows.
-.nf
-
- #include <stdio.h>
-
- #define YY_CTX_LOCAL
-
- #include "the\-generated\-parser.peg.c"
-
- int main()
- {- yycontext ctx;
- memset(&ctx, 0, sizeof(yycontext));
- while (yyparse(&ctx));
- return 0;
- }
-
-.fi
-Note that if this symbol is undefined then the compiled parser will
-statically allocate its global state and will be neither reentrant nor
-thread\-safe.
-Note also that the parser yycontext structure is initialised automatically
-the first time
-.IR yyparse ()
-is called; this structure
-.B must
-therefore be properly initialised to zero before the first call to
-.IR yyparse ().
-.TP
-.B YY_CTX_MEMBERS
-If YY_CTX_LOCAL is defined (see above) then the macro YY_CTX_MEMBERS
-can be defined to expand to any additional member field declarations
-that the client would like included in the declaration of
-the 'yycontext' structure type. These additional members are
-otherwise ignored by the generated parser. The instance
-of 'yycontext' associated with the currently\-active parser is
-available within actions as the pointer variable
-.IR yy .
-.TP
-.B YY_BUFFER_SIZE
-The initial size of the text buffer, in bytes. The default is 1024
-and the buffer size is doubled whenever required to meet demand during
-parsing. An application that typically parses much longer strings
-could increase this to avoid unnecessary buffer reallocation.
-.TP
-.B YY_STACK_SIZE
-The initial size of the variable and action stacks. The default is
-128, which is doubled whenever required to meet demand during parsing.
-Applications that have deep call stacks with many local variables, or
-that perform many actions after a single successful match, could increase
-this to avoid unnecessary buffer reallocation.
-.TP
-.BI YY_MALLOC( YY , \ SIZE )
-The memory allocator for all parser\-related storage. The parameters
-are the current yycontext structure and the number of bytes to
-allocate. The default definition is:
-.RI malloc( SIZE )
-.TP
-.BI YY_REALLOC( YY , \ PTR , \ SIZE )
-The memory reallocator for dynamically\-grown storage (such as text
-buffers and variable stacks). The parameters are the current
-yycontext structure, the previously\-allocated storage, and the number
-of bytes to which that storage should be grown. The default definition is:
-.RI realloc( PTR , \ SIZE )
-.TP
-.BI YY_FREE( YY , \ PTR )
-The memory deallocator. The parameters are the current yycontext
-structure and the storage to deallocate. The default definition is:
-.RI free( PTR )
-.TP
-.B YYRELEASE
-The name of the function that releases all resources held by a
-yycontext structure. The default value is 'yyrelease'.
-.PP
-The following variables can be referred to within actions.
-.TP
-.B char *yybuf
-This variable points to the parser's input buffer used to store input
-text that has not yet been matched.
-.TP
-.B int yypos
-This is the offset (in yybuf) of the next character to be matched and
-consumed.
-.TP
-.B char *yytext
-The most recent matched text delimited by '<' and '>' is stored in this variable.
-.TP
-.B int yyleng
-This variable indicates the number of characters in 'yytext'.
-.TP
-.B yycontext *yy
-This variable points to the instance of 'yycontext' associated with
-the currently\-active parser.
-.PP
-Programs that wish to release all the resources associated with a
-parser can use the following function.
-.TP
-.BI yyrelease(yycontext * yy )
-Returns all parser\-allocated storage associated with
-.I yy
-to the system. The storage will be reallocated on the next call to
-.IR yyparse ().
-.PP
-Note that the storage for the yycontext structure itself is never
-allocated or reclaimed implicitly. The application must allocate
-these structures in automatic storage, or use
-.IR calloc ()
-and
-.IR free ()
-to manage them explicitly. The example in the following section
-demonstrates one approach to resource management.
-.SH LEG EXAMPLE: EXTENDING THE PARSER'S CONTEXT
-The
-.I yy
-variable passed to actions contains the state of the parser plus any
-additional fields defined by YY_CTX_MEMBERS. Theses fields can be
-used to store application\-specific information that is global to a
-particular call of
-.IR yyparse ().
-A trivial but complete
-.I leg
-example follows in which the yycontext
-structure is extended with a
-.I count
-of the number of newline characters
-seen in the input so far (the grammar otherwise consumes and ignores
-the entire input). The caller of
-.IR yyparse ()
-uses
-.I count
-to print the number of lines of input that were read.
-
-.nf
-
- %{- #define YY_CTX_LOCAL 1
- #define YY_CTX_MEMBERS \\
- int count;
- %}
-
- Char = ('\\n' | '\\r\\n' | '\\r') { yy\->count++ }- | .
-
- %%
-
- #include <stdio.h>
- #include <string.h>
-
- int main()
- {- /* create a local parser context in automatic storage */
- yycontext yy;
- /* the context *must* be initialised to zero before first use*/
- memset(&yy, 0, sizeof(yy));
-
- while (yyparse(&yy))
- ;
- printf("%d newlines\\n", yy.count);-
- /* release all resources associated with the context */
- yyrelease(&yy);
-
- return 0;
- }
-
-.fi
-.SH DIAGNOSTICS
-.I peg
-and
-.I leg
-warn about the following conditions while converting a grammar into a parser.
-.TP
-.B syntax error
-The input grammar was malformed in some way. The error message will
-include the text about to be matched (often backed up a huge amount
-from the actual location of the error) and the line number of the most
-recently considered character (which is often the real location of the
-problem).
-.TP
-.B rule 'foo' used but not defined
-The grammar referred to a rule named 'foo' but no definition for it
-was given. Attempting to use the generated parser will likely result
-in errors from the linker due to undefined symbols associated with the
-missing rule.
-.TP
-.B rule 'foo' defined but not used
-The grammar defined a rule named 'foo' and then ignored it. The code
-associated with the rule is included in the generated parser which
-will in all other respects be healthy.
-.TP
-.B possible infinite left recursion in rule 'foo'
-There exists at least one path through the grammar that leads from the
-rule 'foo' back to (a recursive invocation of) the same rule without
-consuming any input.
-.PP
-Left recursion, especially that found in standards documents, is
-often 'direct' and implies trivial repetition.
-.nf
-
- # (6.7.6)
- direct\-abstract\-declarator =
- LPAREN abstract\-declarator RPAREN
- | direct\-abstract\-declarator? LBRACKET assign\-expr? RBRACKET
- | direct\-abstract\-declarator? LBRACKET STAR RBRACKET
- | direct\-abstract\-declarator? LPAREN param\-type\-list? RPAREN
-
-.fi
-The recursion can easily be eliminated by converting the parts of the
-pattern following the recursion into a repeatable suffix.
-.nf
-
- # (6.7.6)
- direct\-abstract\-declarator =
- direct\-abstract\-declarator\-head?
- direct\-abstract\-declarator\-tail*
-
- direct\-abstract\-declarator\-head =
- LPAREN abstract\-declarator RPAREN
-
- direct\-abstract\-declarator\-tail =
- LBRACKET assign\-expr? RBRACKET
- | LBRACKET STAR RBRACKET
- | LPAREN param\-type\-list? RPAREN
-
-.fi
-.SH CAVEATS
-A parser that accepts empty input will
-.I always
-succeed. Consider the following example, not atypical of a first
-attempt to write a PEG\-based parser:
-.nf
-
- Program = Expression*
- Expression = "whatever"
- %%
- int main() {- while (yyparse())
- puts("success!");- return 0;
- }
-
-.fi
-This program loops forever, no matter what (if any) input is provided
-on stdin. Many fixes are possible, the easiest being to insist that
-the parser always consumes some non\-empty input. Changing the first
-line to
-.nf
-
- Program = Expression+
-
-.fi
-accomplishes this. If the parser is expected to consume the entire
-input, then explicitly requiring the end\-of\-file is also highly
-recommended:
-.nf
-
- Program = Expression+ !.
-
-.fi
-This works because the parser will only fail to match ("!" predicate)-any character at all ("." expression) when it attempts to read beyond-the end of the input.
-.SH BUGS
-You have to type 'man peg' to read the manual page for
-.IR leg (1).
-.PP
-The 'yy' and 'YY' prefixes cannot be changed.
-.PP
-Left recursion is detected in the input grammar but is not handled
-correctly in the generated parser.
-.PP
-Diagnostics for errors in the input grammar are obscure and not
-particularly helpful.
-.PP
-The operators
-.BR ! \ \c
-and
-.B ~
-should really be named the other way around.
-.PP
-Several commonly\-used
-.IR lex (1)
-features (yywrap(), yyin, etc.) are completely absent.
-.PP
-The generated parser does not contain '#line' directives to direct C
-compiler errors back to the grammar description when appropriate.
-.SH SEE ALSO
-D. Val Schorre,
-.I META II, a syntax\-oriented compiler writing language,
-19th ACM National Conference, 1964, pp.\ 41.301\-\-41.311. Describes a
-self\-implementing parser generator for analytic grammars with no
-backtracking.
-.PP
-Alexander Birman,
-.I The TMG Recognition Schema,
-Ph.D. dissertation, Princeton, 1970. A mathematical treatment of the
-power and complexity of recursive\-descent parsing with backtracking.
-.PP
-Bryan Ford,
-.I Parsing Expression Grammars: A Recognition\-Based Syntactic Foundation,
-ACM SIGPLAN Symposium on Principles of Programming Languages, 2004.
-Defines PEGs and analyses them in relation to context\-free and regular
-grammars. Introduces the syntax adopted in
-.IR peg .
-.PP
-The standard Unix utilities
-.IR lex (1)
-and
-.IR yacc (1)
-which influenced the syntax and features of
-.IR leg .
-.PP
-The source code for
-.I peg
-and
-.I leg
-whose grammar parsers are written using themselves.
-.PP
-The latest version of this software and documentation:
-.nf
-
- http://piumarta.com/software/peg
-
-.fi
-.SH AUTHOR
-.IR peg ,
-.I leg
-and this manual page were written by Ian Piumarta (first\-name at
-last\-name dot com) while investigating the viability of regular and
-parsing\-expression grammars for efficiently extracting type and
-signature information from C header files.
-.PP
-Please send bug reports and suggestions for improvements to the author
-at the above address.
--- /dev/null
+++ b/peg.c
@@ -1,0 +1,1556 @@
+/* A recursive-descent parser generated by peg 0.1.18 */
+
+#include <stdio.h>
+#include <stdlib.h>
+#include <string.h>
+#define YYRULECOUNT 39
+#line 20 "peg.leg"
+
+#include "tree.h"
+#include "version.h"
+
+#include <stdio.h>
+#include <stdlib.h>
+#include <unistd.h>
+#include <string.h>
+#include <libgen.h>
+#include <assert.h>
+
+ typedef struct Header Header;
+
+ struct Header {+ int line;
+ char *text;
+ Header *next;
+ };
+
+ FILE *input= 0;
+
+ int verboseFlag= 0;
+ int nolinesFlag= 0;
+
+ static int lineNumber= 0;
+ static int headerLine= 0;
+ static int actionLine= 0;
+ static char *fileName= 0;
+ static int trailerLine= 0;
+ static char *trailer= 0;
+ static Header *headers= 0;
+
+ void makeHeader(int line, char *text);
+ void makeTrailer(int line, char *text);
+
+ void yyerror(char *message);
+
+# define YY_INPUT(buf, result, max) \
+ { \+ int c= getc(input); \
+ /* if ('\n' == c || '\r' == c) ++lineNumber; */ \+ result= (EOF == c) ? 0 : (*(buf)= c, 1); \
+ }
+
+# define YY_LOCAL(T) static T
+# define YY_RULE(T) static T
+
+#ifndef YY_MALLOC
+#define YY_MALLOC(C, N) malloc(N)
+#endif
+#ifndef YY_REALLOC
+#define YY_REALLOC(C, P, N) realloc(P, N)
+#endif
+#ifndef YY_FREE
+#define YY_FREE(C, P) free(P)
+#endif
+#ifndef YY_LOCAL
+#define YY_LOCAL(T) static T
+#endif
+#ifndef YY_ACTION
+#define YY_ACTION(T) static T
+#endif
+#ifndef YY_RULE
+#define YY_RULE(T) static T
+#endif
+#ifndef YY_PARSE
+#define YY_PARSE(T) T
+#endif
+#ifndef YYPARSE
+#define YYPARSE yyparse
+#endif
+#ifndef YYPARSEFROM
+#define YYPARSEFROM yyparsefrom
+#endif
+#ifndef YYRELEASE
+#define YYRELEASE yyrelease
+#endif
+#ifndef YY_BEGIN
+#define YY_BEGIN ( yy->__begin= yy->__pos, 1)
+#endif
+#ifndef YY_END
+#define YY_END ( yy->__end= yy->__pos, 1)
+#endif
+#ifdef YY_DEBUG
+# define yyprintf(args) fprintf args
+#else
+# define yyprintf(args)
+#endif
+#ifndef YYSTYPE
+#define YYSTYPE int
+#endif
+#ifndef YY_STACK_SIZE
+#define YY_STACK_SIZE 128
+#endif
+
+#ifndef YY_BUFFER_SIZE
+#define YY_BUFFER_SIZE 1024
+#endif
+
+#ifndef YY_PART
+
+typedef struct _yycontext yycontext;
+typedef void (*yyaction)(yycontext *yy, char *yytext, int yyleng);
+typedef struct _yythunk { int begin, end; yyaction action; struct _yythunk *next; } yythunk;+
+struct _yycontext {+ char *__buf;
+ int __buflen;
+ int __pos;
+ int __limit;
+ char *__text;
+ int __textlen;
+ int __begin;
+ int __end;
+ int __textmax;
+ yythunk *__thunks;
+ int __thunkslen;
+ int __thunkpos;
+ YYSTYPE __;
+ YYSTYPE *__val;
+ YYSTYPE *__vals;
+ int __valslen;
+#ifdef YY_CTX_MEMBERS
+ YY_CTX_MEMBERS
+#endif
+};
+
+#ifdef YY_CTX_LOCAL
+#define YY_CTX_PARAM_ yycontext *yyctx,
+#define YY_CTX_PARAM yycontext *yyctx
+#define YY_CTX_ARG_ yyctx,
+#define YY_CTX_ARG yyctx
+#ifndef YY_INPUT
+#define YY_INPUT(yy, buf, result, max_size) \
+ { \+ int yyc= getchar(); \
+ result= (EOF == yyc) ? 0 : (*(buf)= yyc, 1); \
+ yyprintf((stderr, "<%c>", yyc)); \
+ }
+#endif
+#else
+#define YY_CTX_PARAM_
+#define YY_CTX_PARAM
+#define YY_CTX_ARG_
+#define YY_CTX_ARG
+yycontext _yyctx= { 0, 0 };+yycontext *yyctx= &_yyctx;
+#ifndef YY_INPUT
+#define YY_INPUT(buf, result, max_size) \
+ { \+ int yyc= getchar(); \
+ result= (EOF == yyc) ? 0 : (*(buf)= yyc, 1); \
+ yyprintf((stderr, "<%c>", yyc)); \
+ }
+#endif
+#endif
+
+YY_LOCAL(int) yyrefill(yycontext *yy)
+{+ int yyn;
+ while (yy->__buflen - yy->__pos < 512)
+ {+ yy->__buflen *= 2;
+ yy->__buf= (char *)YY_REALLOC(yy, yy->__buf, yy->__buflen);
+ }
+#ifdef YY_CTX_LOCAL
+ YY_INPUT(yy, (yy->__buf + yy->__pos), yyn, (yy->__buflen - yy->__pos));
+#else
+ YY_INPUT((yy->__buf + yy->__pos), yyn, (yy->__buflen - yy->__pos));
+#endif
+ if (!yyn) return 0;
+ yy->__limit += yyn;
+ return 1;
+}
+
+YY_LOCAL(int) yymatchDot(yycontext *yy)
+{+ if (yy->__pos >= yy->__limit && !yyrefill(yy)) return 0;
+ ++yy->__pos;
+ return 1;
+}
+
+YY_LOCAL(int) yymatchChar(yycontext *yy, int c)
+{+ if (yy->__pos >= yy->__limit && !yyrefill(yy)) return 0;
+ if ((unsigned char)yy->__buf[yy->__pos] == c)
+ {+ ++yy->__pos;
+ yyprintf((stderr, " ok yymatchChar(yy, %c) @ %s\n", c, yy->__buf+yy->__pos));
+ return 1;
+ }
+ yyprintf((stderr, " fail yymatchChar(yy, %c) @ %s\n", c, yy->__buf+yy->__pos));
+ return 0;
+}
+
+YY_LOCAL(int) yymatchString(yycontext *yy, const char *s)
+{+ int yysav= yy->__pos;
+ while (*s)
+ {+ if (yy->__pos >= yy->__limit && !yyrefill(yy)) return 0;
+ if (yy->__buf[yy->__pos] != *s)
+ {+ yy->__pos= yysav;
+ return 0;
+ }
+ ++s;
+ ++yy->__pos;
+ }
+ return 1;
+}
+
+YY_LOCAL(int) yymatchClass(yycontext *yy, unsigned char *bits)
+{+ int c;
+ if (yy->__pos >= yy->__limit && !yyrefill(yy)) return 0;
+ c= (unsigned char)yy->__buf[yy->__pos];
+ if (bits[c >> 3] & (1 << (c & 7)))
+ {+ ++yy->__pos;
+ yyprintf((stderr, " ok yymatchClass @ %s\n", yy->__buf+yy->__pos));
+ return 1;
+ }
+ yyprintf((stderr, " fail yymatchClass @ %s\n", yy->__buf+yy->__pos));
+ return 0;
+}
+
+YY_LOCAL(void) yyDo(yycontext *yy, yyaction action, int begin, int end)
+{+ while (yy->__thunkpos >= yy->__thunkslen)
+ {+ yy->__thunkslen *= 2;
+ yy->__thunks= (yythunk *)YY_REALLOC(yy, yy->__thunks, sizeof(yythunk) * yy->__thunkslen);
+ }
+ yy->__thunks[yy->__thunkpos].begin= begin;
+ yy->__thunks[yy->__thunkpos].end= end;
+ yy->__thunks[yy->__thunkpos].action= action;
+ ++yy->__thunkpos;
+}
+
+YY_LOCAL(int) yyText(yycontext *yy, int begin, int end)
+{+ int yyleng= end - begin;
+ if (yyleng <= 0)
+ yyleng= 0;
+ else
+ {+ while (yy->__textlen < (yyleng + 1))
+ {+ yy->__textlen *= 2;
+ yy->__text= (char *)YY_REALLOC(yy, yy->__text, yy->__textlen);
+ }
+ memcpy(yy->__text, yy->__buf + begin, yyleng);
+ }
+ yy->__text[yyleng]= '\0';
+ return yyleng;
+}
+
+YY_LOCAL(void) yyDone(yycontext *yy)
+{+ int pos;
+ for (pos= 0; pos < yy->__thunkpos; ++pos)
+ {+ yythunk *thunk= &yy->__thunks[pos];
+ int yyleng= thunk->end ? yyText(yy, thunk->begin, thunk->end) : thunk->begin;
+ yyprintf((stderr, "DO [%d] %p %s\n", pos, thunk->action, yy->__text));
+ thunk->action(yy, yy->__text, yyleng);
+ }
+ yy->__thunkpos= 0;
+}
+
+YY_LOCAL(void) yyCommit(yycontext *yy)
+{+ if ((yy->__limit -= yy->__pos))
+ {+ memmove(yy->__buf, yy->__buf + yy->__pos, yy->__limit);
+ }
+ yy->__begin -= yy->__pos;
+ yy->__end -= yy->__pos;
+ yy->__pos= yy->__thunkpos= 0;
+}
+
+YY_LOCAL(int) yyAccept(yycontext *yy, int tp0)
+{+ if (tp0)
+ {+ fprintf(stderr, "accept denied at %d\n", tp0);
+ return 0;
+ }
+ else
+ {+ yyDone(yy);
+ yyCommit(yy);
+ }
+ return 1;
+}
+
+YY_LOCAL(void) yyPush(yycontext *yy, char *text, int count)
+{+ yy->__val += count;
+ while (yy->__valslen <= yy->__val - yy->__vals)
+ {+ long offset= yy->__val - yy->__vals;
+ yy->__valslen *= 2;
+ yy->__vals= (YYSTYPE *)YY_REALLOC(yy, yy->__vals, sizeof(YYSTYPE) * yy->__valslen);
+ yy->__val= yy->__vals + offset;
+ }
+}
+YY_LOCAL(void) yyPop(yycontext *yy, char *text, int count) { yy->__val -= count; }+YY_LOCAL(void) yySet(yycontext *yy, char *text, int count) { yy->__val[count]= yy->__; }+
+#endif /* YY_PART */
+
+#define YYACCEPT yyAccept(yy, yythunkpos0)
+
+YY_RULE(int) yy_comment(yycontext *yy); /* 39 */
+YY_RULE(int) yy_space(yycontext *yy); /* 38 */
+YY_RULE(int) yy_braces(yycontext *yy); /* 37 */
+YY_RULE(int) yy_range(yycontext *yy); /* 36 */
+YY_RULE(int) yy_char(yycontext *yy); /* 35 */
+YY_RULE(int) yy_END(yycontext *yy); /* 34 */
+YY_RULE(int) yy_BEGIN(yycontext *yy); /* 33 */
+YY_RULE(int) yy_DOT(yycontext *yy); /* 32 */
+YY_RULE(int) yy_class(yycontext *yy); /* 31 */
+YY_RULE(int) yy_literal(yycontext *yy); /* 30 */
+YY_RULE(int) yy_CLOSE(yycontext *yy); /* 29 */
+YY_RULE(int) yy_OPEN(yycontext *yy); /* 28 */
+YY_RULE(int) yy_COLON(yycontext *yy); /* 27 */
+YY_RULE(int) yy_PLUS(yycontext *yy); /* 26 */
+YY_RULE(int) yy_STAR(yycontext *yy); /* 25 */
+YY_RULE(int) yy_QUESTION(yycontext *yy); /* 24 */
+YY_RULE(int) yy_primary(yycontext *yy); /* 23 */
+YY_RULE(int) yy_NOT(yycontext *yy); /* 22 */
+YY_RULE(int) yy_suffix(yycontext *yy); /* 21 */
+YY_RULE(int) yy_AND(yycontext *yy); /* 20 */
+YY_RULE(int) yy_AT(yycontext *yy); /* 19 */
+YY_RULE(int) yy_action(yycontext *yy); /* 18 */
+YY_RULE(int) yy_TILDE(yycontext *yy); /* 17 */
+YY_RULE(int) yy_prefix(yycontext *yy); /* 16 */
+YY_RULE(int) yy_error(yycontext *yy); /* 15 */
+YY_RULE(int) yy_BAR(yycontext *yy); /* 14 */
+YY_RULE(int) yy_sequence(yycontext *yy); /* 13 */
+YY_RULE(int) yy_SEMICOLON(yycontext *yy); /* 12 */
+YY_RULE(int) yy_expression(yycontext *yy); /* 11 */
+YY_RULE(int) yy_EQUAL(yycontext *yy); /* 10 */
+YY_RULE(int) yy_identifier(yycontext *yy); /* 9 */
+YY_RULE(int) yy_RPERCENT(yycontext *yy); /* 8 */
+YY_RULE(int) yy_end_of_line(yycontext *yy); /* 7 */
+YY_RULE(int) yy_end_of_file(yycontext *yy); /* 6 */
+YY_RULE(int) yy_trailer(yycontext *yy); /* 5 */
+YY_RULE(int) yy_definition(yycontext *yy); /* 4 */
+YY_RULE(int) yy_declaration(yycontext *yy); /* 3 */
+YY_RULE(int) yy__(yycontext *yy); /* 2 */
+YY_RULE(int) yy_grammar(yycontext *yy); /* 1 */
+
+YY_ACTION(void) yy_1_end_of_line(yycontext *yy, char *yytext, int yyleng)
+{+#define __ yy->__
+#define yypos yy->__pos
+#define yythunkpos yy->__thunkpos
+ yyprintf((stderr, "do yy_1_end_of_line\n"));
+ {+#line 160
+ ++lineNumber ;
+ }
+#undef yythunkpos
+#undef yypos
+#undef yy
+}
+YY_ACTION(void) yy_1_action(yycontext *yy, char *yytext, int yyleng)
+{+#define __ yy->__
+#define yypos yy->__pos
+#define yythunkpos yy->__thunkpos
+ yyprintf((stderr, "do yy_1_action\n"));
+ {+#line 133
+ actionLine= lineNumber ;
+ }
+#undef yythunkpos
+#undef yypos
+#undef yy
+}
+YY_ACTION(void) yy_9_primary(yycontext *yy, char *yytext, int yyleng)
+{+#define __ yy->__
+#define yypos yy->__pos
+#define yythunkpos yy->__thunkpos
+ yyprintf((stderr, "do yy_9_primary\n"));
+ {+#line 113
+ push(makePredicate("YY_END")); ;+ }
+#undef yythunkpos
+#undef yypos
+#undef yy
+}
+YY_ACTION(void) yy_8_primary(yycontext *yy, char *yytext, int yyleng)
+{+#define __ yy->__
+#define yypos yy->__pos
+#define yythunkpos yy->__thunkpos
+ yyprintf((stderr, "do yy_8_primary\n"));
+ {+#line 112
+ push(makePredicate("YY_BEGIN")); ;+ }
+#undef yythunkpos
+#undef yypos
+#undef yy
+}
+YY_ACTION(void) yy_7_primary(yycontext *yy, char *yytext, int yyleng)
+{+#define __ yy->__
+#define yypos yy->__pos
+#define yythunkpos yy->__thunkpos
+ yyprintf((stderr, "do yy_7_primary\n"));
+ {+#line 111
+ push(makeAction(actionLine, yytext)); ;
+ }
+#undef yythunkpos
+#undef yypos
+#undef yy
+}
+YY_ACTION(void) yy_6_primary(yycontext *yy, char *yytext, int yyleng)
+{+#define __ yy->__
+#define yypos yy->__pos
+#define yythunkpos yy->__thunkpos
+ yyprintf((stderr, "do yy_6_primary\n"));
+ {+#line 110
+ push(makeDot()); ;
+ }
+#undef yythunkpos
+#undef yypos
+#undef yy
+}
+YY_ACTION(void) yy_5_primary(yycontext *yy, char *yytext, int yyleng)
+{+#define __ yy->__
+#define yypos yy->__pos
+#define yythunkpos yy->__thunkpos
+ yyprintf((stderr, "do yy_5_primary\n"));
+ {+#line 109
+ push(makeClass(yytext)); ;
+ }
+#undef yythunkpos
+#undef yypos
+#undef yy
+}
+YY_ACTION(void) yy_4_primary(yycontext *yy, char *yytext, int yyleng)
+{+#define __ yy->__
+#define yypos yy->__pos
+#define yythunkpos yy->__thunkpos
+ yyprintf((stderr, "do yy_4_primary\n"));
+ {+#line 108
+ push(makeString(yytext)); ;
+ }
+#undef yythunkpos
+#undef yypos
+#undef yy
+}
+YY_ACTION(void) yy_3_primary(yycontext *yy, char *yytext, int yyleng)
+{+#define __ yy->__
+#define yypos yy->__pos
+#define yythunkpos yy->__thunkpos
+ yyprintf((stderr, "do yy_3_primary\n"));
+ {+#line 106
+ push(makeName(findRule(yytext))); ;
+ }
+#undef yythunkpos
+#undef yypos
+#undef yy
+}
+YY_ACTION(void) yy_2_primary(yycontext *yy, char *yytext, int yyleng)
+{+#define __ yy->__
+#define yypos yy->__pos
+#define yythunkpos yy->__thunkpos
+ yyprintf((stderr, "do yy_2_primary\n"));
+ {+#line 105
+ Node *name= makeName(findRule(yytext)); name->name.variable= pop(); push(name); ;
+ }
+#undef yythunkpos
+#undef yypos
+#undef yy
+}
+YY_ACTION(void) yy_1_primary(yycontext *yy, char *yytext, int yyleng)
+{+#define __ yy->__
+#define yypos yy->__pos
+#define yythunkpos yy->__thunkpos
+ yyprintf((stderr, "do yy_1_primary\n"));
+ {+#line 104
+ push(makeVariable(yytext)); ;
+ }
+#undef yythunkpos
+#undef yypos
+#undef yy
+}
+YY_ACTION(void) yy_3_suffix(yycontext *yy, char *yytext, int yyleng)
+{+#define __ yy->__
+#define yypos yy->__pos
+#define yythunkpos yy->__thunkpos
+ yyprintf((stderr, "do yy_3_suffix\n"));
+ {+#line 101
+ push(makePlus (pop())); ;
+ }
+#undef yythunkpos
+#undef yypos
+#undef yy
+}
+YY_ACTION(void) yy_2_suffix(yycontext *yy, char *yytext, int yyleng)
+{+#define __ yy->__
+#define yypos yy->__pos
+#define yythunkpos yy->__thunkpos
+ yyprintf((stderr, "do yy_2_suffix\n"));
+ {+#line 100
+ push(makeStar (pop())); ;
+ }
+#undef yythunkpos
+#undef yypos
+#undef yy
+}
+YY_ACTION(void) yy_1_suffix(yycontext *yy, char *yytext, int yyleng)
+{+#define __ yy->__
+#define yypos yy->__pos
+#define yythunkpos yy->__thunkpos
+ yyprintf((stderr, "do yy_1_suffix\n"));
+ {+#line 99
+ push(makeQuery(pop())); ;
+ }
+#undef yythunkpos
+#undef yypos
+#undef yy
+}
+YY_ACTION(void) yy_4_prefix(yycontext *yy, char *yytext, int yyleng)
+{+#define __ yy->__
+#define yypos yy->__pos
+#define yythunkpos yy->__thunkpos
+ yyprintf((stderr, "do yy_4_prefix\n"));
+ {+#line 96
+ push(makePeekNot(pop())); ;
+ }
+#undef yythunkpos
+#undef yypos
+#undef yy
+}
+YY_ACTION(void) yy_3_prefix(yycontext *yy, char *yytext, int yyleng)
+{+#define __ yy->__
+#define yypos yy->__pos
+#define yythunkpos yy->__thunkpos
+ yyprintf((stderr, "do yy_3_prefix\n"));
+ {+#line 95
+ push(makePeekFor(pop())); ;
+ }
+#undef yythunkpos
+#undef yypos
+#undef yy
+}
+YY_ACTION(void) yy_2_prefix(yycontext *yy, char *yytext, int yyleng)
+{+#define __ yy->__
+#define yypos yy->__pos
+#define yythunkpos yy->__thunkpos
+ yyprintf((stderr, "do yy_2_prefix\n"));
+ {+#line 94
+ push(makePredicate(yytext)); ;
+ }
+#undef yythunkpos
+#undef yypos
+#undef yy
+}
+YY_ACTION(void) yy_1_prefix(yycontext *yy, char *yytext, int yyleng)
+{+#define __ yy->__
+#define yypos yy->__pos
+#define yythunkpos yy->__thunkpos
+ yyprintf((stderr, "do yy_1_prefix\n"));
+ {+#line 93
+ push(makeInline(yytext)); ;
+ }
+#undef yythunkpos
+#undef yypos
+#undef yy
+}
+YY_ACTION(void) yy_1_error(yycontext *yy, char *yytext, int yyleng)
+{+#define __ yy->__
+#define yypos yy->__pos
+#define yythunkpos yy->__thunkpos
+ yyprintf((stderr, "do yy_1_error\n"));
+ {+#line 90
+ push(makeError(pop(), yytext)); ;
+ }
+#undef yythunkpos
+#undef yypos
+#undef yy
+}
+YY_ACTION(void) yy_1_sequence(yycontext *yy, char *yytext, int yyleng)
+{+#define __ yy->__
+#define yypos yy->__pos
+#define yythunkpos yy->__thunkpos
+ yyprintf((stderr, "do yy_1_sequence\n"));
+ {+#line 87
+ Node *f= pop(); push(Sequence_append(pop(), f)); ;
+ }
+#undef yythunkpos
+#undef yypos
+#undef yy
+}
+YY_ACTION(void) yy_1_expression(yycontext *yy, char *yytext, int yyleng)
+{+#define __ yy->__
+#define yypos yy->__pos
+#define yythunkpos yy->__thunkpos
+ yyprintf((stderr, "do yy_1_expression\n"));
+ {+#line 84
+ Node *f= pop(); push(Alternate_append(pop(), f)); ;
+ }
+#undef yythunkpos
+#undef yypos
+#undef yy
+}
+YY_ACTION(void) yy_2_definition(yycontext *yy, char *yytext, int yyleng)
+{+#define __ yy->__
+#define yypos yy->__pos
+#define yythunkpos yy->__thunkpos
+ yyprintf((stderr, "do yy_2_definition\n"));
+ {+#line 81
+ Node *e= pop(); Rule_setExpression(pop(), e); ;
+ }
+#undef yythunkpos
+#undef yypos
+#undef yy
+}
+YY_ACTION(void) yy_1_definition(yycontext *yy, char *yytext, int yyleng)
+{+#define __ yy->__
+#define yypos yy->__pos
+#define yythunkpos yy->__thunkpos
+ yyprintf((stderr, "do yy_1_definition\n"));
+ {+#line 79
+ if (push(beginRule(findRule(yytext)))->rule.expression)
+ fprintf(stderr, "rule '%s' redefined\n", yytext); ;
+ }
+#undef yythunkpos
+#undef yypos
+#undef yy
+}
+YY_ACTION(void) yy_2_trailer(yycontext *yy, char *yytext, int yyleng)
+{+#define __ yy->__
+#define yypos yy->__pos
+#define yythunkpos yy->__thunkpos
+ yyprintf((stderr, "do yy_2_trailer\n"));
+ {+#line 77
+ makeTrailer(headerLine, yytext); ;
+ }
+#undef yythunkpos
+#undef yypos
+#undef yy
+}
+YY_ACTION(void) yy_1_trailer(yycontext *yy, char *yytext, int yyleng)
+{+#define __ yy->__
+#define yypos yy->__pos
+#define yythunkpos yy->__thunkpos
+ yyprintf((stderr, "do yy_1_trailer\n"));
+ {+#line 76
+ headerLine= lineNumber ;
+ }
+#undef yythunkpos
+#undef yypos
+#undef yy
+}
+YY_ACTION(void) yy_2_declaration(yycontext *yy, char *yytext, int yyleng)
+{+#define __ yy->__
+#define yypos yy->__pos
+#define yythunkpos yy->__thunkpos
+ yyprintf((stderr, "do yy_2_declaration\n"));
+ {+#line 74
+ makeHeader(headerLine, yytext); ;
+ }
+#undef yythunkpos
+#undef yypos
+#undef yy
+}
+YY_ACTION(void) yy_1_declaration(yycontext *yy, char *yytext, int yyleng)
+{+#define __ yy->__
+#define yypos yy->__pos
+#define yythunkpos yy->__thunkpos
+ yyprintf((stderr, "do yy_1_declaration\n"));
+ {+#line 72
+ headerLine= lineNumber; ;
+ }
+#undef yythunkpos
+#undef yypos
+#undef yy
+}
+
+YY_RULE(int) yy_comment(yycontext *yy)
+{ int yypos0= yy->__pos, yythunkpos0= yy->__thunkpos;+ yyprintf((stderr, "%s\n", "comment")); if (!yymatchChar(yy, '#')) goto l1;
+ l2:;
+ { int yypos3= yy->__pos, yythunkpos3= yy->__thunkpos;+ { int yypos4= yy->__pos, yythunkpos4= yy->__thunkpos; if (!yy_end_of_line(yy)) goto l4; goto l3;+ l4:; yy->__pos= yypos4; yy->__thunkpos= yythunkpos4;
+ } if (!yymatchDot(yy)) goto l3; goto l2;
+ l3:; yy->__pos= yypos3; yy->__thunkpos= yythunkpos3;
+ } if (!yy_end_of_line(yy)) goto l1;
+ yyprintf((stderr, " ok %s @ %s\n", "comment", yy->__buf+yy->__pos));
+ return 1;
+ l1:; yy->__pos= yypos0; yy->__thunkpos= yythunkpos0;
+ yyprintf((stderr, " fail %s @ %s\n", "comment", yy->__buf+yy->__pos));
+ return 0;
+}
+YY_RULE(int) yy_space(yycontext *yy)
+{ int yypos0= yy->__pos, yythunkpos0= yy->__thunkpos;+ yyprintf((stderr, "%s\n", "space"));
+ { int yypos6= yy->__pos, yythunkpos6= yy->__thunkpos; if (!yymatchChar(yy, ' ')) goto l7; goto l6;+ l7:; yy->__pos= yypos6; yy->__thunkpos= yythunkpos6; if (!yymatchChar(yy, '\t')) goto l8; goto l6;
+ l8:; yy->__pos= yypos6; yy->__thunkpos= yythunkpos6; if (!yy_end_of_line(yy)) goto l5;
+ }
+ l6:;
+ yyprintf((stderr, " ok %s @ %s\n", "space", yy->__buf+yy->__pos));
+ return 1;
+ l5:; yy->__pos= yypos0; yy->__thunkpos= yythunkpos0;
+ yyprintf((stderr, " fail %s @ %s\n", "space", yy->__buf+yy->__pos));
+ return 0;
+}
+YY_RULE(int) yy_braces(yycontext *yy)
+{ int yypos0= yy->__pos, yythunkpos0= yy->__thunkpos;+ yyprintf((stderr, "%s\n", "braces"));
+ { int yypos10= yy->__pos, yythunkpos10= yy->__thunkpos; if (!yymatchChar(yy, '{')) goto l11;+ l12:;
+ { int yypos13= yy->__pos, yythunkpos13= yy->__thunkpos; if (!yy_braces(yy)) goto l13; goto l12;+ l13:; yy->__pos= yypos13; yy->__thunkpos= yythunkpos13;
+ } if (!yymatchChar(yy, '}')) goto l11; goto l10;
+ l11:; yy->__pos= yypos10; yy->__thunkpos= yythunkpos10;
+ { int yypos14= yy->__pos, yythunkpos14= yy->__thunkpos; if (!yymatchChar(yy, '}')) goto l14; goto l9;+ l14:; yy->__pos= yypos14; yy->__thunkpos= yythunkpos14;
+ }
+ { int yypos15= yy->__pos, yythunkpos15= yy->__thunkpos; if (!yy_end_of_line(yy)) goto l16; goto l15;+ l16:; yy->__pos= yypos15; yy->__thunkpos= yythunkpos15; if (!yymatchDot(yy)) goto l9;
+ }
+ l15:;
+ }
+ l10:;
+ yyprintf((stderr, " ok %s @ %s\n", "braces", yy->__buf+yy->__pos));
+ return 1;
+ l9:; yy->__pos= yypos0; yy->__thunkpos= yythunkpos0;
+ yyprintf((stderr, " fail %s @ %s\n", "braces", yy->__buf+yy->__pos));
+ return 0;
+}
+YY_RULE(int) yy_range(yycontext *yy)
+{ int yypos0= yy->__pos, yythunkpos0= yy->__thunkpos;+ yyprintf((stderr, "%s\n", "range"));
+ { int yypos18= yy->__pos, yythunkpos18= yy->__thunkpos; if (!yy_char(yy)) goto l19; if (!yymatchChar(yy, '-')) goto l19; if (!yy_char(yy)) goto l19; goto l18;+ l19:; yy->__pos= yypos18; yy->__thunkpos= yythunkpos18; if (!yy_char(yy)) goto l17;
+ }
+ l18:;
+ yyprintf((stderr, " ok %s @ %s\n", "range", yy->__buf+yy->__pos));
+ return 1;
+ l17:; yy->__pos= yypos0; yy->__thunkpos= yythunkpos0;
+ yyprintf((stderr, " fail %s @ %s\n", "range", yy->__buf+yy->__pos));
+ return 0;
+}
+YY_RULE(int) yy_char(yycontext *yy)
+{ int yypos0= yy->__pos, yythunkpos0= yy->__thunkpos;+ yyprintf((stderr, "%s\n", "char"));
+ { int yypos21= yy->__pos, yythunkpos21= yy->__thunkpos; if (!yymatchChar(yy, '\\')) goto l22; if (!yymatchClass(yy, (unsigned char *)"\000\000\000\000\204\040\000\000\000\000\000\070\146\100\124\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000")) goto l22; goto l21;+ l22:; yy->__pos= yypos21; yy->__thunkpos= yythunkpos21; if (!yymatchChar(yy, '\\')) goto l23; if (!yymatchChar(yy, 'x')) goto l23; if (!yymatchClass(yy, (unsigned char *)"\000\000\000\000\000\000\377\003\176\000\000\000\176\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000")) goto l23; if (!yymatchClass(yy, (unsigned char *)"\000\000\000\000\000\000\377\003\176\000\000\000\176\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000")) goto l23; goto l21;
+ l23:; yy->__pos= yypos21; yy->__thunkpos= yythunkpos21; if (!yymatchChar(yy, '\\')) goto l24; if (!yymatchChar(yy, 'x')) goto l24; if (!yymatchClass(yy, (unsigned char *)"\000\000\000\000\000\000\377\003\176\000\000\000\176\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000")) goto l24; goto l21;
+ l24:; yy->__pos= yypos21; yy->__thunkpos= yythunkpos21; if (!yymatchChar(yy, '\\')) goto l25; if (!yymatchClass(yy, (unsigned char *)"\000\000\000\000\000\000\017\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000")) goto l25; if (!yymatchClass(yy, (unsigned char *)"\000\000\000\000\000\000\377\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000")) goto l25; if (!yymatchClass(yy, (unsigned char *)"\000\000\000\000\000\000\377\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000")) goto l25; goto l21;
+ l25:; yy->__pos= yypos21; yy->__thunkpos= yythunkpos21; if (!yymatchChar(yy, '\\')) goto l26; if (!yymatchClass(yy, (unsigned char *)"\000\000\000\000\000\000\377\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000")) goto l26;
+ { int yypos27= yy->__pos, yythunkpos27= yy->__thunkpos; if (!yymatchClass(yy, (unsigned char *)"\000\000\000\000\000\000\377\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000")) goto l27; goto l28;+ l27:; yy->__pos= yypos27; yy->__thunkpos= yythunkpos27;
+ }
+ l28:; goto l21;
+ l26:; yy->__pos= yypos21; yy->__thunkpos= yythunkpos21;
+ { int yypos29= yy->__pos, yythunkpos29= yy->__thunkpos; if (!yymatchChar(yy, '\\')) goto l29; goto l20;+ l29:; yy->__pos= yypos29; yy->__thunkpos= yythunkpos29;
+ } if (!yymatchDot(yy)) goto l20;
+ }
+ l21:;
+ yyprintf((stderr, " ok %s @ %s\n", "char", yy->__buf+yy->__pos));
+ return 1;
+ l20:; yy->__pos= yypos0; yy->__thunkpos= yythunkpos0;
+ yyprintf((stderr, " fail %s @ %s\n", "char", yy->__buf+yy->__pos));
+ return 0;
+}
+YY_RULE(int) yy_END(yycontext *yy)
+{ int yypos0= yy->__pos, yythunkpos0= yy->__thunkpos;+ yyprintf((stderr, "%s\n", "END")); if (!yymatchChar(yy, '>')) goto l30; if (!yy__(yy)) goto l30;
+ yyprintf((stderr, " ok %s @ %s\n", "END", yy->__buf+yy->__pos));
+ return 1;
+ l30:; yy->__pos= yypos0; yy->__thunkpos= yythunkpos0;
+ yyprintf((stderr, " fail %s @ %s\n", "END", yy->__buf+yy->__pos));
+ return 0;
+}
+YY_RULE(int) yy_BEGIN(yycontext *yy)
+{ int yypos0= yy->__pos, yythunkpos0= yy->__thunkpos;+ yyprintf((stderr, "%s\n", "BEGIN")); if (!yymatchChar(yy, '<')) goto l31; if (!yy__(yy)) goto l31;
+ yyprintf((stderr, " ok %s @ %s\n", "BEGIN", yy->__buf+yy->__pos));
+ return 1;
+ l31:; yy->__pos= yypos0; yy->__thunkpos= yythunkpos0;
+ yyprintf((stderr, " fail %s @ %s\n", "BEGIN", yy->__buf+yy->__pos));
+ return 0;
+}
+YY_RULE(int) yy_DOT(yycontext *yy)
+{ int yypos0= yy->__pos, yythunkpos0= yy->__thunkpos;+ yyprintf((stderr, "%s\n", "DOT")); if (!yymatchChar(yy, '.')) goto l32; if (!yy__(yy)) goto l32;
+ yyprintf((stderr, " ok %s @ %s\n", "DOT", yy->__buf+yy->__pos));
+ return 1;
+ l32:; yy->__pos= yypos0; yy->__thunkpos= yythunkpos0;
+ yyprintf((stderr, " fail %s @ %s\n", "DOT", yy->__buf+yy->__pos));
+ return 0;
+}
+YY_RULE(int) yy_class(yycontext *yy)
+{ int yypos0= yy->__pos, yythunkpos0= yy->__thunkpos;+ yyprintf((stderr, "%s\n", "class")); if (!yymatchChar(yy, '[')) goto l33; yyText(yy, yy->__begin, yy->__end); {+#define yytext yy->__text
+#define yyleng yy->__textlen
+if (!(YY_BEGIN)) goto l33;
+#undef yytext
+#undef yyleng
+ }
+ l34:;
+ { int yypos35= yy->__pos, yythunkpos35= yy->__thunkpos;+ { int yypos36= yy->__pos, yythunkpos36= yy->__thunkpos; if (!yymatchChar(yy, ']')) goto l36; goto l35;+ l36:; yy->__pos= yypos36; yy->__thunkpos= yythunkpos36;
+ } if (!yy_range(yy)) goto l35; goto l34;
+ l35:; yy->__pos= yypos35; yy->__thunkpos= yythunkpos35;
+ } yyText(yy, yy->__begin, yy->__end); {+#define yytext yy->__text
+#define yyleng yy->__textlen
+if (!(YY_END)) goto l33;
+#undef yytext
+#undef yyleng
+ } if (!yymatchChar(yy, ']')) goto l33; if (!yy__(yy)) goto l33;
+ yyprintf((stderr, " ok %s @ %s\n", "class", yy->__buf+yy->__pos));
+ return 1;
+ l33:; yy->__pos= yypos0; yy->__thunkpos= yythunkpos0;
+ yyprintf((stderr, " fail %s @ %s\n", "class", yy->__buf+yy->__pos));
+ return 0;
+}
+YY_RULE(int) yy_literal(yycontext *yy)
+{ int yypos0= yy->__pos, yythunkpos0= yy->__thunkpos;+ yyprintf((stderr, "%s\n", "literal"));
+ { int yypos38= yy->__pos, yythunkpos38= yy->__thunkpos; if (!yymatchClass(yy, (unsigned char *)"\000\000\000\000\200\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000")) goto l39; yyText(yy, yy->__begin, yy->__end); {+#define yytext yy->__text
+#define yyleng yy->__textlen
+if (!(YY_BEGIN)) goto l39;
+#undef yytext
+#undef yyleng
+ }
+ l40:;
+ { int yypos41= yy->__pos, yythunkpos41= yy->__thunkpos;+ { int yypos42= yy->__pos, yythunkpos42= yy->__thunkpos; if (!yymatchClass(yy, (unsigned char *)"\000\000\000\000\200\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000")) goto l42; goto l41;+ l42:; yy->__pos= yypos42; yy->__thunkpos= yythunkpos42;
+ } if (!yy_char(yy)) goto l41; goto l40;
+ l41:; yy->__pos= yypos41; yy->__thunkpos= yythunkpos41;
+ } yyText(yy, yy->__begin, yy->__end); {+#define yytext yy->__text
+#define yyleng yy->__textlen
+if (!(YY_END)) goto l39;
+#undef yytext
+#undef yyleng
+ } if (!yymatchClass(yy, (unsigned char *)"\000\000\000\000\200\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000")) goto l39; if (!yy__(yy)) goto l39; goto l38;
+ l39:; yy->__pos= yypos38; yy->__thunkpos= yythunkpos38; if (!yymatchClass(yy, (unsigned char *)"\000\000\000\000\004\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000")) goto l37; yyText(yy, yy->__begin, yy->__end); {+#define yytext yy->__text
+#define yyleng yy->__textlen
+if (!(YY_BEGIN)) goto l37;
+#undef yytext
+#undef yyleng
+ }
+ l43:;
+ { int yypos44= yy->__pos, yythunkpos44= yy->__thunkpos;+ { int yypos45= yy->__pos, yythunkpos45= yy->__thunkpos; if (!yymatchClass(yy, (unsigned char *)"\000\000\000\000\004\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000")) goto l45; goto l44;+ l45:; yy->__pos= yypos45; yy->__thunkpos= yythunkpos45;
+ } if (!yy_char(yy)) goto l44; goto l43;
+ l44:; yy->__pos= yypos44; yy->__thunkpos= yythunkpos44;
+ } yyText(yy, yy->__begin, yy->__end); {+#define yytext yy->__text
+#define yyleng yy->__textlen
+if (!(YY_END)) goto l37;
+#undef yytext
+#undef yyleng
+ } if (!yymatchClass(yy, (unsigned char *)"\000\000\000\000\004\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000")) goto l37; if (!yy__(yy)) goto l37;
+ }
+ l38:;
+ yyprintf((stderr, " ok %s @ %s\n", "literal", yy->__buf+yy->__pos));
+ return 1;
+ l37:; yy->__pos= yypos0; yy->__thunkpos= yythunkpos0;
+ yyprintf((stderr, " fail %s @ %s\n", "literal", yy->__buf+yy->__pos));
+ return 0;
+}
+YY_RULE(int) yy_CLOSE(yycontext *yy)
+{ int yypos0= yy->__pos, yythunkpos0= yy->__thunkpos;+ yyprintf((stderr, "%s\n", "CLOSE")); if (!yymatchChar(yy, ')')) goto l46; if (!yy__(yy)) goto l46;
+ yyprintf((stderr, " ok %s @ %s\n", "CLOSE", yy->__buf+yy->__pos));
+ return 1;
+ l46:; yy->__pos= yypos0; yy->__thunkpos= yythunkpos0;
+ yyprintf((stderr, " fail %s @ %s\n", "CLOSE", yy->__buf+yy->__pos));
+ return 0;
+}
+YY_RULE(int) yy_OPEN(yycontext *yy)
+{ int yypos0= yy->__pos, yythunkpos0= yy->__thunkpos;+ yyprintf((stderr, "%s\n", "OPEN")); if (!yymatchChar(yy, '(')) goto l47; if (!yy__(yy)) goto l47;+ yyprintf((stderr, " ok %s @ %s\n", "OPEN", yy->__buf+yy->__pos));
+ return 1;
+ l47:; yy->__pos= yypos0; yy->__thunkpos= yythunkpos0;
+ yyprintf((stderr, " fail %s @ %s\n", "OPEN", yy->__buf+yy->__pos));
+ return 0;
+}
+YY_RULE(int) yy_COLON(yycontext *yy)
+{ int yypos0= yy->__pos, yythunkpos0= yy->__thunkpos;+ yyprintf((stderr, "%s\n", "COLON")); if (!yymatchChar(yy, ':')) goto l48; if (!yy__(yy)) goto l48;
+ yyprintf((stderr, " ok %s @ %s\n", "COLON", yy->__buf+yy->__pos));
+ return 1;
+ l48:; yy->__pos= yypos0; yy->__thunkpos= yythunkpos0;
+ yyprintf((stderr, " fail %s @ %s\n", "COLON", yy->__buf+yy->__pos));
+ return 0;
+}
+YY_RULE(int) yy_PLUS(yycontext *yy)
+{ int yypos0= yy->__pos, yythunkpos0= yy->__thunkpos;+ yyprintf((stderr, "%s\n", "PLUS")); if (!yymatchChar(yy, '+')) goto l49; if (!yy__(yy)) goto l49;
+ yyprintf((stderr, " ok %s @ %s\n", "PLUS", yy->__buf+yy->__pos));
+ return 1;
+ l49:; yy->__pos= yypos0; yy->__thunkpos= yythunkpos0;
+ yyprintf((stderr, " fail %s @ %s\n", "PLUS", yy->__buf+yy->__pos));
+ return 0;
+}
+YY_RULE(int) yy_STAR(yycontext *yy)
+{ int yypos0= yy->__pos, yythunkpos0= yy->__thunkpos;+ yyprintf((stderr, "%s\n", "STAR")); if (!yymatchChar(yy, '*')) goto l50; if (!yy__(yy)) goto l50;
+ yyprintf((stderr, " ok %s @ %s\n", "STAR", yy->__buf+yy->__pos));
+ return 1;
+ l50:; yy->__pos= yypos0; yy->__thunkpos= yythunkpos0;
+ yyprintf((stderr, " fail %s @ %s\n", "STAR", yy->__buf+yy->__pos));
+ return 0;
+}
+YY_RULE(int) yy_QUESTION(yycontext *yy)
+{ int yypos0= yy->__pos, yythunkpos0= yy->__thunkpos;+ yyprintf((stderr, "%s\n", "QUESTION")); if (!yymatchChar(yy, '?')) goto l51; if (!yy__(yy)) goto l51;
+ yyprintf((stderr, " ok %s @ %s\n", "QUESTION", yy->__buf+yy->__pos));
+ return 1;
+ l51:; yy->__pos= yypos0; yy->__thunkpos= yythunkpos0;
+ yyprintf((stderr, " fail %s @ %s\n", "QUESTION", yy->__buf+yy->__pos));
+ return 0;
+}
+YY_RULE(int) yy_primary(yycontext *yy)
+{ int yypos0= yy->__pos, yythunkpos0= yy->__thunkpos;+ yyprintf((stderr, "%s\n", "primary"));
+ { int yypos53= yy->__pos, yythunkpos53= yy->__thunkpos; if (!yy_identifier(yy)) goto l54; yyDo(yy, yy_1_primary, yy->__begin, yy->__end); if (!yy_COLON(yy)) goto l54; if (!yy_identifier(yy)) goto l54;+ { int yypos55= yy->__pos, yythunkpos55= yy->__thunkpos; if (!yy_EQUAL(yy)) goto l55; goto l54;+ l55:; yy->__pos= yypos55; yy->__thunkpos= yythunkpos55;
+ } yyDo(yy, yy_2_primary, yy->__begin, yy->__end); goto l53;
+ l54:; yy->__pos= yypos53; yy->__thunkpos= yythunkpos53; if (!yy_identifier(yy)) goto l56;
+ { int yypos57= yy->__pos, yythunkpos57= yy->__thunkpos; if (!yy_EQUAL(yy)) goto l57; goto l56;+ l57:; yy->__pos= yypos57; yy->__thunkpos= yythunkpos57;
+ } yyDo(yy, yy_3_primary, yy->__begin, yy->__end); goto l53;
+ l56:; yy->__pos= yypos53; yy->__thunkpos= yythunkpos53; if (!yy_OPEN(yy)) goto l58; if (!yy_expression(yy)) goto l58; if (!yy_CLOSE(yy)) goto l58; goto l53;
+ l58:; yy->__pos= yypos53; yy->__thunkpos= yythunkpos53; if (!yy_literal(yy)) goto l59; yyDo(yy, yy_4_primary, yy->__begin, yy->__end); goto l53;
+ l59:; yy->__pos= yypos53; yy->__thunkpos= yythunkpos53; if (!yy_class(yy)) goto l60; yyDo(yy, yy_5_primary, yy->__begin, yy->__end); goto l53;
+ l60:; yy->__pos= yypos53; yy->__thunkpos= yythunkpos53; if (!yy_DOT(yy)) goto l61; yyDo(yy, yy_6_primary, yy->__begin, yy->__end); goto l53;
+ l61:; yy->__pos= yypos53; yy->__thunkpos= yythunkpos53; if (!yy_action(yy)) goto l62; yyDo(yy, yy_7_primary, yy->__begin, yy->__end); goto l53;
+ l62:; yy->__pos= yypos53; yy->__thunkpos= yythunkpos53; if (!yy_BEGIN(yy)) goto l63; yyDo(yy, yy_8_primary, yy->__begin, yy->__end); goto l53;
+ l63:; yy->__pos= yypos53; yy->__thunkpos= yythunkpos53; if (!yy_END(yy)) goto l52; yyDo(yy, yy_9_primary, yy->__begin, yy->__end);
+ }
+ l53:;
+ yyprintf((stderr, " ok %s @ %s\n", "primary", yy->__buf+yy->__pos));
+ return 1;
+ l52:; yy->__pos= yypos0; yy->__thunkpos= yythunkpos0;
+ yyprintf((stderr, " fail %s @ %s\n", "primary", yy->__buf+yy->__pos));
+ return 0;
+}
+YY_RULE(int) yy_NOT(yycontext *yy)
+{ int yypos0= yy->__pos, yythunkpos0= yy->__thunkpos;+ yyprintf((stderr, "%s\n", "NOT")); if (!yymatchChar(yy, '!')) goto l64; if (!yy__(yy)) goto l64;
+ yyprintf((stderr, " ok %s @ %s\n", "NOT", yy->__buf+yy->__pos));
+ return 1;
+ l64:; yy->__pos= yypos0; yy->__thunkpos= yythunkpos0;
+ yyprintf((stderr, " fail %s @ %s\n", "NOT", yy->__buf+yy->__pos));
+ return 0;
+}
+YY_RULE(int) yy_suffix(yycontext *yy)
+{ int yypos0= yy->__pos, yythunkpos0= yy->__thunkpos;+ yyprintf((stderr, "%s\n", "suffix")); if (!yy_primary(yy)) goto l65;
+ { int yypos66= yy->__pos, yythunkpos66= yy->__thunkpos;+ { int yypos68= yy->__pos, yythunkpos68= yy->__thunkpos; if (!yy_QUESTION(yy)) goto l69; yyDo(yy, yy_1_suffix, yy->__begin, yy->__end); goto l68;+ l69:; yy->__pos= yypos68; yy->__thunkpos= yythunkpos68; if (!yy_STAR(yy)) goto l70; yyDo(yy, yy_2_suffix, yy->__begin, yy->__end); goto l68;
+ l70:; yy->__pos= yypos68; yy->__thunkpos= yythunkpos68; if (!yy_PLUS(yy)) goto l66; yyDo(yy, yy_3_suffix, yy->__begin, yy->__end);
+ }
+ l68:; goto l67;
+ l66:; yy->__pos= yypos66; yy->__thunkpos= yythunkpos66;
+ }
+ l67:;
+ yyprintf((stderr, " ok %s @ %s\n", "suffix", yy->__buf+yy->__pos));
+ return 1;
+ l65:; yy->__pos= yypos0; yy->__thunkpos= yythunkpos0;
+ yyprintf((stderr, " fail %s @ %s\n", "suffix", yy->__buf+yy->__pos));
+ return 0;
+}
+YY_RULE(int) yy_AND(yycontext *yy)
+{ int yypos0= yy->__pos, yythunkpos0= yy->__thunkpos;+ yyprintf((stderr, "%s\n", "AND")); if (!yymatchChar(yy, '&')) goto l71; if (!yy__(yy)) goto l71;
+ yyprintf((stderr, " ok %s @ %s\n", "AND", yy->__buf+yy->__pos));
+ return 1;
+ l71:; yy->__pos= yypos0; yy->__thunkpos= yythunkpos0;
+ yyprintf((stderr, " fail %s @ %s\n", "AND", yy->__buf+yy->__pos));
+ return 0;
+}
+YY_RULE(int) yy_AT(yycontext *yy)
+{ int yypos0= yy->__pos, yythunkpos0= yy->__thunkpos;+ yyprintf((stderr, "%s\n", "AT")); if (!yymatchChar(yy, '@')) goto l72; if (!yy__(yy)) goto l72;
+ yyprintf((stderr, " ok %s @ %s\n", "AT", yy->__buf+yy->__pos));
+ return 1;
+ l72:; yy->__pos= yypos0; yy->__thunkpos= yythunkpos0;
+ yyprintf((stderr, " fail %s @ %s\n", "AT", yy->__buf+yy->__pos));
+ return 0;
+}
+YY_RULE(int) yy_action(yycontext *yy)
+{ int yypos0= yy->__pos, yythunkpos0= yy->__thunkpos;+ yyprintf((stderr, "%s\n", "action")); if (!yymatchChar(yy, '{')) goto l73; yyDo(yy, yy_1_action, yy->__begin, yy->__end); yyText(yy, yy->__begin, yy->__end); {+#define yytext yy->__text
+#define yyleng yy->__textlen
+if (!(YY_BEGIN)) goto l73;
+#undef yytext
+#undef yyleng
+ }
+ l74:;
+ { int yypos75= yy->__pos, yythunkpos75= yy->__thunkpos; if (!yy_braces(yy)) goto l75; goto l74;+ l75:; yy->__pos= yypos75; yy->__thunkpos= yythunkpos75;
+ } yyText(yy, yy->__begin, yy->__end); {+#define yytext yy->__text
+#define yyleng yy->__textlen
+if (!(YY_END)) goto l73;
+#undef yytext
+#undef yyleng
+ } if (!yymatchChar(yy, '}')) goto l73; if (!yy__(yy)) goto l73;
+ yyprintf((stderr, " ok %s @ %s\n", "action", yy->__buf+yy->__pos));
+ return 1;
+ l73:; yy->__pos= yypos0; yy->__thunkpos= yythunkpos0;
+ yyprintf((stderr, " fail %s @ %s\n", "action", yy->__buf+yy->__pos));
+ return 0;
+}
+YY_RULE(int) yy_TILDE(yycontext *yy)
+{ int yypos0= yy->__pos, yythunkpos0= yy->__thunkpos;+ yyprintf((stderr, "%s\n", "TILDE")); if (!yymatchChar(yy, '~')) goto l76; if (!yy__(yy)) goto l76;
+ yyprintf((stderr, " ok %s @ %s\n", "TILDE", yy->__buf+yy->__pos));
+ return 1;
+ l76:; yy->__pos= yypos0; yy->__thunkpos= yythunkpos0;
+ yyprintf((stderr, " fail %s @ %s\n", "TILDE", yy->__buf+yy->__pos));
+ return 0;
+}
+YY_RULE(int) yy_prefix(yycontext *yy)
+{ int yypos0= yy->__pos, yythunkpos0= yy->__thunkpos;+ yyprintf((stderr, "%s\n", "prefix"));
+ { int yypos78= yy->__pos, yythunkpos78= yy->__thunkpos; if (!yy_AT(yy)) goto l79; if (!yy_action(yy)) goto l79; yyDo(yy, yy_1_prefix, yy->__begin, yy->__end); goto l78;+ l79:; yy->__pos= yypos78; yy->__thunkpos= yythunkpos78; if (!yy_AND(yy)) goto l80; if (!yy_action(yy)) goto l80; yyDo(yy, yy_2_prefix, yy->__begin, yy->__end); goto l78;
+ l80:; yy->__pos= yypos78; yy->__thunkpos= yythunkpos78; if (!yy_AND(yy)) goto l81; if (!yy_suffix(yy)) goto l81; yyDo(yy, yy_3_prefix, yy->__begin, yy->__end); goto l78;
+ l81:; yy->__pos= yypos78; yy->__thunkpos= yythunkpos78; if (!yy_NOT(yy)) goto l82; if (!yy_suffix(yy)) goto l82; yyDo(yy, yy_4_prefix, yy->__begin, yy->__end); goto l78;
+ l82:; yy->__pos= yypos78; yy->__thunkpos= yythunkpos78; if (!yy_suffix(yy)) goto l77;
+ }
+ l78:;
+ yyprintf((stderr, " ok %s @ %s\n", "prefix", yy->__buf+yy->__pos));
+ return 1;
+ l77:; yy->__pos= yypos0; yy->__thunkpos= yythunkpos0;
+ yyprintf((stderr, " fail %s @ %s\n", "prefix", yy->__buf+yy->__pos));
+ return 0;
+}
+YY_RULE(int) yy_error(yycontext *yy)
+{ int yypos0= yy->__pos, yythunkpos0= yy->__thunkpos;+ yyprintf((stderr, "%s\n", "error")); if (!yy_prefix(yy)) goto l83;
+ { int yypos84= yy->__pos, yythunkpos84= yy->__thunkpos; if (!yy_TILDE(yy)) goto l84; if (!yy_action(yy)) goto l84; yyDo(yy, yy_1_error, yy->__begin, yy->__end); goto l85;+ l84:; yy->__pos= yypos84; yy->__thunkpos= yythunkpos84;
+ }
+ l85:;
+ yyprintf((stderr, " ok %s @ %s\n", "error", yy->__buf+yy->__pos));
+ return 1;
+ l83:; yy->__pos= yypos0; yy->__thunkpos= yythunkpos0;
+ yyprintf((stderr, " fail %s @ %s\n", "error", yy->__buf+yy->__pos));
+ return 0;
+}
+YY_RULE(int) yy_BAR(yycontext *yy)
+{ int yypos0= yy->__pos, yythunkpos0= yy->__thunkpos;+ yyprintf((stderr, "%s\n", "BAR")); if (!yymatchChar(yy, '|')) goto l86; if (!yy__(yy)) goto l86;
+ yyprintf((stderr, " ok %s @ %s\n", "BAR", yy->__buf+yy->__pos));
+ return 1;
+ l86:; yy->__pos= yypos0; yy->__thunkpos= yythunkpos0;
+ yyprintf((stderr, " fail %s @ %s\n", "BAR", yy->__buf+yy->__pos));
+ return 0;
+}
+YY_RULE(int) yy_sequence(yycontext *yy)
+{ int yypos0= yy->__pos, yythunkpos0= yy->__thunkpos;+ yyprintf((stderr, "%s\n", "sequence")); if (!yy_error(yy)) goto l87;
+ l88:;
+ { int yypos89= yy->__pos, yythunkpos89= yy->__thunkpos; if (!yy_error(yy)) goto l89; yyDo(yy, yy_1_sequence, yy->__begin, yy->__end); goto l88;+ l89:; yy->__pos= yypos89; yy->__thunkpos= yythunkpos89;
+ }
+ yyprintf((stderr, " ok %s @ %s\n", "sequence", yy->__buf+yy->__pos));
+ return 1;
+ l87:; yy->__pos= yypos0; yy->__thunkpos= yythunkpos0;
+ yyprintf((stderr, " fail %s @ %s\n", "sequence", yy->__buf+yy->__pos));
+ return 0;
+}
+YY_RULE(int) yy_SEMICOLON(yycontext *yy)
+{ int yypos0= yy->__pos, yythunkpos0= yy->__thunkpos;+ yyprintf((stderr, "%s\n", "SEMICOLON")); if (!yymatchChar(yy, ';')) goto l90; if (!yy__(yy)) goto l90;
+ yyprintf((stderr, " ok %s @ %s\n", "SEMICOLON", yy->__buf+yy->__pos));
+ return 1;
+ l90:; yy->__pos= yypos0; yy->__thunkpos= yythunkpos0;
+ yyprintf((stderr, " fail %s @ %s\n", "SEMICOLON", yy->__buf+yy->__pos));
+ return 0;
+}
+YY_RULE(int) yy_expression(yycontext *yy)
+{ int yypos0= yy->__pos, yythunkpos0= yy->__thunkpos;+ yyprintf((stderr, "%s\n", "expression")); if (!yy_sequence(yy)) goto l91;
+ l92:;
+ { int yypos93= yy->__pos, yythunkpos93= yy->__thunkpos; if (!yy_BAR(yy)) goto l93; if (!yy_sequence(yy)) goto l93; yyDo(yy, yy_1_expression, yy->__begin, yy->__end); goto l92;+ l93:; yy->__pos= yypos93; yy->__thunkpos= yythunkpos93;
+ }
+ yyprintf((stderr, " ok %s @ %s\n", "expression", yy->__buf+yy->__pos));
+ return 1;
+ l91:; yy->__pos= yypos0; yy->__thunkpos= yythunkpos0;
+ yyprintf((stderr, " fail %s @ %s\n", "expression", yy->__buf+yy->__pos));
+ return 0;
+}
+YY_RULE(int) yy_EQUAL(yycontext *yy)
+{ int yypos0= yy->__pos, yythunkpos0= yy->__thunkpos;+ yyprintf((stderr, "%s\n", "EQUAL")); if (!yymatchChar(yy, '=')) goto l94; if (!yy__(yy)) goto l94;
+ yyprintf((stderr, " ok %s @ %s\n", "EQUAL", yy->__buf+yy->__pos));
+ return 1;
+ l94:; yy->__pos= yypos0; yy->__thunkpos= yythunkpos0;
+ yyprintf((stderr, " fail %s @ %s\n", "EQUAL", yy->__buf+yy->__pos));
+ return 0;
+}
+YY_RULE(int) yy_identifier(yycontext *yy)
+{ int yypos0= yy->__pos, yythunkpos0= yy->__thunkpos;+ yyprintf((stderr, "%s\n", "identifier")); yyText(yy, yy->__begin, yy->__end); {+#define yytext yy->__text
+#define yyleng yy->__textlen
+if (!(YY_BEGIN)) goto l95;
+#undef yytext
+#undef yyleng
+ } if (!yymatchClass(yy, (unsigned char *)"\000\000\000\000\000\040\000\000\376\377\377\207\376\377\377\007\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000")) goto l95;
+ l96:;
+ { int yypos97= yy->__pos, yythunkpos97= yy->__thunkpos; if (!yymatchClass(yy, (unsigned char *)"\000\000\000\000\000\040\377\003\376\377\377\207\376\377\377\007\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000")) goto l97; goto l96;+ l97:; yy->__pos= yypos97; yy->__thunkpos= yythunkpos97;
+ } yyText(yy, yy->__begin, yy->__end); {+#define yytext yy->__text
+#define yyleng yy->__textlen
+if (!(YY_END)) goto l95;
+#undef yytext
+#undef yyleng
+ } if (!yy__(yy)) goto l95;
+ yyprintf((stderr, " ok %s @ %s\n", "identifier", yy->__buf+yy->__pos));
+ return 1;
+ l95:; yy->__pos= yypos0; yy->__thunkpos= yythunkpos0;
+ yyprintf((stderr, " fail %s @ %s\n", "identifier", yy->__buf+yy->__pos));
+ return 0;
+}
+YY_RULE(int) yy_RPERCENT(yycontext *yy)
+{ int yypos0= yy->__pos, yythunkpos0= yy->__thunkpos;+ yyprintf((stderr, "%s\n", "RPERCENT")); if (!yymatchString(yy, "%}")) goto l98; if (!yy__(yy)) goto l98;
+ yyprintf((stderr, " ok %s @ %s\n", "RPERCENT", yy->__buf+yy->__pos));
+ return 1;
+ l98:; yy->__pos= yypos0; yy->__thunkpos= yythunkpos0;
+ yyprintf((stderr, " fail %s @ %s\n", "RPERCENT", yy->__buf+yy->__pos));
+ return 0;
+}
+YY_RULE(int) yy_end_of_line(yycontext *yy)
+{ int yypos0= yy->__pos, yythunkpos0= yy->__thunkpos;+ yyprintf((stderr, "%s\n", "end_of_line"));
+ { int yypos100= yy->__pos, yythunkpos100= yy->__thunkpos; if (!yymatchString(yy, "\r\n")) goto l101; goto l100;+ l101:; yy->__pos= yypos100; yy->__thunkpos= yythunkpos100; if (!yymatchChar(yy, '\n')) goto l102; goto l100;
+ l102:; yy->__pos= yypos100; yy->__thunkpos= yythunkpos100; if (!yymatchChar(yy, '\r')) goto l99;
+ }
+ l100:; yyDo(yy, yy_1_end_of_line, yy->__begin, yy->__end);
+ yyprintf((stderr, " ok %s @ %s\n", "end_of_line", yy->__buf+yy->__pos));
+ return 1;
+ l99:; yy->__pos= yypos0; yy->__thunkpos= yythunkpos0;
+ yyprintf((stderr, " fail %s @ %s\n", "end_of_line", yy->__buf+yy->__pos));
+ return 0;
+}
+YY_RULE(int) yy_end_of_file(yycontext *yy)
+{ int yypos0= yy->__pos, yythunkpos0= yy->__thunkpos;+ yyprintf((stderr, "%s\n", "end_of_file"));
+ { int yypos104= yy->__pos, yythunkpos104= yy->__thunkpos; if (!yymatchDot(yy)) goto l104; goto l103;+ l104:; yy->__pos= yypos104; yy->__thunkpos= yythunkpos104;
+ }
+ yyprintf((stderr, " ok %s @ %s\n", "end_of_file", yy->__buf+yy->__pos));
+ return 1;
+ l103:; yy->__pos= yypos0; yy->__thunkpos= yythunkpos0;
+ yyprintf((stderr, " fail %s @ %s\n", "end_of_file", yy->__buf+yy->__pos));
+ return 0;
+}
+YY_RULE(int) yy_trailer(yycontext *yy)
+{ int yypos0= yy->__pos, yythunkpos0= yy->__thunkpos;+ yyprintf((stderr, "%s\n", "trailer")); if (!yymatchString(yy, "%%")) goto l105; yyDo(yy, yy_1_trailer, yy->__begin, yy->__end); yyText(yy, yy->__begin, yy->__end); {+#define yytext yy->__text
+#define yyleng yy->__textlen
+if (!(YY_BEGIN)) goto l105;
+#undef yytext
+#undef yyleng
+ }
+ l106:;
+ { int yypos107= yy->__pos, yythunkpos107= yy->__thunkpos; if (!yymatchDot(yy)) goto l107; goto l106;+ l107:; yy->__pos= yypos107; yy->__thunkpos= yythunkpos107;
+ } yyText(yy, yy->__begin, yy->__end); {+#define yytext yy->__text
+#define yyleng yy->__textlen
+if (!(YY_END)) goto l105;
+#undef yytext
+#undef yyleng
+ } yyDo(yy, yy_2_trailer, yy->__begin, yy->__end);
+ yyprintf((stderr, " ok %s @ %s\n", "trailer", yy->__buf+yy->__pos));
+ return 1;
+ l105:; yy->__pos= yypos0; yy->__thunkpos= yythunkpos0;
+ yyprintf((stderr, " fail %s @ %s\n", "trailer", yy->__buf+yy->__pos));
+ return 0;
+}
+YY_RULE(int) yy_definition(yycontext *yy)
+{ int yypos0= yy->__pos, yythunkpos0= yy->__thunkpos;+ yyprintf((stderr, "%s\n", "definition")); if (!yy_identifier(yy)) goto l108; yyDo(yy, yy_1_definition, yy->__begin, yy->__end); if (!yy_EQUAL(yy)) goto l108; if (!yy_expression(yy)) goto l108; yyDo(yy, yy_2_definition, yy->__begin, yy->__end);
+ { int yypos109= yy->__pos, yythunkpos109= yy->__thunkpos; if (!yy_SEMICOLON(yy)) goto l109; goto l110;+ l109:; yy->__pos= yypos109; yy->__thunkpos= yythunkpos109;
+ }
+ l110:;
+ yyprintf((stderr, " ok %s @ %s\n", "definition", yy->__buf+yy->__pos));
+ return 1;
+ l108:; yy->__pos= yypos0; yy->__thunkpos= yythunkpos0;
+ yyprintf((stderr, " fail %s @ %s\n", "definition", yy->__buf+yy->__pos));
+ return 0;
+}
+YY_RULE(int) yy_declaration(yycontext *yy)
+{ int yypos0= yy->__pos, yythunkpos0= yy->__thunkpos;+ yyprintf((stderr, "%s\n", "declaration")); if (!yymatchString(yy, "%{")) goto l111; yyDo(yy, yy_1_declaration, yy->__begin, yy->__end); yyText(yy, yy->__begin, yy->__end); {+#define yytext yy->__text
+#define yyleng yy->__textlen
+if (!(YY_BEGIN)) goto l111;
+#undef yytext
+#undef yyleng
+ }
+ l112:;
+ { int yypos113= yy->__pos, yythunkpos113= yy->__thunkpos;+ { int yypos114= yy->__pos, yythunkpos114= yy->__thunkpos; if (!yymatchString(yy, "%}")) goto l114; goto l113;+ l114:; yy->__pos= yypos114; yy->__thunkpos= yythunkpos114;
+ }
+ { int yypos115= yy->__pos, yythunkpos115= yy->__thunkpos; if (!yy_end_of_line(yy)) goto l116; goto l115;+ l116:; yy->__pos= yypos115; yy->__thunkpos= yythunkpos115; if (!yymatchDot(yy)) goto l113;
+ }
+ l115:; goto l112;
+ l113:; yy->__pos= yypos113; yy->__thunkpos= yythunkpos113;
+ } yyText(yy, yy->__begin, yy->__end); {+#define yytext yy->__text
+#define yyleng yy->__textlen
+if (!(YY_END)) goto l111;
+#undef yytext
+#undef yyleng
+ } if (!yy_RPERCENT(yy)) goto l111; yyDo(yy, yy_2_declaration, yy->__begin, yy->__end);
+ yyprintf((stderr, " ok %s @ %s\n", "declaration", yy->__buf+yy->__pos));
+ return 1;
+ l111:; yy->__pos= yypos0; yy->__thunkpos= yythunkpos0;
+ yyprintf((stderr, " fail %s @ %s\n", "declaration", yy->__buf+yy->__pos));
+ return 0;
+}
+YY_RULE(int) yy__(yycontext *yy)
+{+ yyprintf((stderr, "%s\n", "_"));
+ l118:;
+ { int yypos119= yy->__pos, yythunkpos119= yy->__thunkpos;+ { int yypos120= yy->__pos, yythunkpos120= yy->__thunkpos; if (!yy_space(yy)) goto l121; goto l120;+ l121:; yy->__pos= yypos120; yy->__thunkpos= yythunkpos120; if (!yy_comment(yy)) goto l119;
+ }
+ l120:; goto l118;
+ l119:; yy->__pos= yypos119; yy->__thunkpos= yythunkpos119;
+ }
+ yyprintf((stderr, " ok %s @ %s\n", "_", yy->__buf+yy->__pos));
+ return 1;
+}
+YY_RULE(int) yy_grammar(yycontext *yy)
+{ int yypos0= yy->__pos, yythunkpos0= yy->__thunkpos;+ yyprintf((stderr, "%s\n", "grammar")); if (!yy__(yy)) goto l122;
+ { int yypos125= yy->__pos, yythunkpos125= yy->__thunkpos; if (!yy_declaration(yy)) goto l126; goto l125;+ l126:; yy->__pos= yypos125; yy->__thunkpos= yythunkpos125; if (!yy_definition(yy)) goto l122;
+ }
+ l125:;
+ l123:;
+ { int yypos124= yy->__pos, yythunkpos124= yy->__thunkpos;+ { int yypos127= yy->__pos, yythunkpos127= yy->__thunkpos; if (!yy_declaration(yy)) goto l128; goto l127;+ l128:; yy->__pos= yypos127; yy->__thunkpos= yythunkpos127; if (!yy_definition(yy)) goto l124;
+ }
+ l127:; goto l123;
+ l124:; yy->__pos= yypos124; yy->__thunkpos= yythunkpos124;
+ }
+ { int yypos129= yy->__pos, yythunkpos129= yy->__thunkpos; if (!yy_trailer(yy)) goto l129; goto l130;+ l129:; yy->__pos= yypos129; yy->__thunkpos= yythunkpos129;
+ }
+ l130:; if (!yy_end_of_file(yy)) goto l122;
+ yyprintf((stderr, " ok %s @ %s\n", "grammar", yy->__buf+yy->__pos));
+ return 1;
+ l122:; yy->__pos= yypos0; yy->__thunkpos= yythunkpos0;
+ yyprintf((stderr, " fail %s @ %s\n", "grammar", yy->__buf+yy->__pos));
+ return 0;
+}
+
+#ifndef YY_PART
+
+typedef int (*yyrule)(yycontext *yy);
+
+YY_PARSE(int) YYPARSEFROM(YY_CTX_PARAM_ yyrule yystart)
+{+ int yyok;
+ if (!yyctx->__buflen)
+ {+ yyctx->__buflen= YY_BUFFER_SIZE;
+ yyctx->__buf= (char *)YY_MALLOC(yyctx, yyctx->__buflen);
+ yyctx->__textlen= YY_BUFFER_SIZE;
+ yyctx->__text= (char *)YY_MALLOC(yyctx, yyctx->__textlen);
+ yyctx->__thunkslen= YY_STACK_SIZE;
+ yyctx->__thunks= (yythunk *)YY_MALLOC(yyctx, sizeof(yythunk) * yyctx->__thunkslen);
+ yyctx->__valslen= YY_STACK_SIZE;
+ yyctx->__vals= (YYSTYPE *)YY_MALLOC(yyctx, sizeof(YYSTYPE) * yyctx->__valslen);
+ yyctx->__begin= yyctx->__end= yyctx->__pos= yyctx->__limit= yyctx->__thunkpos= 0;
+ }
+ yyctx->__begin= yyctx->__end= yyctx->__pos;
+ yyctx->__thunkpos= 0;
+ yyctx->__val= yyctx->__vals;
+ yyok= yystart(yyctx);
+ if (yyok) yyDone(yyctx);
+ yyCommit(yyctx);
+ return yyok;
+}
+
+YY_PARSE(int) YYPARSE(YY_CTX_PARAM)
+{+ return YYPARSEFROM(YY_CTX_ARG_ yy_grammar);
+}
+
+YY_PARSE(yycontext *) YYRELEASE(yycontext *yyctx)
+{+ if (yyctx->__buflen)
+ {+ yyctx->__buflen= 0;
+ YY_FREE(yyctx, yyctx->__buf);
+ YY_FREE(yyctx, yyctx->__text);
+ YY_FREE(yyctx, yyctx->__thunks);
+ YY_FREE(yyctx, yyctx->__vals);
+ }
+ return yyctx;
+}
+
+#endif
+#line 163 "peg.leg"
+
+
+void yyerror(char *message)
+{+ fprintf(stderr, "%s:%d: %s", fileName, lineNumber, message);
+ if (yyctx->__text[0]) fprintf(stderr, " near token '%s'", yyctx->__text);
+ if (yyctx->__pos < yyctx->__limit || !feof(input))
+ {+ yyctx->__buf[yyctx->__limit]= '\0';
+ fprintf(stderr, " before text \"");
+ while (yyctx->__pos < yyctx->__limit)
+ {+ if ('\n' == yyctx->__buf[yyctx->__pos] || '\r' == yyctx->__buf[yyctx->__pos]) break;+ fputc(yyctx->__buf[yyctx->__pos++], stderr);
+ }
+ if (yyctx->__pos == yyctx->__limit)
+ {+ int c;
+ while (EOF != (c= fgetc(input)) && '\n' != c && '\r' != c)
+ fputc(c, stderr);
+ }
+ fputc('\"', stderr);+ }
+ fprintf(stderr, "\n");
+ exit(1);
+}
+
+void makeHeader(int line, char *text)
+{+ Header *header= (Header *)malloc(sizeof(Header));
+ header->line= line;
+ header->text= strdup(text);
+ header->next= headers;
+ headers= header;
+}
+
+void makeTrailer(int line, char *text)
+{+ trailerLine= line;
+ trailer= strdup(text);
+}
+
+static void version(char *name)
+{+ printf("%s version %d.%d.%d\n", name, PEG_MAJOR, PEG_MINOR, PEG_LEVEL);+}
+
+static void usage(char *name)
+{+ version(name);
+ fprintf(stderr, "usage: %s [<option>...] [<file>...]\n", name);
+ fprintf(stderr, "where <option> can be\n");
+ fprintf(stderr, " -h print this help information\n");
+ fprintf(stderr, " -o <ofile> write output to <ofile>\n");
+ fprintf(stderr, " -P do not generate #line directives\n");
+ fprintf(stderr, " -v be verbose\n");
+ fprintf(stderr, " -V print version number and exit\n");
+ fprintf(stderr, "if no <file> is given, input is read from stdin\n");
+ fprintf(stderr, "if no <ofile> is given, output is written to stdout\n");
+ exit(1);
+}
+
+int main(int argc, char **argv)
+{+ Node *n;
+ int c;
+
+ output= stdout;
+ input= stdin;
+ lineNumber= 1;
+ fileName= "<stdin>";
+
+ while (-1 != (c= getopt(argc, argv, "PVho:v")))
+ {+ switch (c)
+ {+ case 'V':
+ version(basename(argv[0]));
+ exit(0);
+
+ case 'h':
+ usage(basename(argv[0]));
+ break;
+
+ case 'o':
+ if (!(output= fopen(optarg, "w")))
+ {+ perror(optarg);
+ exit(1);
+ }
+ break;
+
+ case 'P':
+ nolinesFlag= 1;
+ break;
+
+ case 'v':
+ verboseFlag= 1;
+ break;
+
+ default:
+ fprintf(stderr, "for usage try: %s -h\n", argv[0]);
+ exit(1);
+ }
+ }
+ argc -= optind;
+ argv += optind;
+
+ if (argc)
+ {+ for (; argc; --argc, ++argv)
+ {+ if (!strcmp(*argv, "-"))
+ {+ input= stdin;
+ fileName= "<stdin>";
+ }
+ else
+ {+ if (!(input= fopen(*argv, "r")))
+ {+ perror(*argv);
+ exit(1);
+ }
+ fileName= *argv;
+ }
+ lineNumber= 1;
+ if (!yyparse())
+ yyerror("syntax error");+ if (input != stdin)
+ fclose(input);
+ }
+ }
+ else
+ if (!yyparse())
+ yyerror("syntax error");+
+ if (verboseFlag)
+ for (n= rules; n; n= n->any.next)
+ Rule_print(n);
+
+ Rule_compile_c_header();
+
+ for (; headers; headers= headers->next)
+ fprintf(output, "#line %i \"%s\"\n%s\n", headers->line, fileName, headers->text);
+
+ if (rules)
+ Rule_compile_c(rules, nolinesFlag);
+
+ if (trailer) {+ if (!nolinesFlag)
+ fprintf(output, "#line %i \"%s\"\n", trailerLine, fileName, trailer);
+ fprintf(output, "%s\n", trailer);
+ }
+
+ return 0;
+}
+
--- /dev/null
+++ b/peg.leg
@@ -1,0 +1,319 @@
+# LE Grammar for LE Grammars
+#
+# Copyright (c) 2007 by Ian Piumarta
+# All rights reserved.
+#
+# Permission is hereby granted, free of charge, to any person obtaining a
+# copy of this software and associated documentation files (the 'Software'),
+# to deal in the Software without restriction, including without limitation
+# the rights to use, copy, modify, merge, publish, distribute, and/or sell
+# copies of the Software, and to permit persons to whom the Software is
+# furnished to do so, provided that the above copyright notice(s) and this
+# permission notice appear in all copies of the Software. Acknowledgement
+# of the use of this Software in supporting documentation would be
+# appreciated but is not required.
+#
+# THE SOFTWARE IS PROVIDED 'AS IS'. USE ENTIRELY AT YOUR OWN RISK.
+#
+# Last edited: 2016-07-22 09:45:53 by piumarta on zora.local
+
+%{+#include "tree.h"
+#include "version.h"
+
+#include <stdio.h>
+#include <stdlib.h>
+#include <unistd.h>
+#include <string.h>
+#include <libgen.h>
+#include <assert.h>
+
+ typedef struct Header Header;
+
+ struct Header {+ int line;
+ char *text;
+ Header *next;
+ };
+
+ FILE *input= 0;
+
+ int verboseFlag= 0;
+ int nolinesFlag= 0;
+
+ static int lineNumber= 0;
+ static int headerLine= 0;
+ static int actionLine= 0;
+ static char *fileName= 0;
+ static int trailerLine= 0;
+ static char *trailer= 0;
+ static Header *headers= 0;
+
+ void makeHeader(int line, char *text);
+ void makeTrailer(int line, char *text);
+
+ void yyerror(char *message);
+
+# define YY_INPUT(buf, result, max) \
+ { \+ int c= getc(input); \
+ /* if ('\n' == c || '\r' == c) ++lineNumber; */ \+ result= (EOF == c) ? 0 : (*(buf)= c, 1); \
+ }
+
+# define YY_LOCAL(T) static T
+# define YY_RULE(T) static T
+%}
+
+# Hierarchical syntax
+
+grammar= - ( declaration | definition )+ trailer? end-of-file
+
+declaration= '%{' { headerLine= lineNumber; }+ < ( !'%}' (end-of-line | .) )* >
+ RPERCENT { makeHeader(headerLine, yytext); } #{YYACCEPT}+
+trailer= '%%' { headerLine= lineNumber }+ < .* > { makeTrailer(headerLine, yytext); } #{YYACCEPT}+
+definition= identifier { if (push(beginRule(findRule(yytext)))->rule.expression)+ fprintf(stderr, "rule '%s' redefined\n", yytext); }
+ EQUAL expression { Node *e= pop(); Rule_setExpression(pop(), e); }+ SEMICOLON? #{YYACCEPT}+
+expression= sequence (BAR sequence { Node *f= pop(); push(Alternate_append(pop(), f)); }+ )*
+
+sequence= error (error { Node *f= pop(); push(Sequence_append(pop(), f)); }+ )*
+
+error= prefix (TILDE action { push(makeError(pop(), yytext)); }+ )?
+
+prefix= AT action { push(makeInline(yytext)); }+| AND action { push(makePredicate(yytext)); }+| AND suffix { push(makePeekFor(pop())); }+| NOT suffix { push(makePeekNot(pop())); }+| suffix
+
+suffix= primary (QUESTION { push(makeQuery(pop())); }+ | STAR { push(makeStar (pop())); }+ | PLUS { push(makePlus (pop())); }+ )?
+
+primary= identifier { push(makeVariable(yytext)); }+ COLON identifier !EQUAL { Node *name= makeName(findRule(yytext)); name->name.variable= pop(); push(name); }+| identifier !EQUAL { push(makeName(findRule(yytext))); }+| OPEN expression CLOSE
+| literal { push(makeString(yytext)); }+| class { push(makeClass(yytext)); }+| DOT { push(makeDot()); }+| action { push(makeAction(actionLine, yytext)); }+| BEGIN { push(makePredicate("YY_BEGIN")); }+| END { push(makePredicate("YY_END")); }+
+# Lexical syntax
+
+identifier= < [-a-zA-Z_][-a-zA-Z_0-9]* > -
+
+literal= ['] < ( !['] char )* > ['] -
+| ["] < ( !["] char )* > ["] -
+
+class= '[' < ( !']' range )* > ']' -
+
+range= char '-' char | char
+
+char= '\\' [-abefnrtv'"\[\]\\]
+| '\\' 'x'[0-9A-Fa-f][0-9A-Fa-f]
+| '\\' 'x'[0-9A-Fa-f]
+| '\\' [0-3][0-7][0-7]
+| '\\' [0-7][0-7]?
+| !'\\' .
+
+action= '{' { actionLine= lineNumber }+ < braces* > '}' -
+
+braces= '{' braces* '}'+| !'}' ( end-of-line | . )
+
+EQUAL= '=' -
+COLON= ':' -
+SEMICOLON= ';' -
+BAR= '|' -
+AND= '&' -
+NOT= '!' -
+AT= '@' -
+QUESTION= '?' -
+STAR= '*' -
+PLUS= '+' -
+OPEN= '(' -+CLOSE= ')' -
+DOT= '.' -
+BEGIN= '<' -
+END= '>' -
+TILDE= '~' -
+RPERCENT= '%}' -
+
+-= (space | comment)*
+space= ' ' | '\t' | end-of-line
+comment= '#' (!end-of-line .)* end-of-line
+end-of-line= ( '\r\n' | '\n' | '\r' ) { ++lineNumber }+end-of-file= !.
+
+%%
+
+void yyerror(char *message)
+{+ fprintf(stderr, "%s:%d: %s", fileName, lineNumber, message);
+ if (yyctx->__text[0]) fprintf(stderr, " near token '%s'", yyctx->__text);
+ if (yyctx->__pos < yyctx->__limit || !feof(input))
+ {+ yyctx->__buf[yyctx->__limit]= '\0';
+ fprintf(stderr, " before text \"");
+ while (yyctx->__pos < yyctx->__limit)
+ {+ if ('\n' == yyctx->__buf[yyctx->__pos] || '\r' == yyctx->__buf[yyctx->__pos]) break;+ fputc(yyctx->__buf[yyctx->__pos++], stderr);
+ }
+ if (yyctx->__pos == yyctx->__limit)
+ {+ int c;
+ while (EOF != (c= fgetc(input)) && '\n' != c && '\r' != c)
+ fputc(c, stderr);
+ }
+ fputc('\"', stderr);+ }
+ fprintf(stderr, "\n");
+ exit(1);
+}
+
+void makeHeader(int line, char *text)
+{+ Header *header= (Header *)malloc(sizeof(Header));
+ header->line= line;
+ header->text= strdup(text);
+ header->next= headers;
+ headers= header;
+}
+
+void makeTrailer(int line, char *text)
+{+ trailerLine= line;
+ trailer= strdup(text);
+}
+
+static void version(char *name)
+{+ printf("%s version %d.%d.%d\n", name, PEG_MAJOR, PEG_MINOR, PEG_LEVEL);+}
+
+static void usage(char *name)
+{+ version(name);
+ fprintf(stderr, "usage: %s [<option>...] [<file>...]\n", name);
+ fprintf(stderr, "where <option> can be\n");
+ fprintf(stderr, " -h print this help information\n");
+ fprintf(stderr, " -o <ofile> write output to <ofile>\n");
+ fprintf(stderr, " -P do not generate #line directives\n");
+ fprintf(stderr, " -v be verbose\n");
+ fprintf(stderr, " -V print version number and exit\n");
+ fprintf(stderr, "if no <file> is given, input is read from stdin\n");
+ fprintf(stderr, "if no <ofile> is given, output is written to stdout\n");
+ exit(1);
+}
+
+int main(int argc, char **argv)
+{+ Node *n;
+ int c;
+
+ output= stdout;
+ input= stdin;
+ lineNumber= 1;
+ fileName= "<stdin>";
+
+ while (-1 != (c= getopt(argc, argv, "PVho:v")))
+ {+ switch (c)
+ {+ case 'V':
+ version(basename(argv[0]));
+ exit(0);
+
+ case 'h':
+ usage(basename(argv[0]));
+ break;
+
+ case 'o':
+ if (!(output= fopen(optarg, "w")))
+ {+ perror(optarg);
+ exit(1);
+ }
+ break;
+
+ case 'P':
+ nolinesFlag= 1;
+ break;
+
+ case 'v':
+ verboseFlag= 1;
+ break;
+
+ default:
+ fprintf(stderr, "for usage try: %s -h\n", argv[0]);
+ exit(1);
+ }
+ }
+ argc -= optind;
+ argv += optind;
+
+ if (argc)
+ {+ for (; argc; --argc, ++argv)
+ {+ if (!strcmp(*argv, "-"))
+ {+ input= stdin;
+ fileName= "<stdin>";
+ }
+ else
+ {+ if (!(input= fopen(*argv, "r")))
+ {+ perror(*argv);
+ exit(1);
+ }
+ fileName= *argv;
+ }
+ lineNumber= 1;
+ if (!yyparse())
+ yyerror("syntax error");+ if (input != stdin)
+ fclose(input);
+ }
+ }
+ else
+ if (!yyparse())
+ yyerror("syntax error");+
+ if (verboseFlag)
+ for (n= rules; n; n= n->any.next)
+ Rule_print(n);
+
+ Rule_compile_c_header();
+
+ for (; headers; headers= headers->next)
+ fprintf(output, "#line %i \"%s\"\n%s\n", headers->line, fileName, headers->text);
+
+ if (rules)
+ Rule_compile_c(rules, nolinesFlag);
+
+ if (trailer) {+ if (!nolinesFlag)
+ fprintf(output, "#line %i \"%s\"\n", trailerLine, fileName, trailer);
+ fprintf(output, "%s\n", trailer);
+ }
+
+ return 0;
+}
--- /dev/null
+++ b/tinypeg.1
@@ -1,0 +1,1147 @@
+.\" Copyright (c) 2007,2016 by Ian Piumarta
+.\" All rights reserved.
+.\"
+.\" Permission is hereby granted, free of charge, to any person obtaining a
+.\" copy of this software and associated documentation files (the 'Software'),
+.\" to deal in the Software without restriction, including without limitation
+.\" the rights to use, copy, modify, merge, publish, distribute, and/or sell
+.\" copies of the Software, and to permit persons to whom the Software is
+.\" furnished to do so, provided that the above copyright notice(s) and this
+.\" permission notice appear in all copies of the Software. Acknowledgement
+.\" of the use of this Software in supporting documentation would be
+.\" appreciated but is not required.
+.\"
+.\" THE SOFTWARE IS PROVIDED 'AS IS'. USE ENTIRELY AT YOUR OWN RISK.
+.\"
+.\" Last edited: 2016-07-22 09:47:29 by piumarta on zora.local
+.\"
+.TH PEG 1 "September 2013" "Version 0.1"
+.SH NAME
+peg, leg \- parser generators
+.SH SYNOPSIS
+.B peg
+.B [\-hvV \-ooutput]
+.I [filename ...]
+.sp 0
+.B leg
+.B [\-hvV \-ooutput]
+.I [filename ...]
+.SH DESCRIPTION
+.I peg
+and
+.I leg
+are tools for generating recursive\-descent parsers: programs that
+perform pattern matching on text. They process a Parsing Expression
+Grammar (PEG) [Ford 2004] to produce a program that recognises legal
+sentences of that grammar.
+.I peg
+processes PEGs written using the original syntax described by Ford;
+.I leg
+processes PEGs written using slightly different syntax and conventions
+that are intended to make it an attractive replacement for parsers
+built with
+.IR lex (1)
+and
+.IR yacc (1).
+Unlike
+.I lex
+and
+.IR yacc ,
+.I peg
+and
+.I leg
+support unlimited backtracking, provide ordered choice as a means for
+disambiguation, and can combine scanning (lexical analysis) and
+parsing (syntactic analysis) into a single activity.
+.PP
+.I peg
+reads the specified
+.IR filename s,
+or standard input if no
+.IR filename s
+are given, for a grammar describing the parser to generate.
+.I peg
+then generates a C source file that defines a function
+.IR yyparse().
+This C source file can be included in, or compiled and then linked
+with, a client program. Each time the client program calls
+.IR yyparse ()
+the parser consumes input text according to the parsing rules,
+starting from the first rule in the grammar.
+.IR yyparse ()
+returns non\-zero if the input could be parsed according to the
+grammar; it returns zero if the input could not be parsed.
+.PP
+The prefix 'yy' or 'YY' is prepended to all externally\-visible symbols
+in the generated parser. This is intended to reduce the risk of
+namespace pollution in client programs. (The choice of 'yy' is
+historical; see
+.IR lex (1)
+and
+.IR yacc (1),
+for example.)
+.SH OPTIONS
+.I peg
+and
+.I leg
+provide the following options:
+.TP
+.B \-h
+prints a summary of available options and then exits.
+.TP
+.B \-ooutput
+writes the generated parser to the file
+.B output
+instead of the standard output.
+.TP
+.B \-P
+suppresses #line directives in the output.
+.TP
+.B \-v
+writes verbose information to standard error while working.
+.TP
+.B \-V
+writes version information to standard error then exits.
+.SH A SIMPLE EXAMPLE
+The following
+.I peg
+input specifies a grammar with a single rule (called 'start') that is
+satisfied when the input contains the string "username".
+.nf
+
+ start <\- "username"
+
+.fi
+(The quotation marks are
+.I not
+part of the matched text; they serve to indicate a literal string to
+be matched.) In other words,
+.IR yyparse ()
+in the generated C source will return non\-zero only if the next eight
+characters read from the input spell the word "username". If the
+input contains anything else,
+.IR yyparse ()
+returns zero and no input will have been consumed. (Subsequent calls
+to
+.IR yyparse ()
+will also return zero, since the parser is effectively blocked looking
+for the string "username".) To ensure progress we can add an
+alternative clause to the 'start' rule that will match any single
+character if "username" is not found.
+.nf
+
+ start <\- "username"
+ / .
+
+.fi
+.IR yyparse ()
+now always returns non\-zero (except at the very end of the input). To
+do something useful we can add actions to the rules. These actions
+are performed after a complete match is found (starting from the first
+rule) and are chosen according to the 'path' taken through the grammar
+to match the input. (Linguists would call this path a 'phrase
+marker'.)
+.nf
+
+ start <\- "username" { printf("%s\\n", getlogin()); }+ / < . > { putchar(yytext[0]); }+
+.fi
+The first line instructs the parser to print the user's login name
+whenever it sees "username" in the input. If that match fails, the
+second line tells the parser to echo the next character on the input
+the standard output. Our parser is now performing useful work: it
+will copy the input to the output, replacing all occurrences of
+"username" with the user's account name.
+.PP
+Note the angle brackets ('<' and '>') that were added to the second+alternative. These have no effect on the meaning of the rule, but
+serve to delimit the text made available to the following action in
+the variable
+.IR yytext .
+.PP
+If the above grammar is placed in the file
+.BR username.peg ,
+running the command
+.nf
+
+ peg \-o username.c username.peg
+
+.fi
+will save the corresponding parser in the file
+.BR username.c .
+To create a complete program this parser could be included by a C
+program as follows.
+.nf
+
+ #include <stdio.h> /* printf(), putchar() */
+ #include <unistd.h> /* getlogin() */
+
+ #include "username.c" /* yyparse() */
+
+ int main()
+ {+ while (yyparse()) /* repeat until EOF */
+ ;
+ return 0;
+ }
+.fi
+.SH PEG GRAMMARS
+A grammar consists of a set of named rules.
+.nf
+
+ name <\- pattern
+
+.fi
+The
+.B pattern
+contains one or more of the following elements.
+.TP
+.B name
+The element stands for the entire pattern in the rule with the given
+.BR name .
+.TP
+.BR \(dq characters \(dq
+A character or string enclosed in double quotes is matched literally.
+The ANSI C escape sequences are recognised within the
+.IR characters .
+.TP
+.BR ' characters '
+A character or string enclosed in single quotes is matched literally, as above.
+.TP
+.BR [ characters ]
+A set of characters enclosed in square brackets matches any single
+character from the set, with escape characters recognised as above.
+If the set begins with an uparrow (^) then the set is negated (the
+element matches any character
+.I not
+in the set). Any pair of characters separated with a dash (\-)
+represents the range of characters from the first to the second,
+inclusive. A single alphabetic character or underscore is matched by
+the following set.
+.nf
+
+ [a\-zA\-Z_]
+
+.fi
+Similarly, the following matches any single non\-digit character.
+.nf
+
+ [^0\-9]
+
+.fi
+.TP
+.B .
+A dot matches any character. Note that the only time this fails is at
+the end of file, where there is no character to match.
+.TP
+.BR ( \ pattern\ )
+Parentheses are used for grouping (modifying the precedence of the
+operators described below).
+.TP
+.BR { \ action\ }+Curly braces surround actions. The action is arbitrary C source code
+to be executed at the end of matching. Any braces within the action
+must be properly nested. Any input text that was matched before the
+action and delimited by angle brackets (see below) is made available
+within the action as the contents of the character array
+.IR yytext .
+The length of (number of characters in)
+.I yytext
+is available in the variable
+.IR yyleng .
+(These variable names are historical; see
+.IR lex (1).)
+.TP
+.B <
+An opening angle bracket always matches (consuming no input) and
+causes the parser to begin accumulating matched text. This text will
+be made available to actions in the variable
+.IR yytext .
+.TP
+.B >
+A closing angle bracket always matches (consuming no input) and causes
+the parser to stop accumulating text for
+.IR yytext .
+.PP
+The above
+.IR element s
+can be made optional and/or repeatable with the following suffixes:
+.TP
+.RB element\ ?
+The element is optional. If present on the input, it is consumed and
+the match succeeds. If not present on the input, no text is consumed
+and the match succeeds anyway.
+.TP
+.RB element\ +
+The element is repeatable. If present on the input, one or more
+occurrences of
+.I element
+are consumed and the match succeeds. If no occurrences of
+.I element
+are present on the input, the match fails.
+.TP
+.RB element\ *
+The element is optional and repeatable. If present on the input, one or more
+occurrences of
+.I element
+are consumed and the match succeeds. If no occurrences of
+.I element
+are present on the input, the match succeeds anyway.
+.PP
+The above elements and suffixes can be converted into predicates (that
+match arbitrary input text and subsequently succeed or fail
+.I without
+consuming that input) with the following prefixes:
+.TP
+.BR & \ element
+The predicate succeeds only if
+.I element
+can be matched. Input text scanned while matching
+.I element
+is not consumed from the input and remains available for subsequent
+matching.
+.TP
+.BR ! \ element
+The predicate succeeds only if
+.I element
+cannot be matched. Input text scanned while matching
+.I element
+is not consumed from the input and remains available for subsequent
+matching. A popular idiom is
+.nf
+
+ !.
+
+.fi
+which matches the end of file, after the last character of the input
+has already been consumed.
+.PP
+A special form of the '&' predicate is provided:
+.TP
+.BR & {\ expression\ }+In this predicate the simple C
+.I expression
+.RB ( not
+statement) is evaluated immediately when the parser reaches the
+predicate. If the
+.I expression
+yields non\-zero (true) the 'match' succeeds and the parser continues
+with the next element in the pattern. If the
+.I expression
+yields zero (false) the 'match' fails and the parser backs up to look
+for an alternative parse of the input.
+.PP
+Several elements (with or without prefixes and suffixes) can be
+combined into a
+.I sequence
+by writing them one after the other. The entire sequence matches only
+if each individual element within it matches, from left to right.
+.PP
+Sequences can be separated into disjoint alternatives by the
+alternation operator '/'.
+.TP
+.RB sequence\-1\ / \ sequence\-2\ / \ ...\ / \ sequence\-N
+Each sequence is tried in turn until one of them matches, at which
+time matching for the overall pattern succeeds. If none of the
+sequences matches then the match of the overall pattern fails.
+.PP
+Finally, the pound sign (#) introduces a comment (discarded) that
+continues until the end of the line.
+.PP
+To summarise the above, the parser tries to match the input text
+against a pattern containing literals, names (representing other
+rules), and various operators (written as prefixes, suffixes,
+juxtaposition for sequencing and and infix alternation operator) that
+modify how the elements within the pattern are matched. Matches are
+made from left to right, 'descending' into named sub\-rules as they are
+encountered. If the matching process fails, the parser 'back tracks'
+('rewinding' the input appropriately in the process) to find the+nearest alternative 'path' through the grammar. In other words the
+parser performs a depth\-first, left\-to\-right search for the first
+successfully\-matching path through the rules. If found, the actions
+along the successful path are executed (in the order they were
+encountered).
+.PP
+Note that predicates are evaluated
+.I immediately
+during the search for a successful match, since they contribute to the
+success or failure of the search. Actions, however, are evaluated
+only after a successful match has been found.
+.SH PEG GRAMMAR FOR PEG GRAMMARS
+The grammar for
+.I peg
+grammars is shown below. This will both illustrate and formalise
+the above description.
+.nf
+
+ Grammar <\- Spacing Definition+ EndOfFile
+
+ Definition <\- Identifier LEFTARROW Expression
+ Expression <\- Sequence ( SLASH Sequence )*
+ Sequence <\- Prefix*
+ Prefix <\- AND Action
+ / ( AND | NOT )? Suffix
+ Suffix <\- Primary ( QUERY / STAR / PLUS )?
+ Primary <\- Identifier !LEFTARROW
+ / OPEN Expression CLOSE
+ / Literal
+ / Class
+ / DOT
+ / Action
+ / BEGIN
+ / END
+
+ Identifier <\- < IdentStart IdentCont* > Spacing
+ IdentStart <\- [a\-zA\-Z_]
+ IdentCont <\- IdentStart / [0\-9]
+ Literal <\- ['] < ( !['] Char )* > ['] Spacing
+ / ["] < ( !["] Char )* > ["] Spacing
+ Class <\- '[' < ( !']' Range )* > ']' Spacing
+ Range <\- Char '\-' Char / Char
+ Char <\- '\\\\' [abefnrtv'"\\[\\]\\\\]
+ / '\\\\' [0\-3][0\-7][0\-7]
+ / '\\\\' [0\-7][0\-7]?
+ / '\\\\' '\-'
+ / !'\\\\' .
+ LEFTARROW <\- '<\-' Spacing
+ SLASH <\- '/' Spacing
+ AND <\- '&' Spacing
+ NOT <\- '!' Spacing
+ QUERY <\- '?' Spacing
+ STAR <\- '*' Spacing
+ PLUS <\- '+' Spacing
+ OPEN <\- '(' Spacing+ CLOSE <\- ')' Spacing
+ DOT <\- '.' Spacing
+ Spacing <\- ( Space / Comment )*
+ Comment <\- '#' ( !EndOfLine . )* EndOfLine
+ Space <\- ' ' / '\\t' / EndOfLine
+ EndOfLine <\- '\\r\\n' / '\\n' / '\\r'
+ EndOfFile <\- !.
+ Action <\- '{' < [^}]* > '}' Spacing+ BEGIN <\- '<' Spacing
+ END <\- '>' Spacing
+
+.fi
+.SH LEG GRAMMARS
+.I leg
+is a variant of
+.I peg
+that adds some features of
+.IR lex (1)
+and
+.IR yacc (1).
+It differs from
+.I peg
+in the following ways.
+.TP
+.BI %{\ text... \ %}+A declaration section can appear anywhere that a rule definition is
+expected. The
+.I text
+between the delimiters '%{' and '%}' is copied verbatim to the+generated C parser code
+.I before
+the code that implements the parser itself.
+.TP
+.IB name\ = \ pattern
+The 'assignment' operator replaces the left arrow operator '<\-'.
+.TP
+.B rule\-name
+Hyphens can appear as letters in the names of rules. Each hyphen is
+converted into an underscore in the generated C source code. A
+single hyphen '\-' is a legal rule name.
+.nf
+
+ \- = [ \\t\\n\\r]*
+ number = [0\-9]+ \-
+ name = [a\-zA\-Z_][a\-zA_Z_0\-9]* \-
+ l\-paren = '(' \-+ r\-paren = ')' \-
+
+.fi
+This example shows how ignored whitespace can be obvious when reading
+the grammar and yet unobtrusive when placed liberally at the end of
+every rule associated with a lexical element.
+.TP
+.IB seq\-1\ | \ seq\-2
+The alternation operator is vertical bar '|' rather than forward
+slash '/'. The
+.I peg
+rule
+.nf
+
+ name <\- sequence\-1
+ / sequence\-2
+ / sequence\-3
+
+.fi
+is therefore written
+.nf
+
+ name = sequence\-1
+ | sequence\-2
+ | sequence\-3
+ ;
+
+.fi
+in
+.I leg
+(with the final semicolon being optional, as described next).
+.TP
+.IB @{\ action\ }+Actions prefixed with an 'at' symbol will be performed during parsing,
+at the time they are encountered while matching the input text with a
+rule.
+Because of back-tracking in the PEG parsing algorithm, actions
+prefixed with '@' might be performed multiple times for the same input
+text.
+(The usual behviour of actions is that they are saved up until
+matching is complete, and then those that are part of the
+final derivation are performed in left-to-right order.)
+The variable
+.I yytext
+is available within these actions.
+.TP
+.IB exp \ ~ \ {\ action\ }+A postfix operator
+.BI ~ {\ action\ }+can be placed after any expression and will behave like a normal
+action (arbitrary C code) except that it is invoked only when
+.I exp
+fails. It binds less tightly than any other operator except alternation and sequencing, and
+is intended to make error handling and recovery code easier to write.
+Note that
+.I yytext
+and
+.I yyleng
+are not available inside these actions, but the pointer variable
+.I yy
+is available to give the code access to any user\-defined members
+of the parser state (see "CUSTOMISING THE PARSER" below).
+Note also that
+.I exp
+is always a single expression; to invoke an error action for any
+failure within a sequence, parentheses must be used to group the
+sequence into a single expression.
+.nf
+
+ rule = e1 e2 e3 ~{ error("e[12] ok; e3 has failed"); }+ | ...
+
+ rule = (e1 e2 e3) ~{ error("one of e[123] has failed"); }+ | ...
+.fi
+.TP
+.IB pattern\ ;
+A semicolon punctuator can optionally terminate a
+.IR pattern .
+.TP
+.BI %% \ text...
+A double percent '%%' terminates the rules (and declarations) section of
+the grammar. All
+.I text
+following '%%' is copied verbatim to the generated C parser code
+.I after
+the parser implementation code.
+.TP
+.BI $$\ = \ value
+A sub\-rule can return a semantic
+.I value
+from an action by assigning it to the pseudo\-variable '$$'. All
+semantic values must have the same type (which defaults to 'int').
+This type can be changed by defining YYSTYPE in a declaration section.
+.TP
+.IB identifier : name
+The semantic value returned (by assigning to '$$') from the sub\-rule
+.I name
+is associated with the
+.I identifier
+and can be referred to in subsequent actions.
+.PP
+The desk calculator example below illustrates the use of '$$' and ':'.
+.SH LEG EXAMPLE: A DESK CALCULATOR
+The extensions in
+.I leg
+described above allow useful parsers and evaluators (including
+declarations, grammar rules, and supporting C functions such
+as 'main') to be kept within a single source file. To illustrate this
+we show a simple desk calculator supporting the four common arithmetic
+operators and named variables. The intermediate results of arithmetic
+evaluation will be accumulated on an implicit stack by returning them
+as semantic values from sub\-rules.
+.nf
+
+ %{+ #include <stdio.h> /* printf() */
+ #include <stdlib.h> /* atoi() */
+ int vars[26];
+ %}
+
+ Stmt = \- e:Expr EOL { printf("%d\\n", e); }+ | ( !EOL . )* EOL { printf("error\\n"); }+
+ Expr = i:ID ASSIGN s:Sum { $$ = vars[i] = s; }+ | s:Sum { $$ = s; }+
+ Sum = l:Product
+ ( PLUS r:Product { l += r; }+ | MINUS r:Product { l \-= r; }+ )* { $$ = l; }+
+ Product = l:Value
+ ( TIMES r:Value { l *= r; }+ | DIVIDE r:Value { l /= r; }+ )* { $$ = l; }+
+ Value = i:NUMBER { $$ = atoi(yytext); }+ | i:ID !ASSIGN { $$ = vars[i]; }+ | OPEN i:Expr CLOSE { $$ = i; }+
+ NUMBER = < [0\-9]+ > \- { $$ = atoi(yytext); }+ ID = < [a\-z] > \- { $$ = yytext[0] \- 'a'; }+ ASSIGN = '=' \-
+ PLUS = '+' \-
+ MINUS = '\-' \-
+ TIMES = '*' \-
+ DIVIDE = '/' \-
+ OPEN = '(' \-+ CLOSE = ')' \-
+
+ \- = [ \\t]*
+ EOL = '\\n' | '\\r\\n' | '\\r' | ';'
+
+ %%
+
+ int main()
+ {+ while (yyparse())
+ ;
+ return 0;
+ }
+
+.fi
+.SH LEG GRAMMAR FOR LEG GRAMMARS
+The grammar for
+.I leg
+grammars is shown below. This will both illustrate and formalise the
+above description.
+.nf
+
+ grammar = \-
+ ( declaration | definition )+
+ trailer? end\-of\-file
+
+ declaration = '%{' < ( !'%}' . )* > RPERCENT+
+ trailer = '%%' < .* >
+
+ definition = identifier EQUAL expression SEMICOLON?
+
+ expression = sequence ( BAR sequence )*
+
+ sequence = error+
+
+ error = prefix ( TILDE action )?
+
+ prefix = AND action
+ | ( AND | NOT )? suffix
+
+ suffix = primary ( QUERY | STAR | PLUS )?
+
+ primary = identifier COLON identifier !EQUAL
+ | identifier !EQUAL
+ | OPEN expression CLOSE
+ | literal
+ | class
+ | DOT
+ | action
+ | BEGIN
+ | END
+
+ identifier = < [\-a\-zA\-Z_][\-a\-zA\-Z_0\-9]* > \-
+
+ literal = ['] < ( !['] char )* > ['] \-
+ | ["] < ( !["] char )* > ["] \-
+
+ class = '[' < ( !']' range )* > ']' \-
+
+ range = char '\-' char | char
+
+ char = '\\\\' [abefnrtv'"\\[\\]\\\\]
+ | '\\\\' [0\-3][0\-7][0\-7]
+ | '\\\\' [0\-7][0\-7]?
+ | !'\\\\' .
+
+ action = '{' < braces* > '}' \-+
+ braces = '{' braces* '}'+ | !'}' .
+
+ EQUAL = '=' \-
+ COLON = ':' \-
+ SEMICOLON = ';' \-
+ BAR = '|' \-
+ AND = '&' \-
+ NOT = '!' \-
+ QUERY = '?' \-
+ STAR = '*' \-
+ PLUS = '+' \-
+ OPEN = '(' \-+ CLOSE = ')' \-
+ DOT = '.' \-
+ BEGIN = '<' \-
+ END = '>' \-
+ TILDE = '~' \-
+ RPERCENT = '%}' \-
+
+ \- = ( space | comment )*
+ space = ' ' | '\\t' | end\-of\-line
+ comment = '#' ( !end\-of\-line . )* end\-of\-line
+ end\-of\-line = '\\r\\n' | '\\n' | '\\r'
+ end\-of\-file = !.
+
+.fi
+.SH CUSTOMISING THE PARSER
+The following symbols can be redefined in declaration sections to
+modify the generated parser code.
+.TP
+.B YYSTYPE
+The semantic value type. The pseudo\-variable '$$' and the
+identifiers 'bound' to rule results with the colon operator ':' should
+all be considered as being declared to have this type. The default
+value is 'int'.
+.TP
+.B YYPARSE
+The name of the main entry point to the parser. The default value
+is 'yyparse'.
+.TP
+.B YYPARSEFROM
+The name of an alternative entry point to the parser. This function
+expects one argument: the function corresponding to the rule from
+which the search for a match should begin. The default
+is 'yyparsefrom'. Note that yyparse() is defined as
+.nf
+
+ int yyparse() { return yyparsefrom(yy_foo); }+
+.fi
+where 'foo' is the name of the first rule in the grammar.
+.TP
+.BI YY_INPUT( buf , \ result , \ max_size )
+This macro is invoked by the parser to obtain more input text.
+.I buf
+points to an area of memory that can hold at most
+.I max_size
+characters. The macro should copy input text to
+.I buf
+and then assign the integer variable
+.I result
+to indicate the number of characters copied. If no more input is available,
+the macro should assign 0 to
+.IR result .
+By default, the YY_INPUT macro is defined as follows.
+.nf
+
+ #define YY_INPUT(buf, result, max_size) \\
+ { \\+ int yyc= getchar(); \\
+ result= (EOF == yyc) ? 0 : (*(buf)= yyc, 1); \\
+ }
+
+.fi
+Note that if YY_CTX_LOCAL is defined (see below) then an additional
+first argument, containing the parser context, is passed to YY_INPUT.
+.TP
+.B YY_DEBUG
+If this symbols is defined then additional code will be included in
+the parser that prints vast quantities of arcane information to the
+standard error while the parser is running.
+.TP
+.B YY_BEGIN
+This macro is invoked to mark the start of input text that will be
+made available in actions as 'yytext'. This corresponds to
+occurrences of '<' in the grammar. These are converted into
+predicates that are expected to succeed. The default definition
+.nf
+
+ #define YY_BEGIN (yybegin= yypos, 1)
+
+.fi
+therefore saves the current input position and returns 1 ('true') as+the result of the predicate.
+.TP
+.B YY_END
+This macros corresponds to '>' in the grammar. Again, it is a
+predicate so the default definition saves the input position
+before 'succeeding'.
+.nf
+
+ #define YY_END (yyend= yypos, 1)
+
+.fi
+.TP
+.BI YY_PARSE( T )
+This macro declares the parser entry points (yyparse and yyparsefrom)
+to be of type
+.IR T .
+The default definition
+.nf
+
+ #define YY_PARSE(T) T
+
+.fi
+leaves yyparse() and yyparsefrom() with global visibility. If they
+should not be externally visible in other source files, this macro can
+be redefined to declare them 'static'.
+.nf
+
+ #define YY_PARSE(T) static T
+
+.fi
+.TP
+.B YY_CTX_LOCAL
+If this symbol is defined during compilation of a generated parser
+then global parser state will be kept in a structure of
+type 'yycontext' which can be declared as a local variable. This
+allows multiple instances of parsers to coexist and to be thread\-safe.
+The parsing function
+.IR yyparse ()
+will be declared to expect a first argument of type 'yycontext *', an
+instance of the structure holding the global state for the parser.
+This instance must be allocated and initialised to zero by the client.
+A trivial but complete example is as follows.
+.nf
+
+ #include <stdio.h>
+
+ #define YY_CTX_LOCAL
+
+ #include "the\-generated\-parser.peg.c"
+
+ int main()
+ {+ yycontext ctx;
+ memset(&ctx, 0, sizeof(yycontext));
+ while (yyparse(&ctx));
+ return 0;
+ }
+
+.fi
+Note that if this symbol is undefined then the compiled parser will
+statically allocate its global state and will be neither reentrant nor
+thread\-safe.
+Note also that the parser yycontext structure is initialised automatically
+the first time
+.IR yyparse ()
+is called; this structure
+.B must
+therefore be properly initialised to zero before the first call to
+.IR yyparse ().
+.TP
+.B YY_CTX_MEMBERS
+If YY_CTX_LOCAL is defined (see above) then the macro YY_CTX_MEMBERS
+can be defined to expand to any additional member field declarations
+that the client would like included in the declaration of
+the 'yycontext' structure type. These additional members are
+otherwise ignored by the generated parser. The instance
+of 'yycontext' associated with the currently\-active parser is
+available within actions as the pointer variable
+.IR yy .
+.TP
+.B YY_BUFFER_SIZE
+The initial size of the text buffer, in bytes. The default is 1024
+and the buffer size is doubled whenever required to meet demand during
+parsing. An application that typically parses much longer strings
+could increase this to avoid unnecessary buffer reallocation.
+.TP
+.B YY_STACK_SIZE
+The initial size of the variable and action stacks. The default is
+128, which is doubled whenever required to meet demand during parsing.
+Applications that have deep call stacks with many local variables, or
+that perform many actions after a single successful match, could increase
+this to avoid unnecessary buffer reallocation.
+.TP
+.BI YY_MALLOC( YY , \ SIZE )
+The memory allocator for all parser\-related storage. The parameters
+are the current yycontext structure and the number of bytes to
+allocate. The default definition is:
+.RI malloc( SIZE )
+.TP
+.BI YY_REALLOC( YY , \ PTR , \ SIZE )
+The memory reallocator for dynamically\-grown storage (such as text
+buffers and variable stacks). The parameters are the current
+yycontext structure, the previously\-allocated storage, and the number
+of bytes to which that storage should be grown. The default definition is:
+.RI realloc( PTR , \ SIZE )
+.TP
+.BI YY_FREE( YY , \ PTR )
+The memory deallocator. The parameters are the current yycontext
+structure and the storage to deallocate. The default definition is:
+.RI free( PTR )
+.TP
+.B YYRELEASE
+The name of the function that releases all resources held by a
+yycontext structure. The default value is 'yyrelease'.
+.PP
+The following variables can be referred to within actions.
+.TP
+.B char *yybuf
+This variable points to the parser's input buffer used to store input
+text that has not yet been matched.
+.TP
+.B int yypos
+This is the offset (in yybuf) of the next character to be matched and
+consumed.
+.TP
+.B char *yytext
+The most recent matched text delimited by '<' and '>' is stored in this variable.
+.TP
+.B int yyleng
+This variable indicates the number of characters in 'yytext'.
+.TP
+.B yycontext *yy
+This variable points to the instance of 'yycontext' associated with
+the currently\-active parser.
+.PP
+Programs that wish to release all the resources associated with a
+parser can use the following function.
+.TP
+.BI yyrelease(yycontext * yy )
+Returns all parser\-allocated storage associated with
+.I yy
+to the system. The storage will be reallocated on the next call to
+.IR yyparse ().
+.PP
+Note that the storage for the yycontext structure itself is never
+allocated or reclaimed implicitly. The application must allocate
+these structures in automatic storage, or use
+.IR calloc ()
+and
+.IR free ()
+to manage them explicitly. The example in the following section
+demonstrates one approach to resource management.
+.SH LEG EXAMPLE: EXTENDING THE PARSER'S CONTEXT
+The
+.I yy
+variable passed to actions contains the state of the parser plus any
+additional fields defined by YY_CTX_MEMBERS. Theses fields can be
+used to store application\-specific information that is global to a
+particular call of
+.IR yyparse ().
+A trivial but complete
+.I leg
+example follows in which the yycontext
+structure is extended with a
+.I count
+of the number of newline characters
+seen in the input so far (the grammar otherwise consumes and ignores
+the entire input). The caller of
+.IR yyparse ()
+uses
+.I count
+to print the number of lines of input that were read.
+
+.nf
+
+ %{+ #define YY_CTX_LOCAL 1
+ #define YY_CTX_MEMBERS \\
+ int count;
+ %}
+
+ Char = ('\\n' | '\\r\\n' | '\\r') { yy\->count++ }+ | .
+
+ %%
+
+ #include <stdio.h>
+ #include <string.h>
+
+ int main()
+ {+ /* create a local parser context in automatic storage */
+ yycontext yy;
+ /* the context *must* be initialised to zero before first use*/
+ memset(&yy, 0, sizeof(yy));
+
+ while (yyparse(&yy))
+ ;
+ printf("%d newlines\\n", yy.count);+
+ /* release all resources associated with the context */
+ yyrelease(&yy);
+
+ return 0;
+ }
+
+.fi
+.SH DIAGNOSTICS
+.I peg
+and
+.I leg
+warn about the following conditions while converting a grammar into a parser.
+.TP
+.B syntax error
+The input grammar was malformed in some way. The error message will
+include the text about to be matched (often backed up a huge amount
+from the actual location of the error) and the line number of the most
+recently considered character (which is often the real location of the
+problem).
+.TP
+.B rule 'foo' used but not defined
+The grammar referred to a rule named 'foo' but no definition for it
+was given. Attempting to use the generated parser will likely result
+in errors from the linker due to undefined symbols associated with the
+missing rule.
+.TP
+.B rule 'foo' defined but not used
+The grammar defined a rule named 'foo' and then ignored it. The code
+associated with the rule is included in the generated parser which
+will in all other respects be healthy.
+.TP
+.B possible infinite left recursion in rule 'foo'
+There exists at least one path through the grammar that leads from the
+rule 'foo' back to (a recursive invocation of) the same rule without
+consuming any input.
+.PP
+Left recursion, especially that found in standards documents, is
+often 'direct' and implies trivial repetition.
+.nf
+
+ # (6.7.6)
+ direct\-abstract\-declarator =
+ LPAREN abstract\-declarator RPAREN
+ | direct\-abstract\-declarator? LBRACKET assign\-expr? RBRACKET
+ | direct\-abstract\-declarator? LBRACKET STAR RBRACKET
+ | direct\-abstract\-declarator? LPAREN param\-type\-list? RPAREN
+
+.fi
+The recursion can easily be eliminated by converting the parts of the
+pattern following the recursion into a repeatable suffix.
+.nf
+
+ # (6.7.6)
+ direct\-abstract\-declarator =
+ direct\-abstract\-declarator\-head?
+ direct\-abstract\-declarator\-tail*
+
+ direct\-abstract\-declarator\-head =
+ LPAREN abstract\-declarator RPAREN
+
+ direct\-abstract\-declarator\-tail =
+ LBRACKET assign\-expr? RBRACKET
+ | LBRACKET STAR RBRACKET
+ | LPAREN param\-type\-list? RPAREN
+
+.fi
+.SH CAVEATS
+A parser that accepts empty input will
+.I always
+succeed. Consider the following example, not atypical of a first
+attempt to write a PEG\-based parser:
+.nf
+
+ Program = Expression*
+ Expression = "whatever"
+ %%
+ int main() {+ while (yyparse())
+ puts("success!");+ return 0;
+ }
+
+.fi
+This program loops forever, no matter what (if any) input is provided
+on stdin. Many fixes are possible, the easiest being to insist that
+the parser always consumes some non\-empty input. Changing the first
+line to
+.nf
+
+ Program = Expression+
+
+.fi
+accomplishes this. If the parser is expected to consume the entire
+input, then explicitly requiring the end\-of\-file is also highly
+recommended:
+.nf
+
+ Program = Expression+ !.
+
+.fi
+This works because the parser will only fail to match ("!" predicate)+any character at all ("." expression) when it attempts to read beyond+the end of the input.
+.SH BUGS
+You have to type 'man peg' to read the manual page for
+.IR leg (1).
+.PP
+The 'yy' and 'YY' prefixes cannot be changed.
+.PP
+Left recursion is detected in the input grammar but is not handled
+correctly in the generated parser.
+.PP
+Diagnostics for errors in the input grammar are obscure and not
+particularly helpful.
+.PP
+The operators
+.BR ! \ \c
+and
+.B ~
+should really be named the other way around.
+.PP
+Several commonly\-used
+.IR lex (1)
+features (yywrap(), yyin, etc.) are completely absent.
+.PP
+The generated parser does not contain '#line' directives to direct C
+compiler errors back to the grammar description when appropriate.
+.SH SEE ALSO
+D. Val Schorre,
+.I META II, a syntax\-oriented compiler writing language,
+19th ACM National Conference, 1964, pp.\ 41.301\-\-41.311. Describes a
+self\-implementing parser generator for analytic grammars with no
+backtracking.
+.PP
+Alexander Birman,
+.I The TMG Recognition Schema,
+Ph.D. dissertation, Princeton, 1970. A mathematical treatment of the
+power and complexity of recursive\-descent parsing with backtracking.
+.PP
+Bryan Ford,
+.I Parsing Expression Grammars: A Recognition\-Based Syntactic Foundation,
+ACM SIGPLAN Symposium on Principles of Programming Languages, 2004.
+Defines PEGs and analyses them in relation to context\-free and regular
+grammars. Introduces the syntax adopted in
+.IR peg .
+.PP
+The standard Unix utilities
+.IR lex (1)
+and
+.IR yacc (1)
+which influenced the syntax and features of
+.IR leg .
+.PP
+The source code for
+.I peg
+and
+.I leg
+whose grammar parsers are written using themselves.
+.PP
+The latest version of this software and documentation:
+.nf
+
+ http://piumarta.com/software/peg
+
+.fi
+.SH AUTHOR
+.IR peg ,
+.I leg
+and this manual page were written by Ian Piumarta (first\-name at
+last\-name dot com) while investigating the viability of regular and
+parsing\-expression grammars for efficiently extracting type and
+signature information from C header files.
+.PP
+Please send bug reports and suggestions for improvements to the author
+at the above address.