|  | reflex::Pattern Class Reference updated Sun May 12 2024 by Robert van Engelen |

- Main Page
- Namespaces
- Classes
- Files

- Class List
- Class Hierarchy
- Class Members

Classes | Public Types | Public Member Functions | Static Public Member Functions | Protected Member Functions | Private Types | Private Member Functions | Static Private Member Functions | Private Attributes | Friends | List of all members
reflex::Pattern Class Reference

Pattern class holds a regex pattern and its compiled FSM opcode table or code for the reflex::Matcher engine. More...

`#include <pattern.h>`

Collaboration diagram for reflex::Pattern:
[legend]

## Classes

struct | Chars
| Set of chars and meta chars. More...
struct | Const
| Common constants. More...
struct | DFA
| DFA created by subset construction from regex patterns. More...
struct | HFA
| Indexing hash finite state automaton for indexed file search. More...
struct | ModConst
| Modifiers 'i', 'm', 'q', 's', 'u' (enable) 'I', 'M', 'Q', 'S', 'U' (disable) More...
struct | Option
| Global modifier modes, syntax flags, and compiler options. More...
struct | Position
| Finite state machine construction position information. More...

## Public Types

typedef uint8_t | Pred
| predict match bits More...
typedef uint16_t | Hash
| hash value type, max value is Const::HASH More...
typedef uint32_t | Index
| index into opcodes array Pattern::opc_ and subpattern indexing More...
typedef uint32_t | Accept
| group capture index More...
typedef uint32_t | Opcode
| 32 bit opcode word More...
typedef void(* | FSM) (class Matcher &)

## Public Member Functions

| Pattern ()
| Construct an unset pattern. More...
| Pattern (const char *regex, const char *options=NULL)
| Construct a pattern object given a regex string. More...
| Pattern (const char *regex, const std::string &options)
| Construct a pattern object given a regex string. More...
| Pattern (const std::string &regex, const char *options=NULL)
| Construct a pattern object given a regex string. More...
| Pattern (const std::string &regex, const std::string &options)
| Construct a pattern object given a regex string. More...
| Pattern (const Opcode *code, const uint8_t *pred=NULL)
| Construct a pattern object given an opcode table. More...
| Pattern (FSM fsm, const uint8_t *pred=NULL)
| Construct a pattern object given a function pointer to FSM code. More...
| Pattern (const Pattern &pattern)
| Copy constructor. More...
virtual | ~Pattern ()
| Destructor, deletes internal code array when owned and allocated. More...
void | clear ()
| Clear and delete pattern data. More...
Pattern & | assign (const char *regex, const char *options=NULL)
| Assign a (new) pattern. More...
Pattern & | assign (const char *regex, const std::string &options)
| Assign a (new) pattern. More...
Pattern & | assign (const std::string &regex, const char *options=NULL)
| Assign a (new) pattern. More...
Pattern & | assign (const std::string &regex, const std::string &options)
| Assign a (new) pattern. More...
Pattern & | assign (const Opcode *code, const uint8_t *pred=NULL)
| Assign a (new) pattern. More...
Pattern & | assign (FSM fsm, const uint8_t *pred=NULL)
| Assign a (new) pattern. More...
Pattern & | operator= (const Pattern &pattern)
| Assign a (new) pattern. More...
Pattern & | operator= (const char *regex)
| Assign a (new) pattern. More...
Pattern & | operator= (const std::string &regex)
| Assign a (new) pattern. More...
Pattern & | operator= (const Opcode *code)
| Assign a (new) pattern. More...
Pattern & | operator= (FSM fsm)
| Assign a (new) pattern. More...
Accept | size () const
| Get the number of subpatterns of this pattern object. More...
bool | empty () const
| Return true if this pattern is not assigned. More...
const std::string | operator[] (Accept choice) const
| Get subpattern regex of this pattern object or the whole regex with index 0. More...
bool | reachable (Accept choice) const
| Check if subpattern is reachable by a match. More...
size_t | nodes () const
| Get the number of finite state machine nodes (vertices). More...
size_t | edges () const
| Get the number of finite state machine edges (transitions on input characters). More...
size_t | words () const
| Get the code size in number of words. More...
size_t | hashes () const
| Get the total number of indexing hash tables constructed for the optional HFA. More...
float | parse_time () const
| Get elapsed regex parsing and analysis time. More...
float | nodes_time () const
| Get elapsed DFA vertices construction time. More...
float | edges_time () const
| Get elapsed DFA edges construction time. More...
float | words_time () const
| Get elapsed code words assembly time. More...
float | analysis_time () const
| Get elapsed time of DFA analysis to predict matches and construct an optional HFA. More...
bool | has_hfa () const
bool | match_hfa (const uint8_t *indexed, size_t size) const

## Static Public Member Functions

