123456789101112131415161718192021222324252627282930313233343536373839404142434445464748495051525354555657585960616263646566676869707172737475767778798081828384858687888990919293949596979899100101102103104105106107108109110111112113114115116117118119120121122123124125126127128129130131132133134135136137138139140141142143144145146147148149150151152153154155156157158159160161162163164165166167168169170171172173174175176177178179180181182183184185186187188189190191192193194195196197198199200201202203204205206207208209210211212213214215216217218219220221222223224225226227228229230231232233234235236237238239240241242243244245246247248249250251252253254255256257258259260261262263264265266267268269270271272273274275276277278279280281282283284285286287288289290291292293294295296297298299300301302303304305306307308309310311312313314315316317318319320321322323324325326327328329330331332333334335336337338339340341342343344345346347348349350351352353354355356357358359360361362363364365366367368369370371372373374375376377378379380381382383384385386387388389390391392393394395396397398399400401402403404405406407408409410411412413414415416417418419420421422423424425426427428429430431432433434435436437438439440441442443444445446447448449450451452453454455456457458459460461462463464465466467468469470471472473474475476477478479480481482483484485486487488489490491492493494495496497498499500501502503504505506507508509510511512513514515516517518519520521522523524525526527528529530531532533534535536537538539540541542543544545546547548549550551552553554555556557558559560561562563564565566567568569570571572573574575576577578579580581582583584585586587588589590591592593594595596597598599600601602603604605606607608609610611612613614615616617618619620621622623624625626627628629630631632633634635636637638639640641642643644645646647648649650651652653654655656657658659660661662663664665666667668669670671672673674675676677678679680681682683684685686687688689690691692693694695696697698699700701702703704705706707708709710711712713714715716717718719720721722723724725726727728729730731732733734735736737738739740741742743744745746747748749750751752753754755756757758759760761762763764765766767768769770771772773774775776777778779780781782783784785786787788789790791792793794795796797798799800801802803804805806807808809810811812813814815816817818819820821822823824825826827828829830831832833834835836837838839840841842843844845846847848849850851852853854855856857858859860861862863864865866867868869870871872873874875876877878879880881882883884885886887888889890891892893894895896897898899900901902903904905906907908909910911912913914915916917918919920921922923924925926927928929930931932933934935936937 |
- <?php
- /* Driver template for the PHP_ParserGenerator parser generator. (PHP port of LEMON)
- */
- /**
- * This can be used to store both the string representation of
- * a token, and any useful meta-data associated with the token.
- *
- * meta-data should be stored as an array
- */
- class ParseyyToken implements ArrayAccess
- {
- public $string = '';
- public $metadata = array();
- function __construct($s, $m = array())
- {
- if ($s instanceof ParseyyToken) {
- $this->string = $s->string;
- $this->metadata = $s->metadata;
- } else {
- $this->string = (string) $s;
- if ($m instanceof ParseyyToken) {
- $this->metadata = $m->metadata;
- } elseif (is_array($m)) {
- $this->metadata = $m;
- }
- }
- }
- function __toString()
- {
- return $this->string;
- }
- function offsetExists($offset)
- {
- return isset($this->metadata[$offset]);
- }
- function offsetGet($offset)
- {
- return $this->metadata[$offset];
- }
- function offsetSet($offset, $value)
- {
- if ($offset === null) {
- if (isset($value[0])) {
- $x = ($value instanceof ParseyyToken) ?
- $value->metadata : $value;
- $this->metadata = array_merge($this->metadata, $x);
- return;
- }
- $offset = count($this->metadata);
- }
- if ($value === null) {
- return;
- }
- if ($value instanceof ParseyyToken) {
- if ($value->metadata) {
- $this->metadata[$offset] = $value->metadata;
- }
- } elseif ($value) {
- $this->metadata[$offset] = $value;
- }
- }
- function offsetUnset($offset)
- {
- unset($this->metadata[$offset]);
- }
- }
- /** 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.
- */
- class ParseyyStackEntry
- {
- public $stateno; /* The state-number */
- public $major; /* The major token value. This is the code
- ** number for the token at this stack level */
- public $minor; /* The user-supplied minor token value. This
- ** is the value of the token */
- };
- // code external to the class is included here
- %%
- // declare_class is output here
- %%
- {
- /* First off, code is included which follows the "include_class" declaration
- ** in the input file. */
- %%
- /* Next is all token values, as class constants
- */
- /*
- ** 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.
- */
- %%
- /* Next are that 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
- **
- ** 0 <= N < self::YYNSTATE Shift N. That is,
- ** push the lookahead
- ** token onto the stack
- ** and goto state N.
- **
- ** self::YYNSTATE <= N < self::YYNSTATE+self::YYNRULE Reduce by rule N-YYNSTATE.
- **
- ** N == self::YYNSTATE+self::YYNRULE A syntax error has occurred.
- **
- ** N == self::YYNSTATE+self::YYNRULE+1 The parser accepts its
- ** input. (and concludes parsing)
- **
- ** N == self::YYNSTATE+self::YYNRULE+2 No such action. Denotes unused
- ** slots in the yy_action[] table.
- **
- ** The action table is constructed as a single large static array $yy_action.
- ** Given state S and lookahead X, the action is computed as
- **
- ** self::$yy_action[self::$yy_shift_ofst[S] + X ]
- **
- ** If the index value self::$yy_shift_ofst[S]+X is out of range or if the value
- ** self::$yy_lookahead[self::$yy_shift_ofst[S]+X] is not equal to X or if
- ** self::$yy_shift_ofst[S] is equal to self::YY_SHIFT_USE_DFLT, it means that
- ** the action is not in the table and that self::$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 static $yy_reduce_ofst array is used in place of
- ** the static $yy_shift_ofst array and self::YY_REDUCE_USE_DFLT is used in place of
- ** self::YY_SHIFT_USE_DFLT.
- **
- ** The following are the tables generated in this section:
- **
- ** self::$yy_action A single table containing all actions.
- ** self::$yy_lookahead A table containing the lookahead for each entry in
- ** yy_action. Used to detect hash collisions.
- ** self::$yy_shift_ofst For each state, the offset into self::$yy_action for
- ** shifting terminals.
- ** self::$yy_reduce_ofst For each state, the offset into self::$yy_action for
- ** shifting non-terminals after a reduce.
- ** self::$yy_default Default action for each state.
- */
- %%
- /* The next thing included is series of defines which control
- ** various aspects of the generated parser.
- ** self::YYNOCODE is a number which corresponds
- ** to no legal terminal or nonterminal number. This
- ** number is used to fill in empty slots of the hash
- ** table.
- ** self::YYFALLBACK If defined, this indicates that one or more tokens
- ** have fall-back values which should be used if the
- ** original value of the token will not parse.
- ** self::YYSTACKDEPTH is the maximum depth of the parser's stack.
- ** self::YYNSTATE the combined number of states.
- ** self::YYNRULE the number of rules in the grammar
- ** self::YYERRORSYMBOL is the code number of the error symbol. If not
- ** defined, then do no error processing.
- */
- %%
- /** The next table maps tokens into fallback tokens. If a construct
- * like the following:
- *
- * %fallback ID X Y Z.
- *
- * appears in the grammer, 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.
- */
- static public $yyFallback = array(
- %%
- );
- /**
- * 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:
- *
- * - A stream resource to which trace output should be written.
- * If NULL, then tracing is turned off.
- * - A prefix string written at the beginning of every
- * line of trace output. If NULL, then tracing is
- * turned off.
- *
- * Outputs:
- *
- * - None.
- * @param resource
- * @param string
- */
- static function Trace($TraceFILE, $zTracePrompt)
- {
- if (!$TraceFILE) {
- $zTracePrompt = 0;
- } elseif (!$zTracePrompt) {
- $TraceFILE = 0;
- }
- self::$yyTraceFILE = $TraceFILE;
- self::$yyTracePrompt = $zTracePrompt;
- }
- /**
- * Output debug information to output (php://output stream)
- */
- static function PrintTrace()
- {
- self::$yyTraceFILE = fopen('php://output', 'w');
- self::$yyTracePrompt = '';
- }
- /**
- * @var resource|0
- */
- static public $yyTraceFILE;
- /**
- * String to prepend to debug output
- * @var string|0
- */
- static public $yyTracePrompt;
- /**
- * @var int
- */
- public $yyidx = -1; /* Index of top element in stack */
- /**
- * @var int
- */
- public $yyerrcnt; /* Shifts left before out of the error */
- /**
- * @var array
- */
- public $yystack = array(); /* The parser's stack */
- /**
- * For tracing shifts, the names of all terminals and nonterminals
- * are required. The following table supplies these names
- * @var array
- */
- static public $yyTokenName = array(
- %%
- );
- /**
- * For tracing reduce actions, the names of all rules are required.
- * @var array
- */
- static public $yyRuleName = array(
- %%
- );
- /**
- * This function returns the symbolic name associated with a token
- * value.
- * @param int
- * @return string
- */
- function tokenName($tokenType)
- {
- if ($tokenType === 0) {
- return 'End of Input';
- }
- if ($tokenType > 0 && $tokenType < count(self::$yyTokenName)) {
- return self::$yyTokenName[$tokenType];
- } else {
- return "Unknown";
- }
- }
- /**
- * The following function deletes the value associated with a
- * symbol. The symbol can be either a terminal or nonterminal.
- * @param int the symbol code
- * @param mixed the symbol's value
- */
- static function yy_destructor($yymajor, $yypminor)
- {
- 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
- ** which appear on the RHS of the rule, but which are not used
- ** 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.
- *
- * Return the major token number for the symbol popped.
- * @param ParseyyParser
- * @return int
- */
- function yy_pop_parser_stack()
- {
- if (!count($this->yystack)) {
- return;
- }
- $yytos = array_pop($this->yystack);
- if (self::$yyTraceFILE && $this->yyidx >= 0) {
- fwrite(self::$yyTraceFILE,
- self::$yyTracePrompt . 'Popping ' . self::$yyTokenName[$yytos->major] .
- "\n");
- }
- $yymajor = $yytos->major;
- self::yy_destructor($yymajor, $yytos->minor);
- $this->yyidx--;
- return $yymajor;
- }
- /**
- * Deallocate and destroy a parser. Destructors are all called for
- * all stack elements before shutting the parser down.
- */
- function __destruct()
- {
- while ($this->yyidx >= 0) {
- $this->yy_pop_parser_stack();
- }
- if (is_resource(self::$yyTraceFILE)) {
- fclose(self::$yyTraceFILE);
- }
- }
- /**
- * Based on the current state and parser stack, get a list of all
- * possible lookahead tokens
- * @param int
- * @return array
- */
- function yy_get_expected_tokens($token)
- {
- $state = $this->yystack[$this->yyidx]->stateno;
- $expected = self::$yyExpectedTokens[$state];
- if (in_array($token, self::$yyExpectedTokens[$state], true)) {
- return $expected;
- }
- $stack = $this->yystack;
- $yyidx = $this->yyidx;
- do {
- $yyact = $this->yy_find_shift_action($token);
- if ($yyact >= self::YYNSTATE && $yyact < self::YYNSTATE + self::YYNRULE) {
- // reduce action
- $done = 0;
- do {
- if ($done++ == 100) {
- $this->yyidx = $yyidx;
- $this->yystack = $stack;
- // too much recursion prevents proper detection
- // so give up
- return array_unique($expected);
- }
- $yyruleno = $yyact - self::YYNSTATE;
- $this->yyidx -= self::$yyRuleInfo[$yyruleno]['rhs'];
- $nextstate = $this->yy_find_reduce_action(
- $this->yystack[$this->yyidx]->stateno,
- self::$yyRuleInfo[$yyruleno]['lhs']);
- if (isset(self::$yyExpectedTokens[$nextstate])) {
- $expected += self::$yyExpectedTokens[$nextstate];
- if (in_array($token,
- self::$yyExpectedTokens[$nextstate], true)) {
- $this->yyidx = $yyidx;
- $this->yystack = $stack;
- return array_unique($expected);
- }
- }
- if ($nextstate < self::YYNSTATE) {
- // we need to shift a non-terminal
- $this->yyidx++;
- $x = new ParseyyStackEntry;
- $x->stateno = $nextstate;
- $x->major = self::$yyRuleInfo[$yyruleno]['lhs'];
- $this->yystack[$this->yyidx] = $x;
- continue 2;
- } elseif ($nextstate == self::YYNSTATE + self::YYNRULE + 1) {
- $this->yyidx = $yyidx;
- $this->yystack = $stack;
- // the last token was just ignored, we can't accept
- // by ignoring input, this is in essence ignoring a
- // syntax error!
- return array_unique($expected);
- } elseif ($nextstate === self::YY_NO_ACTION) {
- $this->yyidx = $yyidx;
- $this->yystack = $stack;
- // input accepted, but not shifted (I guess)
- return $expected;
- } else {
- $yyact = $nextstate;
- }
- } while (true);
- }
- break;
- } while (true);
- return array_unique($expected);
- }
- /**
- * Based on the parser state and current parser stack, determine whether
- * the lookahead token is possible.
- *
- * The parser will convert the token value to an error token if not. This
- * catches some unusual edge cases where the parser would fail.
- * @param int
- * @return bool
- */
- function yy_is_expected_token($token)
- {
- if ($token === 0) {
- return true; // 0 is not part of this
- }
- $state = $this->yystack[$this->yyidx]->stateno;
- if (in_array($token, self::$yyExpectedTokens[$state], true)) {
- return true;
- }
- $stack = $this->yystack;
- $yyidx = $this->yyidx;
- do {
- $yyact = $this->yy_find_shift_action($token);
- if ($yyact >= self::YYNSTATE && $yyact < self::YYNSTATE + self::YYNRULE) {
- // reduce action
- $done = 0;
- do {
- if ($done++ == 100) {
- $this->yyidx = $yyidx;
- $this->yystack = $stack;
- // too much recursion prevents proper detection
- // so give up
- return true;
- }
- $yyruleno = $yyact - self::YYNSTATE;
- $this->yyidx -= self::$yyRuleInfo[$yyruleno]['rhs'];
- $nextstate = $this->yy_find_reduce_action(
- $this->yystack[$this->yyidx]->stateno,
- self::$yyRuleInfo[$yyruleno]['lhs']);
- if (isset(self::$yyExpectedTokens[$nextstate]) &&
- in_array($token, self::$yyExpectedTokens[$nextstate], true)) {
- $this->yyidx = $yyidx;
- $this->yystack = $stack;
- return true;
- }
- if ($nextstate < self::YYNSTATE) {
- // we need to shift a non-terminal
- $this->yyidx++;
- $x = new ParseyyStackEntry;
- $x->stateno = $nextstate;
- $x->major = self::$yyRuleInfo[$yyruleno]['lhs'];
- $this->yystack[$this->yyidx] = $x;
- continue 2;
- } elseif ($nextstate == self::YYNSTATE + self::YYNRULE + 1) {
- $this->yyidx = $yyidx;
- $this->yystack = $stack;
- if (!$token) {
- // end of input: this is valid
- return true;
- }
- // the last token was just ignored, we can't accept
- // by ignoring input, this is in essence ignoring a
- // syntax error!
- return false;
- } elseif ($nextstate === self::YY_NO_ACTION) {
- $this->yyidx = $yyidx;
- $this->yystack = $stack;
- // input accepted, but not shifted (I guess)
- return true;
- } else {
- $yyact = $nextstate;
- }
- } while (true);
- }
- break;
- } while (true);
- $this->yyidx = $yyidx;
- $this->yystack = $stack;
- return true;
- }
- /**
- * Find the appropriate action for a parser given the terminal
- * look-ahead token iLookAhead.
- *
- * 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.
- * @param int The look-ahead token
- */
- function yy_find_shift_action($iLookAhead)
- {
- $stateno = $this->yystack[$this->yyidx]->stateno;
-
- /* if ($this->yyidx < 0) return self::YY_NO_ACTION; */
- if (!isset(self::$yy_shift_ofst[$stateno])) {
- // no shift actions
- return self::$yy_default[$stateno];
- }
- $i = self::$yy_shift_ofst[$stateno];
- if ($i === self::YY_SHIFT_USE_DFLT) {
- return self::$yy_default[$stateno];
- }
- if ($iLookAhead == self::YYNOCODE) {
- return self::YY_NO_ACTION;
- }
- $i += $iLookAhead;
- if ($i < 0 || $i >= self::YY_SZ_ACTTAB ||
- self::$yy_lookahead[$i] != $iLookAhead) {
- if (count(self::$yyFallback) && $iLookAhead < count(self::$yyFallback)
- && ($iFallback = self::$yyFallback[$iLookAhead]) != 0) {
- if (self::$yyTraceFILE) {
- fwrite(self::$yyTraceFILE, self::$yyTracePrompt . "FALLBACK " .
- self::$yyTokenName[$iLookAhead] . " => " .
- self::$yyTokenName[$iFallback] . "\n");
- }
- return $this->yy_find_shift_action($iFallback);
- }
- return self::$yy_default[$stateno];
- } else {
- return self::$yy_action[$i];
- }
- }
- /**
- * Find the appropriate action for a parser given the non-terminal
- * look-ahead token $iLookAhead.
- *
- * If the look-ahead token is self::YYNOCODE, then check to see if the action is
- * independent of the look-ahead. If it is, return the action, otherwise
- * return self::YY_NO_ACTION.
- * @param int Current state number
- * @param int The look-ahead token
- */
- function yy_find_reduce_action($stateno, $iLookAhead)
- {
- /* $stateno = $this->yystack[$this->yyidx]->stateno; */
- if (!isset(self::$yy_reduce_ofst[$stateno])) {
- return self::$yy_default[$stateno];
- }
- $i = self::$yy_reduce_ofst[$stateno];
- if ($i == self::YY_REDUCE_USE_DFLT) {
- return self::$yy_default[$stateno];
- }
- if ($iLookAhead == self::YYNOCODE) {
- return self::YY_NO_ACTION;
- }
- $i += $iLookAhead;
- if ($i < 0 || $i >= self::YY_SZ_ACTTAB ||
- self::$yy_lookahead[$i] != $iLookAhead) {
- return self::$yy_default[$stateno];
- } else {
- return self::$yy_action[$i];
- }
- }
- /**
- * Perform a shift action.
- * @param int The new state to shift in
- * @param int The major token to shift in
- * @param mixed the minor token to shift in
- */
- function yy_shift($yyNewState, $yyMajor, $yypMinor)
- {
- $this->yyidx++;
- if ($this->yyidx >= self::YYSTACKDEPTH) {
- $this->yyidx--;
- if (self::$yyTraceFILE) {
- fprintf(self::$yyTraceFILE, "%sStack Overflow!\n", self::$yyTracePrompt);
- }
- while ($this->yyidx >= 0) {
- $this->yy_pop_parser_stack();
- }
- /* Here code is inserted which will execute if the parser
- ** stack ever overflows */
- %%
- return;
- }
- $yytos = new ParseyyStackEntry;
- $yytos->stateno = $yyNewState;
- $yytos->major = $yyMajor;
- $yytos->minor = $yypMinor;
- array_push($this->yystack, $yytos);
- if (self::$yyTraceFILE && $this->yyidx > 0) {
- fprintf(self::$yyTraceFILE, "%sShift %d\n", self::$yyTracePrompt,
- $yyNewState);
- fprintf(self::$yyTraceFILE, "%sStack:", self::$yyTracePrompt);
- for ($i = 1; $i <= $this->yyidx; $i++) {
- fprintf(self::$yyTraceFILE, " %s",
- self::$yyTokenName[$this->yystack[$i]->major]);
- }
- fwrite(self::$yyTraceFILE,"\n");
- }
- }
- /**
- * The following table contains information about every rule that
- * is used during the reduce.
- *
- * <pre>
- * array(
- * array(
- * int $lhs; Symbol on the left-hand side of the rule
- * int $nrhs; Number of right-hand side symbols in the rule
- * ),...
- * );
- * </pre>
- */
- static public $yyRuleInfo = array(
- %%
- );
- /**
- * The following table contains a mapping of reduce action to method name
- * that handles the reduction.
- *
- * If a rule is not set, it has no handler.
- */
- static public $yyReduceMap = array(
- %%
- );
- /* Beginning here are the reduction cases. A typical example
- ** follows:
- ** #line <lineno> <grammarfile>
- ** function yy_r0($yymsp){ ... } // User supplied code
- ** #line <lineno> <thisfile>
- */
- %%
- /**
- * placeholder for the left hand side in a reduce operation.
- *
- * For a parser with a rule like this:
- * <pre>
- * rule(A) ::= B. { A = 1; }
- * </pre>
- *
- * The parser will translate to something like:
- *
- * <code>
- * function yy_r0(){$this->_retvalue = 1;}
- * </code>
- */
- private $_retvalue;
- /**
- * Perform a reduce action and the shift that must immediately
- * follow the reduce.
- *
- * For a rule such as:
- *
- * <pre>
- * A ::= B blah C. { dosomething(); }
- * </pre>
- *
- * This function will first call the action, if any, ("dosomething();" in our
- * example), and then it will pop three states from the stack,
- * one for each entry on the right-hand side of the expression
- * (B, blah, and C in our example rule), and then push the result of the action
- * back on to the stack with the resulting state reduced to (as described in the .out
- * file)
- * @param int Number of the rule by which to reduce
- */
- function yy_reduce($yyruleno)
- {
- //int $yygoto; /* The next state */
- //int $yyact; /* The next action */
- //mixed $yygotominor; /* The LHS of the rule reduced */
- //ParseyyStackEntry $yymsp; /* The top of the parser's stack */
- //int $yysize; /* Amount to pop the stack */
- $yymsp = $this->yystack[$this->yyidx];
- if (self::$yyTraceFILE && $yyruleno >= 0
- && $yyruleno < count(self::$yyRuleName)) {
- fprintf(self::$yyTraceFILE, "%sReduce (%d) [%s].\n",
- self::$yyTracePrompt, $yyruleno,
- self::$yyRuleName[$yyruleno]);
- }
- $this->_retvalue = $yy_lefthand_side = null;
- if (array_key_exists($yyruleno, self::$yyReduceMap)) {
- // call the action
- $this->_retvalue = null;
- $this->{'yy_r' . self::$yyReduceMap[$yyruleno]}();
- $yy_lefthand_side = $this->_retvalue;
- }
- $yygoto = self::$yyRuleInfo[$yyruleno]['lhs'];
- $yysize = self::$yyRuleInfo[$yyruleno]['rhs'];
- $this->yyidx -= $yysize;
- for ($i = $yysize; $i; $i--) {
- // pop all of the right-hand side parameters
- array_pop($this->yystack);
- }
- $yyact = $this->yy_find_reduce_action($this->yystack[$this->yyidx]->stateno, $yygoto);
- if ($yyact < self::YYNSTATE) {
- /* If we are not debugging and the reduce action popped at least
- ** 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 (!self::$yyTraceFILE && $yysize) {
- $this->yyidx++;
- $x = new ParseyyStackEntry;
- $x->stateno = $yyact;
- $x->major = $yygoto;
- $x->minor = $yy_lefthand_side;
- $this->yystack[$this->yyidx] = $x;
- } else {
- $this->yy_shift($yyact, $yygoto, $yy_lefthand_side);
- }
- } elseif ($yyact == self::YYNSTATE + self::YYNRULE + 1) {
- $this->yy_accept();
- }
- }
- /**
- * The following code executes when the parse fails
- *
- * Code from %parse_fail is inserted here
- */
- function yy_parse_failed()
- {
- if (self::$yyTraceFILE) {
- fprintf(self::$yyTraceFILE, "%sFail!\n", self::$yyTracePrompt);
- }
- while ($this->yyidx >= 0) {
- $this->yy_pop_parser_stack();
- }
- /* Here code is inserted which will be executed whenever the
- ** parser fails */
- %%
- }
- /**
- * The following code executes when a syntax error first occurs.
- *
- * %syntax_error code is inserted here
- * @param int The major type of the error token
- * @param mixed The minor type of the error token
- */
- function yy_syntax_error($yymajor, $TOKEN)
- {
- %%
- }
- /**
- * The following is executed when the parser accepts
- *
- * %parse_accept code is inserted here
- */
- function yy_accept()
- {
- if (self::$yyTraceFILE) {
- fprintf(self::$yyTraceFILE, "%sAccept!\n", self::$yyTracePrompt);
- }
- while ($this->yyidx >= 0) {
- $stack = $this->yy_pop_parser_stack();
- }
- /* Here code is inserted which will be executed whenever the
- ** parser accepts */
- %%
- }
- /**
- * The main parser program.
- *
- * The first argument is the major token number. The second is
- * the token value string as scanned from the input.
- *
- * @param int $yymajor the token number
- * @param mixed $yytokenvalue the token value
- * @param mixed ... any extra arguments that should be passed to handlers
- *
- * @return void
- */
- function doParse($yymajor, $yytokenvalue)
- {
- // $yyact; /* The parser action. */
- // $yyendofinput; /* True if we are at the end of input */
- $yyerrorhit = 0; /* True if yymajor has invoked an error */
-
- /* (re)initialize the parser, if necessary */
- if ($this->yyidx === null || $this->yyidx < 0) {
- /* if ($yymajor == 0) return; // not sure why this was here... */
- $this->yyidx = 0;
- $this->yyerrcnt = -1;
- $x = new ParseyyStackEntry;
- $x->stateno = 0;
- $x->major = 0;
- $this->yystack = array();
- array_push($this->yystack, $x);
- }
- $yyendofinput = ($yymajor==0);
-
- if (self::$yyTraceFILE) {
- fprintf(
- self::$yyTraceFILE,
- "%sInput %s\n",
- self::$yyTracePrompt,
- self::$yyTokenName[$yymajor]
- );
- }
-
- do {
- $yyact = $this->yy_find_shift_action($yymajor);
- if ($yymajor < self::YYERRORSYMBOL
- && !$this->yy_is_expected_token($yymajor)
- ) {
- // force a syntax error
- $yyact = self::YY_ERROR_ACTION;
- }
- if ($yyact < self::YYNSTATE) {
- $this->yy_shift($yyact, $yymajor, $yytokenvalue);
- $this->yyerrcnt--;
- if ($yyendofinput && $this->yyidx >= 0) {
- $yymajor = 0;
- } else {
- $yymajor = self::YYNOCODE;
- }
- } elseif ($yyact < self::YYNSTATE + self::YYNRULE) {
- $this->yy_reduce($yyact - self::YYNSTATE);
- } elseif ($yyact == self::YY_ERROR_ACTION) {
- if (self::$yyTraceFILE) {
- fprintf(
- self::$yyTraceFILE,
- "%sSyntax Error!\n",
- self::$yyTracePrompt
- );
- }
- if (self::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 ($this->yyerrcnt < 0) {
- $this->yy_syntax_error($yymajor, $yytokenvalue);
- }
- $yymx = $this->yystack[$this->yyidx]->major;
- if ($yymx == self::YYERRORSYMBOL || $yyerrorhit ) {
- if (self::$yyTraceFILE) {
- fprintf(
- self::$yyTraceFILE,
- "%sDiscard input token %s\n",
- self::$yyTracePrompt,
- self::$yyTokenName[$yymajor]
- );
- }
- $this->yy_destructor($yymajor, $yytokenvalue);
- $yymajor = self::YYNOCODE;
- } else {
- while ($this->yyidx >= 0
- && $yymx != self::YYERRORSYMBOL
- && ($yyact = $this->yy_find_shift_action(self::YYERRORSYMBOL)) >= self::YYNSTATE
- ) {
- $this->yy_pop_parser_stack();
- }
- if ($this->yyidx < 0 || $yymajor==0) {
- $this->yy_destructor($yymajor, $yytokenvalue);
- $this->yy_parse_failed();
- $yymajor = self::YYNOCODE;
- } elseif ($yymx != self::YYERRORSYMBOL) {
- $u2 = 0;
- $this->yy_shift($yyact, self::YYERRORSYMBOL, $u2);
- }
- }
- $this->yyerrcnt = 3;
- $yyerrorhit = 1;
- } 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 ($this->yyerrcnt <= 0) {
- $this->yy_syntax_error($yymajor, $yytokenvalue);
- }
- $this->yyerrcnt = 3;
- $this->yy_destructor($yymajor, $yytokenvalue);
- if ($yyendofinput) {
- $this->yy_parse_failed();
- }
- $yymajor = self::YYNOCODE;
- }
- } else {
- $this->yy_accept();
- $yymajor = self::YYNOCODE;
- }
- } while ($yymajor != self::YYNOCODE && $this->yyidx >= 0);
- }
- }
|