iregex 0.2.0

Intermediate representation for Regular Expressions.
Documentation 
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53

use std::hash::Hash;

use iregex_automata::{
	nfa::{BuildNFA, StateBuilder, Tags},
	Class, Token, NFA,
};

use crate::{Alternation, Atom, Boundary, CaptureTag, Concatenation};

#[derive(Debug)]
pub enum Affix<T, B> {
	Any,
	Anchor,
	Alternation(Alternation<T, B>),
}

impl<T, B> Affix<T, B> {
	pub fn is_any(&self) -> bool {
		matches!(self, Self::Any)
	}

	pub fn is_anchor(&self) -> bool {
		matches!(self, Self::Anchor)
	}
}

impl<T, B, Q, C> BuildNFA<T, Q, C, CaptureTag> for Affix<T, B>
where
	T: Token,
	B: Boundary<T, Class = C>,
	Q: Copy + Ord,
	C: Clone + Eq + Hash + Class<T>,
{
	fn build_nfa_from<S: StateBuilder<T, Q, C>>(
		&self,
		state_builder: &mut S,
		nfa: &mut NFA<Q, T>,
		tags: &mut Tags<Q, CaptureTag>,
		class: &C,
	) -> Result<(Q, C::Map<Q>), S::Error> {
		match self {
			Self::Any => Alternation::from(Atom::<_, B>::star(Atom::Token(T::all()).into()))
				.build_nfa_from(state_builder, nfa, tags, class),
			Self::Anchor => Alternation::from(Concatenation::<_, B>::new()).build_nfa_from(
				state_builder,
				nfa,
				tags,
				class,
			),
			Self::Alternation(alt) => alt.build_nfa_from(state_builder, nfa, tags, class),
		}
	}
}