Lines Matching defs:to
28 public const MAX_DFA_EDGE = 127; // forces unicode to stay in ATN
42 * Shared across DFA to ATN simulation in case the ATN fails and the
58 * The index of the character relative to the beginning of the line 0..n-1.
71 * Used during DFA/ATN exec to record the most recent accept configuration info.
206 // As we move src->trg, src->trg, we keep track of the previous trg to
209 // be able to avoid doing a reach operation upon t. If s!=null,
211 // creating a DFA state. Once we know s!=null, we check to see if
215 // simulation because DFA simulation is really just a way to avoid
217 // we have a previously added DFA state, we could jump over to
221 // A character will take us back to an existing DFA state
234 // If this is a consumable input element, make sure to consume before
277 $this->log[] = \sprintf('reuse state %d edge to %d', $s->stateNumber, $target->stateNumber);
284 * Compute a target state for an edge in the DFA, and attempt to add the
285 * computed state and corresponding edge to the DFA.
292 * `t`. If `t` does not lead to a valid DFA state, this
315 // Add an edge from s to target DFA found/created for reach
364 // this is used to skip processing for configs which have a lower priority
429 // seek to after last char in token
589 // semantically it's not used that often. One of the key elements to
595 // should create the start state for rule 'a' (to save start state
624 // isEmpty() is false. In this case, the config needs to be
628 // getEpsilonTarget to return two configurations, so
677 * the predicate to ensure position sensitive values, including
681 * to the original state before returning (i.e. undo the actions made by
682 * the call to {@see LexerATNSimulator::consume()}.
690 * @return bool `true` If the specified predicate evaluates to `true`.
729 /* leading to this call, ATNConfigSet.hasSemanticContext is used as a
733 * execATN has the ability to resynchronize with the DFA state cache
737 * If that gets us to a previously created (but dangling) DFA
743 $to = $this->addDFAState($configs);
746 return $to;
749 $this->addDFAEdge($from, $t, $to);
751 return $to;
754 protected function addDFAEdge(DFAState $from, int $t, ?DFAState $to) : void
763 $this->log[] = \sprintf('EDGE %s->%s upon %d', $from, $to, $t);
771 $from->edges[$t - self::MIN_DFA_EDGE] = $to; // connect
778 * which rule to accept.