CodeQL library for Java/Kotlin

codeql/java-all 0.8.3 (changelog, source)

Datatype Make::TState

A state in the NFA.

Import path

import codeql.regex.nfa.NfaUtils

Known direct subtypes

State

Branch types

Accept	An accept state, where exactly the given input string is accepted.
AcceptAnySuffix	An accept state, where the given input string, or any string that has this string as a prefix, is accepted.
Match	A state representing that the NFA is about to match a term. `i` is used to index into multi-char literals.

Injectors

Accept	An accept state, where exactly the given input string is accepted.
AcceptAnySuffix	An accept state, where the given input string, or any string that has this string as a prefix, is accepted.
Match	A state representing that the NFA is about to match a term. `i` is used to index into multi-char literals.