Struct ExprSet

pub struct ExprSet { /* private fields */ }

Implementations

impl ExprSet

pub fn new(alphabet_size: usize) -> ExprSet

pub fn has_simply_forced_bytes(&self, e: ExprRef, bytes: &[u8]) -> bool

If this returns true, then the regex will match only strings starting with the given prefix. If this returns false, then it’s possible (but not sure) it will match something else.

pub fn set_pp(&mut self, pp: PrettyPrinter)

pub fn pp(&self) -> &PrettyPrinter

pub fn cost(&self) -> u64

pub fn expr_to_string_max_len(&self, id: ExprRef, max_len: usize) -> String

pub fn expr_to_string(&self, id: ExprRef) -> String

pub fn expr_to_string_with_info(&self, id: ExprRef) -> String

pub fn len(&self) -> usize

pub fn num_bytes(&self) -> usize

pub fn get(&self, id: ExprRef) -> Expr<'_>

pub fn reserve(&mut self, size: usize)

pub fn is_valid(&self, id: ExprRef) -> bool

pub fn lookahead_len(&self, e: ExprRef) -> Option<usize>

pub fn possible_lookahead_len(&self, e: ExprRef) -> usize

pub fn get_flags(&self, id: ExprRef) -> ExprFlags

pub fn get_tag(&self, id: ExprRef) -> ExprTag

pub fn get_args(&self, id: ExprRef) -> &[ExprRef]

pub fn is_nullable(&self, id: ExprRef) -> bool

pub fn is_positive(&self, id: ExprRef) -> bool

pub fn simple_map<V>( &mut self, r: ExprRef, process: impl FnMut(&mut ExprSet, &mut Vec<V>, ExprRef) -> V, ) -> V

where V: Clone,

pub fn map<K, V>( &mut self, r: ExprRef, cache: &mut HashMap<K, V>, concat_nullable_check: bool, mk_key: impl Fn(ExprRef) -> K, process: impl FnMut(&mut ExprSet, &mut Vec<V>, ExprRef) -> V, ) -> V

where K: Eq + PartialEq + Hash, V: Clone,

impl ExprSet

pub fn byte_set_from_byte(&self, b: u8) -> Vec<u32>

pub fn mk_byte(&mut self, b: u8) -> ExprRef

pub fn mk_byte_set(&mut self, s: &[u32]) -> ExprRef

pub fn mk_repeat(&mut self, e: ExprRef, min: u32, max: u32) -> ExprRef

pub fn mk_or(&mut self, args: &mut Vec<ExprRef>) -> ExprRef

pub fn mk_prefix_tree(&mut self, branches: Vec<(Vec<u8>, ExprRef)>) -> ExprRef

pub fn mk_byte_set_not(&mut self, x: ExprRef) -> ExprRef

pub fn mk_byte_set_or(&mut self, args: &[ExprRef]) -> ExprRef

pub fn mk_byte_set_neg_or(&mut self, args: &[ExprRef]) -> ExprRef

pub fn mk_byte_set_and(&mut self, aa: ExprRef, bb: ExprRef) -> ExprRef

pub fn mk_byte_set_sub(&mut self, aa: ExprRef, bb: ExprRef) -> ExprRef

pub fn mk_remainder_is( &mut self, divisor: u32, remainder: u32, scale: u32, fractional_part: bool, ) -> ExprRef

pub fn mk_and(&mut self, args: &mut Vec<ExprRef>) -> ExprRef

pub fn iter_concat(&self, root: ExprRef) -> ConcatIter<'_>

pub fn iter_concat_bytes(&self, root: ExprRef) -> ConcatByteIter<'_>

pub fn mk_concat_vec(&mut self, args: &[ExprRef]) -> ExprRef

pub fn mk_concat(&mut self, a: ExprRef, b: ExprRef) -> ExprRef

pub fn mk_byte_concat(&mut self, s: &[u8], tail: ExprRef) -> ExprRef

pub fn mk_byte_literal(&mut self, s: &[u8]) -> ExprRef

pub fn mk_literal(&mut self, s: &str) -> ExprRef

pub fn mk_not(&mut self, e: ExprRef) -> ExprRef

pub fn mk_lookahead(&mut self, e: ExprRef, offset: u32) -> ExprRef

impl ExprSet

pub fn parse_expr(&mut self, parser: Parser, rx: &str) -> Result<ExprRef, Error>

Trait Implementations

impl Clone for ExprSet

fn clone(&self) -> ExprSet

Returns a copy of the value.

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

Performs copy-assignment from source.