Struct regex_automata::nfa::thompson::nfa::SparseTransitions

pub struct SparseTransitions {
    pub transitions: Box<[Transition]>,
}

A sequence of transitions used to represent a sparse state.

This is the primary representation of a Sparse state. It corresponds to a sorted sequence of transitions with non-overlapping byte ranges. If the byte at the current position in the haystack matches one of the byte ranges, then the finite state machine should take the corresponding transition.

Fields

transitions: Box<[Transition]>

The sorted sequence of non-overlapping transitions.

Implementations

impl SparseTransitions

pub fn matches(&self, haystack: &[u8], at: usize) -> Option<StateID>

This follows the matching transition for a particular byte.

The matching transition is found by looking for a matching byte range (there is at most one) corresponding to the position at in haystack.

If at >= haystack.len(), then this returns None.

pub(crate) fn matches_unit(&self, unit: Unit) -> Option<StateID>

This follows the matching transition for any member of the alphabet.

The matching transition is found by looking for a matching byte range (there is at most one) corresponding to the position at in haystack. If the given alphabet unit is EOI, then this always returns None.

pub fn matches_byte(&self, byte: u8) -> Option<StateID>

This follows the matching transition for a particular byte.

The matching transition is found by looking for a matching byte range (there is at most one) corresponding to the byte given.

Trait Implementations

impl Clone for SparseTransitions

fn clone(&self) -> SparseTransitions

Returns a copy of the value.

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

Performs copy-assignment from source.

impl Debug for SparseTransitions

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

Formats the value using the given formatter.

impl PartialEq<SparseTransitions> for SparseTransitions

fn eq(&self, other: &SparseTransitions) -> bool

This method tests for self and other values to be equal, and is used by ==.

fn ne(&self, other: &Rhs) -> bool

This method tests for !=. The default implementation is almost always sufficient, and should not be overridden without very good reason.

impl Eq for SparseTransitions

impl StructuralEq for SparseTransitions

impl StructuralPartialEq for SparseTransitions