CodeQL library for Java
codeql/java-all 0.6.1 ( 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
toString

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

Charpred