static bool | predict_match (const Pred pmh[], const char *s, size_t n)
| Returns true when match is predicted, based on s[0..3..e-1] (e >= s + 4). More...
static size_t | predict_match (const Pred pma[], const char *s)
| Returns zero when match is predicted (removed shift distance return, now just returns 0 or 1). More...
static uint8_t | frequency (uint8_t c)
| Relative frequency of English letters with upper/lower-case ratio = 0.0563, punctuation and UTF-8 bytes. More...

## Protected Member Functions

virtual void | error (regex_error_type code, size_t pos=0) const
| Throw an error. More...

## Private Types

enum | Meta { META_MIN = 0x100, META_WBB = 0x101, META_WBE = 0x102, META_NWB = 0x103, META_NWE = 0x104, META_BWB = 0x105, META_EWB = 0x106, META_BWE = 0x107, META_EWE = 0x108, META_BOL = 0x109, META_EOL = 0x10A, META_BOB = 0x10B, META_EOB = 0x10C, META_UND = 0x10D, META_IND = 0x10E, META_DED = 0x10F, META_MAX }
| Meta characters. More...
typedef uint8_t | Mod
typedef uint16_t | Char
typedef uint8_t | Lazy
typedef uint16_t | Iter
typedef uint16_t | Lookahead
typedef std::set< Lookahead > | Lookaheads
typedef uint32_t | Location
typedef ORanges< Location > | Locations
typedef std::map< int, Locations > | Map
typedef Locations | Mods[10]
typedef std::vector< Position > | Lazypos
typedef std::vector< Position > | Positions
typedef std::map< Position, Positions > | Follow
typedef std::pair< Chars, Positions > | Move
typedef std::list< Move > | Moves

## Private Member Functions

void | init (const char *options, const uint8_t *pred=NULL)
| Initialize the pattern at construction. More...
void | init_options (const char *options)
void | parse (Positions &startpos, Follow &followpos, Lazypos &lazypos, Mods modifiers, Map &lookahead)
void | parse1 (bool begin, Location &loc, Positions &firstpos, Positions &lastpos, bool &nullable, Follow &followpos, Lazy &lazyidx, Lazypos &lazypos, Mods modifiers, Locations &lookahead, Iter &iter)
void | parse2 (bool begin, Location &loc, Positions &firstpos, Positions &lastpos, bool &nullable, Follow &followpos, Lazy &lazyidx, Lazypos &lazypos, Mods modifiers, Locations &lookahead, Iter &iter)
void | parse3 (bool begin, Location &loc, Positions &firstpos, Positions &lastpos, bool &nullable, Follow &followpos, Lazy &lazyidx, Lazypos &lazypos, Mods modifiers, Locations &lookahead, Iter &iter)
void | parse4 (bool begin, Location &loc, Positions &firstpos, Positions &lastpos, bool &nullable, Follow &followpos, Lazy &lazyidx, Lazypos &lazypos, Mods modifiers, Locations &lookahead, Iter &iter)
Char | parse_esc (Location &loc, Chars *chars=NULL) const
void | compile (DFA::State *start, Follow &followpos, const Lazypos &lazypos, const Mods modifiers, const Map &lookahead)
void | lazy (const Lazypos &lazypos, Positions &pos) const
void | lazy (const Lazypos &lazypos, const Positions &pos, Positions &pos1) const
void | greedy (Positions &pos) const
void | trim_anchors (Positions &follow, const Position p) const
void | trim_lazy (Positions *pos, const Lazypos &lazypos) const
void | compile_transition (DFA::State *state, Follow &followpos, const Lazypos &lazypos, const Mods modifiers, const Map &lookahead, Moves &moves) const
void | transition (Moves &moves, Chars &chars, const Positions &follow) const
void | compile_list (Location loc, Chars &chars, const Mods modifiers) const
void | posix (size_t index, Chars &chars) const
void | flip (Chars &chars) const
void | assemble (DFA::State *start)
void | compact_dfa (DFA::State *start)
void | encode_dfa (DFA::State *start)
void | gencode_dfa (const DFA::State *start) const
void | check_dfa_closure (const DFA::State *state, int nest, bool &peek, bool &prev) const
void | gencode_dfa_closure (FILE *fd, const DFA::State *start, int nest, bool peek) const
void | graph_dfa (const DFA::State *start) const
void | export_code () const
void | analyze_dfa (DFA::State *start)
void | gen_predict_match (std::set< DFA::State * > states)
void | gen_predict_match_start (std::set< DFA::State * > states, std::map< DFA::State *, ORanges< Hash > > &hashes)
void | gen_predict_match_transitions (size_t level, DFA::State *state, const ORanges< Hash > &labels, std::map< DFA::State *, ORanges< Hash > > &hashes)
void | gen_match_hfa (DFA::State *start)
void | gen_match_hfa_start (DFA::State *start, HFA::State &index, HFA::StateHashes &hashes)
bool | gen_match_hfa_transitions (size_t level, size_t &max_level, DFA::State *state, const HFA::HashRanges &previous, HFA::State &index, HFA::StateHashes &hashes)
bool | match_hfa_transitions (size_t level, const HFA::Hashes &hashes, const uint8_t *indexed, size_t size, HFA::VisitSet &visit, HFA::VisitSet &next_visit, bool &accept) const
void | write_predictor (FILE *fd) const
void | write_namespace_open (FILE *fd) const
void | write_namespace_close (FILE *fd) const
size_t | find_at (Location loc, char c) const
Char | at (Location k) const
bool | eq_at (Location loc, const char *s) const
Char | escape_at (Location loc) const
Char | escapes_at (Location loc, const char *escapes) const

