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.NfaUtilsDirect 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. |