Regex processing: Difference between revisions

From m204wiki
Jump to navigation Jump to search
Line 377: Line 377:
The following regex matches <code>A9</code>, <code>B9</code>, and <code>9</code>,
The following regex matches <code>A9</code>, <code>B9</code>, and <code>9</code>,
capturing respectively <code>A</code>, <code>B</code>, and the null string:
capturing respectively <code>A</code>, <code>B</code>, and the null string:
<pre style="xmp">
<p class="code">(A|B|)9
    (A|B|)9
</p>
</pre>
An empty alternative (like the <code>|</code>, above, that is followed only
An empty alternative (like the <code>|</code>, above, that is followed only
by the closing parenthesis) is always True.
by the closing parenthesis) is always True.
'''Note:'''
<blockquote class="note">
<p>'''Note:'''
Sirius and Perl make a special case of a regex that has
Sirius and Perl make a special case of a regex that has
an empty alternative on the left (or anywhere but at the right end).
an empty alternative on the left (or anywhere but at the right end).
You might think that such an &ldquo;always true&rdquo; alternative gets selected
You might think that such an "always true" alternative gets selected
before, and thereby prevents the evaluation of, the alternatives to its right.
before, and thereby prevents the evaluation of, the alternatives to its right.
However, in such a regex, this empty alternative is evaluated as the last
However, in such a regex, this empty alternative is evaluated as the last
alternative instead of according to its actual position.
alternative instead of according to its actual position. </p>
<p>
For example,
For example,
the regex <code>(|A|B)9</code> matches each of the
the regex <code>(|A|B)9</code> matches each of the
Line 396: Line 396:
implicitly postponed until the other alternatives are tried,
implicitly postponed until the other alternatives are tried,
the <code>(|A|B)</code> group captures,
the <code>(|A|B)</code> group captures,
respectively, <code>A</code>, <code>B</code>, and the null string.
respectively, <code>A</code>, <code>B</code>, and the null string.</p>
</blockquote>
 
===Features that affect the whole expression===
===Features that affect the whole expression===
====Unicode====
====Unicode====

Revision as of 19:23, 17 April 2014

As of version 6.9, the Sirius Mods includes support for regular expression (“regex”) processing in multiple $functions and Janus SOAP methods. This support is modeled closely on Perl's regular expression implementation.

Overview