## Static Private Member Functions

static void | pos_insert (Positions &s1, const Positions &s2)
static void | pos_add (Positions &s, const Position &e)
static void | lazy_insert (Lazypos &s1, const Lazypos &s2)
static void | lazy_add (Lazypos &s, const Lazy i, Location p)
static bool | is_modified (Mod mod, const Mods modifiers, Location loc)
static void | update_modified (Mod mod, Mods modifiers, Location from, Location to)
static uint16_t | hash_pos (const Positions *pos)
static bool | valid_goto_index (Index index)
static bool | valid_take_index (Index index)
static bool | valid_lookahead_index (Index index)
static bool | is_meta (Char c)
static Opcode | opcode_long (Index index)
static Opcode | opcode_take (Index index)
static Opcode | opcode_redo ()
static Opcode | opcode_tail (Index index)
static Opcode | opcode_head (Index index)
static Opcode | opcode_goto (Char lo, Char hi, Index index)
static Opcode | opcode_halt ()
static bool | is_opcode_long (Opcode opcode)
static bool | is_opcode_take (Opcode opcode)
static bool | is_opcode_redo (Opcode opcode)
static bool | is_opcode_tail (Opcode opcode)
static bool | is_opcode_head (Opcode opcode)
static bool | is_opcode_halt (Opcode opcode)
static bool | is_opcode_goto (Opcode opcode)
static bool | is_opcode_meta (Opcode opcode)
static bool | is_opcode_goto (Opcode opcode, unsigned char c)
static Char | meta_of (Opcode opcode)
static Char | lo_of (Opcode opcode)
static Char | hi_of (Opcode opcode)
static Index | index_of (Opcode opcode)
static Index | long_index_of (Opcode opcode)
static Lookahead | lookahead_of (Opcode opcode)
static Char | lowercase (Char c)
| convert to lower case if c is a letter a-z, A-Z. More...
static Char | uppercase (Char c)
| convert to upper case if c is a letter a-z, A-Z. More...
static Hash | hash (Hash h, uint8_t b)
| predict match hash 0 <= hash() < Const::HASH. More...
static Hash | indexhash (Hash h, uint8_t b)
| file indexing hash 0 <= indexhash() < 65536, must be additive: indexhash(x,b+1) = indexhash(x,b)+1 modulo 2^16. More...

## Private Attributes

Option | opt_
| pattern compiler options More...
HFA | hfa_
| indexing hash finite state automaton More...
DFA | tfa_
| tree DFA constructed from strings More...
DFA | dfa_
| DFA constructed from regex with subset construction using firstpos/lastpos/followpos. More...
std::string | rex_
| regular expression string More...
std::vector< Location > | end_
| entries point to the subpattern's ending '|' or '\0' More...
std::vector< bool > | acc_
| true if subpattern n is accepting (state is reachable) More...
size_t | vno_
| number of finite state machine vertices |V| More...
size_t | eno_
| number of finite state machine edges |E| More...
size_t | hno_
| number of indexing hash tables (HFA edges) More...
const Opcode * | opc_
| points to the table with compiled finite state machine opcodes More...
FSM | fsm_
| function pointer to FSM code More...
Index | nop_
| number of opcodes generated More...
Index | cut_
| DFA s-t cut to improve predict match and HFA accuracy together with lbk_ and cbk_. More...
size_t | len_
| length of chr_[], less or equal to 255 More...
size_t | min_
| patterns after the prefix are at least this long but no more than 8 More...
size_t | pin_
| number of needles, 0 to 16 More...
std::bitset< 256 > | cbk_
| characters to look back over when lbk_ > 0, never includes More...
std::bitset< 256 > | fst_
| the beginning characters of the pattern More...
char | chr_ [256]
| pattern prefix string or character needles for needle-based search More...
Pred | bit_ [256]
| bitap array More...
Pred | pmh_ [Const::HASH]
| predict-match hash array More...
Pred | pma_ [Const::HASH]
| predict-match array More...
uint16_t | lbk_
| lookback distance or 0xffff unlimited lookback or 0 for no lookback (empty cbk_) More...
uint16_t | lbm_
| loopback minimum distance when lbk_ > 0 More...
uint16_t | lcp_
| primary least common character position in the pattern or 0xffff More...
uint16_t | lcs_
| secondary least common character position in the pattern or 0xffff More...
size_t | bmd_
| Boyer-Moore jump distance on mismatch, B-M is enabled when bmd_ > 0 (<= 255) More...
uint8_t | bms_ [256]
| Boyer-Moore skip array. More...
float | pms_
| ms elapsed time to parse regex More...
float | vms_
| ms elapsed time to compile DFA vertices More...
float | ems_
| ms elapsed time to compile DFA edges More...
float | wms_
| ms elapsed time to assemble code words More...
float | ams_
| ms elapsed time to analyze DFA for predict match and HFA More...
size_t | npy_
| entropy derived from the bitap array bit_[] More...
bool | one_
| true if matching one string stored in chr_[] without meta/anchors More...

