blob: 968a23240c4e58c6805daf01e73297485f1b3c2e [file] [log] [blame]
Tristan Matthews04616462013-11-14 16:09:34 -05001.TH PCRETEST 1
2.SH NAME
3pcretest - a program for testing Perl-compatible regular expressions.
4.SH SYNOPSIS
5.rs
6.sp
7.B pcretest "[options] [input file [output file]]"
8.sp
9\fBpcretest\fP was written as a test program for the PCRE regular expression
10library itself, but it can also be used for experimenting with regular
11expressions. This document describes the features of the test program; for
12details of the regular expressions themselves, see the
13.\" HREF
14\fBpcrepattern\fP
15.\"
16documentation. For details of the PCRE library function calls and their
17options, see the
18.\" HREF
19\fBpcreapi\fP
20.\"
21documentation. The input for \fBpcretest\fP is a sequence of regular expression
22patterns and strings to be matched, as described below. The output shows the
23result of each match. Options on the command line and the patterns control PCRE
24options and exactly what is output.
25.
26.
27.SH COMMAND LINE OPTIONS
28.rs
29.TP 10
30\fB-b\fP
31Behave as if each pattern has the \fB/B\fP (show byte code) modifier; the
32internal form is output after compilation.
33.TP 10
34\fB-C\fP
35Output the version number of the PCRE library, and all available information
36about the optional features that are included, and then exit.
37.TP 10
38\fB-d\fP
39Behave as if each pattern has the \fB/D\fP (debug) modifier; the internal
40form and information about the compiled pattern is output after compilation;
41\fB-d\fP is equivalent to \fB-b -i\fP.
42.TP 10
43\fB-dfa\fP
44Behave as if each data line contains the \eD escape sequence; this causes the
45alternative matching function, \fBpcre_dfa_exec()\fP, to be used instead of the
46standard \fBpcre_exec()\fP function (more detail is given below).
47.TP 10
48\fB-help\fP
49Output a brief summary these options and then exit.
50.TP 10
51\fB-i\fP
52Behave as if each pattern has the \fB/I\fP modifier; information about the
53compiled pattern is given after compilation.
54.TP 10
55\fB-M\fP
56Behave as if each data line contains the \eM escape sequence; this causes
57PCRE to discover the minimum MATCH_LIMIT and MATCH_LIMIT_RECURSION settings by
58calling \fBpcre_exec()\fP repeatedly with different limits.
59.TP 10
60\fB-m\fP
61Output the size of each compiled pattern after it has been compiled. This is
62equivalent to adding \fB/M\fP to each regular expression.
63.TP 10
64\fB-o\fP \fIosize\fP
65Set the number of elements in the output vector that is used when calling
66\fBpcre_exec()\fP or \fBpcre_dfa_exec()\fP to be \fIosize\fP. The default value
67is 45, which is enough for 14 capturing subexpressions for \fBpcre_exec()\fP or
6822 different matches for \fBpcre_dfa_exec()\fP. The vector size can be
69changed for individual matching calls by including \eO in the data line (see
70below).
71.TP 10
72\fB-p\fP
73Behave as if each pattern has the \fB/P\fP modifier; the POSIX wrapper API is
74used to call PCRE. None of the other options has any effect when \fB-p\fP is
75set.
76.TP 10
77\fB-q\fP
78Do not output the version number of \fBpcretest\fP at the start of execution.
79.TP 10
80\fB-S\fP \fIsize\fP
81On Unix-like systems, set the size of the run-time stack to \fIsize\fP
82megabytes.
83.TP 10
84\fB-s\fP or \fB-s+\fP
85Behave as if each pattern has the \fB/S\fP modifier; in other words, force each
86pattern to be studied. If \fB-s+\fP is used, the PCRE_STUDY_JIT_COMPILE flag is
87passed to \fBpcre_study()\fP, causing just-in-time optimization to be set up if
88it is available. If the \fB/I\fP or \fB/D\fP option is present on a pattern
89(requesting output about the compiled pattern), information about the result of
90studying is not included when studying is caused only by \fB-s\fP and neither
91\fB-i\fP nor \fB-d\fP is present on the command line. This behaviour means that
92the output from tests that are run with and without \fB-s\fP should be
93identical, except when options that output information about the actual running
94of a match are set. The \fB-M\fP, \fB-t\fP, and \fB-tm\fP options, which give
95information about resources used, are likely to produce different output with
96and without \fB-s\fP. Output may also differ if the \fB/C\fP option is present
97on an individual pattern. This uses callouts to trace the the matching process,
98and this may be different between studied and non-studied patterns. If the
99pattern contains (*MARK) items there may also be differences, for the same
100reason. The \fB-s\fP command line option can be overridden for specific
101patterns that should never be studied (see the \fB/S\fP pattern modifier
102below).
103.TP 10
104\fB-t\fP
105Run each compile, study, and match many times with a timer, and output
106resulting time per compile or match (in milliseconds). Do not set \fB-m\fP with
107\fB-t\fP, because you will then get the size output a zillion times, and the
108timing will be distorted. You can control the number of iterations that are
109used for timing by following \fB-t\fP with a number (as a separate item on the
110command line). For example, "-t 1000" would iterate 1000 times. The default is
111to iterate 500000 times.
112.TP 10
113\fB-tm\fP
114This is like \fB-t\fP except that it times only the matching phase, not the
115compile or study phases.
116.
117.
118.SH DESCRIPTION
119.rs
120.sp
121If \fBpcretest\fP is given two filename arguments, it reads from the first and
122writes to the second. If it is given only one filename argument, it reads from
123that file and writes to stdout. Otherwise, it reads from stdin and writes to
124stdout, and prompts for each line of input, using "re>" to prompt for regular
125expressions, and "data>" to prompt for data lines.
126.P
127When \fBpcretest\fP is built, a configuration option can specify that it should
128be linked with the \fBlibreadline\fP library. When this is done, if the input
129is from a terminal, it is read using the \fBreadline()\fP function. This
130provides line-editing and history facilities. The output from the \fB-help\fP
131option states whether or not \fBreadline()\fP will be used.
132.P
133The program handles any number of sets of input on a single input file. Each
134set starts with a regular expression, and continues with any number of data
135lines to be matched against the pattern.
136.P
137Each data line is matched separately and independently. If you want to do
138multi-line matches, you have to use the \en escape sequence (or \er or \er\en,
139etc., depending on the newline setting) in a single line of input to encode the
140newline sequences. There is no limit on the length of data lines; the input
141buffer is automatically extended if it is too small.
142.P
143An empty line signals the end of the data lines, at which point a new regular
144expression is read. The regular expressions are given enclosed in any
145non-alphanumeric delimiters other than backslash, for example:
146.sp
147 /(a|bc)x+yz/
148.sp
149White space before the initial delimiter is ignored. A regular expression may
150be continued over several input lines, in which case the newline characters are
151included within it. It is possible to include the delimiter within the pattern
152by escaping it, for example
153.sp
154 /abc\e/def/
155.sp
156If you do so, the escape and the delimiter form part of the pattern, but since
157delimiters are always non-alphanumeric, this does not affect its interpretation.
158If the terminating delimiter is immediately followed by a backslash, for
159example,
160.sp
161 /abc/\e
162.sp
163then a backslash is added to the end of the pattern. This is done to provide a
164way of testing the error condition that arises if a pattern finishes with a
165backslash, because
166.sp
167 /abc\e/
168.sp
169is interpreted as the first line of a pattern that starts with "abc/", causing
170pcretest to read the next line as a continuation of the regular expression.
171.
172.
173.SH "PATTERN MODIFIERS"
174.rs
175.sp
176A pattern may be followed by any number of modifiers, which are mostly single
177characters. Following Perl usage, these are referred to below as, for example,
178"the \fB/i\fP modifier", even though the delimiter of the pattern need not
179always be a slash, and no slash is used when writing modifiers. White space may
180appear between the final pattern delimiter and the first modifier, and between
181the modifiers themselves.
182.P
183The \fB/i\fP, \fB/m\fP, \fB/s\fP, and \fB/x\fP modifiers set the PCRE_CASELESS,
184PCRE_MULTILINE, PCRE_DOTALL, or PCRE_EXTENDED options, respectively, when
185\fBpcre_compile()\fP is called. These four modifier letters have the same
186effect as they do in Perl. For example:
187.sp
188 /caseless/i
189.sp
190The following table shows additional modifiers for setting PCRE compile-time
191options that do not correspond to anything in Perl:
192.sp
193 \fB/8\fP PCRE_UTF8
194 \fB/?\fP PCRE_NO_UTF8_CHECK
195 \fB/A\fP PCRE_ANCHORED
196 \fB/C\fP PCRE_AUTO_CALLOUT
197 \fB/E\fP PCRE_DOLLAR_ENDONLY
198 \fB/f\fP PCRE_FIRSTLINE
199 \fB/J\fP PCRE_DUPNAMES
200 \fB/N\fP PCRE_NO_AUTO_CAPTURE
201 \fB/U\fP PCRE_UNGREEDY
202 \fB/W\fP PCRE_UCP
203 \fB/X\fP PCRE_EXTRA
204 \fB/Y\fP PCRE_NO_START_OPTIMIZE
205 \fB/<JS>\fP PCRE_JAVASCRIPT_COMPAT
206 \fB/<cr>\fP PCRE_NEWLINE_CR
207 \fB/<lf>\fP PCRE_NEWLINE_LF
208 \fB/<crlf>\fP PCRE_NEWLINE_CRLF
209 \fB/<anycrlf>\fP PCRE_NEWLINE_ANYCRLF
210 \fB/<any>\fP PCRE_NEWLINE_ANY
211 \fB/<bsr_anycrlf>\fP PCRE_BSR_ANYCRLF
212 \fB/<bsr_unicode>\fP PCRE_BSR_UNICODE
213.sp
214The modifiers that are enclosed in angle brackets are literal strings as shown,
215including the angle brackets, but the letters within can be in either case.
216This example sets multiline matching with CRLF as the line ending sequence:
217.sp
218 /^abc/m<CRLF>
219.sp
220As well as turning on the PCRE_UTF8 option, the \fB/8\fP modifier also causes
221any non-printing characters in output strings to be printed using the
222\ex{hh...} notation if they are valid UTF-8 sequences. Full details of the PCRE
223options are given in the
224.\" HREF
225\fBpcreapi\fP
226.\"
227documentation.
228.
229.
230.SS "Finding all matches in a string"
231.rs
232.sp
233Searching for all possible matches within each subject string can be requested
234by the \fB/g\fP or \fB/G\fP modifier. After finding a match, PCRE is called
235again to search the remainder of the subject string. The difference between
236\fB/g\fP and \fB/G\fP is that the former uses the \fIstartoffset\fP argument to
237\fBpcre_exec()\fP to start searching at a new point within the entire string
238(which is in effect what Perl does), whereas the latter passes over a shortened
239substring. This makes a difference to the matching process if the pattern
240begins with a lookbehind assertion (including \eb or \eB).
241.P
242If any call to \fBpcre_exec()\fP in a \fB/g\fP or \fB/G\fP sequence matches an
243empty string, the next call is done with the PCRE_NOTEMPTY_ATSTART and
244PCRE_ANCHORED flags set in order to search for another, non-empty, match at the
245same point. If this second match fails, the start offset is advanced, and the
246normal match is retried. This imitates the way Perl handles such cases when
247using the \fB/g\fP modifier or the \fBsplit()\fP function. Normally, the start
248offset is advanced by one character, but if the newline convention recognizes
249CRLF as a newline, and the current character is CR followed by LF, an advance
250of two is used.
251.
252.
253.SS "Other modifiers"
254.rs
255.sp
256There are yet more modifiers for controlling the way \fBpcretest\fP
257operates.
258.P
259The \fB/+\fP modifier requests that as well as outputting the substring that
260matched the entire pattern, \fBpcretest\fP should in addition output the
261remainder of the subject string. This is useful for tests where the subject
262contains multiple copies of the same substring. If the \fB+\fP modifier appears
263twice, the same action is taken for captured substrings. In each case the
264remainder is output on the following line with a plus character following the
265capture number. Note that this modifier must not immediately follow the /S
266modifier because /S+ has another meaning.
267.P
268The \fB/=\fP modifier requests that the values of all potential captured
269parentheses be output after a match by \fBpcre_exec()\fP. By default, only
270those up to the highest one actually used in the match are output
271(corresponding to the return code from \fBpcre_exec()\fP). Values in the
272offsets vector corresponding to higher numbers should be set to -1, and these
273are output as "<unset>". This modifier gives a way of checking that this is
274happening.
275.P
276The \fB/B\fP modifier is a debugging feature. It requests that \fBpcretest\fP
277output a representation of the compiled byte code after compilation. Normally
278this information contains length and offset values; however, if \fB/Z\fP is
279also present, this data is replaced by spaces. This is a special feature for
280use in the automatic test scripts; it ensures that the same output is generated
281for different internal link sizes.
282.P
283The \fB/D\fP modifier is a PCRE debugging feature, and is equivalent to
284\fB/BI\fP, that is, both the \fB/B\fP and the \fB/I\fP modifiers.
285.P
286The \fB/F\fP modifier causes \fBpcretest\fP to flip the byte order of the
287fields in the compiled pattern that contain 2-byte and 4-byte numbers. This
288facility is for testing the feature in PCRE that allows it to execute patterns
289that were compiled on a host with a different endianness. This feature is not
290available when the POSIX interface to PCRE is being used, that is, when the
291\fB/P\fP pattern modifier is specified. See also the section about saving and
292reloading compiled patterns below.
293.P
294The \fB/I\fP modifier requests that \fBpcretest\fP output information about the
295compiled pattern (whether it is anchored, has a fixed first character, and
296so on). It does this by calling \fBpcre_fullinfo()\fP after compiling a
297pattern. If the pattern is studied, the results of that are also output.
298.P
299The \fB/K\fP modifier requests \fBpcretest\fP to show names from backtracking
300control verbs that are returned from calls to \fBpcre_exec()\fP. It causes
301\fBpcretest\fP to create a \fBpcre_extra\fP block if one has not already been
302created by a call to \fBpcre_study()\fP, and to set the PCRE_EXTRA_MARK flag
303and the \fBmark\fP field within it, every time that \fBpcre_exec()\fP is
304called. If the variable that the \fBmark\fP field points to is non-NULL for a
305match, non-match, or partial match, \fBpcretest\fP prints the string to which
306it points. For a match, this is shown on a line by itself, tagged with "MK:".
307For a non-match it is added to the message.
308.P
309The \fB/L\fP modifier must be followed directly by the name of a locale, for
310example,
311.sp
312 /pattern/Lfr_FR
313.sp
314For this reason, it must be the last modifier. The given locale is set,
315\fBpcre_maketables()\fP is called to build a set of character tables for the
316locale, and this is then passed to \fBpcre_compile()\fP when compiling the
317regular expression. Without an \fB/L\fP (or \fB/T\fP) modifier, NULL is passed
318as the tables pointer; that is, \fB/L\fP applies only to the expression on
319which it appears.
320.P
321The \fB/M\fP modifier causes the size of memory block used to hold the compiled
322pattern to be output. This does not include the size of the \fBpcre\fP block;
323it is just the actual compiled data. If the pattern is successfully studied
324with the PCRE_STUDY_JIT_COMPILE option, the size of the JIT compiled code is
325also output.
326.P
327If the \fB/S\fP modifier appears once, it causes \fBpcre_study()\fP to be
328called after the expression has been compiled, and the results used when the
329expression is matched. If \fB/S\fP appears twice, it suppresses studying, even
330if it was requested externally by the \fB-s\fP command line option. This makes
331it possible to specify that certain patterns are always studied, and others are
332never studied, independently of \fB-s\fP. This feature is used in the test
333files in a few cases where the output is different when the pattern is studied.
334.P
335If the \fB/S\fP modifier is immediately followed by a + character, the call to
336\fBpcre_study()\fP is made with the PCRE_STUDY_JIT_COMPILE option, requesting
337just-in-time optimization support if it is available. Note that there is also a
338\fB/+\fP modifier; it must not be given immediately after \fB/S\fP because this
339will be misinterpreted. If JIT studying is successful, it will automatically be
340used when \fBpcre_exec()\fP is run, except when incompatible run-time options
341are specified. These include the partial matching options; a complete list is
342given in the
343.\" HREF
344\fBpcrejit\fP
345.\"
346documentation. See also the \fB\eJ\fP escape sequence below for a way of
347setting the size of the JIT stack.
348.P
349The \fB/T\fP modifier must be followed by a single digit. It causes a specific
350set of built-in character tables to be passed to \fBpcre_compile()\fP. It is
351used in the standard PCRE tests to check behaviour with different character
352tables. The digit specifies the tables as follows:
353.sp
354 0 the default ASCII tables, as distributed in
355 pcre_chartables.c.dist
356 1 a set of tables defining ISO 8859 characters
357.sp
358In table 1, some characters whose codes are greater than 128 are identified as
359letters, digits, spaces, etc.
360.
361.
362.SS "Using the POSIX wrapper API"
363.rs
364.sp
365The \fB/P\fP modifier causes \fBpcretest\fP to call PCRE via the POSIX wrapper
366API rather than its native API. When \fB/P\fP is set, the following modifiers
367set options for the \fBregcomp()\fP function:
368.sp
369 /i REG_ICASE
370 /m REG_NEWLINE
371 /N REG_NOSUB
372 /s REG_DOTALL )
373 /U REG_UNGREEDY ) These options are not part of
374 /W REG_UCP ) the POSIX standard
375 /8 REG_UTF8 )
376.sp
377The \fB/+\fP modifier works as described above. All other modifiers are
378ignored.
379.
380.
381.SH "DATA LINES"
382.rs
383.sp
384Before each data line is passed to \fBpcre_exec()\fP, leading and trailing
385white space is removed, and it is then scanned for \e escapes. Some of these
386are pretty esoteric features, intended for checking out some of the more
387complicated features of PCRE. If you are just testing "ordinary" regular
388expressions, you probably don't need any of these. The following escapes are
389recognized:
390.sp
391 \ea alarm (BEL, \ex07)
392 \eb backspace (\ex08)
393 \ee escape (\ex27)
394 \ef form feed (\ex0c)
395 \en newline (\ex0a)
396.\" JOIN
397 \eqdd set the PCRE_MATCH_LIMIT limit to dd
398 (any number of digits)
399 \er carriage return (\ex0d)
400 \et tab (\ex09)
401 \ev vertical tab (\ex0b)
402 \ennn octal character (up to 3 octal digits)
403 always a byte unless > 255 in UTF-8 mode
404 \exhh hexadecimal byte (up to 2 hex digits)
405.\" JOIN
406 \ex{hh...} hexadecimal character, any number of digits
407 in UTF-8 mode
408.\" JOIN
409 \eA pass the PCRE_ANCHORED option to \fBpcre_exec()\fP
410 or \fBpcre_dfa_exec()\fP
411.\" JOIN
412 \eB pass the PCRE_NOTBOL option to \fBpcre_exec()\fP
413 or \fBpcre_dfa_exec()\fP
414.\" JOIN
415 \eCdd call pcre_copy_substring() for substring dd
416 after a successful match (number less than 32)
417.\" JOIN
418 \eCname call pcre_copy_named_substring() for substring
419 "name" after a successful match (name termin-
420 ated by next non alphanumeric character)
421.\" JOIN
422 \eC+ show the current captured substrings at callout
423 time
424 \eC- do not supply a callout function
425.\" JOIN
426 \eC!n return 1 instead of 0 when callout number n is
427 reached
428.\" JOIN
429 \eC!n!m return 1 instead of 0 when callout number n is
430 reached for the nth time
431.\" JOIN
432 \eC*n pass the number n (may be negative) as callout
433 data; this is used as the callout return value
434 \eD use the \fBpcre_dfa_exec()\fP match function
435 \eF only shortest match for \fBpcre_dfa_exec()\fP
436.\" JOIN
437 \eGdd call pcre_get_substring() for substring dd
438 after a successful match (number less than 32)
439.\" JOIN
440 \eGname call pcre_get_named_substring() for substring
441 "name" after a successful match (name termin-
442 ated by next non-alphanumeric character)
443.\" JOIN
444 \eJdd set up a JIT stack of dd kilobytes maximum (any
445 number of digits)
446.\" JOIN
447 \eL call pcre_get_substringlist() after a
448 successful match
449.\" JOIN
450 \eM discover the minimum MATCH_LIMIT and
451 MATCH_LIMIT_RECURSION settings
452.\" JOIN
453 \eN pass the PCRE_NOTEMPTY option to \fBpcre_exec()\fP
454 or \fBpcre_dfa_exec()\fP; if used twice, pass the
455 PCRE_NOTEMPTY_ATSTART option
456.\" JOIN
457 \eOdd set the size of the output vector passed to
458 \fBpcre_exec()\fP to dd (any number of digits)
459.\" JOIN
460 \eP pass the PCRE_PARTIAL_SOFT option to \fBpcre_exec()\fP
461 or \fBpcre_dfa_exec()\fP; if used twice, pass the
462 PCRE_PARTIAL_HARD option
463.\" JOIN
464 \eQdd set the PCRE_MATCH_LIMIT_RECURSION limit to dd
465 (any number of digits)
466 \eR pass the PCRE_DFA_RESTART option to \fBpcre_dfa_exec()\fP
467 \eS output details of memory get/free calls during matching
468.\" JOIN
469 \eY pass the PCRE_NO_START_OPTIMIZE option to \fBpcre_exec()\fP
470 or \fBpcre_dfa_exec()\fP
471.\" JOIN
472 \eZ pass the PCRE_NOTEOL option to \fBpcre_exec()\fP
473 or \fBpcre_dfa_exec()\fP
474.\" JOIN
475 \e? pass the PCRE_NO_UTF8_CHECK option to
476 \fBpcre_exec()\fP or \fBpcre_dfa_exec()\fP
477.\" JOIN
478 \e>dd start the match at offset dd (optional "-"; then
479 any number of digits); this sets the \fIstartoffset\fP
480 argument for \fBpcre_exec()\fP or \fBpcre_dfa_exec()\fP
481.\" JOIN
482 \e<cr> pass the PCRE_NEWLINE_CR option to \fBpcre_exec()\fP
483 or \fBpcre_dfa_exec()\fP
484.\" JOIN
485 \e<lf> pass the PCRE_NEWLINE_LF option to \fBpcre_exec()\fP
486 or \fBpcre_dfa_exec()\fP
487.\" JOIN
488 \e<crlf> pass the PCRE_NEWLINE_CRLF option to \fBpcre_exec()\fP
489 or \fBpcre_dfa_exec()\fP
490.\" JOIN
491 \e<anycrlf> pass the PCRE_NEWLINE_ANYCRLF option to \fBpcre_exec()\fP
492 or \fBpcre_dfa_exec()\fP
493.\" JOIN
494 \e<any> pass the PCRE_NEWLINE_ANY option to \fBpcre_exec()\fP
495 or \fBpcre_dfa_exec()\fP
496.sp
497Note that \exhh always specifies one byte, even in UTF-8 mode; this makes it
498possible to construct invalid UTF-8 sequences for testing purposes. On the
499other hand, \ex{hh} is interpreted as a UTF-8 character in UTF-8 mode,
500generating more than one byte if the value is greater than 127. When not in
501UTF-8 mode, it generates one byte for values less than 256, and causes an error
502for greater values.
503.P
504The escapes that specify line ending sequences are literal strings, exactly as
505shown. No more than one newline setting should be present in any data line.
506.P
507A backslash followed by anything else just escapes the anything else. If
508the very last character is a backslash, it is ignored. This gives a way of
509passing an empty line as data, since a real empty line terminates the data
510input.
511.P
512The \fB\eJ\fP escape provides a way of setting the maximum stack size that is
513used by the just-in-time optimization code. It is ignored if JIT optimization
514is not being used. Providing a stack that is larger than the default 32K is
515necessary only for very complicated patterns.
516.P
517If \eM is present, \fBpcretest\fP calls \fBpcre_exec()\fP several times, with
518different values in the \fImatch_limit\fP and \fImatch_limit_recursion\fP
519fields of the \fBpcre_extra\fP data structure, until it finds the minimum
520numbers for each parameter that allow \fBpcre_exec()\fP to complete without
521error. Because this is testing a specific feature of the normal interpretive
522\fBpcre_exec()\fP execution, the use of any JIT optimization that might have
523been set up by the \fB/S+\fP qualifier of \fB-s+\fP option is disabled.
524.P
525The \fImatch_limit\fP number is a measure of the amount of backtracking
526that takes place, and checking it out can be instructive. For most simple
527matches, the number is quite small, but for patterns with very large numbers of
528matching possibilities, it can become large very quickly with increasing length
529of subject string. The \fImatch_limit_recursion\fP number is a measure of how
530much stack (or, if PCRE is compiled with NO_RECURSE, how much heap) memory is
531needed to complete the match attempt.
532.P
533When \eO is used, the value specified may be higher or lower than the size set
534by the \fB-O\fP command line option (or defaulted to 45); \eO applies only to
535the call of \fBpcre_exec()\fP for the line in which it appears.
536.P
537If the \fB/P\fP modifier was present on the pattern, causing the POSIX wrapper
538API to be used, the only option-setting sequences that have any effect are \eB,
539\eN, and \eZ, causing REG_NOTBOL, REG_NOTEMPTY, and REG_NOTEOL, respectively,
540to be passed to \fBregexec()\fP.
541.P
542The use of \ex{hh...} to represent UTF-8 characters is not dependent on the use
543of the \fB/8\fP modifier on the pattern. It is recognized always. There may be
544any number of hexadecimal digits inside the braces. The result is from one to
545six bytes, encoded according to the original UTF-8 rules of RFC 2279. This
546allows for values in the range 0 to 0x7FFFFFFF. Note that not all of those are
547valid Unicode code points, or indeed valid UTF-8 characters according to the
548later rules in RFC 3629.
549.
550.
551.SH "THE ALTERNATIVE MATCHING FUNCTION"
552.rs
553.sp
554By default, \fBpcretest\fP uses the standard PCRE matching function,
555\fBpcre_exec()\fP to match each data line. From release 6.0, PCRE supports an
556alternative matching function, \fBpcre_dfa_test()\fP, which operates in a
557different way, and has some restrictions. The differences between the two
558functions are described in the
559.\" HREF
560\fBpcrematching\fP
561.\"
562documentation.
563.P
564If a data line contains the \eD escape sequence, or if the command line
565contains the \fB-dfa\fP option, the alternative matching function is called.
566This function finds all possible matches at a given point. If, however, the \eF
567escape sequence is present in the data line, it stops after the first match is
568found. This is always the shortest possible match.
569.
570.
571.SH "DEFAULT OUTPUT FROM PCRETEST"
572.rs
573.sp
574This section describes the output when the normal matching function,
575\fBpcre_exec()\fP, is being used.
576.P
577When a match succeeds, \fBpcretest\fP outputs the list of captured substrings
578that \fBpcre_exec()\fP returns, starting with number 0 for the string that
579matched the whole pattern. Otherwise, it outputs "No match" when the return is
580PCRE_ERROR_NOMATCH, and "Partial match:" followed by the partially matching
581substring when \fBpcre_exec()\fP returns PCRE_ERROR_PARTIAL. (Note that this is
582the entire substring that was inspected during the partial match; it may
583include characters before the actual match start if a lookbehind assertion,
584\eK, \eb, or \eB was involved.) For any other return, \fBpcretest\fP outputs
585the PCRE negative error number and a short descriptive phrase. If the error is
586a failed UTF-8 string check, the byte offset of the start of the failing
587character and the reason code are also output, provided that the size of the
588output vector is at least two. Here is an example of an interactive
589\fBpcretest\fP run.
590.sp
591 $ pcretest
592 PCRE version 8.13 2011-04-30
593.sp
594 re> /^abc(\ed+)/
595 data> abc123
596 0: abc123
597 1: 123
598 data> xyz
599 No match
600.sp
601Unset capturing substrings that are not followed by one that is set are not
602returned by \fBpcre_exec()\fP, and are not shown by \fBpcretest\fP. In the
603following example, there are two capturing substrings, but when the first data
604line is matched, the second, unset substring is not shown. An "internal" unset
605substring is shown as "<unset>", as for the second data line.
606.sp
607 re> /(a)|(b)/
608 data> a
609 0: a
610 1: a
611 data> b
612 0: b
613 1: <unset>
614 2: b
615.sp
616If the strings contain any non-printing characters, they are output as \e0x
617escapes, or as \ex{...} escapes if the \fB/8\fP modifier was present on the
618pattern. See below for the definition of non-printing characters. If the
619pattern has the \fB/+\fP modifier, the output for substring 0 is followed by
620the the rest of the subject string, identified by "0+" like this:
621.sp
622 re> /cat/+
623 data> cataract
624 0: cat
625 0+ aract
626.sp
627If the pattern has the \fB/g\fP or \fB/G\fP modifier, the results of successive
628matching attempts are output in sequence, like this:
629.sp
630 re> /\eBi(\ew\ew)/g
631 data> Mississippi
632 0: iss
633 1: ss
634 0: iss
635 1: ss
636 0: ipp
637 1: pp
638.sp
639"No match" is output only if the first match attempt fails. Here is an example
640of a failure message (the offset 4 that is specified by \e>4 is past the end of
641the subject string):
642.sp
643 re> /xyz/
644 data> xyz\e>4
645 Error -24 (bad offset value)
646.P
647If any of the sequences \fB\eC\fP, \fB\eG\fP, or \fB\eL\fP are present in a
648data line that is successfully matched, the substrings extracted by the
649convenience functions are output with C, G, or L after the string number
650instead of a colon. This is in addition to the normal full list. The string
651length (that is, the return from the extraction function) is given in
652parentheses after each string for \fB\eC\fP and \fB\eG\fP.
653.P
654Note that whereas patterns can be continued over several lines (a plain ">"
655prompt is used for continuations), data lines may not. However newlines can be
656included in data by means of the \en escape (or \er, \er\en, etc., depending on
657the newline sequence setting).
658.
659.
660.
661.SH "OUTPUT FROM THE ALTERNATIVE MATCHING FUNCTION"
662.rs
663.sp
664When the alternative matching function, \fBpcre_dfa_exec()\fP, is used (by
665means of the \eD escape sequence or the \fB-dfa\fP command line option), the
666output consists of a list of all the matches that start at the first point in
667the subject where there is at least one match. For example:
668.sp
669 re> /(tang|tangerine|tan)/
670 data> yellow tangerine\eD
671 0: tangerine
672 1: tang
673 2: tan
674.sp
675(Using the normal matching function on this data finds only "tang".) The
676longest matching string is always given first (and numbered zero). After a
677PCRE_ERROR_PARTIAL return, the output is "Partial match:", followed by the
678partially matching substring. (Note that this is the entire substring that was
679inspected during the partial match; it may include characters before the actual
680match start if a lookbehind assertion, \eK, \eb, or \eB was involved.)
681.P
682If \fB/g\fP is present on the pattern, the search for further matches resumes
683at the end of the longest match. For example:
684.sp
685 re> /(tang|tangerine|tan)/g
686 data> yellow tangerine and tangy sultana\eD
687 0: tangerine
688 1: tang
689 2: tan
690 0: tang
691 1: tan
692 0: tan
693.sp
694Since the matching function does not support substring capture, the escape
695sequences that are concerned with captured substrings are not relevant.
696.
697.
698.SH "RESTARTING AFTER A PARTIAL MATCH"
699.rs
700.sp
701When the alternative matching function has given the PCRE_ERROR_PARTIAL return,
702indicating that the subject partially matched the pattern, you can restart the
703match with additional subject data by means of the \eR escape sequence. For
704example:
705.sp
706 re> /^\ed?\ed(jan|feb|mar|apr|may|jun|jul|aug|sep|oct|nov|dec)\ed\ed$/
707 data> 23ja\eP\eD
708 Partial match: 23ja
709 data> n05\eR\eD
710 0: n05
711.sp
712For further information about partial matching, see the
713.\" HREF
714\fBpcrepartial\fP
715.\"
716documentation.
717.
718.
719.SH CALLOUTS
720.rs
721.sp
722If the pattern contains any callout requests, \fBpcretest\fP's callout function
723is called during matching. This works with both matching functions. By default,
724the called function displays the callout number, the start and current
725positions in the text at the callout time, and the next pattern item to be
726tested. For example, the output
727.sp
728 --->pqrabcdef
729 0 ^ ^ \ed
730.sp
731indicates that callout number 0 occurred for a match attempt starting at the
732fourth character of the subject string, when the pointer was at the seventh
733character of the data, and when the next pattern item was \ed. Just one
734circumflex is output if the start and current positions are the same.
735.P
736Callouts numbered 255 are assumed to be automatic callouts, inserted as a
737result of the \fB/C\fP pattern modifier. In this case, instead of showing the
738callout number, the offset in the pattern, preceded by a plus, is output. For
739example:
740.sp
741 re> /\ed?[A-E]\e*/C
742 data> E*
743 --->E*
744 +0 ^ \ed?
745 +3 ^ [A-E]
746 +8 ^^ \e*
747 +10 ^ ^
748 0: E*
749.sp
750If a pattern contains (*MARK) items, an additional line is output whenever
751a change of latest mark is passed to the callout function. For example:
752.sp
753 re> /a(*MARK:X)bc/C
754 data> abc
755 --->abc
756 +0 ^ a
757 +1 ^^ (*MARK:X)
758 +10 ^^ b
759 Latest Mark: X
760 +11 ^ ^ c
761 +12 ^ ^
762 0: abc
763.sp
764The mark changes between matching "a" and "b", but stays the same for the rest
765of the match, so nothing more is output. If, as a result of backtracking, the
766mark reverts to being unset, the text "<unset>" is output.
767.P
768The callout function in \fBpcretest\fP returns zero (carry on matching) by
769default, but you can use a \eC item in a data line (as described above) to
770change this and other parameters of the callout.
771.P
772Inserting callouts can be helpful when using \fBpcretest\fP to check
773complicated regular expressions. For further information about callouts, see
774the
775.\" HREF
776\fBpcrecallout\fP
777.\"
778documentation.
779.
780.
781.
782.SH "NON-PRINTING CHARACTERS"
783.rs
784.sp
785When \fBpcretest\fP is outputting text in the compiled version of a pattern,
786bytes other than 32-126 are always treated as non-printing characters are are
787therefore shown as hex escapes.
788.P
789When \fBpcretest\fP is outputting text that is a matched part of a subject
790string, it behaves in the same way, unless a different locale has been set for
791the pattern (using the \fB/L\fP modifier). In this case, the \fBisprint()\fP
792function to distinguish printing and non-printing characters.
793.
794.
795.
796.SH "SAVING AND RELOADING COMPILED PATTERNS"
797.rs
798.sp
799The facilities described in this section are not available when the POSIX
800interface to PCRE is being used, that is, when the \fB/P\fP pattern modifier is
801specified.
802.P
803When the POSIX interface is not in use, you can cause \fBpcretest\fP to write a
804compiled pattern to a file, by following the modifiers with > and a file name.
805For example:
806.sp
807 /pattern/im >/some/file
808.sp
809See the
810.\" HREF
811\fBpcreprecompile\fP
812.\"
813documentation for a discussion about saving and re-using compiled patterns.
814Note that if the pattern was successfully studied with JIT optimization, the
815JIT data cannot be saved.
816.P
817The data that is written is binary. The first eight bytes are the length of the
818compiled pattern data followed by the length of the optional study data, each
819written as four bytes in big-endian order (most significant byte first). If
820there is no study data (either the pattern was not studied, or studying did not
821return any data), the second length is zero. The lengths are followed by an
822exact copy of the compiled pattern. If there is additional study data, this
823(excluding any JIT data) follows immediately after the compiled pattern. After
824writing the file, \fBpcretest\fP expects to read a new pattern.
825.P
826A saved pattern can be reloaded into \fBpcretest\fP by specifying < and a file
827name instead of a pattern. The name of the file must not contain a < character,
828as otherwise \fBpcretest\fP will interpret the line as a pattern delimited by <
829characters.
830For example:
831.sp
832 re> </some/file
833 Compiled pattern loaded from /some/file
834 No study data
835.sp
836If the pattern was previously studied with the JIT optimization, the JIT
837information cannot be saved and restored, and so is lost. When the pattern has
838been loaded, \fBpcretest\fP proceeds to read data lines in the usual way.
839.P
840You can copy a file written by \fBpcretest\fP to a different host and reload it
841there, even if the new host has opposite endianness to the one on which the
842pattern was compiled. For example, you can compile on an i86 machine and run on
843a SPARC machine.
844.P
845File names for saving and reloading can be absolute or relative, but note that
846the shell facility of expanding a file name that starts with a tilde (~) is not
847available.
848.P
849The ability to save and reload files in \fBpcretest\fP is intended for testing
850and experimentation. It is not intended for production use because only a
851single pattern can be written to a file. Furthermore, there is no facility for
852supplying custom character tables for use with a reloaded pattern. If the
853original pattern was compiled with custom tables, an attempt to match a subject
854string using a reloaded pattern is likely to cause \fBpcretest\fP to crash.
855Finally, if you attempt to load a file that is not in the correct format, the
856result is undefined.
857.
858.
859.SH "SEE ALSO"
860.rs
861.sp
862\fBpcre\fP(3), \fBpcreapi\fP(3), \fBpcrecallout\fP(3), \fBpcrejit\fP,
863\fBpcrematching\fP(3), \fBpcrepartial\fP(d), \fBpcrepattern\fP(3),
864\fBpcreprecompile\fP(3).
865.
866.
867.SH AUTHOR
868.rs
869.sp
870.nf
871Philip Hazel
872University Computing Service
873Cambridge CB2 3QH, England.
874.fi
875.
876.
877.SH REVISION
878.rs
879.sp
880.nf
881Last updated: 02 December 2011
882Copyright (c) 1997-2011 University of Cambridge.
883.fi