Struct regex_automata::nfa::thompson::range_trie::NextInsert

struct NextInsert {
    state_id: StateID,
    ranges: [Utf8Range; 4],
    len: u8,
}

The next state to process during insertion and any remaining ranges that we want to add for a particular sequence of ranges. The first such instance is always the root state along with all ranges given.

Fields

state_id: StateID

The next state to begin inserting ranges. This state should be the state at which ranges[0] should be inserted.

ranges: [Utf8Range; 4]

The ranges to insert. We used a fixed-size array here to avoid an allocation.

len: u8

The number of valid ranges in the above array.

Implementations

impl NextInsert

fn new(state_id: StateID, ranges: &[Utf8Range]) -> NextInsert

Create the next item to visit. The given state ID should correspond to the state at which the first range in the given slice should be inserted. The slice given must not be empty and it must be no longer than 4.

fn push( trie: &mut RangeTrie, stack: &mut Vec<NextInsert>, ranges: &[Utf8Range], ) -> StateID

Push a new empty state to visit along with any remaining ranges that still need to be inserted. The ID of the new empty state is returned.

If ranges is empty, then no new state is created and FINAL is returned.

fn state_id(&self) -> StateID

Return the ID of the state to visit.

fn ranges(&self) -> &[Utf8Range]

Return the remaining ranges to insert.

Trait Implementations

impl Clone for NextInsert

fn clone(&self) -> NextInsert

Returns a copy of the value.

fn clone_from(&mut self, source: &Self)

Performs copy-assignment from source.

impl Debug for NextInsert

fn fmt(&self, f: &mut Formatter<'_>) -> Result

Formats the value using the given formatter.