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

Datatype Make::TState

A state in the NFA.

Import path

import codeql.regex.nfa.NfaUtils

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.