From: Luc Teirlinck <teirllm@dms.auburn.edu>
Cc: rudalics@gmx.at, emacs-devel@gnu.org, schwab@suse.de
Subject: Re: Unquoted special characters in regexps
Date: Mon, 27 Feb 2006 18:59:34 -0600 (CST) [thread overview]
Message-ID: <200602280059.k1S0xYD07415@raven.dms.auburn.edu> (raw)
In-Reply-To: <E1FDneo-00050N-Nn@fencepost.gnu.org> (message from Richard Stallman on Mon, 27 Feb 2006 14:03:42 -0500)
I can install any one or both of the two chunks of the patch to
lispref/searching.texi included below, if desired. (I sent this
bafore, but it never arrived at emacs-devel).
The first chunk just would eliminate `]' from the list of characters
that are described as special outside a character alternative.
The second chunk rephrases the following:
For example, a string with unbalanced square brackets is invalid
(with a few exceptions, such as `[]]'),
That is incorrect or at least ambiguous (how exactly do you define
balanced?) as the examples below show.
ELISP> (string-match "]]]]" "]]]]")
0
ELISP> (string-match "[[]" "[")
0
One accurate way to restate it would be that a string whose square
brackets _with special meaning _ do not balance is invalid. This
would be (unless I overlook something) without exceptions: in `[]]'
the square brackets with special meaning do balance. In the patch
below I formulated it differently.
===File ~/searching.texi-diff===============================
*** searching.texi 06 Feb 2006 16:02:08 -0600 1.68
--- searching.texi 26 Feb 2006 10:25:06 -0600
***************
*** 237,243 ****
special constructs and the rest are @dfn{ordinary}. An ordinary
character is a simple regular expression that matches that character and
nothing else. The special characters are @samp{.}, @samp{*}, @samp{+},
! @samp{?}, @samp{[}, @samp{]}, @samp{^}, @samp{$}, and @samp{\}; no new
special characters will be defined in the future. Any other character
appearing in a regular expression is ordinary, unless a @samp{\}
precedes it.
--- 237,243 ----
special constructs and the rest are @dfn{ordinary}. An ordinary
character is a simple regular expression that matches that character and
nothing else. The special characters are @samp{.}, @samp{*}, @samp{+},
! @samp{?}, @samp{[}, @samp{^}, @samp{$}, and @samp{\}; no new
special characters will be defined in the future. Any other character
appearing in a regular expression is ordinary, unless a @samp{\}
precedes it.
***************
*** 740,747 ****
@kindex invalid-regexp
Not every string is a valid regular expression. For example, a string
! with unbalanced square brackets is invalid (with a few exceptions, such
! as @samp{[]]}), and so is a string that ends with a single @samp{\}. If
an invalid regular expression is passed to any of the search functions,
an @code{invalid-regexp} error is signaled.
--- 740,747 ----
@kindex invalid-regexp
Not every string is a valid regular expression. For example, a string
! that ends inside a character alternative without terminating @samp{]}
! is invalid, and so is a string that ends with a single @samp{\}. If
an invalid regular expression is passed to any of the search functions,
an @code{invalid-regexp} error is signaled.
============================================================
next prev parent reply other threads:[~2006-02-28 0:59 UTC|newest]
Thread overview: 81+ messages / expand[flat|nested] mbox.gz Atom feed top
2006-02-25 17:23 Unquoted special characters in regexps martin rudalics
2006-02-25 18:42 ` Andreas Schwab
2006-02-25 19:18 ` martin rudalics
2006-02-25 19:31 ` Andreas Schwab
2006-02-25 20:18 ` martin rudalics
2006-02-25 22:09 ` Andreas Schwab
2006-02-26 11:32 ` martin rudalics
2006-02-26 11:50 ` Andreas Schwab
2006-02-26 13:28 ` martin rudalics
2006-02-25 22:13 ` Luc Teirlinck
2006-02-26 13:13 ` martin rudalics
2006-02-26 13:50 ` Andreas Schwab
2006-02-26 16:41 ` Luc Teirlinck
2006-02-26 17:53 ` martin rudalics
2006-02-26 18:22 ` Luc Teirlinck
2006-02-26 19:26 ` martin rudalics
2006-02-26 17:10 ` martin rudalics
2006-02-26 17:42 ` Luc Teirlinck
2006-02-26 19:06 ` martin rudalics
2006-02-26 17:56 ` Andreas Schwab
2006-02-26 19:08 ` martin rudalics
2006-02-27 19:03 ` Richard Stallman
2006-02-27 19:36 ` Andreas Schwab
2006-02-27 20:03 ` martin rudalics
2006-02-27 20:32 ` Andreas Schwab
2006-02-27 21:43 ` martin rudalics
2006-02-27 22:11 ` Andreas Schwab
2006-02-28 6:19 ` Richard Stallman
2006-02-28 10:28 ` martin rudalics
2006-02-28 0:30 ` Luc Teirlinck
2006-02-28 10:27 ` martin rudalics
2006-02-28 22:57 ` Luc Teirlinck
2006-03-01 13:00 ` martin rudalics
2006-03-01 17:54 ` Richard Stallman
2006-03-02 4:06 ` Luc Teirlinck
2006-03-02 19:43 ` Richard Stallman
2006-03-02 4:54 ` Luc Teirlinck
2006-03-02 18:40 ` martin rudalics
2006-03-02 23:26 ` Luc Teirlinck
2006-03-03 7:42 ` martin rudalics
2006-03-03 13:51 ` Luc Teirlinck
2006-03-03 14:09 ` Luc Teirlinck
2006-03-03 18:52 ` martin rudalics
2006-03-03 22:41 ` Luc Teirlinck
2006-03-03 23:00 ` Luc Teirlinck
2006-03-03 10:25 ` Richard Stallman
2006-03-03 15:20 ` martin rudalics
2006-03-04 13:37 ` Richard Stallman
2006-03-04 14:40 ` martin rudalics
2006-03-06 0:48 ` Richard Stallman
2006-03-03 10:25 ` Richard Stallman
2006-03-03 15:51 ` martin rudalics
2006-03-03 23:48 ` Luc Teirlinck
2006-03-04 9:58 ` martin rudalics
2006-03-04 23:16 ` Luc Teirlinck
2006-03-05 2:54 ` Luc Teirlinck
2006-03-06 0:49 ` Richard Stallman
2006-02-28 0:44 ` Luc Teirlinck
2006-03-04 21:07 ` Thien-Thi Nguyen
2006-03-05 3:37 ` Luc Teirlinck
2006-03-05 11:10 ` martin rudalics
2006-03-05 15:32 ` Luc Teirlinck
2006-03-06 7:41 ` martin rudalics
2006-03-05 17:04 ` Luc Teirlinck
2006-03-05 11:54 ` martin rudalics
2006-03-05 15:35 ` Andreas Schwab
2006-03-06 8:19 ` martin rudalics
2006-03-05 18:36 ` Luc Teirlinck
2006-03-05 19:14 ` Luc Teirlinck
2006-03-06 8:17 ` martin rudalics
2006-02-28 0:59 ` Luc Teirlinck [this message]
2006-03-06 12:52 ` Richard Stallman
2006-03-07 5:52 ` Luc Teirlinck
2006-03-07 8:53 ` martin rudalics
2006-02-25 22:34 ` Luc Teirlinck
2006-02-25 22:59 ` Andreas Schwab
2006-02-26 13:20 ` martin rudalics
2006-02-26 16:53 ` Luc Teirlinck
2006-02-26 18:01 ` martin rudalics
2006-02-26 17:19 ` Luc Teirlinck
2006-02-26 18:13 ` martin rudalics
Reply instructions:
You may reply publicly to this message via plain-text email
using any one of the following methods:
* Save the following mbox file, import it into your mail client,
and reply-to-all from there: mbox
Avoid top-posting and favor interleaved quoting:
https://en.wikipedia.org/wiki/Posting_style#Interleaved_style
* Reply using the --to, --cc, and --in-reply-to
switches of git-send-email(1):
git send-email \
--in-reply-to=200602280059.k1S0xYD07415@raven.dms.auburn.edu \
--to=teirllm@dms.auburn.edu \
--cc=emacs-devel@gnu.org \
--cc=rudalics@gmx.at \
--cc=schwab@suse.de \
/path/to/YOUR_REPLY
https://kernel.org/pub/software/scm/git/docs/git-send-email.html
* If your mail client supports setting the In-Reply-To header
via mailto: links, try the mailto: link
Be sure your reply has a Subject: header at the top and a blank line
before the message body.
Code repositories for project(s) associated with this external index
https://git.savannah.gnu.org/cgit/emacs.git
https://git.savannah.gnu.org/cgit/emacs/org-mode.git
This is an external index of several public inboxes,
see mirroring instructions on how to clone and mirror
all data and code used by this external index.