## Friends

class | Matcher
| permit access by the reflex::Matcher engine More...
class | FuzzyMatcher
| permit access by the reflex::FuzzyMatcher engine More...

## Detailed Description

Pattern class holds a regex pattern and its compiled FSM opcode table or code for the reflex::Matcher engine.

## Member Typedef Documentation

typedef uint32_t reflex::Pattern::Accept

group capture index

typedef uint16_t reflex::Pattern::Char

private

typedef std::map<Position,Positions> reflex::Pattern::Follow

private

typedef void(* reflex::Pattern::FSM) (class Matcher &)

function pointer to FSM code

typedef uint16_t reflex::Pattern::Hash

hash value type, max value is Const::HASH

typedef uint32_t reflex::Pattern::Index

index into opcodes array Pattern::opc_ and subpattern indexing

typedef uint16_t reflex::Pattern::Iter

private

typedef uint8_t reflex::Pattern::Lazy

private

typedef std::vector<Position> reflex::Pattern::Lazypos

private

typedef uint32_t reflex::Pattern::Location

private

typedef ORanges<Location> reflex::Pattern::Locations

private

typedef uint16_t reflex::Pattern::Lookahead

private

typedef std::set<Lookahead> reflex::Pattern::Lookaheads

private

typedef std::map<int,Locations> reflex::Pattern::Map

private

typedef uint8_t reflex::Pattern::Mod

private

typedef Locations reflex::Pattern::Mods[10]

private

typedef std::pair<Chars,Positions> reflex::Pattern::Move

private

typedef std::list<Move> reflex::Pattern::Moves

private

typedef uint32_t reflex::Pattern::Opcode

32 bit opcode word

typedef std::vector<Position> reflex::Pattern::Positions

private

typedef uint8_t reflex::Pattern::Pred

predict match bits

## Member Enumeration Documentation

enum reflex::Pattern::Meta

private

Meta characters.

Enumerator
META_MIN |
META_WBB | word boundary at begin `\bx`
META_WBE | word boundary at end `x\b`
META_NWB | non-word boundary at begin `\Bx`
META_NWE | non-word boundary at end `x\B`
META_BWB | begin of word at begin `\<x`
META_EWB | end of word at begin `\>x`
META_BWE | begin of word at end `x\<`
META_EWE | end of word at end `x\>`
META_BOL | begin of line `^`
META_EOL | end of line `$`
META_BOB | begin of buffer `\A`
META_EOB | end of buffer `\Z`
META_UND | undent boundary `\k`
META_IND | indent boundary `\i` (must be one but the largest META code)
META_DED | dedent boundary `\j` (must be the largest META code)
META_MAX | max meta characters

## Constructor & Destructor Documentation

reflex::Pattern::Pattern | ( |  | ) |

inline

Construct an unset pattern.

reflex::Pattern::Pattern | ( | const char * | regex,
|  | const char * | options = `NULL`
| ) |  |

inline explicit

Construct a pattern object given a regex string.

reflex::Pattern::Pattern | ( | const char * | regex,
|  | const std::string & | options
| ) |  |

inline

Construct a pattern object given a regex string.

reflex::Pattern::Pattern | ( | const std::string & | regex,
|  | const char * | options = `NULL`
| ) |  |

inline explicit

Construct a pattern object given a regex string.

reflex::Pattern::Pattern | ( | const std::string & | regex,
|  | const std::string & | options
| ) |  |

inline

Construct a pattern object given a regex string.

reflex::Pattern::Pattern | ( | const Opcode * | code,
|  | const uint8_t * | pred = `NULL`
| ) |  |

inline explicit

Construct a pattern object given an opcode table.

reflex::Pattern::Pattern | ( | FSM | fsm,
|  | const uint8_t * | pred = `NULL`
| ) |  |

inline explicit

Construct a pattern object given a function pointer to FSM code.

reflex::Pattern::Pattern | ( | const Pattern & | pattern | ) |

inline

Copy constructor.

Parameters

  pattern | pattern to copy

virtual reflex::Pattern::~Pattern | ( |  | ) |

inline virtual

Destructor, deletes internal code array when owned and allocated.

## Member Function Documentation

float reflex::Pattern::analysis_time | ( |  | ) | const

inline

Get elapsed time of DFA analysis to predict matches and construct an optional HFA.

Returns
  time in ms

