Difference between revisions of "Regular expressions"
Line 187: | Line 187: | ||
::* Iteration thru a capture group and a back-reference to it may be repeated several times upon matching by an interval on an enclosing group. In such case, the back-reference always matches against the most recent text captured by the capture group. | ::* Iteration thru a capture group and a back-reference to it may be repeated several times upon matching by an interval on an enclosing group. In such case, the back-reference always matches against the most recent text captured by the capture group. | ||
+ | =====Cluster groups===== | ||
:; {{string|(?:pattern)}} | :; {{string|(?:pattern)}} | ||
Line 194: | Line 195: | ||
:: Branch reset cluster group. Inside a branch reset group, capture groups are numbered from the same starting group number in each alternation. Thus several capture groups are assigned the same group number, and then, depending on which alternation actually matches, the number references the correct matching capture group. | :: Branch reset cluster group. Inside a branch reset group, capture groups are numbered from the same starting group number in each alternation. Thus several capture groups are assigned the same group number, and then, depending on which alternation actually matches, the number references the correct matching capture group. | ||
+ | =====Other groups===== | ||
:; {{string|(?>pattern)}} | :; {{string|(?>pattern)}} |
Revision as of 15:18, 6 November 2011
Basics and escape sequences
Following constructs match specific characters at positions at which they are encountered.
- .
- Matches any single character (except for newline).
- \w
- Matches any
word character
. - \W
- Matches any
non-word character
. - \s
- Matches any
white-space character
. - \S
- Matches any
non-white-space character
. - \d
- Matches any
digit character
. - \D
- Matches any
non-digit character
.
- \n
- Matches one newline sequence (CR, NL or CR/NL)
- \t
- Matches a horizontal tab character (TAB).
- \f
- Matches a form feed character (FF).
- \a
- Matches a bell character (BEL).
- \v
- Matches a vertical tab (VT).
- \e
- Matches an escape character (ESC).
- \0
- Matches a null character (NUL).
- \xhh
- Matches a character in hex notation.
- \uhhhh
- Matches a character in unicode notation (unicode version only).
- \cA
- Matches a character in control notation.
- \Q ... \E
- Quoted string. Anything between \Q and \E is treated as plain-text string and is matched exactly as it appears in the pattern.
Intervals
In order to match more than one character in a row by a single construct, regular expressions offer quantifiers.
A quantifier may appear after any supported construct or after any single character. After construct, it quantifies the entire construct (e.g. entire quoted string or group). After ordinary character, it quantifies the given character only.
- *
- Match the construct 0 or more times.
- +
- Match the construct 1 or more times.
- ?
- Match the construct 0 or 1 times.
- {n}
- Match the construct exactly n times.
- {n,}
- Match the construct at least n times.
- {n,m}
- Match the construct at least n, but no more than m times.
Any of these quantifiers may be followed by an interval modifier. An interval modifier must appear directly after a quantifier to be recognized.
- ?
- Use lazy matching instead of greedy matching.
- Greedy matching is the default, does not need any modifiers, and matches as much as possible.
- Lazy matching allows to match as little as possible with the given quantified construct.
- +
- Use possesive greedy interval matching.
- By default, when a quantified construct does not allow the rest of the pattern to match, back-tracking is used to find out how much that construct should match to allow the entire pattern to match. Possesive matching means no such back-tracking. Once a match is established by the construct, it can only be back-tracked as a whole.
- Note: There is no lazy possesive interval matching, since that would not make much sence.
Zero-length assertions
Following zero-length pattern conditions do not match any specific characters, they only assert that a specific condition is met at the position at which they are encountered.
- ^
- Matches only at line beginnings.
- $
- Matches only at line ends.
- \p
- Matches only at paragraph beginnings.
- \P
- Matches only at paragraph ends.
- \A
- Matches only at document beginning.
- \Z
- Matches only at document end.
- \b
- Matches only at word boundary, i.e. one of the characters around the current matching position must be a
word character
and the other may not. - \B
- Matches only inside a word, i.e. both characters around the current matching position must be
word characters
. - \y
- Matches only at word beginning, i.e. the second of the characters around the current matching position must be a
word character
and the first one may not. - \Y
- Matches only at word end, i.e. the first of the characters around the current matching position must be a
word character
and the second one may not.
- \G
- Matches only at the original starting position. Guarantees that only the position within the document, where the search started, is matched at by this construct. Starting position is usually the one with the caret before the search, also indicated by the Status Bar.
Alternations
- |
- Divides pattern alternations. As long as any of the alternations matches, the entire pattern matches.
Character classes
- [
- Opens character class definition.
Any of these constructs may appear in the character class.
This section is incomplete and wants to be finished later. |
TODO:
^ character class negation (must follow class opening) ] ordinary square bracket (when follows class opening) ] character class end (except when follows class opening) - character range (only when used "correctly") - ordinary dash (whenever could not be treated as range) \t horizontal tab character (TAB) \f form feed character (FF) \a bell character (BEL) \v vertical tab (VT) \e escape character (ESC) \b backspace character (BS) \n line feed newline character (NL) \r carriage return character (CR) \0 null (NUL) \x character in hex notation \u character in unicode notation (unicode version only) \c character in control notation \\ escape for \ \^ escape for ^ \[ escape for [ \] escape for ] \- escape for - \: escape for : \w any word character \W any non-word character \s any white-space character \S any non-white-space character \d any digit character \D any non-digit character [:alpha:] class function: alphas [:alnum:] class function: alphanums [:blank:] class function: blank chars [:cntrl:] class function: control chars [:digit:] class function: digits [:graph:] class function: graphs [:lower:] class function: lowercase chars [:print:] class function: printable chars [:punct:] class function: punctuations [:space:] class function: white-spaces [:upper:] class function: uppercase chars [:xdigi:] class function: hex digits |
Capture groups
- (
- Begins a new capture group. Capture groups are useful for back-references in both search and replace patterns.
- )
- Ends current capture group. Note: Capture groups can be nested.
- \1, \2, ..., \9
- Back-reference to a specific captured group. Matches exaclty the same text as was previously matched by the given capture group. Note that this does not try to repeat the sub-pattern within that capture group, but matches against the specific text matched by that group.
- Iteration thru a capture group and a back-reference to it may be repeated several times upon matching by an interval on an enclosing group. In such case, the back-reference always matches against the most recent text captured by the capture group.
Cluster groups
- (?:pattern)
- Cluster group. Cluster groups are non-capturing groups. They act like capturing groups, but do not consume resource for capturing and do not consume capture group numbers for back-referencing.
- (?|pattern)
- Branch reset cluster group. Inside a branch reset group, capture groups are numbered from the same starting group number in each alternation. Thus several capture groups are assigned the same group number, and then, depending on which alternation actually matches, the number references the correct matching capture group.
Other groups
- (?>pattern)
- Possesive independent give-nothing-back sub-pattern. This cluster group effectively prevents back-tracking upon matching. Note: Back-tracking is allowed inside of the group before the group ends, but once the group matches as an independent sub-pattern, further back-tracking inside of that group is not performed and the group is unmatched at that point as a whole. This is like grab all you can, and then give nothing back operator.
Look-behind assertion
- \K
- Removes everything that is to the left of the current matching position from the \& replace back-reference. This effectively provides a look-behind assertion, since it can be used to verify, that a match is preceded by some other pattern.
More escape sequences
Since many characters have special meanings in regular expressions, escapes are provided to allow using these characters in searches.
- \\
- Matches character \. Note: Unescaped single \ has a special meaning.
- \^
- Matches character ^. Note: Unescaped single ^ has a special meaning.
- \$
- Matches character $. Note: Unescaped single $ has a special meaning.
- \.
- Matches character .. Note: Unescaped single . has a special meaning.
- \|
- Matches character |. Note: Unescaped single | has a special meaning.
- \(
- Matches character (. Note: Unescaped single ( has a special meaning.
- \)
- Matches character ). Note: Unescaped single ) has a special meaning.
- \[
- Matches character [. Note: Unescaped single [ has a special meaning.
- \]
- Matches character ]. Note: Unescaped single ] has a special meaning.
- \*
- Matches character *. Note: Unescaped single * has a special meaning.
- \+
- Matches character +. Note: Unescaped single + has a special meaning.
- \?
- Matches character ?. Note: Unescaped single ? has a special meaning.
- \{
- Matches character {. Note: Unescaped single { has a special meaning.
- \}
- Matches character }. Note: Unescaped single } has a special meaning.
- \<
- Matches character <. Note: Unescaped single < has a special meaning.
- \>
- Matches character >. Note: Unescaped single > has a special meaning.
- \:
- Matches character :. Note: Unescaped single : has a special meaning.
Replace patterns
Any of these constructs may appear anywhere in the replace pattern, as long as regular expressions are turned on.
- \\
- Inserts a backslash.
- \n
- Inserts a newline sequence (CR, NL or CR/NL; depends on current document options).
- \t
- Inserts a horizontal tab character (TAB).
- \f
- Inserts a form feed character (FF).
- \a
- Inserts a vell character (BEL).
- \v
- Inserts a vertical tab (VT).
- \e
- Inserts an escape character (ESC).
- \0
- Inserts a null character (NUL).
- \xhh
- Inserts a character in hex notation.
- \uhhhh
- Inserts a character in unicode notation (unicode version only).
- \cA
- Inserts a character in control notation.
- \Q ... \E
- Quoted string. Anything between \Q and \E is treated as plain-text string and is inserted exactly as it appears in the pattern.
- \&
- Back-reference to the entire match.
- \1, \2, ..., \9
- Back-reference to a specific captured group.
- \+
- Back-reference to the last successfull captured group. Consider having several alternations, each with a group inside it. Only one of the alternations will match, thus only one of those groups will be valid upon replacing. This back-reference allows referencing the correct one of those groups, based on which of the alternations matched.
- Note: This can also be achieved by using branch restart groups.