printgrammar.c 2.93 KB
Newer Older
1

Guido van Rossum's avatar
Guido van Rossum committed
2 3
/* Print a bunch of C initializers that represent a grammar */

4 5
#define PGEN

Guido van Rossum's avatar
Guido van Rossum committed
6
#include "pgenheaders.h"
Guido van Rossum's avatar
Guido van Rossum committed
7 8
#include "grammar.h"

Guido van Rossum's avatar
Guido van Rossum committed
9
/* Forward */
10 11 12 13
static void printarcs(int, dfa *, FILE *);
static void printstates(grammar *, FILE *);
static void printdfas(grammar *, FILE *);
static void printlabels(grammar *, FILE *);
Guido van Rossum's avatar
Guido van Rossum committed
14 15

void
Thomas Wouters's avatar
Thomas Wouters committed
16
printgrammar(grammar *g, FILE *fp)
Guido van Rossum's avatar
Guido van Rossum committed
17
{
18 19 20 21 22 23 24
    fprintf(fp, "/* Generated by Parser/pgen */\n\n");
    fprintf(fp, "#include \"pgenheaders.h\"\n");
    fprintf(fp, "#include \"grammar.h\"\n");
    fprintf(fp, "PyAPI_DATA(grammar) _PyParser_Grammar;\n");
    printdfas(g, fp);
    printlabels(g, fp);
    fprintf(fp, "grammar _PyParser_Grammar = {\n");
25 26 27 28
    fprintf(fp, "    %d,\n", g->g_ndfas);
    fprintf(fp, "    dfas,\n");
    fprintf(fp, "    {%d, labels},\n", g->g_ll.ll_nlabels);
    fprintf(fp, "    %d\n", g->g_start);
29
    fprintf(fp, "};\n");
Guido van Rossum's avatar
Guido van Rossum committed
30 31 32
}

void
Thomas Wouters's avatar
Thomas Wouters committed
33
printnonterminals(grammar *g, FILE *fp)
Guido van Rossum's avatar
Guido van Rossum committed
34
{
35 36 37 38 39 40 41 42
    dfa *d;
    int i;

    fprintf(fp, "/* Generated by Parser/pgen */\n\n");

    d = g->g_dfa;
    for (i = g->g_ndfas; --i >= 0; d++)
        fprintf(fp, "#define %s %d\n", d->d_name, d->d_type);
Guido van Rossum's avatar
Guido van Rossum committed
43 44
}

Guido van Rossum's avatar
Guido van Rossum committed
45
static void
Thomas Wouters's avatar
Thomas Wouters committed
46
printarcs(int i, dfa *d, FILE *fp)
Guido van Rossum's avatar
Guido van Rossum committed
47
{
48 49 50 51 52 53 54 55 56 57
    arc *a;
    state *s;
    int j, k;

    s = d->d_state;
    for (j = 0; j < d->d_nstates; j++, s++) {
        fprintf(fp, "static arc arcs_%d_%d[%d] = {\n",
            i, j, s->s_narcs);
        a = s->s_arc;
        for (k = 0; k < s->s_narcs; k++, a++)
58
            fprintf(fp, "    {%d, %d},\n", a->a_lbl, a->a_arrow);
59 60
        fprintf(fp, "};\n");
    }
Guido van Rossum's avatar
Guido van Rossum committed
61 62 63
}

static void
Thomas Wouters's avatar
Thomas Wouters committed
64
printstates(grammar *g, FILE *fp)
Guido van Rossum's avatar
Guido van Rossum committed
65
{
66 67 68 69 70 71 72 73 74 75 76
    state *s;
    dfa *d;
    int i, j;

    d = g->g_dfa;
    for (i = 0; i < g->g_ndfas; i++, d++) {
        printarcs(i, d, fp);
        fprintf(fp, "static state states_%d[%d] = {\n",
            i, d->d_nstates);
        s = d->d_state;
        for (j = 0; j < d->d_nstates; j++, s++)
77
            fprintf(fp, "    {%d, arcs_%d_%d},\n",
78 79 80
                s->s_narcs, i, j);
        fprintf(fp, "};\n");
    }
Guido van Rossum's avatar
Guido van Rossum committed
81 82 83
}

static void
Thomas Wouters's avatar
Thomas Wouters committed
84
printdfas(grammar *g, FILE *fp)
Guido van Rossum's avatar
Guido van Rossum committed
85
{
86
    dfa *d;
87
    int i, j, n;
88 89 90 91 92

    printstates(g, fp);
    fprintf(fp, "static dfa dfas[%d] = {\n", g->g_ndfas);
    d = g->g_dfa;
    for (i = 0; i < g->g_ndfas; i++, d++) {
93
        fprintf(fp, "    {%d, \"%s\", %d, %d, states_%d,\n",
94
            d->d_type, d->d_name, d->d_initial, d->d_nstates, i);
95
        fprintf(fp, "     \"");
96 97
        n = NBYTES(g->g_ll.ll_nlabels);
        for (j = 0; j < n; j++)
98 99 100 101
            fprintf(fp, "\\%03o", d->d_first[j] & 0xff);
        fprintf(fp, "\"},\n");
    }
    fprintf(fp, "};\n");
Guido van Rossum's avatar
Guido van Rossum committed
102 103 104
}

static void
Thomas Wouters's avatar
Thomas Wouters committed
105
printlabels(grammar *g, FILE *fp)
Guido van Rossum's avatar
Guido van Rossum committed
106
{
107 108 109 110 111 112 113
    label *l;
    int i;

    fprintf(fp, "static label labels[%d] = {\n", g->g_ll.ll_nlabels);
    l = g->g_ll.ll_label;
    for (i = g->g_ll.ll_nlabels; --i >= 0; l++) {
        if (l->lb_str == NULL)
114
            fprintf(fp, "    {%d, 0},\n", l->lb_type);
115
        else
116
            fprintf(fp, "    {%d, \"%s\"},\n",
117 118 119
                l->lb_type, l->lb_str);
    }
    fprintf(fp, "};\n");
Guido van Rossum's avatar
Guido van Rossum committed
120
}