Module Make::PrefixConstruction
Predicates for constructing a prefix string that leads to a given state.
Import path
import codeql.regex.nfa.NfaUtilsPredicates
| prefix | Gets a string for which the regular expression will reach |
| prefixLength | Gets the minimum number of transitions it takes to reach |
Classes
| RelevantState | A state within a regular expression that contains a candidate state. |
Parameters
| isCandidate | isCandidateSig |