Lines Matching refs:s0
354 $s0 = $dfa->getPrecedenceStartState($this->parser->getPrecedence());
356 // The start state for a "regular" DFA is just s0.
357 $s0 = $dfa->s0;
360 if ($s0 === null) {
388 * than simply setting DFA.s0.
391 if ($dfa->s0 === null) {
392 throw new \RuntimeException('DFA.s0 cannot be null.');
395 $dfa->s0->configs = $s0_closure; // not used for prediction but useful to know start configs anyway
399 $s0 = $this->addDFAState($dfa, new DFAState($s0_closure));
401 $dfa->setPrecedenceStartState($this->parser->getPrecedence(), $s0);
403 $s0 = $this->addDFAState($dfa, new DFAState($s0_closure));
404 $dfa->s0 = $s0;
408 $alt = $this->execATN($dfa, $s0, $input, $index, $outerContext);
456 DFAState $s0,
473 $previousD = $s0;
476 $this->log[] = 's0 = ' . $s0;
755 ATNConfigSet $s0,
761 $this->log[] = \sprintf('ExecATNWithFullContext %s', (string) $s0);
767 $previous = $s0;