void reflex::Pattern::analyze_dfa | ( | DFA::State * | start | ) |

private

void reflex::Pattern::assemble | ( | DFA::State * | start | ) |

private

Pattern& reflex::Pattern::assign | ( | const char * | regex,
|  | const char * | options = `NULL`
| ) |  |

inline

Assign a (new) pattern.

Pattern& reflex::Pattern::assign | ( | const char * | regex,
|  | const std::string & | options
| ) |  |

inline

Assign a (new) pattern.

Pattern& reflex::Pattern::assign | ( | const std::string & | regex,
|  | const char * | options = `NULL`
| ) |  |

inline

Assign a (new) pattern.

Pattern& reflex::Pattern::assign | ( | const std::string & | regex,
|  | const std::string & | options
| ) |  |

inline

Assign a (new) pattern.

Pattern& reflex::Pattern::assign | ( | const Opcode * | code,
|  | const uint8_t * | pred = `NULL`
| ) |  |

inline

Assign a (new) pattern.

Pattern& reflex::Pattern::assign | ( | FSM | fsm,
|  | const uint8_t * | pred = `NULL`
| ) |  |

inline

Assign a (new) pattern.

Char reflex::Pattern::at | ( | Location | k | ) | const

inline private

void reflex::Pattern::check_dfa_closure | ( | const DFA::State * | state,
|  | int | nest,
|  | bool & | peek,
|  | bool & | prev
| ) |  | const

private

void reflex::Pattern::clear | ( |  | ) |

inline

Clear and delete pattern data.

void reflex::Pattern::compact_dfa | ( | DFA::State * | start | ) |

private

void reflex::Pattern::compile | ( | DFA::State * | start,
|  | Follow & | followpos,
|  | const Lazypos & | lazypos,
|  | const Mods | modifiers,
|  | const Map & | lookahead
| ) |  |

private

void reflex::Pattern::compile_list | ( | Location | loc,
|  | Chars & | chars,
|  | const Mods | modifiers
| ) |  | const

private

void reflex::Pattern::compile_transition | ( | DFA::State * | state,
|  | Follow & | followpos,
|  | const Lazypos & | lazypos,
|  | const Mods | modifiers,
|  | const Map & | lookahead,
|  | Moves & | moves
| ) |  | const

private

size_t reflex::Pattern::edges | ( |  | ) | const

inline

Get the number of finite state machine edges (transitions on input characters).

Returns
  number of edges or 0 when no finite state machine was constructed by this pattern

float reflex::Pattern::edges_time | ( |  | ) | const

inline

Get elapsed DFA edges construction time.

Returns
  time in ms

bool reflex::Pattern::empty | ( |  | ) | const

inline

Return true if this pattern is not assigned.

Returns
  true if this pattern is not assigned

void reflex::Pattern::encode_dfa | ( | DFA::State * | start | ) |

private

bool reflex::Pattern::eq_at | ( | Location | loc,
|  | const char * | s
| ) |  | const

inline private

virtual void reflex::Pattern::error | ( | regex_error_type | code,
|  | size_t | pos = `0`
| ) |  | const

protected virtual

Throw an error.

Parameters

  code | error code
  pos | optional location of the error in regex string Pattern::rex_

Char reflex::Pattern::escape_at | ( | Location | loc | ) | const

inline private

Char reflex::Pattern::escapes_at | ( | Location | loc,
|  | const char * | escapes
| ) |  | const

inline private

void reflex::Pattern::export_code | ( |  | ) | const

private

size_t reflex::Pattern::find_at | ( | Location | loc,
|  | char | c
| ) |  | const

inline private

void reflex::Pattern::flip | ( | Chars & | chars | ) | const

private

static uint8_t reflex::Pattern::frequency | ( | uint8_t | c | ) |

inline static

Relative frequency of English letters with upper/lower-case ratio = 0.0563, punctuation and UTF-8 bytes.

void reflex::Pattern::gen_match_hfa | ( | DFA::State * | start | ) |

private

void reflex::Pattern::gen_match_hfa_start | ( | DFA::State * | start,
|  | HFA::State & | index,
|  | HFA::StateHashes & | hashes
| ) |  |

private

bool reflex::Pattern::gen_match_hfa_transitions | ( | size_t | level,
|  | size_t & | max_level,
|  | DFA::State * | state,
|  | const HFA::HashRanges & | previous,
|  | HFA::State & | index,
|  | HFA::StateHashes & | hashes
| ) |  |

private

void reflex::Pattern::gen_predict_match | ( | std::set< DFA::State * > | states | ) |

private

void reflex::Pattern::gen_predict_match_start | ( | std::set< DFA::State * > | states,
|  | std::map< DFA::State *, ORanges< Hash > > & | hashes
| ) |  |

private

void reflex::Pattern::gen_predict_match_transitions | ( | size_t | level,
|  | DFA::State * | state,
|  | const ORanges< Hash > & | labels,
|  | std::map< DFA::State *, ORanges< Hash > > & | hashes
| ) |  |

