| Guido van Rossum | f70e43a | 1991-02-19 12:39:46 +0000 | [diff] [blame] | 1 |  | 
| Guido van Rossum | 85a5fbb | 1990-10-14 12:07:46 +0000 | [diff] [blame] | 2 | /* Print a bunch of C initializers that represent a grammar */ | 
 | 3 |  | 
| Guido van Rossum | 3f5da24 | 1990-12-20 15:06:42 +0000 | [diff] [blame] | 4 | #include "pgenheaders.h" | 
| Guido van Rossum | 85a5fbb | 1990-10-14 12:07:46 +0000 | [diff] [blame] | 5 | #include "grammar.h" | 
 | 6 |  | 
| Guido van Rossum | 3f5da24 | 1990-12-20 15:06:42 +0000 | [diff] [blame] | 7 | /* Forward */ | 
| Tim Peters | dbd9ba6 | 2000-07-09 03:09:57 +0000 | [diff] [blame] | 8 | static void printarcs(int, dfa *, FILE *); | 
 | 9 | static void printstates(grammar *, FILE *); | 
 | 10 | static void printdfas(grammar *, FILE *); | 
 | 11 | static void printlabels(grammar *, FILE *); | 
| Guido van Rossum | 3f5da24 | 1990-12-20 15:06:42 +0000 | [diff] [blame] | 12 |  | 
 | 13 | void | 
| Thomas Wouters | 23c9e00 | 2000-07-22 19:20:54 +0000 | [diff] [blame] | 14 | printgrammar(grammar *g, FILE *fp) | 
| Guido van Rossum | 3f5da24 | 1990-12-20 15:06:42 +0000 | [diff] [blame] | 15 | { | 
| Antoine Pitrou | c7c96a9 | 2010-05-09 15:15:40 +0000 | [diff] [blame] | 16 |     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"); | 
| Victor Stinner | 8bdd22a | 2010-05-15 22:58:41 +0000 | [diff] [blame] | 23 |     fprintf(fp, "    %d,\n", g->g_ndfas); | 
 | 24 |     fprintf(fp, "    dfas,\n"); | 
 | 25 |     fprintf(fp, "    {%d, labels},\n", g->g_ll.ll_nlabels); | 
 | 26 |     fprintf(fp, "    %d\n", g->g_start); | 
| Antoine Pitrou | c7c96a9 | 2010-05-09 15:15:40 +0000 | [diff] [blame] | 27 |     fprintf(fp, "};\n"); | 
| Guido van Rossum | 3f5da24 | 1990-12-20 15:06:42 +0000 | [diff] [blame] | 28 | } | 
 | 29 |  | 
 | 30 | void | 
| Thomas Wouters | 23c9e00 | 2000-07-22 19:20:54 +0000 | [diff] [blame] | 31 | printnonterminals(grammar *g, FILE *fp) | 
| Guido van Rossum | 3f5da24 | 1990-12-20 15:06:42 +0000 | [diff] [blame] | 32 | { | 
| Antoine Pitrou | c7c96a9 | 2010-05-09 15:15:40 +0000 | [diff] [blame] | 33 |     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 Rossum | 3f5da24 | 1990-12-20 15:06:42 +0000 | [diff] [blame] | 41 | } | 
 | 42 |  | 
| Guido van Rossum | 85a5fbb | 1990-10-14 12:07:46 +0000 | [diff] [blame] | 43 | static void | 
| Thomas Wouters | 23c9e00 | 2000-07-22 19:20:54 +0000 | [diff] [blame] | 44 | printarcs(int i, dfa *d, FILE *fp) | 
| Guido van Rossum | 85a5fbb | 1990-10-14 12:07:46 +0000 | [diff] [blame] | 45 | { | 
| Antoine Pitrou | c7c96a9 | 2010-05-09 15:15:40 +0000 | [diff] [blame] | 46 |     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++) | 
| Victor Stinner | 8bdd22a | 2010-05-15 22:58:41 +0000 | [diff] [blame] | 56 |             fprintf(fp, "    {%d, %d},\n", a->a_lbl, a->a_arrow); | 
| Antoine Pitrou | c7c96a9 | 2010-05-09 15:15:40 +0000 | [diff] [blame] | 57 |         fprintf(fp, "};\n"); | 
 | 58 |     } | 
