/// A map from every possible byte value to its corresponding starting /// configuration. /// /// This map is used in order to lookup the start configuration for a particular /// position in a haystack. This start configuration is then used in /// combination with things like the anchored mode and pattern ID to fully /// determine the start state. /// /// Generally speaking, this map is only used for fully compiled DFAs and lazy /// DFAs. For NFAs (including the one-pass DFA), the start state is generally /// selected by virtue of traversing the NFA state graph. DFAs do the same /// thing, but at build time and not search time. (Well, technically the lazy /// DFA does it at search time, but it does enough work to cache the full /// result of the epsilon closure that the NFA engines tend to need to do.) #[derive(Clone)] pub(crate) struct StartByteMap {
map: [Start; 256],
}
impl StartByteMap { /// Create a new map from byte values to their corresponding starting /// configurations. The map is determined, in part, by how look-around /// assertions are matched via the matcher given. pub(crate) fn new(lookm: &LookMatcher) -> StartByteMap { letmut map = [Start::NonWordByte; 256];
map[usize::from(b'\n')] = Start::LineLF;
map[usize::from(b'\r')] = Start::LineCR;
map[usize::from(b'_')] = Start::WordByte;
let lineterm = lookm.get_line_terminator(); // If our line terminator is normal, then it is already handled by // the LineLF and LineCR configurations. But if it's weird, then we // overwrite whatever was there before for that terminator with a // special configuration. The trick here is that if the terminator // is, say, a word byte like `a`, then callers seeing this start // configuration need to account for that and build their DFA state as // if it *also* came from a word byte. if lineterm != b'\r' && lineterm != b'\n' {
map[usize::from(lineterm)] = Start::CustomLineTerminator;
}
StartByteMap { map }
}
/// Return the forward starting configuration for the given `input`. #[cfg_attr(feature = "perf-inline", inline(always))] pub(crate) fn fwd(&self, input: &Input) -> Start { match input
.start()
.checked_sub(1)
.and_then(|i| input.haystack().get(i))
{
None => Start::Text,
Some(&byte) => self.get(byte),
}
}
/// Return the reverse starting configuration for the given `input`. #[cfg_attr(feature = "perf-inline", inline(always))] pub(crate) fn rev(&self, input: &Input) -> Start { match input.haystack().get(input.end()) {
None => Start::Text,
Some(&byte) => self.get(byte),
}
}
/// Deserializes a byte class map from the given slice. If the slice is of /// insufficient length or otherwise contains an impossible mapping, then /// an error is returned. Upon success, the number of bytes read along with /// the map are returned. The number of bytes read is always a multiple of /// 8. pub(crate) fn from_bytes(
slice: &[u8],
) -> Result<(StartByteMap, usize), DeserializeError> {
wire::check_slice_len(slice, 256, "start byte map")?; letmut map = [Start::NonWordByte; 256]; for (i, &repr) in slice[..256].iter().enumerate() {
map[i] = match Start::from_usize(usize::from(repr)) {
Some(start) => start,
None => { return Err(DeserializeError::generic( "found invalid starting configuration",
))
}
};
}
Ok((StartByteMap { map }, 256))
}
/// Writes this map to the given byte buffer. if the given buffer is too /// small, then an error is returned. Upon success, the total number of /// bytes written is returned. The number of bytes written is guaranteed to /// be a multiple of 8. pub(crate) fn write_to(
&self,
dst: &mut [u8],
) -> Result<usize, SerializeError> { let nwrite = self.write_to_len(); if dst.len() < nwrite { return Err(SerializeError::buffer_too_small("start byte map"));
} for (i, &start) inself.map.iter().enumerate() {
dst[i] = start.as_u8();
}
Ok(nwrite)
}
/// Returns the total number of bytes written by `write_to`. pub(crate) fn write_to_len(&self) -> usize { 256
}
}
/// Represents the six possible starting configurations of a DFA search. /// /// The starting configuration is determined by inspecting the the beginning /// of the haystack (up to 1 byte). Ultimately, this along with a pattern ID /// (if specified) and the type of search (anchored or not) is what selects the /// start state to use in a DFA. /// /// As one example, if a DFA only supports unanchored searches and does not /// support anchored searches for each pattern, then it will have at most 6 /// distinct start states. (Some start states may be reused if determinization /// can determine that they will be equivalent.) If the DFA supports both /// anchored and unanchored searches, then it will have a maximum of 12 /// distinct start states. Finally, if the DFA also supports anchored searches /// for each pattern, then it can have up to `12 + (N * 6)` start states, where /// `N` is the number of patterns. /// /// Handling each of these starting configurations in the context of DFA /// determinization can be *quite* tricky and subtle. But the code is small /// and can be found at `crate::util::determinize::set_lookbehind_from_start`. #[derive(Clone, Copy, Debug, Eq, PartialEq)] pub(crate) enum Start { /// This occurs when the starting position is not any of the ones below.
NonWordByte = 0, /// This occurs when the byte immediately preceding the start of the search /// is an ASCII word byte.
WordByte = 1, /// This occurs when the starting position of the search corresponds to the /// beginning of the haystack.
Text = 2, /// This occurs when the byte immediately preceding the start of the search /// is a line terminator. Specifically, `\n`.
LineLF = 3, /// This occurs when the byte immediately preceding the start of the search /// is a line terminator. Specifically, `\r`.
LineCR = 4, /// This occurs when a custom line terminator has been set via a /// `LookMatcher`, and when that line terminator is neither a `\r` or a /// `\n`. /// /// If the custom line terminator is a word byte, then this start /// configuration is still selected. DFAs that implement word boundary /// assertions will likely need to check whether the custom line terminator /// is a word byte, in which case, it should behave as if the byte /// satisfies `\b` in addition to multi-line anchors.
CustomLineTerminator = 5,
}
impl Start { /// Return the starting state corresponding to the given integer. If no /// starting state exists for the given integer, then None is returned. pub(crate) fn from_usize(n: usize) -> Option<Start> { match n { 0 => Some(Start::NonWordByte), 1 => Some(Start::WordByte), 2 => Some(Start::Text), 3 => Some(Start::LineLF), 4 => Some(Start::LineCR), 5 => Some(Start::CustomLineTerminator),
_ => None,
}
}
/// Returns the total number of starting state configurations. pub(crate) fn len() -> usize { 6
}
/// Return this starting configuration as `u8` integer. It is guaranteed to /// be less than `Start::len()`. #[cfg_attr(feature = "perf-inline", inline(always))] pub(crate) fn as_u8(&self) -> u8 { // AFAIK, 'as' is the only way to zero-cost convert an int enum to an // actual int.
*selfas u8
}
/// Return this starting configuration as a `usize` integer. It is /// guaranteed to be less than `Start::len()`. #[cfg_attr(feature = "perf-inline", inline(always))] pub(crate) fn as_usize(&self) -> usize {
usize::from(self.as_u8())
}
}
Die Informationen auf dieser Webseite wurden
nach bestem Wissen sorgfältig zusammengestellt. Es wird jedoch weder Vollständigkeit, noch Richtigkeit,
noch Qualität der bereit gestellten Informationen zugesichert.
Bemerkung:
Die farbliche Syntaxdarstellung und die Messung sind noch experimentell.