/rust/registry/src/index.crates.io-6f17d22bba15001f/regex-automata-0.2.0/src/dfa/dense.rs
Line | Count | Source (jump to first uncovered line) |
1 | | /*! |
2 | | Types and routines specific to dense DFAs. |
3 | | |
4 | | This module is the home of [`dense::DFA`](DFA). |
5 | | |
6 | | This module also contains a [`dense::Builder`](Builder) and a |
7 | | [`dense::Config`](Config) for configuring and building a dense DFA. |
8 | | */ |
9 | | |
10 | | #[cfg(feature = "alloc")] |
11 | | use core::cmp; |
12 | | use core::{convert::TryFrom, fmt, iter, mem::size_of, slice}; |
13 | | |
14 | | #[cfg(feature = "alloc")] |
15 | | use alloc::{ |
16 | | collections::{BTreeMap, BTreeSet}, |
17 | | vec, |
18 | | vec::Vec, |
19 | | }; |
20 | | |
21 | | #[cfg(feature = "alloc")] |
22 | | use crate::{ |
23 | | dfa::{ |
24 | | accel::Accel, determinize, error::Error, minimize::Minimizer, sparse, |
25 | | }, |
26 | | nfa::thompson, |
27 | | util::alphabet::ByteSet, |
28 | | MatchKind, |
29 | | }; |
30 | | use crate::{ |
31 | | dfa::{ |
32 | | accel::Accels, |
33 | | automaton::{fmt_state_indicator, Automaton}, |
34 | | special::Special, |
35 | | DEAD, |
36 | | }, |
37 | | util::{ |
38 | | alphabet::{self, ByteClasses}, |
39 | | bytes::{self, DeserializeError, Endian, SerializeError}, |
40 | | id::{PatternID, StateID}, |
41 | | start::Start, |
42 | | }, |
43 | | }; |
44 | | |
45 | | /// The label that is pre-pended to a serialized DFA. |
46 | | const LABEL: &str = "rust-regex-automata-dfa-dense"; |
47 | | |
48 | | /// The format version of dense regexes. This version gets incremented when a |
49 | | /// change occurs. A change may not necessarily be a breaking change, but the |
50 | | /// version does permit good error messages in the case where a breaking change |
51 | | /// is made. |
52 | | const VERSION: u32 = 2; |
53 | | |
54 | | /// The configuration used for compiling a dense DFA. |
55 | | /// |
56 | | /// A dense DFA configuration is a simple data object that is typically used |
57 | | /// with [`dense::Builder::configure`](self::Builder::configure). |
58 | | /// |
59 | | /// The default configuration guarantees that a search will _never_ return a |
60 | | /// [`MatchError`](crate::MatchError) for any haystack or pattern. Setting a |
61 | | /// quit byte with [`Config::quit`] or enabling heuristic support for Unicode |
62 | | /// word boundaries with [`Config::unicode_word_boundary`] can in turn cause a |
63 | | /// search to return an error. See the corresponding configuration options for |
64 | | /// more details on when those error conditions arise. |
65 | | #[cfg(feature = "alloc")] |
66 | | #[derive(Clone, Copy, Debug, Default)] |
67 | | pub struct Config { |
68 | | // As with other configuration types in this crate, we put all our knobs |
69 | | // in options so that we can distinguish between "default" and "not set." |
70 | | // This makes it possible to easily combine multiple configurations |
71 | | // without default values overwriting explicitly specified values. See the |
72 | | // 'overwrite' method. |
73 | | // |
74 | | // For docs on the fields below, see the corresponding method setters. |
75 | | anchored: Option<bool>, |
76 | | accelerate: Option<bool>, |
77 | | minimize: Option<bool>, |
78 | | match_kind: Option<MatchKind>, |
79 | | starts_for_each_pattern: Option<bool>, |
80 | | byte_classes: Option<bool>, |
81 | | unicode_word_boundary: Option<bool>, |
82 | | quit: Option<ByteSet>, |
83 | | dfa_size_limit: Option<Option<usize>>, |
84 | | determinize_size_limit: Option<Option<usize>>, |
85 | | } |
86 | | |
87 | | #[cfg(feature = "alloc")] |
88 | | impl Config { |
89 | | /// Return a new default dense DFA compiler configuration. |
90 | | pub fn new() -> Config { |
91 | | Config::default() |
92 | | } |
93 | | |
94 | | /// Set whether matching must be anchored at the beginning of the input. |
95 | | /// |
96 | | /// When enabled, a match must begin at the start of a search. When |
97 | | /// disabled, the DFA will act as if the pattern started with a `(?s:.)*?`, |
98 | | /// which enables a match to appear anywhere. |
99 | | /// |
100 | | /// Note that if you want to run both anchored and unanchored |
101 | | /// searches without building multiple automatons, you can enable the |
102 | | /// [`Config::starts_for_each_pattern`] configuration instead. This will |
103 | | /// permit unanchored any-pattern searches and pattern-specific anchored |
104 | | /// searches. See the documentation for that configuration for an example. |
105 | | /// |
106 | | /// By default this is disabled. |
107 | | /// |
108 | | /// **WARNING:** this is subtly different than using a `^` at the start of |
109 | | /// your regex. A `^` forces a regex to match exclusively at the start of |
110 | | /// input, regardless of where you begin your search. In contrast, enabling |
111 | | /// this option will allow your regex to match anywhere in your input, |
112 | | /// but the match must start at the beginning of a search. (Most of the |
113 | | /// higher level convenience search routines make "start of input" and |
114 | | /// "start of search" equivalent, but some routines allow treating these as |
115 | | /// orthogonal.) |
116 | | /// |
117 | | /// For example, consider the haystack `aba` and the following searches: |
118 | | /// |
119 | | /// 1. The regex `^a` is compiled with `anchored=false` and searches |
120 | | /// `aba` starting at position `2`. Since `^` requires the match to |
121 | | /// start at the beginning of the input and `2 > 0`, no match is found. |
122 | | /// 2. The regex `a` is compiled with `anchored=true` and searches `aba` |
123 | | /// starting at position `2`. This reports a match at `[2, 3]` since |
124 | | /// the match starts where the search started. Since there is no `^`, |
125 | | /// there is no requirement for the match to start at the beginning of |
126 | | /// the input. |
127 | | /// 3. The regex `a` is compiled with `anchored=true` and searches `aba` |
128 | | /// starting at position `1`. Since `b` corresponds to position `1` and |
129 | | /// since the regex is anchored, it finds no match. |
130 | | /// 4. The regex `a` is compiled with `anchored=false` and searches `aba` |
131 | | /// startting at position `1`. Since the regex is neither anchored nor |
132 | | /// starts with `^`, the regex is compiled with an implicit `(?s:.)*?` |
133 | | /// prefix that permits it to match anywhere. Thus, it reports a match |
134 | | /// at `[2, 3]`. |
135 | | /// |
136 | | /// # Example |
137 | | /// |
138 | | /// This demonstrates the differences between an anchored search and |
139 | | /// a pattern that begins with `^` (as described in the above warning |
140 | | /// message). |
141 | | /// |
142 | | /// ``` |
143 | | /// use regex_automata::{dfa::{Automaton, dense}, HalfMatch}; |
144 | | /// |
145 | | /// let haystack = "aba".as_bytes(); |
146 | | /// |
147 | | /// let dfa = dense::Builder::new() |
148 | | /// .configure(dense::Config::new().anchored(false)) // default |
149 | | /// .build(r"^a")?; |
150 | | /// let got = dfa.find_leftmost_fwd_at(None, None, haystack, 2, 3)?; |
151 | | /// // No match is found because 2 is not the beginning of the haystack, |
152 | | /// // which is what ^ requires. |
153 | | /// let expected = None; |
154 | | /// assert_eq!(expected, got); |
155 | | /// |
156 | | /// let dfa = dense::Builder::new() |
157 | | /// .configure(dense::Config::new().anchored(true)) |
158 | | /// .build(r"a")?; |
159 | | /// let got = dfa.find_leftmost_fwd_at(None, None, haystack, 2, 3)?; |
160 | | /// // An anchored search can still match anywhere in the haystack, it just |
161 | | /// // must begin at the start of the search which is '2' in this case. |
162 | | /// let expected = Some(HalfMatch::must(0, 3)); |
163 | | /// assert_eq!(expected, got); |
164 | | /// |
165 | | /// let dfa = dense::Builder::new() |
166 | | /// .configure(dense::Config::new().anchored(true)) |
167 | | /// .build(r"a")?; |
168 | | /// let got = dfa.find_leftmost_fwd_at(None, None, haystack, 1, 3)?; |
169 | | /// // No match is found since we start searching at offset 1 which |
170 | | /// // corresponds to 'b'. Since there is no '(?s:.)*?' prefix, no match |
171 | | /// // is found. |
172 | | /// let expected = None; |
173 | | /// assert_eq!(expected, got); |
174 | | /// |
175 | | /// let dfa = dense::Builder::new() |
176 | | /// .configure(dense::Config::new().anchored(false)) // default |
177 | | /// .build(r"a")?; |
178 | | /// let got = dfa.find_leftmost_fwd_at(None, None, haystack, 1, 3)?; |
179 | | /// // Since anchored=false, an implicit '(?s:.)*?' prefix was added to the |
180 | | /// // pattern. Even though the search starts at 'b', the 'match anything' |
181 | | /// // prefix allows the search to match 'a'. |
182 | | /// let expected = Some(HalfMatch::must(0, 3)); |
183 | | /// assert_eq!(expected, got); |
184 | | /// |
185 | | /// # Ok::<(), Box<dyn std::error::Error>>(()) |
186 | | /// ``` |
187 | | pub fn anchored(mut self, yes: bool) -> Config { |
188 | | self.anchored = Some(yes); |
189 | | self |
190 | | } |
191 | | |
192 | | /// Enable state acceleration. |
193 | | /// |
194 | | /// When enabled, DFA construction will analyze each state to determine |
195 | | /// whether it is eligible for simple acceleration. Acceleration typically |
196 | | /// occurs when most of a state's transitions loop back to itself, leaving |
197 | | /// only a select few bytes that will exit the state. When this occurs, |
198 | | /// other routines like `memchr` can be used to look for those bytes which |
199 | | /// may be much faster than traversing the DFA. |
200 | | /// |
201 | | /// Callers may elect to disable this if consistent performance is more |
202 | | /// desirable than variable performance. Namely, acceleration can sometimes |
203 | | /// make searching slower than it otherwise would be if the transitions |
204 | | /// that leave accelerated states are traversed frequently. |
205 | | /// |
206 | | /// See [`Automaton::accelerator`](crate::dfa::Automaton::accelerator) for |
207 | | /// an example. |
208 | | /// |
209 | | /// This is enabled by default. |
210 | | pub fn accelerate(mut self, yes: bool) -> Config { |
211 | | self.accelerate = Some(yes); |
212 | | self |
213 | | } |
214 | | |
215 | | /// Minimize the DFA. |
216 | | /// |
217 | | /// When enabled, the DFA built will be minimized such that it is as small |
218 | | /// as possible. |
219 | | /// |
220 | | /// Whether one enables minimization or not depends on the types of costs |
221 | | /// you're willing to pay and how much you care about its benefits. In |
222 | | /// particular, minimization has worst case `O(n*k*logn)` time and `O(k*n)` |
223 | | /// space, where `n` is the number of DFA states and `k` is the alphabet |
224 | | /// size. In practice, minimization can be quite costly in terms of both |
225 | | /// space and time, so it should only be done if you're willing to wait |
226 | | /// longer to produce a DFA. In general, you might want a minimal DFA in |
227 | | /// the following circumstances: |
228 | | /// |
229 | | /// 1. You would like to optimize for the size of the automaton. This can |
230 | | /// manifest in one of two ways. Firstly, if you're converting the |
231 | | /// DFA into Rust code (or a table embedded in the code), then a minimal |
232 | | /// DFA will translate into a corresponding reduction in code size, and |
233 | | /// thus, also the final compiled binary size. Secondly, if you are |
234 | | /// building many DFAs and putting them on the heap, you'll be able to |
235 | | /// fit more if they are smaller. Note though that building a minimal |
236 | | /// DFA itself requires additional space; you only realize the space |
237 | | /// savings once the minimal DFA is constructed (at which point, the |
238 | | /// space used for minimization is freed). |
239 | | /// 2. You've observed that a smaller DFA results in faster match |
240 | | /// performance. Naively, this isn't guaranteed since there is no |
241 | | /// inherent difference between matching with a bigger-than-minimal |
242 | | /// DFA and a minimal DFA. However, a smaller DFA may make use of your |
243 | | /// CPU's cache more efficiently. |
244 | | /// 3. You are trying to establish an equivalence between regular |
245 | | /// languages. The standard method for this is to build a minimal DFA |
246 | | /// for each language and then compare them. If the DFAs are equivalent |
247 | | /// (up to state renaming), then the languages are equivalent. |
248 | | /// |
249 | | /// Typically, minimization only makes sense as an offline process. That |
250 | | /// is, one might minimize a DFA before serializing it to persistent |
251 | | /// storage. In practical terms, minimization can take around an order of |
252 | | /// magnitude more time than compiling the initial DFA via determinization. |
253 | | /// |
254 | | /// This option is disabled by default. |
255 | | pub fn minimize(mut self, yes: bool) -> Config { |
256 | | self.minimize = Some(yes); |
257 | | self |
258 | | } |
259 | | |
260 | | /// Set the desired match semantics. |
261 | | /// |
262 | | /// The default is [`MatchKind::LeftmostFirst`], which corresponds to the |
263 | | /// match semantics of Perl-like regex engines. That is, when multiple |
264 | | /// patterns would match at the same leftmost position, the pattern that |
265 | | /// appears first in the concrete syntax is chosen. |
266 | | /// |
267 | | /// Currently, the only other kind of match semantics supported is |
268 | | /// [`MatchKind::All`]. This corresponds to classical DFA construction |
269 | | /// where all possible matches are added to the DFA. |
270 | | /// |
271 | | /// Typically, `All` is used when one wants to execute an overlapping |
272 | | /// search and `LeftmostFirst` otherwise. In particular, it rarely makes |
273 | | /// sense to use `All` with the various "leftmost" find routines, since the |
274 | | /// leftmost routines depend on the `LeftmostFirst` automata construction |
275 | | /// strategy. Specifically, `LeftmostFirst` adds dead states to the DFA |
276 | | /// as a way to terminate the search and report a match. `LeftmostFirst` |
277 | | /// also supports non-greedy matches using this strategy where as `All` |
278 | | /// does not. |
279 | | /// |
280 | | /// # Example: overlapping search |
281 | | /// |
282 | | /// This example shows the typical use of `MatchKind::All`, which is to |
283 | | /// report overlapping matches. |
284 | | /// |
285 | | /// ``` |
286 | | /// use regex_automata::{ |
287 | | /// dfa::{Automaton, OverlappingState, dense}, |
288 | | /// HalfMatch, MatchKind, |
289 | | /// }; |
290 | | /// |
291 | | /// let dfa = dense::Builder::new() |
292 | | /// .configure(dense::Config::new().match_kind(MatchKind::All)) |
293 | | /// .build_many(&[r"\w+$", r"\S+$"])?; |
294 | | /// let haystack = "@foo".as_bytes(); |
295 | | /// let mut state = OverlappingState::start(); |
296 | | /// |
297 | | /// let expected = Some(HalfMatch::must(1, 4)); |
298 | | /// let got = dfa.find_overlapping_fwd(haystack, &mut state)?; |
299 | | /// assert_eq!(expected, got); |
300 | | /// |
301 | | /// // The first pattern also matches at the same position, so re-running |
302 | | /// // the search will yield another match. Notice also that the first |
303 | | /// // pattern is returned after the second. This is because the second |
304 | | /// // pattern begins its match before the first, is therefore an earlier |
305 | | /// // match and is thus reported first. |
306 | | /// let expected = Some(HalfMatch::must(0, 4)); |
307 | | /// let got = dfa.find_overlapping_fwd(haystack, &mut state)?; |
308 | | /// assert_eq!(expected, got); |
309 | | /// |
310 | | /// # Ok::<(), Box<dyn std::error::Error>>(()) |
311 | | /// ``` |
312 | | /// |
313 | | /// # Example: reverse automaton to find start of match |
314 | | /// |
315 | | /// Another example for using `MatchKind::All` is for constructing a |
316 | | /// reverse automaton to find the start of a match. `All` semantics are |
317 | | /// used for this in order to find the longest possible match, which |
318 | | /// corresponds to the leftmost starting position. |
319 | | /// |
320 | | /// Note that if you need the starting position then |
321 | | /// [`dfa::regex::Regex`](crate::dfa::regex::Regex) will handle this for |
322 | | /// you, so it's usually not necessary to do this yourself. |
323 | | /// |
324 | | /// ``` |
325 | | /// use regex_automata::{dfa::{Automaton, dense}, HalfMatch, MatchKind}; |
326 | | /// |
327 | | /// let haystack = "123foobar456".as_bytes(); |
328 | | /// let pattern = r"[a-z]+"; |
329 | | /// |
330 | | /// let dfa_fwd = dense::DFA::new(pattern)?; |
331 | | /// let dfa_rev = dense::Builder::new() |
332 | | /// .configure(dense::Config::new() |
333 | | /// .anchored(true) |
334 | | /// .match_kind(MatchKind::All) |
335 | | /// ) |
336 | | /// .build(pattern)?; |
337 | | /// let expected_fwd = HalfMatch::must(0, 9); |
338 | | /// let expected_rev = HalfMatch::must(0, 3); |
339 | | /// let got_fwd = dfa_fwd.find_leftmost_fwd(haystack)?.unwrap(); |
340 | | /// // Here we don't specify the pattern to search for since there's only |
341 | | /// // one pattern and we're doing a leftmost search. But if this were an |
342 | | /// // overlapping search, you'd need to specify the pattern that matched |
343 | | /// // in the forward direction. (Otherwise, you might wind up finding the |
344 | | /// // starting position of a match of some other pattern.) That in turn |
345 | | /// // requires building the reverse automaton with starts_for_each_pattern |
346 | | /// // enabled. Indeed, this is what Regex does internally. |
347 | | /// let got_rev = dfa_rev.find_leftmost_rev_at( |
348 | | /// None, haystack, 0, got_fwd.offset(), |
349 | | /// )?.unwrap(); |
350 | | /// assert_eq!(expected_fwd, got_fwd); |
351 | | /// assert_eq!(expected_rev, got_rev); |
352 | | /// |
353 | | /// # Ok::<(), Box<dyn std::error::Error>>(()) |
354 | | /// ``` |
355 | | pub fn match_kind(mut self, kind: MatchKind) -> Config { |
356 | | self.match_kind = Some(kind); |
357 | | self |
358 | | } |
359 | | |
360 | | /// Whether to compile a separate start state for each pattern in the |
361 | | /// automaton. |
362 | | /// |
363 | | /// When enabled, a separate **anchored** start state is added for each |
364 | | /// pattern in the DFA. When this start state is used, then the DFA will |
365 | | /// only search for matches for the pattern specified, even if there are |
366 | | /// other patterns in the DFA. |
367 | | /// |
368 | | /// The main downside of this option is that it can potentially increase |
369 | | /// the size of the DFA and/or increase the time it takes to build the DFA. |
370 | | /// |
371 | | /// There are a few reasons one might want to enable this (it's disabled |
372 | | /// by default): |
373 | | /// |
374 | | /// 1. When looking for the start of an overlapping match (using a |
375 | | /// reverse DFA), doing it correctly requires starting the reverse search |
376 | | /// using the starting state of the pattern that matched in the forward |
377 | | /// direction. Indeed, when building a [`Regex`](crate::dfa::regex::Regex), |
378 | | /// it will automatically enable this option when building the reverse DFA |
379 | | /// internally. |
380 | | /// 2. When you want to use a DFA with multiple patterns to both search |
381 | | /// for matches of any pattern or to search for anchored matches of one |
382 | | /// particular pattern while using the same DFA. (Otherwise, you would need |
383 | | /// to compile a new DFA for each pattern.) |
384 | | /// 3. Since the start states added for each pattern are anchored, if you |
385 | | /// compile an unanchored DFA with one pattern while also enabling this |
386 | | /// option, then you can use the same DFA to perform anchored or unanchored |
387 | | /// searches. The latter you get with the standard search APIs. The former |
388 | | /// you get from the various `_at` search methods that allow you specify a |
389 | | /// pattern ID to search for. |
390 | | /// |
391 | | /// By default this is disabled. |
392 | | /// |
393 | | /// # Example |
394 | | /// |
395 | | /// This example shows how to use this option to permit the same DFA to |
396 | | /// run both anchored and unanchored searches for a single pattern. |
397 | | /// |
398 | | /// ``` |
399 | | /// use regex_automata::{ |
400 | | /// dfa::{Automaton, dense}, |
401 | | /// HalfMatch, PatternID, |
402 | | /// }; |
403 | | /// |
404 | | /// let dfa = dense::Builder::new() |
405 | | /// .configure(dense::Config::new().starts_for_each_pattern(true)) |
406 | | /// .build(r"foo[0-9]+")?; |
407 | | /// let haystack = b"quux foo123"; |
408 | | /// |
409 | | /// // Here's a normal unanchored search. Notice that we use 'None' for the |
410 | | /// // pattern ID. Since the DFA was built as an unanchored machine, it |
411 | | /// // use its default unanchored starting state. |
412 | | /// let expected = HalfMatch::must(0, 11); |
413 | | /// assert_eq!(Some(expected), dfa.find_leftmost_fwd_at( |
414 | | /// None, None, haystack, 0, haystack.len(), |
415 | | /// )?); |
416 | | /// // But now if we explicitly specify the pattern to search ('0' being |
417 | | /// // the only pattern in the DFA), then it will use the starting state |
418 | | /// // for that specific pattern which is always anchored. Since the |
419 | | /// // pattern doesn't have a match at the beginning of the haystack, we |
420 | | /// // find nothing. |
421 | | /// assert_eq!(None, dfa.find_leftmost_fwd_at( |
422 | | /// None, Some(PatternID::must(0)), haystack, 0, haystack.len(), |
423 | | /// )?); |
424 | | /// // And finally, an anchored search is not the same as putting a '^' at |
425 | | /// // beginning of the pattern. An anchored search can only match at the |
426 | | /// // beginning of the *search*, which we can change: |
427 | | /// assert_eq!(Some(expected), dfa.find_leftmost_fwd_at( |
428 | | /// None, Some(PatternID::must(0)), haystack, 5, haystack.len(), |
429 | | /// )?); |
430 | | /// |
431 | | /// # Ok::<(), Box<dyn std::error::Error>>(()) |
432 | | /// ``` |
433 | | pub fn starts_for_each_pattern(mut self, yes: bool) -> Config { |
434 | | self.starts_for_each_pattern = Some(yes); |
435 | | self |
436 | | } |
437 | | |
438 | | /// Whether to attempt to shrink the size of the DFA's alphabet or not. |
439 | | /// |
440 | | /// This option is enabled by default and should never be disabled unless |
441 | | /// one is debugging a generated DFA. |
442 | | /// |
443 | | /// When enabled, the DFA will use a map from all possible bytes to their |
444 | | /// corresponding equivalence class. Each equivalence class represents a |
445 | | /// set of bytes that does not discriminate between a match and a non-match |
446 | | /// in the DFA. For example, the pattern `[ab]+` has at least two |
447 | | /// equivalence classes: a set containing `a` and `b` and a set containing |
448 | | /// every byte except for `a` and `b`. `a` and `b` are in the same |
449 | | /// equivalence classes because they never discriminate between a match |
450 | | /// and a non-match. |
451 | | /// |
452 | | /// The advantage of this map is that the size of the transition table |
453 | | /// can be reduced drastically from `#states * 256 * sizeof(StateID)` to |
454 | | /// `#states * k * sizeof(StateID)` where `k` is the number of equivalence |
455 | | /// classes (rounded up to the nearest power of 2). As a result, total |
456 | | /// space usage can decrease substantially. Moreover, since a smaller |
457 | | /// alphabet is used, DFA compilation becomes faster as well. |
458 | | /// |
459 | | /// **WARNING:** This is only useful for debugging DFAs. Disabling this |
460 | | /// does not yield any speed advantages. Namely, even when this is |
461 | | /// disabled, a byte class map is still used while searching. The only |
462 | | /// difference is that every byte will be forced into its own distinct |
463 | | /// equivalence class. This is useful for debugging the actual generated |
464 | | /// transitions because it lets one see the transitions defined on actual |
465 | | /// bytes instead of the equivalence classes. |
466 | | pub fn byte_classes(mut self, yes: bool) -> Config { |
467 | | self.byte_classes = Some(yes); |
468 | | self |
469 | | } |
470 | | |
471 | | /// Heuristically enable Unicode word boundaries. |
472 | | /// |
473 | | /// When set, this will attempt to implement Unicode word boundaries as if |
474 | | /// they were ASCII word boundaries. This only works when the search input |
475 | | /// is ASCII only. If a non-ASCII byte is observed while searching, then a |
476 | | /// [`MatchError::Quit`](crate::MatchError::Quit) error is returned. |
477 | | /// |
478 | | /// A possible alternative to enabling this option is to simply use an |
479 | | /// ASCII word boundary, e.g., via `(?-u:\b)`. The main reason to use this |
480 | | /// option is if you absolutely need Unicode support. This option lets one |
481 | | /// use a fast search implementation (a DFA) for some potentially very |
482 | | /// common cases, while providing the option to fall back to some other |
483 | | /// regex engine to handle the general case when an error is returned. |
484 | | /// |
485 | | /// If the pattern provided has no Unicode word boundary in it, then this |
486 | | /// option has no effect. (That is, quitting on a non-ASCII byte only |
487 | | /// occurs when this option is enabled _and_ a Unicode word boundary is |
488 | | /// present in the pattern.) |
489 | | /// |
490 | | /// This is almost equivalent to setting all non-ASCII bytes to be quit |
491 | | /// bytes. The only difference is that this will cause non-ASCII bytes to |
492 | | /// be quit bytes _only_ when a Unicode word boundary is present in the |
493 | | /// pattern. |
494 | | /// |
495 | | /// When enabling this option, callers _must_ be prepared to handle |
496 | | /// a [`MatchError`](crate::MatchError) error during search. |
497 | | /// When using a [`Regex`](crate::dfa::regex::Regex), this corresponds |
498 | | /// to using the `try_` suite of methods. Alternatively, if |
499 | | /// callers can guarantee that their input is ASCII only, then a |
500 | | /// [`MatchError::Quit`](crate::MatchError::Quit) error will never be |
501 | | /// returned while searching. |
502 | | /// |
503 | | /// This is disabled by default. |
504 | | /// |
505 | | /// # Example |
506 | | /// |
507 | | /// This example shows how to heuristically enable Unicode word boundaries |
508 | | /// in a pattern. It also shows what happens when a search comes across a |
509 | | /// non-ASCII byte. |
510 | | /// |
511 | | /// ``` |
512 | | /// use regex_automata::{ |
513 | | /// dfa::{Automaton, dense}, |
514 | | /// HalfMatch, MatchError, MatchKind, |
515 | | /// }; |
516 | | /// |
517 | | /// let dfa = dense::Builder::new() |
518 | | /// .configure(dense::Config::new().unicode_word_boundary(true)) |
519 | | /// .build(r"\b[0-9]+\b")?; |
520 | | /// |
521 | | /// // The match occurs before the search ever observes the snowman |
522 | | /// // character, so no error occurs. |
523 | | /// let haystack = "foo 123 ☃".as_bytes(); |
524 | | /// let expected = Some(HalfMatch::must(0, 7)); |
525 | | /// let got = dfa.find_leftmost_fwd(haystack)?; |
526 | | /// assert_eq!(expected, got); |
527 | | /// |
528 | | /// // Notice that this search fails, even though the snowman character |
529 | | /// // occurs after the ending match offset. This is because search |
530 | | /// // routines read one byte past the end of the search to account for |
531 | | /// // look-around, and indeed, this is required here to determine whether |
532 | | /// // the trailing \b matches. |
533 | | /// let haystack = "foo 123☃".as_bytes(); |
534 | | /// let expected = MatchError::Quit { byte: 0xE2, offset: 7 }; |
535 | | /// let got = dfa.find_leftmost_fwd(haystack); |
536 | | /// assert_eq!(Err(expected), got); |
537 | | /// |
538 | | /// # Ok::<(), Box<dyn std::error::Error>>(()) |
539 | | /// ``` |
540 | | pub fn unicode_word_boundary(mut self, yes: bool) -> Config { |
541 | | // We have a separate option for this instead of just setting the |
542 | | // appropriate quit bytes here because we don't want to set quit bytes |
543 | | // for every regex. We only want to set them when the regex contains a |
544 | | // Unicode word boundary. |
545 | | self.unicode_word_boundary = Some(yes); |
546 | | self |
547 | | } |
548 | | |
549 | | /// Add a "quit" byte to the DFA. |
550 | | /// |
551 | | /// When a quit byte is seen during search time, then search will return |
552 | | /// a [`MatchError::Quit`](crate::MatchError::Quit) error indicating the |
553 | | /// offset at which the search stopped. |
554 | | /// |
555 | | /// A quit byte will always overrule any other aspects of a regex. For |
556 | | /// example, if the `x` byte is added as a quit byte and the regex `\w` is |
557 | | /// used, then observing `x` will cause the search to quit immediately |
558 | | /// despite the fact that `x` is in the `\w` class. |
559 | | /// |
560 | | /// This mechanism is primarily useful for heuristically enabling certain |
561 | | /// features like Unicode word boundaries in a DFA. Namely, if the input |
562 | | /// to search is ASCII, then a Unicode word boundary can be implemented |
563 | | /// via an ASCII word boundary with no change in semantics. Thus, a DFA |
564 | | /// can attempt to match a Unicode word boundary but give up as soon as it |
565 | | /// observes a non-ASCII byte. Indeed, if callers set all non-ASCII bytes |
566 | | /// to be quit bytes, then Unicode word boundaries will be permitted when |
567 | | /// building DFAs. Of course, callers should enable |
568 | | /// [`Config::unicode_word_boundary`] if they want this behavior instead. |
569 | | /// (The advantage being that non-ASCII quit bytes will only be added if a |
570 | | /// Unicode word boundary is in the pattern.) |
571 | | /// |
572 | | /// When enabling this option, callers _must_ be prepared to handle a |
573 | | /// [`MatchError`](crate::MatchError) error during search. When using a |
574 | | /// [`Regex`](crate::dfa::regex::Regex), this corresponds to using the |
575 | | /// `try_` suite of methods. |
576 | | /// |
577 | | /// By default, there are no quit bytes set. |
578 | | /// |
579 | | /// # Panics |
580 | | /// |
581 | | /// This panics if heuristic Unicode word boundaries are enabled and any |
582 | | /// non-ASCII byte is removed from the set of quit bytes. Namely, enabling |
583 | | /// Unicode word boundaries requires setting every non-ASCII byte to a quit |
584 | | /// byte. So if the caller attempts to undo any of that, then this will |
585 | | /// panic. |
586 | | /// |
587 | | /// # Example |
588 | | /// |
589 | | /// This example shows how to cause a search to terminate if it sees a |
590 | | /// `\n` byte. This could be useful if, for example, you wanted to prevent |
591 | | /// a user supplied pattern from matching across a line boundary. |
592 | | /// |
593 | | /// ``` |
594 | | /// use regex_automata::{ |
595 | | /// dfa::{Automaton, dense}, |
596 | | /// HalfMatch, MatchError, |
597 | | /// }; |
598 | | /// |
599 | | /// let dfa = dense::Builder::new() |
600 | | /// .configure(dense::Config::new().quit(b'\n', true)) |
601 | | /// .build(r"foo\p{any}+bar")?; |
602 | | /// |
603 | | /// let haystack = "foo\nbar".as_bytes(); |
604 | | /// // Normally this would produce a match, since \p{any} contains '\n'. |
605 | | /// // But since we instructed the automaton to enter a quit state if a |
606 | | /// // '\n' is observed, this produces a match error instead. |
607 | | /// let expected = MatchError::Quit { byte: 0x0A, offset: 3 }; |
608 | | /// let got = dfa.find_leftmost_fwd(haystack).unwrap_err(); |
609 | | /// assert_eq!(expected, got); |
610 | | /// |
611 | | /// # Ok::<(), Box<dyn std::error::Error>>(()) |
612 | | /// ``` |
613 | | pub fn quit(mut self, byte: u8, yes: bool) -> Config { |
614 | | if self.get_unicode_word_boundary() && !byte.is_ascii() && !yes { |
615 | | panic!( |
616 | | "cannot set non-ASCII byte to be non-quit when \ |
617 | | Unicode word boundaries are enabled" |
618 | | ); |
619 | | } |
620 | | if self.quit.is_none() { |
621 | | self.quit = Some(ByteSet::empty()); |
622 | | } |
623 | | if yes { |
624 | | self.quit.as_mut().unwrap().add(byte); |
625 | | } else { |
626 | | self.quit.as_mut().unwrap().remove(byte); |
627 | | } |
628 | | self |
629 | | } |
630 | | |
631 | | /// Set a size limit on the total heap used by a DFA. |
632 | | /// |
633 | | /// This size limit is expressed in bytes and is applied during |
634 | | /// determinization of an NFA into a DFA. If the DFA's heap usage, and only |
635 | | /// the DFA, exceeds this configured limit, then determinization is stopped |
636 | | /// and an error is returned. |
637 | | /// |
638 | | /// This limit does not apply to auxiliary storage used during |
639 | | /// determinization that isn't part of the generated DFA. |
640 | | /// |
641 | | /// This limit is only applied during determinization. Currently, there is |
642 | | /// no way to post-pone this check to after minimization if minimization |
643 | | /// was enabled. |
644 | | /// |
645 | | /// The total limit on heap used during determinization is the sum of the |
646 | | /// DFA and determinization size limits. |
647 | | /// |
648 | | /// The default is no limit. |
649 | | /// |
650 | | /// # Example |
651 | | /// |
652 | | /// This example shows a DFA that fails to build because of a configured |
653 | | /// size limit. This particular example also serves as a cautionary tale |
654 | | /// demonstrating just how big DFAs with large Unicode character classes |
655 | | /// can get. |
656 | | /// |
657 | | /// ``` |
658 | | /// use regex_automata::dfa::{dense, Automaton}; |
659 | | /// |
660 | | /// // 3MB isn't enough! |
661 | | /// dense::Builder::new() |
662 | | /// .configure(dense::Config::new().dfa_size_limit(Some(3_000_000))) |
663 | | /// .build(r"\w{20}") |
664 | | /// .unwrap_err(); |
665 | | /// |
666 | | /// // ... but 4MB probably is! |
667 | | /// // (Note that DFA sizes aren't necessarily stable between releases.) |
668 | | /// let dfa = dense::Builder::new() |
669 | | /// .configure(dense::Config::new().dfa_size_limit(Some(4_000_000))) |
670 | | /// .build(r"\w{20}")?; |
671 | | /// let haystack = "A".repeat(20).into_bytes(); |
672 | | /// assert!(dfa.find_leftmost_fwd(&haystack)?.is_some()); |
673 | | /// |
674 | | /// # Ok::<(), Box<dyn std::error::Error>>(()) |
675 | | /// ``` |
676 | | /// |
677 | | /// While one needs a little more than 3MB to represent `\w{20}`, it |
678 | | /// turns out that you only need a little more than 4KB to represent |
679 | | /// `(?-u:\w{20})`. So only use Unicode if you need it! |
680 | | pub fn dfa_size_limit(mut self, bytes: Option<usize>) -> Config { |
681 | | self.dfa_size_limit = Some(bytes); |
682 | | self |
683 | | } |
684 | | |
685 | | /// Set a size limit on the total heap used by determinization. |
686 | | /// |
687 | | /// This size limit is expressed in bytes and is applied during |
688 | | /// determinization of an NFA into a DFA. If the heap used for auxiliary |
689 | | /// storage during determinization (memory that is not in the DFA but |
690 | | /// necessary for building the DFA) exceeds this configured limit, then |
691 | | /// determinization is stopped and an error is returned. |
692 | | /// |
693 | | /// This limit does not apply to heap used by the DFA itself. |
694 | | /// |
695 | | /// The total limit on heap used during determinization is the sum of the |
696 | | /// DFA and determinization size limits. |
697 | | /// |
698 | | /// The default is no limit. |
699 | | /// |
700 | | /// # Example |
701 | | /// |
702 | | /// This example shows a DFA that fails to build because of a |
703 | | /// configured size limit on the amount of heap space used by |
704 | | /// determinization. This particular example complements the example for |
705 | | /// [`Config::dfa_size_limit`] by demonstrating that not only does Unicode |
706 | | /// potentially make DFAs themselves big, but it also results in more |
707 | | /// auxiliary storage during determinization. (Although, auxiliary storage |
708 | | /// is still not as much as the DFA itself.) |
709 | | /// |
710 | | /// ``` |
711 | | /// use regex_automata::dfa::{dense, Automaton}; |
712 | | /// |
713 | | /// // 300KB isn't enough! |
714 | | /// dense::Builder::new() |
715 | | /// .configure(dense::Config::new() |
716 | | /// .determinize_size_limit(Some(300_000)) |
717 | | /// ) |
718 | | /// .build(r"\w{20}") |
719 | | /// .unwrap_err(); |
720 | | /// |
721 | | /// // ... but 400KB probably is! |
722 | | /// // (Note that auxiliary storage sizes aren't necessarily stable between |
723 | | /// // releases.) |
724 | | /// let dfa = dense::Builder::new() |
725 | | /// .configure(dense::Config::new() |
726 | | /// .determinize_size_limit(Some(400_000)) |
727 | | /// ) |
728 | | /// .build(r"\w{20}")?; |
729 | | /// let haystack = "A".repeat(20).into_bytes(); |
730 | | /// assert!(dfa.find_leftmost_fwd(&haystack)?.is_some()); |
731 | | /// |
732 | | /// # Ok::<(), Box<dyn std::error::Error>>(()) |
733 | | /// ``` |
734 | | pub fn determinize_size_limit(mut self, bytes: Option<usize>) -> Config { |
735 | | self.determinize_size_limit = Some(bytes); |
736 | | self |
737 | | } |
738 | | |
739 | | /// Returns whether this configuration has enabled anchored searches. |
740 | | pub fn get_anchored(&self) -> bool { |
741 | | self.anchored.unwrap_or(false) |
742 | | } |
743 | | |
744 | | /// Returns whether this configuration has enabled simple state |
745 | | /// acceleration. |
746 | | pub fn get_accelerate(&self) -> bool { |
747 | | self.accelerate.unwrap_or(true) |
748 | | } |
749 | | |
750 | | /// Returns whether this configuration has enabled the expensive process |
751 | | /// of minimizing a DFA. |
752 | | pub fn get_minimize(&self) -> bool { |
753 | | self.minimize.unwrap_or(false) |
754 | | } |
755 | | |
756 | | /// Returns the match semantics set in this configuration. |
757 | | pub fn get_match_kind(&self) -> MatchKind { |
758 | | self.match_kind.unwrap_or(MatchKind::LeftmostFirst) |
759 | | } |
760 | | |
761 | | /// Returns whether this configuration has enabled anchored starting states |
762 | | /// for every pattern in the DFA. |
763 | | pub fn get_starts_for_each_pattern(&self) -> bool { |
764 | | self.starts_for_each_pattern.unwrap_or(false) |
765 | | } |
766 | | |
767 | | /// Returns whether this configuration has enabled byte classes or not. |
768 | | /// This is typically a debugging oriented option, as disabling it confers |
769 | | /// no speed benefit. |
770 | | pub fn get_byte_classes(&self) -> bool { |
771 | | self.byte_classes.unwrap_or(true) |
772 | | } |
773 | | |
774 | | /// Returns whether this configuration has enabled heuristic Unicode word |
775 | | /// boundary support. When enabled, it is possible for a search to return |
776 | | /// an error. |
777 | | pub fn get_unicode_word_boundary(&self) -> bool { |
778 | | self.unicode_word_boundary.unwrap_or(false) |
779 | | } |
780 | | |
781 | | /// Returns whether this configuration will instruct the DFA to enter a |
782 | | /// quit state whenever the given byte is seen during a search. When at |
783 | | /// least one byte has this enabled, it is possible for a search to return |
784 | | /// an error. |
785 | | pub fn get_quit(&self, byte: u8) -> bool { |
786 | | self.quit.map_or(false, |q| q.contains(byte)) |
787 | | } |
788 | | |
789 | | /// Returns the DFA size limit of this configuration if one was set. |
790 | | /// The size limit is total number of bytes on the heap that a DFA is |
791 | | /// permitted to use. If the DFA exceeds this limit during construction, |
792 | | /// then construction is stopped and an error is returned. |
793 | | pub fn get_dfa_size_limit(&self) -> Option<usize> { |
794 | | self.dfa_size_limit.unwrap_or(None) |
795 | | } |
796 | | |
797 | | /// Returns the determinization size limit of this configuration if one |
798 | | /// was set. The size limit is total number of bytes on the heap that |
799 | | /// determinization is permitted to use. If determinization exceeds this |
800 | | /// limit during construction, then construction is stopped and an error is |
801 | | /// returned. |
802 | | /// |
803 | | /// This is different from the DFA size limit in that this only applies to |
804 | | /// the auxiliary storage used during determinization. Once determinization |
805 | | /// is complete, this memory is freed. |
806 | | /// |
807 | | /// The limit on the total heap memory used is the sum of the DFA and |
808 | | /// determinization size limits. |
809 | | pub fn get_determinize_size_limit(&self) -> Option<usize> { |
810 | | self.determinize_size_limit.unwrap_or(None) |
811 | | } |
812 | | |
813 | | /// Overwrite the default configuration such that the options in `o` are |
814 | | /// always used. If an option in `o` is not set, then the corresponding |
815 | | /// option in `self` is used. If it's not set in `self` either, then it |
816 | | /// remains not set. |
817 | | pub(crate) fn overwrite(self, o: Config) -> Config { |
818 | | Config { |
819 | | anchored: o.anchored.or(self.anchored), |
820 | | accelerate: o.accelerate.or(self.accelerate), |
821 | | minimize: o.minimize.or(self.minimize), |
822 | | match_kind: o.match_kind.or(self.match_kind), |
823 | | starts_for_each_pattern: o |
824 | | .starts_for_each_pattern |
825 | | .or(self.starts_for_each_pattern), |
826 | | byte_classes: o.byte_classes.or(self.byte_classes), |
827 | | unicode_word_boundary: o |
828 | | .unicode_word_boundary |
829 | | .or(self.unicode_word_boundary), |
830 | | quit: o.quit.or(self.quit), |
831 | | dfa_size_limit: o.dfa_size_limit.or(self.dfa_size_limit), |
832 | | determinize_size_limit: o |
833 | | .determinize_size_limit |
834 | | .or(self.determinize_size_limit), |
835 | | } |
836 | | } |
837 | | } |
838 | | |
839 | | /// A builder for constructing a deterministic finite automaton from regular |
840 | | /// expressions. |
841 | | /// |
842 | | /// This builder provides two main things: |
843 | | /// |
844 | | /// 1. It provides a few different `build` routines for actually constructing |
845 | | /// a DFA from different kinds of inputs. The most convenient is |
846 | | /// [`Builder::build`], which builds a DFA directly from a pattern string. The |
847 | | /// most flexible is [`Builder::build_from_nfa`], which builds a DFA straight |
848 | | /// from an NFA. |
849 | | /// 2. The builder permits configuring a number of things. |
850 | | /// [`Builder::configure`] is used with [`Config`] to configure aspects of |
851 | | /// the DFA and the construction process itself. [`Builder::syntax`] and |
852 | | /// [`Builder::thompson`] permit configuring the regex parser and Thompson NFA |
853 | | /// construction, respectively. The syntax and thompson configurations only |
854 | | /// apply when building from a pattern string. |
855 | | /// |
856 | | /// This builder always constructs a *single* DFA. As such, this builder |
857 | | /// can only be used to construct regexes that either detect the presence |
858 | | /// of a match or find the end location of a match. A single DFA cannot |
859 | | /// produce both the start and end of a match. For that information, use a |
860 | | /// [`Regex`](crate::dfa::regex::Regex), which can be similarly configured |
861 | | /// using [`regex::Builder`](crate::dfa::regex::Builder). The main reason to |
862 | | /// use a DFA directly is if the end location of a match is enough for your use |
863 | | /// case. Namely, a `Regex` will construct two DFAs instead of one, since a |
864 | | /// second reverse DFA is needed to find the start of a match. |
865 | | /// |
866 | | /// Note that if one wants to build a sparse DFA, you must first build a dense |
867 | | /// DFA and convert that to a sparse DFA. There is no way to build a sparse |
868 | | /// DFA without first building a dense DFA. |
869 | | /// |
870 | | /// # Example |
871 | | /// |
872 | | /// This example shows how to build a minimized DFA that completely disables |
873 | | /// Unicode. That is: |
874 | | /// |
875 | | /// * Things such as `\w`, `.` and `\b` are no longer Unicode-aware. `\w` |
876 | | /// and `\b` are ASCII-only while `.` matches any byte except for `\n` |
877 | | /// (instead of any UTF-8 encoding of a Unicode scalar value except for |
878 | | /// `\n`). Things that are Unicode only, such as `\pL`, are not allowed. |
879 | | /// * The pattern itself is permitted to match invalid UTF-8. For example, |
880 | | /// things like `[^a]` that match any byte except for `a` are permitted. |
881 | | /// * Unanchored patterns can search through invalid UTF-8. That is, for |
882 | | /// unanchored patterns, the implicit prefix is `(?s-u:.)*?` instead of |
883 | | /// `(?s:.)*?`. |
884 | | /// |
885 | | /// ``` |
886 | | /// use regex_automata::{ |
887 | | /// dfa::{Automaton, dense}, |
888 | | /// nfa::thompson, |
889 | | /// HalfMatch, SyntaxConfig, |
890 | | /// }; |
891 | | /// |
892 | | /// let dfa = dense::Builder::new() |
893 | | /// .configure(dense::Config::new().minimize(false)) |
894 | | /// .syntax(SyntaxConfig::new().unicode(false).utf8(false)) |
895 | | /// .thompson(thompson::Config::new().utf8(false)) |
896 | | /// .build(r"foo[^b]ar.*")?; |
897 | | /// |
898 | | /// let haystack = b"\xFEfoo\xFFar\xE2\x98\xFF\n"; |
899 | | /// let expected = Some(HalfMatch::must(0, 10)); |
900 | | /// let got = dfa.find_leftmost_fwd(haystack)?; |
901 | | /// assert_eq!(expected, got); |
902 | | /// |
903 | | /// # Ok::<(), Box<dyn std::error::Error>>(()) |
904 | | /// ``` |
905 | | #[cfg(feature = "alloc")] |
906 | | #[derive(Clone, Debug)] |
907 | | pub struct Builder { |
908 | | config: Config, |
909 | | thompson: thompson::Builder, |
910 | | } |
911 | | |
912 | | #[cfg(feature = "alloc")] |
913 | | impl Builder { |
914 | | /// Create a new dense DFA builder with the default configuration. |
915 | | pub fn new() -> Builder { |
916 | | Builder { |
917 | | config: Config::default(), |
918 | | thompson: thompson::Builder::new(), |
919 | | } |
920 | | } |
921 | | |
922 | | /// Build a DFA from the given pattern. |
923 | | /// |
924 | | /// If there was a problem parsing or compiling the pattern, then an error |
925 | | /// is returned. |
926 | | pub fn build(&self, pattern: &str) -> Result<OwnedDFA, Error> { |
927 | | self.build_many(&[pattern]) |
928 | | } |
929 | | |
930 | | /// Build a DFA from the given patterns. |
931 | | /// |
932 | | /// When matches are returned, the pattern ID corresponds to the index of |
933 | | /// the pattern in the slice given. |
934 | | pub fn build_many<P: AsRef<str>>( |
935 | | &self, |
936 | | patterns: &[P], |
937 | | ) -> Result<OwnedDFA, Error> { |
938 | | let nfa = self.thompson.build_many(patterns).map_err(Error::nfa)?; |
939 | | self.build_from_nfa(&nfa) |
940 | | } |
941 | | |
942 | | /// Build a DFA from the given NFA. |
943 | | /// |
944 | | /// # Example |
945 | | /// |
946 | | /// This example shows how to build a DFA if you already have an NFA in |
947 | | /// hand. |
948 | | /// |
949 | | /// ``` |
950 | | /// use regex_automata::{ |
951 | | /// dfa::{Automaton, dense}, |
952 | | /// nfa::thompson, |
953 | | /// HalfMatch, |
954 | | /// }; |
955 | | /// |
956 | | /// let haystack = "foo123bar".as_bytes(); |
957 | | /// |
958 | | /// // This shows how to set non-default options for building an NFA. |
959 | | /// let nfa = thompson::Builder::new() |
960 | | /// .configure(thompson::Config::new().shrink(false)) |
961 | | /// .build(r"[0-9]+")?; |
962 | | /// let dfa = dense::Builder::new().build_from_nfa(&nfa)?; |
963 | | /// let expected = Some(HalfMatch::must(0, 6)); |
964 | | /// let got = dfa.find_leftmost_fwd(haystack)?; |
965 | | /// assert_eq!(expected, got); |
966 | | /// |
967 | | /// # Ok::<(), Box<dyn std::error::Error>>(()) |
968 | | /// ``` |
969 | | pub fn build_from_nfa( |
970 | | &self, |
971 | | nfa: &thompson::NFA, |
972 | | ) -> Result<OwnedDFA, Error> { |
973 | | let mut quit = self.config.quit.unwrap_or(ByteSet::empty()); |
974 | | if self.config.get_unicode_word_boundary() |
975 | | && nfa.has_word_boundary_unicode() |
976 | | { |
977 | | for b in 0x80..=0xFF { |
978 | | quit.add(b); |
979 | | } |
980 | | } |
981 | | let classes = if !self.config.get_byte_classes() { |
982 | | // DFAs will always use the equivalence class map, but enabling |
983 | | // this option is useful for debugging. Namely, this will cause all |
984 | | // transitions to be defined over their actual bytes instead of an |
985 | | // opaque equivalence class identifier. The former is much easier |
986 | | // to grok as a human. |
987 | | ByteClasses::singletons() |
988 | | } else { |
989 | | let mut set = nfa.byte_class_set().clone(); |
990 | | // It is important to distinguish any "quit" bytes from all other |
991 | | // bytes. Otherwise, a non-quit byte may end up in the same class |
992 | | // as a quit byte, and thus cause the DFA stop when it shouldn't. |
993 | | if !quit.is_empty() { |
994 | | set.add_set(&quit); |
995 | | } |
996 | | set.byte_classes() |
997 | | }; |
998 | | |
999 | | let mut dfa = DFA::initial( |
1000 | | classes, |
1001 | | nfa.pattern_len(), |
1002 | | self.config.get_starts_for_each_pattern(), |
1003 | | )?; |
1004 | | determinize::Config::new() |
1005 | | .anchored(self.config.get_anchored()) |
1006 | | .match_kind(self.config.get_match_kind()) |
1007 | | .quit(quit) |
1008 | | .dfa_size_limit(self.config.get_dfa_size_limit()) |
1009 | | .determinize_size_limit(self.config.get_determinize_size_limit()) |
1010 | | .run(nfa, &mut dfa)?; |
1011 | | if self.config.get_minimize() { |
1012 | | dfa.minimize(); |
1013 | | } |
1014 | | if self.config.get_accelerate() { |
1015 | | dfa.accelerate(); |
1016 | | } |
1017 | | Ok(dfa) |
1018 | | } |
1019 | | |
1020 | | /// Apply the given dense DFA configuration options to this builder. |
1021 | | pub fn configure(&mut self, config: Config) -> &mut Builder { |
1022 | | self.config = self.config.overwrite(config); |
1023 | | self |
1024 | | } |
1025 | | |
1026 | | /// Set the syntax configuration for this builder using |
1027 | | /// [`SyntaxConfig`](crate::SyntaxConfig). |
1028 | | /// |
1029 | | /// This permits setting things like case insensitivity, Unicode and multi |
1030 | | /// line mode. |
1031 | | /// |
1032 | | /// These settings only apply when constructing a DFA directly from a |
1033 | | /// pattern. |
1034 | | pub fn syntax( |
1035 | | &mut self, |
1036 | | config: crate::util::syntax::SyntaxConfig, |
1037 | | ) -> &mut Builder { |
1038 | | self.thompson.syntax(config); |
1039 | | self |
1040 | | } |
1041 | | |
1042 | | /// Set the Thompson NFA configuration for this builder using |
1043 | | /// [`nfa::thompson::Config`](crate::nfa::thompson::Config). |
1044 | | /// |
1045 | | /// This permits setting things like whether the DFA should match the regex |
1046 | | /// in reverse or if additional time should be spent shrinking the size of |
1047 | | /// the NFA. |
1048 | | /// |
1049 | | /// These settings only apply when constructing a DFA directly from a |
1050 | | /// pattern. |
1051 | | pub fn thompson(&mut self, config: thompson::Config) -> &mut Builder { |
1052 | | self.thompson.configure(config); |
1053 | | self |
1054 | | } |
1055 | | } |
1056 | | |
1057 | | #[cfg(feature = "alloc")] |
1058 | | impl Default for Builder { |
1059 | | fn default() -> Builder { |
1060 | | Builder::new() |
1061 | | } |
1062 | | } |
1063 | | |
1064 | | /// A convenience alias for an owned DFA. We use this particular instantiation |
1065 | | /// a lot in this crate, so it's worth giving it a name. This instantiation |
1066 | | /// is commonly used for mutable APIs on the DFA while building it. The main |
1067 | | /// reason for making DFAs generic is no_std support, and more generally, |
1068 | | /// making it possible to load a DFA from an arbitrary slice of bytes. |
1069 | | #[cfg(feature = "alloc")] |
1070 | | pub(crate) type OwnedDFA = DFA<Vec<u32>>; |
1071 | | |
1072 | | /// A dense table-based deterministic finite automaton (DFA). |
1073 | | /// |
1074 | | /// All dense DFAs have one or more start states, zero or more match states |
1075 | | /// and a transition table that maps the current state and the current byte |
1076 | | /// of input to the next state. A DFA can use this information to implement |
1077 | | /// fast searching. In particular, the use of a dense DFA generally makes the |
1078 | | /// trade off that match speed is the most valuable characteristic, even if |
1079 | | /// building the DFA may take significant time *and* space. (More concretely, |
1080 | | /// building a DFA takes time and space that is exponential in the size of the |
1081 | | /// pattern in the worst case.) As such, the processing of every byte of input |
1082 | | /// is done with a small constant number of operations that does not vary with |
1083 | | /// the pattern, its size or the size of the alphabet. If your needs don't line |
1084 | | /// up with this trade off, then a dense DFA may not be an adequate solution to |
1085 | | /// your problem. |
1086 | | /// |
1087 | | /// In contrast, a [`sparse::DFA`] makes the opposite |
1088 | | /// trade off: it uses less space but will execute a variable number of |
1089 | | /// instructions per byte at match time, which makes it slower for matching. |
1090 | | /// (Note that space usage is still exponential in the size of the pattern in |
1091 | | /// the worst case.) |
1092 | | /// |
1093 | | /// A DFA can be built using the default configuration via the |
1094 | | /// [`DFA::new`] constructor. Otherwise, one can |
1095 | | /// configure various aspects via [`dense::Builder`](Builder). |
1096 | | /// |
1097 | | /// A single DFA fundamentally supports the following operations: |
1098 | | /// |
1099 | | /// 1. Detection of a match. |
1100 | | /// 2. Location of the end of a match. |
1101 | | /// 3. In the case of a DFA with multiple patterns, which pattern matched is |
1102 | | /// reported as well. |
1103 | | /// |
1104 | | /// A notable absence from the above list of capabilities is the location of |
1105 | | /// the *start* of a match. In order to provide both the start and end of |
1106 | | /// a match, *two* DFAs are required. This functionality is provided by a |
1107 | | /// [`Regex`](crate::dfa::regex::Regex). |
1108 | | /// |
1109 | | /// # Type parameters |
1110 | | /// |
1111 | | /// A `DFA` has one type parameter, `T`, which is used to represent state IDs, |
1112 | | /// pattern IDs and accelerators. `T` is typically a `Vec<u32>` or a `&[u32]`. |
1113 | | /// |
1114 | | /// # The `Automaton` trait |
1115 | | /// |
1116 | | /// This type implements the [`Automaton`] trait, which means it can be used |
1117 | | /// for searching. For example: |
1118 | | /// |
1119 | | /// ``` |
1120 | | /// use regex_automata::{dfa::{Automaton, dense::DFA}, HalfMatch}; |
1121 | | /// |
1122 | | /// let dfa = DFA::new("foo[0-9]+")?; |
1123 | | /// let expected = HalfMatch::must(0, 8); |
1124 | | /// assert_eq!(Some(expected), dfa.find_leftmost_fwd(b"foo12345")?); |
1125 | | /// # Ok::<(), Box<dyn std::error::Error>>(()) |
1126 | | /// ``` |
1127 | | #[derive(Clone)] |
1128 | | pub struct DFA<T> { |
1129 | | /// The transition table for this DFA. This includes the transitions |
1130 | | /// themselves, along with the stride, number of states and the equivalence |
1131 | | /// class mapping. |
1132 | | tt: TransitionTable<T>, |
1133 | | /// The set of starting state identifiers for this DFA. The starting state |
1134 | | /// IDs act as pointers into the transition table. The specific starting |
1135 | | /// state chosen for each search is dependent on the context at which the |
1136 | | /// search begins. |
1137 | | st: StartTable<T>, |
1138 | | /// The set of match states and the patterns that match for each |
1139 | | /// corresponding match state. |
1140 | | /// |
1141 | | /// This structure is technically only needed because of support for |
1142 | | /// multi-regexes. Namely, multi-regexes require answering not just whether |
1143 | | /// a match exists, but _which_ patterns match. So we need to store the |
1144 | | /// matching pattern IDs for each match state. We do this even when there |
1145 | | /// is only one pattern for the sake of simplicity. In practice, this uses |
1146 | | /// up very little space for the case of on pattern. |
1147 | | ms: MatchStates<T>, |
1148 | | /// Information about which states are "special." Special states are states |
1149 | | /// that are dead, quit, matching, starting or accelerated. For more info, |
1150 | | /// see the docs for `Special`. |
1151 | | special: Special, |
1152 | | /// The accelerators for this DFA. |
1153 | | /// |
1154 | | /// If a state is accelerated, then there exist only a small number of |
1155 | | /// bytes that can cause the DFA to leave the state. This permits searching |
1156 | | /// to use optimized routines to find those specific bytes instead of using |
1157 | | /// the transition table. |
1158 | | /// |
1159 | | /// All accelerated states exist in a contiguous range in the DFA's |
1160 | | /// transition table. See dfa/special.rs for more details on how states are |
1161 | | /// arranged. |
1162 | | accels: Accels<T>, |
1163 | | } |
1164 | | |
1165 | | #[cfg(feature = "alloc")] |
1166 | | impl OwnedDFA { |
1167 | | /// Parse the given regular expression using a default configuration and |
1168 | | /// return the corresponding DFA. |
1169 | | /// |
1170 | | /// If you want a non-default configuration, then use the |
1171 | | /// [`dense::Builder`](Builder) to set your own configuration. |
1172 | | /// |
1173 | | /// # Example |
1174 | | /// |
1175 | | /// ``` |
1176 | | /// use regex_automata::{dfa::{Automaton, dense}, HalfMatch}; |
1177 | | /// |
1178 | | /// let dfa = dense::DFA::new("foo[0-9]+bar")?; |
1179 | | /// let expected = HalfMatch::must(0, 11); |
1180 | | /// assert_eq!(Some(expected), dfa.find_leftmost_fwd(b"foo12345bar")?); |
1181 | | /// # Ok::<(), Box<dyn std::error::Error>>(()) |
1182 | | /// ``` |
1183 | | pub fn new(pattern: &str) -> Result<OwnedDFA, Error> { |
1184 | | Builder::new().build(pattern) |
1185 | | } |
1186 | | |
1187 | | /// Parse the given regular expressions using a default configuration and |
1188 | | /// return the corresponding multi-DFA. |
1189 | | /// |
1190 | | /// If you want a non-default configuration, then use the |
1191 | | /// [`dense::Builder`](Builder) to set your own configuration. |
1192 | | /// |
1193 | | /// # Example |
1194 | | /// |
1195 | | /// ``` |
1196 | | /// use regex_automata::{dfa::{Automaton, dense}, HalfMatch}; |
1197 | | /// |
1198 | | /// let dfa = dense::DFA::new_many(&["[0-9]+", "[a-z]+"])?; |
1199 | | /// let expected = HalfMatch::must(1, 3); |
1200 | | /// assert_eq!(Some(expected), dfa.find_leftmost_fwd(b"foo12345bar")?); |
1201 | | /// # Ok::<(), Box<dyn std::error::Error>>(()) |
1202 | | /// ``` |
1203 | | pub fn new_many<P: AsRef<str>>(patterns: &[P]) -> Result<OwnedDFA, Error> { |
1204 | | Builder::new().build_many(patterns) |
1205 | | } |
1206 | | } |
1207 | | |
1208 | | #[cfg(feature = "alloc")] |
1209 | | impl OwnedDFA { |
1210 | | /// Create a new DFA that matches every input. |
1211 | | /// |
1212 | | /// # Example |
1213 | | /// |
1214 | | /// ``` |
1215 | | /// use regex_automata::{dfa::{Automaton, dense}, HalfMatch}; |
1216 | | /// |
1217 | | /// let dfa = dense::DFA::always_match()?; |
1218 | | /// |
1219 | | /// let expected = HalfMatch::must(0, 0); |
1220 | | /// assert_eq!(Some(expected), dfa.find_leftmost_fwd(b"")?); |
1221 | | /// assert_eq!(Some(expected), dfa.find_leftmost_fwd(b"foo")?); |
1222 | | /// # Ok::<(), Box<dyn std::error::Error>>(()) |
1223 | | /// ``` |
1224 | | pub fn always_match() -> Result<OwnedDFA, Error> { |
1225 | | let nfa = thompson::NFA::always_match(); |
1226 | | Builder::new().build_from_nfa(&nfa) |
1227 | | } |
1228 | | |
1229 | | /// Create a new DFA that never matches any input. |
1230 | | /// |
1231 | | /// # Example |
1232 | | /// |
1233 | | /// ``` |
1234 | | /// use regex_automata::dfa::{Automaton, dense}; |
1235 | | /// |
1236 | | /// let dfa = dense::DFA::never_match()?; |
1237 | | /// assert_eq!(None, dfa.find_leftmost_fwd(b"")?); |
1238 | | /// assert_eq!(None, dfa.find_leftmost_fwd(b"foo")?); |
1239 | | /// # Ok::<(), Box<dyn std::error::Error>>(()) |
1240 | | /// ``` |
1241 | | pub fn never_match() -> Result<OwnedDFA, Error> { |
1242 | | let nfa = thompson::NFA::never_match(); |
1243 | | Builder::new().build_from_nfa(&nfa) |
1244 | | } |
1245 | | |
1246 | | /// Create an initial DFA with the given equivalence classes, pattern count |
1247 | | /// and whether anchored starting states are enabled for each pattern. An |
1248 | | /// initial DFA can be further mutated via determinization. |
1249 | | fn initial( |
1250 | | classes: ByteClasses, |
1251 | | pattern_count: usize, |
1252 | | starts_for_each_pattern: bool, |
1253 | | ) -> Result<OwnedDFA, Error> { |
1254 | | let start_pattern_count = |
1255 | | if starts_for_each_pattern { pattern_count } else { 0 }; |
1256 | | Ok(DFA { |
1257 | | tt: TransitionTable::minimal(classes), |
1258 | | st: StartTable::dead(start_pattern_count)?, |
1259 | | ms: MatchStates::empty(pattern_count), |
1260 | | special: Special::new(), |
1261 | | accels: Accels::empty(), |
1262 | | }) |
1263 | | } |
1264 | | } |
1265 | | |
1266 | | impl<T: AsRef<[u32]>> DFA<T> { |
1267 | | /// Cheaply return a borrowed version of this dense DFA. Specifically, |
1268 | | /// the DFA returned always uses `&[u32]` for its transition table. |
1269 | 0 | pub fn as_ref(&self) -> DFA<&'_ [u32]> { |
1270 | 0 | DFA { |
1271 | 0 | tt: self.tt.as_ref(), |
1272 | 0 | st: self.st.as_ref(), |
1273 | 0 | ms: self.ms.as_ref(), |
1274 | 0 | special: self.special, |
1275 | 0 | accels: self.accels(), |
1276 | 0 | } |
1277 | 0 | } |
1278 | | |
1279 | | /// Return an owned version of this sparse DFA. Specifically, the DFA |
1280 | | /// returned always uses `Vec<u32>` for its transition table. |
1281 | | /// |
1282 | | /// Effectively, this returns a dense DFA whose transition table lives on |
1283 | | /// the heap. |
1284 | | #[cfg(feature = "alloc")] |
1285 | | pub fn to_owned(&self) -> OwnedDFA { |
1286 | | DFA { |
1287 | | tt: self.tt.to_owned(), |
1288 | | st: self.st.to_owned(), |
1289 | | ms: self.ms.to_owned(), |
1290 | | special: self.special, |
1291 | | accels: self.accels().to_owned(), |
1292 | | } |
1293 | | } |
1294 | | |
1295 | | /// Returns true only if this DFA has starting states for each pattern. |
1296 | | /// |
1297 | | /// When a DFA has starting states for each pattern, then a search with the |
1298 | | /// DFA can be configured to only look for anchored matches of a specific |
1299 | | /// pattern. Specifically, APIs like [`Automaton::find_earliest_fwd_at`] |
1300 | | /// can accept a non-None `pattern_id` if and only if this method returns |
1301 | | /// true. Otherwise, calling `find_earliest_fwd_at` will panic. |
1302 | | /// |
1303 | | /// Note that if the DFA has no patterns, this always returns false. |
1304 | 0 | pub fn has_starts_for_each_pattern(&self) -> bool { |
1305 | 0 | self.st.patterns > 0 |
1306 | 0 | } |
1307 | | |
1308 | | /// Returns the total number of elements in the alphabet for this DFA. |
1309 | | /// |
1310 | | /// That is, this returns the total number of transitions that each state |
1311 | | /// in this DFA must have. Typically, a normal byte oriented DFA would |
1312 | | /// always have an alphabet size of 256, corresponding to the number of |
1313 | | /// unique values in a single byte. However, this implementation has two |
1314 | | /// peculiarities that impact the alphabet length: |
1315 | | /// |
1316 | | /// * Every state has a special "EOI" transition that is only followed |
1317 | | /// after the end of some haystack is reached. This EOI transition is |
1318 | | /// necessary to account for one byte of look-ahead when implementing |
1319 | | /// things like `\b` and `$`. |
1320 | | /// * Bytes are grouped into equivalence classes such that no two bytes in |
1321 | | /// the same class can distinguish a match from a non-match. For example, |
1322 | | /// in the regex `^[a-z]+$`, the ASCII bytes `a-z` could all be in the |
1323 | | /// same equivalence class. This leads to a massive space savings. |
1324 | | /// |
1325 | | /// Note though that the alphabet length does _not_ necessarily equal the |
1326 | | /// total stride space taken up by a single DFA state in the transition |
1327 | | /// table. Namely, for performance reasons, the stride is always the |
1328 | | /// smallest power of two that is greater than or equal to the alphabet |
1329 | | /// length. For this reason, [`DFA::stride`] or [`DFA::stride2`] are |
1330 | | /// often more useful. The alphabet length is typically useful only for |
1331 | | /// informational purposes. |
1332 | 0 | pub fn alphabet_len(&self) -> usize { |
1333 | 0 | self.tt.alphabet_len() |
1334 | 0 | } |
1335 | | |
1336 | | /// Returns the total stride for every state in this DFA, expressed as the |
1337 | | /// exponent of a power of 2. The stride is the amount of space each state |
1338 | | /// takes up in the transition table, expressed as a number of transitions. |
1339 | | /// (Unused transitions map to dead states.) |
1340 | | /// |
1341 | | /// The stride of a DFA is always equivalent to the smallest power of 2 |
1342 | | /// that is greater than or equal to the DFA's alphabet length. This |
1343 | | /// definition uses extra space, but permits faster translation between |
1344 | | /// premultiplied state identifiers and contiguous indices (by using shifts |
1345 | | /// instead of relying on integer division). |
1346 | | /// |
1347 | | /// For example, if the DFA's stride is 16 transitions, then its `stride2` |
1348 | | /// is `4` since `2^4 = 16`. |
1349 | | /// |
1350 | | /// The minimum `stride2` value is `1` (corresponding to a stride of `2`) |
1351 | | /// while the maximum `stride2` value is `9` (corresponding to a stride of |
1352 | | /// `512`). The maximum is not `8` since the maximum alphabet size is `257` |
1353 | | /// when accounting for the special EOI transition. However, an alphabet |
1354 | | /// length of that size is exceptionally rare since the alphabet is shrunk |
1355 | | /// into equivalence classes. |
1356 | 0 | pub fn stride2(&self) -> usize { |
1357 | 0 | self.tt.stride2 |
1358 | 0 | } |
1359 | | |
1360 | | /// Returns the total stride for every state in this DFA. This corresponds |
1361 | | /// to the total number of transitions used by each state in this DFA's |
1362 | | /// transition table. |
1363 | | /// |
1364 | | /// Please see [`DFA::stride2`] for more information. In particular, this |
1365 | | /// returns the stride as the number of transitions, where as `stride2` |
1366 | | /// returns it as the exponent of a power of 2. |
1367 | 0 | pub fn stride(&self) -> usize { |
1368 | 0 | self.tt.stride() |
1369 | 0 | } |
1370 | | |
1371 | | /// Returns the "universal" start state for this DFA. |
1372 | | /// |
1373 | | /// A universal start state occurs only when all of the starting states |
1374 | | /// for this DFA are precisely the same. This occurs when there are no |
1375 | | /// look-around assertions at the beginning (or end for a reverse DFA) of |
1376 | | /// the pattern. |
1377 | | /// |
1378 | | /// Using this as a starting state for a DFA without a universal starting |
1379 | | /// state has unspecified behavior. This condition is not checked, so the |
1380 | | /// caller must guarantee it themselves. |
1381 | 0 | pub(crate) fn universal_start_state(&self) -> StateID { |
1382 | 0 | // We choose 'NonWordByte' for no particular reason, other than |
1383 | 0 | // the fact that this is the 'main' starting configuration used in |
1384 | 0 | // determinization. But in essence, it doesn't really matter. |
1385 | 0 | // |
1386 | 0 | // Also, we might consider exposing this routine, but it seems |
1387 | 0 | // a little tricky to use correctly. Maybe if we also expose a |
1388 | 0 | // 'has_universal_start_state' method? |
1389 | 0 | self.st.start(Start::NonWordByte, None) |
1390 | 0 | } |
1391 | | |
1392 | | /// Returns the memory usage, in bytes, of this DFA. |
1393 | | /// |
1394 | | /// The memory usage is computed based on the number of bytes used to |
1395 | | /// represent this DFA. |
1396 | | /// |
1397 | | /// This does **not** include the stack size used up by this DFA. To |
1398 | | /// compute that, use `std::mem::size_of::<dense::DFA>()`. |
1399 | 0 | pub fn memory_usage(&self) -> usize { |
1400 | 0 | self.tt.memory_usage() |
1401 | 0 | + self.st.memory_usage() |
1402 | 0 | + self.ms.memory_usage() |
1403 | 0 | + self.accels.memory_usage() |
1404 | 0 | } |
1405 | | } |
1406 | | |
1407 | | /// Routines for converting a dense DFA to other representations, such as |
1408 | | /// sparse DFAs or raw bytes suitable for persistent storage. |
1409 | | impl<T: AsRef<[u32]>> DFA<T> { |
1410 | | /// Convert this dense DFA to a sparse DFA. |
1411 | | /// |
1412 | | /// If a `StateID` is too small to represent all states in the sparse |
1413 | | /// DFA, then this returns an error. In most cases, if a dense DFA is |
1414 | | /// constructable with `StateID` then a sparse DFA will be as well. |
1415 | | /// However, it is not guaranteed. |
1416 | | /// |
1417 | | /// # Example |
1418 | | /// |
1419 | | /// ``` |
1420 | | /// use regex_automata::{dfa::{Automaton, dense}, HalfMatch}; |
1421 | | /// |
1422 | | /// let dense = dense::DFA::new("foo[0-9]+")?; |
1423 | | /// let sparse = dense.to_sparse()?; |
1424 | | /// |
1425 | | /// let expected = HalfMatch::must(0, 8); |
1426 | | /// assert_eq!(Some(expected), sparse.find_leftmost_fwd(b"foo12345")?); |
1427 | | /// # Ok::<(), Box<dyn std::error::Error>>(()) |
1428 | | /// ``` |
1429 | | #[cfg(feature = "alloc")] |
1430 | | pub fn to_sparse(&self) -> Result<sparse::DFA<Vec<u8>>, Error> { |
1431 | | sparse::DFA::from_dense(self) |
1432 | | } |
1433 | | |
1434 | | /// Serialize this DFA as raw bytes to a `Vec<u8>` in little endian |
1435 | | /// format. Upon success, the `Vec<u8>` and the initial padding length are |
1436 | | /// returned. |
1437 | | /// |
1438 | | /// The written bytes are guaranteed to be deserialized correctly and |
1439 | | /// without errors in a semver compatible release of this crate by a |
1440 | | /// `DFA`'s deserialization APIs (assuming all other criteria for the |
1441 | | /// deserialization APIs has been satisfied): |
1442 | | /// |
1443 | | /// * [`DFA::from_bytes`] |
1444 | | /// * [`DFA::from_bytes_unchecked`] |
1445 | | /// |
1446 | | /// The padding returned is non-zero if the returned `Vec<u8>` starts at |
1447 | | /// an address that does not have the same alignment as `u32`. The padding |
1448 | | /// corresponds to the number of leading bytes written to the returned |
1449 | | /// `Vec<u8>`. |
1450 | | /// |
1451 | | /// # Example |
1452 | | /// |
1453 | | /// This example shows how to serialize and deserialize a DFA: |
1454 | | /// |
1455 | | /// ``` |
1456 | | /// use regex_automata::{dfa::{Automaton, dense::DFA}, HalfMatch}; |
1457 | | /// |
1458 | | /// // Compile our original DFA. |
1459 | | /// let original_dfa = DFA::new("foo[0-9]+")?; |
1460 | | /// |
1461 | | /// // N.B. We use native endianness here to make the example work, but |
1462 | | /// // using to_bytes_little_endian would work on a little endian target. |
1463 | | /// let (buf, _) = original_dfa.to_bytes_native_endian(); |
1464 | | /// // Even if buf has initial padding, DFA::from_bytes will automatically |
1465 | | /// // ignore it. |
1466 | | /// let dfa: DFA<&[u32]> = DFA::from_bytes(&buf)?.0; |
1467 | | /// |
1468 | | /// let expected = HalfMatch::must(0, 8); |
1469 | | /// assert_eq!(Some(expected), dfa.find_leftmost_fwd(b"foo12345")?); |
1470 | | /// # Ok::<(), Box<dyn std::error::Error>>(()) |
1471 | | /// ``` |
1472 | | #[cfg(feature = "alloc")] |
1473 | | pub fn to_bytes_little_endian(&self) -> (Vec<u8>, usize) { |
1474 | | self.to_bytes::<bytes::LE>() |
1475 | | } |
1476 | | |
1477 | | /// Serialize this DFA as raw bytes to a `Vec<u8>` in big endian |
1478 | | /// format. Upon success, the `Vec<u8>` and the initial padding length are |
1479 | | /// returned. |
1480 | | /// |
1481 | | /// The written bytes are guaranteed to be deserialized correctly and |
1482 | | /// without errors in a semver compatible release of this crate by a |
1483 | | /// `DFA`'s deserialization APIs (assuming all other criteria for the |
1484 | | /// deserialization APIs has been satisfied): |
1485 | | /// |
1486 | | /// * [`DFA::from_bytes`] |
1487 | | /// * [`DFA::from_bytes_unchecked`] |
1488 | | /// |
1489 | | /// The padding returned is non-zero if the returned `Vec<u8>` starts at |
1490 | | /// an address that does not have the same alignment as `u32`. The padding |
1491 | | /// corresponds to the number of leading bytes written to the returned |
1492 | | /// `Vec<u8>`. |
1493 | | /// |
1494 | | /// # Example |
1495 | | /// |
1496 | | /// This example shows how to serialize and deserialize a DFA: |
1497 | | /// |
1498 | | /// ``` |
1499 | | /// use regex_automata::{dfa::{Automaton, dense::DFA}, HalfMatch}; |
1500 | | /// |
1501 | | /// // Compile our original DFA. |
1502 | | /// let original_dfa = DFA::new("foo[0-9]+")?; |
1503 | | /// |
1504 | | /// // N.B. We use native endianness here to make the example work, but |
1505 | | /// // using to_bytes_big_endian would work on a big endian target. |
1506 | | /// let (buf, _) = original_dfa.to_bytes_native_endian(); |
1507 | | /// // Even if buf has initial padding, DFA::from_bytes will automatically |
1508 | | /// // ignore it. |
1509 | | /// let dfa: DFA<&[u32]> = DFA::from_bytes(&buf)?.0; |
1510 | | /// |
1511 | | /// let expected = HalfMatch::must(0, 8); |
1512 | | /// assert_eq!(Some(expected), dfa.find_leftmost_fwd(b"foo12345")?); |
1513 | | /// # Ok::<(), Box<dyn std::error::Error>>(()) |
1514 | | /// ``` |
1515 | | #[cfg(feature = "alloc")] |
1516 | | pub fn to_bytes_big_endian(&self) -> (Vec<u8>, usize) { |
1517 | | self.to_bytes::<bytes::BE>() |
1518 | | } |
1519 | | |
1520 | | /// Serialize this DFA as raw bytes to a `Vec<u8>` in native endian |
1521 | | /// format. Upon success, the `Vec<u8>` and the initial padding length are |
1522 | | /// returned. |
1523 | | /// |
1524 | | /// The written bytes are guaranteed to be deserialized correctly and |
1525 | | /// without errors in a semver compatible release of this crate by a |
1526 | | /// `DFA`'s deserialization APIs (assuming all other criteria for the |
1527 | | /// deserialization APIs has been satisfied): |
1528 | | /// |
1529 | | /// * [`DFA::from_bytes`] |
1530 | | /// * [`DFA::from_bytes_unchecked`] |
1531 | | /// |
1532 | | /// The padding returned is non-zero if the returned `Vec<u8>` starts at |
1533 | | /// an address that does not have the same alignment as `u32`. The padding |
1534 | | /// corresponds to the number of leading bytes written to the returned |
1535 | | /// `Vec<u8>`. |
1536 | | /// |
1537 | | /// Generally speaking, native endian format should only be used when |
1538 | | /// you know that the target you're compiling the DFA for matches the |
1539 | | /// endianness of the target on which you're compiling DFA. For example, |
1540 | | /// if serialization and deserialization happen in the same process or on |
1541 | | /// the same machine. Otherwise, when serializing a DFA for use in a |
1542 | | /// portable environment, you'll almost certainly want to serialize _both_ |
1543 | | /// a little endian and a big endian version and then load the correct one |
1544 | | /// based on the target's configuration. |
1545 | | /// |
1546 | | /// # Example |
1547 | | /// |
1548 | | /// This example shows how to serialize and deserialize a DFA: |
1549 | | /// |
1550 | | /// ``` |
1551 | | /// use regex_automata::{dfa::{Automaton, dense::DFA}, HalfMatch}; |
1552 | | /// |
1553 | | /// // Compile our original DFA. |
1554 | | /// let original_dfa = DFA::new("foo[0-9]+")?; |
1555 | | /// |
1556 | | /// let (buf, _) = original_dfa.to_bytes_native_endian(); |
1557 | | /// // Even if buf has initial padding, DFA::from_bytes will automatically |
1558 | | /// // ignore it. |
1559 | | /// let dfa: DFA<&[u32]> = DFA::from_bytes(&buf)?.0; |
1560 | | /// |
1561 | | /// let expected = HalfMatch::must(0, 8); |
1562 | | /// assert_eq!(Some(expected), dfa.find_leftmost_fwd(b"foo12345")?); |
1563 | | /// # Ok::<(), Box<dyn std::error::Error>>(()) |
1564 | | /// ``` |
1565 | | #[cfg(feature = "alloc")] |
1566 | | pub fn to_bytes_native_endian(&self) -> (Vec<u8>, usize) { |
1567 | | self.to_bytes::<bytes::NE>() |
1568 | | } |
1569 | | |
1570 | | /// The implementation of the public `to_bytes` serialization methods, |
1571 | | /// which is generic over endianness. |
1572 | | #[cfg(feature = "alloc")] |
1573 | | fn to_bytes<E: Endian>(&self) -> (Vec<u8>, usize) { |
1574 | | let len = self.write_to_len(); |
1575 | | let (mut buf, padding) = bytes::alloc_aligned_buffer::<u32>(len); |
1576 | | // This should always succeed since the only possible serialization |
1577 | | // error is providing a buffer that's too small, but we've ensured that |
1578 | | // `buf` is big enough here. |
1579 | | self.as_ref().write_to::<E>(&mut buf[padding..]).unwrap(); |
1580 | | (buf, padding) |
1581 | | } |
1582 | | |
1583 | | /// Serialize this DFA as raw bytes to the given slice, in little endian |
1584 | | /// format. Upon success, the total number of bytes written to `dst` is |
1585 | | /// returned. |
1586 | | /// |
1587 | | /// The written bytes are guaranteed to be deserialized correctly and |
1588 | | /// without errors in a semver compatible release of this crate by a |
1589 | | /// `DFA`'s deserialization APIs (assuming all other criteria for the |
1590 | | /// deserialization APIs has been satisfied): |
1591 | | /// |
1592 | | /// * [`DFA::from_bytes`] |
1593 | | /// * [`DFA::from_bytes_unchecked`] |
1594 | | /// |
1595 | | /// Note that unlike the various `to_byte_*` routines, this does not write |
1596 | | /// any padding. Callers are responsible for handling alignment correctly. |
1597 | | /// |
1598 | | /// # Errors |
1599 | | /// |
1600 | | /// This returns an error if the given destination slice is not big enough |
1601 | | /// to contain the full serialized DFA. If an error occurs, then nothing |
1602 | | /// is written to `dst`. |
1603 | | /// |
1604 | | /// # Example |
1605 | | /// |
1606 | | /// This example shows how to serialize and deserialize a DFA without |
1607 | | /// dynamic memory allocation. |
1608 | | /// |
1609 | | /// ``` |
1610 | | /// use regex_automata::{dfa::{Automaton, dense::DFA}, HalfMatch}; |
1611 | | /// |
1612 | | /// // Compile our original DFA. |
1613 | | /// let original_dfa = DFA::new("foo[0-9]+")?; |
1614 | | /// |
1615 | | /// // Create a 4KB buffer on the stack to store our serialized DFA. |
1616 | | /// let mut buf = [0u8; 4 * (1<<10)]; |
1617 | | /// // N.B. We use native endianness here to make the example work, but |
1618 | | /// // using write_to_little_endian would work on a little endian target. |
1619 | | /// let written = original_dfa.write_to_native_endian(&mut buf)?; |
1620 | | /// let dfa: DFA<&[u32]> = DFA::from_bytes(&buf[..written])?.0; |
1621 | | /// |
1622 | | /// let expected = HalfMatch::must(0, 8); |
1623 | | /// assert_eq!(Some(expected), dfa.find_leftmost_fwd(b"foo12345")?); |
1624 | | /// # Ok::<(), Box<dyn std::error::Error>>(()) |
1625 | | /// ``` |
1626 | 0 | pub fn write_to_little_endian( |
1627 | 0 | &self, |
1628 | 0 | dst: &mut [u8], |
1629 | 0 | ) -> Result<usize, SerializeError> { |
1630 | 0 | self.as_ref().write_to::<bytes::LE>(dst) |
1631 | 0 | } |
1632 | | |
1633 | | /// Serialize this DFA as raw bytes to the given slice, in big endian |
1634 | | /// format. Upon success, the total number of bytes written to `dst` is |
1635 | | /// returned. |
1636 | | /// |
1637 | | /// The written bytes are guaranteed to be deserialized correctly and |
1638 | | /// without errors in a semver compatible release of this crate by a |
1639 | | /// `DFA`'s deserialization APIs (assuming all other criteria for the |
1640 | | /// deserialization APIs has been satisfied): |
1641 | | /// |
1642 | | /// * [`DFA::from_bytes`] |
1643 | | /// * [`DFA::from_bytes_unchecked`] |
1644 | | /// |
1645 | | /// Note that unlike the various `to_byte_*` routines, this does not write |
1646 | | /// any padding. Callers are responsible for handling alignment correctly. |
1647 | | /// |
1648 | | /// # Errors |
1649 | | /// |
1650 | | /// This returns an error if the given destination slice is not big enough |
1651 | | /// to contain the full serialized DFA. If an error occurs, then nothing |
1652 | | /// is written to `dst`. |
1653 | | /// |
1654 | | /// # Example |
1655 | | /// |
1656 | | /// This example shows how to serialize and deserialize a DFA without |
1657 | | /// dynamic memory allocation. |
1658 | | /// |
1659 | | /// ``` |
1660 | | /// use regex_automata::{dfa::{Automaton, dense::DFA}, HalfMatch}; |
1661 | | /// |
1662 | | /// // Compile our original DFA. |
1663 | | /// let original_dfa = DFA::new("foo[0-9]+")?; |
1664 | | /// |
1665 | | /// // Create a 4KB buffer on the stack to store our serialized DFA. |
1666 | | /// let mut buf = [0u8; 4 * (1<<10)]; |
1667 | | /// // N.B. We use native endianness here to make the example work, but |
1668 | | /// // using write_to_big_endian would work on a big endian target. |
1669 | | /// let written = original_dfa.write_to_native_endian(&mut buf)?; |
1670 | | /// let dfa: DFA<&[u32]> = DFA::from_bytes(&buf[..written])?.0; |
1671 | | /// |
1672 | | /// let expected = HalfMatch::must(0, 8); |
1673 | | /// assert_eq!(Some(expected), dfa.find_leftmost_fwd(b"foo12345")?); |
1674 | | /// # Ok::<(), Box<dyn std::error::Error>>(()) |
1675 | | /// ``` |
1676 | 0 | pub fn write_to_big_endian( |
1677 | 0 | &self, |
1678 | 0 | dst: &mut [u8], |
1679 | 0 | ) -> Result<usize, SerializeError> { |
1680 | 0 | self.as_ref().write_to::<bytes::BE>(dst) |
1681 | 0 | } |
1682 | | |
1683 | | /// Serialize this DFA as raw bytes to the given slice, in native endian |
1684 | | /// format. Upon success, the total number of bytes written to `dst` is |
1685 | | /// returned. |
1686 | | /// |
1687 | | /// The written bytes are guaranteed to be deserialized correctly and |
1688 | | /// without errors in a semver compatible release of this crate by a |
1689 | | /// `DFA`'s deserialization APIs (assuming all other criteria for the |
1690 | | /// deserialization APIs has been satisfied): |
1691 | | /// |
1692 | | /// * [`DFA::from_bytes`] |
1693 | | /// * [`DFA::from_bytes_unchecked`] |
1694 | | /// |
1695 | | /// Generally speaking, native endian format should only be used when |
1696 | | /// you know that the target you're compiling the DFA for matches the |
1697 | | /// endianness of the target on which you're compiling DFA. For example, |
1698 | | /// if serialization and deserialization happen in the same process or on |
1699 | | /// the same machine. Otherwise, when serializing a DFA for use in a |
1700 | | /// portable environment, you'll almost certainly want to serialize _both_ |
1701 | | /// a little endian and a big endian version and then load the correct one |
1702 | | /// based on the target's configuration. |
1703 | | /// |
1704 | | /// Note that unlike the various `to_byte_*` routines, this does not write |
1705 | | /// any padding. Callers are responsible for handling alignment correctly. |
1706 | | /// |
1707 | | /// # Errors |
1708 | | /// |
1709 | | /// This returns an error if the given destination slice is not big enough |
1710 | | /// to contain the full serialized DFA. If an error occurs, then nothing |
1711 | | /// is written to `dst`. |
1712 | | /// |
1713 | | /// # Example |
1714 | | /// |
1715 | | /// This example shows how to serialize and deserialize a DFA without |
1716 | | /// dynamic memory allocation. |
1717 | | /// |
1718 | | /// ``` |
1719 | | /// use regex_automata::{dfa::{Automaton, dense::DFA}, HalfMatch}; |
1720 | | /// |
1721 | | /// // Compile our original DFA. |
1722 | | /// let original_dfa = DFA::new("foo[0-9]+")?; |
1723 | | /// |
1724 | | /// // Create a 4KB buffer on the stack to store our serialized DFA. |
1725 | | /// let mut buf = [0u8; 4 * (1<<10)]; |
1726 | | /// let written = original_dfa.write_to_native_endian(&mut buf)?; |
1727 | | /// let dfa: DFA<&[u32]> = DFA::from_bytes(&buf[..written])?.0; |
1728 | | /// |
1729 | | /// let expected = HalfMatch::must(0, 8); |
1730 | | /// assert_eq!(Some(expected), dfa.find_leftmost_fwd(b"foo12345")?); |
1731 | | /// # Ok::<(), Box<dyn std::error::Error>>(()) |
1732 | | /// ``` |
1733 | 0 | pub fn write_to_native_endian( |
1734 | 0 | &self, |
1735 | 0 | dst: &mut [u8], |
1736 | 0 | ) -> Result<usize, SerializeError> { |
1737 | 0 | self.as_ref().write_to::<bytes::NE>(dst) |
1738 | 0 | } |
1739 | | |
1740 | | /// Return the total number of bytes required to serialize this DFA. |
1741 | | /// |
1742 | | /// This is useful for determining the size of the buffer required to pass |
1743 | | /// to one of the serialization routines: |
1744 | | /// |
1745 | | /// * [`DFA::write_to_little_endian`] |
1746 | | /// * [`DFA::write_to_big_endian`] |
1747 | | /// * [`DFA::write_to_native_endian`] |
1748 | | /// |
1749 | | /// Passing a buffer smaller than the size returned by this method will |
1750 | | /// result in a serialization error. Serialization routines are guaranteed |
1751 | | /// to succeed when the buffer is big enough. |
1752 | | /// |
1753 | | /// # Example |
1754 | | /// |
1755 | | /// This example shows how to dynamically allocate enough room to serialize |
1756 | | /// a DFA. |
1757 | | /// |
1758 | | /// ``` |
1759 | | /// use regex_automata::{dfa::{Automaton, dense::DFA}, HalfMatch}; |
1760 | | /// |
1761 | | /// // Compile our original DFA. |
1762 | | /// let original_dfa = DFA::new("foo[0-9]+")?; |
1763 | | /// |
1764 | | /// let mut buf = vec![0; original_dfa.write_to_len()]; |
1765 | | /// let written = original_dfa.write_to_native_endian(&mut buf)?; |
1766 | | /// let dfa: DFA<&[u32]> = DFA::from_bytes(&buf[..written])?.0; |
1767 | | /// |
1768 | | /// let expected = HalfMatch::must(0, 8); |
1769 | | /// assert_eq!(Some(expected), dfa.find_leftmost_fwd(b"foo12345")?); |
1770 | | /// # Ok::<(), Box<dyn std::error::Error>>(()) |
1771 | | /// ``` |
1772 | | /// |
1773 | | /// Note that this example isn't actually guaranteed to work! In |
1774 | | /// particular, if `buf` is not aligned to a 4-byte boundary, then the |
1775 | | /// `DFA::from_bytes` call will fail. If you need this to work, then you |
1776 | | /// either need to deal with adding some initial padding yourself, or use |
1777 | | /// one of the `to_bytes` methods, which will do it for you. |
1778 | 0 | pub fn write_to_len(&self) -> usize { |
1779 | 0 | bytes::write_label_len(LABEL) |
1780 | 0 | + bytes::write_endianness_check_len() |
1781 | 0 | + bytes::write_version_len() |
1782 | 0 | + size_of::<u32>() // unused, intended for future flexibility |
1783 | 0 | + self.tt.write_to_len() |
1784 | 0 | + self.st.write_to_len() |
1785 | 0 | + self.ms.write_to_len() |
1786 | 0 | + self.special.write_to_len() |
1787 | 0 | + self.accels.write_to_len() |
1788 | 0 | } |
1789 | | } |
1790 | | |
1791 | | impl<'a> DFA<&'a [u32]> { |
1792 | | /// Safely deserialize a DFA with a specific state identifier |
1793 | | /// representation. Upon success, this returns both the deserialized DFA |
1794 | | /// and the number of bytes read from the given slice. Namely, the contents |
1795 | | /// of the slice beyond the DFA are not read. |
1796 | | /// |
1797 | | /// Deserializing a DFA using this routine will never allocate heap memory. |
1798 | | /// For safety purposes, the DFA's transition table will be verified such |
1799 | | /// that every transition points to a valid state. If this verification is |
1800 | | /// too costly, then a [`DFA::from_bytes_unchecked`] API is provided, which |
1801 | | /// will always execute in constant time. |
1802 | | /// |
1803 | | /// The bytes given must be generated by one of the serialization APIs |
1804 | | /// of a `DFA` using a semver compatible release of this crate. Those |
1805 | | /// include: |
1806 | | /// |
1807 | | /// * [`DFA::to_bytes_little_endian`] |
1808 | | /// * [`DFA::to_bytes_big_endian`] |
1809 | | /// * [`DFA::to_bytes_native_endian`] |
1810 | | /// * [`DFA::write_to_little_endian`] |
1811 | | /// * [`DFA::write_to_big_endian`] |
1812 | | /// * [`DFA::write_to_native_endian`] |
1813 | | /// |
1814 | | /// The `to_bytes` methods allocate and return a `Vec<u8>` for you, along |
1815 | | /// with handling alignment correctly. The `write_to` methods do not |
1816 | | /// allocate and write to an existing slice (which may be on the stack). |
1817 | | /// Since deserialization always uses the native endianness of the target |
1818 | | /// platform, the serialization API you use should match the endianness of |
1819 | | /// the target platform. (It's often a good idea to generate serialized |
1820 | | /// DFAs for both forms of endianness and then load the correct one based |
1821 | | /// on endianness.) |
1822 | | /// |
1823 | | /// # Errors |
1824 | | /// |
1825 | | /// Generally speaking, it's easier to state the conditions in which an |
1826 | | /// error is _not_ returned. All of the following must be true: |
1827 | | /// |
1828 | | /// * The bytes given must be produced by one of the serialization APIs |
1829 | | /// on this DFA, as mentioned above. |
1830 | | /// * The endianness of the target platform matches the endianness used to |
1831 | | /// serialized the provided DFA. |
1832 | | /// * The slice given must have the same alignment as `u32`. |
1833 | | /// |
1834 | | /// If any of the above are not true, then an error will be returned. |
1835 | | /// |
1836 | | /// # Panics |
1837 | | /// |
1838 | | /// This routine will never panic for any input. |
1839 | | /// |
1840 | | /// # Example |
1841 | | /// |
1842 | | /// This example shows how to serialize a DFA to raw bytes, deserialize it |
1843 | | /// and then use it for searching. |
1844 | | /// |
1845 | | /// ``` |
1846 | | /// use regex_automata::{dfa::{Automaton, dense::DFA}, HalfMatch}; |
1847 | | /// |
1848 | | /// let initial = DFA::new("foo[0-9]+")?; |
1849 | | /// let (bytes, _) = initial.to_bytes_native_endian(); |
1850 | | /// let dfa: DFA<&[u32]> = DFA::from_bytes(&bytes)?.0; |
1851 | | /// |
1852 | | /// let expected = HalfMatch::must(0, 8); |
1853 | | /// assert_eq!(Some(expected), dfa.find_leftmost_fwd(b"foo12345")?); |
1854 | | /// # Ok::<(), Box<dyn std::error::Error>>(()) |
1855 | | /// ``` |
1856 | | /// |
1857 | | /// # Example: dealing with alignment and padding |
1858 | | /// |
1859 | | /// In the above example, we used the `to_bytes_native_endian` method to |
1860 | | /// serialize a DFA, but we ignored part of its return value corresponding |
1861 | | /// to padding added to the beginning of the serialized DFA. This is OK |
1862 | | /// because deserialization will skip this initial padding. What matters |
1863 | | /// is that the address immediately following the padding has an alignment |
1864 | | /// that matches `u32`. That is, the following is an equivalent but |
1865 | | /// alternative way to write the above example: |
1866 | | /// |
1867 | | /// ``` |
1868 | | /// use regex_automata::{dfa::{Automaton, dense::DFA}, HalfMatch}; |
1869 | | /// |
1870 | | /// let initial = DFA::new("foo[0-9]+")?; |
1871 | | /// // Serialization returns the number of leading padding bytes added to |
1872 | | /// // the returned Vec<u8>. |
1873 | | /// let (bytes, pad) = initial.to_bytes_native_endian(); |
1874 | | /// let dfa: DFA<&[u32]> = DFA::from_bytes(&bytes[pad..])?.0; |
1875 | | /// |
1876 | | /// let expected = HalfMatch::must(0, 8); |
1877 | | /// assert_eq!(Some(expected), dfa.find_leftmost_fwd(b"foo12345")?); |
1878 | | /// # Ok::<(), Box<dyn std::error::Error>>(()) |
1879 | | /// ``` |
1880 | | /// |
1881 | | /// This padding is necessary because Rust's standard library does |
1882 | | /// not expose any safe and robust way of creating a `Vec<u8>` with a |
1883 | | /// guaranteed alignment other than 1. Now, in practice, the underlying |
1884 | | /// allocator is likely to provide a `Vec<u8>` that meets our alignment |
1885 | | /// requirements, which means `pad` is zero in practice most of the time. |
1886 | | /// |
1887 | | /// The purpose of exposing the padding like this is flexibility for the |
1888 | | /// caller. For example, if one wants to embed a serialized DFA into a |
1889 | | /// compiled program, then it's important to guarantee that it starts at a |
1890 | | /// `u32`-aligned address. The simplest way to do this is to discard the |
1891 | | /// padding bytes and set it up so that the serialized DFA itself begins at |
1892 | | /// a properly aligned address. We can show this in two parts. The first |
1893 | | /// part is serializing the DFA to a file: |
1894 | | /// |
1895 | | /// ```no_run |
1896 | | /// use regex_automata::dfa::{Automaton, dense::DFA}; |
1897 | | /// |
1898 | | /// let dfa = DFA::new("foo[0-9]+")?; |
1899 | | /// |
1900 | | /// let (bytes, pad) = dfa.to_bytes_big_endian(); |
1901 | | /// // Write the contents of the DFA *without* the initial padding. |
1902 | | /// std::fs::write("foo.bigendian.dfa", &bytes[pad..])?; |
1903 | | /// |
1904 | | /// // Do it again, but this time for little endian. |
1905 | | /// let (bytes, pad) = dfa.to_bytes_little_endian(); |
1906 | | /// std::fs::write("foo.littleendian.dfa", &bytes[pad..])?; |
1907 | | /// # Ok::<(), Box<dyn std::error::Error>>(()) |
1908 | | /// ``` |
1909 | | /// |
1910 | | /// And now the second part is embedding the DFA into the compiled program |
1911 | | /// and deserializing it at runtime on first use. We use conditional |
1912 | | /// compilation to choose the correct endianness. |
1913 | | /// |
1914 | | /// ```no_run |
1915 | | /// use regex_automata::{dfa::{Automaton, dense}, HalfMatch}; |
1916 | | /// |
1917 | | /// type S = u32; |
1918 | | /// type DFA = dense::DFA<&'static [S]>; |
1919 | | /// |
1920 | | /// fn get_foo() -> &'static DFA { |
1921 | | /// use std::cell::Cell; |
1922 | | /// use std::mem::MaybeUninit; |
1923 | | /// use std::sync::Once; |
1924 | | /// |
1925 | | /// // This struct with a generic B is used to permit unsizing |
1926 | | /// // coercions, specifically, where B winds up being a [u8]. We also |
1927 | | /// // need repr(C) to guarantee that _align comes first, which forces |
1928 | | /// // a correct alignment. |
1929 | | /// #[repr(C)] |
1930 | | /// struct Aligned<B: ?Sized> { |
1931 | | /// _align: [S; 0], |
1932 | | /// bytes: B, |
1933 | | /// } |
1934 | | /// |
1935 | | /// # const _: &str = stringify! { |
1936 | | /// // This assignment is made possible (implicitly) via the |
1937 | | /// // CoerceUnsized trait. |
1938 | | /// static ALIGNED: &Aligned<[u8]> = &Aligned { |
1939 | | /// _align: [], |
1940 | | /// #[cfg(target_endian = "big")] |
1941 | | /// bytes: *include_bytes!("foo.bigendian.dfa"), |
1942 | | /// #[cfg(target_endian = "little")] |
1943 | | /// bytes: *include_bytes!("foo.littleendian.dfa"), |
1944 | | /// }; |
1945 | | /// # }; |
1946 | | /// # static ALIGNED: &Aligned<[u8]> = &Aligned { |
1947 | | /// # _align: [], |
1948 | | /// # bytes: [], |
1949 | | /// # }; |
1950 | | /// |
1951 | | /// struct Lazy(Cell<MaybeUninit<DFA>>); |
1952 | | /// // SAFETY: This is safe because DFA impls Sync. |
1953 | | /// unsafe impl Sync for Lazy {} |
1954 | | /// |
1955 | | /// static INIT: Once = Once::new(); |
1956 | | /// static DFA: Lazy = Lazy(Cell::new(MaybeUninit::uninit())); |
1957 | | /// |
1958 | | /// INIT.call_once(|| { |
1959 | | /// let (dfa, _) = DFA::from_bytes(&ALIGNED.bytes) |
1960 | | /// .expect("serialized DFA should be valid"); |
1961 | | /// // SAFETY: This is guaranteed to only execute once, and all |
1962 | | /// // we do with the pointer is write the DFA to it. |
1963 | | /// unsafe { |
1964 | | /// (*DFA.0.as_ptr()).as_mut_ptr().write(dfa); |
1965 | | /// } |
1966 | | /// }); |
1967 | | /// // SAFETY: DFA is guaranteed to by initialized via INIT and is |
1968 | | /// // stored in static memory. |
1969 | | /// unsafe { |
1970 | | /// let dfa = (*DFA.0.as_ptr()).as_ptr(); |
1971 | | /// std::mem::transmute::<*const DFA, &'static DFA>(dfa) |
1972 | | /// } |
1973 | | /// } |
1974 | | /// |
1975 | | /// let dfa = get_foo(); |
1976 | | /// let expected = HalfMatch::must(0, 8); |
1977 | | /// assert_eq!(Ok(Some(expected)), dfa.find_leftmost_fwd(b"foo12345")); |
1978 | | /// ``` |
1979 | | /// |
1980 | | /// Alternatively, consider using |
1981 | | /// [`lazy_static`](https://crates.io/crates/lazy_static) |
1982 | | /// or |
1983 | | /// [`once_cell`](https://crates.io/crates/once_cell), |
1984 | | /// which will guarantee safety for you. You will still need to use the |
1985 | | /// `Aligned` trick above to force correct alignment, but this is safe to |
1986 | | /// do and `from_bytes` will return an error if you get it wrong. |
1987 | 0 | pub fn from_bytes( |
1988 | 0 | slice: &'a [u8], |
1989 | 0 | ) -> Result<(DFA<&'a [u32]>, usize), DeserializeError> { |
1990 | | // SAFETY: This is safe because we validate both the transition table, |
1991 | | // start state ID list and the match states below. If either validation |
1992 | | // fails, then we return an error. |
1993 | 0 | let (dfa, nread) = unsafe { DFA::from_bytes_unchecked(slice)? }; |
1994 | 0 | dfa.tt.validate()?; |
1995 | 0 | dfa.st.validate(&dfa.tt)?; |
1996 | 0 | dfa.ms.validate(&dfa)?; |
1997 | 0 | dfa.accels.validate()?; |
1998 | | // N.B. dfa.special doesn't have a way to do unchecked deserialization, |
1999 | | // so it has already been validated. |
2000 | 0 | Ok((dfa, nread)) |
2001 | 0 | } |
2002 | | |
2003 | | /// Deserialize a DFA with a specific state identifier representation in |
2004 | | /// constant time by omitting the verification of the validity of the |
2005 | | /// transition table and other data inside the DFA. |
2006 | | /// |
2007 | | /// This is just like [`DFA::from_bytes`], except it can potentially return |
2008 | | /// a DFA that exhibits undefined behavior if its transition table contains |
2009 | | /// invalid state identifiers. |
2010 | | /// |
2011 | | /// This routine is useful if you need to deserialize a DFA cheaply |
2012 | | /// and cannot afford the transition table validation performed by |
2013 | | /// `from_bytes`. |
2014 | | /// |
2015 | | /// # Example |
2016 | | /// |
2017 | | /// ``` |
2018 | | /// use regex_automata::{dfa::{Automaton, dense::DFA}, HalfMatch}; |
2019 | | /// |
2020 | | /// let initial = DFA::new("foo[0-9]+")?; |
2021 | | /// let (bytes, _) = initial.to_bytes_native_endian(); |
2022 | | /// // SAFETY: This is guaranteed to be safe since the bytes given come |
2023 | | /// // directly from a compatible serialization routine. |
2024 | | /// let dfa: DFA<&[u32]> = unsafe { DFA::from_bytes_unchecked(&bytes)?.0 }; |
2025 | | /// |
2026 | | /// let expected = HalfMatch::must(0, 8); |
2027 | | /// assert_eq!(Some(expected), dfa.find_leftmost_fwd(b"foo12345")?); |
2028 | | /// # Ok::<(), Box<dyn std::error::Error>>(()) |
2029 | | /// ``` |
2030 | 0 | pub unsafe fn from_bytes_unchecked( |
2031 | 0 | slice: &'a [u8], |
2032 | 0 | ) -> Result<(DFA<&'a [u32]>, usize), DeserializeError> { |
2033 | 0 | let mut nr = 0; |
2034 | 0 |
|
2035 | 0 | nr += bytes::skip_initial_padding(slice); |
2036 | 0 | bytes::check_alignment::<StateID>(&slice[nr..])?; |
2037 | 0 | nr += bytes::read_label(&slice[nr..], LABEL)?; |
2038 | 0 | nr += bytes::read_endianness_check(&slice[nr..])?; |
2039 | 0 | nr += bytes::read_version(&slice[nr..], VERSION)?; |
2040 | | |
2041 | 0 | let _unused = bytes::try_read_u32(&slice[nr..], "unused space")?; |
2042 | 0 | nr += size_of::<u32>(); |
2043 | | |
2044 | 0 | let (tt, nread) = TransitionTable::from_bytes_unchecked(&slice[nr..])?; |
2045 | 0 | nr += nread; |
2046 | | |
2047 | 0 | let (st, nread) = StartTable::from_bytes_unchecked(&slice[nr..])?; |
2048 | 0 | nr += nread; |
2049 | | |
2050 | 0 | let (ms, nread) = MatchStates::from_bytes_unchecked(&slice[nr..])?; |
2051 | 0 | nr += nread; |
2052 | | |
2053 | 0 | let (special, nread) = Special::from_bytes(&slice[nr..])?; |
2054 | 0 | nr += nread; |
2055 | 0 | special.validate_state_count(tt.count(), tt.stride2)?; |
2056 | | |
2057 | 0 | let (accels, nread) = Accels::from_bytes_unchecked(&slice[nr..])?; |
2058 | 0 | nr += nread; |
2059 | 0 |
|
2060 | 0 | Ok((DFA { tt, st, ms, special, accels }, nr)) |
2061 | 0 | } |
2062 | | |
2063 | | /// The implementation of the public `write_to` serialization methods, |
2064 | | /// which is generic over endianness. |
2065 | | /// |
2066 | | /// This is defined only for &[u32] to reduce binary size/compilation time. |
2067 | 0 | fn write_to<E: Endian>( |
2068 | 0 | &self, |
2069 | 0 | mut dst: &mut [u8], |
2070 | 0 | ) -> Result<usize, SerializeError> { |
2071 | 0 | let nwrite = self.write_to_len(); |
2072 | 0 | if dst.len() < nwrite { |
2073 | 0 | return Err(SerializeError::buffer_too_small("dense DFA")); |
2074 | 0 | } |
2075 | 0 | dst = &mut dst[..nwrite]; |
2076 | 0 |
|
2077 | 0 | let mut nw = 0; |
2078 | 0 | nw += bytes::write_label(LABEL, &mut dst[nw..])?; |
2079 | 0 | nw += bytes::write_endianness_check::<E>(&mut dst[nw..])?; |
2080 | 0 | nw += bytes::write_version::<E>(VERSION, &mut dst[nw..])?; |
2081 | 0 | nw += { |
2082 | 0 | // Currently unused, intended for future flexibility |
2083 | 0 | E::write_u32(0, &mut dst[nw..]); |
2084 | 0 | size_of::<u32>() |
2085 | 0 | }; |
2086 | 0 | nw += self.tt.write_to::<E>(&mut dst[nw..])?; |
2087 | 0 | nw += self.st.write_to::<E>(&mut dst[nw..])?; |
2088 | 0 | nw += self.ms.write_to::<E>(&mut dst[nw..])?; |
2089 | 0 | nw += self.special.write_to::<E>(&mut dst[nw..])?; |
2090 | 0 | nw += self.accels.write_to::<E>(&mut dst[nw..])?; |
2091 | 0 | Ok(nw) |
2092 | 0 | } |
2093 | | } |
2094 | | |
2095 | | /// The following methods implement mutable routines on the internal |
2096 | | /// representation of a DFA. As such, we must fix the first type parameter to a |
2097 | | /// `Vec<u32>` since a generic `T: AsRef<[u32]>` does not permit mutation. We |
2098 | | /// can get away with this because these methods are internal to the crate and |
2099 | | /// are exclusively used during construction of the DFA. |
2100 | | #[cfg(feature = "alloc")] |
2101 | | impl OwnedDFA { |
2102 | | /// Add a start state of this DFA. |
2103 | | pub(crate) fn set_start_state( |
2104 | | &mut self, |
2105 | | index: Start, |
2106 | | pattern_id: Option<PatternID>, |
2107 | | id: StateID, |
2108 | | ) { |
2109 | | assert!(self.tt.is_valid(id), "invalid start state"); |
2110 | | self.st.set_start(index, pattern_id, id); |
2111 | | } |
2112 | | |
2113 | | /// Set the given transition to this DFA. Both the `from` and `to` states |
2114 | | /// must already exist. |
2115 | | pub(crate) fn set_transition( |
2116 | | &mut self, |
2117 | | from: StateID, |
2118 | | byte: alphabet::Unit, |
2119 | | to: StateID, |
2120 | | ) { |
2121 | | self.tt.set(from, byte, to); |
2122 | | } |
2123 | | |
2124 | | /// An an empty state (a state where all transitions lead to a dead state) |
2125 | | /// and return its identifier. The identifier returned is guaranteed to |
2126 | | /// not point to any other existing state. |
2127 | | /// |
2128 | | /// If adding a state would exceed `StateID::LIMIT`, then this returns an |
2129 | | /// error. |
2130 | | pub(crate) fn add_empty_state(&mut self) -> Result<StateID, Error> { |
2131 | | self.tt.add_empty_state() |
2132 | | } |
2133 | | |
2134 | | /// Swap the two states given in the transition table. |
2135 | | /// |
2136 | | /// This routine does not do anything to check the correctness of this |
2137 | | /// swap. Callers must ensure that other states pointing to id1 and id2 are |
2138 | | /// updated appropriately. |
2139 | | pub(crate) fn swap_states(&mut self, id1: StateID, id2: StateID) { |
2140 | | self.tt.swap(id1, id2); |
2141 | | } |
2142 | | |
2143 | | /// Truncate the states in this DFA to the given count. |
2144 | | /// |
2145 | | /// This routine does not do anything to check the correctness of this |
2146 | | /// truncation. Callers must ensure that other states pointing to truncated |
2147 | | /// states are updated appropriately. |
2148 | | pub(crate) fn truncate_states(&mut self, count: usize) { |
2149 | | self.tt.truncate(count); |
2150 | | } |
2151 | | |
2152 | | /// Return a mutable representation of the state corresponding to the given |
2153 | | /// id. This is useful for implementing routines that manipulate DFA states |
2154 | | /// (e.g., swapping states). |
2155 | | pub(crate) fn state_mut(&mut self, id: StateID) -> StateMut<'_> { |
2156 | | self.tt.state_mut(id) |
2157 | | } |
2158 | | |
2159 | | /// Minimize this DFA in place using Hopcroft's algorithm. |
2160 | | pub(crate) fn minimize(&mut self) { |
2161 | | Minimizer::new(self).run(); |
2162 | | } |
2163 | | |
2164 | | /// Updates the match state pattern ID map to use the one provided. |
2165 | | /// |
2166 | | /// This is useful when it's convenient to manipulate matching states |
2167 | | /// (and their corresponding pattern IDs) as a map. In particular, the |
2168 | | /// representation used by a DFA for this map is not amenable to mutation, |
2169 | | /// so if things need to be changed (like when shuffling states), it's |
2170 | | /// often easier to work with the map form. |
2171 | | pub(crate) fn set_pattern_map( |
2172 | | &mut self, |
2173 | | map: &BTreeMap<StateID, Vec<PatternID>>, |
2174 | | ) -> Result<(), Error> { |
2175 | | self.ms = self.ms.new_with_map(map)?; |
2176 | | Ok(()) |
2177 | | } |
2178 | | |
2179 | | /// Find states that have a small number of non-loop transitions and mark |
2180 | | /// them as candidates for acceleration during search. |
2181 | | pub(crate) fn accelerate(&mut self) { |
2182 | | // dead and quit states can never be accelerated. |
2183 | | if self.state_count() <= 2 { |
2184 | | return; |
2185 | | } |
2186 | | |
2187 | | // Go through every state and record their accelerator, if possible. |
2188 | | let mut accels = BTreeMap::new(); |
2189 | | // Count the number of accelerated match, start and non-match/start |
2190 | | // states. |
2191 | | let (mut cmatch, mut cstart, mut cnormal) = (0, 0, 0); |
2192 | | for state in self.states() { |
2193 | | if let Some(accel) = state.accelerate(self.byte_classes()) { |
2194 | | accels.insert(state.id(), accel); |
2195 | | if self.is_match_state(state.id()) { |
2196 | | cmatch += 1; |
2197 | | } else if self.is_start_state(state.id()) { |
2198 | | cstart += 1; |
2199 | | } else { |
2200 | | assert!(!self.is_dead_state(state.id())); |
2201 | | assert!(!self.is_quit_state(state.id())); |
2202 | | cnormal += 1; |
2203 | | } |
2204 | | } |
2205 | | } |
2206 | | // If no states were able to be accelerated, then we're done. |
2207 | | if accels.is_empty() { |
2208 | | return; |
2209 | | } |
2210 | | let original_accels_len = accels.len(); |
2211 | | |
2212 | | // A remapper keeps track of state ID changes. Once we're done |
2213 | | // shuffling, the remapper is used to rewrite all transitions in the |
2214 | | // DFA based on the new positions of states. |
2215 | | let mut remapper = Remapper::from_dfa(self); |
2216 | | |
2217 | | // As we swap states, if they are match states, we need to swap their |
2218 | | // pattern ID lists too (for multi-regexes). We do this by converting |
2219 | | // the lists to an easily swappable map, and then convert back to |
2220 | | // MatchStates once we're done. |
2221 | | let mut new_matches = self.ms.to_map(self); |
2222 | | |
2223 | | // There is at least one state that gets accelerated, so these are |
2224 | | // guaranteed to get set to sensible values below. |
2225 | | self.special.min_accel = StateID::MAX; |
2226 | | self.special.max_accel = StateID::ZERO; |
2227 | | let update_special_accel = |
2228 | | |special: &mut Special, accel_id: StateID| { |
2229 | | special.min_accel = cmp::min(special.min_accel, accel_id); |
2230 | | special.max_accel = cmp::max(special.max_accel, accel_id); |
2231 | | }; |
2232 | | |
2233 | | // Start by shuffling match states. Any match states that are |
2234 | | // accelerated get moved to the end of the match state range. |
2235 | | if cmatch > 0 && self.special.matches() { |
2236 | | // N.B. special.{min,max}_match do not need updating, since the |
2237 | | // range/number of match states does not change. Only the ordering |
2238 | | // of match states may change. |
2239 | | let mut next_id = self.special.max_match; |
2240 | | let mut cur_id = next_id; |
2241 | | while cur_id >= self.special.min_match { |
2242 | | if let Some(accel) = accels.remove(&cur_id) { |
2243 | | accels.insert(next_id, accel); |
2244 | | update_special_accel(&mut self.special, next_id); |
2245 | | |
2246 | | // No need to do any actual swapping for equivalent IDs. |
2247 | | if cur_id != next_id { |
2248 | | remapper.swap(self, cur_id, next_id); |
2249 | | |
2250 | | // Swap pattern IDs for match states. |
2251 | | let cur_pids = new_matches.remove(&cur_id).unwrap(); |
2252 | | let next_pids = new_matches.remove(&next_id).unwrap(); |
2253 | | new_matches.insert(cur_id, next_pids); |
2254 | | new_matches.insert(next_id, cur_pids); |
2255 | | } |
2256 | | next_id = self.tt.prev_state_id(next_id); |
2257 | | } |
2258 | | cur_id = self.tt.prev_state_id(cur_id); |
2259 | | } |
2260 | | } |
2261 | | |
2262 | | // This is where it gets tricky. Without acceleration, start states |
2263 | | // normally come right after match states. But we want accelerated |
2264 | | // states to be a single contiguous range (to make it very fast |
2265 | | // to determine whether a state *is* accelerated), while also keeping |
2266 | | // match and starting states as contiguous ranges for the same reason. |
2267 | | // So what we do here is shuffle states such that it looks like this: |
2268 | | // |
2269 | | // DQMMMMAAAAASSSSSSNNNNNNN |
2270 | | // | | |
2271 | | // |---------| |
2272 | | // accelerated states |
2273 | | // |
2274 | | // Where: |
2275 | | // D - dead state |
2276 | | // Q - quit state |
2277 | | // M - match state (may be accelerated) |
2278 | | // A - normal state that is accelerated |
2279 | | // S - start state (may be accelerated) |
2280 | | // N - normal state that is NOT accelerated |
2281 | | // |
2282 | | // We implement this by shuffling states, which is done by a sequence |
2283 | | // of pairwise swaps. We start by looking at all normal states to be |
2284 | | // accelerated. When we find one, we swap it with the earliest starting |
2285 | | // state, and then swap that with the earliest normal state. This |
2286 | | // preserves the contiguous property. |
2287 | | // |
2288 | | // Once we're done looking for accelerated normal states, now we look |
2289 | | // for accelerated starting states by moving them to the beginning |
2290 | | // of the starting state range (just like we moved accelerated match |
2291 | | // states to the end of the matching state range). |
2292 | | // |
2293 | | // For a more detailed/different perspective on this, see the docs |
2294 | | // in dfa/special.rs. |
2295 | | if cnormal > 0 { |
2296 | | // our next available starting and normal states for swapping. |
2297 | | let mut next_start_id = self.special.min_start; |
2298 | | let mut cur_id = self.from_index(self.state_count() - 1); |
2299 | | // This is guaranteed to exist since cnormal > 0. |
2300 | | let mut next_norm_id = |
2301 | | self.tt.next_state_id(self.special.max_start); |
2302 | | while cur_id >= next_norm_id { |
2303 | | if let Some(accel) = accels.remove(&cur_id) { |
2304 | | remapper.swap(self, next_start_id, cur_id); |
2305 | | remapper.swap(self, next_norm_id, cur_id); |
2306 | | // Keep our accelerator map updated with new IDs if the |
2307 | | // states we swapped were also accelerated. |
2308 | | if let Some(accel2) = accels.remove(&next_norm_id) { |
2309 | | accels.insert(cur_id, accel2); |
2310 | | } |
2311 | | if let Some(accel2) = accels.remove(&next_start_id) { |
2312 | | accels.insert(next_norm_id, accel2); |
2313 | | } |
2314 | | accels.insert(next_start_id, accel); |
2315 | | update_special_accel(&mut self.special, next_start_id); |
2316 | | // Our start range shifts one to the right now. |
2317 | | self.special.min_start = |
2318 | | self.tt.next_state_id(self.special.min_start); |
2319 | | self.special.max_start = |
2320 | | self.tt.next_state_id(self.special.max_start); |
2321 | | next_start_id = self.tt.next_state_id(next_start_id); |
2322 | | next_norm_id = self.tt.next_state_id(next_norm_id); |
2323 | | } |
2324 | | // This is pretty tricky, but if our 'next_norm_id' state also |
2325 | | // happened to be accelerated, then the result is that it is |
2326 | | // now in the position of cur_id, so we need to consider it |
2327 | | // again. This loop is still guaranteed to terminate though, |
2328 | | // because when accels contains cur_id, we're guaranteed to |
2329 | | // increment next_norm_id even if cur_id remains unchanged. |
2330 | | if !accels.contains_key(&cur_id) { |
2331 | | cur_id = self.tt.prev_state_id(cur_id); |
2332 | | } |
2333 | | } |
2334 | | } |
2335 | | // Just like we did for match states, but we want to move accelerated |
2336 | | // start states to the beginning of the range instead of the end. |
2337 | | if cstart > 0 { |
2338 | | // N.B. special.{min,max}_start do not need updating, since the |
2339 | | // range/number of start states does not change at this point. Only |
2340 | | // the ordering of start states may change. |
2341 | | let mut next_id = self.special.min_start; |
2342 | | let mut cur_id = next_id; |
2343 | | while cur_id <= self.special.max_start { |
2344 | | if let Some(accel) = accels.remove(&cur_id) { |
2345 | | remapper.swap(self, cur_id, next_id); |
2346 | | accels.insert(next_id, accel); |
2347 | | update_special_accel(&mut self.special, next_id); |
2348 | | next_id = self.tt.next_state_id(next_id); |
2349 | | } |
2350 | | cur_id = self.tt.next_state_id(cur_id); |
2351 | | } |
2352 | | } |
2353 | | |
2354 | | // Remap all transitions in our DFA and assert some things. |
2355 | | remapper.remap(self); |
2356 | | // This unwrap is OK because acceleration never changes the number of |
2357 | | // match states or patterns in those match states. Since acceleration |
2358 | | // runs after the pattern map has been set at least once, we know that |
2359 | | // our match states cannot error. |
2360 | | self.set_pattern_map(&new_matches).unwrap(); |
2361 | | self.special.set_max(); |
2362 | | self.special.validate().expect("special state ranges should validate"); |
2363 | | self.special |
2364 | | .validate_state_count(self.state_count(), self.stride2()) |
2365 | | .expect( |
2366 | | "special state ranges should be consistent with state count", |
2367 | | ); |
2368 | | assert_eq!( |
2369 | | self.special.accel_len(self.stride()), |
2370 | | // We record the number of accelerated states initially detected |
2371 | | // since the accels map is itself mutated in the process above. |
2372 | | // If mutated incorrectly, its size may change, and thus can't be |
2373 | | // trusted as a source of truth of how many accelerated states we |
2374 | | // expected there to be. |
2375 | | original_accels_len, |
2376 | | "mismatch with expected number of accelerated states", |
2377 | | ); |
2378 | | |
2379 | | // And finally record our accelerators. We kept our accels map updated |
2380 | | // as we shuffled states above, so the accelerators should now |
2381 | | // correspond to a contiguous range in the state ID space. (Which we |
2382 | | // assert.) |
2383 | | let mut prev: Option<StateID> = None; |
2384 | | for (id, accel) in accels { |
2385 | | assert!(prev.map_or(true, |p| self.tt.next_state_id(p) == id)); |
2386 | | prev = Some(id); |
2387 | | self.accels.add(accel); |
2388 | | } |
2389 | | } |
2390 | | |
2391 | | /// Shuffle the states in this DFA so that starting states, match |
2392 | | /// states and accelerated states are all contiguous. |
2393 | | /// |
2394 | | /// See dfa/special.rs for more details. |
2395 | | pub(crate) fn shuffle( |
2396 | | &mut self, |
2397 | | mut matches: BTreeMap<StateID, Vec<PatternID>>, |
2398 | | ) -> Result<(), Error> { |
2399 | | // The determinizer always adds a quit state and it is always second. |
2400 | | self.special.quit_id = self.from_index(1); |
2401 | | // If all we have are the dead and quit states, then we're done and |
2402 | | // the DFA will never produce a match. |
2403 | | if self.state_count() <= 2 { |
2404 | | self.special.set_max(); |
2405 | | return Ok(()); |
2406 | | } |
2407 | | |
2408 | | // Collect all our start states into a convenient set and confirm there |
2409 | | // is no overlap with match states. In the classicl DFA construction, |
2410 | | // start states can be match states. But because of look-around, we |
2411 | | // delay all matches by a byte, which prevents start states from being |
2412 | | // match states. |
2413 | | let mut is_start: BTreeSet<StateID> = BTreeSet::new(); |
2414 | | for (start_id, _, _) in self.starts() { |
2415 | | // While there's nothing theoretically wrong with setting a start |
2416 | | // state to a dead ID (indeed, it could be an optimization!), the |
2417 | | // shuffling code below assumes that start states aren't dead. If |
2418 | | // this assumption is violated, the dead state could be shuffled |
2419 | | // to a new location, which must never happen. So if we do want |
2420 | | // to allow start states to be dead, then this assert should be |
2421 | | // removed and the code below fixed. |
2422 | | // |
2423 | | // N.B. Minimization can cause start states to be dead, but that |
2424 | | // happens after states are shuffled, so it's OK. Also, start |
2425 | | // states are dead for the DFA that never matches anything, but |
2426 | | // in that case, there are no states to shuffle. |
2427 | | assert_ne!(start_id, DEAD, "start state cannot be dead"); |
2428 | | assert!( |
2429 | | !matches.contains_key(&start_id), |
2430 | | "{:?} is both a start and a match state, which is not allowed", |
2431 | | start_id, |
2432 | | ); |
2433 | | is_start.insert(start_id); |
2434 | | } |
2435 | | |
2436 | | // We implement shuffling by a sequence of pairwise swaps of states. |
2437 | | // Since we have a number of things referencing states via their |
2438 | | // IDs and swapping them changes their IDs, we need to record every |
2439 | | // swap we make so that we can remap IDs. The remapper handles this |
2440 | | // book-keeping for us. |
2441 | | let mut remapper = Remapper::from_dfa(self); |
2442 | | |
2443 | | // Shuffle matching states. |
2444 | | if matches.is_empty() { |
2445 | | self.special.min_match = DEAD; |
2446 | | self.special.max_match = DEAD; |
2447 | | } else { |
2448 | | // The determinizer guarantees that the first two states are the |
2449 | | // dead and quit states, respectively. We want our match states to |
2450 | | // come right after quit. |
2451 | | let mut next_id = self.from_index(2); |
2452 | | let mut new_matches = BTreeMap::new(); |
2453 | | self.special.min_match = next_id; |
2454 | | for (id, pids) in matches { |
2455 | | remapper.swap(self, next_id, id); |
2456 | | new_matches.insert(next_id, pids); |
2457 | | // If we swapped a start state, then update our set. |
2458 | | if is_start.contains(&next_id) { |
2459 | | is_start.remove(&next_id); |
2460 | | is_start.insert(id); |
2461 | | } |
2462 | | next_id = self.tt.next_state_id(next_id); |
2463 | | } |
2464 | | matches = new_matches; |
2465 | | self.special.max_match = cmp::max( |
2466 | | self.special.min_match, |
2467 | | self.tt.prev_state_id(next_id), |
2468 | | ); |
2469 | | } |
2470 | | |
2471 | | // Shuffle starting states. |
2472 | | { |
2473 | | let mut next_id = self.from_index(2); |
2474 | | if self.special.matches() { |
2475 | | next_id = self.tt.next_state_id(self.special.max_match); |
2476 | | } |
2477 | | self.special.min_start = next_id; |
2478 | | for id in is_start { |
2479 | | remapper.swap(self, next_id, id); |
2480 | | next_id = self.tt.next_state_id(next_id); |
2481 | | } |
2482 | | self.special.max_start = cmp::max( |
2483 | | self.special.min_start, |
2484 | | self.tt.prev_state_id(next_id), |
2485 | | ); |
2486 | | } |
2487 | | |
2488 | | // Finally remap all transitions in our DFA. |
2489 | | remapper.remap(self); |
2490 | | self.set_pattern_map(&matches)?; |
2491 | | self.special.set_max(); |
2492 | | self.special.validate().expect("special state ranges should validate"); |
2493 | | self.special |
2494 | | .validate_state_count(self.state_count(), self.stride2()) |
2495 | | .expect( |
2496 | | "special state ranges should be consistent with state count", |
2497 | | ); |
2498 | | Ok(()) |
2499 | | } |
2500 | | } |
2501 | | |
2502 | | /// A variety of generic internal methods for accessing DFA internals. |
2503 | | impl<T: AsRef<[u32]>> DFA<T> { |
2504 | | /// Return the byte classes used by this DFA. |
2505 | 0 | pub(crate) fn byte_classes(&self) -> &ByteClasses { |
2506 | 0 | &self.tt.classes |
2507 | 0 | } |
2508 | | |
2509 | | /// Return the info about special states. |
2510 | 0 | pub(crate) fn special(&self) -> &Special { |
2511 | 0 | &self.special |
2512 | 0 | } |
2513 | | |
2514 | | /// Return the info about special states as a mutable borrow. |
2515 | | #[cfg(feature = "alloc")] |
2516 | | pub(crate) fn special_mut(&mut self) -> &mut Special { |
2517 | | &mut self.special |
2518 | | } |
2519 | | |
2520 | | /// Returns an iterator over all states in this DFA. |
2521 | | /// |
2522 | | /// This iterator yields a tuple for each state. The first element of the |
2523 | | /// tuple corresponds to a state's identifier, and the second element |
2524 | | /// corresponds to the state itself (comprised of its transitions). |
2525 | 0 | pub(crate) fn states(&self) -> StateIter<'_, T> { |
2526 | 0 | self.tt.states() |
2527 | 0 | } |
2528 | | |
2529 | | /// Return the total number of states in this DFA. Every DFA has at least |
2530 | | /// 1 state, even the empty DFA. |
2531 | 0 | pub(crate) fn state_count(&self) -> usize { |
2532 | 0 | self.tt.count() |
2533 | 0 | } |
2534 | | |
2535 | | /// Return an iterator over all pattern IDs for the given match state. |
2536 | | /// |
2537 | | /// If the given state is not a match state, then this panics. |
2538 | | #[cfg(feature = "alloc")] |
2539 | | pub(crate) fn pattern_id_slice(&self, id: StateID) -> &[PatternID] { |
2540 | | assert!(self.is_match_state(id)); |
2541 | | self.ms.pattern_id_slice(self.match_state_index(id)) |
2542 | | } |
2543 | | |
2544 | | /// Return the total number of pattern IDs for the given match state. |
2545 | | /// |
2546 | | /// If the given state is not a match state, then this panics. |
2547 | 0 | pub(crate) fn match_pattern_len(&self, id: StateID) -> usize { |
2548 | 0 | assert!(self.is_match_state(id)); |
2549 | 0 | self.ms.pattern_len(self.match_state_index(id)) |
2550 | 0 | } |
2551 | | |
2552 | | /// Returns the total number of patterns matched by this DFA. |
2553 | 0 | pub(crate) fn pattern_count(&self) -> usize { |
2554 | 0 | self.ms.patterns |
2555 | 0 | } |
2556 | | |
2557 | | /// Returns a map from match state ID to a list of pattern IDs that match |
2558 | | /// in that state. |
2559 | | #[cfg(feature = "alloc")] |
2560 | | pub(crate) fn pattern_map(&self) -> BTreeMap<StateID, Vec<PatternID>> { |
2561 | | self.ms.to_map(self) |
2562 | | } |
2563 | | |
2564 | | /// Returns the ID of the quit state for this DFA. |
2565 | | #[cfg(feature = "alloc")] |
2566 | | pub(crate) fn quit_id(&self) -> StateID { |
2567 | | self.from_index(1) |
2568 | | } |
2569 | | |
2570 | | /// Convert the given state identifier to the state's index. The state's |
2571 | | /// index corresponds to the position in which it appears in the transition |
2572 | | /// table. When a DFA is NOT premultiplied, then a state's identifier is |
2573 | | /// also its index. When a DFA is premultiplied, then a state's identifier |
2574 | | /// is equal to `index * alphabet_len`. This routine reverses that. |
2575 | 0 | pub(crate) fn to_index(&self, id: StateID) -> usize { |
2576 | 0 | self.tt.to_index(id) |
2577 | 0 | } |
2578 | | |
2579 | | /// Convert an index to a state (in the range 0..self.state_count()) to an |
2580 | | /// actual state identifier. |
2581 | | /// |
2582 | | /// This is useful when using a `Vec<T>` as an efficient map keyed by state |
2583 | | /// to some other information (such as a remapped state ID). |
2584 | | #[cfg(feature = "alloc")] |
2585 | | pub(crate) fn from_index(&self, index: usize) -> StateID { |
2586 | | self.tt.from_index(index) |
2587 | | } |
2588 | | |
2589 | | /// Return the table of state IDs for this DFA's start states. |
2590 | 0 | pub(crate) fn starts(&self) -> StartStateIter<'_> { |
2591 | 0 | self.st.iter() |
2592 | 0 | } |
2593 | | |
2594 | | /// Returns the index of the match state for the given ID. If the |
2595 | | /// given ID does not correspond to a match state, then this may |
2596 | | /// panic or produce an incorrect result. |
2597 | 0 | fn match_state_index(&self, id: StateID) -> usize { |
2598 | 0 | debug_assert!(self.is_match_state(id)); |
2599 | | // This is one of the places where we rely on the fact that match |
2600 | | // states are contiguous in the transition table. Namely, that the |
2601 | | // first match state ID always corresponds to dfa.special.min_start. |
2602 | | // From there, since we know the stride, we can compute the overall |
2603 | | // index of any match state given the match state's ID. |
2604 | 0 | let min = self.special().min_match.as_usize(); |
2605 | 0 | // CORRECTNESS: We're allowed to produce an incorrect result or panic, |
2606 | 0 | // so both the subtraction and the unchecked StateID construction is |
2607 | 0 | // OK. |
2608 | 0 | self.to_index(StateID::new_unchecked(id.as_usize() - min)) |
2609 | 0 | } |
2610 | | |
2611 | | /// Returns the index of the accelerator state for the given ID. If the |
2612 | | /// given ID does not correspond to an accelerator state, then this may |
2613 | | /// panic or produce an incorrect result. |
2614 | 0 | fn accelerator_index(&self, id: StateID) -> usize { |
2615 | 0 | let min = self.special().min_accel.as_usize(); |
2616 | 0 | // CORRECTNESS: We're allowed to produce an incorrect result or panic, |
2617 | 0 | // so both the subtraction and the unchecked StateID construction is |
2618 | 0 | // OK. |
2619 | 0 | self.to_index(StateID::new_unchecked(id.as_usize() - min)) |
2620 | 0 | } |
2621 | | |
2622 | | /// Return the accelerators for this DFA. |
2623 | 0 | fn accels(&self) -> Accels<&[u32]> { |
2624 | 0 | self.accels.as_ref() |
2625 | 0 | } |
2626 | | |
2627 | | /// Return this DFA's transition table as a slice. |
2628 | 0 | fn trans(&self) -> &[StateID] { |
2629 | 0 | self.tt.table() |
2630 | 0 | } |
2631 | | } |
2632 | | |
2633 | | impl<T: AsRef<[u32]>> fmt::Debug for DFA<T> { |
2634 | 0 | fn fmt(&self, f: &mut fmt::Formatter<'_>) -> fmt::Result { |
2635 | 0 | writeln!(f, "dense::DFA(")?; |
2636 | 0 | for state in self.states() { |
2637 | 0 | fmt_state_indicator(f, self, state.id())?; |
2638 | 0 | let id = if f.alternate() { |
2639 | 0 | state.id().as_usize() |
2640 | | } else { |
2641 | 0 | self.to_index(state.id()) |
2642 | | }; |
2643 | 0 | write!(f, "{:06?}: ", id)?; |
2644 | 0 | state.fmt(f)?; |
2645 | 0 | write!(f, "\n")?; |
2646 | | } |
2647 | 0 | writeln!(f, "")?; |
2648 | 0 | for (i, (start_id, sty, pid)) in self.starts().enumerate() { |
2649 | 0 | let id = if f.alternate() { |
2650 | 0 | start_id.as_usize() |
2651 | | } else { |
2652 | 0 | self.to_index(start_id) |
2653 | | }; |
2654 | 0 | if i % self.st.stride == 0 { |
2655 | 0 | match pid { |
2656 | 0 | None => writeln!(f, "START-GROUP(ALL)")?, |
2657 | 0 | Some(pid) => { |
2658 | 0 | writeln!(f, "START_GROUP(pattern: {:?})", pid)? |
2659 | | } |
2660 | | } |
2661 | 0 | } |
2662 | 0 | writeln!(f, " {:?} => {:06?}", sty, id)?; |
2663 | | } |
2664 | 0 | if self.pattern_count() > 1 { |
2665 | 0 | writeln!(f, "")?; |
2666 | 0 | for i in 0..self.ms.count() { |
2667 | 0 | let id = self.ms.match_state_id(self, i); |
2668 | 0 | let id = if f.alternate() { |
2669 | 0 | id.as_usize() |
2670 | | } else { |
2671 | 0 | self.to_index(id) |
2672 | | }; |
2673 | 0 | write!(f, "MATCH({:06?}): ", id)?; |
2674 | 0 | for (i, &pid) in self.ms.pattern_id_slice(i).iter().enumerate() |
2675 | | { |
2676 | 0 | if i > 0 { |
2677 | 0 | write!(f, ", ")?; |
2678 | 0 | } |
2679 | 0 | write!(f, "{:?}", pid)?; |
2680 | | } |
2681 | 0 | writeln!(f, "")?; |
2682 | | } |
2683 | 0 | } |
2684 | 0 | writeln!(f, "state count: {:?}", self.state_count())?; |
2685 | 0 | writeln!(f, "pattern count: {:?}", self.pattern_count())?; |
2686 | 0 | writeln!(f, ")")?; |
2687 | 0 | Ok(()) |
2688 | 0 | } |
2689 | | } |
2690 | | |
2691 | | unsafe impl<T: AsRef<[u32]>> Automaton for DFA<T> { |
2692 | | #[inline] |
2693 | 0 | fn is_special_state(&self, id: StateID) -> bool { |
2694 | 0 | self.special.is_special_state(id) |
2695 | 0 | } |
2696 | | |
2697 | | #[inline] |
2698 | 0 | fn is_dead_state(&self, id: StateID) -> bool { |
2699 | 0 | self.special.is_dead_state(id) |
2700 | 0 | } |
2701 | | |
2702 | | #[inline] |
2703 | 0 | fn is_quit_state(&self, id: StateID) -> bool { |
2704 | 0 | self.special.is_quit_state(id) |
2705 | 0 | } |
2706 | | |
2707 | | #[inline] |
2708 | 0 | fn is_match_state(&self, id: StateID) -> bool { |
2709 | 0 | self.special.is_match_state(id) |
2710 | 0 | } |
2711 | | |
2712 | | #[inline] |
2713 | 0 | fn is_start_state(&self, id: StateID) -> bool { |
2714 | 0 | self.special.is_start_state(id) |
2715 | 0 | } |
2716 | | |
2717 | | #[inline] |
2718 | 0 | fn is_accel_state(&self, id: StateID) -> bool { |
2719 | 0 | self.special.is_accel_state(id) |
2720 | 0 | } |
2721 | | |
2722 | | #[inline] |
2723 | 0 | fn next_state(&self, current: StateID, input: u8) -> StateID { |
2724 | 0 | let input = self.byte_classes().get(input); |
2725 | 0 | let o = current.as_usize() + usize::from(input); |
2726 | 0 | self.trans()[o] |
2727 | 0 | } |
2728 | | |
2729 | | #[inline] |
2730 | 0 | unsafe fn next_state_unchecked( |
2731 | 0 | &self, |
2732 | 0 | current: StateID, |
2733 | 0 | input: u8, |
2734 | 0 | ) -> StateID { |
2735 | 0 | let input = self.byte_classes().get_unchecked(input); |
2736 | 0 | let o = current.as_usize() + usize::from(input); |
2737 | 0 | *self.trans().get_unchecked(o) |
2738 | 0 | } |
2739 | | |
2740 | | #[inline] |
2741 | 0 | fn next_eoi_state(&self, current: StateID) -> StateID { |
2742 | 0 | let eoi = self.byte_classes().eoi().as_usize(); |
2743 | 0 | let o = current.as_usize() + eoi; |
2744 | 0 | self.trans()[o] |
2745 | 0 | } |
2746 | | |
2747 | | #[inline] |
2748 | 0 | fn pattern_count(&self) -> usize { |
2749 | 0 | self.ms.patterns |
2750 | 0 | } |
2751 | | |
2752 | | #[inline] |
2753 | 0 | fn match_count(&self, id: StateID) -> usize { |
2754 | 0 | self.match_pattern_len(id) |
2755 | 0 | } |
2756 | | |
2757 | | #[inline] |
2758 | 0 | fn match_pattern(&self, id: StateID, match_index: usize) -> PatternID { |
2759 | 0 | // This is an optimization for the very common case of a DFA with a |
2760 | 0 | // single pattern. This conditional avoids a somewhat more costly path |
2761 | 0 | // that finds the pattern ID from the state machine, which requires |
2762 | 0 | // a bit of slicing/pointer-chasing. This optimization tends to only |
2763 | 0 | // matter when matches are frequent. |
2764 | 0 | if self.ms.patterns == 1 { |
2765 | 0 | return PatternID::ZERO; |
2766 | 0 | } |
2767 | 0 | let state_index = self.match_state_index(id); |
2768 | 0 | self.ms.pattern_id(state_index, match_index) |
2769 | 0 | } |
2770 | | |
2771 | | #[inline] |
2772 | 0 | fn start_state_forward( |
2773 | 0 | &self, |
2774 | 0 | pattern_id: Option<PatternID>, |
2775 | 0 | bytes: &[u8], |
2776 | 0 | start: usize, |
2777 | 0 | end: usize, |
2778 | 0 | ) -> StateID { |
2779 | 0 | let index = Start::from_position_fwd(bytes, start, end); |
2780 | 0 | self.st.start(index, pattern_id) |
2781 | 0 | } |
2782 | | |
2783 | | #[inline] |
2784 | 0 | fn start_state_reverse( |
2785 | 0 | &self, |
2786 | 0 | pattern_id: Option<PatternID>, |
2787 | 0 | bytes: &[u8], |
2788 | 0 | start: usize, |
2789 | 0 | end: usize, |
2790 | 0 | ) -> StateID { |
2791 | 0 | let index = Start::from_position_rev(bytes, start, end); |
2792 | 0 | self.st.start(index, pattern_id) |
2793 | 0 | } |
2794 | | |
2795 | | #[inline(always)] |
2796 | 0 | fn accelerator(&self, id: StateID) -> &[u8] { |
2797 | 0 | if !self.is_accel_state(id) { |
2798 | 0 | return &[]; |
2799 | 0 | } |
2800 | 0 | self.accels.needles(self.accelerator_index(id)) |
2801 | 0 | } |
2802 | | } |
2803 | | |
2804 | | /// The transition table portion of a dense DFA. |
2805 | | /// |
2806 | | /// The transition table is the core part of the DFA in that it describes how |
2807 | | /// to move from one state to another based on the input sequence observed. |
2808 | | #[derive(Clone)] |
2809 | | pub(crate) struct TransitionTable<T> { |
2810 | | /// A contiguous region of memory representing the transition table in |
2811 | | /// row-major order. The representation is dense. That is, every state |
2812 | | /// has precisely the same number of transitions. The maximum number of |
2813 | | /// transitions per state is 257 (256 for each possible byte value, plus 1 |
2814 | | /// for the special EOI transition). If a DFA has been instructed to use |
2815 | | /// byte classes (the default), then the number of transitions is usually |
2816 | | /// substantially fewer. |
2817 | | /// |
2818 | | /// In practice, T is either `Vec<u32>` or `&[u32]`. |
2819 | | table: T, |
2820 | | /// A set of equivalence classes, where a single equivalence class |
2821 | | /// represents a set of bytes that never discriminate between a match |
2822 | | /// and a non-match in the DFA. Each equivalence class corresponds to a |
2823 | | /// single character in this DFA's alphabet, where the maximum number of |
2824 | | /// characters is 257 (each possible value of a byte plus the special |
2825 | | /// EOI transition). Consequently, the number of equivalence classes |
2826 | | /// corresponds to the number of transitions for each DFA state. Note |
2827 | | /// though that the *space* used by each DFA state in the transition table |
2828 | | /// may be larger. The total space used by each DFA state is known as the |
2829 | | /// stride. |
2830 | | /// |
2831 | | /// The only time the number of equivalence classes is fewer than 257 is if |
2832 | | /// the DFA's kind uses byte classes (which is the default). Equivalence |
2833 | | /// classes should generally only be disabled when debugging, so that |
2834 | | /// the transitions themselves aren't obscured. Disabling them has no |
2835 | | /// other benefit, since the equivalence class map is always used while |
2836 | | /// searching. In the vast majority of cases, the number of equivalence |
2837 | | /// classes is substantially smaller than 257, particularly when large |
2838 | | /// Unicode classes aren't used. |
2839 | | classes: ByteClasses, |
2840 | | /// The stride of each DFA state, expressed as a power-of-two exponent. |
2841 | | /// |
2842 | | /// The stride of a DFA corresponds to the total amount of space used by |
2843 | | /// each DFA state in the transition table. This may be bigger than the |
2844 | | /// size of a DFA's alphabet, since the stride is always the smallest |
2845 | | /// power of two greater than or equal to the alphabet size. |
2846 | | /// |
2847 | | /// While this wastes space, this avoids the need for integer division |
2848 | | /// to convert between premultiplied state IDs and their corresponding |
2849 | | /// indices. Instead, we can use simple bit-shifts. |
2850 | | /// |
2851 | | /// See the docs for the `stride2` method for more details. |
2852 | | /// |
2853 | | /// The minimum `stride2` value is `1` (corresponding to a stride of `2`) |
2854 | | /// while the maximum `stride2` value is `9` (corresponding to a stride of |
2855 | | /// `512`). The maximum is not `8` since the maximum alphabet size is `257` |
2856 | | /// when accounting for the special EOI transition. However, an alphabet |
2857 | | /// length of that size is exceptionally rare since the alphabet is shrunk |
2858 | | /// into equivalence classes. |
2859 | | stride2: usize, |
2860 | | } |
2861 | | |
2862 | | impl<'a> TransitionTable<&'a [u32]> { |
2863 | | /// Deserialize a transition table starting at the beginning of `slice`. |
2864 | | /// Upon success, return the total number of bytes read along with the |
2865 | | /// transition table. |
2866 | | /// |
2867 | | /// If there was a problem deserializing any part of the transition table, |
2868 | | /// then this returns an error. Notably, if the given slice does not have |
2869 | | /// the same alignment as `StateID`, then this will return an error (among |
2870 | | /// other possible errors). |
2871 | | /// |
2872 | | /// This is guaranteed to execute in constant time. |
2873 | | /// |
2874 | | /// # Safety |
2875 | | /// |
2876 | | /// This routine is not safe because it does not check the valdity of the |
2877 | | /// transition table itself. In particular, the transition table can be |
2878 | | /// quite large, so checking its validity can be somewhat expensive. An |
2879 | | /// invalid transition table is not safe because other code may rely on the |
2880 | | /// transition table being correct (such as explicit bounds check elision). |
2881 | | /// Therefore, an invalid transition table can lead to undefined behavior. |
2882 | | /// |
2883 | | /// Callers that use this function must either pass on the safety invariant |
2884 | | /// or guarantee that the bytes given contain a valid transition table. |
2885 | | /// This guarantee is upheld by the bytes written by `write_to`. |
2886 | 0 | unsafe fn from_bytes_unchecked( |
2887 | 0 | mut slice: &'a [u8], |
2888 | 0 | ) -> Result<(TransitionTable<&'a [u32]>, usize), DeserializeError> { |
2889 | 0 | let slice_start = slice.as_ptr() as usize; |
2890 | | |
2891 | 0 | let (count, nr) = bytes::try_read_u32_as_usize(slice, "state count")?; |
2892 | 0 | slice = &slice[nr..]; |
2893 | | |
2894 | 0 | let (stride2, nr) = bytes::try_read_u32_as_usize(slice, "stride2")?; |
2895 | 0 | slice = &slice[nr..]; |
2896 | | |
2897 | 0 | let (classes, nr) = ByteClasses::from_bytes(slice)?; |
2898 | 0 | slice = &slice[nr..]; |
2899 | 0 |
|
2900 | 0 | // The alphabet length (determined by the byte class map) cannot be |
2901 | 0 | // bigger than the stride (total space used by each DFA state). |
2902 | 0 | if stride2 > 9 { |
2903 | 0 | return Err(DeserializeError::generic( |
2904 | 0 | "dense DFA has invalid stride2 (too big)", |
2905 | 0 | )); |
2906 | 0 | } |
2907 | 0 | // It also cannot be zero, since even a DFA that never matches anything |
2908 | 0 | // has a non-zero number of states with at least two equivalence |
2909 | 0 | // classes: one for all 256 byte values and another for the EOI |
2910 | 0 | // sentinel. |
2911 | 0 | if stride2 < 1 { |
2912 | 0 | return Err(DeserializeError::generic( |
2913 | 0 | "dense DFA has invalid stride2 (too small)", |
2914 | 0 | )); |
2915 | 0 | } |
2916 | 0 | // This is OK since 1 <= stride2 <= 9. |
2917 | 0 | let stride = |
2918 | 0 | 1usize.checked_shl(u32::try_from(stride2).unwrap()).unwrap(); |
2919 | 0 | if classes.alphabet_len() > stride { |
2920 | 0 | return Err(DeserializeError::generic( |
2921 | 0 | "alphabet size cannot be bigger than transition table stride", |
2922 | 0 | )); |
2923 | 0 | } |
2924 | | |
2925 | 0 | let trans_count = |
2926 | 0 | bytes::shl(count, stride2, "dense table transition count")?; |
2927 | 0 | let table_bytes_len = bytes::mul( |
2928 | 0 | trans_count, |
2929 | 0 | StateID::SIZE, |
2930 | 0 | "dense table state byte count", |
2931 | 0 | )?; |
2932 | 0 | bytes::check_slice_len(slice, table_bytes_len, "transition table")?; |
2933 | 0 | bytes::check_alignment::<StateID>(slice)?; |
2934 | 0 | let table_bytes = &slice[..table_bytes_len]; |
2935 | 0 | slice = &slice[table_bytes_len..]; |
2936 | 0 | // SAFETY: Since StateID is always representable as a u32, all we need |
2937 | 0 | // to do is ensure that we have the proper length and alignment. We've |
2938 | 0 | // checked both above, so the cast below is safe. |
2939 | 0 | // |
2940 | 0 | // N.B. This is the only not-safe code in this function, so we mark |
2941 | 0 | // it explicitly to call it out, even though it is technically |
2942 | 0 | // superfluous. |
2943 | 0 | #[allow(unused_unsafe)] |
2944 | 0 | let table = unsafe { |
2945 | 0 | core::slice::from_raw_parts( |
2946 | 0 | table_bytes.as_ptr() as *const u32, |
2947 | 0 | trans_count, |
2948 | 0 | ) |
2949 | 0 | }; |
2950 | 0 | let tt = TransitionTable { table, classes, stride2 }; |
2951 | 0 | Ok((tt, slice.as_ptr() as usize - slice_start)) |
2952 | 0 | } |
2953 | | } |
2954 | | |
2955 | | #[cfg(feature = "alloc")] |
2956 | | impl TransitionTable<Vec<u32>> { |
2957 | | /// Create a minimal transition table with just two states: a dead state |
2958 | | /// and a quit state. The alphabet length and stride of the transition |
2959 | | /// table is determined by the given set of equivalence classes. |
2960 | | fn minimal(classes: ByteClasses) -> TransitionTable<Vec<u32>> { |
2961 | | let mut tt = TransitionTable { |
2962 | | table: vec![], |
2963 | | classes, |
2964 | | stride2: classes.stride2(), |
2965 | | }; |
2966 | | // Two states, regardless of alphabet size, can always fit into u32. |
2967 | | tt.add_empty_state().unwrap(); // dead state |
2968 | | tt.add_empty_state().unwrap(); // quit state |
2969 | | tt |
2970 | | } |
2971 | | |
2972 | | /// Set a transition in this table. Both the `from` and `to` states must |
2973 | | /// already exist, otherwise this panics. `unit` should correspond to the |
2974 | | /// transition out of `from` to set to `to`. |
2975 | | fn set(&mut self, from: StateID, unit: alphabet::Unit, to: StateID) { |
2976 | | assert!(self.is_valid(from), "invalid 'from' state"); |
2977 | | assert!(self.is_valid(to), "invalid 'to' state"); |
2978 | | self.table[from.as_usize() + self.classes.get_by_unit(unit)] = |
2979 | | to.as_u32(); |
2980 | | } |
2981 | | |
2982 | | /// Add an empty state (a state where all transitions lead to a dead state) |
2983 | | /// and return its identifier. The identifier returned is guaranteed to |
2984 | | /// not point to any other existing state. |
2985 | | /// |
2986 | | /// If adding a state would exhaust the state identifier space, then this |
2987 | | /// returns an error. |
2988 | | fn add_empty_state(&mut self) -> Result<StateID, Error> { |
2989 | | // Normally, to get a fresh state identifier, we would just |
2990 | | // take the index of the next state added to the transition |
2991 | | // table. However, we actually perform an optimization here |
2992 | | // that premultiplies state IDs by the stride, such that they |
2993 | | // point immediately at the beginning of their transitions in |
2994 | | // the transition table. This avoids an extra multiplication |
2995 | | // instruction for state lookup at search time. |
2996 | | // |
2997 | | // Premultiplied identifiers means that instead of your matching |
2998 | | // loop looking something like this: |
2999 | | // |
3000 | | // state = dfa.start |
3001 | | // for byte in haystack: |
3002 | | // next = dfa.transitions[state * stride + byte] |
3003 | | // if dfa.is_match(next): |
3004 | | // return true |
3005 | | // return false |
3006 | | // |
3007 | | // it can instead look like this: |
3008 | | // |
3009 | | // state = dfa.start |
3010 | | // for byte in haystack: |
3011 | | // next = dfa.transitions[state + byte] |
3012 | | // if dfa.is_match(next): |
3013 | | // return true |
3014 | | // return false |
3015 | | // |
3016 | | // In other words, we save a multiplication instruction in the |
3017 | | // critical path. This turns out to be a decent performance win. |
3018 | | // The cost of using premultiplied state ids is that they can |
3019 | | // require a bigger state id representation. (And they also make |
3020 | | // the code a bit more complex, especially during minimization and |
3021 | | // when reshuffling states, as one needs to convert back and forth |
3022 | | // between state IDs and state indices.) |
3023 | | // |
3024 | | // To do this, we simply take the index of the state into the |
3025 | | // entire transition table, rather than the index of the state |
3026 | | // itself. e.g., If the stride is 64, then the ID of the 3rd state |
3027 | | // is 192, not 2. |
3028 | | let next = self.table.len(); |
3029 | | let id = StateID::new(next).map_err(|_| Error::too_many_states())?; |
3030 | | self.table.extend(iter::repeat(0).take(self.stride())); |
3031 | | Ok(id) |
3032 | | } |
3033 | | |
3034 | | /// Swap the two states given in this transition table. |
3035 | | /// |
3036 | | /// This routine does not do anything to check the correctness of this |
3037 | | /// swap. Callers must ensure that other states pointing to id1 and id2 are |
3038 | | /// updated appropriately. |
3039 | | /// |
3040 | | /// Both id1 and id2 must point to valid states, otherwise this panics. |
3041 | | fn swap(&mut self, id1: StateID, id2: StateID) { |
3042 | | assert!(self.is_valid(id1), "invalid 'id1' state: {:?}", id1); |
3043 | | assert!(self.is_valid(id2), "invalid 'id2' state: {:?}", id2); |
3044 | | // We only need to swap the parts of the state that are used. So if the |
3045 | | // stride is 64, but the alphabet length is only 33, then we save a lot |
3046 | | // of work. |
3047 | | for b in 0..self.classes.alphabet_len() { |
3048 | | self.table.swap(id1.as_usize() + b, id2.as_usize() + b); |
3049 | | } |
3050 | | } |
3051 | | |
3052 | | /// Truncate the states in this transition table to the given count. |
3053 | | /// |
3054 | | /// This routine does not do anything to check the correctness of this |
3055 | | /// truncation. Callers must ensure that other states pointing to truncated |
3056 | | /// states are updated appropriately. |
3057 | | fn truncate(&mut self, count: usize) { |
3058 | | self.table.truncate(count << self.stride2); |
3059 | | } |
3060 | | |
3061 | | /// Return a mutable representation of the state corresponding to the given |
3062 | | /// id. This is useful for implementing routines that manipulate DFA states |
3063 | | /// (e.g., swapping states). |
3064 | | fn state_mut(&mut self, id: StateID) -> StateMut<'_> { |
3065 | | let alphabet_len = self.alphabet_len(); |
3066 | | let i = id.as_usize(); |
3067 | | StateMut { |
3068 | | id, |
3069 | | stride2: self.stride2, |
3070 | | transitions: &mut self.table_mut()[i..i + alphabet_len], |
3071 | | } |
3072 | | } |
3073 | | } |
3074 | | |
3075 | | impl<T: AsRef<[u32]>> TransitionTable<T> { |
3076 | | /// Writes a serialized form of this transition table to the buffer given. |
3077 | | /// If the buffer is too small, then an error is returned. To determine |
3078 | | /// how big the buffer must be, use `write_to_len`. |
3079 | 0 | fn write_to<E: Endian>( |
3080 | 0 | &self, |
3081 | 0 | mut dst: &mut [u8], |
3082 | 0 | ) -> Result<usize, SerializeError> { |
3083 | 0 | let nwrite = self.write_to_len(); |
3084 | 0 | if dst.len() < nwrite { |
3085 | 0 | return Err(SerializeError::buffer_too_small("transition table")); |
3086 | 0 | } |
3087 | 0 | dst = &mut dst[..nwrite]; |
3088 | 0 |
|
3089 | 0 | // write state count |
3090 | 0 | // Unwrap is OK since number of states is guaranteed to fit in a u32. |
3091 | 0 | E::write_u32(u32::try_from(self.count()).unwrap(), dst); |
3092 | 0 | dst = &mut dst[size_of::<u32>()..]; |
3093 | 0 |
|
3094 | 0 | // write state stride (as power of 2) |
3095 | 0 | // Unwrap is OK since stride2 is guaranteed to be <= 9. |
3096 | 0 | E::write_u32(u32::try_from(self.stride2).unwrap(), dst); |
3097 | 0 | dst = &mut dst[size_of::<u32>()..]; |
3098 | | |
3099 | | // write byte class map |
3100 | 0 | let n = self.classes.write_to(dst)?; |
3101 | 0 | dst = &mut dst[n..]; |
3102 | | |
3103 | | // write actual transitions |
3104 | 0 | for &sid in self.table() { |
3105 | 0 | let n = bytes::write_state_id::<E>(sid, &mut dst); |
3106 | 0 | dst = &mut dst[n..]; |
3107 | 0 | } |
3108 | 0 | Ok(nwrite) |
3109 | 0 | } |
3110 | | |
3111 | | /// Returns the number of bytes the serialized form of this transition |
3112 | | /// table will use. |
3113 | 0 | fn write_to_len(&self) -> usize { |
3114 | 0 | size_of::<u32>() // state count |
3115 | 0 | + size_of::<u32>() // stride2 |
3116 | 0 | + self.classes.write_to_len() |
3117 | 0 | + (self.table().len() * StateID::SIZE) |
3118 | 0 | } |
3119 | | |
3120 | | /// Validates that every state ID in this transition table is valid. |
3121 | | /// |
3122 | | /// That is, every state ID can be used to correctly index a state in this |
3123 | | /// table. |
3124 | 0 | fn validate(&self) -> Result<(), DeserializeError> { |
3125 | 0 | for state in self.states() { |
3126 | 0 | for (_, to) in state.transitions() { |
3127 | 0 | if !self.is_valid(to) { |
3128 | 0 | return Err(DeserializeError::generic( |
3129 | 0 | "found invalid state ID in transition table", |
3130 | 0 | )); |
3131 | 0 | } |
3132 | | } |
3133 | | } |
3134 | 0 | Ok(()) |
3135 | 0 | } |
3136 | | |
3137 | | /// Converts this transition table to a borrowed value. |
3138 | 0 | fn as_ref(&self) -> TransitionTable<&'_ [u32]> { |
3139 | 0 | TransitionTable { |
3140 | 0 | table: self.table.as_ref(), |
3141 | 0 | classes: self.classes.clone(), |
3142 | 0 | stride2: self.stride2, |
3143 | 0 | } |
3144 | 0 | } |
3145 | | |
3146 | | /// Converts this transition table to an owned value. |
3147 | | #[cfg(feature = "alloc")] |
3148 | | fn to_owned(&self) -> TransitionTable<Vec<u32>> { |
3149 | | TransitionTable { |
3150 | | table: self.table.as_ref().to_vec(), |
3151 | | classes: self.classes.clone(), |
3152 | | stride2: self.stride2, |
3153 | | } |
3154 | | } |
3155 | | |
3156 | | /// Return the state for the given ID. If the given ID is not valid, then |
3157 | | /// this panics. |
3158 | 0 | fn state(&self, id: StateID) -> State<'_> { |
3159 | 0 | assert!(self.is_valid(id)); |
3160 | | |
3161 | 0 | let i = id.as_usize(); |
3162 | 0 | State { |
3163 | 0 | id, |
3164 | 0 | stride2: self.stride2, |
3165 | 0 | transitions: &self.table()[i..i + self.alphabet_len()], |
3166 | 0 | } |
3167 | 0 | } |
3168 | | |
3169 | | /// Returns an iterator over all states in this transition table. |
3170 | | /// |
3171 | | /// This iterator yields a tuple for each state. The first element of the |
3172 | | /// tuple corresponds to a state's identifier, and the second element |
3173 | | /// corresponds to the state itself (comprised of its transitions). |
3174 | 0 | fn states(&self) -> StateIter<'_, T> { |
3175 | 0 | StateIter { |
3176 | 0 | tt: self, |
3177 | 0 | it: self.table().chunks(self.stride()).enumerate(), |
3178 | 0 | } |
3179 | 0 | } |
3180 | | |
3181 | | /// Convert a state identifier to an index to a state (in the range |
3182 | | /// 0..self.count()). |
3183 | | /// |
3184 | | /// This is useful when using a `Vec<T>` as an efficient map keyed by state |
3185 | | /// to some other information (such as a remapped state ID). |
3186 | | /// |
3187 | | /// If the given ID is not valid, then this may panic or produce an |
3188 | | /// incorrect index. |
3189 | 0 | fn to_index(&self, id: StateID) -> usize { |
3190 | 0 | id.as_usize() >> self.stride2 |
3191 | 0 | } |
3192 | | |
3193 | | /// Convert an index to a state (in the range 0..self.count()) to an actual |
3194 | | /// state identifier. |
3195 | | /// |
3196 | | /// This is useful when using a `Vec<T>` as an efficient map keyed by state |
3197 | | /// to some other information (such as a remapped state ID). |
3198 | | /// |
3199 | | /// If the given index is not in the specified range, then this may panic |
3200 | | /// or produce an incorrect state ID. |
3201 | 0 | fn from_index(&self, index: usize) -> StateID { |
3202 | 0 | // CORRECTNESS: If the given index is not valid, then it is not |
3203 | 0 | // required for this to panic or return a valid state ID. |
3204 | 0 | StateID::new_unchecked(index << self.stride2) |
3205 | 0 | } |
3206 | | |
3207 | | /// Returns the state ID for the state immediately following the one given. |
3208 | | /// |
3209 | | /// This does not check whether the state ID returned is invalid. In fact, |
3210 | | /// if the state ID given is the last state in this DFA, then the state ID |
3211 | | /// returned is guaranteed to be invalid. |
3212 | | #[cfg(feature = "alloc")] |
3213 | | fn next_state_id(&self, id: StateID) -> StateID { |
3214 | | self.from_index(self.to_index(id).checked_add(1).unwrap()) |
3215 | | } |
3216 | | |
3217 | | /// Returns the state ID for the state immediately preceding the one given. |
3218 | | /// |
3219 | | /// If the dead ID given (which is zero), then this panics. |
3220 | | #[cfg(feature = "alloc")] |
3221 | | fn prev_state_id(&self, id: StateID) -> StateID { |
3222 | | self.from_index(self.to_index(id).checked_sub(1).unwrap()) |
3223 | | } |
3224 | | |
3225 | | /// Returns the table as a slice of state IDs. |
3226 | 0 | fn table(&self) -> &[StateID] { |
3227 | 0 | let integers = self.table.as_ref(); |
3228 | 0 | // SAFETY: This is safe because StateID is guaranteed to be |
3229 | 0 | // representable as a u32. |
3230 | 0 | unsafe { |
3231 | 0 | core::slice::from_raw_parts( |
3232 | 0 | integers.as_ptr() as *const StateID, |
3233 | 0 | integers.len(), |
3234 | 0 | ) |
3235 | 0 | } |
3236 | 0 | } |
3237 | | |
3238 | | /// Returns the total number of states in this transition table. |
3239 | | /// |
3240 | | /// Note that a DFA always has at least two states: the dead and quit |
3241 | | /// states. In particular, the dead state always has ID 0 and is |
3242 | | /// correspondingly always the first state. The dead state is never a match |
3243 | | /// state. |
3244 | 0 | fn count(&self) -> usize { |
3245 | 0 | self.table().len() >> self.stride2 |
3246 | 0 | } |
3247 | | |
3248 | | /// Returns the total stride for every state in this DFA. This corresponds |
3249 | | /// to the total number of transitions used by each state in this DFA's |
3250 | | /// transition table. |
3251 | 0 | fn stride(&self) -> usize { |
3252 | 0 | 1 << self.stride2 |
3253 | 0 | } |
3254 | | |
3255 | | /// Returns the total number of elements in the alphabet for this |
3256 | | /// transition table. This is always less than or equal to `self.stride()`. |
3257 | | /// It is only equal when the alphabet length is a power of 2. Otherwise, |
3258 | | /// it is always strictly less. |
3259 | 0 | fn alphabet_len(&self) -> usize { |
3260 | 0 | self.classes.alphabet_len() |
3261 | 0 | } |
3262 | | |
3263 | | /// Returns true if and only if the given state ID is valid for this |
3264 | | /// transition table. Validity in this context means that the given ID can |
3265 | | /// be used as a valid offset with `self.stride()` to index this transition |
3266 | | /// table. |
3267 | 0 | fn is_valid(&self, id: StateID) -> bool { |
3268 | 0 | let id = id.as_usize(); |
3269 | 0 | id < self.table().len() && id % self.stride() == 0 |
3270 | 0 | } |
3271 | | |
3272 | | /// Return the memory usage, in bytes, of this transition table. |
3273 | | /// |
3274 | | /// This does not include the size of a `TransitionTable` value itself. |
3275 | 0 | fn memory_usage(&self) -> usize { |
3276 | 0 | self.table().len() * StateID::SIZE |
3277 | 0 | } |
3278 | | } |
3279 | | |
3280 | | #[cfg(feature = "alloc")] |
3281 | | impl<T: AsMut<[u32]>> TransitionTable<T> { |
3282 | | /// Returns the table as a slice of state IDs. |
3283 | | fn table_mut(&mut self) -> &mut [StateID] { |
3284 | | let integers = self.table.as_mut(); |
3285 | | // SAFETY: This is safe because StateID is guaranteed to be |
3286 | | // representable as a u32. |
3287 | | unsafe { |
3288 | | core::slice::from_raw_parts_mut( |
3289 | | integers.as_mut_ptr() as *mut StateID, |
3290 | | integers.len(), |
3291 | | ) |
3292 | | } |
3293 | | } |
3294 | | } |
3295 | | |
3296 | | /// The set of all possible starting states in a DFA. |
3297 | | /// |
3298 | | /// The set of starting states corresponds to the possible choices one can make |
3299 | | /// in terms of starting a DFA. That is, before following the first transition, |
3300 | | /// you first need to select the state that you start in. |
3301 | | /// |
3302 | | /// Normally, a DFA converted from an NFA that has a single starting state |
3303 | | /// would itself just have one starting state. However, our support for look |
3304 | | /// around generally requires more starting states. The correct starting state |
3305 | | /// is chosen based on certain properties of the position at which we begin |
3306 | | /// our search. |
3307 | | /// |
3308 | | /// Before listing those properties, we first must define two terms: |
3309 | | /// |
3310 | | /// * `haystack` - The bytes to execute the search. The search always starts |
3311 | | /// at the beginning of `haystack` and ends before or at the end of |
3312 | | /// `haystack`. |
3313 | | /// * `context` - The (possibly empty) bytes surrounding `haystack`. `haystack` |
3314 | | /// must be contained within `context` such that `context` is at least as big |
3315 | | /// as `haystack`. |
3316 | | /// |
3317 | | /// This split is crucial for dealing with look-around. For example, consider |
3318 | | /// the context `foobarbaz`, the haystack `bar` and the regex `^bar$`. This |
3319 | | /// regex should _not_ match the haystack since `bar` does not appear at the |
3320 | | /// beginning of the input. Similarly, the regex `\Bbar\B` should match the |
3321 | | /// haystack because `bar` is not surrounded by word boundaries. But a search |
3322 | | /// that does not take context into account would not permit `\B` to match |
3323 | | /// since the beginning of any string matches a word boundary. Similarly, a |
3324 | | /// search that does not take context into account when searching `^bar$` in |
3325 | | /// the haystack `bar` would produce a match when it shouldn't. |
3326 | | /// |
3327 | | /// Thus, it follows that the starting state is chosen based on the following |
3328 | | /// criteria, derived from the position at which the search starts in the |
3329 | | /// `context` (corresponding to the start of `haystack`): |
3330 | | /// |
3331 | | /// 1. If the search starts at the beginning of `context`, then the `Text` |
3332 | | /// start state is used. (Since `^` corresponds to |
3333 | | /// `hir::Anchor::StartText`.) |
3334 | | /// 2. If the search starts at a position immediately following a line |
3335 | | /// terminator, then the `Line` start state is used. (Since `(?m:^)` |
3336 | | /// corresponds to `hir::Anchor::StartLine`.) |
3337 | | /// 3. If the search starts at a position immediately following a byte |
3338 | | /// classified as a "word" character (`[_0-9a-zA-Z]`), then the `WordByte` |
3339 | | /// start state is used. (Since `(?-u:\b)` corresponds to a word boundary.) |
3340 | | /// 4. Otherwise, if the search starts at a position immediately following |
3341 | | /// a byte that is not classified as a "word" character (`[^_0-9a-zA-Z]`), |
3342 | | /// then the `NonWordByte` start state is used. (Since `(?-u:\B)` |
3343 | | /// corresponds to a not-word-boundary.) |
3344 | | /// |
3345 | | /// (N.B. Unicode word boundaries are not supported by the DFA because they |
3346 | | /// require multi-byte look-around and this is difficult to support in a DFA.) |
3347 | | /// |
3348 | | /// To further complicate things, we also support constructing individual |
3349 | | /// anchored start states for each pattern in the DFA. (Which is required to |
3350 | | /// implement overlapping regexes correctly, but is also generally useful.) |
3351 | | /// Thus, when individual start states for each pattern are enabled, then the |
3352 | | /// total number of start states represented is `4 + (4 * #patterns)`, where |
3353 | | /// the 4 comes from each of the 4 possibilities above. The first 4 represents |
3354 | | /// the starting states for the entire DFA, which support searching for |
3355 | | /// multiple patterns simultaneously (possibly unanchored). |
3356 | | /// |
3357 | | /// If individual start states are disabled, then this will only store 4 |
3358 | | /// start states. Typically, individual start states are only enabled when |
3359 | | /// constructing the reverse DFA for regex matching. But they are also useful |
3360 | | /// for building DFAs that can search for a specific pattern or even to support |
3361 | | /// both anchored and unanchored searches with the same DFA. |
3362 | | /// |
3363 | | /// Note though that while the start table always has either `4` or |
3364 | | /// `4 + (4 * #patterns)` starting state *ids*, the total number of states |
3365 | | /// might be considerably smaller. That is, many of the IDs may be duplicative. |
3366 | | /// (For example, if a regex doesn't have a `\b` sub-pattern, then there's no |
3367 | | /// reason to generate a unique starting state for handling word boundaries. |
3368 | | /// Similarly for start/end anchors.) |
3369 | | #[derive(Clone)] |
3370 | | pub(crate) struct StartTable<T> { |
3371 | | /// The initial start state IDs. |
3372 | | /// |
3373 | | /// In practice, T is either `Vec<u32>` or `&[u32]`. |
3374 | | /// |
3375 | | /// The first `stride` (currently always 4) entries always correspond to |
3376 | | /// the start states for the entire DFA. After that, there are |
3377 | | /// `stride * patterns` state IDs, where `patterns` may be zero in the |
3378 | | /// case of a DFA with no patterns or in the case where the DFA was built |
3379 | | /// without enabling starting states for each pattern. |
3380 | | table: T, |
3381 | | /// The number of starting state IDs per pattern. |
3382 | | stride: usize, |
3383 | | /// The total number of patterns for which starting states are encoded. |
3384 | | /// This may be zero for non-empty DFAs when the DFA was built without |
3385 | | /// start states for each pattern. Thus, one cannot use this field to |
3386 | | /// say how many patterns are in the DFA in all cases. It is specific to |
3387 | | /// how many patterns are represented in this start table. |
3388 | | patterns: usize, |
3389 | | } |
3390 | | |
3391 | | #[cfg(feature = "alloc")] |
3392 | | impl StartTable<Vec<u32>> { |
3393 | | /// Create a valid set of start states all pointing to the dead state. |
3394 | | /// |
3395 | | /// When the corresponding DFA is constructed with start states for each |
3396 | | /// pattern, then `patterns` should be the number of patterns. Otherwise, |
3397 | | /// it should be zero. |
3398 | | /// |
3399 | | /// If the total table size could exceed the allocatable limit, then this |
3400 | | /// returns an error. In practice, this is unlikely to be able to occur, |
3401 | | /// since it's likely that allocation would have failed long before it got |
3402 | | /// to this point. |
3403 | | fn dead(patterns: usize) -> Result<StartTable<Vec<u32>>, Error> { |
3404 | | assert!(patterns <= PatternID::LIMIT); |
3405 | | let stride = Start::count(); |
3406 | | let pattern_starts_len = match stride.checked_mul(patterns) { |
3407 | | Some(x) => x, |
3408 | | None => return Err(Error::too_many_start_states()), |
3409 | | }; |
3410 | | let table_len = match stride.checked_add(pattern_starts_len) { |
3411 | | Some(x) => x, |
3412 | | None => return Err(Error::too_many_start_states()), |
3413 | | }; |
3414 | | if table_len > core::isize::MAX as usize { |
3415 | | return Err(Error::too_many_start_states()); |
3416 | | } |
3417 | | let table = vec![DEAD.as_u32(); table_len]; |
3418 | | Ok(StartTable { table, stride, patterns }) |
3419 | | } |
3420 | | } |
3421 | | |
3422 | | impl<'a> StartTable<&'a [u32]> { |
3423 | | /// Deserialize a table of start state IDs starting at the beginning of |
3424 | | /// `slice`. Upon success, return the total number of bytes read along with |
3425 | | /// the table of starting state IDs. |
3426 | | /// |
3427 | | /// If there was a problem deserializing any part of the starting IDs, |
3428 | | /// then this returns an error. Notably, if the given slice does not have |
3429 | | /// the same alignment as `StateID`, then this will return an error (among |
3430 | | /// other possible errors). |
3431 | | /// |
3432 | | /// This is guaranteed to execute in constant time. |
3433 | | /// |
3434 | | /// # Safety |
3435 | | /// |
3436 | | /// This routine is not safe because it does not check the valdity of the |
3437 | | /// starting state IDs themselves. In particular, the number of starting |
3438 | | /// IDs can be of variable length, so it's possible that checking their |
3439 | | /// validity cannot be done in constant time. An invalid starting state |
3440 | | /// ID is not safe because other code may rely on the starting IDs being |
3441 | | /// correct (such as explicit bounds check elision). Therefore, an invalid |
3442 | | /// start ID can lead to undefined behavior. |
3443 | | /// |
3444 | | /// Callers that use this function must either pass on the safety invariant |
3445 | | /// or guarantee that the bytes given contain valid starting state IDs. |
3446 | | /// This guarantee is upheld by the bytes written by `write_to`. |
3447 | 0 | unsafe fn from_bytes_unchecked( |
3448 | 0 | mut slice: &'a [u8], |
3449 | 0 | ) -> Result<(StartTable<&'a [u32]>, usize), DeserializeError> { |
3450 | 0 | let slice_start = slice.as_ptr() as usize; |
3451 | | |
3452 | 0 | let (stride, nr) = |
3453 | 0 | bytes::try_read_u32_as_usize(slice, "start table stride")?; |
3454 | 0 | slice = &slice[nr..]; |
3455 | | |
3456 | 0 | let (patterns, nr) = |
3457 | 0 | bytes::try_read_u32_as_usize(slice, "start table patterns")?; |
3458 | 0 | slice = &slice[nr..]; |
3459 | 0 |
|
3460 | 0 | if stride != Start::count() { |
3461 | 0 | return Err(DeserializeError::generic( |
3462 | 0 | "invalid starting table stride", |
3463 | 0 | )); |
3464 | 0 | } |
3465 | 0 | if patterns > PatternID::LIMIT { |
3466 | 0 | return Err(DeserializeError::generic( |
3467 | 0 | "invalid number of patterns", |
3468 | 0 | )); |
3469 | 0 | } |
3470 | 0 | let pattern_table_size = |
3471 | 0 | bytes::mul(stride, patterns, "invalid pattern count")?; |
3472 | | // Our start states always start with a single stride of start states |
3473 | | // for the entire automaton which permit it to match any pattern. What |
3474 | | // follows it are an optional set of start states for each pattern. |
3475 | 0 | let start_state_count = bytes::add( |
3476 | 0 | stride, |
3477 | 0 | pattern_table_size, |
3478 | 0 | "invalid 'any' pattern starts size", |
3479 | 0 | )?; |
3480 | 0 | let table_bytes_len = bytes::mul( |
3481 | 0 | start_state_count, |
3482 | 0 | StateID::SIZE, |
3483 | 0 | "pattern table bytes length", |
3484 | 0 | )?; |
3485 | 0 | bytes::check_slice_len(slice, table_bytes_len, "start ID table")?; |
3486 | 0 | bytes::check_alignment::<StateID>(slice)?; |
3487 | 0 | let table_bytes = &slice[..table_bytes_len]; |
3488 | 0 | slice = &slice[table_bytes_len..]; |
3489 | 0 | // SAFETY: Since StateID is always representable as a u32, all we need |
3490 | 0 | // to do is ensure that we have the proper length and alignment. We've |
3491 | 0 | // checked both above, so the cast below is safe. |
3492 | 0 | // |
3493 | 0 | // N.B. This is the only not-safe code in this function, so we mark |
3494 | 0 | // it explicitly to call it out, even though it is technically |
3495 | 0 | // superfluous. |
3496 | 0 | #[allow(unused_unsafe)] |
3497 | 0 | let table = unsafe { |
3498 | 0 | core::slice::from_raw_parts( |
3499 | 0 | table_bytes.as_ptr() as *const u32, |
3500 | 0 | start_state_count, |
3501 | 0 | ) |
3502 | 0 | }; |
3503 | 0 | let st = StartTable { table, stride, patterns }; |
3504 | 0 | Ok((st, slice.as_ptr() as usize - slice_start)) |
3505 | 0 | } |
3506 | | } |
3507 | | |
3508 | | impl<T: AsRef<[u32]>> StartTable<T> { |
3509 | | /// Writes a serialized form of this start table to the buffer given. If |
3510 | | /// the buffer is too small, then an error is returned. To determine how |
3511 | | /// big the buffer must be, use `write_to_len`. |
3512 | 0 | fn write_to<E: Endian>( |
3513 | 0 | &self, |
3514 | 0 | mut dst: &mut [u8], |
3515 | 0 | ) -> Result<usize, SerializeError> { |
3516 | 0 | let nwrite = self.write_to_len(); |
3517 | 0 | if dst.len() < nwrite { |
3518 | 0 | return Err(SerializeError::buffer_too_small( |
3519 | 0 | "starting table ids", |
3520 | 0 | )); |
3521 | 0 | } |
3522 | 0 | dst = &mut dst[..nwrite]; |
3523 | 0 |
|
3524 | 0 | // write stride |
3525 | 0 | // Unwrap is OK since the stride is always 4 (currently). |
3526 | 0 | E::write_u32(u32::try_from(self.stride).unwrap(), dst); |
3527 | 0 | dst = &mut dst[size_of::<u32>()..]; |
3528 | 0 | // write pattern count |
3529 | 0 | // Unwrap is OK since number of patterns is guaranteed to fit in a u32. |
3530 | 0 | E::write_u32(u32::try_from(self.patterns).unwrap(), dst); |
3531 | 0 | dst = &mut dst[size_of::<u32>()..]; |
3532 | | // write start IDs |
3533 | 0 | for &sid in self.table() { |
3534 | 0 | let n = bytes::write_state_id::<E>(sid, &mut dst); |
3535 | 0 | dst = &mut dst[n..]; |
3536 | 0 | } |
3537 | 0 | Ok(nwrite) |
3538 | 0 | } |
3539 | | |
3540 | | /// Returns the number of bytes the serialized form of this start ID table |
3541 | | /// will use. |
3542 | 0 | fn write_to_len(&self) -> usize { |
3543 | 0 | size_of::<u32>() // stride |
3544 | 0 | + size_of::<u32>() // # patterns |
3545 | 0 | + (self.table().len() * StateID::SIZE) |
3546 | 0 | } |
3547 | | |
3548 | | /// Validates that every state ID in this start table is valid by checking |
3549 | | /// it against the given transition table (which must be for the same DFA). |
3550 | | /// |
3551 | | /// That is, every state ID can be used to correctly index a state. |
3552 | 0 | fn validate( |
3553 | 0 | &self, |
3554 | 0 | tt: &TransitionTable<T>, |
3555 | 0 | ) -> Result<(), DeserializeError> { |
3556 | 0 | for &id in self.table() { |
3557 | 0 | if !tt.is_valid(id) { |
3558 | 0 | return Err(DeserializeError::generic( |
3559 | 0 | "found invalid starting state ID", |
3560 | 0 | )); |
3561 | 0 | } |
3562 | | } |
3563 | 0 | Ok(()) |
3564 | 0 | } |
3565 | | |
3566 | | /// Converts this start list to a borrowed value. |
3567 | 0 | fn as_ref(&self) -> StartTable<&'_ [u32]> { |
3568 | 0 | StartTable { |
3569 | 0 | table: self.table.as_ref(), |
3570 | 0 | stride: self.stride, |
3571 | 0 | patterns: self.patterns, |
3572 | 0 | } |
3573 | 0 | } |
3574 | | |
3575 | | /// Converts this start list to an owned value. |
3576 | | #[cfg(feature = "alloc")] |
3577 | | fn to_owned(&self) -> StartTable<Vec<u32>> { |
3578 | | StartTable { |
3579 | | table: self.table.as_ref().to_vec(), |
3580 | | stride: self.stride, |
3581 | | patterns: self.patterns, |
3582 | | } |
3583 | | } |
3584 | | |
3585 | | /// Return the start state for the given start index and pattern ID. If the |
3586 | | /// pattern ID is None, then the corresponding start state for the entire |
3587 | | /// DFA is returned. If the pattern ID is not None, then the corresponding |
3588 | | /// starting state for the given pattern is returned. If this start table |
3589 | | /// does not have individual starting states for each pattern, then this |
3590 | | /// panics. |
3591 | 0 | fn start(&self, index: Start, pattern_id: Option<PatternID>) -> StateID { |
3592 | 0 | let start_index = index.as_usize(); |
3593 | 0 | let index = match pattern_id { |
3594 | 0 | None => start_index, |
3595 | 0 | Some(pid) => { |
3596 | 0 | let pid = pid.as_usize(); |
3597 | 0 | assert!(pid < self.patterns, "invalid pattern ID {:?}", pid); |
3598 | 0 | self.stride + (self.stride * pid) + start_index |
3599 | | } |
3600 | | }; |
3601 | 0 | self.table()[index] |
3602 | 0 | } |
3603 | | |
3604 | | /// Returns an iterator over all start state IDs in this table. |
3605 | | /// |
3606 | | /// Each item is a triple of: start state ID, the start state type and the |
3607 | | /// pattern ID (if any). |
3608 | 0 | fn iter(&self) -> StartStateIter<'_> { |
3609 | 0 | StartStateIter { st: self.as_ref(), i: 0 } |
3610 | 0 | } |
3611 | | |
3612 | | /// Returns the table as a slice of state IDs. |
3613 | 0 | fn table(&self) -> &[StateID] { |
3614 | 0 | let integers = self.table.as_ref(); |
3615 | 0 | // SAFETY: This is safe because StateID is guaranteed to be |
3616 | 0 | // representable as a u32. |
3617 | 0 | unsafe { |
3618 | 0 | core::slice::from_raw_parts( |
3619 | 0 | integers.as_ptr() as *const StateID, |
3620 | 0 | integers.len(), |
3621 | 0 | ) |
3622 | 0 | } |
3623 | 0 | } |
3624 | | |
3625 | | /// Return the memory usage, in bytes, of this start list. |
3626 | | /// |
3627 | | /// This does not include the size of a `StartList` value itself. |
3628 | 0 | fn memory_usage(&self) -> usize { |
3629 | 0 | self.table().len() * StateID::SIZE |
3630 | 0 | } |
3631 | | } |
3632 | | |
3633 | | #[cfg(feature = "alloc")] |
3634 | | impl<T: AsMut<[u32]>> StartTable<T> { |
3635 | | /// Set the start state for the given index and pattern. |
3636 | | /// |
3637 | | /// If the pattern ID or state ID are not valid, then this will panic. |
3638 | | fn set_start( |
3639 | | &mut self, |
3640 | | index: Start, |
3641 | | pattern_id: Option<PatternID>, |
3642 | | id: StateID, |
3643 | | ) { |
3644 | | let start_index = index.as_usize(); |
3645 | | let index = match pattern_id { |
3646 | | None => start_index, |
3647 | | Some(pid) => self |
3648 | | .stride |
3649 | | .checked_mul(pid.as_usize()) |
3650 | | .unwrap() |
3651 | | .checked_add(self.stride) |
3652 | | .unwrap() |
3653 | | .checked_add(start_index) |
3654 | | .unwrap(), |
3655 | | }; |
3656 | | self.table_mut()[index] = id; |
3657 | | } |
3658 | | |
3659 | | /// Returns the table as a mutable slice of state IDs. |
3660 | | fn table_mut(&mut self) -> &mut [StateID] { |
3661 | | let integers = self.table.as_mut(); |
3662 | | // SAFETY: This is safe because StateID is guaranteed to be |
3663 | | // representable as a u32. |
3664 | | unsafe { |
3665 | | core::slice::from_raw_parts_mut( |
3666 | | integers.as_mut_ptr() as *mut StateID, |
3667 | | integers.len(), |
3668 | | ) |
3669 | | } |
3670 | | } |
3671 | | } |
3672 | | |
3673 | | /// An iterator over start state IDs. |
3674 | | /// |
3675 | | /// This iterator yields a triple of start state ID, the start state type |
3676 | | /// and the pattern ID (if any). The pattern ID is None for start states |
3677 | | /// corresponding to the entire DFA and non-None for start states corresponding |
3678 | | /// to a specific pattern. The latter only occurs when the DFA is compiled with |
3679 | | /// start states for each pattern. |
3680 | | pub(crate) struct StartStateIter<'a> { |
3681 | | st: StartTable<&'a [u32]>, |
3682 | | i: usize, |
3683 | | } |
3684 | | |
3685 | | impl<'a> Iterator for StartStateIter<'a> { |
3686 | | type Item = (StateID, Start, Option<PatternID>); |
3687 | | |
3688 | 0 | fn next(&mut self) -> Option<(StateID, Start, Option<PatternID>)> { |
3689 | 0 | let i = self.i; |
3690 | 0 | let table = self.st.table(); |
3691 | 0 | if i >= table.len() { |
3692 | 0 | return None; |
3693 | 0 | } |
3694 | 0 | self.i += 1; |
3695 | 0 |
|
3696 | 0 | // This unwrap is okay since the stride of the starting state table |
3697 | 0 | // must always match the number of start state types. |
3698 | 0 | let start_type = Start::from_usize(i % self.st.stride).unwrap(); |
3699 | 0 | let pid = if i < self.st.stride { |
3700 | 0 | None |
3701 | | } else { |
3702 | 0 | Some( |
3703 | 0 | PatternID::new((i - self.st.stride) / self.st.stride).unwrap(), |
3704 | 0 | ) |
3705 | | }; |
3706 | 0 | Some((table[i], start_type, pid)) |
3707 | 0 | } |
3708 | | } |
3709 | | |
3710 | | /// This type represents that patterns that should be reported whenever a DFA |
3711 | | /// enters a match state. This structure exists to support DFAs that search for |
3712 | | /// matches for multiple regexes. |
3713 | | /// |
3714 | | /// This structure relies on the fact that all match states in a DFA occur |
3715 | | /// contiguously in the DFA's transition table. (See dfa/special.rs for a more |
3716 | | /// detailed breakdown of the representation.) Namely, when a match occurs, we |
3717 | | /// know its state ID. Since we know the start and end of the contiguous region |
3718 | | /// of match states, we can use that to compute the position at which the match |
3719 | | /// state occurs. That in turn is used as an offset into this structure. |
3720 | | #[derive(Clone, Debug)] |
3721 | | struct MatchStates<T> { |
3722 | | /// Slices is a flattened sequence of pairs, where each pair points to a |
3723 | | /// sub-slice of pattern_ids. The first element of the pair is an offset |
3724 | | /// into pattern_ids and the second element of the pair is the number |
3725 | | /// of 32-bit pattern IDs starting at that position. That is, each pair |
3726 | | /// corresponds to a single DFA match state and its corresponding match |
3727 | | /// IDs. The number of pairs always corresponds to the number of distinct |
3728 | | /// DFA match states. |
3729 | | /// |
3730 | | /// In practice, T is either Vec<u32> or &[u32]. |
3731 | | slices: T, |
3732 | | /// A flattened sequence of pattern IDs for each DFA match state. The only |
3733 | | /// way to correctly read this sequence is indirectly via `slices`. |
3734 | | /// |
3735 | | /// In practice, T is either Vec<u32> or &[u32]. |
3736 | | pattern_ids: T, |
3737 | | /// The total number of unique patterns represented by these match states. |
3738 | | patterns: usize, |
3739 | | } |
3740 | | |
3741 | | impl<'a> MatchStates<&'a [u32]> { |
3742 | 0 | unsafe fn from_bytes_unchecked( |
3743 | 0 | mut slice: &'a [u8], |
3744 | 0 | ) -> Result<(MatchStates<&'a [u32]>, usize), DeserializeError> { |
3745 | 0 | let slice_start = slice.as_ptr() as usize; |
3746 | | |
3747 | | // Read the total number of match states. |
3748 | 0 | let (count, nr) = |
3749 | 0 | bytes::try_read_u32_as_usize(slice, "match state count")?; |
3750 | 0 | slice = &slice[nr..]; |
3751 | | |
3752 | | // Read the slice start/length pairs. |
3753 | 0 | let pair_count = bytes::mul(2, count, "match state offset pairs")?; |
3754 | 0 | let slices_bytes_len = bytes::mul( |
3755 | 0 | pair_count, |
3756 | 0 | PatternID::SIZE, |
3757 | 0 | "match state slice offset byte length", |
3758 | 0 | )?; |
3759 | 0 | bytes::check_slice_len(slice, slices_bytes_len, "match state slices")?; |
3760 | 0 | bytes::check_alignment::<PatternID>(slice)?; |
3761 | 0 | let slices_bytes = &slice[..slices_bytes_len]; |
3762 | 0 | slice = &slice[slices_bytes_len..]; |
3763 | 0 | // SAFETY: Since PatternID is always representable as a u32, all we |
3764 | 0 | // need to do is ensure that we have the proper length and alignment. |
3765 | 0 | // We've checked both above, so the cast below is safe. |
3766 | 0 | // |
3767 | 0 | // N.B. This is one of the few not-safe snippets in this function, so |
3768 | 0 | // we mark it explicitly to call it out, even though it is technically |
3769 | 0 | // superfluous. |
3770 | 0 | #[allow(unused_unsafe)] |
3771 | 0 | let slices = unsafe { |
3772 | 0 | core::slice::from_raw_parts( |
3773 | 0 | slices_bytes.as_ptr() as *const u32, |
3774 | 0 | pair_count, |
3775 | 0 | ) |
3776 | | }; |
3777 | | |
3778 | | // Read the total number of unique pattern IDs (which is always 1 more |
3779 | | // than the maximum pattern ID in this automaton, since pattern IDs are |
3780 | | // handed out contiguously starting at 0). |
3781 | 0 | let (patterns, nr) = |
3782 | 0 | bytes::try_read_u32_as_usize(slice, "pattern count")?; |
3783 | 0 | slice = &slice[nr..]; |
3784 | | |
3785 | | // Now read the pattern ID count. We don't need to store this |
3786 | | // explicitly, but we need it to know how many pattern IDs to read. |
3787 | 0 | let (idcount, nr) = |
3788 | 0 | bytes::try_read_u32_as_usize(slice, "pattern ID count")?; |
3789 | 0 | slice = &slice[nr..]; |
3790 | | |
3791 | | // Read the actual pattern IDs. |
3792 | 0 | let pattern_ids_len = |
3793 | 0 | bytes::mul(idcount, PatternID::SIZE, "pattern ID byte length")?; |
3794 | 0 | bytes::check_slice_len(slice, pattern_ids_len, "match pattern IDs")?; |
3795 | 0 | bytes::check_alignment::<PatternID>(slice)?; |
3796 | 0 | let pattern_ids_bytes = &slice[..pattern_ids_len]; |
3797 | 0 | slice = &slice[pattern_ids_len..]; |
3798 | 0 | // SAFETY: Since PatternID is always representable as a u32, all we |
3799 | 0 | // need to do is ensure that we have the proper length and alignment. |
3800 | 0 | // We've checked both above, so the cast below is safe. |
3801 | 0 | // |
3802 | 0 | // N.B. This is one of the few not-safe snippets in this function, so |
3803 | 0 | // we mark it explicitly to call it out, even though it is technically |
3804 | 0 | // superfluous. |
3805 | 0 | #[allow(unused_unsafe)] |
3806 | 0 | let pattern_ids = unsafe { |
3807 | 0 | core::slice::from_raw_parts( |
3808 | 0 | pattern_ids_bytes.as_ptr() as *const u32, |
3809 | 0 | idcount, |
3810 | 0 | ) |
3811 | 0 | }; |
3812 | 0 |
|
3813 | 0 | let ms = MatchStates { slices, pattern_ids, patterns }; |
3814 | 0 | Ok((ms, slice.as_ptr() as usize - slice_start)) |
3815 | 0 | } |
3816 | | } |
3817 | | |
3818 | | #[cfg(feature = "alloc")] |
3819 | | impl MatchStates<Vec<u32>> { |
3820 | | fn empty(pattern_count: usize) -> MatchStates<Vec<u32>> { |
3821 | | assert!(pattern_count <= PatternID::LIMIT); |
3822 | | MatchStates { |
3823 | | slices: vec![], |
3824 | | pattern_ids: vec![], |
3825 | | patterns: pattern_count, |
3826 | | } |
3827 | | } |
3828 | | |
3829 | | fn new( |
3830 | | matches: &BTreeMap<StateID, Vec<PatternID>>, |
3831 | | pattern_count: usize, |
3832 | | ) -> Result<MatchStates<Vec<u32>>, Error> { |
3833 | | let mut m = MatchStates::empty(pattern_count); |
3834 | | for (_, pids) in matches.iter() { |
3835 | | let start = PatternID::new(m.pattern_ids.len()) |
3836 | | .map_err(|_| Error::too_many_match_pattern_ids())?; |
3837 | | m.slices.push(start.as_u32()); |
3838 | | // This is always correct since the number of patterns in a single |
3839 | | // match state can never exceed maximum number of allowable |
3840 | | // patterns. Why? Because a pattern can only appear once in a |
3841 | | // particular match state, by construction. (And since our pattern |
3842 | | // ID limit is one less than u32::MAX, we're guaranteed that the |
3843 | | // length fits in a u32.) |
3844 | | m.slices.push(u32::try_from(pids.len()).unwrap()); |
3845 | | for &pid in pids { |
3846 | | m.pattern_ids.push(pid.as_u32()); |
3847 | | } |
3848 | | } |
3849 | | m.patterns = pattern_count; |
3850 | | Ok(m) |
3851 | | } |
3852 | | |
3853 | | fn new_with_map( |
3854 | | &self, |
3855 | | matches: &BTreeMap<StateID, Vec<PatternID>>, |
3856 | | ) -> Result<MatchStates<Vec<u32>>, Error> { |
3857 | | MatchStates::new(matches, self.patterns) |
3858 | | } |
3859 | | } |
3860 | | |
3861 | | impl<T: AsRef<[u32]>> MatchStates<T> { |
3862 | | /// Writes a serialized form of these match states to the buffer given. If |
3863 | | /// the buffer is too small, then an error is returned. To determine how |
3864 | | /// big the buffer must be, use `write_to_len`. |
3865 | 0 | fn write_to<E: Endian>( |
3866 | 0 | &self, |
3867 | 0 | mut dst: &mut [u8], |
3868 | 0 | ) -> Result<usize, SerializeError> { |
3869 | 0 | let nwrite = self.write_to_len(); |
3870 | 0 | if dst.len() < nwrite { |
3871 | 0 | return Err(SerializeError::buffer_too_small("match states")); |
3872 | 0 | } |
3873 | 0 | dst = &mut dst[..nwrite]; |
3874 | 0 |
|
3875 | 0 | // write state ID count |
3876 | 0 | // Unwrap is OK since number of states is guaranteed to fit in a u32. |
3877 | 0 | E::write_u32(u32::try_from(self.count()).unwrap(), dst); |
3878 | 0 | dst = &mut dst[size_of::<u32>()..]; |
3879 | | |
3880 | | // write slice offset pairs |
3881 | 0 | for &pid in self.slices() { |
3882 | 0 | let n = bytes::write_pattern_id::<E>(pid, &mut dst); |
3883 | 0 | dst = &mut dst[n..]; |
3884 | 0 | } |
3885 | | |
3886 | | // write unique pattern ID count |
3887 | | // Unwrap is OK since number of patterns is guaranteed to fit in a u32. |
3888 | 0 | E::write_u32(u32::try_from(self.patterns).unwrap(), dst); |
3889 | 0 | dst = &mut dst[size_of::<u32>()..]; |
3890 | 0 |
|
3891 | 0 | // write pattern ID count |
3892 | 0 | // Unwrap is OK since we check at construction (and deserialization) |
3893 | 0 | // that the number of patterns is representable as a u32. |
3894 | 0 | E::write_u32(u32::try_from(self.pattern_ids().len()).unwrap(), dst); |
3895 | 0 | dst = &mut dst[size_of::<u32>()..]; |
3896 | | |
3897 | | // write pattern IDs |
3898 | 0 | for &pid in self.pattern_ids() { |
3899 | 0 | let n = bytes::write_pattern_id::<E>(pid, &mut dst); |
3900 | 0 | dst = &mut dst[n..]; |
3901 | 0 | } |
3902 | | |
3903 | 0 | Ok(nwrite) |
3904 | 0 | } |
3905 | | |
3906 | | /// Returns the number of bytes the serialized form of this transition |
3907 | | /// table will use. |
3908 | 0 | fn write_to_len(&self) -> usize { |
3909 | 0 | size_of::<u32>() // match state count |
3910 | 0 | + (self.slices().len() * PatternID::SIZE) |
3911 | 0 | + size_of::<u32>() // unique pattern ID count |
3912 | 0 | + size_of::<u32>() // pattern ID count |
3913 | 0 | + (self.pattern_ids().len() * PatternID::SIZE) |
3914 | 0 | } |
3915 | | |
3916 | | /// Valides that the match state info is itself internally consistent and |
3917 | | /// consistent with the recorded match state region in the given DFA. |
3918 | 0 | fn validate(&self, dfa: &DFA<T>) -> Result<(), DeserializeError> { |
3919 | 0 | if self.count() != dfa.special.match_len(dfa.stride()) { |
3920 | 0 | return Err(DeserializeError::generic( |
3921 | 0 | "match state count mismatch", |
3922 | 0 | )); |
3923 | 0 | } |
3924 | 0 | for si in 0..self.count() { |
3925 | 0 | let start = self.slices()[si * 2].as_usize(); |
3926 | 0 | let len = self.slices()[si * 2 + 1].as_usize(); |
3927 | 0 | if start >= self.pattern_ids().len() { |
3928 | 0 | return Err(DeserializeError::generic( |
3929 | 0 | "invalid pattern ID start offset", |
3930 | 0 | )); |
3931 | 0 | } |
3932 | 0 | if start + len > self.pattern_ids().len() { |
3933 | 0 | return Err(DeserializeError::generic( |
3934 | 0 | "invalid pattern ID length", |
3935 | 0 | )); |
3936 | 0 | } |
3937 | 0 | for mi in 0..len { |
3938 | 0 | let pid = self.pattern_id(si, mi); |
3939 | 0 | if pid.as_usize() >= self.patterns { |
3940 | 0 | return Err(DeserializeError::generic( |
3941 | 0 | "invalid pattern ID", |
3942 | 0 | )); |
3943 | 0 | } |
3944 | | } |
3945 | | } |
3946 | 0 | Ok(()) |
3947 | 0 | } |
3948 | | |
3949 | | /// Converts these match states back into their map form. This is useful |
3950 | | /// when shuffling states, as the normal MatchStates representation is not |
3951 | | /// amenable to easy state swapping. But with this map, to swap id1 and |
3952 | | /// id2, all you need to do is: |
3953 | | /// |
3954 | | /// if let Some(pids) = map.remove(&id1) { |
3955 | | /// map.insert(id2, pids); |
3956 | | /// } |
3957 | | /// |
3958 | | /// Once shuffling is done, use MatchStates::new to convert back. |
3959 | | #[cfg(feature = "alloc")] |
3960 | | fn to_map(&self, dfa: &DFA<T>) -> BTreeMap<StateID, Vec<PatternID>> { |
3961 | | let mut map = BTreeMap::new(); |
3962 | | for i in 0..self.count() { |
3963 | | let mut pids = vec![]; |
3964 | | for j in 0..self.pattern_len(i) { |
3965 | | pids.push(self.pattern_id(i, j)); |
3966 | | } |
3967 | | map.insert(self.match_state_id(dfa, i), pids); |
3968 | | } |
3969 | | map |
3970 | | } |
3971 | | |
3972 | | /// Converts these match states to a borrowed value. |
3973 | 0 | fn as_ref(&self) -> MatchStates<&'_ [u32]> { |
3974 | 0 | MatchStates { |
3975 | 0 | slices: self.slices.as_ref(), |
3976 | 0 | pattern_ids: self.pattern_ids.as_ref(), |
3977 | 0 | patterns: self.patterns, |
3978 | 0 | } |
3979 | 0 | } |
3980 | | |
3981 | | /// Converts these match states to an owned value. |
3982 | | #[cfg(feature = "alloc")] |
3983 | | fn to_owned(&self) -> MatchStates<Vec<u32>> { |
3984 | | MatchStates { |
3985 | | slices: self.slices.as_ref().to_vec(), |
3986 | | pattern_ids: self.pattern_ids.as_ref().to_vec(), |
3987 | | patterns: self.patterns, |
3988 | | } |
3989 | | } |
3990 | | |
3991 | | /// Returns the match state ID given the match state index. (Where the |
3992 | | /// first match state corresponds to index 0.) |
3993 | | /// |
3994 | | /// This panics if there is no match state at the given index. |
3995 | 0 | fn match_state_id(&self, dfa: &DFA<T>, index: usize) -> StateID { |
3996 | 0 | assert!(dfa.special.matches(), "no match states to index"); |
3997 | | // This is one of the places where we rely on the fact that match |
3998 | | // states are contiguous in the transition table. Namely, that the |
3999 | | // first match state ID always corresponds to dfa.special.min_start. |
4000 | | // From there, since we know the stride, we can compute the ID of any |
4001 | | // match state given its index. |
4002 | 0 | let stride2 = u32::try_from(dfa.stride2()).unwrap(); |
4003 | 0 | let offset = index.checked_shl(stride2).unwrap(); |
4004 | 0 | let id = dfa.special.min_match.as_usize().checked_add(offset).unwrap(); |
4005 | 0 | let sid = StateID::new(id).unwrap(); |
4006 | 0 | assert!(dfa.is_match_state(sid)); |
4007 | 0 | sid |
4008 | 0 | } |
4009 | | |
4010 | | /// Returns the pattern ID at the given match index for the given match |
4011 | | /// state. |
4012 | | /// |
4013 | | /// The match state index is the state index minus the state index of the |
4014 | | /// first match state in the DFA. |
4015 | | /// |
4016 | | /// The match index is the index of the pattern ID for the given state. |
4017 | | /// The index must be less than `self.pattern_len(state_index)`. |
4018 | 0 | fn pattern_id(&self, state_index: usize, match_index: usize) -> PatternID { |
4019 | 0 | self.pattern_id_slice(state_index)[match_index] |
4020 | 0 | } |
4021 | | |
4022 | | /// Returns the number of patterns in the given match state. |
4023 | | /// |
4024 | | /// The match state index is the state index minus the state index of the |
4025 | | /// first match state in the DFA. |
4026 | 0 | fn pattern_len(&self, state_index: usize) -> usize { |
4027 | 0 | self.slices()[state_index * 2 + 1].as_usize() |
4028 | 0 | } |
4029 | | |
4030 | | /// Returns all of the pattern IDs for the given match state index. |
4031 | | /// |
4032 | | /// The match state index is the state index minus the state index of the |
4033 | | /// first match state in the DFA. |
4034 | 0 | fn pattern_id_slice(&self, state_index: usize) -> &[PatternID] { |
4035 | 0 | let start = self.slices()[state_index * 2].as_usize(); |
4036 | 0 | let len = self.pattern_len(state_index); |
4037 | 0 | &self.pattern_ids()[start..start + len] |
4038 | 0 | } |
4039 | | |
4040 | | /// Returns the pattern ID offset slice of u32 as a slice of PatternID. |
4041 | 0 | fn slices(&self) -> &[PatternID] { |
4042 | 0 | let integers = self.slices.as_ref(); |
4043 | 0 | // SAFETY: This is safe because PatternID is guaranteed to be |
4044 | 0 | // representable as a u32. |
4045 | 0 | unsafe { |
4046 | 0 | core::slice::from_raw_parts( |
4047 | 0 | integers.as_ptr() as *const PatternID, |
4048 | 0 | integers.len(), |
4049 | 0 | ) |
4050 | 0 | } |
4051 | 0 | } |
4052 | | |
4053 | | /// Returns the total number of match states. |
4054 | 0 | fn count(&self) -> usize { |
4055 | 0 | assert_eq!(0, self.slices().len() % 2); |
4056 | 0 | self.slices().len() / 2 |
4057 | 0 | } |
4058 | | |
4059 | | /// Returns the pattern ID slice of u32 as a slice of PatternID. |
4060 | 0 | fn pattern_ids(&self) -> &[PatternID] { |
4061 | 0 | let integers = self.pattern_ids.as_ref(); |
4062 | 0 | // SAFETY: This is safe because PatternID is guaranteed to be |
4063 | 0 | // representable as a u32. |
4064 | 0 | unsafe { |
4065 | 0 | core::slice::from_raw_parts( |
4066 | 0 | integers.as_ptr() as *const PatternID, |
4067 | 0 | integers.len(), |
4068 | 0 | ) |
4069 | 0 | } |
4070 | 0 | } |
4071 | | |
4072 | | /// Return the memory usage, in bytes, of these match pairs. |
4073 | 0 | fn memory_usage(&self) -> usize { |
4074 | 0 | (self.slices().len() + self.pattern_ids().len()) * PatternID::SIZE |
4075 | 0 | } |
4076 | | } |
4077 | | |
4078 | | /// An iterator over all states in a DFA. |
4079 | | /// |
4080 | | /// This iterator yields a tuple for each state. The first element of the |
4081 | | /// tuple corresponds to a state's identifier, and the second element |
4082 | | /// corresponds to the state itself (comprised of its transitions). |
4083 | | /// |
4084 | | /// `'a` corresponding to the lifetime of original DFA, `T` corresponds to |
4085 | | /// the type of the transition table itself. |
4086 | | pub(crate) struct StateIter<'a, T> { |
4087 | | tt: &'a TransitionTable<T>, |
4088 | | it: iter::Enumerate<slice::Chunks<'a, StateID>>, |
4089 | | } |
4090 | | |
4091 | | impl<'a, T: AsRef<[u32]>> Iterator for StateIter<'a, T> { |
4092 | | type Item = State<'a>; |
4093 | | |
4094 | 0 | fn next(&mut self) -> Option<State<'a>> { |
4095 | 0 | self.it.next().map(|(index, _)| { |
4096 | 0 | let id = self.tt.from_index(index); |
4097 | 0 | self.tt.state(id) |
4098 | 0 | }) |
4099 | 0 | } |
4100 | | } |
4101 | | |
4102 | | /// An immutable representation of a single DFA state. |
4103 | | /// |
4104 | | /// `'a` correspondings to the lifetime of a DFA's transition table. |
4105 | | pub(crate) struct State<'a> { |
4106 | | id: StateID, |
4107 | | stride2: usize, |
4108 | | transitions: &'a [StateID], |
4109 | | } |
4110 | | |
4111 | | impl<'a> State<'a> { |
4112 | | /// Return an iterator over all transitions in this state. This yields |
4113 | | /// a number of transitions equivalent to the alphabet length of the |
4114 | | /// corresponding DFA. |
4115 | | /// |
4116 | | /// Each transition is represented by a tuple. The first element is |
4117 | | /// the input byte for that transition and the second element is the |
4118 | | /// transitions itself. |
4119 | 0 | pub(crate) fn transitions(&self) -> StateTransitionIter<'_> { |
4120 | 0 | StateTransitionIter { |
4121 | 0 | len: self.transitions.len(), |
4122 | 0 | it: self.transitions.iter().enumerate(), |
4123 | 0 | } |
4124 | 0 | } |
4125 | | |
4126 | | /// Return an iterator over a sparse representation of the transitions in |
4127 | | /// this state. Only non-dead transitions are returned. |
4128 | | /// |
4129 | | /// The "sparse" representation in this case corresponds to a sequence of |
4130 | | /// triples. The first two elements of the triple comprise an inclusive |
4131 | | /// byte range while the last element corresponds to the transition taken |
4132 | | /// for all bytes in the range. |
4133 | | /// |
4134 | | /// This is somewhat more condensed than the classical sparse |
4135 | | /// representation (where you have an element for every non-dead |
4136 | | /// transition), but in practice, checking if a byte is in a range is very |
4137 | | /// cheap and using ranges tends to conserve quite a bit more space. |
4138 | 0 | pub(crate) fn sparse_transitions(&self) -> StateSparseTransitionIter<'_> { |
4139 | 0 | StateSparseTransitionIter { dense: self.transitions(), cur: None } |
4140 | 0 | } |
4141 | | |
4142 | | /// Returns the identifier for this state. |
4143 | 0 | pub(crate) fn id(&self) -> StateID { |
4144 | 0 | self.id |
4145 | 0 | } |
4146 | | |
4147 | | /// Analyzes this state to determine whether it can be accelerated. If so, |
4148 | | /// it returns an accelerator that contains at least one byte. |
4149 | | #[cfg(feature = "alloc")] |
4150 | | fn accelerate(&self, classes: &ByteClasses) -> Option<Accel> { |
4151 | | // We just try to add bytes to our accelerator. Once adding fails |
4152 | | // (because we've added too many bytes), then give up. |
4153 | | let mut accel = Accel::new(); |
4154 | | for (class, id) in self.transitions() { |
4155 | | if id == self.id() { |
4156 | | continue; |
4157 | | } |
4158 | | for unit in classes.elements(class) { |
4159 | | if let Some(byte) = unit.as_u8() { |
4160 | | if !accel.add(byte) { |
4161 | | return None; |
4162 | | } |
4163 | | } |
4164 | | } |
4165 | | } |
4166 | | if accel.is_empty() { |
4167 | | None |
4168 | | } else { |
4169 | | Some(accel) |
4170 | | } |
4171 | | } |
4172 | | } |
4173 | | |
4174 | | impl<'a> fmt::Debug for State<'a> { |
4175 | 0 | fn fmt(&self, f: &mut fmt::Formatter<'_>) -> fmt::Result { |
4176 | 0 | for (i, (start, end, id)) in self.sparse_transitions().enumerate() { |
4177 | 0 | let index = if f.alternate() { |
4178 | 0 | id.as_usize() |
4179 | | } else { |
4180 | 0 | id.as_usize() >> self.stride2 |
4181 | | }; |
4182 | 0 | if i > 0 { |
4183 | 0 | write!(f, ", ")?; |
4184 | 0 | } |
4185 | 0 | if start == end { |
4186 | 0 | write!(f, "{:?} => {:?}", start, index)?; |
4187 | | } else { |
4188 | 0 | write!(f, "{:?}-{:?} => {:?}", start, end, index)?; |
4189 | | } |
4190 | | } |
4191 | 0 | Ok(()) |
4192 | 0 | } |
4193 | | } |
4194 | | |
4195 | | /// A mutable representation of a single DFA state. |
4196 | | /// |
4197 | | /// `'a` correspondings to the lifetime of a DFA's transition table. |
4198 | | #[cfg(feature = "alloc")] |
4199 | | pub(crate) struct StateMut<'a> { |
4200 | | id: StateID, |
4201 | | stride2: usize, |
4202 | | transitions: &'a mut [StateID], |
4203 | | } |
4204 | | |
4205 | | #[cfg(feature = "alloc")] |
4206 | | impl<'a> StateMut<'a> { |
4207 | | /// Return an iterator over all transitions in this state. This yields |
4208 | | /// a number of transitions equivalent to the alphabet length of the |
4209 | | /// corresponding DFA. |
4210 | | /// |
4211 | | /// Each transition is represented by a tuple. The first element is the |
4212 | | /// input byte for that transition and the second element is a mutable |
4213 | | /// reference to the transition itself. |
4214 | | pub(crate) fn iter_mut(&mut self) -> StateTransitionIterMut<'_> { |
4215 | | StateTransitionIterMut { |
4216 | | len: self.transitions.len(), |
4217 | | it: self.transitions.iter_mut().enumerate(), |
4218 | | } |
4219 | | } |
4220 | | } |
4221 | | |
4222 | | #[cfg(feature = "alloc")] |
4223 | | impl<'a> fmt::Debug for StateMut<'a> { |
4224 | | fn fmt(&self, f: &mut fmt::Formatter<'_>) -> fmt::Result { |
4225 | | fmt::Debug::fmt( |
4226 | | &State { |
4227 | | id: self.id, |
4228 | | stride2: self.stride2, |
4229 | | transitions: self.transitions, |
4230 | | }, |
4231 | | f, |
4232 | | ) |
4233 | | } |
4234 | | } |
4235 | | |
4236 | | /// An iterator over all transitions in a single DFA state. This yields |
4237 | | /// a number of transitions equivalent to the alphabet length of the |
4238 | | /// corresponding DFA. |
4239 | | /// |
4240 | | /// Each transition is represented by a tuple. The first element is the input |
4241 | | /// byte for that transition and the second element is the transition itself. |
4242 | | #[derive(Debug)] |
4243 | | pub(crate) struct StateTransitionIter<'a> { |
4244 | | len: usize, |
4245 | | it: iter::Enumerate<slice::Iter<'a, StateID>>, |
4246 | | } |
4247 | | |
4248 | | impl<'a> Iterator for StateTransitionIter<'a> { |
4249 | | type Item = (alphabet::Unit, StateID); |
4250 | | |
4251 | 0 | fn next(&mut self) -> Option<(alphabet::Unit, StateID)> { |
4252 | 0 | self.it.next().map(|(i, &id)| { |
4253 | 0 | let unit = if i + 1 == self.len { |
4254 | 0 | alphabet::Unit::eoi(i) |
4255 | | } else { |
4256 | 0 | let b = u8::try_from(i) |
4257 | 0 | .expect("raw byte alphabet is never exceeded"); |
4258 | 0 | alphabet::Unit::u8(b) |
4259 | | }; |
4260 | 0 | (unit, id) |
4261 | 0 | }) |
4262 | 0 | } |
4263 | | } |
4264 | | |
4265 | | /// A mutable iterator over all transitions in a DFA state. |
4266 | | /// |
4267 | | /// Each transition is represented by a tuple. The first element is the |
4268 | | /// input byte for that transition and the second element is a mutable |
4269 | | /// reference to the transition itself. |
4270 | | #[cfg(feature = "alloc")] |
4271 | | #[derive(Debug)] |
4272 | | pub(crate) struct StateTransitionIterMut<'a> { |
4273 | | len: usize, |
4274 | | it: iter::Enumerate<slice::IterMut<'a, StateID>>, |
4275 | | } |
4276 | | |
4277 | | #[cfg(feature = "alloc")] |
4278 | | impl<'a> Iterator for StateTransitionIterMut<'a> { |
4279 | | type Item = (alphabet::Unit, &'a mut StateID); |
4280 | | |
4281 | | fn next(&mut self) -> Option<(alphabet::Unit, &'a mut StateID)> { |
4282 | | self.it.next().map(|(i, id)| { |
4283 | | let unit = if i + 1 == self.len { |
4284 | | alphabet::Unit::eoi(i) |
4285 | | } else { |
4286 | | let b = u8::try_from(i) |
4287 | | .expect("raw byte alphabet is never exceeded"); |
4288 | | alphabet::Unit::u8(b) |
4289 | | }; |
4290 | | (unit, id) |
4291 | | }) |
4292 | | } |
4293 | | } |
4294 | | |
4295 | | /// An iterator over all non-DEAD transitions in a single DFA state using a |
4296 | | /// sparse representation. |
4297 | | /// |
4298 | | /// Each transition is represented by a triple. The first two elements of the |
4299 | | /// triple comprise an inclusive byte range while the last element corresponds |
4300 | | /// to the transition taken for all bytes in the range. |
4301 | | /// |
4302 | | /// As a convenience, this always returns `alphabet::Unit` values of the same |
4303 | | /// type. That is, you'll never get a (byte, EOI) or a (EOI, byte). Only (byte, |
4304 | | /// byte) and (EOI, EOI) values are yielded. |
4305 | | #[derive(Debug)] |
4306 | | pub(crate) struct StateSparseTransitionIter<'a> { |
4307 | | dense: StateTransitionIter<'a>, |
4308 | | cur: Option<(alphabet::Unit, alphabet::Unit, StateID)>, |
4309 | | } |
4310 | | |
4311 | | impl<'a> Iterator for StateSparseTransitionIter<'a> { |
4312 | | type Item = (alphabet::Unit, alphabet::Unit, StateID); |
4313 | | |
4314 | 0 | fn next(&mut self) -> Option<(alphabet::Unit, alphabet::Unit, StateID)> { |
4315 | 0 | while let Some((unit, next)) = self.dense.next() { |
4316 | 0 | let (prev_start, prev_end, prev_next) = match self.cur { |
4317 | 0 | Some(t) => t, |
4318 | | None => { |
4319 | 0 | self.cur = Some((unit, unit, next)); |
4320 | 0 | continue; |
4321 | | } |
4322 | | }; |
4323 | 0 | if prev_next == next && !unit.is_eoi() { |
4324 | 0 | self.cur = Some((prev_start, unit, prev_next)); |
4325 | 0 | } else { |
4326 | 0 | self.cur = Some((unit, unit, next)); |
4327 | 0 | if prev_next != DEAD { |
4328 | 0 | return Some((prev_start, prev_end, prev_next)); |
4329 | 0 | } |
4330 | | } |
4331 | | } |
4332 | 0 | if let Some((start, end, next)) = self.cur.take() { |
4333 | 0 | if next != DEAD { |
4334 | 0 | return Some((start, end, next)); |
4335 | 0 | } |
4336 | 0 | } |
4337 | 0 | None |
4338 | 0 | } |
4339 | | } |
4340 | | |
4341 | | /// An iterator over pattern IDs for a single match state. |
4342 | | #[derive(Debug)] |
4343 | | pub(crate) struct PatternIDIter<'a>(slice::Iter<'a, PatternID>); |
4344 | | |
4345 | | impl<'a> Iterator for PatternIDIter<'a> { |
4346 | | type Item = PatternID; |
4347 | | |
4348 | 0 | fn next(&mut self) -> Option<PatternID> { |
4349 | 0 | self.0.next().copied() |
4350 | 0 | } |
4351 | | } |
4352 | | |
4353 | | /// Remapper is an abstraction the manages the remapping of state IDs in a |
4354 | | /// dense DFA. This is useful when one wants to shuffle states into different |
4355 | | /// positions in the DFA. |
4356 | | /// |
4357 | | /// One of the key complexities this manages is the ability to correctly move |
4358 | | /// one state multiple times. |
4359 | | /// |
4360 | | /// Once shuffling is complete, `remap` should be called, which will rewrite |
4361 | | /// all pertinent transitions to updated state IDs. |
4362 | | #[cfg(feature = "alloc")] |
4363 | | #[derive(Debug)] |
4364 | | struct Remapper { |
4365 | | /// A map from the index of a state to its pre-multiplied identifier. |
4366 | | /// |
4367 | | /// When a state is swapped with another, then their corresponding |
4368 | | /// locations in this map are also swapped. Thus, its new position will |
4369 | | /// still point to its old pre-multiplied StateID. |
4370 | | /// |
4371 | | /// While there is a bit more to it, this then allows us to rewrite the |
4372 | | /// state IDs in a DFA's transition table in a single pass. This is done |
4373 | | /// by iterating over every ID in this map, then iterating over each |
4374 | | /// transition for the state at that ID and re-mapping the transition from |
4375 | | /// `old_id` to `map[dfa.to_index(old_id)]`. That is, we find the position |
4376 | | /// in this map where `old_id` *started*, and set it to where it ended up |
4377 | | /// after all swaps have been completed. |
4378 | | map: Vec<StateID>, |
4379 | | } |
4380 | | |
4381 | | #[cfg(feature = "alloc")] |
4382 | | impl Remapper { |
4383 | | fn from_dfa(dfa: &OwnedDFA) -> Remapper { |
4384 | | Remapper { |
4385 | | map: (0..dfa.state_count()).map(|i| dfa.from_index(i)).collect(), |
4386 | | } |
4387 | | } |
4388 | | |
4389 | | fn swap(&mut self, dfa: &mut OwnedDFA, id1: StateID, id2: StateID) { |
4390 | | dfa.swap_states(id1, id2); |
4391 | | self.map.swap(dfa.to_index(id1), dfa.to_index(id2)); |
4392 | | } |
4393 | | |
4394 | | fn remap(mut self, dfa: &mut OwnedDFA) { |
4395 | | // Update the map to account for states that have been swapped |
4396 | | // multiple times. For example, if (A, C) and (C, G) are swapped, then |
4397 | | // transitions previously pointing to A should now point to G. But if |
4398 | | // we don't update our map, they will erroneously be set to C. All we |
4399 | | // do is follow the swaps in our map until we see our original state |
4400 | | // ID. |
4401 | | let oldmap = self.map.clone(); |
4402 | | for i in 0..dfa.state_count() { |
4403 | | let cur_id = dfa.from_index(i); |
4404 | | let mut new = oldmap[i]; |
4405 | | if cur_id == new { |
4406 | | continue; |
4407 | | } |
4408 | | loop { |
4409 | | let id = oldmap[dfa.to_index(new)]; |
4410 | | if cur_id == id { |
4411 | | self.map[i] = new; |
4412 | | break; |
4413 | | } |
4414 | | new = id; |
4415 | | } |
4416 | | } |
4417 | | |
4418 | | // To work around the borrow checker for converting state IDs to |
4419 | | // indices. We cannot borrow self while mutably iterating over a |
4420 | | // state's transitions. Otherwise, we'd just use dfa.to_index(..). |
4421 | | let stride2 = dfa.stride2(); |
4422 | | let to_index = |id: StateID| -> usize { id.as_usize() >> stride2 }; |
4423 | | |
4424 | | // Now that we've finished shuffling, we need to remap all of our |
4425 | | // transitions. We don't need to handle re-mapping accelerated states |
4426 | | // since `accels` is only populated after shuffling. |
4427 | | for &id in self.map.iter() { |
4428 | | for (_, next_id) in dfa.state_mut(id).iter_mut() { |
4429 | | *next_id = self.map[to_index(*next_id)]; |
4430 | | } |
4431 | | } |
4432 | | for start_id in dfa.st.table_mut().iter_mut() { |
4433 | | *start_id = self.map[to_index(*start_id)]; |
4434 | | } |
4435 | | } |
4436 | | } |
4437 | | |
4438 | | #[cfg(all(test, feature = "alloc"))] |
4439 | | mod tests { |
4440 | | use super::*; |
4441 | | |
4442 | | #[test] |
4443 | | fn errors_with_unicode_word_boundary() { |
4444 | | let pattern = r"\b"; |
4445 | | assert!(Builder::new().build(pattern).is_err()); |
4446 | | } |
4447 | | |
4448 | | #[test] |
4449 | | fn roundtrip_never_match() { |
4450 | | let dfa = DFA::never_match().unwrap(); |
4451 | | let (buf, _) = dfa.to_bytes_native_endian(); |
4452 | | let dfa: DFA<&[u32]> = DFA::from_bytes(&buf).unwrap().0; |
4453 | | |
4454 | | assert_eq!(None, dfa.find_leftmost_fwd(b"foo12345").unwrap()); |
4455 | | } |
4456 | | |
4457 | | #[test] |
4458 | | fn roundtrip_always_match() { |
4459 | | use crate::HalfMatch; |
4460 | | |
4461 | | let dfa = DFA::always_match().unwrap(); |
4462 | | let (buf, _) = dfa.to_bytes_native_endian(); |
4463 | | let dfa: DFA<&[u32]> = DFA::from_bytes(&buf).unwrap().0; |
4464 | | |
4465 | | assert_eq!( |
4466 | | Some(HalfMatch::must(0, 0)), |
4467 | | dfa.find_leftmost_fwd(b"foo12345").unwrap() |
4468 | | ); |
4469 | | } |
4470 | | } |