pcretest.txt 53 KB

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