printgrammar.c 2.57 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 */

Guido van Rossum's avatar
Guido van Rossum committed
4
#include "pgenheaders.h"
Guido van Rossum's avatar
Guido van Rossum committed
5 6
#include "grammar.h"

Guido van Rossum's avatar
Guido van Rossum committed
7
/* Forward */
8 9 10 11
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
12 13

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

void
Thomas Wouters's avatar
Thomas Wouters committed
31
printnonterminals(grammar *g, FILE *fp)
Guido van Rossum's avatar
Guido van Rossum committed
32 33 34 35
{
	dfa *d;
	int i;
	
36 37
	fprintf(fp, "/* Generated by Parser/pgen */\n\n");
	
Guido van Rossum's avatar
Guido van Rossum committed
38 39 40 41 42
	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
static void
Thomas Wouters's avatar
Thomas Wouters committed
44
printarcs(int i, dfa *d, FILE *fp)
Guido van Rossum's avatar
Guido van Rossum committed
45 46 47 48 49 50 51 52 53 54 55 56 57 58 59 60 61
{
	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++)
			fprintf(fp, "\t{%d, %d},\n", a->a_lbl, a->a_arrow);
		fprintf(fp, "};\n");
	}
}

static void
Thomas Wouters's avatar
Thomas Wouters committed
62
printstates(grammar *g, FILE *fp)
Guido van Rossum's avatar
Guido van Rossum committed
63 64 65 66 67 68 69 70 71 72 73 74 75 76 77 78 79 80 81
{
	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++)
			fprintf(fp, "\t{%d, arcs_%d_%d},\n",
				s->s_narcs, i, j);
		fprintf(fp, "};\n");
	}
}

static void
Thomas Wouters's avatar
Thomas Wouters committed
82
printdfas(grammar *g, FILE *fp)
Guido van Rossum's avatar
Guido van Rossum committed
83 84 85 86 87 88 89 90 91 92 93 94 95 96 97 98 99 100 101
{
	dfa *d;
	int i, j;
	
	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++) {
		fprintf(fp, "\t{%d, \"%s\", %d, %d, states_%d,\n",
			d->d_type, d->d_name, d->d_initial, d->d_nstates, i);
		fprintf(fp, "\t \"");
		for (j = 0; j < NBYTES(g->g_ll.ll_nlabels); j++)
			fprintf(fp, "\\%03o", d->d_first[j] & 0xff);
		fprintf(fp, "\"},\n");
	}
	fprintf(fp, "};\n");
}

static void
Thomas Wouters's avatar
Thomas Wouters committed
102
printlabels(grammar *g, FILE *fp)
Guido van Rossum's avatar
Guido van Rossum committed
103 104 105 106 107 108 109 110 111 112 113 114 115 116 117
{
	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)
			fprintf(fp, "\t{%d, 0},\n", l->lb_type);
		else
			fprintf(fp, "\t{%d, \"%s\"},\n",
				l->lb_type, l->lb_str);
	}
	fprintf(fp, "};\n");
}