CodeQL library for Java/Kotlin
codeql/java-all 0.8.9 (changelog, source)
Search

Class Make::StateTuple

A state in the product automaton. The product automaton contains 3-tuples of states.

We lazily only construct those states that we are actually going to need. Either a start state (pivot, pivot, pumpEnd), or a state where there exists a transition from an already existing state.

The exponential variant of this query (js/redos) uses an optimization trick where q1 <= q2. This trick cannot be used here as the order of the elements matter.

Import path

import codeql.regex.nfa.SuperlinearBackTracking

Direct supertypes

Fields

Predicates

isTuple

Holds if this tuple is (r1, r2, r3).

toString

Gest a string representation of this tuple.

Charpred