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

Class Make::State

A state in the NFA corresponding to a regular expression.

Each regular expression literal l has one accepting state Accept(l), one state that accepts all suffixes AcceptAnySuffix(l), and a state Match(t, i) for every subterm t, which represents the state of the NFA before starting to match t, or the ith character in t if t is a constant.

Import path

import codeql.regex.nfa.NfaUtils

Direct supertypes

Fields

Predicates

getRepr

Gets the term represented by this state.

hasLocationInfo

Holds if the term represented by this state is found at the specified location offsets.

toString

Gets a string representation for this state in a regular expression.

Charpred