changeset 46126:1d83bbd2ceec

Clarified the definition of implicit tag names.
author Francesco Potortì <pot@gnu.org>
date Tue, 02 Jul 2002 11:35:27 +0000
parents 474a28fb856c
children 6225d6b17d2e
files etc/ETAGS.EBNF
diffstat 1 files changed, 6 insertions(+), 2 deletions(-) [+]
line wrap: on
line diff
--- a/etc/ETAGS.EBNF	Mon Jul 01 23:30:21 2002 +0000
+++ b/etc/ETAGS.EBNF	Tue Jul 02 11:35:27 2002 +0000
@@ -72,8 +72,12 @@
 part of tag lines in the tags file, so we call them "explicit".
 
 - Why implicit tag names are even better
-The purpose of implicit tag names is to reduce the number of tag names
-in a tags file, thus reducing the size of the tags file.  When the user
+Often tag names are redundant; this happens when the name of a tag is an
+easily guessable substring of the tag pattern.  We define a set of rules
+to decide whether it is possible to deduce the tag name from the pattern,
+and make an unnamed tag in those cases.  The name deduced from the
+pattern of an unnamed tag is the implicit name of that tag.  The use of
+implicit tag names reduces the size of the tags file.  When the user
 looks for a tag, and Emacs founds no explicit tag names that match it,
 Emacs then tries to match the tag with an implicit tag name.  Such a
 match occurs when the tag matches a pattern, subject to the satisfaction