2018-11-28 14:40:33 +00:00
|
|
|
/* Driver template for the LEMON parser generator.
|
|
|
|
** The author disclaims copyright to this source code.
|
2017-11-23 10:36:24 +00:00
|
|
|
*/
|
2018-11-28 14:40:33 +00:00
|
|
|
/* First off, code is included that follows the "include" declaration
|
|
|
|
** in the input grammar file. */
|
2017-11-23 10:36:24 +00:00
|
|
|
#include <stdio.h>
|
2018-02-23 23:04:59 +00:00
|
|
|
#line 28 "grammar.lemon"
|
2017-11-23 10:36:24 +00:00
|
|
|
|
|
|
|
#include <assert.h>
|
|
|
|
#include <libeval/numeric_evaluator.h>
|
2018-11-28 14:40:33 +00:00
|
|
|
#line 12 "grammar.c"
|
|
|
|
/* Next is all token values, in a form suitable for use by makeheaders.
|
|
|
|
** This section will be null unless lemon is run with the -m switch.
|
|
|
|
*/
|
|
|
|
/*
|
|
|
|
** These constants (all generated automatically by the parser generator)
|
|
|
|
** specify the various kinds of tokens (terminals) that the parser
|
|
|
|
** understands.
|
|
|
|
**
|
|
|
|
** Each symbol here is a terminal symbol in the grammar.
|
|
|
|
*/
|
|
|
|
/* Make sure the INTERFACE macro is defined.
|
|
|
|
*/
|
|
|
|
#ifndef INTERFACE
|
|
|
|
# define INTERFACE 1
|
|
|
|
#endif
|
|
|
|
/* The next thing included is series of defines which control
|
2017-11-23 10:36:24 +00:00
|
|
|
** various aspects of the generated parser.
|
2018-11-28 14:40:33 +00:00
|
|
|
** YYCODETYPE is the data type used for storing terminal
|
|
|
|
** and nonterminal numbers. "unsigned char" is
|
|
|
|
** used if there are fewer than 250 terminals
|
|
|
|
** and nonterminals. "int" is used otherwise.
|
|
|
|
** YYNOCODE is a number of type YYCODETYPE which corresponds
|
|
|
|
** to no legal terminal or nonterminal number. This
|
|
|
|
** number is used to fill in empty slots of the hash
|
|
|
|
** table.
|
2017-11-23 10:36:24 +00:00
|
|
|
** YYFALLBACK If defined, this indicates that one or more tokens
|
2018-11-28 14:40:33 +00:00
|
|
|
** have fall-back values which should be used if the
|
|
|
|
** original value of the token will not parse.
|
|
|
|
** YYACTIONTYPE is the data type used for storing terminal
|
|
|
|
** and nonterminal numbers. "unsigned char" is
|
|
|
|
** used if there are fewer than 250 rules and
|
|
|
|
** states combined. "int" is used otherwise.
|
|
|
|
** ParseTOKENTYPE is the data type used for minor tokens given
|
|
|
|
** directly to the parser from the tokenizer.
|
|
|
|
** YYMINORTYPE is the data type used for all minor tokens.
|
2017-11-23 10:36:24 +00:00
|
|
|
** This is typically a union of many types, one of
|
|
|
|
** which is ParseTOKENTYPE. The entry in the union
|
2018-11-28 14:40:33 +00:00
|
|
|
** for base tokens is called "yy0".
|
2017-11-23 10:36:24 +00:00
|
|
|
** YYSTACKDEPTH is the maximum depth of the parser's stack. If
|
|
|
|
** zero the stack is dynamically sized using realloc()
|
|
|
|
** ParseARG_SDECL A static variable declaration for the %extra_argument
|
|
|
|
** ParseARG_PDECL A parameter declaration for the %extra_argument
|
|
|
|
** ParseARG_STORE Code to store %extra_argument into yypParser
|
|
|
|
** ParseARG_FETCH Code to extract %extra_argument from yypParser
|
2018-02-23 23:04:59 +00:00
|
|
|
** YYNSTATE the combined number of states.
|
|
|
|
** YYNRULE the number of rules in the grammar
|
2018-11-28 14:40:33 +00:00
|
|
|
** YYERRORSYMBOL is the code number of the error symbol. If not
|
|
|
|
** defined, then do no error processing.
|
2017-11-23 10:36:24 +00:00
|
|
|
*/
|
|
|
|
#define YYCODETYPE unsigned char
|
|
|
|
#define YYNOCODE 19
|
|
|
|
#define YYACTIONTYPE unsigned char
|
|
|
|
#define ParseTOKENTYPE numEval::TokenType
|
|
|
|
typedef union {
|
|
|
|
int yyinit;
|
|
|
|
ParseTOKENTYPE yy0;
|
|
|
|
} YYMINORTYPE;
|
|
|
|
#ifndef YYSTACKDEPTH
|
|
|
|
#define YYSTACKDEPTH 100
|
|
|
|
#endif
|
2018-02-25 16:14:24 +00:00
|
|
|
#define ParseARG_SDECL NUMERIC_EVALUATOR* pEval ;
|
2018-11-28 14:40:33 +00:00
|
|
|
#define ParseARG_PDECL , NUMERIC_EVALUATOR* pEval
|
|
|
|
#define ParseARG_FETCH NUMERIC_EVALUATOR* pEval = yypParser->pEval
|
2017-11-23 10:36:24 +00:00
|
|
|
#define ParseARG_STORE yypParser->pEval = pEval
|
2018-11-28 14:40:33 +00:00
|
|
|
#define YYNSTATE 28
|
|
|
|
#define YYNRULE 17
|
|
|
|
#define YY_NO_ACTION (YYNSTATE+YYNRULE+2)
|
|
|
|
#define YY_ACCEPT_ACTION (YYNSTATE+YYNRULE+1)
|
|
|
|
#define YY_ERROR_ACTION (YYNSTATE+YYNRULE)
|
2017-11-23 10:36:24 +00:00
|
|
|
|
|
|
|
/* The yyzerominor constant is used to initialize instances of
|
|
|
|
** YYMINORTYPE objects to zero. */
|
|
|
|
static const YYMINORTYPE yyzerominor = { 0 };
|
|
|
|
|
|
|
|
/* Define the yytestcase() macro to be a no-op if is not already defined
|
|
|
|
** otherwise.
|
|
|
|
**
|
|
|
|
** Applications can choose to define yytestcase() in the %include section
|
|
|
|
** to a macro that can assist in verifying code coverage. For production
|
|
|
|
** code the yytestcase() macro should be turned off. But it is useful
|
|
|
|
** for testing.
|
|
|
|
*/
|
|
|
|
#ifndef yytestcase
|
|
|
|
# define yytestcase(X)
|
|
|
|
#endif
|
|
|
|
|
|
|
|
|
|
|
|
/* Next are the tables used to determine what action to take based on the
|
|
|
|
** current state and lookahead token. These tables are used to implement
|
|
|
|
** functions that take a state number and lookahead value and return an
|
|
|
|
** action integer.
|
|
|
|
**
|
|
|
|
** Suppose the action integer is N. Then the action is determined as
|
|
|
|
** follows
|
|
|
|
**
|
2018-11-28 14:40:33 +00:00
|
|
|
** 0 <= N < YYNSTATE Shift N. That is, push the lookahead
|
2017-11-23 10:36:24 +00:00
|
|
|
** token onto the stack and goto state N.
|
|
|
|
**
|
2018-11-28 14:40:33 +00:00
|
|
|
** YYNSTATE <= N < YYNSTATE+YYNRULE Reduce by rule N-YYNSTATE.
|
2017-11-23 10:36:24 +00:00
|
|
|
**
|
2018-11-28 14:40:33 +00:00
|
|
|
** N == YYNSTATE+YYNRULE A syntax error has occurred.
|
2017-11-23 10:36:24 +00:00
|
|
|
**
|
2018-11-28 14:40:33 +00:00
|
|
|
** N == YYNSTATE+YYNRULE+1 The parser accepts its input.
|
2017-11-23 10:36:24 +00:00
|
|
|
**
|
2018-11-28 14:40:33 +00:00
|
|
|
** N == YYNSTATE+YYNRULE+2 No such action. Denotes unused
|
2017-11-23 10:36:24 +00:00
|
|
|
** slots in the yy_action[] table.
|
|
|
|
**
|
|
|
|
** The action table is constructed as a single large table named yy_action[].
|
|
|
|
** Given state S and lookahead X, the action is computed as
|
|
|
|
**
|
|
|
|
** yy_action[ yy_shift_ofst[S] + X ]
|
|
|
|
**
|
|
|
|
** If the index value yy_shift_ofst[S]+X is out of range or if the value
|
|
|
|
** yy_lookahead[yy_shift_ofst[S]+X] is not equal to X or if yy_shift_ofst[S]
|
|
|
|
** is equal to YY_SHIFT_USE_DFLT, it means that the action is not in the table
|
|
|
|
** and that yy_default[S] should be used instead.
|
|
|
|
**
|
|
|
|
** The formula above is for computing the action when the lookahead is
|
|
|
|
** a terminal symbol. If the lookahead is a non-terminal (as occurs after
|
|
|
|
** a reduce action) then the yy_reduce_ofst[] array is used in place of
|
|
|
|
** the yy_shift_ofst[] array and YY_REDUCE_USE_DFLT is used in place of
|
|
|
|
** YY_SHIFT_USE_DFLT.
|
|
|
|
**
|
|
|
|
** The following are the tables generated in this section:
|
|
|
|
**
|
|
|
|
** yy_action[] A single table containing all actions.
|
|
|
|
** yy_lookahead[] A table containing the lookahead for each entry in
|
|
|
|
** yy_action. Used to detect hash collisions.
|
|
|
|
** yy_shift_ofst[] For each state, the offset into yy_action for
|
|
|
|
** shifting terminals.
|
|
|
|
** yy_reduce_ofst[] For each state, the offset into yy_action for
|
|
|
|
** shifting non-terminals after a reduce.
|
|
|
|
** yy_default[] Default action for each state.
|
2018-11-28 14:40:33 +00:00
|
|
|
*/
|
|
|
|
#define YY_ACTTAB_COUNT (58)
|
2017-11-23 10:36:24 +00:00
|
|
|
static const YYACTIONTYPE yy_action[] = {
|
2018-11-28 14:40:33 +00:00
|
|
|
/* 0 */ 24, 9, 8, 23, 6, 7, 25, 28, 17, 16,
|
|
|
|
/* 10 */ 17, 4, 5, 4, 5, 3, 26, 22, 2, 22,
|
|
|
|
/* 20 */ 2, 9, 8, 23, 6, 7, 47, 17, 15, 19,
|
|
|
|
/* 30 */ 4, 5, 21, 20, 47, 26, 22, 2, 27, 10,
|
|
|
|
/* 40 */ 9, 8, 23, 6, 7, 46, 1, 18, 10, 23,
|
|
|
|
/* 50 */ 6, 7, 47, 47, 14, 13, 12, 11,
|
2017-11-23 10:36:24 +00:00
|
|
|
};
|
|
|
|
static const YYCODETYPE yy_lookahead[] = {
|
2018-02-23 23:04:59 +00:00
|
|
|
/* 0 */ 3, 4, 5, 6, 7, 8, 9, 0, 1, 17,
|
2018-11-28 14:40:33 +00:00
|
|
|
/* 10 */ 1, 4, 5, 4, 5, 2, 9, 10, 11, 10,
|
|
|
|
/* 20 */ 11, 4, 5, 6, 7, 8, 18, 1, 17, 12,
|
|
|
|
/* 30 */ 4, 5, 17, 17, 18, 9, 10, 11, 16, 17,
|
|
|
|
/* 40 */ 4, 5, 6, 7, 8, 14, 15, 16, 17, 6,
|
|
|
|
/* 50 */ 7, 8, 18, 18, 17, 17, 17, 17,
|
2017-11-23 10:36:24 +00:00
|
|
|
};
|
2018-02-23 23:04:59 +00:00
|
|
|
#define YY_SHIFT_USE_DFLT (-4)
|
2018-11-28 14:40:33 +00:00
|
|
|
#define YY_SHIFT_COUNT (17)
|
2018-02-23 23:04:59 +00:00
|
|
|
#define YY_SHIFT_MIN (-3)
|
2018-11-28 14:40:33 +00:00
|
|
|
#define YY_SHIFT_MAX (43)
|
2017-11-23 10:36:24 +00:00
|
|
|
static const signed char yy_shift_ofst[] = {
|
2018-11-28 14:40:33 +00:00
|
|
|
/* 0 */ 26, 7, 9, 9, 9, 9, 9, 9, 9, 9,
|
|
|
|
/* 10 */ -3, 17, 36, 43, 43, 43, 43, 13,
|
2017-11-23 10:36:24 +00:00
|
|
|
};
|
2018-02-23 23:04:59 +00:00
|
|
|
#define YY_REDUCE_USE_DFLT (-9)
|
2018-11-28 14:40:33 +00:00
|
|
|
#define YY_REDUCE_COUNT (9)
|
2018-02-23 23:04:59 +00:00
|
|
|
#define YY_REDUCE_MIN (-8)
|
2018-11-28 14:40:33 +00:00
|
|
|
#define YY_REDUCE_MAX (40)
|
2017-11-23 10:36:24 +00:00
|
|
|
static const signed char yy_reduce_ofst[] = {
|
2018-11-28 14:40:33 +00:00
|
|
|
/* 0 */ 31, 22, 40, 39, 38, 37, 16, 15, 11, -8,
|
2017-11-23 10:36:24 +00:00
|
|
|
};
|
|
|
|
static const YYACTIONTYPE yy_default[] = {
|
2018-11-28 14:40:33 +00:00
|
|
|
/* 0 */ 45, 45, 45, 45, 45, 45, 45, 45, 45, 45,
|
|
|
|
/* 10 */ 45, 45, 39, 37, 36, 41, 40, 38, 29, 44,
|
|
|
|
/* 20 */ 43, 42, 34, 35, 33, 32, 31, 30,
|
2017-11-23 10:36:24 +00:00
|
|
|
};
|
|
|
|
|
2018-11-28 14:40:33 +00:00
|
|
|
/* The next table maps tokens into fallback tokens. If a construct
|
|
|
|
** like the following:
|
2017-11-23 10:36:24 +00:00
|
|
|
**
|
|
|
|
** %fallback ID X Y Z.
|
|
|
|
**
|
|
|
|
** appears in the grammar, then ID becomes a fallback token for X, Y,
|
|
|
|
** and Z. Whenever one of the tokens X, Y, or Z is input to the parser
|
|
|
|
** but it does not parse, the type of the token is changed to ID and
|
|
|
|
** the parse is retried before an error is thrown.
|
|
|
|
*/
|
|
|
|
#ifdef YYFALLBACK
|
|
|
|
static const YYCODETYPE yyFallback[] = {
|
|
|
|
};
|
|
|
|
#endif /* YYFALLBACK */
|
|
|
|
|
|
|
|
/* The following structure represents a single element of the
|
|
|
|
** parser's stack. Information stored includes:
|
|
|
|
**
|
|
|
|
** + The state number for the parser at this level of the stack.
|
|
|
|
**
|
|
|
|
** + The value of the token stored at this level of the stack.
|
|
|
|
** (In other words, the "major" token.)
|
|
|
|
**
|
|
|
|
** + The semantic value stored at this level of the stack. This is
|
|
|
|
** the information used by the action routines in the grammar.
|
|
|
|
** It is sometimes called the "minor" token.
|
|
|
|
*/
|
|
|
|
struct yyStackEntry {
|
2018-11-28 14:40:33 +00:00
|
|
|
YYACTIONTYPE stateno; /* The state-number */
|
2017-11-23 10:36:24 +00:00
|
|
|
YYCODETYPE major; /* The major token value. This is the code
|
|
|
|
** number for the token at this stack level */
|
|
|
|
YYMINORTYPE minor; /* The user-supplied minor token value. This
|
|
|
|
** is the value of the token */
|
|
|
|
};
|
|
|
|
typedef struct yyStackEntry yyStackEntry;
|
|
|
|
|
|
|
|
/* The state of the parser is completely contained in an instance of
|
|
|
|
** the following structure */
|
|
|
|
struct yyParser {
|
|
|
|
int yyidx; /* Index of top element in stack */
|
|
|
|
#ifdef YYTRACKMAXSTACKDEPTH
|
|
|
|
int yyidxMax; /* Maximum value of yyidx */
|
|
|
|
#endif
|
|
|
|
int yyerrcnt; /* Shifts left before out of the error */
|
|
|
|
ParseARG_SDECL /* A place to hold %extra_argument */
|
|
|
|
#if YYSTACKDEPTH<=0
|
|
|
|
int yystksz; /* Current side of the stack */
|
|
|
|
yyStackEntry *yystack; /* The parser's stack */
|
|
|
|
#else
|
|
|
|
yyStackEntry yystack[YYSTACKDEPTH]; /* The parser's stack */
|
|
|
|
#endif
|
|
|
|
};
|
|
|
|
typedef struct yyParser yyParser;
|
|
|
|
|
|
|
|
#ifndef NDEBUG
|
|
|
|
#include <stdio.h>
|
|
|
|
static FILE *yyTraceFILE = 0;
|
|
|
|
static char *yyTracePrompt = 0;
|
|
|
|
#endif /* NDEBUG */
|
|
|
|
|
|
|
|
#ifndef NDEBUG
|
|
|
|
/*
|
|
|
|
** Turn parser tracing on by giving a stream to which to write the trace
|
|
|
|
** and a prompt to preface each trace message. Tracing is turned off
|
|
|
|
** by making either argument NULL
|
|
|
|
**
|
|
|
|
** Inputs:
|
|
|
|
** <ul>
|
|
|
|
** <li> A FILE* to which trace output should be written.
|
|
|
|
** If NULL, then tracing is turned off.
|
|
|
|
** <li> A prefix string written at the beginning of every
|
|
|
|
** line of trace output. If NULL, then tracing is
|
|
|
|
** turned off.
|
|
|
|
** </ul>
|
|
|
|
**
|
|
|
|
** Outputs:
|
|
|
|
** None.
|
|
|
|
*/
|
|
|
|
void ParseTrace(FILE *TraceFILE, char *zTracePrompt){
|
|
|
|
yyTraceFILE = TraceFILE;
|
|
|
|
yyTracePrompt = zTracePrompt;
|
|
|
|
if( yyTraceFILE==0 ) yyTracePrompt = 0;
|
|
|
|
else if( yyTracePrompt==0 ) yyTraceFILE = 0;
|
|
|
|
}
|
|
|
|
#endif /* NDEBUG */
|
|
|
|
|
|
|
|
#ifndef NDEBUG
|
|
|
|
/* For tracing shifts, the names of all terminals and nonterminals
|
|
|
|
** are required. The following table supplies these names */
|
|
|
|
static const char *const yyTokenName[] = {
|
2018-02-23 23:04:59 +00:00
|
|
|
"$", "VAR", "ASSIGN", "SEMCOL",
|
|
|
|
"PLUS", "MINUS", "UNIT", "DIVIDE",
|
2017-11-23 10:36:24 +00:00
|
|
|
"MULT", "ENDS", "VALUE", "PARENL",
|
|
|
|
"PARENR", "error", "main", "in",
|
|
|
|
"stmt", "expr",
|
|
|
|
};
|
|
|
|
#endif /* NDEBUG */
|
|
|
|
|
|
|
|
#ifndef NDEBUG
|
|
|
|
/* For tracing reduce actions, the names of all rules are required.
|
|
|
|
*/
|
|
|
|
static const char *const yyRuleName[] = {
|
|
|
|
/* 0 */ "main ::= in",
|
|
|
|
/* 1 */ "in ::= stmt",
|
|
|
|
/* 2 */ "in ::= in stmt",
|
|
|
|
/* 3 */ "stmt ::= ENDS",
|
|
|
|
/* 4 */ "stmt ::= expr ENDS",
|
|
|
|
/* 5 */ "stmt ::= expr SEMCOL",
|
|
|
|
/* 6 */ "expr ::= VALUE",
|
2018-02-23 23:04:59 +00:00
|
|
|
/* 7 */ "expr ::= expr UNIT",
|
2017-11-23 10:36:24 +00:00
|
|
|
/* 8 */ "expr ::= MINUS expr",
|
2018-11-28 14:40:33 +00:00
|
|
|
/* 9 */ "expr ::= PLUS expr",
|
|
|
|
/* 10 */ "expr ::= VAR",
|
|
|
|
/* 11 */ "expr ::= VAR ASSIGN expr",
|
|
|
|
/* 12 */ "expr ::= expr PLUS expr",
|
|
|
|
/* 13 */ "expr ::= expr MINUS expr",
|
|
|
|
/* 14 */ "expr ::= expr MULT expr",
|
|
|
|
/* 15 */ "expr ::= expr DIVIDE expr",
|
|
|
|
/* 16 */ "expr ::= PARENL expr PARENR",
|
2017-11-23 10:36:24 +00:00
|
|
|
};
|
|
|
|
#endif /* NDEBUG */
|
|
|
|
|
|
|
|
|
|
|
|
#if YYSTACKDEPTH<=0
|
|
|
|
/*
|
|
|
|
** Try to increase the size of the parser stack.
|
|
|
|
*/
|
|
|
|
static void yyGrowStack(yyParser *p){
|
|
|
|
int newSize;
|
|
|
|
yyStackEntry *pNew;
|
|
|
|
|
|
|
|
newSize = p->yystksz*2 + 100;
|
|
|
|
pNew = realloc(p->yystack, newSize*sizeof(pNew[0]));
|
|
|
|
if( pNew ){
|
|
|
|
p->yystack = pNew;
|
|
|
|
p->yystksz = newSize;
|
|
|
|
#ifndef NDEBUG
|
|
|
|
if( yyTraceFILE ){
|
|
|
|
fprintf(yyTraceFILE,"%sStack grows to %d entries!\n",
|
|
|
|
yyTracePrompt, p->yystksz);
|
|
|
|
}
|
|
|
|
#endif
|
|
|
|
}
|
|
|
|
}
|
|
|
|
#endif
|
|
|
|
|
|
|
|
/*
|
|
|
|
** This function allocates a new parser.
|
|
|
|
** The only argument is a pointer to a function which works like
|
|
|
|
** malloc.
|
|
|
|
**
|
|
|
|
** Inputs:
|
|
|
|
** A pointer to the function used to allocate memory.
|
|
|
|
**
|
|
|
|
** Outputs:
|
|
|
|
** A pointer to a parser. This pointer is used in subsequent calls
|
|
|
|
** to Parse and ParseFree.
|
|
|
|
*/
|
2018-11-28 14:40:33 +00:00
|
|
|
void *ParseAlloc(void *(*mallocProc)(size_t)){
|
2017-11-23 10:36:24 +00:00
|
|
|
yyParser *pParser;
|
2018-11-28 14:40:33 +00:00
|
|
|
pParser = (yyParser*)(*mallocProc)( (size_t)sizeof(yyParser) );
|
2017-11-23 10:36:24 +00:00
|
|
|
if( pParser ){
|
|
|
|
pParser->yyidx = -1;
|
|
|
|
#ifdef YYTRACKMAXSTACKDEPTH
|
|
|
|
pParser->yyidxMax = 0;
|
|
|
|
#endif
|
|
|
|
#if YYSTACKDEPTH<=0
|
|
|
|
pParser->yystack = NULL;
|
|
|
|
pParser->yystksz = 0;
|
|
|
|
yyGrowStack(pParser);
|
|
|
|
#endif
|
|
|
|
}
|
|
|
|
return pParser;
|
|
|
|
}
|
|
|
|
|
2018-11-28 14:40:33 +00:00
|
|
|
/* The following function deletes the value associated with a
|
|
|
|
** symbol. The symbol can be either a terminal or nonterminal.
|
|
|
|
** "yymajor" is the symbol code, and "yypminor" is a pointer to
|
|
|
|
** the value.
|
2017-11-23 10:36:24 +00:00
|
|
|
*/
|
|
|
|
static void yy_destructor(
|
|
|
|
yyParser *yypParser, /* The parser */
|
|
|
|
YYCODETYPE yymajor, /* Type code for object to destroy */
|
|
|
|
YYMINORTYPE *yypminor /* The object to be destroyed */
|
|
|
|
){
|
|
|
|
ParseARG_FETCH;
|
|
|
|
switch( yymajor ){
|
|
|
|
/* Here is inserted the actions which take place when a
|
|
|
|
** terminal or non-terminal is destroyed. This can happen
|
|
|
|
** when the symbol is popped from the stack during a
|
|
|
|
** reduce or during error processing or when a parser is
|
|
|
|
** being destroyed before it is finished parsing.
|
|
|
|
**
|
|
|
|
** Note: during a reduce, the only symbols destroyed are those
|
2018-11-28 14:40:33 +00:00
|
|
|
** which appear on the RHS of the rule, but which are not used
|
2017-11-23 10:36:24 +00:00
|
|
|
** inside the C code.
|
|
|
|
*/
|
|
|
|
default: break; /* If no destructor action specified: do nothing */
|
|
|
|
}
|
|
|
|
}
|
|
|
|
|
|
|
|
/*
|
|
|
|
** Pop the parser's stack once.
|
|
|
|
**
|
|
|
|
** If there is a destructor routine associated with the token which
|
|
|
|
** is popped from the stack, then call it.
|
2018-11-28 14:40:33 +00:00
|
|
|
**
|
|
|
|
** Return the major token number for the symbol popped.
|
2017-11-23 10:36:24 +00:00
|
|
|
*/
|
2018-11-28 14:40:33 +00:00
|
|
|
static int yy_pop_parser_stack(yyParser *pParser){
|
|
|
|
YYCODETYPE yymajor;
|
|
|
|
yyStackEntry *yytos = &pParser->yystack[pParser->yyidx];
|
|
|
|
|
|
|
|
if( pParser->yyidx<0 ) return 0;
|
2017-11-23 10:36:24 +00:00
|
|
|
#ifndef NDEBUG
|
2018-11-28 14:40:33 +00:00
|
|
|
if( yyTraceFILE && pParser->yyidx>=0 ){
|
2017-11-23 10:36:24 +00:00
|
|
|
fprintf(yyTraceFILE,"%sPopping %s\n",
|
|
|
|
yyTracePrompt,
|
|
|
|
yyTokenName[yytos->major]);
|
|
|
|
}
|
|
|
|
#endif
|
2018-11-28 14:40:33 +00:00
|
|
|
yymajor = yytos->major;
|
|
|
|
yy_destructor(pParser, yymajor, &yytos->minor);
|
|
|
|
pParser->yyidx--;
|
|
|
|
return yymajor;
|
2017-11-23 10:36:24 +00:00
|
|
|
}
|
|
|
|
|
|
|
|
/*
|
2018-11-28 14:40:33 +00:00
|
|
|
** Deallocate and destroy a parser. Destructors are all called for
|
2017-11-23 10:36:24 +00:00
|
|
|
** all stack elements before shutting the parser down.
|
|
|
|
**
|
2018-11-28 14:40:33 +00:00
|
|
|
** Inputs:
|
|
|
|
** <ul>
|
|
|
|
** <li> A pointer to the parser. This should be a pointer
|
|
|
|
** obtained from ParseAlloc.
|
|
|
|
** <li> A pointer to a function used to reclaim memory obtained
|
|
|
|
** from malloc.
|
|
|
|
** </ul>
|
2017-11-23 10:36:24 +00:00
|
|
|
*/
|
|
|
|
void ParseFree(
|
|
|
|
void *p, /* The parser to be deleted */
|
|
|
|
void (*freeProc)(void*) /* Function used to reclaim memory */
|
|
|
|
){
|
|
|
|
yyParser *pParser = (yyParser*)p;
|
|
|
|
if( pParser==0 ) return;
|
|
|
|
while( pParser->yyidx>=0 ) yy_pop_parser_stack(pParser);
|
|
|
|
#if YYSTACKDEPTH<=0
|
|
|
|
free(pParser->yystack);
|
|
|
|
#endif
|
|
|
|
(*freeProc)((void*)pParser);
|
|
|
|
}
|
|
|
|
|
|
|
|
/*
|
|
|
|
** Return the peak depth of the stack for a parser.
|
|
|
|
*/
|
|
|
|
#ifdef YYTRACKMAXSTACKDEPTH
|
|
|
|
int ParseStackPeak(void *p){
|
|
|
|
yyParser *pParser = (yyParser*)p;
|
|
|
|
return pParser->yyidxMax;
|
|
|
|
}
|
|
|
|
#endif
|
|
|
|
|
|
|
|
/*
|
|
|
|
** Find the appropriate action for a parser given the terminal
|
|
|
|
** look-ahead token iLookAhead.
|
2018-11-28 14:40:33 +00:00
|
|
|
**
|
|
|
|
** If the look-ahead token is YYNOCODE, then check to see if the action is
|
|
|
|
** independent of the look-ahead. If it is, return the action, otherwise
|
|
|
|
** return YY_NO_ACTION.
|
2017-11-23 10:36:24 +00:00
|
|
|
*/
|
|
|
|
static int yy_find_shift_action(
|
|
|
|
yyParser *pParser, /* The parser */
|
|
|
|
YYCODETYPE iLookAhead /* The look-ahead token */
|
|
|
|
){
|
|
|
|
int i;
|
|
|
|
int stateno = pParser->yystack[pParser->yyidx].stateno;
|
|
|
|
|
2018-11-28 14:40:33 +00:00
|
|
|
if( stateno>YY_SHIFT_COUNT
|
|
|
|
|| (i = yy_shift_ofst[stateno])==YY_SHIFT_USE_DFLT ){
|
|
|
|
return yy_default[stateno];
|
|
|
|
}
|
|
|
|
assert( iLookAhead!=YYNOCODE );
|
|
|
|
i += iLookAhead;
|
|
|
|
if( i<0 || i>=YY_ACTTAB_COUNT || yy_lookahead[i]!=iLookAhead ){
|
|
|
|
if( iLookAhead>0 ){
|
2017-11-23 10:36:24 +00:00
|
|
|
#ifdef YYFALLBACK
|
2018-11-28 14:40:33 +00:00
|
|
|
YYCODETYPE iFallback; /* Fallback token */
|
|
|
|
if( iLookAhead<sizeof(yyFallback)/sizeof(yyFallback[0])
|
|
|
|
&& (iFallback = yyFallback[iLookAhead])!=0 ){
|
2017-11-23 10:36:24 +00:00
|
|
|
#ifndef NDEBUG
|
2018-11-28 14:40:33 +00:00
|
|
|
if( yyTraceFILE ){
|
|
|
|
fprintf(yyTraceFILE, "%sFALLBACK %s => %s\n",
|
|
|
|
yyTracePrompt, yyTokenName[iLookAhead], yyTokenName[iFallback]);
|
2018-02-23 23:04:59 +00:00
|
|
|
}
|
2018-11-28 14:40:33 +00:00
|
|
|
#endif
|
|
|
|
return yy_find_shift_action(pParser, iFallback);
|
|
|
|
}
|
2017-11-23 10:36:24 +00:00
|
|
|
#endif
|
|
|
|
#ifdef YYWILDCARD
|
2018-11-28 14:40:33 +00:00
|
|
|
{
|
|
|
|
int j = i - iLookAhead + YYWILDCARD;
|
|
|
|
if(
|
2017-11-23 10:36:24 +00:00
|
|
|
#if YY_SHIFT_MIN+YYWILDCARD<0
|
2018-11-28 14:40:33 +00:00
|
|
|
j>=0 &&
|
2017-11-23 10:36:24 +00:00
|
|
|
#endif
|
|
|
|
#if YY_SHIFT_MAX+YYWILDCARD>=YY_ACTTAB_COUNT
|
2018-11-28 14:40:33 +00:00
|
|
|
j<YY_ACTTAB_COUNT &&
|
2017-11-23 10:36:24 +00:00
|
|
|
#endif
|
2018-11-28 14:40:33 +00:00
|
|
|
yy_lookahead[j]==YYWILDCARD
|
|
|
|
){
|
2017-11-23 10:36:24 +00:00
|
|
|
#ifndef NDEBUG
|
2018-11-28 14:40:33 +00:00
|
|
|
if( yyTraceFILE ){
|
|
|
|
fprintf(yyTraceFILE, "%sWILDCARD %s => %s\n",
|
|
|
|
yyTracePrompt, yyTokenName[iLookAhead], yyTokenName[YYWILDCARD]);
|
2018-02-23 23:04:59 +00:00
|
|
|
}
|
2018-11-28 14:40:33 +00:00
|
|
|
#endif /* NDEBUG */
|
|
|
|
return yy_action[j];
|
2017-11-23 10:36:24 +00:00
|
|
|
}
|
2018-02-23 23:04:59 +00:00
|
|
|
}
|
2018-11-28 14:40:33 +00:00
|
|
|
#endif /* YYWILDCARD */
|
2017-11-23 10:36:24 +00:00
|
|
|
}
|
2018-11-28 14:40:33 +00:00
|
|
|
return yy_default[stateno];
|
|
|
|
}else{
|
|
|
|
return yy_action[i];
|
|
|
|
}
|
2017-11-23 10:36:24 +00:00
|
|
|
}
|
|
|
|
|
|
|
|
/*
|
|
|
|
** Find the appropriate action for a parser given the non-terminal
|
|
|
|
** look-ahead token iLookAhead.
|
2018-11-28 14:40:33 +00:00
|
|
|
**
|
|
|
|
** If the look-ahead token is YYNOCODE, then check to see if the action is
|
|
|
|
** independent of the look-ahead. If it is, return the action, otherwise
|
|
|
|
** return YY_NO_ACTION.
|
2017-11-23 10:36:24 +00:00
|
|
|
*/
|
|
|
|
static int yy_find_reduce_action(
|
|
|
|
int stateno, /* Current state number */
|
|
|
|
YYCODETYPE iLookAhead /* The look-ahead token */
|
|
|
|
){
|
|
|
|
int i;
|
|
|
|
#ifdef YYERRORSYMBOL
|
|
|
|
if( stateno>YY_REDUCE_COUNT ){
|
|
|
|
return yy_default[stateno];
|
|
|
|
}
|
|
|
|
#else
|
|
|
|
assert( stateno<=YY_REDUCE_COUNT );
|
|
|
|
#endif
|
|
|
|
i = yy_reduce_ofst[stateno];
|
|
|
|
assert( i!=YY_REDUCE_USE_DFLT );
|
|
|
|
assert( iLookAhead!=YYNOCODE );
|
|
|
|
i += iLookAhead;
|
|
|
|
#ifdef YYERRORSYMBOL
|
|
|
|
if( i<0 || i>=YY_ACTTAB_COUNT || yy_lookahead[i]!=iLookAhead ){
|
|
|
|
return yy_default[stateno];
|
|
|
|
}
|
|
|
|
#else
|
|
|
|
assert( i>=0 && i<YY_ACTTAB_COUNT );
|
|
|
|
assert( yy_lookahead[i]==iLookAhead );
|
|
|
|
#endif
|
|
|
|
return yy_action[i];
|
|
|
|
}
|
|
|
|
|
|
|
|
/*
|
|
|
|
** The following routine is called if the stack overflows.
|
|
|
|
*/
|
|
|
|
static void yyStackOverflow(yyParser *yypParser, YYMINORTYPE *yypMinor){
|
|
|
|
ParseARG_FETCH;
|
|
|
|
yypParser->yyidx--;
|
|
|
|
#ifndef NDEBUG
|
|
|
|
if( yyTraceFILE ){
|
|
|
|
fprintf(yyTraceFILE,"%sStack Overflow!\n",yyTracePrompt);
|
|
|
|
}
|
|
|
|
#endif
|
|
|
|
while( yypParser->yyidx>=0 ) yy_pop_parser_stack(yypParser);
|
|
|
|
/* Here code is inserted which will execute if the parser
|
|
|
|
** stack every overflows */
|
|
|
|
ParseARG_STORE; /* Suppress warning about unused %extra_argument var */
|
|
|
|
}
|
|
|
|
|
|
|
|
/*
|
|
|
|
** Perform a shift action.
|
|
|
|
*/
|
|
|
|
static void yy_shift(
|
|
|
|
yyParser *yypParser, /* The parser to be shifted */
|
|
|
|
int yyNewState, /* The new state to shift in */
|
|
|
|
int yyMajor, /* The major token to shift in */
|
|
|
|
YYMINORTYPE *yypMinor /* Pointer to the minor token to shift in */
|
|
|
|
){
|
|
|
|
yyStackEntry *yytos;
|
|
|
|
yypParser->yyidx++;
|
|
|
|
#ifdef YYTRACKMAXSTACKDEPTH
|
|
|
|
if( yypParser->yyidx>yypParser->yyidxMax ){
|
|
|
|
yypParser->yyidxMax = yypParser->yyidx;
|
|
|
|
}
|
|
|
|
#endif
|
|
|
|
#if YYSTACKDEPTH>0
|
|
|
|
if( yypParser->yyidx>=YYSTACKDEPTH ){
|
|
|
|
yyStackOverflow(yypParser, yypMinor);
|
|
|
|
return;
|
|
|
|
}
|
|
|
|
#else
|
|
|
|
if( yypParser->yyidx>=yypParser->yystksz ){
|
|
|
|
yyGrowStack(yypParser);
|
|
|
|
if( yypParser->yyidx>=yypParser->yystksz ){
|
|
|
|
yyStackOverflow(yypParser, yypMinor);
|
|
|
|
return;
|
|
|
|
}
|
|
|
|
}
|
|
|
|
#endif
|
|
|
|
yytos = &yypParser->yystack[yypParser->yyidx];
|
|
|
|
yytos->stateno = (YYACTIONTYPE)yyNewState;
|
|
|
|
yytos->major = (YYCODETYPE)yyMajor;
|
|
|
|
yytos->minor = *yypMinor;
|
2018-11-28 14:40:33 +00:00
|
|
|
#ifndef NDEBUG
|
|
|
|
if( yyTraceFILE && yypParser->yyidx>0 ){
|
|
|
|
int i;
|
|
|
|
fprintf(yyTraceFILE,"%sShift %d\n",yyTracePrompt,yyNewState);
|
|
|
|
fprintf(yyTraceFILE,"%sStack:",yyTracePrompt);
|
|
|
|
for(i=1; i<=yypParser->yyidx; i++)
|
|
|
|
fprintf(yyTraceFILE," %s",yyTokenName[yypParser->yystack[i].major]);
|
|
|
|
fprintf(yyTraceFILE,"\n");
|
|
|
|
}
|
|
|
|
#endif
|
2017-11-23 10:36:24 +00:00
|
|
|
}
|
|
|
|
|
|
|
|
/* The following table contains information about every rule that
|
|
|
|
** is used during the reduce.
|
|
|
|
*/
|
|
|
|
static const struct {
|
|
|
|
YYCODETYPE lhs; /* Symbol on the left-hand side of the rule */
|
|
|
|
unsigned char nrhs; /* Number of right-hand side symbols in the rule */
|
|
|
|
} yyRuleInfo[] = {
|
|
|
|
{ 14, 1 },
|
|
|
|
{ 15, 1 },
|
|
|
|
{ 15, 2 },
|
|
|
|
{ 16, 1 },
|
|
|
|
{ 16, 2 },
|
|
|
|
{ 16, 2 },
|
|
|
|
{ 17, 1 },
|
|
|
|
{ 17, 2 },
|
|
|
|
{ 17, 2 },
|
2018-11-28 14:40:33 +00:00
|
|
|
{ 17, 2 },
|
2017-11-23 10:36:24 +00:00
|
|
|
{ 17, 1 },
|
|
|
|
{ 17, 3 },
|
|
|
|
{ 17, 3 },
|
|
|
|
{ 17, 3 },
|
|
|
|
{ 17, 3 },
|
|
|
|
{ 17, 3 },
|
|
|
|
{ 17, 3 },
|
|
|
|
};
|
|
|
|
|
|
|
|
static void yy_accept(yyParser*); /* Forward Declaration */
|
|
|
|
|
|
|
|
/*
|
|
|
|
** Perform a reduce action and the shift that must immediately
|
|
|
|
** follow the reduce.
|
|
|
|
*/
|
|
|
|
static void yy_reduce(
|
|
|
|
yyParser *yypParser, /* The parser */
|
|
|
|
int yyruleno /* Number of the rule by which to reduce */
|
|
|
|
){
|
|
|
|
int yygoto; /* The next state */
|
|
|
|
int yyact; /* The next action */
|
|
|
|
YYMINORTYPE yygotominor; /* The LHS of the rule reduced */
|
|
|
|
yyStackEntry *yymsp; /* The top of the parser's stack */
|
|
|
|
int yysize; /* Amount to pop the stack */
|
|
|
|
ParseARG_FETCH;
|
|
|
|
yymsp = &yypParser->yystack[yypParser->yyidx];
|
|
|
|
#ifndef NDEBUG
|
|
|
|
if( yyTraceFILE && yyruleno>=0
|
|
|
|
&& yyruleno<(int)(sizeof(yyRuleName)/sizeof(yyRuleName[0])) ){
|
2018-11-28 14:40:33 +00:00
|
|
|
fprintf(yyTraceFILE, "%sReduce [%s].\n", yyTracePrompt,
|
|
|
|
yyRuleName[yyruleno]);
|
2017-11-23 10:36:24 +00:00
|
|
|
}
|
|
|
|
#endif /* NDEBUG */
|
2018-11-28 14:40:33 +00:00
|
|
|
|
|
|
|
/* Silence complaints from purify about yygotominor being uninitialized
|
|
|
|
** in some cases when it is copied into the stack after the following
|
|
|
|
** switch. yygotominor is uninitialized when a rule reduces that does
|
|
|
|
** not set the value of its left-hand side nonterminal. Leaving the
|
|
|
|
** value of the nonterminal uninitialized is utterly harmless as long
|
|
|
|
** as the value is never used. So really the only thing this code
|
|
|
|
** accomplishes is to quieten purify.
|
|
|
|
**
|
|
|
|
** 2007-01-16: The wireshark project (www.wireshark.org) reports that
|
|
|
|
** without this code, their parser segfaults. I'm not sure what there
|
|
|
|
** parser is doing to make this happen. This is the second bug report
|
|
|
|
** from wireshark this week. Clearly they are stressing Lemon in ways
|
|
|
|
** that it has not been previously stressed... (SQLite ticket #2172)
|
|
|
|
*/
|
|
|
|
/*memset(&yygotominor, 0, sizeof(yygotominor));*/
|
2017-11-23 10:36:24 +00:00
|
|
|
yygotominor = yyzerominor;
|
|
|
|
|
2018-11-28 14:40:33 +00:00
|
|
|
|
2017-11-23 10:36:24 +00:00
|
|
|
switch( yyruleno ){
|
|
|
|
/* Beginning here are the reduction cases. A typical example
|
|
|
|
** follows:
|
|
|
|
** case 0:
|
|
|
|
** #line <lineno> <grammarfile>
|
|
|
|
** { ... } // User supplied code
|
|
|
|
** #line <lineno> <thisfile>
|
|
|
|
** break;
|
|
|
|
*/
|
|
|
|
case 4: /* stmt ::= expr ENDS */
|
|
|
|
#line 49 "grammar.lemon"
|
|
|
|
{ pEval->parseSetResult(yymsp[-1].minor.yy0.valid ? yymsp[-1].minor.yy0.dValue : NAN); }
|
2018-11-28 14:40:33 +00:00
|
|
|
#line 691 "grammar.c"
|
2017-11-23 10:36:24 +00:00
|
|
|
break;
|
|
|
|
case 5: /* stmt ::= expr SEMCOL */
|
|
|
|
#line 50 "grammar.lemon"
|
|
|
|
{ pEval->parseSetResult(NAN); }
|
2018-11-28 14:40:33 +00:00
|
|
|
#line 696 "grammar.c"
|
2017-11-23 10:36:24 +00:00
|
|
|
break;
|
|
|
|
case 6: /* expr ::= VALUE */
|
|
|
|
#line 52 "grammar.lemon"
|
|
|
|
{ yygotominor.yy0.dValue = yymsp[0].minor.yy0.dValue; yygotominor.yy0.valid=true; }
|
2018-11-28 14:40:33 +00:00
|
|
|
#line 701 "grammar.c"
|
2017-11-23 10:36:24 +00:00
|
|
|
break;
|
2018-02-23 23:04:59 +00:00
|
|
|
case 7: /* expr ::= expr UNIT */
|
2017-11-23 10:36:24 +00:00
|
|
|
#line 53 "grammar.lemon"
|
2018-02-23 23:04:59 +00:00
|
|
|
{ yygotominor.yy0.dValue = yymsp[-1].minor.yy0.dValue * yymsp[0].minor.yy0.dValue; yygotominor.yy0.valid=yymsp[-1].minor.yy0.valid; }
|
2018-11-28 14:40:33 +00:00
|
|
|
#line 706 "grammar.c"
|
2017-11-23 10:36:24 +00:00
|
|
|
break;
|
|
|
|
case 8: /* expr ::= MINUS expr */
|
|
|
|
#line 54 "grammar.lemon"
|
|
|
|
{ yygotominor.yy0.dValue = -yymsp[0].minor.yy0.dValue; yygotominor.yy0.valid=yymsp[0].minor.yy0.valid; }
|
2018-11-28 14:40:33 +00:00
|
|
|
#line 711 "grammar.c"
|
2017-11-23 10:36:24 +00:00
|
|
|
break;
|
2018-11-28 14:40:33 +00:00
|
|
|
case 9: /* expr ::= PLUS expr */
|
2017-11-23 10:36:24 +00:00
|
|
|
#line 55 "grammar.lemon"
|
2018-11-28 14:40:33 +00:00
|
|
|
{ yygotominor.yy0.dValue = yymsp[0].minor.yy0.dValue; yygotominor.yy0.valid=yymsp[0].minor.yy0.valid; }
|
|
|
|
#line 716 "grammar.c"
|
2017-11-23 10:36:24 +00:00
|
|
|
break;
|
2018-11-28 14:40:33 +00:00
|
|
|
case 10: /* expr ::= VAR */
|
2017-11-23 10:36:24 +00:00
|
|
|
#line 56 "grammar.lemon"
|
2018-11-28 14:40:33 +00:00
|
|
|
{ yygotominor.yy0.dValue = pEval->GetVar(yymsp[0].minor.yy0.text); yygotominor.yy0.valid=true; }
|
|
|
|
#line 721 "grammar.c"
|
2017-11-23 10:36:24 +00:00
|
|
|
break;
|
2018-11-28 14:40:33 +00:00
|
|
|
case 11: /* expr ::= VAR ASSIGN expr */
|
2017-11-23 10:36:24 +00:00
|
|
|
#line 57 "grammar.lemon"
|
2018-11-28 14:40:33 +00:00
|
|
|
{ pEval->SetVar(yymsp[-2].minor.yy0.text, yymsp[0].minor.yy0.dValue); yygotominor.yy0.dValue = yymsp[0].minor.yy0.dValue; yygotominor.yy0.valid=false; }
|
|
|
|
#line 726 "grammar.c"
|
2017-11-23 10:36:24 +00:00
|
|
|
break;
|
2018-11-28 14:40:33 +00:00
|
|
|
case 12: /* expr ::= expr PLUS expr */
|
2017-11-23 10:36:24 +00:00
|
|
|
#line 58 "grammar.lemon"
|
2018-11-28 14:40:33 +00:00
|
|
|
{ yygotominor.yy0.dValue = yymsp[-2].minor.yy0.dValue + yymsp[0].minor.yy0.dValue; yygotominor.yy0.valid=yymsp[0].minor.yy0.valid; }
|
|
|
|
#line 731 "grammar.c"
|
2017-11-23 10:36:24 +00:00
|
|
|
break;
|
2018-11-28 14:40:33 +00:00
|
|
|
case 13: /* expr ::= expr MINUS expr */
|
2017-11-23 10:36:24 +00:00
|
|
|
#line 59 "grammar.lemon"
|
2018-11-28 14:40:33 +00:00
|
|
|
{ yygotominor.yy0.dValue = yymsp[-2].minor.yy0.dValue - yymsp[0].minor.yy0.dValue; yygotominor.yy0.valid=yymsp[0].minor.yy0.valid; }
|
|
|
|
#line 736 "grammar.c"
|
2017-11-23 10:36:24 +00:00
|
|
|
break;
|
2018-11-28 14:40:33 +00:00
|
|
|
case 14: /* expr ::= expr MULT expr */
|
2017-11-23 10:36:24 +00:00
|
|
|
#line 60 "grammar.lemon"
|
2018-11-28 14:40:33 +00:00
|
|
|
{ yygotominor.yy0.dValue = yymsp[-2].minor.yy0.dValue * yymsp[0].minor.yy0.dValue; yygotominor.yy0.valid=yymsp[0].minor.yy0.valid; }
|
|
|
|
#line 741 "grammar.c"
|
|
|
|
break;
|
|
|
|
case 15: /* expr ::= expr DIVIDE expr */
|
|
|
|
#line 61 "grammar.lemon"
|
2017-11-23 10:36:24 +00:00
|
|
|
{
|
|
|
|
if (yymsp[0].minor.yy0.dValue != 0.0) {
|
|
|
|
yygotominor.yy0.dValue = yymsp[-2].minor.yy0.dValue / yymsp[0].minor.yy0.dValue;
|
|
|
|
}
|
|
|
|
else pEval->parseError("Div by zero");
|
|
|
|
yygotominor.yy0.valid=yymsp[0].minor.yy0.valid;
|
|
|
|
}
|
2018-11-28 14:40:33 +00:00
|
|
|
#line 752 "grammar.c"
|
2017-11-23 10:36:24 +00:00
|
|
|
break;
|
2018-11-28 14:40:33 +00:00
|
|
|
case 16: /* expr ::= PARENL expr PARENR */
|
|
|
|
#line 68 "grammar.lemon"
|
2017-11-23 10:36:24 +00:00
|
|
|
{ yygotominor.yy0.dValue = yymsp[-1].minor.yy0.dValue; yygotominor.yy0.valid=yymsp[-1].minor.yy0.valid; }
|
2018-11-28 14:40:33 +00:00
|
|
|
#line 757 "grammar.c"
|
2017-11-23 10:36:24 +00:00
|
|
|
break;
|
|
|
|
default:
|
|
|
|
/* (0) main ::= in */ yytestcase(yyruleno==0);
|
|
|
|
/* (1) in ::= stmt */ yytestcase(yyruleno==1);
|
|
|
|
/* (2) in ::= in stmt */ yytestcase(yyruleno==2);
|
|
|
|
/* (3) stmt ::= ENDS */ yytestcase(yyruleno==3);
|
|
|
|
break;
|
|
|
|
};
|
|
|
|
yygoto = yyRuleInfo[yyruleno].lhs;
|
|
|
|
yysize = yyRuleInfo[yyruleno].nrhs;
|
|
|
|
yypParser->yyidx -= yysize;
|
|
|
|
yyact = yy_find_reduce_action(yymsp[-yysize].stateno,(YYCODETYPE)yygoto);
|
2018-11-28 14:40:33 +00:00
|
|
|
if( yyact < YYNSTATE ){
|
|
|
|
#ifdef NDEBUG
|
|
|
|
/* If we are not debugging and the reduce action popped at least
|
2017-11-23 10:36:24 +00:00
|
|
|
** one element off the stack, then we can push the new element back
|
|
|
|
** onto the stack here, and skip the stack overflow test in yy_shift().
|
|
|
|
** That gives a significant speed improvement. */
|
|
|
|
if( yysize ){
|
|
|
|
yypParser->yyidx++;
|
|
|
|
yymsp -= yysize-1;
|
|
|
|
yymsp->stateno = (YYACTIONTYPE)yyact;
|
|
|
|
yymsp->major = (YYCODETYPE)yygoto;
|
|
|
|
yymsp->minor = yygotominor;
|
2018-11-28 14:40:33 +00:00
|
|
|
}else
|
|
|
|
#endif
|
|
|
|
{
|
2017-11-23 10:36:24 +00:00
|
|
|
yy_shift(yypParser,yyact,yygoto,&yygotominor);
|
|
|
|
}
|
|
|
|
}else{
|
2018-11-28 14:40:33 +00:00
|
|
|
assert( yyact == YYNSTATE + YYNRULE + 1 );
|
2017-11-23 10:36:24 +00:00
|
|
|
yy_accept(yypParser);
|
|
|
|
}
|
|
|
|
}
|
|
|
|
|
|
|
|
/*
|
|
|
|
** The following code executes when the parse fails
|
|
|
|
*/
|
|
|
|
#ifndef YYNOERRORRECOVERY
|
|
|
|
static void yy_parse_failed(
|
|
|
|
yyParser *yypParser /* The parser */
|
|
|
|
){
|
|
|
|
ParseARG_FETCH;
|
|
|
|
#ifndef NDEBUG
|
|
|
|
if( yyTraceFILE ){
|
|
|
|
fprintf(yyTraceFILE,"%sFail!\n",yyTracePrompt);
|
|
|
|
}
|
|
|
|
#endif
|
|
|
|
while( yypParser->yyidx>=0 ) yy_pop_parser_stack(yypParser);
|
|
|
|
/* Here code is inserted which will be executed whenever the
|
|
|
|
** parser fails */
|
|
|
|
ParseARG_STORE; /* Suppress warning about unused %extra_argument variable */
|
|
|
|
}
|
|
|
|
#endif /* YYNOERRORRECOVERY */
|
|
|
|
|
|
|
|
/*
|
|
|
|
** The following code executes when a syntax error first occurs.
|
|
|
|
*/
|
|
|
|
static void yy_syntax_error(
|
|
|
|
yyParser *yypParser, /* The parser */
|
|
|
|
int yymajor, /* The major type of the error token */
|
|
|
|
YYMINORTYPE yyminor /* The minor type of the error token */
|
|
|
|
){
|
|
|
|
ParseARG_FETCH;
|
|
|
|
#define TOKEN (yyminor.yy0)
|
|
|
|
#line 33 "grammar.lemon"
|
|
|
|
|
|
|
|
pEval->parseError("Syntax error");
|
2018-11-28 14:40:33 +00:00
|
|
|
#line 826 "grammar.c"
|
2017-11-23 10:36:24 +00:00
|
|
|
ParseARG_STORE; /* Suppress warning about unused %extra_argument variable */
|
|
|
|
}
|
|
|
|
|
|
|
|
/*
|
|
|
|
** The following is executed when the parser accepts
|
|
|
|
*/
|
|
|
|
static void yy_accept(
|
|
|
|
yyParser *yypParser /* The parser */
|
|
|
|
){
|
|
|
|
ParseARG_FETCH;
|
|
|
|
#ifndef NDEBUG
|
|
|
|
if( yyTraceFILE ){
|
|
|
|
fprintf(yyTraceFILE,"%sAccept!\n",yyTracePrompt);
|
|
|
|
}
|
|
|
|
#endif
|
|
|
|
while( yypParser->yyidx>=0 ) yy_pop_parser_stack(yypParser);
|
|
|
|
/* Here code is inserted which will be executed whenever the
|
|
|
|
** parser accepts */
|
|
|
|
#line 37 "grammar.lemon"
|
|
|
|
|
|
|
|
pEval->parseOk();
|
2018-11-28 14:40:33 +00:00
|
|
|
#line 848 "grammar.c"
|
2017-11-23 10:36:24 +00:00
|
|
|
ParseARG_STORE; /* Suppress warning about unused %extra_argument variable */
|
|
|
|
}
|
|
|
|
|
|
|
|
/* The main parser program.
|
|
|
|
** The first argument is a pointer to a structure obtained from
|
|
|
|
** "ParseAlloc" which describes the current state of the parser.
|
|
|
|
** The second argument is the major token number. The third is
|
|
|
|
** the minor token. The fourth optional argument is whatever the
|
|
|
|
** user wants (and specified in the grammar) and is available for
|
|
|
|
** use by the action routines.
|
|
|
|
**
|
|
|
|
** Inputs:
|
|
|
|
** <ul>
|
|
|
|
** <li> A pointer to the parser (an opaque structure.)
|
|
|
|
** <li> The major token number.
|
|
|
|
** <li> The minor token number.
|
|
|
|
** <li> An option argument of a grammar-specified type.
|
|
|
|
** </ul>
|
|
|
|
**
|
|
|
|
** Outputs:
|
|
|
|
** None.
|
|
|
|
*/
|
|
|
|
void Parse(
|
|
|
|
void *yyp, /* The parser */
|
|
|
|
int yymajor, /* The major token code number */
|
|
|
|
ParseTOKENTYPE yyminor /* The value for the token */
|
|
|
|
ParseARG_PDECL /* Optional %extra_argument parameter */
|
|
|
|
){
|
|
|
|
YYMINORTYPE yyminorunion;
|
|
|
|
int yyact; /* The parser action. */
|
|
|
|
int yyendofinput; /* True if we are at the end of input */
|
|
|
|
#ifdef YYERRORSYMBOL
|
|
|
|
int yyerrorhit = 0; /* True if yymajor has invoked an error */
|
|
|
|
#endif
|
|
|
|
yyParser *yypParser; /* The parser */
|
|
|
|
|
|
|
|
/* (re)initialize the parser, if necessary */
|
|
|
|
yypParser = (yyParser*)yyp;
|
|
|
|
if( yypParser->yyidx<0 ){
|
|
|
|
#if YYSTACKDEPTH<=0
|
|
|
|
if( yypParser->yystksz <=0 ){
|
|
|
|
/*memset(&yyminorunion, 0, sizeof(yyminorunion));*/
|
|
|
|
yyminorunion = yyzerominor;
|
|
|
|
yyStackOverflow(yypParser, &yyminorunion);
|
|
|
|
return;
|
|
|
|
}
|
|
|
|
#endif
|
|
|
|
yypParser->yyidx = 0;
|
|
|
|
yypParser->yyerrcnt = -1;
|
|
|
|
yypParser->yystack[0].stateno = 0;
|
|
|
|
yypParser->yystack[0].major = 0;
|
|
|
|
}
|
|
|
|
yyminorunion.yy0 = yyminor;
|
|
|
|
yyendofinput = (yymajor==0);
|
|
|
|
ParseARG_STORE;
|
|
|
|
|
|
|
|
#ifndef NDEBUG
|
|
|
|
if( yyTraceFILE ){
|
2018-11-28 14:40:33 +00:00
|
|
|
fprintf(yyTraceFILE,"%sInput %s\n",yyTracePrompt,yyTokenName[yymajor]);
|
2017-11-23 10:36:24 +00:00
|
|
|
}
|
|
|
|
#endif
|
|
|
|
|
|
|
|
do{
|
|
|
|
yyact = yy_find_shift_action(yypParser,(YYCODETYPE)yymajor);
|
2018-11-28 14:40:33 +00:00
|
|
|
if( yyact<YYNSTATE ){
|
|
|
|
assert( !yyendofinput ); /* Impossible to shift the $ token */
|
2017-11-23 10:36:24 +00:00
|
|
|
yy_shift(yypParser,yyact,yymajor,&yyminorunion);
|
|
|
|
yypParser->yyerrcnt--;
|
|
|
|
yymajor = YYNOCODE;
|
2018-11-28 14:40:33 +00:00
|
|
|
}else if( yyact < YYNSTATE + YYNRULE ){
|
|
|
|
yy_reduce(yypParser,yyact-YYNSTATE);
|
2017-11-23 10:36:24 +00:00
|
|
|
}else{
|
|
|
|
assert( yyact == YY_ERROR_ACTION );
|
|
|
|
#ifdef YYERRORSYMBOL
|
|
|
|
int yymx;
|
|
|
|
#endif
|
|
|
|
#ifndef NDEBUG
|
|
|
|
if( yyTraceFILE ){
|
|
|
|
fprintf(yyTraceFILE,"%sSyntax Error!\n",yyTracePrompt);
|
|
|
|
}
|
|
|
|
#endif
|
|
|
|
#ifdef YYERRORSYMBOL
|
|
|
|
/* A syntax error has occurred.
|
|
|
|
** The response to an error depends upon whether or not the
|
|
|
|
** grammar defines an error token "ERROR".
|
|
|
|
**
|
|
|
|
** This is what we do if the grammar does define ERROR:
|
|
|
|
**
|
|
|
|
** * Call the %syntax_error function.
|
|
|
|
**
|
|
|
|
** * Begin popping the stack until we enter a state where
|
|
|
|
** it is legal to shift the error symbol, then shift
|
|
|
|
** the error symbol.
|
|
|
|
**
|
|
|
|
** * Set the error count to three.
|
|
|
|
**
|
|
|
|
** * Begin accepting and shifting new tokens. No new error
|
|
|
|
** processing will occur until three tokens have been
|
|
|
|
** shifted successfully.
|
|
|
|
**
|
|
|
|
*/
|
|
|
|
if( yypParser->yyerrcnt<0 ){
|
|
|
|
yy_syntax_error(yypParser,yymajor,yyminorunion);
|
|
|
|
}
|
|
|
|
yymx = yypParser->yystack[yypParser->yyidx].major;
|
|
|
|
if( yymx==YYERRORSYMBOL || yyerrorhit ){
|
|
|
|
#ifndef NDEBUG
|
|
|
|
if( yyTraceFILE ){
|
|
|
|
fprintf(yyTraceFILE,"%sDiscard input token %s\n",
|
|
|
|
yyTracePrompt,yyTokenName[yymajor]);
|
|
|
|
}
|
|
|
|
#endif
|
|
|
|
yy_destructor(yypParser, (YYCODETYPE)yymajor,&yyminorunion);
|
|
|
|
yymajor = YYNOCODE;
|
|
|
|
}else{
|
|
|
|
while(
|
|
|
|
yypParser->yyidx >= 0 &&
|
|
|
|
yymx != YYERRORSYMBOL &&
|
|
|
|
(yyact = yy_find_reduce_action(
|
|
|
|
yypParser->yystack[yypParser->yyidx].stateno,
|
2018-11-28 14:40:33 +00:00
|
|
|
YYERRORSYMBOL)) >= YYNSTATE
|
2017-11-23 10:36:24 +00:00
|
|
|
){
|
|
|
|
yy_pop_parser_stack(yypParser);
|
|
|
|
}
|
|
|
|
if( yypParser->yyidx < 0 || yymajor==0 ){
|
|
|
|
yy_destructor(yypParser,(YYCODETYPE)yymajor,&yyminorunion);
|
|
|
|
yy_parse_failed(yypParser);
|
|
|
|
yymajor = YYNOCODE;
|
|
|
|
}else if( yymx!=YYERRORSYMBOL ){
|
|
|
|
YYMINORTYPE u2;
|
|
|
|
u2.YYERRSYMDT = 0;
|
|
|
|
yy_shift(yypParser,yyact,YYERRORSYMBOL,&u2);
|
|
|
|
}
|
|
|
|
}
|
|
|
|
yypParser->yyerrcnt = 3;
|
|
|
|
yyerrorhit = 1;
|
|
|
|
#elif defined(YYNOERRORRECOVERY)
|
|
|
|
/* If the YYNOERRORRECOVERY macro is defined, then do not attempt to
|
|
|
|
** do any kind of error recovery. Instead, simply invoke the syntax
|
|
|
|
** error routine and continue going as if nothing had happened.
|
|
|
|
**
|
|
|
|
** Applications can set this macro (for example inside %include) if
|
|
|
|
** they intend to abandon the parse upon the first syntax error seen.
|
|
|
|
*/
|
|
|
|
yy_syntax_error(yypParser,yymajor,yyminorunion);
|
|
|
|
yy_destructor(yypParser,(YYCODETYPE)yymajor,&yyminorunion);
|
|
|
|
yymajor = YYNOCODE;
|
|
|
|
|
|
|
|
#else /* YYERRORSYMBOL is not defined */
|
|
|
|
/* This is what we do if the grammar does not define ERROR:
|
|
|
|
**
|
|
|
|
** * Report an error message, and throw away the input token.
|
|
|
|
**
|
|
|
|
** * If the input token is $, then fail the parse.
|
|
|
|
**
|
|
|
|
** As before, subsequent error messages are suppressed until
|
|
|
|
** three input tokens have been successfully shifted.
|
|
|
|
*/
|
|
|
|
if( yypParser->yyerrcnt<=0 ){
|
|
|
|
yy_syntax_error(yypParser,yymajor,yyminorunion);
|
|
|
|
}
|
|
|
|
yypParser->yyerrcnt = 3;
|
|
|
|
yy_destructor(yypParser,(YYCODETYPE)yymajor,&yyminorunion);
|
|
|
|
if( yyendofinput ){
|
|
|
|
yy_parse_failed(yypParser);
|
|
|
|
}
|
|
|
|
yymajor = YYNOCODE;
|
|
|
|
#endif
|
|
|
|
}
|
|
|
|
}while( yymajor!=YYNOCODE && yypParser->yyidx>=0 );
|
|
|
|
return;
|
|
|
|
}
|