Struct RegexVec

pub struct RegexVec { /* private fields */ }

Implementations

impl RegexVec

pub fn alpha(&self) -> &AlphabetInfo

pub fn lazy_regexes(&self) -> &SimpleVob

pub fn initial_state(&mut self, selected: &SimpleVob) -> StateID

Create and return the initial state of a DFA for this regex vector

pub fn state_desc(&self, state: StateID) -> &StateDesc

pub fn possible_lookahead_len(&mut self, state: StateID) -> usize

pub fn lookahead_len_for_state(&mut self, state: StateID) -> Option<usize>

pub fn transition(&mut self, state: StateID, b: u8) -> StateID

Given a transition (a from-state and a byte) of the DFA for this regex vector, return the to-state. It is taken from the cache, if it is cached, and created otherwise.

pub fn subsume_possible(&mut self, state: StateID) -> bool

“Subsumption” is a feature implementing regex containment. subsume_possible() returns true if it’s possible for this state, false otherwise.

pub fn check_subsume( &mut self, state: StateID, lexeme_idx: usize, budget: u64, ) -> Result<bool, Error>

Part of the interface for “subsumption”, a feature implementing regex containment.

pub fn num_bytes(&self) -> usize

Estimate the size of the regex tables in bytes.

pub fn lowest_match(&mut self, state: StateID) -> Option<(usize, usize)>

Return index of lowest matching regex if any. Lazy regexes match as soon as they accept, while greedy only if they accept and force EOI.

pub fn next_byte(&mut self, state: StateID) -> NextByte

Check if the there is only one transition out of state. This is an approximation - see docs for NextByte.

pub fn limit_state_to( &mut self, state: StateID, allowed_lexemes: &SimpleVob, ) -> StateID

pub fn total_fuel_spent(&self) -> u64

pub fn set_max_states(&mut self, max_states: usize)

pub fn set_fuel(&mut self, fuel: u64)

pub fn has_error(&self) -> bool

pub fn get_error(&self) -> Option<String>

pub fn stats(&self) -> String

pub fn print_state_table(&self)

Trait Implementations

impl Clone for RegexVec

fn clone(&self) -> RegexVec

Returns a copy of the value.

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

Performs copy-assignment from source.

impl Debug for RegexVec

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

Formats the value using the given formatter.