| 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 | { | 
| Neal Norwitz | 32dde22 | 2008-04-15 06:43:13 +0000 | [diff] [blame] | 16 | 	fprintf(fp, "/* Generated by Parser/pgen */\n\n"); | 
| Guido van Rossum | 3f5da24 | 1990-12-20 15:06:42 +0000 | [diff] [blame] | 17 | 	fprintf(fp, "#include \"pgenheaders.h\"\n"); | 
 | 18 | 	fprintf(fp, "#include \"grammar.h\"\n"); | 
| Martin v. Löwis | a9b54c7 | 2009-01-11 09:30:50 +0000 | [diff] [blame] | 19 | 	fprintf(fp, "PyAPI_DATA(grammar) _PyParser_Grammar;\n"); | 
| Guido van Rossum | 3f5da24 | 1990-12-20 15:06:42 +0000 | [diff] [blame] | 20 | 	printdfas(g, fp); | 
 | 21 | 	printlabels(g, fp); | 
| Guido van Rossum | ee2373b | 1997-05-07 23:51:07 +0000 | [diff] [blame] | 22 | 	fprintf(fp, "grammar _PyParser_Grammar = {\n"); | 
| Guido van Rossum | 3f5da24 | 1990-12-20 15:06:42 +0000 | [diff] [blame] | 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"); | 
 | 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 | { | 
 | 33 | 	dfa *d; | 
 | 34 | 	int i; | 
 | 35 | 	 | 
| Neal Norwitz | 32dde22 | 2008-04-15 06:43:13 +0000 | [diff] [blame] | 36 | 	fprintf(fp, "/* Generated by Parser/pgen */\n\n"); | 
 | 37 | 	 | 
| Guido van Rossum | 3f5da24 | 1990-12-20 15:06:42 +0000 | [diff] [blame] | 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); | 
 | 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 | { | 
 | 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++) | 
 | 56 | 			fprintf(fp, "\t{%d, %d},\n", a->a_lbl, a->a_arrow); | 
 | 57 | 		fprintf(fp, "};\n"); | 
 | 58 | 	} | 
 | 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 | { | 
 | 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++) | 
 | 75 | 			fprintf(fp, "\t{%d, arcs_%d_%d},\n", | 
 | 76 | 				s->s_narcs, i, j); | 
 | 77 | 		fprintf(fp, "};\n"); | 
 | 78 | 	} | 
 | 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 | { | 
 | 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++) { | 
 | 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"); | 
 | 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 | { | 
 | 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) | 
 | 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"); | 
 | 117 | } |