X-Git-Url: https://git.saurik.com/bison.git/blobdiff_plain/d9cfa2bee28585281de5f6a21fc22a751049c8b6..a62a7b014cf11586381da55bfd14f2f8d76c13f7:/src/muscle-tab.c diff --git a/src/muscle-tab.c b/src/muscle-tab.c index 5e2275e6..cc5d01df 100644 --- a/src/muscle-tab.c +++ b/src/muscle-tab.c @@ -541,10 +541,8 @@ muscle_percent_define_ensure (char const *variable, location loc, /* Don't complain is VARIABLE is already defined, but be sure to set its value to VAL. */ - if (!muscle_find_const (name)) - muscle_percent_define_insert (variable, loc, muscle_keyword, val, - MUSCLE_PERCENT_DEFINE_GRAMMAR_FILE); - if (muscle_percent_define_flag_if (variable) != value) + if (!muscle_find_const (name) + || muscle_percent_define_flag_if (variable) != value) muscle_percent_define_insert (variable, loc, muscle_keyword, val, MUSCLE_PERCENT_DEFINE_GRAMMAR_FILE); } @@ -559,6 +557,7 @@ muscle_percent_define_use (char const *variable) /* The value of %define variable VARIABLE (corresponding to FIELD, if defined). Do not register as used, but diagnose unset variables. */ +static char const * muscle_percent_define_get_raw (char const *variable, char const *field) { @@ -581,6 +580,42 @@ muscle_percent_define_get (char const *variable) return value; } +/* The kind of VARIABLE. An error if undefined. */ +static muscle_kind +muscle_percent_define_get_kind (char const *variable) +{ + return muscle_kind_new (muscle_percent_define_get_raw (variable, "kind")); +} + +/* Check the kind of VARIABLE. An error if undefined. */ +static void +muscle_percent_define_check_kind (char const *variable, muscle_kind kind) +{ + if (muscle_percent_define_get_kind (variable) != kind) + { + location loc = muscle_percent_define_get_loc (variable); + switch (kind) + { + case muscle_code: + complain (&loc, Wdeprecated, + "%%define variable '%s' requires '{...}' values", + variable); + break; + case muscle_keyword: + complain (&loc, Wdeprecated, + "%%define variable '%s' requires keyword values", + variable); + break; + case muscle_string: + complain (&loc, Wdeprecated, + "%%define variable '%s' requires '\"...\"' values", + variable); + break; + } + } +} + + location muscle_percent_define_get_loc (char const *variable) { @@ -614,6 +649,7 @@ muscle_percent_define_flag_if (char const *variable) if (muscle_percent_define_ifdef (variable)) { char *value = muscle_percent_define_get (variable); + muscle_percent_define_check_kind (variable, muscle_keyword); if (value[0] == '\0' || STREQ (value, "true")) result = true; else if (STREQ (value, "false")) @@ -639,18 +675,20 @@ void muscle_percent_define_default (char const *variable, char const *value) { uniqstr name = muscle_name (variable, NULL); - uniqstr loc_name = muscle_name (variable, "loc"); - uniqstr syncline_name = muscle_name (variable, "syncline"); if (!muscle_find_const (name)) { - location loc; MUSCLE_INSERT_STRING (name, value); - loc.start.file = loc.end.file = ""; - loc.start.line = loc.end.line = -1; - loc.start.column = loc.end.column = -1; - muscle_insert (loc_name, ""); - muscle_location_grow (loc_name, loc); - muscle_insert (syncline_name, ""); + MUSCLE_INSERT_STRING (muscle_name (variable, "kind"), "keyword"); + { + uniqstr loc_name = muscle_name (variable, "loc"); + location loc; + loc.start.file = loc.end.file = ""; + loc.start.line = loc.end.line = -1; + loc.start.column = loc.end.column = -1; + muscle_insert (loc_name, ""); + muscle_location_grow (loc_name, loc); + } + muscle_insert (muscle_name (variable, "syncline"), ""); } } @@ -662,6 +700,7 @@ muscle_percent_define_check_values (char const * const *values) char const * const *variablep = values; uniqstr name = muscle_name (*variablep, NULL); char *value = string_decode (name); + muscle_percent_define_check_kind (*variablep, muscle_keyword); if (value) { for (++values; *values; ++values)