]> git.saurik.com Git - bison.git/blame - src/muscle-tab.h
tests: skip C++ tests that are too demanding for some compilers
[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
14bfd2e9
AD
27/* The kind of value associated to this muscle, depending on the
28 syntax of the value: keyword (no delimiter, e.g., true), string
29 (double quotes, e.g., "foo.h"), or code (braces, e.g., {int}). */
30typedef enum
31{
32 muscle_code,
33 muscle_keyword,
34 muscle_string
35} muscle_kind;
36
37/* Conversion from string. */
38muscle_kind muscle_kind_new (char const *k);
39
40/* Conversion to string. */
41char const *muscle_kind_string (muscle_kind k);
42
43
9fb61ca8
AD
44/* Create the MUSCLE_TABLE, and initialize it with default values.
45 Also set up the MUSCLE_OBSTACK. */
d33cb3ae 46void muscle_init (void);
9fb61ca8
AD
47
48/* Insert (KEY, VALUE). If KEY already existed, overwrite the
14bfd2e9 49 previous value. Otherwise create as a muscle_string type. */
eb095650 50void muscle_insert (char const *key, char const *value);
9fb61ca8
AD
51
52/* Find the value of muscle KEY. Unlike MUSCLE_FIND, this is always
53 reliable to determine whether KEY has a value. */
7eb8a0bc 54char const *muscle_find_const (char const *key);
9fb61ca8
AD
55
56/* Find the value of muscle KEY. Abort if muscle_insert was invoked
57 more recently than muscle_grow for KEY since muscle_find can't
58 return a char const *. */
9611cfa2 59char *muscle_find (char const *key);
9fb61ca8
AD
60
61/* Free all the memory consumed by the muscle machinery only. */
d33cb3ae 62void muscle_free (void);
592e8d4d
AD
63
64
65/* An obstack dedicated to receive muscle keys and values. */
66extern struct obstack muscle_obstack;
f753cd62 67
a99ec53e
AD
68# define MUSCLE_INSERT_BOOL(Key, Value) \
69 do { \
70 int v__ = Value; \
71 MUSCLE_INSERT_INT (Key, v__); \
9b858541 72 } while (0)
d0829076 73
a99ec53e 74# define MUSCLE_INSERTF(Key, Format, Value) \
9b858541 75 do { \
6fbe73b6
AD
76 obstack_printf (&muscle_obstack, Format, Value); \
77 muscle_insert (Key, obstack_finish0 (&muscle_obstack)); \
9b858541 78 } while (0)
9b3add5b 79
a99ec53e 80# define MUSCLE_INSERT_INT(Key, Value) \
c0ef22ab 81 MUSCLE_INSERTF (Key, "%d", Value)
6fbe73b6 82
a99ec53e 83# define MUSCLE_INSERT_LONG_INT(Key, Value) \
c0ef22ab 84 MUSCLE_INSERTF (Key, "%ld", Value)
680e8701 85
1de69d6a 86/* Key -> Value, but don't apply escaping to Value. */
a99ec53e 87# define MUSCLE_INSERT_STRING_RAW(Key, Value) \
c0ef22ab 88 MUSCLE_INSERTF (Key, "%s", Value)
9b3add5b 89
1de69d6a 90/* Key -> Value, applying M4 escaping to Value. */
a99ec53e 91# define MUSCLE_INSERT_STRING(Key, Value) \
9b858541 92 do { \
13b712d7 93 obstack_escape (&muscle_obstack, Value); \
6fbe73b6 94 muscle_insert (Key, obstack_finish0 (&muscle_obstack)); \
9b858541 95 } while (0)
a027c30d 96
3f6e5dd6 97/* Key -> Value, applying C escaping to Value (and then M4). */
a99ec53e 98# define MUSCLE_INSERT_C_STRING(Key, Value) \
c0ef22ab 99 MUSCLE_INSERT_STRING (Key, quotearg_style (c_quoting_style, Value))
3f6e5dd6 100
9b3add5b 101
cd3684cf 102/* Append VALUE to the current value of KEY, using muscle_grow. But
08cc1a3b
AD
103 in addition, issue a synchronization line for the location LOC.
104 Be sure to append on a new line. */
cd3684cf
AD
105void muscle_code_grow (const char *key, const char *value, location loc);
106
107
ae7453f2 108/* MUSCLE is an M4 list of pairs. Create or extend it with the pair
7ecec4dd
JD
109 (A1, A2) after escaping both values with digraphs. Note that because the
110 muscle values are output *double* quoted, one needs to strip the first level
111 of quotes to reach the list itself. */
d33cb3ae 112void muscle_pair_list_grow (const char *muscle,
e9690142 113 const char *a1, const char *a2);
be2a1a68 114
6afc30cc
JD
115/* Grow KEY for the occurrence of the name USER_NAME at LOC appropriately for
116 use with b4_check_user_names in ../data/bison.m4. USER_NAME is not escaped
45eebca4 117 with digraphs, so it must not contain '[' or ']'. */
9611cfa2 118void muscle_user_name_list_grow (char const *key, char const *user_name,
7eb8a0bc
JD
119 location loc);
120
de5ab940
JD
121/* Indicates whether a variable's value was specified with -D/--define, with
122 -F/--force-define, or in the grammar file. */
123typedef enum {
9fb61ca8
AD
124 MUSCLE_PERCENT_DEFINE_D = 0,
125 MUSCLE_PERCENT_DEFINE_F,
de5ab940
JD
126 MUSCLE_PERCENT_DEFINE_GRAMMAR_FILE
127} muscle_percent_define_how;
128
129/* Define the muscles for %define variable VARIABLE with VALUE specified
130 at VARIABLE_LOC in the manner HOW unless it was specified in the
131 grammar file while the previous definition for VARIABLE was specified
0b6d43c5 132 with -F/--force-define. Complain if a previous definition is being
de5ab940
JD
133 overridden and the new definition is specified in the grammar file.
134 (These rules support the documented behavior as long as command-line
135 definitions are processed before grammar file definitions.) Record
136 this as a user occurrence of VARIABLE by invoking
f8e7258f 137 muscle_user_name_list_grow. */
9611cfa2 138void muscle_percent_define_insert (char const *variable, location variable_loc,
14bfd2e9 139 muscle_kind kind,
de5ab940
JD
140 char const *value,
141 muscle_percent_define_how how);
9611cfa2 142
4920ae8b
AD
143/* Make sure that VARIABLE is set to the boolean VALUE. Warn on mismatches
144 only, but accept repeated declaration. Used for backward compatibility
145 between old directives such as %pure-parser, and the recommended use of
146 variables (%define api.pure). */
147void muscle_percent_define_ensure (char const *variable, location variable_loc,
148 bool value);
149
f124d423
JD
150/* Mimic b4_percent_define_get in ../data/bison.m4 exactly. That is, if the
151 %define variable VARIABLE is defined, return its value. Otherwise, return
152 the empty string. Also, record Bison's usage of VARIABLE by defining
153 b4_percent_define_bison_variables(VARIABLE). The caller is responsible for
154 freeing the memory of the returned string. */
155char *muscle_percent_define_get (char const *variable);
156
35b8730d
JD
157/* Mimic muscle_percent_define_get_loc in ../data/bison.m4 exactly. That is,
158 if the %define variable VARIABLE is undefined, complain fatally since that's
159 a Bison error. Otherwise, return its definition location in a form
160 approriate for the first argument of warn_at, complain_at, or fatal_at.
161 Don't record this as a Bison usage of VARIABLE as there's no reason to
162 suspect that the user-supplied value has yet influenced the output. */
163location muscle_percent_define_get_loc (char const *variable);
164
165/* Mimic muscle_percent_define_get_syncline in ../data/bison.m4 exactly. That
166 is, if the %define variable VARIABLE is undefined, complain fatally since
167 that's a Bison error. Otherwise, return its definition location as a
168 b4_syncline invocation. Don't record this as a Bison usage of VARIABLE as
169 there's no reason to suspect that the user-supplied value has yet influenced
170 the output. */
171char const *muscle_percent_define_get_syncline (char const *variable);
172
f124d423
JD
173/* Mimic b4_percent_define_ifdef in ../data/bison.m4 exactly. That is, if the
174 %define variable VARIABLE is defined, return true. Otherwise, return false.
175 Also, record Bison's usage of VARIABLE by defining
176 b4_percent_define_bison_variables(VARIABLE). */
177bool muscle_percent_define_ifdef (char const *variable);
178
9611cfa2
JD
179/* Mimic b4_percent_define_flag_if in ../data/bison.m4 exactly. That is, if
180 the %define variable VARIABLE is defined to "" or "true", return true. If
181 it is defined to "false", return false. Complain if it is undefined (a
182 Bison error since the default value should have been set already) or defined
183 to any other value (possibly a user error). Also, record Bison's usage of
184 VARIABLE by defining b4_percent_define_bison_variables(VARIABLE). */
185bool muscle_percent_define_flag_if (char const *variable);
186
187/* Mimic b4_percent_define_default in ../data/bison.m4 exactly. That is, if
188 the %define variable VARIABLE is undefined, set its value to VALUE.
189 Don't record this as a Bison usage of VARIABLE as there's no reason to
190 suspect that the value has yet influenced the output. */
191void muscle_percent_define_default (char const *variable, char const *value);
192
d782395d
JD
193/* Mimic b4_percent_define_check_values in ../data/bison.m4 exactly except that
194 the VALUES structure is more appropriate for C. That is, VALUES points to a
195 list of strings that is partitioned into sublists by NULL's, one terminating
196 each sublist. The last sublist is followed by a second NULL. For each
197 sublist, the first string is the name of a %define variable, and all
198 remaining strings in that sublist are the valid values for that variable.
199 Complain if such a variable is undefined (a Bison error since the default
200 value should have been set already) or defined to any other value (possibly
201 a user error). Don't record this as a Bison usage of the variable as
202 there's no reason to suspect that the value has yet influenced the
203 output. */
b1a81613 204void muscle_percent_define_check_values (char const * const *values);
f124d423 205
f8e7258f
JD
206/* Grow the muscle for the %code qualifier QUALIFIER appearing at
207 QUALIFIER_LOC with code CODE appearing at CODE_LOC. Record this as a
208 user occurrence of QUALIFIER by invoking
209 muscle_user_name_list_grow. */
9611cfa2
JD
210void muscle_percent_code_grow (char const *qualifier, location qualifier_loc,
211 char const *code, location code_loc);
212
9fb61ca8
AD
213/* Output the definition of all the current muscles into a list of
214 m4_defines. */
9611cfa2
JD
215void muscles_m4_output (FILE *out);
216
f753cd62 217#endif /* not MUSCLE_TAB_H_ */