]>
Commit | Line | Data |
---|---|---|
122c0aac | 1 | /* Match rules with nonterminals for bison, |
aa7815f5 | 2 | Copyright 1984, 1989, 2000 Free Software Foundation, Inc. |
122c0aac | 3 | |
cc84fd5d | 4 | This file is part of Bison, the GNU Compiler Compiler. |
122c0aac | 5 | |
cc84fd5d AD |
6 | Bison is free software; you can redistribute it and/or modify |
7 | it under the terms of the GNU General Public License as published by | |
8 | the Free Software Foundation; either version 2, or (at your option) | |
9 | any later version. | |
122c0aac | 10 | |
cc84fd5d AD |
11 | Bison is distributed in the hope that it will be useful, |
12 | but WITHOUT ANY WARRANTY; without even the implied warranty of | |
13 | MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the | |
14 | GNU General Public License for more details. | |
122c0aac | 15 | |
cc84fd5d AD |
16 | You should have received a copy of the GNU General Public License |
17 | along with Bison; see the file COPYING. If not, write to | |
18 | the Free Software Foundation, Inc., 59 Temple Place - Suite 330, | |
19 | Boston, MA 02111-1307, USA. */ | |
122c0aac RS |
20 | |
21 | ||
cc84fd5d AD |
22 | /* set_derives finds, for each variable (nonterminal), which rules can |
23 | derive it. It sets up the value of derives so that derives[i - | |
24 | ntokens] points to a vector of rule numbers, terminated with -1. | |
25 | */ | |
122c0aac | 26 | |
122c0aac | 27 | #include "system.h" |
d7913476 | 28 | #include "xalloc.h" |
122c0aac RS |
29 | #include "types.h" |
30 | #include "gram.h" | |
cc84fd5d | 31 | #include "derives.h" |
4a120d45 | 32 | |
340ef489 AD |
33 | short **derives; |
34 | ||
4a120d45 | 35 | #if DEBUG |
cc84fd5d AD |
36 | |
37 | static void | |
38 | print_derives (void) | |
39 | { | |
d7913476 AD |
40 | int i; |
41 | short *sp; | |
cc84fd5d | 42 | |
444c570a AD |
43 | fputs ("\n\n\n", stdout); |
44 | printf (_("DERIVES")); | |
45 | fputs ("\n\n", stdout); | |
cc84fd5d AD |
46 | |
47 | for (i = ntokens; i < nsyms; i++) | |
48 | { | |
49 | printf (_("%s derives"), tags[i]); | |
50 | for (sp = derives[i]; *sp > 0; sp++) | |
51 | { | |
52 | printf (" %d", *sp); | |
53 | } | |
54 | putchar ('\n'); | |
55 | } | |
56 | ||
57 | putchar ('\n'); | |
58 | } | |
59 | ||
4a120d45 | 60 | #endif |
122c0aac | 61 | |
122c0aac | 62 | void |
d2729d44 | 63 | set_derives (void) |
122c0aac | 64 | { |
d7913476 AD |
65 | int i; |
66 | int lhs; | |
67 | shorts *p; | |
68 | short *q; | |
69 | shorts **dset; | |
70 | shorts *delts; | |
122c0aac | 71 | |
d7913476 AD |
72 | dset = XCALLOC (shorts *, nvars) - ntokens; |
73 | delts = XCALLOC (shorts, nrules + 1); | |
122c0aac RS |
74 | |
75 | p = delts; | |
76 | for (i = nrules; i > 0; i--) | |
77 | { | |
78 | lhs = rlhs[i]; | |
79 | if (lhs >= 0) | |
80 | { | |
81 | p->next = dset[lhs]; | |
82 | p->value = i; | |
83 | dset[lhs] = p; | |
84 | p++; | |
85 | } | |
86 | } | |
87 | ||
d7913476 AD |
88 | derives = XCALLOC (short *, nvars) - ntokens; |
89 | q = XCALLOC (short, nvars + nrules); | |
122c0aac RS |
90 | |
91 | for (i = ntokens; i < nsyms; i++) | |
92 | { | |
93 | derives[i] = q; | |
94 | p = dset[i]; | |
95 | while (p) | |
96 | { | |
97 | *q++ = p->value; | |
98 | p = p->next; | |
99 | } | |
100 | *q++ = -1; | |
101 | } | |
102 | ||
cc84fd5d AD |
103 | #if DEBUG |
104 | print_derives (); | |
122c0aac RS |
105 | #endif |
106 | ||
d7913476 AD |
107 | XFREE (dset + ntokens); |
108 | XFREE (delts); | |
122c0aac RS |
109 | } |
110 | ||
111 | void | |
d2729d44 | 112 | free_derives (void) |
122c0aac | 113 | { |
d7913476 AD |
114 | XFREE (derives[ntokens]); |
115 | XFREE (derives + ntokens); | |
122c0aac | 116 | } |