diff options
author | Benjamin Barenblat <bbaren@mit.edu> | 2015-07-30 16:56:16 -0400 |
---|---|---|
committer | Benjamin Barenblat <bbaren@mit.edu> | 2015-07-30 16:56:16 -0400 |
commit | 285053f45f39752e46899a9e99f1cfe1ca76165c (patch) | |
tree | 1179ab5d0dff22b406c3ab476d66e50712c708e7 | |
parent | c5e30927d8dbc85c20a261cab2c7afb208f2e543 (diff) |
Update documentation to note ECMAScript regxes
-rw-r--r-- | src/regex.urs | 43 |
1 files changed, 1 insertions, 42 deletions
diff --git a/src/regex.urs b/src/regex.urs index 2591fe8..c3d2c7f 100644 --- a/src/regex.urs +++ b/src/regex.urs @@ -14,48 +14,7 @@ specific language governing permissions and limitations under the License. *) (* Regular expression matching -This library implements POSIX extended regular expressions, which most closely -match what 'normal' people think about when they hear 'regular expressions'. -Here's a brief syntax reminder: - - .[]^$()\*{}?+| are metacharacters and must be backslash-escaped if you want to - use them. (Remember, in Ur/Web, backslash is also the string escape - character, so if you want to match a literal open brace, you need to specify - "\\{", if you want to match a literal backslash, you need to specify "\\\\", - etc.) - - . matches any character - x? matches 'x' zero or one time - x* matches 'x' zero or more times - x+ matches 'x' one or more times - x{3,5} matches 'xxx', 'xxxx', and 'xxxxx' - - ^ matches the start of a line - $ matches the end of a line - - [abcx-z] matches 'a', 'b', 'c', 'x', 'y', or 'z' - [^a-z] matches any single character not equal to 'a', 'b', ..., or 'z' - - (abc) matches the string 'abc' and saves it as a marked subexpression - \3 matches the 3rd marked subexpression - - Character classes may be used inside bracket expressions: - [:alnum:] [A-Za-z0-9] alphanumeric characters - [:alpha:] [A-Za-z] alphabetic characters - [:blank:] [ \t] space and tab - [:cntrl:] [\x00-\x1F\x7F] control characters - [:digit:] [0-9] digits - [:graph:] [\x21-\x7E] visible characters - [:lower:] [a-z] lowercase letters - [:print:] [\x20-\x7E] visible characters and the space character - [:punct:] [][!"#$%&'()*+,./:;<=>?@\^_`{|}~-] punctuation characters - [:space:] [ \t\r\n\v\f] whitespace characters - [:upper:] [A-Z] uppercase letters - [:xdigit:] [A-Fa-f0-9] Hexadecimal digits - So if you want to match all duodecimal digits, you can specify - '[[:digit:]A-Ba-b]'. If you simply want all decimal digits, you need - '[[:digit:]]'. *) - +This library implements ECMAScript regular expressions. *) (* Searching *) |