Sirius $functions and methods offer the following variety of tasks you can accomplish using a regex.

  • Simple matching:
    • You can determine whether and where a single regex pattern matches within a single input string. See the RegexMatch intrinsic String function.
    • You can apply a single regex to a Stringlist to find one item. See the RegexLocate and RegexLocateUp Stringlist functions.
    • You can apply a single regex to a Stringlist to find all matching items and place them on a Stringlist. See the RegexSubset Stringlist function.
  • Capturing:
    • You can append to a Stringlist the characters in an input string that are matched by regex capturing groups. See the RegexCapture Stringlist function.
  • Searching and replacing:
    • You can replace the matched characters in a single input string with a specified string, one or many times. See the RegexReplace intrinsic String function.
    • You can find the characters in a single string that are matched by one of a set (Stringlist) of regexes, and replace the matched characters with a string from a corresponding set (Stringlist). See the RegexReplaceCorresponding Stringlist function.
  • Splitting:
    • You can use a regex repeatedly to separate a given input string into the substrings that are matched by the regex and the substrings that are not matched, and append to a Stringlist either or both of these sets of substrings (in combination or not with the subset of matched substrings that are captured. See the RegexSplit Stringlist function. and RegexSplit intrinsic String function.

Many tools implement regular expressions, each with its own variation of supported features. The following sections describe the Sirius regex support.

Distinction from SOUL Is Like pattern matching

The use of Regex processing conforms to the common matching processing provided in contemporary languages such as Perl, PHP, Python, Java, and so on. In addition to this, several constructs in SOUL, such as the Find and If statements, provide a pattern matching construct using an Is Like clause. The rules for Is Like are discussed in the syntax for Is like patterns.

Regex rules

When a regular expression is said to “match a string,” what is meant is that a substring of characters within the string fit (are matched by) the pattern specified by the regex. The “rules” observed by Sirius for regex formation and matching are primarily those followed by the Perl programing language (as described, for example, in Programming Perl, by Larry Wall et al, published by O'Reilly Media, Inc.; 3rd edition, July 14, 2000). An additional reference is Mastering Regular Expressions, by Jeffrey E. F. Friedl, published by O'Reilly Media, Inc. (2nd edition, July 15, 2002). In terms of the type of regex engine described in this book, the Sirius regex processing is considered NFA (not DFA, and not POSIX NFA).

Highlights of the Sirius regex support are discussed in the following subsections, especially noting where Sirius rules differ from Perl's. If a regex feature is not mentioned below, you should assume it is supported by Sirius to the extent that it is supported in Perl.

Expression constituents

This section describes elements that constitute the actual expression pattern. The next section describes features that modify or affect a specified pattern. These sections describe the default case where the optional XML Schema mode processing is not in effect.

These features are discussed:

Escape sequences

The only escape sequences allowed in a Sirius regex are those for metacharacters and those that are “shorthands” for special characters or character classes, as specified below.

These metacharacter escapes are allowed in regex arguments:

\. Period (or dot); see Mode modifiers for difference from Perl on what is matched by an un-escaped period
\[ Left square bracket
\] Right square bracket
\( Left, or opening, parenthesis
\) Right, or closing, parenthesis
\* Star, or asterisk
\- Hyphen
\{ Left curly bracket
\} Right curly bracket
\| Vertical bar
\\ Backslash
\+ Plus sign
\? Question mark
\$ Dollar sign
\^ Caret, or circumflex — Note: A caret is used in this documentation to represent the character that the keyboard program translates to X'5F'; this may be a not sign (¬) on your system.

These character shorthands are allowed:

\n Linefeed (X'25')
\r Carriage return (X'0D')
\t Horizontal tab (X'05')

These class shorthands are allowed:

\b Word boundary anchor (a position between a \w character and a non-\w character) — but not supported as a backspace character or within a character class.

\b is only supported as of Sirius Mods 7.3.

\B The inverse of \b: any position that is not a word boundary anchor.

\B is only supported as of Sirius Mods 7.3.

\c Legal name character; equivalent to [\-_:.A-Za-z0-9]
\C Non-legal name character; equivalent to [^\-_:.A-Za-z0-9]
\d Digit; equivalent to [0-9]
\D Non-digit; equivalent to [^0-9]
\i Legal start-of-name character; equivalent to [_:A-Za-z]
\I Non-legal start-of-name character; equivalent to [^_:A-Za-z]
\s Whitespace character; equivalent to [ \r\n\t]
\S Non-whitespace; equivalent to [^ \r\n\t]
\w Any letter (uppercase or lowercase), any digit, or the underscore.

\w is only supported as of Sirius Mods 7.0.

\W The inverse of \w: any non-letter or non-digit except the underscore.

\W is only supported as of Sirius Mods 7.0.

Prior to Sirius Mods version 7.0, the class shorthands above were not allowed within character classes.

Character classes

In character classes (which “match any character in the square brackets”):

  • The only ranges allowed are subsets of uppercase letters, lowcase letters, or digits. For example, [A-z] is not legal; [A-Za-z] is legal; [a-9] is not legal. Because of the gaps in the EBCDIC encoding, you can specify [A-Z], but internally that is converted to [A-IJ-RS-Z]; and similarly for [a-z].
  • Multi-character escape sequences (for example, \s, \c) are allowed within character classes as of version 7.0 of the Sirius Mods. However, they are not allowed as either side in a range. Prior to version 7.0 of the Sirius Mods, multi-character escapes are not allowed within character classes.
  • An unescaped hyphen (-) is allowed if it occurs as the first character (or the second, if the first is ^) or as the last character in a character class expression. An escaped hyphen (\-) is allowed in all positions. All the following are allowed:

    [-A-Z158] [^-A-Z158] [158A-Z-] [158A-Z0-]

    But [A-F-K] is not allowed. And a hyphen is not allowed as the left or right character in the range expression itself (["--], for example, is not allowed).

  • Some bracket characters ([ or ], from any of the several character codes that produce a left or right square bracket in EBCDIC) do not have to be escaped. A bracket character does not require a preceding escape character if it is:
    • A right bracket (]) that is outside of, not part of, a character class expression. So, (1]9) matches 0001]9zzz.
    • A right bracket that is the first character — or the second, if the first is a caret (^) — in a character class expression. So, []xxx] and [^]xxx] are legal.
    • A left bracket that occurs anywhere in a character class expression. So, [abc[] is legal and matches any of these four characters: a b c [ A left bracket that occurs outside of a character class expression must always be escaped.

    Although not required, escape characters may be used in the cases cited above.

Greedy and non-greedy quantifiers

Both greedy and non-greedy matching are supported. That is, if there is more than one plausible match for a greedy quantifier (*, +, ?, {min,max}), which govern how many input string characters the preceding regex item may try to match), the longest one is selected. In contrast, the non-greedy (aka “lazy”) quantifiers (*?, +?, ??, {min,max}?) select the minimum number of characters needed to satisfy a match.

For example, in Sirius methods and $functions, the regex <.+> greedily matches the entire input string <tag1 att=x><tag2 att=y><tag3 att=z>, although its set of plausible matches also includes <tag1 att=x> and <tag2 att=y>.

The regex <.+?>, however, lazily matches just <tag1 att=x>, the shortest of the plausible matches. Note: Since ?? is a Model 204 dummy string signifier, you may need to use a User Language expression such as '?' With '?' if you want to use the ?? quantifier.

Understanding greediness becomes more important when the string that a regex matches is being replaced by another string. See the greedy example for the RegexReplace function.

Prior to version 7.0 of the Sirius Mods, the “lazy” quantifiers (*?, +?, ??, {min,max}) are not supported.

Capturing groups

  • Extraction of repeating capture groups from a string is different in Perl and User Language. If there are multiple matches by a repeated group, Perl replaces each capture with the next one, ending up with only the final capture. User Language saves each capture and concatenates them when finished. For example, if this is the regex:

    9([A-Z])*9

    And this is the input string:

    xxx9ABCDEF9yyy

    In both the Sirius Mods and Perl, the “greedy quantifier” * matches as many times as it can, stopping at the second 9. The resulting capture in Sirius $functions and methods is ABCDEF, the concatenation of six one-character matches. In Perl, the resulting capture is F.

  • A subexpression that is a validly formed capturing group that is nested within a non-capturing subexpression is still a capturing group. The regex (?:[1-9]*(a+)) matches 123aa and captures aa.

Look-around subexpressions

Although look-ahead subexpressions in a regex are supported, look-behind subexpressions are not supported. Look-behind specifications begin with (?<= or (?<!.

The only supported parenthesized subexpression sequences that begin with a question mark are the following, which are all non-capturing:

(?: Denotes a non-capturing group
(?= Denotes a positive look-ahead
(?! Denotes a negative look-ahead

Alternatives

Alternatives (indicated by |) are evaluated from left to right, and evaluation is “short-circuited” (that is, it stops as soon as it finds a match).

Empty expressions, for example, empty alternatives, are supported. The following regex matches A9, B9, and 9, capturing respectively A, B, and the null string:

(A|B|)9

An empty alternative (like the |, above, that is followed only by the closing parenthesis) is always True.

Note: Sirius and Perl make a special case of a regex that has an empty alternative on the left (or anywhere but at the right end). You might think that such an "always true" alternative gets selected before, and thereby prevents the evaluation of, the alternatives to its right. However, in such a regex, this empty alternative is evaluated as the last alternative instead of according to its actual position.

For example, the regex (|A|B)9 matches each of the strings A9, B9, and 9. However, since the evaluation of the empty alternative is implicitly postponed until the other alternatives are tried, the (|A|B) group captures, respectively, A, B, and the null string.

Features that affect the whole expression

Unicode

Unicode is not supported. ??

Locales

Locales are not supported.

Mode modifiers

Mode modifiers are settings that influence how a regex is applied. Sirius mode modifiers apply to the entire regex; none can be applied to part of a regex.

  • In Sirius regex, the dot (.) metacharacter matches any character except for a carriage return or linefeed. Note: In Perl, which does not consider a carriage return an end-of-line character, a dot always matches a carriage return as well. To initiate dot-matches-all mode, in which dot matches any character, Perl uses an s character after the regex-ending /. Sirius regex $functions and methods have an “options” argument that can initiate this mode (value S), as described in Common regex options.
  • Perl supports a case-insensitive matching mode that you can apply globally (i after the regex-ending /) or partially (started by (?i) and ended by (?-i))) to a regex. Sirius provides only a global case-insensitivity switch, which does not use the Perl signifier. Instead, Sirius uses an “options” argument to initiate case-insensitive matching (value I), as described, below, in Common regex options.
  • In multi-line mode, the caret (^) and dollar sign ($) anchor characters may match a position wherever a newline character occurs in the target string — they are not restricted to matching only at the beginning and end of the string. To enter this mode, Perl uses an m after the regex-ending /. Sirius uses an “options” argument to initiate this mode (value M), as described, below, in Common regex options.
  • In Perl, comments may be included in a regex between the number sign (#) and a newline. Sirius does not recognize this convention, and the number-sign character is not a metacharacter.

Common regex options

Sirius regex $functions and methods have an optional “options” argument that lets you invoke one or more operating modes that modify how the regex is applied. In most cases, the functionality provided by the option is similar to what Perl provides, but Perl uses a different notation to invoke it.

The options argument is a string of one or more of the following single-letter options. Not all options are available to all regex $functions and methods. — the individual $function and method descriptions list the options available to that function or method.

I
Do case-insensitive matching between the input string(s) and the regex. Treat the uppercase and lowercase variants of letters as equivalent.
S
Dot-All mode. If this mode is not specified, a dot (.), also called a point, matches any single character except X'0D' (carriage return) and X'25' (linefeed). In Dot-All mode, a dot also matches carriage return and linefeed characters.
M
Multi-line mode. If this mode is not specified, a caret (^) or a not sign (¬) — whichever key your keyboard program translates to X'5F' — matches only the position at the very start of the string, and dollar sign ($) matches only the position at the very end. (This documentation uses the caret.) The caret and dollar sign are position-identifying characters known as “anchors,” which match the beginning and end, respectively, of a line or string. They do not match any text. In M mode, a caret also matches the position immediately after any end-of-line indicator (carriage return, linefeed, carriage-return/linefeed), and a dollar sign also matches the position immediately before any end-of-line indicator. M mode is ignored if option C (XML Schema mode) is also specified, since caret and dollar sign are not metacharacters in C mode.
C
XML Schema mode. See, below, XML Schema mode.
G
Global replacement of matched substrings (for methods and $functions that provide replacement substrings for matched substrings). If this mode is not specified, a replacement string replaces the first matched substring only. In G mode, every occurrence of the match is replaced.
A
Replace as is (for methods and $functions that provide replacement substrings for matched substrings. If this mode is specified, the replacement string is copied as is. No escapes are recognized; a $n combination is interpreted as a literal and not as a special marker; and so on.

XML Schema mode

An optional “options” argument lets you invoke XML Schema mode. In this mode (not available in Perl), the regex matching is done according to the rules for regular expressions in the W3C XML Schema language specification (the Regular Expressions appendix in Part 2 of the XML Schema recommenation).

This mode is designed for testing regexes for suitability for validating strings in a schema document (an XML document that constitutes an XML schema). Although it is available in most of the Sirius regex $functions and methods, it is intended primarily for matching and not for capturing or replacing.

The Sirius regex rules described in Regex rules still apply in XML Schema mode, except:

  • In a regex, no characters are recognized as anchors, and any regex is treated as if it is anchored at both ends. The entire regex must match the entire target string (although you can construct an unanchored match, as described in the “Regular Expressions” appendix). The regex ABC in XML Schema mode is equivalent to ^(?:ABC)$ in non-XML Schema mode, where the (?: indicates a “non-capturing” group. Related to this, or as a consequence of this implicit anchoring:
    • The usual anchoring-atoms, ^ and $, are treated as ordinary characters in a regex, and you may not escape them.
    • If the multi-line mode option (see Common regex options) is specified along with XML Schema mode, multi-line mode is ignored.
  • The two-character sequence (? is not valid in a regex. You can use a pair of parentheses for grouping, but capturing is not part of the XML Schema regex specification, nor are non-capturing and look-aheads, whose indicators begin with a (? sequence. If you specify the XML Schema mode option in a $function or method that makes use of capturing (or replacing), however, any capturing groups you use in the regex or replacement string(s) do perform their usual operation.
  • A bracket character ([ or ] requires a preceding escape character if it is:
    • A right bracket (]) that is outside of, not part of, a character class expression. So, (1\]9) matches 0001]9zzz, but (1]9) is not allowed.
    • A right bracket that is the first character — or the second, if the first is a caret (^) — in a character class expression. So, [\]xxx] and [^\]xxx] are allowed.
    • A left bracket that occurs anywhere in a character class expression. So, [abc\[] is allowed. A left bracket that occurs outside of a character class expression must always be escaped.

    These cases are compiler errors unless the cited bracket characters are escaped.

  • Character class subtraction is supported as of Sirius Mods version 7.0. You can exclude a subset of characters from the characters already designated to be in the class. This is only allowed in XML Schema mode, and it is not allowed in Perl. This feature lets you specify a character class like the following, which matches anything from A to Z except D, I, O, Q, U, or V:
        [A-Z-[DIOQUV]]
    

    You can also nest subtractions, as in:

        [\w-[A-Z-[DIOQUV]]]
    

    Characters immediately after the right bracket of a subtracted character class are not allowed. [A-Z-[DIOQUV]abc] is an invalid character class.

    You can also subtract a negated character class: [A-Z-[^DIOQUV]] is valid.

  • If the Dot-All mode or case-insensitive mode option (see Common regex options) is specified along with XML Schema mode, Dot-All mode or case-insensitive mode works as usual.

User Language programming considerations

These are issues of note when writing regex requests:

  • Sirius regex processing can use considerable user stack (PDL) space and STBL space:
    • A program running with a relatively small (less than 3000) setting of the Model 204 LPDLST parameter is subject to a user restart due to PDL overflow, even with relatively simple regular expressions. Regular expression compilation and evaluation can sometimes be recursive, with each level of recursion using a certain amount of PDL space. For certain complex regular expressions, a large amount of PDL space may be used. To reset LPDLST, you can use, for example, UTABLE LPDLST 3000. Prior to Sirius Mods version 7.0, the recommended minimum value was 8000.
    • In general, there must be at least 8500 bytes available in STBL (some routines use less). Using UTABLE LSTBL 9000 is sufficient if the rest of the User Language program requires almost no STBL space.
  • A question mark character (?) is a reserved character, or metacharacter, in a regex expression. As pointed out in a preceding subsection, the ?? character combination in a User Language regex is ambiguous, meaning either a regex quantifier or a User Language dummy string. In that case, the dummy string interpretation prevails, and you must use an expression like '?' With '?' to code the regex quantifier. Similarly, the User Language dummy-string signifiers ?$ and ?& take precedence if those character sequences occur in a regex. To use ?$ or ?& in a regex, you must use one or two escape characters, respectively, after the question mark.
  • A caret (^) is used in this documentation to represent the character that the keyboard program translates to X'5F'; this may be a not sign (¬) on your system.