private

void reflex::Pattern::gencode_dfa | ( | const DFA::State * | start | ) | const

private

void reflex::Pattern::gencode_dfa_closure | ( | FILE * | fd,
|  | const DFA::State * | start,
|  | int | nest,
|  | bool | peek
| ) |  | const

private

void reflex::Pattern::graph_dfa | ( | const DFA::State * | start | ) | const

private

void reflex::Pattern::greedy | ( | Positions & | pos | ) | const

private

bool reflex::Pattern::has_hfa | ( |  | ) | const

inline

static Hash reflex::Pattern::hash | ( | Hash | h,
|  | uint8_t | b
| ) |  |

inline static private

predict match hash 0 <= hash() < Const::HASH.

static uint16_t reflex::Pattern::hash_pos | ( | const Positions * | pos | ) |

inline static private

size_t reflex::Pattern::hashes | ( |  | ) | const

inline

Get the total number of indexing hash tables constructed for the optional HFA.

Returns
  number of HFA hashes total for all HFA edges

static Char reflex::Pattern::hi_of | ( | Opcode | opcode | ) |

inline static private

static Index reflex::Pattern::index_of | ( | Opcode | opcode | ) |

inline static private

static Hash reflex::Pattern::indexhash | ( | Hash | h,
|  | uint8_t | b
| ) |  |

inline static private

file indexing hash 0 <= indexhash() < 65536, must be additive: indexhash(x,b+1) = indexhash(x,b)+1 modulo 2^16.

void reflex::Pattern::init | ( | const char * | options,
|  | const uint8_t * | pred = `NULL`
| ) |  |

private

Initialize the pattern at construction.

void reflex::Pattern::init_options | ( | const char * | options | ) |

private

static bool reflex::Pattern::is_meta | ( | Char | c | ) |

inline static private

static bool reflex::Pattern::is_modified | ( | Mod | mod,
|  | const Mods | modifiers,
|  | Location | loc
| ) |  |

inline static private

static bool reflex::Pattern::is_opcode_goto | ( | Opcode | opcode | ) |

inline static private

static bool reflex::Pattern::is_opcode_goto | ( | Opcode | opcode,
|  | unsigned char | c
| ) |  |

inline static private

static bool reflex::Pattern::is_opcode_halt | ( | Opcode | opcode | ) |

inline static private

static bool reflex::Pattern::is_opcode_head | ( | Opcode | opcode | ) |

inline static private

static bool reflex::Pattern::is_opcode_long | ( | Opcode | opcode | ) |

inline static private

static bool reflex::Pattern::is_opcode_meta | ( | Opcode | opcode | ) |

inline static private

static bool reflex::Pattern::is_opcode_redo | ( | Opcode | opcode | ) |

inline static private

static bool reflex::Pattern::is_opcode_tail | ( | Opcode | opcode | ) |

inline static private

static bool reflex::Pattern::is_opcode_take | ( | Opcode | opcode | ) |

inline static private

void reflex::Pattern::lazy | ( | const Lazypos & | lazypos,
|  | Positions & | pos
| ) |  | const

private

void reflex::Pattern::lazy | ( | const Lazypos & | lazypos,
|  | const Positions & | pos,
|  | Positions & | pos1
| ) |  | const

private

static void reflex::Pattern::lazy_add | ( | Lazypos & | s,
|  | const Lazy | i,
|  | Location | p
| ) |  |

inline static private

static void reflex::Pattern::lazy_insert | ( | Lazypos & | s1,
|  | const Lazypos & | s2
| ) |  |

inline static private

static Char reflex::Pattern::lo_of | ( | Opcode | opcode | ) |

inline static private

static Index reflex::Pattern::long_index_of | ( | Opcode | opcode | ) |

inline static private

static Lookahead reflex::Pattern::lookahead_of | ( | Opcode | opcode | ) |

inline static private

static Char reflex::Pattern::lowercase | ( | Char | c | ) |

inline static private

convert to lower case if c is a letter a-z, A-Z.

bool reflex::Pattern::match_hfa | ( | const uint8_t * | indexed,
|  | size_t | size
| ) |  | const

bool reflex::Pattern::match_hfa_transitions | ( | size_t | level,
|  | const HFA::Hashes & | hashes,
|  | const uint8_t * | indexed,
|  | size_t | size,
|  | HFA::VisitSet & | visit,
|  | HFA::VisitSet & | next_visit,
|  | bool & | accept
| ) |  | const

private

static Char reflex::Pattern::meta_of | ( | Opcode | opcode | ) |

inline static private

size_t reflex::Pattern::nodes | ( |  | ) | const

inline

Get the number of finite state machine nodes (vertices).

Returns
  number of nodes or 0 when no finite state machine was constructed by this pattern

float reflex::Pattern::nodes_time | ( |  | ) | const

inline

Get elapsed DFA vertices construction time.

Returns
  time in ms

