blob: 3b54a0500c6377ab9505d4832f4e7090d3349fa8 [file] [log] [blame]
Guido van Rossumf70e43a1991-02-19 12:39:46 +00001
Guido van Rossum85a5fbb1990-10-14 12:07:46 +00002/* Print a bunch of C initializers that represent a grammar */
3
Guido van Rossum3f5da241990-12-20 15:06:42 +00004#include "pgenheaders.h"
Guido van Rossum85a5fbb1990-10-14 12:07:46 +00005#include "grammar.h"
6
Guido van Rossum3f5da241990-12-20 15:06:42 +00007/* Forward */
Tim Petersdbd9ba62000-07-09 03:09:57 +00008static void printarcs(int, dfa *, FILE *);
9static void printstates(grammar *, FILE *);
10static void printdfas(grammar *, FILE *);
11static void printlabels(grammar *, FILE *);
Guido van Rossum3f5da241990-12-20 15:06:42 +000012
13void
Thomas Wouters23c9e002000-07-22 19:20:54 +000014printgrammar(grammar *g, FILE *fp)
Guido van Rossum3f5da241990-12-20 15:06:42 +000015{
Antoine Pitrouf95a1b32010-05-09 15:52:27 +000016 fprintf(fp, "/* Generated by Parser/pgen */\n\n");
17 fprintf(fp, "#include \"pgenheaders.h\"\n");
18 fprintf(fp, "#include \"grammar.h\"\n");
19 fprintf(fp, "PyAPI_DATA(grammar) _PyParser_Grammar;\n");
20 printdfas(g, fp);
21 printlabels(g, fp);
22 fprintf(fp, "grammar _PyParser_Grammar = {\n");
23 fprintf(fp, "\t%d,\n", g->g_ndfas);
24 fprintf(fp, "\tdfas,\n");
25 fprintf(fp, "\t{%d, labels},\n", g->g_ll.ll_nlabels);
26 fprintf(fp, "\t%d\n", g->g_start);
27 fprintf(fp, "};\n");
Guido van Rossum3f5da241990-12-20 15:06:42 +000028}
29
30void
Thomas Wouters23c9e002000-07-22 19:20:54 +000031printnonterminals(grammar *g, FILE *fp)
Guido van Rossum3f5da241990-12-20 15:06:42 +000032{
Antoine Pitrouf95a1b32010-05-09 15:52:27 +000033 dfa *d;
34 int i;
35
36 fprintf(fp, "/* Generated by Parser/pgen */\n\n");
37
38 d = g->g_dfa;
39 for (i = g->g_ndfas; --i >= 0; d++)
40 fprintf(fp, "#define %s %d\n", d->d_name, d->d_type);
Guido van Rossum3f5da241990-12-20 15:06:42 +000041}
42
Guido van Rossum85a5fbb1990-10-14 12:07:46 +000043static void
Thomas Wouters23c9e002000-07-22 19:20:54 +000044printarcs(int i, dfa *d, FILE *fp)
Guido van Rossum85a5fbb1990-10-14 12:07:46 +000045{
Antoine Pitrouf95a1b32010-05-09 15:52:27 +000046 arc *a;
47 state *s;
48 int j, k;
49
50 s = d->d_state;
51 for (j = 0; j < d->d_nstates; j++, s++) {
52 fprintf(fp, "static arc arcs_%d_%d[%d] = {\n",
53 i, j, s->s_narcs);
54 a = s->s_arc;
55 for (k = 0; k < s->s_narcs; k++, a++)
56 fprintf(fp, "\t{%d, %d},\n", a->a_lbl, a->a_arrow);
57 fprintf(fp, "};\n");
58 }
Guido van Rossum85a5fbb1990-10-14 12:07:46 +000059}
60
61static void
Thomas Wouters23c9e002000-07-22 19:20:54 +000062printstates(grammar *g, FILE *fp)
Guido van Rossum85a5fbb1990-10-14 12:07:46 +000063{
Antoine Pitrouf95a1b32010-05-09 15:52:27 +000064 state *s;
65 dfa *d;
66 int i, j;
67
68 d = g->g_dfa;
69 for (i = 0; i < g->g_ndfas; i++, d++) {
70 printarcs(i, d, fp);
71 fprintf(fp, "static state states_%d[%d] = {\n",
72 i, d->d_nstates);
73 s = d->d_state;
74 for (j = 0; j < d->d_nstates; j++, s++)
75 fprintf(fp, "\t{%d, arcs_%d_%d},\n",
76 s->s_narcs, i, j);
77 fprintf(fp, "};\n");
78 }
Guido van Rossum85a5fbb1990-10-14 12:07:46 +000079}
80
81static void
Thomas Wouters23c9e002000-07-22 19:20:54 +000082printdfas(grammar *g, FILE *fp)
Guido van Rossum85a5fbb1990-10-14 12:07:46 +000083{
Antoine Pitrouf95a1b32010-05-09 15:52:27 +000084 dfa *d;
85 int i, j;
86
87 printstates(g, fp);
88 fprintf(fp, "static dfa dfas[%d] = {\n", g->g_ndfas);
89 d = g->g_dfa;
90 for (i = 0; i < g->g_ndfas; i++, d++) {
91 fprintf(fp, "\t{%d, \"%s\", %d, %d, states_%d,\n",
92 d->d_type, d->d_name, d->d_initial, d->d_nstates, i);
93 fprintf(fp, "\t \"");
94 for (j = 0; j < NBYTES(g->g_ll.ll_nlabels); j++)
95 fprintf(fp, "\\%03o", d->d_first[j] & 0xff);
96 fprintf(fp, "\"},\n");
97 }
98 fprintf(fp, "};\n");
Guido van Rossum85a5fbb1990-10-14 12:07:46 +000099}
100
101static void
Thomas Wouters23c9e002000-07-22 19:20:54 +0000102printlabels(grammar *g, FILE *fp)
Guido van Rossum85a5fbb1990-10-14 12:07:46 +0000103{
Antoine Pitrouf95a1b32010-05-09 15:52:27 +0000104 label *l;
105 int i;
106
107 fprintf(fp, "static label labels[%d] = {\n", g->g_ll.ll_nlabels);
108 l = g->g_ll.ll_label;
109 for (i = g->g_ll.ll_nlabels; --i >= 0; l++) {
110 if (l->lb_str == NULL)
111 fprintf(fp, "\t{%d, 0},\n", l->lb_type);
112 else
113 fprintf(fp, "\t{%d, \"%s\"},\n",
114 l->lb_type, l->lb_str);
115 }
116 fprintf(fp, "};\n");
Guido van Rossum85a5fbb1990-10-14 12:07:46 +0000117}