core/org.gnit.lucenekmp.util.automaton/NFARunAutomaton

NFARunAutomaton

class NFARunAutomaton(automaton: Automaton, alphabetSize: Int) : ByteRunnable, TransitionAccessor, Accountable

A RunAutomaton that does not require DFA. It will lazily determinize on-demand, memorizing the generated DFA states that has been explored. Note: the current implementation is NOT thread-safe

implemented based on: https://swtch.com/~rsc/regexp/regexp1.html

Constructors

NFARunAutomaton

constructor(automaton: Automaton, alphabetSize: Int)

constructor(automaton: Automaton)

Constructor, assuming alphabet size is the whole Unicode code point space

Types

Companion

object Companion

Properties

childResources

open val childResources: MutableCollection<Accountable>

Returns nested resources of this class. The result should be a point-in-time snapshot (to avoid race conditions).

classmap

val classmap: IntArray

size

open override val size: Int

Returns number of states this automaton has, note this may not be an accurate number in case of NFA

Functions

getCharClass

fun getCharClass(c: Int): Int

Gets character class of given codepoint

getNextTransition

open override fun getNextTransition(t: Transition)

Iterate to the next transition after the provided one

getNumTransitions

open override fun getNumTransitions(state: Int): Int

How many transitions this state has.

getTransition

open override fun getTransition(state: Int, index: Int, t: Transition)

Fill the provided Transition with the index'th transition leaving the specified state.

initTransition

open override fun initTransition(state: Int, t: Transition): Int

Initialize the provided Transition to iterate through all transitions leaving the specified state. You must call .getNextTransition to get each transition. Returns the number of transitions leaving this state.

isAccept

open override fun isAccept(state: Int): Boolean

Returns acceptance status for given state.

ramBytesUsed

open override fun ramBytesUsed(): Long

Return the memory usage of this object in bytes. Negative values are illegal.

run

open fun run(s: ByteArray, offset: Int, length: Int): Boolean

Returns true if the given byte array is accepted by this automaton

fun run(s: IntArray): Boolean

Run through a given codepoint array, return accepted or not, should only be used in test

step

open override fun step(state: Int, c: Int): Int

For a given state and an incoming character (codepoint), return the next state