]> git.saurik.com Git - bison.git/blame - src/muscle-tab.h
tests: generalize default main for api.namespace
[bison.git] / src / muscle-tab.h
CommitLineData
ae7453f2 1/* Muscle table manager for Bison,
4920ae8b 2
7d6bad19 3 Copyright (C) 2001-2003, 2006-2013 Free Software Foundation, Inc.
f753cd62
MA
4
5 This file is part of Bison, the GNU Compiler Compiler.
6
f16b0819 7 This program is free software: you can redistribute it and/or modify
f753cd62 8 it under the terms of the GNU General Public License as published by
f16b0819
PE
9 the Free Software Foundation, either version 3 of the License, or
10 (at your option) any later version.
f753cd62 11
f16b0819 12 This program is distributed in the hope that it will be useful,
f753cd62
MA
13 but WITHOUT ANY WARRANTY; without even the implied warranty of
14 MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
15 GNU General Public License for more details.
16
17 You should have received a copy of the GNU General Public License
f16b0819 18 along with this program. If not, see <http://www.gnu.org/licenses/>. */
f753cd62
MA
19
20#ifndef MUSCLE_TAB_H_
f7737e2e 21# define MUSCLE_TAB_H_
f753cd62 22
4a9cd8f2
AD
23# include <quotearg.h>
24
cd3684cf
AD
25# include "location.h"
26
d33cb3ae 27void muscle_init (void);
eb095650 28void muscle_insert (char const *key, char const *value);
7eb8a0bc 29char const *muscle_find_const (char const *key);
9611cfa2 30char *muscle_find (char const *key);
d33cb3ae 31void muscle_free (void);
592e8d4d
AD
32
33
34/* An obstack dedicated to receive muscle keys and values. */
35extern struct obstack muscle_obstack;
f753cd62 36
a99ec53e
AD
37# define MUSCLE_INSERT_BOOL(Key, Value) \
38 do { \
39 int v__ = Value; \
40 MUSCLE_INSERT_INT (Key, v__); \
9b858541 41 } while (0)
d0829076 42
a99ec53e 43# define MUSCLE_INSERTF(Key, Format, Value) \
9b858541 44 do { \
6fbe73b6
AD
45 obstack_printf (&muscle_obstack, Format, Value); \
46 muscle_insert (Key, obstack_finish0 (&muscle_obstack)); \
9b858541 47 } while (0)
9b3add5b 48
a99ec53e 49# define MUSCLE_INSERT_INT(Key, Value) \
6fbe73b6
AD
50 MUSCLE_INSERTF(Key, "%d", Value)
51
a99ec53e 52# define MUSCLE_INSERT_LONG_INT(Key, Value) \
6fbe73b6 53 MUSCLE_INSERTF(Key, "%ld", Value)
680e8701 54
1de69d6a 55/* Key -> Value, but don't apply escaping to Value. */
a99ec53e 56# define MUSCLE_INSERT_STRING_RAW(Key, Value) \
6fbe73b6 57 MUSCLE_INSERTF(Key, "%s", Value)
9b3add5b 58
1de69d6a 59/* Key -> Value, applying M4 escaping to Value. */
a99ec53e 60# define MUSCLE_INSERT_STRING(Key, Value) \
9b858541 61 do { \
13b712d7 62 obstack_escape (&muscle_obstack, Value); \
6fbe73b6 63 muscle_insert (Key, obstack_finish0 (&muscle_obstack)); \
9b858541 64 } while (0)
a027c30d 65
a99ec53e 66# define MUSCLE_INSERT_C_STRING(Key, Value) \
9b858541 67 do { \
13b712d7
AD
68 obstack_escape (&muscle_obstack, \
69 quotearg_style (c_quoting_style, Value)); \
6fbe73b6 70 muscle_insert (Key, obstack_finish0 (&muscle_obstack)); \
9b858541 71 } while (0)
9b3add5b 72
50a33993
JD
73/* Append VALUE to the current value of KEY. If KEY did not already
74 exist, create it. Use MUSCLE_OBSTACK. De-allocate the previously
75 associated value. Copy VALUE and SEPARATOR. */
ae7453f2 76
d33cb3ae 77void muscle_grow (const char *key, const char *value, const char *separator);
ae7453f2 78
cd3684cf
AD
79
80/* Append VALUE to the current value of KEY, using muscle_grow. But
81 in addition, issue a synchronization line for the location LOC. */
82
83void muscle_code_grow (const char *key, const char *value, location loc);
84
85
ae7453f2 86/* MUSCLE is an M4 list of pairs. Create or extend it with the pair
7ecec4dd
JD
87 (A1, A2) after escaping both values with digraphs. Note that because the
88 muscle values are output *double* quoted, one needs to strip the first level
89 of quotes to reach the list itself. */
d33cb3ae 90void muscle_pair_list_grow (const char *muscle,
e9690142 91 const char *a1, const char *a2);
be2a1a68 92
6afc30cc
JD
93/* Grow KEY for the occurrence of the name USER_NAME at LOC appropriately for
94 use with b4_check_user_names in ../data/bison.m4. USER_NAME is not escaped
95 with digraphs, so it must not contain `[' or `]'. */
9611cfa2 96void muscle_user_name_list_grow (char const *key, char const *user_name,
7eb8a0bc
JD
97 location loc);
98
de5ab940
JD
99/* Indicates whether a variable's value was specified with -D/--define, with
100 -F/--force-define, or in the grammar file. */
101typedef enum {
102 MUSCLE_PERCENT_DEFINE_D = 0, MUSCLE_PERCENT_DEFINE_F,
103 MUSCLE_PERCENT_DEFINE_GRAMMAR_FILE
104} muscle_percent_define_how;
105
106/* Define the muscles for %define variable VARIABLE with VALUE specified
107 at VARIABLE_LOC in the manner HOW unless it was specified in the
108 grammar file while the previous definition for VARIABLE was specified
0b6d43c5 109 with -F/--force-define. Complain if a previous definition is being
de5ab940
JD
110 overridden and the new definition is specified in the grammar file.
111 (These rules support the documented behavior as long as command-line
112 definitions are processed before grammar file definitions.) Record
113 this as a user occurrence of VARIABLE by invoking
f8e7258f 114 muscle_user_name_list_grow. */
9611cfa2 115void muscle_percent_define_insert (char const *variable, location variable_loc,
de5ab940
JD
116 char const *value,
117 muscle_percent_define_how how);
9611cfa2 118
4920ae8b
AD
119/* Make sure that VARIABLE is set to the boolean VALUE. Warn on mismatches
120 only, but accept repeated declaration. Used for backward compatibility
121 between old directives such as %pure-parser, and the recommended use of
122 variables (%define api.pure). */
123void muscle_percent_define_ensure (char const *variable, location variable_loc,
124 bool value);
125
f124d423
JD
126/* Mimic b4_percent_define_get in ../data/bison.m4 exactly. That is, if the
127 %define variable VARIABLE is defined, return its value. Otherwise, return
128 the empty string. Also, record Bison's usage of VARIABLE by defining
129 b4_percent_define_bison_variables(VARIABLE). The caller is responsible for
130 freeing the memory of the returned string. */
131char *muscle_percent_define_get (char const *variable);
132
35b8730d
JD
133/* Mimic muscle_percent_define_get_loc in ../data/bison.m4 exactly. That is,
134 if the %define variable VARIABLE is undefined, complain fatally since that's
135 a Bison error. Otherwise, return its definition location in a form
136 approriate for the first argument of warn_at, complain_at, or fatal_at.
137 Don't record this as a Bison usage of VARIABLE as there's no reason to
138 suspect that the user-supplied value has yet influenced the output. */
139location muscle_percent_define_get_loc (char const *variable);
140
141/* Mimic muscle_percent_define_get_syncline in ../data/bison.m4 exactly. That
142 is, if the %define variable VARIABLE is undefined, complain fatally since
143 that's a Bison error. Otherwise, return its definition location as a
144 b4_syncline invocation. Don't record this as a Bison usage of VARIABLE as
145 there's no reason to suspect that the user-supplied value has yet influenced
146 the output. */
147char const *muscle_percent_define_get_syncline (char const *variable);
148
f124d423
JD
149/* Mimic b4_percent_define_ifdef in ../data/bison.m4 exactly. That is, if the
150 %define variable VARIABLE is defined, return true. Otherwise, return false.
151 Also, record Bison's usage of VARIABLE by defining
152 b4_percent_define_bison_variables(VARIABLE). */
153bool muscle_percent_define_ifdef (char const *variable);
154
9611cfa2
JD
155/* Mimic b4_percent_define_flag_if in ../data/bison.m4 exactly. That is, if
156 the %define variable VARIABLE is defined to "" or "true", return true. If
157 it is defined to "false", return false. Complain if it is undefined (a
158 Bison error since the default value should have been set already) or defined
159 to any other value (possibly a user error). Also, record Bison's usage of
160 VARIABLE by defining b4_percent_define_bison_variables(VARIABLE). */
161bool muscle_percent_define_flag_if (char const *variable);
162
163/* Mimic b4_percent_define_default in ../data/bison.m4 exactly. That is, if
164 the %define variable VARIABLE is undefined, set its value to VALUE.
165 Don't record this as a Bison usage of VARIABLE as there's no reason to
166 suspect that the value has yet influenced the output. */
167void muscle_percent_define_default (char const *variable, char const *value);
168
d782395d
JD
169/* Mimic b4_percent_define_check_values in ../data/bison.m4 exactly except that
170 the VALUES structure is more appropriate for C. That is, VALUES points to a
171 list of strings that is partitioned into sublists by NULL's, one terminating
172 each sublist. The last sublist is followed by a second NULL. For each
173 sublist, the first string is the name of a %define variable, and all
174 remaining strings in that sublist are the valid values for that variable.
175 Complain if such a variable is undefined (a Bison error since the default
176 value should have been set already) or defined to any other value (possibly
177 a user error). Don't record this as a Bison usage of the variable as
178 there's no reason to suspect that the value has yet influenced the
179 output. */
b1a81613 180void muscle_percent_define_check_values (char const * const *values);
f124d423 181
f8e7258f
JD
182/* Grow the muscle for the %code qualifier QUALIFIER appearing at
183 QUALIFIER_LOC with code CODE appearing at CODE_LOC. Record this as a
184 user occurrence of QUALIFIER by invoking
185 muscle_user_name_list_grow. */
9611cfa2
JD
186void muscle_percent_code_grow (char const *qualifier, location qualifier_loc,
187 char const *code, location code_loc);
188
189void muscles_m4_output (FILE *out);
190
f753cd62 191#endif /* not MUSCLE_TAB_H_ */