regex_automata::util::syntax

Struct Config

source
pub struct Config { /* private fields */ }
Expand description

A common set of configuration options that apply to the syntax of a regex.

This represents a group of configuration options that specifically apply to how the concrete syntax of a regular expression is interpreted. In particular, they are generally forwarded to the ParserBuilder in the regex-syntax crate when building a regex from its concrete syntax directly.

These options are defined as a group since they apply to every regex engine in this crate. Instead of re-defining them on every engine’s builder, they are instead provided here as one cohesive unit.

Implementations§

source§

impl Config

source

pub fn new() -> Config

Return a new default syntax configuration.

source

pub fn case_insensitive(self, yes: bool) -> Config

Enable or disable the case insensitive flag by default.

When Unicode mode is enabled, case insensitivity is Unicode-aware. Specifically, it will apply the “simple” case folding rules as specified by Unicode.

By default this is disabled. It may alternatively be selectively enabled in the regular expression itself via the i flag.

source

pub fn multi_line(self, yes: bool) -> Config

Enable or disable the multi-line matching flag by default.

When this is enabled, the ^ and $ look-around assertions will match immediately after and immediately before a new line character, respectively. Note that the \A and \z look-around assertions are unaffected by this setting and always correspond to matching at the beginning and end of the input.

By default this is disabled. It may alternatively be selectively enabled in the regular expression itself via the m flag.

source

pub fn dot_matches_new_line(self, yes: bool) -> Config

Enable or disable the “dot matches any character” flag by default.

When this is enabled, . will match any character. When it’s disabled, then . will match any character except for a new line character.

Note that . is impacted by whether the “unicode” setting is enabled or not. When Unicode is enabled (the default), . will match any UTF-8 encoding of any Unicode scalar value (sans a new line, depending on whether this “dot matches new line” option is enabled). When Unicode mode is disabled, . will match any byte instead. Because of this, when Unicode mode is disabled, . can only be used when the “allow invalid UTF-8” option is enabled, since . could otherwise match invalid UTF-8.

By default this is disabled. It may alternatively be selectively enabled in the regular expression itself via the s flag.

source

pub fn crlf(self, yes: bool) -> Config

Enable or disable the “CRLF mode” flag by default.

By default this is disabled. It may alternatively be selectively enabled in the regular expression itself via the R flag.

When CRLF mode is enabled, the following happens:

  • Unless dot_matches_new_line is enabled, . will match any character except for \r and \n.
  • When multi_line mode is enabled, ^ and $ will treat \r\n, \r and \n as line terminators. And in particular, neither will match between a \r and a \n.
source

pub fn line_terminator(self, byte: u8) -> Config

Sets the line terminator for use with (?u-s:.) and (?-us:.).

Namely, instead of . (by default) matching everything except for \n, this will cause . to match everything except for the byte given.

If . is used in a context where Unicode mode is enabled and this byte isn’t ASCII, then an error will be returned. When Unicode mode is disabled, then any byte is permitted, but will return an error if UTF-8 mode is enabled and it is a non-ASCII byte.

In short, any ASCII value for a line terminator is always okay. But a non-ASCII byte might result in an error depending on whether Unicode mode or UTF-8 mode are enabled.

Note that if R mode is enabled then it always takes precedence and the line terminator will be treated as \r and \n simultaneously.

Note also that this doesn’t impact the look-around assertions (?m:^) and (?m:$). That’s usually controlled by additional configuration in the regex engine itself.

source

pub fn swap_greed(self, yes: bool) -> Config

Enable or disable the “swap greed” flag by default.

When this is enabled, .* (for example) will become ungreedy and .*? will become greedy.

By default this is disabled. It may alternatively be selectively enabled in the regular expression itself via the U flag.

source

pub fn ignore_whitespace(self, yes: bool) -> Config

Enable verbose mode in the regular expression.

When enabled, verbose mode permits insigificant whitespace in many places in the regular expression, as well as comments. Comments are started using # and continue until the end of the line.

By default, this is disabled. It may be selectively enabled in the regular expression by using the x flag regardless of this setting.

source

pub fn unicode(self, yes: bool) -> Config

Enable or disable the Unicode flag (u) by default.

By default this is enabled. It may alternatively be selectively disabled in the regular expression itself via the u flag.

Note that unless “allow invalid UTF-8” is enabled (it’s disabled by default), a regular expression will fail to parse if Unicode mode is disabled and a sub-expression could possibly match invalid UTF-8.

WARNING: Unicode mode can greatly increase the size of the compiled DFA, which can noticeably impact both memory usage and compilation time. This is especially noticeable if your regex contains character classes like \w that are impacted by whether Unicode is enabled or not. If Unicode is not necessary, you are encouraged to disable it.

source

pub fn utf8(self, yes: bool) -> Config

When disabled, the builder will permit the construction of a regular expression that may match invalid UTF-8.

For example, when Config::unicode is disabled, then expressions like [^a] may match invalid UTF-8 since they can match any single byte that is not a. By default, these sub-expressions are disallowed to avoid returning offsets that split a UTF-8 encoded codepoint. However, in cases where matching at arbitrary locations is desired, this option can be disabled to permit all such sub-expressions.

When enabled (the default), the builder is guaranteed to produce a regex that will only ever match valid UTF-8 (otherwise, the builder will return an error).

source

pub fn nest_limit(self, limit: u32) -> Config

Set the nesting limit used for the regular expression parser.

