X-Git-Url: https://git.saurik.com/bison.git/blobdiff_plain/aaf63e45b65d35bb506e431ffa8360f259ee393c..cc8962bdde81b04aa728aef21e53b4a08a0debfe:/src/muscle-tab.h diff --git a/src/muscle-tab.h b/src/muscle-tab.h index 696103f3..af6b615c 100644 --- a/src/muscle-tab.h +++ b/src/muscle-tab.h @@ -1,7 +1,6 @@ /* Muscle table manager for Bison, - Copyright (C) 2001-2003, 2006-2007, 2009-2012 Free Software - Foundation, Inc. + Copyright (C) 2001-2003, 2006-2013 Free Software Foundation, Inc. This file is part of Bison, the GNU Compiler Compiler. @@ -25,68 +24,89 @@ # include "location.h" +/* The kind of value associated to this muscle, depending on the + syntax of the value: keyword (no delimiter, e.g., true), string + (double quotes, e.g., "foo.h"), or code (braces, e.g., {int}). */ +typedef enum +{ + muscle_code, + muscle_keyword, + muscle_string +} muscle_kind; + +/* Conversion from string. */ +muscle_kind muscle_kind_new (char const *k); + +/* Conversion to string. */ +char const *muscle_kind_string (muscle_kind k); + + +/* Create the MUSCLE_TABLE, and initialize it with default values. + Also set up the MUSCLE_OBSTACK. */ void muscle_init (void); + +/* Insert (KEY, VALUE). If KEY already existed, overwrite the + previous value. Otherwise create as a muscle_string type. */ void muscle_insert (char const *key, char const *value); + +/* Find the value of muscle KEY. Unlike MUSCLE_FIND, this is always + reliable to determine whether KEY has a value. */ char const *muscle_find_const (char const *key); + +/* Find the value of muscle KEY. Abort if muscle_insert was invoked + more recently than muscle_grow for KEY since muscle_find can't + return a char const *. */ char *muscle_find (char const *key); + +/* Free all the memory consumed by the muscle machinery only. */ void muscle_free (void); /* An obstack dedicated to receive muscle keys and values. */ extern struct obstack muscle_obstack; -#define MUSCLE_INSERT_BOOL(Key, Value) \ - do { \ - int v = Value; \ - MUSCLE_INSERT_INT (Key, v); \ +# define MUSCLE_INSERT_BOOL(Key, Value) \ + do { \ + int v__ = Value; \ + MUSCLE_INSERT_INT (Key, v__); \ } while (0) -#define MUSCLE_INSERT_INT(Key, Value) \ +# define MUSCLE_INSERTF(Key, Format, Value) \ do { \ - obstack_printf (&muscle_obstack, "%d", Value); \ - obstack_1grow (&muscle_obstack, 0); \ - muscle_insert (Key, obstack_finish (&muscle_obstack)); \ + obstack_printf (&muscle_obstack, Format, Value); \ + muscle_insert (Key, obstack_finish0 (&muscle_obstack)); \ } while (0) -#define MUSCLE_INSERT_LONG_INT(Key, Value) \ - do { \ - obstack_printf (&muscle_obstack, "%ld", Value); \ - obstack_1grow (&muscle_obstack, 0); \ - muscle_insert (Key, obstack_finish (&muscle_obstack)); \ - } while (0) +# define MUSCLE_INSERT_INT(Key, Value) \ + MUSCLE_INSERTF(Key, "%d", Value) -#define MUSCLE_INSERT_STRING_RAW(Key, Value) \ - do { \ - obstack_sgrow (&muscle_obstack, Value); \ - obstack_1grow (&muscle_obstack, 0); \ - muscle_insert (Key, obstack_finish (&muscle_obstack)); \ - } while (0) +# define MUSCLE_INSERT_LONG_INT(Key, Value) \ + MUSCLE_INSERTF(Key, "%ld", Value) -#define MUSCLE_INSERT_STRING(Key, Value) \ +/* Key -> Value, but don't apply escaping to Value. */ +# define MUSCLE_INSERT_STRING_RAW(Key, Value) \ + MUSCLE_INSERTF(Key, "%s", Value) + +/* Key -> Value, applying M4 escaping to Value. */ +# define MUSCLE_INSERT_STRING(Key, Value) \ do { \ obstack_escape (&muscle_obstack, Value); \ - obstack_1grow (&muscle_obstack, 0); \ - muscle_insert (Key, obstack_finish (&muscle_obstack)); \ + muscle_insert (Key, obstack_finish0 (&muscle_obstack)); \ } while (0) -#define MUSCLE_INSERT_C_STRING(Key, Value) \ - do { \ - obstack_escape (&muscle_obstack, \ - quotearg_style (c_quoting_style, Value)); \ - obstack_1grow (&muscle_obstack, 0); \ - muscle_insert (Key, obstack_finish (&muscle_obstack)); \ - } while (0) +/* Key -> Value, applying C escaping to Value (and then M4). */ +# define MUSCLE_INSERT_C_STRING(Key, Value) \ + MUSCLE_INSERT_STRING(Key, quotearg_style (c_quoting_style, Value)) + /* Append VALUE to the current value of KEY. If KEY did not already exist, create it. Use MUSCLE_OBSTACK. De-allocate the previously associated value. Copy VALUE and SEPARATOR. */ - void muscle_grow (const char *key, const char *value, const char *separator); /* Append VALUE to the current value of KEY, using muscle_grow. But in addition, issue a synchronization line for the location LOC. */ - void muscle_code_grow (const char *key, const char *value, location loc); @@ -99,14 +119,15 @@ void muscle_pair_list_grow (const char *muscle, /* Grow KEY for the occurrence of the name USER_NAME at LOC appropriately for use with b4_check_user_names in ../data/bison.m4. USER_NAME is not escaped - with digraphs, so it must not contain `[' or `]'. */ + with digraphs, so it must not contain '[' or ']'. */ void muscle_user_name_list_grow (char const *key, char const *user_name, location loc); /* Indicates whether a variable's value was specified with -D/--define, with -F/--force-define, or in the grammar file. */ typedef enum { - MUSCLE_PERCENT_DEFINE_D = 0, MUSCLE_PERCENT_DEFINE_F, + MUSCLE_PERCENT_DEFINE_D = 0, + MUSCLE_PERCENT_DEFINE_F, MUSCLE_PERCENT_DEFINE_GRAMMAR_FILE } muscle_percent_define_how; @@ -120,9 +141,17 @@ typedef enum { this as a user occurrence of VARIABLE by invoking muscle_user_name_list_grow. */ void muscle_percent_define_insert (char const *variable, location variable_loc, + muscle_kind kind, char const *value, muscle_percent_define_how how); +/* Make sure that VARIABLE is set to the boolean VALUE. Warn on mismatches + only, but accept repeated declaration. Used for backward compatibility + between old directives such as %pure-parser, and the recommended use of + variables (%define api.pure). */ +void muscle_percent_define_ensure (char const *variable, location variable_loc, + bool value); + /* Mimic b4_percent_define_get in ../data/bison.m4 exactly. That is, if the %define variable VARIABLE is defined, return its value. Otherwise, return the empty string. Also, record Bison's usage of VARIABLE by defining @@ -186,6 +215,8 @@ void muscle_percent_define_check_values (char const * const *values); void muscle_percent_code_grow (char const *qualifier, location qualifier_loc, char const *code, location code_loc); +/* Output the definition of all the current muscles into a list of + m4_defines. */ void muscles_m4_output (FILE *out); #endif /* not MUSCLE_TAB_H_ */