Struct regex_automata::util::search::MatchError
source · pub struct MatchError(Box<MatchErrorKind>);
Expand description
An error indicating that a search stopped before reporting whether a match exists or not.
To be very clear, this error type implies that one cannot assume that no matches occur, since the search stopped before completing. That is, if you’re looking for information about where a search determined that no match can occur, then this error type does not give you that. (Indeed, at the time of writing, if you need such a thing, you have to write your own search routine.)
Normally, when one searches for something, the response is either an affirmative “it was found at this location” or a negative “not found at all.” However, in some cases, a regex engine can be configured to stop its search before concluding whether a match exists or not. When this happens, it may be important for the caller to know why the regex engine gave up and where in the input it gave up at. This error type exposes the ‘why’ and the ‘where.’
For example, the DFAs provided by this library generally cannot correctly implement Unicode word boundaries. Instead, they provide an option to eagerly support them on ASCII text (since Unicode word boundaries are equivalent to ASCII word boundaries when searching ASCII text), but will “give up” if a non-ASCII byte is seen. In such cases, one is usually required to either report the failure to the caller (unergonomic) or otherwise fall back to some other regex engine (ergonomic, but potentially costly).
More generally, some regex engines offer the ability for callers to specify certain bytes that will trigger the regex engine to automatically quit if they are seen.
Still yet, there may be other reasons for a failed match. For example, the hybrid DFA provided by this crate can be configured to give up if it believes that it is not efficient. This in turn permits callers to choose a different regex engine.
(Note that DFAs are configured by default to never quit or give up in this
fashion. For example, by default, a DFA will fail to build if the regex
pattern contains a Unicode word boundary. One needs to opt into the “quit”
behavior via options, like
hybrid::dfa::Config::unicode_word_boundary
.)
There are a couple other ways a search
can fail. For example, when using the
BoundedBacktracker
with a haystack that is too long, or trying to run an unanchored search
with a one-pass DFA.
Tuple Fields§
§0: Box<MatchErrorKind>
Implementations§
source§impl MatchError
impl MatchError
sourcepub fn new(kind: MatchErrorKind) -> MatchError
pub fn new(kind: MatchErrorKind) -> MatchError
Create a new error value with the given kind.
This is a more verbose version of the kind-specific constructors,
e.g., MatchError::quit
.
sourcepub fn kind(&self) -> &MatchErrorKind
pub fn kind(&self) -> &MatchErrorKind
Returns a reference to the underlying error kind.
sourcepub fn quit(byte: u8, offset: usize) -> MatchError
pub fn quit(byte: u8, offset: usize) -> MatchError
Create a new “quit” error. The given byte
corresponds to the value
that tripped a search’s quit condition, and offset
corresponds to the
location in the haystack at which the search quit.
This is the same as calling MatchError::new
with a
MatchErrorKind::Quit
kind.
sourcepub fn gave_up(offset: usize) -> MatchError
pub fn gave_up(offset: usize) -> MatchError
Create a new “gave up” error. The given offset
corresponds to the
location in the haystack at which the search gave up.
This is the same as calling MatchError::new
with a
MatchErrorKind::GaveUp
kind.
sourcepub fn haystack_too_long(len: usize) -> MatchError
pub fn haystack_too_long(len: usize) -> MatchError
Create a new “haystack too long” error. The given len
corresponds to
the length of the haystack that was problematic.
This is the same as calling MatchError::new
with a
MatchErrorKind::HaystackTooLong
kind.
sourcepub fn unsupported_anchored(mode: Anchored) -> MatchError
pub fn unsupported_anchored(mode: Anchored) -> MatchError
Create a new “unsupported anchored” error. This occurs when the caller requests a search with an anchor mode that is not supported by the regex engine.
This is the same as calling MatchError::new
with a
MatchErrorKind::UnsupportedAnchored
kind.
Trait Implementations§
source§impl Clone for MatchError
impl Clone for MatchError
source§fn clone(&self) -> MatchError
fn clone(&self) -> MatchError
1.0.0 · source§fn clone_from(&mut self, source: &Self)
fn clone_from(&mut self, source: &Self)
source
. Read moresource§impl Debug for MatchError
impl Debug for MatchError
source§impl Display for MatchError
impl Display for MatchError
source§impl Error for MatchError
impl Error for MatchError
1.30.0 · source§fn source(&self) -> Option<&(dyn Error + 'static)>
fn source(&self) -> Option<&(dyn Error + 'static)>
1.0.0 · source§fn description(&self) -> &str
fn description(&self) -> &str
source§impl From<MatchError> for RetryError
impl From<MatchError> for RetryError
source§fn from(merr: MatchError) -> RetryError
fn from(merr: MatchError) -> RetryError
source§impl From<MatchError> for RetryFailError
impl From<MatchError> for RetryFailError
source§fn from(merr: MatchError) -> RetryFailError
fn from(merr: MatchError) -> RetryFailError
source§impl PartialEq for MatchError
impl PartialEq for MatchError
source§fn eq(&self, other: &MatchError) -> bool
fn eq(&self, other: &MatchError) -> bool
self
and other
values to be equal, and is used
by ==
.