static Opcode reflex::Pattern::opcode_goto | ( | Char | lo,
|  | Char | hi,
|  | Index | index
| ) |  |

inline static private

static Opcode reflex::Pattern::opcode_halt | ( |  | ) |

inline static private

static Opcode reflex::Pattern::opcode_head | ( | Index | index | ) |

inline static private

static Opcode reflex::Pattern::opcode_long | ( | Index | index | ) |

inline static private

static Opcode reflex::Pattern::opcode_redo | ( |  | ) |

inline static private

static Opcode reflex::Pattern::opcode_tail | ( | Index | index | ) |

inline static private

static Opcode reflex::Pattern::opcode_take | ( | Index | index | ) |

inline static private

Pattern& reflex::Pattern::operator= | ( | const Pattern & | pattern | ) |

inline

Assign a (new) pattern.

Pattern& reflex::Pattern::operator= | ( | const char * | regex | ) |

inline

Assign a (new) pattern.

Pattern& reflex::Pattern::operator= | ( | const std::string & | regex | ) |

inline

Assign a (new) pattern.

Pattern& reflex::Pattern::operator= | ( | const Opcode * | code | ) |

inline

Assign a (new) pattern.

Pattern& reflex::Pattern::operator= | ( | FSM | fsm | ) |

inline

Assign a (new) pattern.

const std::string reflex::Pattern::operator[] | ( | Accept | choice | ) | const

Get subpattern regex of this pattern object or the whole regex with index 0.

Returns
  subpattern string or "" when not set

void reflex::Pattern::parse | ( | Positions & | startpos,
|  | Follow & | followpos,
|  | Lazypos & | lazypos,
|  | Mods | modifiers,
|  | Map & | lookahead
| ) |  |

private

void reflex::Pattern::parse1 | ( | bool | begin,
|  | Location & | loc,
|  | Positions & | firstpos,
|  | Positions & | lastpos,
|  | bool & | nullable,
|  | Follow & | followpos,
|  | Lazy & | lazyidx,
|  | Lazypos & | lazypos,
|  | Mods | modifiers,
|  | Locations & | lookahead,
|  | Iter & | iter
| ) |  |

private

void reflex::Pattern::parse2 | ( | bool | begin,
|  | Location & | loc,
|  | Positions & | firstpos,
|  | Positions & | lastpos,
|  | bool & | nullable,
|  | Follow & | followpos,
|  | Lazy & | lazyidx,
|  | Lazypos & | lazypos,
|  | Mods | modifiers,
|  | Locations & | lookahead,
|  | Iter & | iter
| ) |  |

private

void reflex::Pattern::parse3 | ( | bool | begin,
|  | Location & | loc,
|  | Positions & | firstpos,
|  | Positions & | lastpos,
|  | bool & | nullable,
|  | Follow & | followpos,
|  | Lazy & | lazyidx,
|  | Lazypos & | lazypos,
|  | Mods | modifiers,
|  | Locations & | lookahead,
|  | Iter & | iter
| ) |  |

private

void reflex::Pattern::parse4 | ( | bool | begin,
|  | Location & | loc,
|  | Positions & | firstpos,
|  | Positions & | lastpos,
|  | bool & | nullable,
|  | Follow & | followpos,
|  | Lazy & | lazyidx,
|  | Lazypos & | lazypos,
|  | Mods | modifiers,
|  | Locations & | lookahead,
|  | Iter & | iter
| ) |  |

private

Char reflex::Pattern::parse_esc | ( | Location & | loc,
|  | Chars * | chars = `NULL`
| ) |  | const

private

float reflex::Pattern::parse_time | ( |  | ) | const

inline

Get elapsed regex parsing and analysis time.

Returns
  time in ms

static void reflex::Pattern::pos_add | ( | Positions & | s,
|  | const Position & | e
| ) |  |

inline static private

static void reflex::Pattern::pos_insert | ( | Positions & | s1,
|  | const Positions & | s2
| ) |  |

inline static private

void reflex::Pattern::posix | ( | size_t | index,
|  | Chars & | chars
| ) |  | const

private

static bool reflex::Pattern::predict_match | ( | const Pred | pmh[],
|  | const char * | s,
|  | size_t | n
| ) |  |

inline static

Returns true when match is predicted, based on s[0..3..e-1] (e >= s + 4).

static size_t reflex::Pattern::predict_match | ( | const Pred | pma[],
|  | const char * | s
| ) |  |

inline static

Returns zero when match is predicted (removed shift distance return, now just returns 0 or 1).

bool reflex::Pattern::reachable | ( | Accept | choice | ) | const

inline

Check if subpattern is reachable by a match.

Returns
  true if subpattern is reachable

Accept reflex::Pattern::size | ( |  | ) | const

inline

Get the number of subpatterns of this pattern object.

Returns
  number of subpatterns

void reflex::Pattern::transition | ( | Moves & | moves,
|  | Chars & | chars,
|  | const Positions & | follow
| ) |  | const

private

