| 44 |
page. |
page. |
| 45 |
. |
. |
| 46 |
. |
. |
| 47 |
|
.SH "NEWLINE CONVENTIONS" |
| 48 |
|
.rs |
| 49 |
|
.sp |
| 50 |
|
PCRE supports five different conventions for indicating line breaks in |
| 51 |
|
strings: a single CR (carriage return) character, a single LF (linefeed) |
| 52 |
|
character, the two-character sequence CRLF, any of the three preceding, or any |
| 53 |
|
Unicode newline sequence. The |
| 54 |
|
.\" HREF |
| 55 |
|
\fBpcreapi\fP |
| 56 |
|
.\" |
| 57 |
|
page has |
| 58 |
|
.\" HTML <a href="pcreapi.html#newlines"> |
| 59 |
|
.\" </a> |
| 60 |
|
further discussion |
| 61 |
|
.\" |
| 62 |
|
about newlines, and shows how to set the newline convention in the |
| 63 |
|
\fIoptions\fP arguments for the compiling and matching functions. |
| 64 |
|
.P |
| 65 |
|
It is also possible to specify a newline convention by starting a pattern |
| 66 |
|
string with one of the following five sequences: |
| 67 |
|
.sp |
| 68 |
|
(*CR) carriage return |
| 69 |
|
(*LF) linefeed |
| 70 |
|
(*CRLF) carriage return, followed by linefeed |
| 71 |
|
(*ANYCRLF) any of the three above |
| 72 |
|
(*ANY) all Unicode newline sequences |
| 73 |
|
.sp |
| 74 |
|
These override the default and the options given to \fBpcre_compile()\fP. For |
| 75 |
|
example, on a Unix system where LF is the default newline sequence, the pattern |
| 76 |
|
.sp |
| 77 |
|
(*CR)a.b |
| 78 |
|
.sp |
| 79 |
|
changes the convention to CR. That pattern matches "a\enb" because LF is no |
| 80 |
|
longer a newline. Note that these special settings, which are not |
| 81 |
|
Perl-compatible, are recognized only at the very start of a pattern, and that |
| 82 |
|
they must be in upper case. If more than one of them is present, the last one |
| 83 |
|
is used. |
| 84 |
|
.P |
| 85 |
|
The newline convention does not affect what the \eR escape sequence matches. By |
| 86 |
|
default, this is any Unicode newline sequence, for Perl compatibility. However, |
| 87 |
|
this can be changed; see the description of \eR in the section entitled |
| 88 |
|
.\" HTML <a href="#newlineseq"> |
| 89 |
|
.\" </a> |
| 90 |
|
"Newline sequences" |
| 91 |
|
.\" |
| 92 |
|
below. A change of \eR setting can be combined with a change of newline |
| 93 |
|
convention. |
| 94 |
|
. |
| 95 |
|
. |
| 96 |
.SH "CHARACTERS AND METACHARACTERS" |
.SH "CHARACTERS AND METACHARACTERS" |
| 97 |
.rs |
.rs |
| 98 |
.sp |
.sp |
| 202 |
\ecx "control-x", where x is any character |
\ecx "control-x", where x is any character |
| 203 |
\ee escape (hex 1B) |
\ee escape (hex 1B) |
| 204 |
\ef formfeed (hex 0C) |
\ef formfeed (hex 0C) |
| 205 |
\en newline (hex 0A) |
\en linefeed (hex 0A) |
| 206 |
\er carriage return (hex 0D) |
\er carriage return (hex 0D) |
| 207 |
\et tab (hex 09) |
\et tab (hex 09) |
| 208 |
\eddd character with octal code ddd, or backreference |
\eddd character with octal code ddd, or backreference |
| 217 |
After \ex, from zero to two hexadecimal digits are read (letters can be in |
After \ex, from zero to two hexadecimal digits are read (letters can be in |
| 218 |
upper or lower case). Any number of hexadecimal digits may appear between \ex{ |
upper or lower case). Any number of hexadecimal digits may appear between \ex{ |
| 219 |
and }, but the value of the character code must be less than 256 in non-UTF-8 |
and }, but the value of the character code must be less than 256 in non-UTF-8 |
| 220 |
mode, and less than 2**31 in UTF-8 mode (that is, the maximum hexadecimal value |
mode, and less than 2**31 in UTF-8 mode. That is, the maximum value in |
| 221 |
is 7FFFFFFF). If characters other than hexadecimal digits appear between \ex{ |
hexadecimal is 7FFFFFFF. Note that this is bigger than the largest Unicode code |
| 222 |
and }, or if there is no terminating }, this form of escape is not recognized. |
point, which is 10FFFF. |
| 223 |
Instead, the initial \ex will be interpreted as a basic hexadecimal escape, |
.P |
| 224 |
with no following digits, giving a character whose value is zero. |
If characters other than hexadecimal digits appear between \ex{ and }, or if |
| 225 |
|
there is no terminating }, this form of escape is not recognized. Instead, the |
| 226 |
|
initial \ex will be interpreted as a basic hexadecimal escape, with no |
| 227 |
|
following digits, giving a character whose value is zero. |
| 228 |
.P |
.P |
| 229 |
Characters whose value is less than 256 can be defined by either of the two |
Characters whose value is less than 256 can be defined by either of the two |
| 230 |
syntaxes for \ex. There is no difference in the way they are handled. For |
syntaxes for \ex. There is no difference in the way they are handled. For |
| 399 |
is discouraged. |
is discouraged. |
| 400 |
. |
. |
| 401 |
. |
. |
| 402 |
|
.\" HTML <a name="newlineseq"></a> |
| 403 |
.SS "Newline sequences" |
.SS "Newline sequences" |
| 404 |
.rs |
.rs |
| 405 |
.sp |
.sp |
| 406 |
Outside a character class, the escape sequence \eR matches any Unicode newline |
Outside a character class, by default, the escape sequence \eR matches any |
| 407 |
sequence. This is a Perl 5.10 feature. In non-UTF-8 mode \eR is equivalent to |
Unicode newline sequence. This is a Perl 5.10 feature. In non-UTF-8 mode \eR is |
| 408 |
the following: |
equivalent to the following: |
| 409 |
.sp |
.sp |
| 410 |
(?>\er\en|\en|\ex0b|\ef|\er|\ex85) |
(?>\er\en|\en|\ex0b|\ef|\er|\ex85) |
| 411 |
.sp |
.sp |
| 425 |
Unicode character property support is not needed for these characters to be |
Unicode character property support is not needed for these characters to be |
| 426 |
recognized. |
recognized. |
| 427 |
.P |
.P |
| 428 |
|
It is possible to restrict \eR to match only CR, LF, or CRLF (instead of the |
| 429 |
|
complete set of Unicode line endings) by setting the option PCRE_BSR_ANYCRLF |
| 430 |
|
either at compile time or when the pattern is matched. (BSR is an abbrevation |
| 431 |
|
for "backslash R".) This can be made the default when PCRE is built; if this is |
| 432 |
|
the case, the other behaviour can be requested via the PCRE_BSR_UNICODE option. |
| 433 |
|
It is also possible to specify these settings by starting a pattern string with |
| 434 |
|
one of the following sequences: |
| 435 |
|
.sp |
| 436 |
|
(*BSR_ANYCRLF) CR, LF, or CRLF only |
| 437 |
|
(*BSR_UNICODE) any Unicode newline sequence |
| 438 |
|
.sp |
| 439 |
|
These override the default and the options given to \fBpcre_compile()\fP, but |
| 440 |
|
they can be overridden by options given to \fBpcre_exec()\fP. Note that these |
| 441 |
|
special settings, which are not Perl-compatible, are recognized only at the |
| 442 |
|
very start of a pattern, and that they must be in upper case. If more than one |
| 443 |
|
of them is present, the last one is used. They can be combined with a change of |
| 444 |
|
newline convention, for example, a pattern can start with: |
| 445 |
|
.sp |
| 446 |
|
(*ANY)(*BSR_ANYCRLF) |
| 447 |
|
.sp |
| 448 |
Inside a character class, \eR matches the letter "R". |
Inside a character class, \eR matches the letter "R". |
| 449 |
. |
. |
| 450 |
. |
. |
| 608 |
the Lu, Ll, or Lt property, in other words, a letter that is not classified as |
the Lu, Ll, or Lt property, in other words, a letter that is not classified as |
| 609 |
a modifier or "other". |
a modifier or "other". |
| 610 |
.P |
.P |
| 611 |
|
The Cs (Surrogate) property applies only to characters in the range U+D800 to |
| 612 |
|
U+DFFF. Such characters are not valid in UTF-8 strings (see RFC 3629) and so |
| 613 |
|
cannot be tested by PCRE, unless UTF-8 validity checking has been turned off |
| 614 |
|
(see the discussion of PCRE_NO_UTF8_CHECK in the |
| 615 |
|
.\" HREF |
| 616 |
|
\fBpcreapi\fP |
| 617 |
|
.\" |
| 618 |
|
page). |
| 619 |
|
.P |
| 620 |
The long synonyms for these properties that Perl supports (such as \ep{Letter}) |
The long synonyms for these properties that Perl supports (such as \ep{Letter}) |
| 621 |
are not supported by PCRE, nor is it permitted to prefix any of these |
are not supported by PCRE, nor is it permitted to prefix any of these |
| 622 |
properties with "Is". |
properties with "Is". |
| 992 |
.rs |
.rs |
| 993 |
.sp |
.sp |
| 994 |
The settings of the PCRE_CASELESS, PCRE_MULTILINE, PCRE_DOTALL, and |
The settings of the PCRE_CASELESS, PCRE_MULTILINE, PCRE_DOTALL, and |
| 995 |
PCRE_EXTENDED options can be changed from within the pattern by a sequence of |
PCRE_EXTENDED options (which are Perl-compatible) can be changed from within |
| 996 |
Perl option letters enclosed between "(?" and ")". The option letters are |
the pattern by a sequence of Perl option letters enclosed between "(?" and ")". |
| 997 |
|
The option letters are |
| 998 |
.sp |
.sp |
| 999 |
i for PCRE_CASELESS |
i for PCRE_CASELESS |
| 1000 |
m for PCRE_MULTILINE |
m for PCRE_MULTILINE |
| 1008 |
permitted. If a letter appears both before and after the hyphen, the option is |
permitted. If a letter appears both before and after the hyphen, the option is |
| 1009 |
unset. |
unset. |
| 1010 |
.P |
.P |
| 1011 |
|
The PCRE-specific options PCRE_DUPNAMES, PCRE_UNGREEDY, and PCRE_EXTRA can be |
| 1012 |
|
changed in the same way as the Perl-compatible options by using the characters |
| 1013 |
|
J, U and X respectively. |
| 1014 |
|
.P |
| 1015 |
When an option change occurs at top level (that is, not inside subpattern |
When an option change occurs at top level (that is, not inside subpattern |
| 1016 |
parentheses), the change applies to the remainder of the pattern that follows. |
parentheses), the change applies to the remainder of the pattern that follows. |
| 1017 |
If the change is placed right at the start of a pattern, PCRE extracts it into |
If the change is placed right at the start of a pattern, PCRE extracts it into |
| 1034 |
branch is abandoned before the option setting. This is because the effects of |
branch is abandoned before the option setting. This is because the effects of |
| 1035 |
option settings happen at compile time. There would be some very weird |
option settings happen at compile time. There would be some very weird |
| 1036 |
behaviour otherwise. |
behaviour otherwise. |
|
.P |
|
|
The PCRE-specific options PCRE_DUPNAMES, PCRE_UNGREEDY, and PCRE_EXTRA can be |
|
|
changed in the same way as the Perl-compatible options by using the characters |
|
|
J, U and X respectively. |
|
| 1037 |
. |
. |
| 1038 |
. |
. |
| 1039 |
.\" HTML <a name="subpattern"></a> |
.\" HTML <a name="subpattern"></a> |
| 2049 |
documentation. |
documentation. |
| 2050 |
. |
. |
| 2051 |
. |
. |
| 2052 |
.SH "BACTRACKING CONTROL" |
.SH "BACKTRACKING CONTROL" |
| 2053 |
.rs |
.rs |
| 2054 |
.sp |
.sp |
| 2055 |
Perl 5.10 introduced a number of "Special Backtracking Control Verbs", which |
Perl 5.10 introduced a number of "Special Backtracking Control Verbs", which |
| 2056 |
are described in the Perl documentation as "experimental and subject to change |
are described in the Perl documentation as "experimental and subject to change |
| 2057 |
or removal in a future version of Perl". It goes on to say: "Their usage in |
or removal in a future version of Perl". It goes on to say: "Their usage in |
| 2058 |
production code should be noted to avoid problems during upgrades." The same |
production code should be noted to avoid problems during upgrades." The same |
| 2059 |
remarks apply to the PCRE features described in this section. |
remarks apply to the PCRE features described in this section. |
| 2060 |
.P |
.P |
| 2061 |
Since these verbs are specifically related to backtracking, they can be used |
Since these verbs are specifically related to backtracking, they can be used |
| 2062 |
only when the pattern is to be matched using \fBpcre_exec()\fP, which uses a |
only when the pattern is to be matched using \fBpcre_exec()\fP, which uses a |
| 2063 |
backtracking algorithm. They cause an error if encountered by |
backtracking algorithm. They cause an error if encountered by |
| 2064 |
\fBpcre_dfa_exec()\fP. |
\fBpcre_dfa_exec()\fP. |
| 2065 |
.P |
.P |
| 2066 |
The new verbs make use of what was previously invalid syntax: an opening |
The new verbs make use of what was previously invalid syntax: an opening |
| 2067 |
parenthesis followed by an asterisk. In Perl, they are generally of the form |
parenthesis followed by an asterisk. In Perl, they are generally of the form |
| 2068 |
(*VERB:ARG) but PCRE does not support the use of arguments, so its general |
(*VERB:ARG) but PCRE does not support the use of arguments, so its general |
| 2069 |
form is just (*VERB). Any number of these verbs may occur in a pattern. There |
form is just (*VERB). Any number of these verbs may occur in a pattern. There |
| 2077 |
(*ACCEPT) |
(*ACCEPT) |
| 2078 |
.sp |
.sp |
| 2079 |
This verb causes the match to end successfully, skipping the remainder of the |
This verb causes the match to end successfully, skipping the remainder of the |
| 2080 |
pattern. When inside a recursion, only the innermost pattern is ended |
pattern. When inside a recursion, only the innermost pattern is ended |
| 2081 |
immediately. PCRE differs from Perl in what happens if the (*ACCEPT) is inside |
immediately. PCRE differs from Perl in what happens if the (*ACCEPT) is inside |
| 2082 |
capturing parentheses. In Perl, the data so far is captured: in PCRE no data is |
capturing parentheses. In Perl, the data so far is captured: in PCRE no data is |
| 2083 |
captured. For example: |
captured. For example: |
| 2084 |
.sp |
.sp |
| 2085 |
A(A|B(*ACCEPT)|C)D |
A(A|B(*ACCEPT)|C)D |
| 2086 |
.sp |
.sp |
| 2087 |
This matches "AB", "AAD", or "ACD", but when it matches "AB", no data is |
This matches "AB", "AAD", or "ACD", but when it matches "AB", no data is |
| 2088 |
captured. |
captured. |
| 2089 |
.sp |
.sp |
| 2090 |
(*FAIL) or (*F) |
(*FAIL) or (*F) |
| 2091 |
.sp |
.sp |
| 2092 |
This verb causes the match to fail, forcing backtracking to occur. It is |
This verb causes the match to fail, forcing backtracking to occur. It is |
| 2093 |
equivalent to (?!) but easier to read. The Perl documentation notes that it is |
equivalent to (?!) but easier to read. The Perl documentation notes that it is |
| 2094 |
probably useful only when combined with (?{}) or (??{}). Those are, of course, |
probably useful only when combined with (?{}) or (??{}). Those are, of course, |
| 2095 |
Perl features that are not present in PCRE. The nearest equivalent is the |
Perl features that are not present in PCRE. The nearest equivalent is the |
| 2097 |
.sp |
.sp |
| 2098 |
a+(?C)(*FAIL) |
a+(?C)(*FAIL) |
| 2099 |
.sp |
.sp |
| 2100 |
A match with the string "aaaa" always fails, but the callout is taken before |
A match with the string "aaaa" always fails, but the callout is taken before |
| 2101 |
each backtrack happens (in this example, 10 times). |
each backtrack happens (in this example, 10 times). |
| 2102 |
. |
. |
| 2103 |
.SS "Verbs that act after backtracking" |
.SS "Verbs that act after backtracking" |
| 2104 |
.rs |
.rs |
| 2105 |
.sp |
.sp |
| 2106 |
The following verbs do nothing when they are encountered. Matching continues |
The following verbs do nothing when they are encountered. Matching continues |
| 2107 |
with what follows, but if there is no subsequent match, a failure is forced. |
with what follows, but if there is no subsequent match, a failure is forced. |
| 2108 |
The verbs differ in exactly what kind of failure occurs. |
The verbs differ in exactly what kind of failure occurs. |
| 2109 |
.sp |
.sp |
| 2110 |
(*COMMIT) |
(*COMMIT) |
| 2111 |
.sp |
.sp |
| 2112 |
This verb causes the whole match to fail outright if the rest of the pattern |
This verb causes the whole match to fail outright if the rest of the pattern |
| 2113 |
does not match. Even if the pattern is unanchored, no further attempts to find |
does not match. Even if the pattern is unanchored, no further attempts to find |
| 2114 |
a match by advancing the start point take place. Once (*COMMIT) has been |
a match by advancing the start point take place. Once (*COMMIT) has been |
| 2115 |
passed, \fBpcre_exec()\fP is committed to finding a match at the current |
passed, \fBpcre_exec()\fP is committed to finding a match at the current |
| 2116 |
starting point, or not at all. For example: |
starting point, or not at all. For example: |
| 2117 |
.sp |
.sp |
| 2118 |
a+(*COMMIT)b |
a+(*COMMIT)b |
| 2119 |
.sp |
.sp |
| 2120 |
This matches "xxaab" but not "aacaab". It can be thought of as a kind of |
This matches "xxaab" but not "aacaab". It can be thought of as a kind of |
| 2121 |
dynamic anchor, or "I've started, so I must finish." |
dynamic anchor, or "I've started, so I must finish." |
| 2122 |
.sp |
.sp |
| 2123 |
(*PRUNE) |
(*PRUNE) |
| 2124 |
.sp |
.sp |
| 2125 |
This verb causes the match to fail at the current position if the rest of the |
This verb causes the match to fail at the current position if the rest of the |
| 2126 |
pattern does not match. If the pattern is unanchored, the normal "bumpalong" |
pattern does not match. If the pattern is unanchored, the normal "bumpalong" |
| 2127 |
advance to the next starting character then happens. Backtracking can occur as |
advance to the next starting character then happens. Backtracking can occur as |
| 2128 |
usual to the left of (*PRUNE), or when matching to the right of (*PRUNE), but |
usual to the left of (*PRUNE), or when matching to the right of (*PRUNE), but |
| 2129 |
if there is no match to the right, backtracking cannot cross (*PRUNE). |
if there is no match to the right, backtracking cannot cross (*PRUNE). |
| 2130 |
In simple cases, the use of (*PRUNE) is just an alternative to an atomic |
In simple cases, the use of (*PRUNE) is just an alternative to an atomic |
| 2131 |
group or possessive quantifier, but there are some uses of (*PRUNE) that cannot |
group or possessive quantifier, but there are some uses of (*PRUNE) that cannot |
| 2132 |
be expressed in any other way. |
be expressed in any other way. |
| 2133 |
.sp |
.sp |
| 2134 |
(*SKIP) |
(*SKIP) |
| 2135 |
.sp |
.sp |
| 2136 |
This verb is like (*PRUNE), except that if the pattern is unanchored, the |
This verb is like (*PRUNE), except that if the pattern is unanchored, the |
| 2137 |
"bumpalong" advance is not to the next character, but to the position in the |
"bumpalong" advance is not to the next character, but to the position in the |
| 2138 |
subject where (*SKIP) was encountered. (*SKIP) signifies that whatever text |
subject where (*SKIP) was encountered. (*SKIP) signifies that whatever text |
| 2139 |
was matched leading up to it cannot be part of a successful match. Consider: |
was matched leading up to it cannot be part of a successful match. Consider: |
| 2140 |
.sp |
.sp |
| 2141 |
a+(*SKIP)b |
a+(*SKIP)b |
| 2142 |
.sp |
.sp |
| 2143 |
If the subject is "aaaac...", after the first match attempt fails (starting at |
If the subject is "aaaac...", after the first match attempt fails (starting at |
| 2144 |
the first character in the string), the starting point skips on to start the |
the first character in the string), the starting point skips on to start the |
| 2145 |
next attempt at "c". Note that a possessive quantifer does not have the same |
next attempt at "c". Note that a possessive quantifer does not have the same |
| 2146 |
effect in this example; although it would suppress backtracking during the |
effect in this example; although it would suppress backtracking during the |
| 2147 |
first match attempt, the second attempt would start at the second character |
first match attempt, the second attempt would start at the second character |
| 2148 |
instead of skipping on to "c". |
instead of skipping on to "c". |
| 2149 |
.sp |
.sp |
| 2150 |
(*THEN) |
(*THEN) |
| 2151 |
.sp |
.sp |
| 2152 |
This verb causes a skip to the next alternation if the rest of the pattern does |
This verb causes a skip to the next alternation if the rest of the pattern does |
| 2153 |
not match. That is, it cancels pending backtracking, but only within the |
not match. That is, it cancels pending backtracking, but only within the |
| 2154 |
current alternation. Its name comes from the observation that it can be used |
current alternation. Its name comes from the observation that it can be used |
| 2156 |
.sp |
.sp |
| 2157 |
( COND1 (*THEN) FOO | COND2 (*THEN) BAR | COND3 (*THEN) BAZ ) ... |
( COND1 (*THEN) FOO | COND2 (*THEN) BAR | COND3 (*THEN) BAZ ) ... |
| 2158 |
.sp |
.sp |
| 2159 |
If the COND1 pattern matches, FOO is tried (and possibly further items after |
If the COND1 pattern matches, FOO is tried (and possibly further items after |
| 2160 |
the end of the group if FOO succeeds); on failure the matcher skips to the |
the end of the group if FOO succeeds); on failure the matcher skips to the |
| 2161 |
second alternative and tries COND2, without backtracking into COND1. If (*THEN) |
second alternative and tries COND2, without backtracking into COND1. If (*THEN) |
| 2162 |
is used outside of any alternation, it acts exactly like (*PRUNE). |
is used outside of any alternation, it acts exactly like (*PRUNE). |
| 2163 |
. |
. |
| 2164 |
. |
. |
| 2182 |
.rs |
.rs |
| 2183 |
.sp |
.sp |
| 2184 |
.nf |
.nf |
| 2185 |
Last updated: 08 August 2007 |
Last updated: 14 September 2007 |
| 2186 |
Copyright (c) 1997-2007 University of Cambridge. |
Copyright (c) 1997-2007 University of Cambridge. |
| 2187 |
.fi |
.fi |