]>
Commit | Line | Data |
---|---|---|
122c0aac | 1 | /* Match rules with nonterminals for bison, |
cc84fd5d | 2 | Copyright (C) 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 AD |
42 | |
43 | printf (_("\n\n\nDERIVES\n\n")); | |
44 | ||
45 | for (i = ntokens; i < nsyms; i++) | |
46 | { | |
47 | printf (_("%s derives"), tags[i]); | |
48 | for (sp = derives[i]; *sp > 0; sp++) | |
49 | { | |
50 | printf (" %d", *sp); | |
51 | } | |
52 | putchar ('\n'); | |
53 | } | |
54 | ||
55 | putchar ('\n'); | |
56 | } | |
57 | ||
4a120d45 | 58 | #endif |
122c0aac | 59 | |
122c0aac | 60 | void |
d2729d44 | 61 | set_derives (void) |
122c0aac | 62 | { |
d7913476 AD |
63 | int i; |
64 | int lhs; | |
65 | shorts *p; | |
66 | short *q; | |
67 | shorts **dset; | |
68 | shorts *delts; | |
122c0aac | 69 | |
d7913476 AD |
70 | dset = XCALLOC (shorts *, nvars) - ntokens; |
71 | delts = XCALLOC (shorts, nrules + 1); | |
122c0aac RS |
72 | |
73 | p = delts; | |
74 | for (i = nrules; i > 0; i--) | |
75 | { | |
76 | lhs = rlhs[i]; | |
77 | if (lhs >= 0) | |
78 | { | |
79 | p->next = dset[lhs]; | |
80 | p->value = i; | |
81 | dset[lhs] = p; | |
82 | p++; | |
83 | } | |
84 | } | |
85 | ||
d7913476 AD |
86 | derives = XCALLOC (short *, nvars) - ntokens; |
87 | q = XCALLOC (short, nvars + nrules); | |
122c0aac RS |
88 | |
89 | for (i = ntokens; i < nsyms; i++) | |
90 | { | |
91 | derives[i] = q; | |
92 | p = dset[i]; | |
93 | while (p) | |
94 | { | |
95 | *q++ = p->value; | |
96 | p = p->next; | |
97 | } | |
98 | *q++ = -1; | |
99 | } | |
100 | ||
cc84fd5d AD |
101 | #if DEBUG |
102 | print_derives (); | |
122c0aac RS |
103 | #endif |
104 | ||
d7913476 AD |
105 | XFREE (dset + ntokens); |
106 | XFREE (delts); | |
122c0aac RS |
107 | } |
108 | ||
109 | void | |
d2729d44 | 110 | free_derives (void) |
122c0aac | 111 | { |
d7913476 AD |
112 | XFREE (derives[ntokens]); |
113 | XFREE (derives + ntokens); | |
122c0aac | 114 | } |