Lines Matching refs:s0
24 public $s0;
58 $this->s0 = $precedenceState;
65 * start state {@see DFA::$s0} which is not stored in {@see DFA::$states}.
92 if (!$this->precedenceDfa || $this->s0 === null) {
96 if ($this->s0->edges === null) {
97 throw new \RuntimeException('s0.edges cannot be null for a precedence DFA.');
100 if ($precedence < 0 || $precedence >= \count($this->s0->edges)) {
104 return $this->s0->edges[$precedence] ?? null;
118 if (!$this->precedenceDfa || $this->s0 === null) {
126 if ($this->s0->edges === null) {
130 if ($precedence >= $this->s0->edges->count()) {
131 $this->s0->edges->setSize($precedence + 1);
134 // synchronization on s0 here is ok. when the DFA is turned into a
135 // precedence DFA, s0 will be initialized once and not updated again
136 // s0.edges is never null for a precedence DFA
137 $this->s0->edges[$precedence] = $startState;
163 if ($this->s0 === null) {
174 if ($this->s0 === null) {