diff options
| author | Stefan Monnier | 2000-02-14 17:04:17 +0000 |
|---|---|---|
| committer | Stefan Monnier | 2000-02-14 17:04:17 +0000 |
| commit | 8a44227ac5dcf4b1786f2459cd1107e3342436f8 (patch) | |
| tree | 13eff503bc15394dd63790d718f3596a4bdbe2e0 | |
| parent | d7f89643a49a82f29a4f98002e94fc89ad0eb3d8 (diff) | |
| download | emacs-8a44227ac5dcf4b1786f2459cd1107e3342436f8.tar.gz emacs-8a44227ac5dcf4b1786f2459cd1107e3342436f8.zip | |
documented \{n,m\} intervals
| -rw-r--r-- | man/search.texi | 11 |
1 files changed, 11 insertions, 0 deletions
diff --git a/man/search.texi b/man/search.texi index 0b903701e97..de6cd92849e 100644 --- a/man/search.texi +++ b/man/search.texi | |||
| @@ -432,6 +432,17 @@ are non-greedy variants of the operators above. The normal operators | |||
| 432 | as they can, while if you append a @samp{?} after them, it makes them | 432 | as they can, while if you append a @samp{?} after them, it makes them |
| 433 | non-greedy: they will match as little as possible. | 433 | non-greedy: they will match as little as possible. |
| 434 | 434 | ||
| 435 | @item \@{n,m\@} | ||
| 436 | is another postfix operator that specifies an interval of iteration: | ||
| 437 | the preceding regular expression must match between @samp{n} and | ||
| 438 | @samp{m} times. If @samp{m} is omitted, then there is no upper bound | ||
| 439 | and if @samp{,m} is omitted, then the regular expression must match | ||
| 440 | exactly @samp{n} times. @* | ||
| 441 | @samp{\@{0,1\@}} is equivalent to @samp{?}. @* | ||
| 442 | @samp{\@{0,\@}} is equivalent to @samp{*}. @* | ||
| 443 | @samp{\@{1,\@}} is equivalent to @samp{+}. @* | ||
| 444 | @samp{\@{n\@}} is equivalent to @samp{\@{n,n\@}}. | ||
| 445 | |||
| 435 | @item [ @dots{} ] | 446 | @item [ @dots{} ] |
| 436 | is a @dfn{character set}, which begins with @samp{[} and is terminated | 447 | is a @dfn{character set}, which begins with @samp{[} and is terminated |
| 437 | by @samp{]}. In the simplest case, the characters between the two | 448 | by @samp{]}. In the simplest case, the characters between the two |