mirror of
https://git.savannah.gnu.org/git/bison.git
synced 2026-03-09 20:33:03 +00:00
ca2a6d1587
These changes allow users to prefix an action with %? to indicate that it
is a semantic predicate---an expression that is evaluated immediately (not
deferred, even in GLR nondeterministic mode) and causes a syntax error if
false. In GLR parsers, this has the effect of killing one of a set of
split-off parses, just as would an ordinary syntax error.
Changelog:
* NEWS: Describe new semantic-predicate feature.
* data/c.m4 (b4_predicate_case): New definition.
* data/java.m4 (b4_predicate_case): New definition.
* data/glr.c (yyimmediate): Add definition.
(yydoAction): Remove comment, now obsolete.
Do YY_REDUCE_PRINT here.
(yyglrReduce): Alter comment to indicate that semantic values
need not be deferred.
Remove YY_REDUCE_PRINT from here; done in yydoAction.
(yyprocessOneStack): Pass immediate flag.
Delete stacks rejected by predicates in newly split-off parsers.
Change handling of yyerr so that only current stack gets deleted
when semantic predicate fails.
(yyfillin): Don't crash if a semantic value is unresolved (as may
happen in predicate rules).
Copy lr state as well in debugging mode.
Update comment on setting of yysval to include yyloc as well.
(yy_reduce_print): Add yynormal argument. Perform fillin properly.
Report unresolved RHS values.
(yyimmediate): New table.
* src/gram.h (struct rule): Add is_predicate field.
* src/output.c (user_actions_output): Use b4_predicate_case for
predicates.
(prepare_symbols): Output yyimmediate.
* src/scan-gram.l: Add %? token, SC_PREDICATE state.
* src/scan-code.l (code_props_rule_action_init): Add is_predicate
argument.
* src/scan-code.h (struct code_props): Add is_predicate field.
(code_props_rule_action_init): New interface.
* src/parse-gram.y (%?{...}): New token.
(rhs): Add %?{...} rule.
* src/parse-gram.c: Regenerate.
* src/parse-gram.h: Regenerate.
* src/reader.c (grammar_current_rule_action_append): Add
immediate argument.
(grammar_midrule_action): Use new interface for
code_props_rule_action_init.
(grammar_current_rule_action_append): Ditto.
(packgram): Transfer is_predicate value.
* src/reader.h (grammar_current_rule_action_append): New interface.
* doc/bison.texinfo: Document semantic predicates (%?).
* data/glr.c (yylhsNonterm, yyisDefaultedState,yyDefaultAction)
(yygetLRActions,yynewGLRStackItem,yyaddDeferredAction,yyinitStateSet)
(yyinitGLRStack,yyexpandGLRStack,yyupdateSplit,yymarkStackDeleted)
(yyundeleteLastStack,yyglrShift,yyglrShiftDefer,yydoAction,yyglrReduce)
(yyidenticalOptions,yymergeOptionSets,yyresolveStates,yyresolveAction)
(yyresolveLocations,yyresolveValue,yyreducePrint): Update parameter
names in comments and mention all parameters.
(struct yyGLRState): Fix description of yyposn field.
(yyresolveLocations): Correct comment so as not to imply action when
yyn1==0.
222 lines
5.8 KiB
C
222 lines
5.8 KiB
C
/* A Bison parser, made by GNU Bison 2.4.516-804e. */
|
|
|
|
/* Interface for Bison's Yacc-like parsers in C
|
|
|
|
Copyright (C) 1984, 1989, 1990, 2000, 2001, 2002, 2003, 2004, 2005, 2006,
|
|
2007, 2008, 2009, 2010 Free Software Foundation, Inc.
|
|
|
|
This program is free software: you can redistribute it and/or modify
|
|
it under the terms of the GNU General Public License as published by
|
|
the Free Software Foundation, either version 3 of the License, or
|
|
(at your option) any later version.
|
|
|
|
This program is distributed in the hope that it will be useful,
|
|
but WITHOUT ANY WARRANTY; without even the implied warranty of
|
|
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
|
|
GNU General Public License for more details.
|
|
|
|
You should have received a copy of the GNU General Public License
|
|
along with this program. If not, see <http://www.gnu.org/licenses/>. */
|
|
|
|
/* As a special exception, you may create a larger work that contains
|
|
part or all of the Bison parser skeleton and distribute that work
|
|
under terms of your choice, so long as that work isn't itself a
|
|
parser generator using the skeleton or a modified version thereof
|
|
as a parser skeleton. Alternatively, if you modify or redistribute
|
|
the parser skeleton itself, you may (at your option) remove this
|
|
special exception, which will cause the skeleton and the resulting
|
|
Bison output files to be licensed under the GNU General Public
|
|
License without this special exception.
|
|
|
|
This special exception was added by the Free Software Foundation in
|
|
version 2.2 of Bison. */
|
|
/* "%code requires" blocks. */
|
|
/* Line 1658 of yacc.c */
|
|
#line 202 "src/parse-gram.y"
|
|
|
|
# ifndef PARAM_TYPE
|
|
# define PARAM_TYPE
|
|
typedef enum
|
|
{
|
|
param_none = 0,
|
|
param_lex = 1 << 0,
|
|
param_parse = 1 << 1,
|
|
param_both = param_lex | param_parse
|
|
} param_type;
|
|
# endif
|
|
|
|
|
|
/* Line 1658 of yacc.c */
|
|
#line 51 "src/parse-gram.h"
|
|
|
|
/* Tokens. */
|
|
#ifndef YYTOKENTYPE
|
|
# define YYTOKENTYPE
|
|
/* Put the tokens into the symbol table, so that GDB and other debuggers
|
|
know about them. */
|
|
enum yytokentype {
|
|
GRAM_EOF = 0,
|
|
STRING = 258,
|
|
INT = 259,
|
|
PERCENT_TOKEN = 260,
|
|
PERCENT_NTERM = 261,
|
|
PERCENT_TYPE = 262,
|
|
PERCENT_DESTRUCTOR = 263,
|
|
PERCENT_PRINTER = 264,
|
|
PERCENT_LEFT = 265,
|
|
PERCENT_RIGHT = 266,
|
|
PERCENT_NONASSOC = 267,
|
|
PERCENT_PRECEDENCE = 268,
|
|
PERCENT_PREC = 269,
|
|
PERCENT_DPREC = 270,
|
|
PERCENT_MERGE = 271,
|
|
PERCENT_CODE = 272,
|
|
PERCENT_DEFAULT_PREC = 273,
|
|
PERCENT_DEFINE = 274,
|
|
PERCENT_DEFINES = 275,
|
|
PERCENT_ERROR_VERBOSE = 276,
|
|
PERCENT_EXPECT = 277,
|
|
PERCENT_EXPECT_RR = 278,
|
|
PERCENT_FLAG = 279,
|
|
PERCENT_FILE_PREFIX = 280,
|
|
PERCENT_GLR_PARSER = 281,
|
|
PERCENT_INITIAL_ACTION = 282,
|
|
PERCENT_LANGUAGE = 283,
|
|
PERCENT_NAME_PREFIX = 284,
|
|
PERCENT_NO_DEFAULT_PREC = 285,
|
|
PERCENT_NO_LINES = 286,
|
|
PERCENT_NONDETERMINISTIC_PARSER = 287,
|
|
PERCENT_OUTPUT = 288,
|
|
PERCENT_REQUIRE = 289,
|
|
PERCENT_SKELETON = 290,
|
|
PERCENT_START = 291,
|
|
PERCENT_TOKEN_TABLE = 292,
|
|
PERCENT_VERBOSE = 293,
|
|
PERCENT_YACC = 294,
|
|
BRACED_CODE = 295,
|
|
BRACED_PREDICATE = 296,
|
|
BRACKETED_ID = 297,
|
|
CHAR = 298,
|
|
EPILOGUE = 299,
|
|
EQUAL = 300,
|
|
ID = 301,
|
|
ID_COLON = 302,
|
|
PERCENT_PERCENT = 303,
|
|
PIPE = 304,
|
|
PROLOGUE = 305,
|
|
SEMICOLON = 306,
|
|
TAG = 307,
|
|
TAG_ANY = 308,
|
|
TAG_NONE = 309,
|
|
PERCENT_PARAM = 310,
|
|
PERCENT_UNION = 311
|
|
};
|
|
#endif
|
|
/* Tokens. */
|
|
#define GRAM_EOF 0
|
|
#define STRING 258
|
|
#define INT 259
|
|
#define PERCENT_TOKEN 260
|
|
#define PERCENT_NTERM 261
|
|
#define PERCENT_TYPE 262
|
|
#define PERCENT_DESTRUCTOR 263
|
|
#define PERCENT_PRINTER 264
|
|
#define PERCENT_LEFT 265
|
|
#define PERCENT_RIGHT 266
|
|
#define PERCENT_NONASSOC 267
|
|
#define PERCENT_PRECEDENCE 268
|
|
#define PERCENT_PREC 269
|
|
#define PERCENT_DPREC 270
|
|
#define PERCENT_MERGE 271
|
|
#define PERCENT_CODE 272
|
|
#define PERCENT_DEFAULT_PREC 273
|
|
#define PERCENT_DEFINE 274
|
|
#define PERCENT_DEFINES 275
|
|
#define PERCENT_ERROR_VERBOSE 276
|
|
#define PERCENT_EXPECT 277
|
|
#define PERCENT_EXPECT_RR 278
|
|
#define PERCENT_FLAG 279
|
|
#define PERCENT_FILE_PREFIX 280
|
|
#define PERCENT_GLR_PARSER 281
|
|
#define PERCENT_INITIAL_ACTION 282
|
|
#define PERCENT_LANGUAGE 283
|
|
#define PERCENT_NAME_PREFIX 284
|
|
#define PERCENT_NO_DEFAULT_PREC 285
|
|
#define PERCENT_NO_LINES 286
|
|
#define PERCENT_NONDETERMINISTIC_PARSER 287
|
|
#define PERCENT_OUTPUT 288
|
|
#define PERCENT_REQUIRE 289
|
|
#define PERCENT_SKELETON 290
|
|
#define PERCENT_START 291
|
|
#define PERCENT_TOKEN_TABLE 292
|
|
#define PERCENT_VERBOSE 293
|
|
#define PERCENT_YACC 294
|
|
#define BRACED_CODE 295
|
|
#define BRACED_PREDICATE 296
|
|
#define BRACKETED_ID 297
|
|
#define CHAR 298
|
|
#define EPILOGUE 299
|
|
#define EQUAL 300
|
|
#define ID 301
|
|
#define ID_COLON 302
|
|
#define PERCENT_PERCENT 303
|
|
#define PIPE 304
|
|
#define PROLOGUE 305
|
|
#define SEMICOLON 306
|
|
#define TAG 307
|
|
#define TAG_ANY 308
|
|
#define TAG_NONE 309
|
|
#define PERCENT_PARAM 310
|
|
#define PERCENT_UNION 311
|
|
|
|
|
|
|
|
|
|
#if ! defined YYSTYPE && ! defined YYSTYPE_IS_DECLARED
|
|
typedef union YYSTYPE
|
|
{
|
|
/* Line 1658 of yacc.c */
|
|
#line 88 "src/parse-gram.y"
|
|
|
|
assoc assoc;
|
|
char *code;
|
|
char const *chars;
|
|
int integer;
|
|
named_ref *named_ref;
|
|
symbol *symbol;
|
|
symbol_list *list;
|
|
uniqstr uniqstr;
|
|
unsigned char character;
|
|
|
|
/* Line 1658 of yacc.c */
|
|
#line 226 "src/parse-gram.y"
|
|
|
|
param_type param;
|
|
|
|
|
|
/* Line 1658 of yacc.c */
|
|
#line 199 "src/parse-gram.h"
|
|
} YYSTYPE;
|
|
# define YYSTYPE_IS_TRIVIAL 1
|
|
# define yystype YYSTYPE /* obsolescent; will be withdrawn */
|
|
# define YYSTYPE_IS_DECLARED 1
|
|
#endif
|
|
|
|
|
|
|
|
#if ! defined YYLTYPE && ! defined YYLTYPE_IS_DECLARED
|
|
typedef struct YYLTYPE
|
|
{
|
|
int first_line;
|
|
int first_column;
|
|
int last_line;
|
|
int last_column;
|
|
} YYLTYPE;
|
|
# define yyltype YYLTYPE /* obsolescent; will be withdrawn */
|
|
# define YYLTYPE_IS_DECLARED 1
|
|
# define YYLTYPE_IS_TRIVIAL 1
|
|
#endif
|
|
|
|
|
|
|