| Guido van Rossum | 85a5fbb | 1990-10-14 12:07:46 +0000 | [diff] [blame] | 59 | } | 
 | 60 |  | 
 | 61 | static void | 
| Thomas Wouters | 23c9e00 | 2000-07-22 19:20:54 +0000 | [diff] [blame] | 62 | printstates(grammar *g, FILE *fp) | 
| Guido van Rossum | 85a5fbb | 1990-10-14 12:07:46 +0000 | [diff] [blame] | 63 | { | 
| Antoine Pitrou | c7c96a9 | 2010-05-09 15:15:40 +0000 | [diff] [blame] | 64 |     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++) | 
| Victor Stinner | 8bdd22a | 2010-05-15 22:58:41 +0000 | [diff] [blame] | 75 |             fprintf(fp, "    {%d, arcs_%d_%d},\n", | 
| Antoine Pitrou | c7c96a9 | 2010-05-09 15:15:40 +0000 | [diff] [blame] | 76 |                 s->s_narcs, i, j); | 
 | 77 |         fprintf(fp, "};\n"); | 
 | 78 |     } | 
| Guido van Rossum | 85a5fbb | 1990-10-14 12:07:46 +0000 | [diff] [blame] | 79 | } | 
 | 80 |  | 
 | 81 | static void | 
| Thomas Wouters | 23c9e00 | 2000-07-22 19:20:54 +0000 | [diff] [blame] | 82 | printdfas(grammar *g, FILE *fp) | 
| Guido van Rossum | 85a5fbb | 1990-10-14 12:07:46 +0000 | [diff] [blame] | 83 | { | 
| Antoine Pitrou | c7c96a9 | 2010-05-09 15:15:40 +0000 | [diff] [blame] | 84 |     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++) { | 
| Victor Stinner | 8bdd22a | 2010-05-15 22:58:41 +0000 | [diff] [blame] | 91 |         fprintf(fp, "    {%d, \"%s\", %d, %d, states_%d,\n", | 
| Antoine Pitrou | c7c96a9 | 2010-05-09 15:15:40 +0000 | [diff] [blame] | 92 |             d->d_type, d->d_name, d->d_initial, d->d_nstates, i); | 
| Victor Stinner | 8bdd22a | 2010-05-15 22:58:41 +0000 | [diff] [blame] | 93 |         fprintf(fp, "     \""); | 
| Antoine Pitrou | c7c96a9 | 2010-05-09 15:15:40 +0000 | [diff] [blame] | 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 Rossum | 85a5fbb | 1990-10-14 12:07:46 +0000 | [diff] [blame] | 99 | } | 
 | 100 |  | 
 | 101 | static void | 
| Thomas Wouters | 23c9e00 | 2000-07-22 19:20:54 +0000 | [diff] [blame] | 102 | printlabels(grammar *g, FILE *fp) | 
| Guido van Rossum | 85a5fbb | 1990-10-14 12:07:46 +0000 | [diff] [blame] | 103 | { | 
| Antoine Pitrou | c7c96a9 | 2010-05-09 15:15:40 +0000 | [diff] [blame] | 104 |     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) | 
| Victor Stinner | 8bdd22a | 2010-05-15 22:58:41 +0000 | [diff] [blame] | 111 |             fprintf(fp, "    {%d, 0},\n", l->lb_type); | 
| Antoine Pitrou | c7c96a9 | 2010-05-09 15:15:40 +0000 | [diff] [blame] | 112 |         else | 
| Victor Stinner | 8bdd22a | 2010-05-15 22:58:41 +0000 | [diff] [blame] | 113 |             fprintf(fp, "    {%d, \"%s\"},\n", | 
| Antoine Pitrou | c7c96a9 | 2010-05-09 15:15:40 +0000 | [diff] [blame] | 114 |                 l->lb_type, l->lb_str); | 
 | 115 |     } | 
 | 116 |     fprintf(fp, "};\n"); | 
| Guido van Rossum | 85a5fbb | 1990-10-14 12:07:46 +0000 | [diff] [blame] | 117 | } |