void reflex::Pattern::trim_anchors | ( | Positions & | follow,
|  | const Position | p
| ) |  | const

private

void reflex::Pattern::trim_lazy | ( | Positions * | pos,
|  | const Lazypos & | lazypos
| ) |  | const

private

static void reflex::Pattern::update_modified | ( | Mod | mod,
|  | Mods | modifiers,
|  | Location | from,
|  | Location | to
| ) |  |

inline static private

static Char reflex::Pattern::uppercase | ( | Char | c | ) |

inline static private

convert to upper case if c is a letter a-z, A-Z.

static bool reflex::Pattern::valid_goto_index | ( | Index | index | ) |

inline static private

static bool reflex::Pattern::valid_lookahead_index | ( | Index | index | ) |

inline static private

static bool reflex::Pattern::valid_take_index | ( | Index | index | ) |

inline static private

size_t reflex::Pattern::words | ( |  | ) | const

inline

Get the code size in number of words.

Returns
  number of words or 0 when no code was generated by this pattern

float reflex::Pattern::words_time | ( |  | ) | const

inline

Get elapsed code words assembly time.

Returns
  time in ms

void reflex::Pattern::write_namespace_close | ( | FILE * | fd | ) | const

private

void reflex::Pattern::write_namespace_open | ( | FILE * | fd | ) | const

private

void reflex::Pattern::write_predictor | ( | FILE * | fd | ) | const

private

## Friends And Related Function Documentation

friend class FuzzyMatcher

friend

permit access by the reflex::FuzzyMatcher engine

friend class Matcher

friend

permit access by the reflex::Matcher engine

## Member Data Documentation

std::vector<bool> reflex::Pattern::acc_

private

true if subpattern n is accepting (state is reachable)

float reflex::Pattern::ams_

private

ms elapsed time to analyze DFA for predict match and HFA

Pred reflex::Pattern::bit_[256]

private

bitap array

size_t reflex::Pattern::bmd_

private

Boyer-Moore jump distance on mismatch, B-M is enabled when bmd_ > 0 (<= 255)

uint8_t reflex::Pattern::bms_[256]

private

Boyer-Moore skip array.

std::bitset<256> reflex::Pattern::cbk_

private

characters to look back over when lbk_ > 0, never includes

char reflex::Pattern::chr_[256]

private

pattern prefix string or character needles for needle-based search

Index reflex::Pattern::cut_

private

DFA s-t cut to improve predict match and HFA accuracy together with lbk_ and cbk_.

DFA reflex::Pattern::dfa_

private

DFA constructed from regex with subset construction using firstpos/lastpos/followpos.

float reflex::Pattern::ems_

private

ms elapsed time to compile DFA edges

std::vector<Location> reflex::Pattern::end_

private

entries point to the subpattern's ending '|' or '\0'

size_t reflex::Pattern::eno_

private

number of finite state machine edges |E|

FSM reflex::Pattern::fsm_

private

function pointer to FSM code

std::bitset<256> reflex::Pattern::fst_

private

the beginning characters of the pattern

HFA reflex::Pattern::hfa_

private

indexing hash finite state automaton

size_t reflex::Pattern::hno_

private

number of indexing hash tables (HFA edges)

uint16_t reflex::Pattern::lbk_

private

lookback distance or 0xffff unlimited lookback or 0 for no lookback (empty cbk_)

uint16_t reflex::Pattern::lbm_

private

loopback minimum distance when lbk_ > 0

uint16_t reflex::Pattern::lcp_

private

primary least common character position in the pattern or 0xffff

uint16_t reflex::Pattern::lcs_

private

secondary least common character position in the pattern or 0xffff

size_t reflex::Pattern::len_

private

length of chr_[], less or equal to 255

size_t reflex::Pattern::min_

private

patterns after the prefix are at least this long but no more than 8

Index reflex::Pattern::nop_

private

number of opcodes generated

size_t reflex::Pattern::npy_

private

entropy derived from the bitap array bit_[]

bool reflex::Pattern::one_

private

true if matching one string stored in chr_[] without meta/anchors

const Opcode* reflex::Pattern::opc_

private

points to the table with compiled finite state machine opcodes

Option reflex::Pattern::opt_

private

pattern compiler options

size_t reflex::Pattern::pin_

private

number of needles, 0 to 16

Pred reflex::Pattern::pma_[Const::HASH]

private

predict-match array

Pred reflex::Pattern::pmh_[Const::HASH]

private

predict-match hash array

float reflex::Pattern::pms_

private

ms elapsed time to parse regex

std::string reflex::Pattern::rex_

private

regular expression string

DFA reflex::Pattern::tfa_

private

tree DFA constructed from strings

float reflex::Pattern::vms_

private

ms elapsed time to compile DFA vertices

size_t reflex::Pattern::vno_

private

number of finite state machine vertices |V|

float reflex::Pattern::wms_

private

ms elapsed time to assemble code words

The documentation for this class was generated from the following file:

- pattern.h