The nesting limit controls how deep the abstract syntax tree is allowed to be. If the AST exceeds the given limit (e.g., with too many nested groups), then an error is returned by the parser.

The purpose of this limit is to act as a heuristic to prevent stack overflow when building a finite automaton from a regular expression’s abstract syntax tree. In particular, construction currently uses recursion. In the future, the implementation may stop using recursion and this option will no longer be necessary.

This limit is not checked until the entire AST is parsed. Therefore, if callers want to put a limit on the amount of heap space used, then they should impose a limit on the length, in bytes, of the concrete pattern string. In particular, this is viable since the parser will limit itself to heap space proportional to the length of the pattern string.

Note that a nest limit of 0 will return a nest limit error for most patterns but not all. For example, a nest limit of 0 permits a but not ab, since ab requires a concatenation AST item, which results in a nest depth of 1. In general, a nest limit is not something that manifests in an obvious way in the concrete syntax, therefore, it should not be used in a granular way.

source

pub fn octal(self, yes: bool) -> Config

Whether to support octal syntax or not.

Octal syntax is a little-known way of uttering Unicode codepoints in a regular expression. For example, a, \x61, \u0061 and \141 are all equivalent regular expressions, where the last example shows octal syntax.

While supporting octal syntax isn’t in and of itself a problem, it does make good error messages harder. That is, in PCRE based regex engines, syntax like \1 invokes a backreference, which is explicitly unsupported in Rust’s regex engine. However, many users expect it to be supported. Therefore, when octal support is disabled, the error message will explicitly mention that backreferences aren’t supported.

Octal syntax is disabled by default.

source

pub fn get_unicode(&self) -> bool

Returns whether “unicode” mode is enabled.

source

pub fn get_case_insensitive(&self) -> bool

Returns whether “case insensitive” mode is enabled.

source

pub fn get_multi_line(&self) -> bool

Returns whether “multi line” mode is enabled.

source

pub fn get_dot_matches_new_line(&self) -> bool

Returns whether “dot matches new line” mode is enabled.

source

pub fn get_crlf(&self) -> bool

Returns whether “CRLF” mode is enabled.

source

pub fn get_line_terminator(&self) -> u8

Returns the line terminator in this syntax configuration.

source

pub fn get_swap_greed(&self) -> bool

Returns whether “swap greed” mode is enabled.

source

pub fn get_ignore_whitespace(&self) -> bool

Returns whether “ignore whitespace” mode is enabled.

source

pub fn get_utf8(&self) -> bool

Returns whether UTF-8 mode is enabled.

source

pub fn get_nest_limit(&self) -> u32

Returns the “nest limit” setting.

source

pub fn get_octal(&self) -> bool

Returns whether “octal” mode is enabled.

Trait Implementations§

source§

impl Clone for Config

source§

fn clone(&self) -> Config

Returns a copy of the value. Read more
1.0.0 · source§

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

Performs copy-assignment from source. Read more
source§

impl Debug for Config

source§

fn fmt(&self, f: &mut Formatter<'_>) -> Result

Formats the value using the given formatter. Read more
source§

impl Default for Config

source§

fn default() -> Config

Returns the “default value” for a type. Read more
source§

impl Copy for Config

Auto Trait Implementations§

§

impl Freeze for Config

§

impl RefUnwindSafe for Config

§

impl Send for Config

§

impl Sync for Config

§

impl Unpin for Config

§

impl UnwindSafe for Config

Blanket Implementations§

source§

impl<T> Any for T
where T: 'static + ?Sized,

source§

fn type_id(&self) -> TypeId

Gets the TypeId of self. Read more
source§

impl<T> Borrow<T> for T
where T: ?Sized,

source§

fn borrow(&self) -> &T

Immutably borrows from an owned value. Read more
source§

impl<T> BorrowMut<T> for T
where T: ?Sized,

source§

fn borrow_mut(&mut self) -> &mut T

Mutably borrows from an owned value. Read more
source§

impl<T> CloneToUninit for T
where T: Clone,

source§

unsafe fn clone_to_uninit(&self, dst: *mut T)

🔬This is a nightly-only experimental API. (clone_to_uninit)
Performs copy-assignment from self to dst. Read more
source§

impl<T> From<T> for T

source§

fn from(t: T) -> T

Returns the argument unchanged.

source§

impl<T, U> Into<U> for T
where U: From<T>,

source§

fn into(self) -> U

Calls U::from(self).

That is, this conversion is whatever the implementation of From<T> for U chooses to do.

source§

impl<T> ToOwned for T
where T: Clone,

source§

type Owned = T

The resulting type after obtaining ownership.
source§

fn to_owned(&self) -> T

Creates owned data from borrowed data, usually by cloning. Read more
source§

fn clone_into(&self, target: &mut T)

Uses borrowed data to replace owned data, usually by cloning. Read more
source§

impl<T, U> TryFrom<U> for T
where U: Into<T>,

source§

type Error = Infallible

The type returned in the event of a conversion error.
source§

fn try_from(value: U) -> Result<T, <T as TryFrom<U>>::Error>

Performs the conversion.
source§

impl<T, U> TryInto<U> for T
where U: TryFrom<T>,

source§

type Error = <U as TryFrom<T>>::Error

The type returned in the event of a conversion error.
source§

fn try_into(self) -> Result<U, <U as TryFrom<T>>::Error>

Performs the conversion.