annotate etc/ETAGS.EBNF @ 5881:31dd275fa683

Preserv the current buffer on non-local exit, #'accept-process-output. 2015-03-31 Aidan Kehoe <kehoea@parhasard.net> * event-stream.c (Faccept_process_output): Restore the current buffer even on non-local exit in this function, none of the code that uses #'accept-process-output is actually prepared to handle the current buffer changing.
author Aidan Kehoe <kehoea@parhasard.net>
date Tue, 31 Mar 2015 18:42:21 +0100
parents 308d34e9f07d
children
Ignore whitespace changes - Everywhere: Within whitespace: At end of lines:
rev   line source
2225
4968c73cb252 [xemacs-hg @ 2004-08-20 04:40:08 by james]
james
parents:
diff changeset
1 -*- indented-text -*-
4968c73cb252 [xemacs-hg @ 2004-08-20 04:40:08 by james]
james
parents:
diff changeset
2
3876
a827a51c3241 [xemacs-hg @ 2007-03-24 11:46:37 by stephent]
stephent
parents: 2554
diff changeset
3 See the end of this file for copyright information.
a827a51c3241 [xemacs-hg @ 2007-03-24 11:46:37 by stephent]
stephent
parents: 2554
diff changeset
4
2225
4968c73cb252 [xemacs-hg @ 2004-08-20 04:40:08 by james]
james
parents:
diff changeset
5 This file contains two sections:
4968c73cb252 [xemacs-hg @ 2004-08-20 04:40:08 by james]
james
parents:
diff changeset
6
2554
94f848eb8e4b [xemacs-hg @ 2005-02-03 18:09:26 by james]
james
parents: 2325
diff changeset
7 1) An EBNF (Extended Backus-Naur Form) description of the format of
2225
4968c73cb252 [xemacs-hg @ 2004-08-20 04:40:08 by james]
james
parents:
diff changeset
8 the tags file created by etags.c and interpreted by etags.el;
4968c73cb252 [xemacs-hg @ 2004-08-20 04:40:08 by james]
james
parents:
diff changeset
9 2) A discussion of tag names and implicit tag names.
4968c73cb252 [xemacs-hg @ 2004-08-20 04:40:08 by james]
james
parents:
diff changeset
10
4968c73cb252 [xemacs-hg @ 2004-08-20 04:40:08 by james]
james
parents:
diff changeset
11 ====================== 1) EBNF tag file description =====================
4968c73cb252 [xemacs-hg @ 2004-08-20 04:40:08 by james]
james
parents:
diff changeset
12
4968c73cb252 [xemacs-hg @ 2004-08-20 04:40:08 by james]
james
parents:
diff changeset
13 Productions created from current behaviour to aid extensions
4968c73cb252 [xemacs-hg @ 2004-08-20 04:40:08 by james]
james
parents:
diff changeset
14 Francesco Potorti` <pot@gnu.org> 2002
4968c73cb252 [xemacs-hg @ 2004-08-20 04:40:08 by james]
james
parents:
diff changeset
15 ----------------
4968c73cb252 [xemacs-hg @ 2004-08-20 04:40:08 by james]
james
parents:
diff changeset
16
4968c73cb252 [xemacs-hg @ 2004-08-20 04:40:08 by james]
james
parents:
diff changeset
17 FF ::= #x0c /* tag section starter */
4968c73cb252 [xemacs-hg @ 2004-08-20 04:40:08 by james]
james
parents:
diff changeset
18
4968c73cb252 [xemacs-hg @ 2004-08-20 04:40:08 by james]
james
parents:
diff changeset
19 LF ::= #x0a /* line terminator */
4968c73cb252 [xemacs-hg @ 2004-08-20 04:40:08 by james]
james
parents:
diff changeset
20
4968c73cb252 [xemacs-hg @ 2004-08-20 04:40:08 by james]
james
parents:
diff changeset
21 DEL ::= #x7f /* pattern terminator */
4968c73cb252 [xemacs-hg @ 2004-08-20 04:40:08 by james]
james
parents:
diff changeset
22
4968c73cb252 [xemacs-hg @ 2004-08-20 04:40:08 by james]
james
parents:
diff changeset
23 SOH ::= #x01 /* name terminator */
4968c73cb252 [xemacs-hg @ 2004-08-20 04:40:08 by james]
james
parents:
diff changeset
24
4968c73cb252 [xemacs-hg @ 2004-08-20 04:40:08 by james]
james
parents:
diff changeset
25 regchar ::= [^#x0a#x0c#x7f] /* regular character */
4968c73cb252 [xemacs-hg @ 2004-08-20 04:40:08 by james]
james
parents:
diff changeset
26
4968c73cb252 [xemacs-hg @ 2004-08-20 04:40:08 by james]
james
parents:
diff changeset
27 regstring ::= { regchar } /* regular string */
4968c73cb252 [xemacs-hg @ 2004-08-20 04:40:08 by james]
james
parents:
diff changeset
28
4968c73cb252 [xemacs-hg @ 2004-08-20 04:40:08 by james]
james
parents:
diff changeset
29 unsint ::= [0-9] { [0-9] } /* non-negative integer */
4968c73cb252 [xemacs-hg @ 2004-08-20 04:40:08 by james]
james
parents:
diff changeset
30
4968c73cb252 [xemacs-hg @ 2004-08-20 04:40:08 by james]
james
parents:
diff changeset
31
4968c73cb252 [xemacs-hg @ 2004-08-20 04:40:08 by james]
james
parents:
diff changeset
32
4968c73cb252 [xemacs-hg @ 2004-08-20 04:40:08 by james]
james
parents:
diff changeset
33 tagfile ::= { tagsection } /* a tags file */
4968c73cb252 [xemacs-hg @ 2004-08-20 04:40:08 by james]
james
parents:
diff changeset
34
4968c73cb252 [xemacs-hg @ 2004-08-20 04:40:08 by james]
james
parents:
diff changeset
35 tagsection ::= FF LF ( includesec | regularsec ) LF
4968c73cb252 [xemacs-hg @ 2004-08-20 04:40:08 by james]
james
parents:
diff changeset
36
4968c73cb252 [xemacs-hg @ 2004-08-20 04:40:08 by james]
james
parents:
diff changeset
37 includesec ::= filename ",include" [ LF fileprop ]
4968c73cb252 [xemacs-hg @ 2004-08-20 04:40:08 by james]
james
parents:
diff changeset
38
4968c73cb252 [xemacs-hg @ 2004-08-20 04:40:08 by james]
james
parents:
diff changeset
39 regularsec ::= filename "," [ unsint ] [ LF fileprop ] { LF tag }
4968c73cb252 [xemacs-hg @ 2004-08-20 04:40:08 by james]
james
parents:
diff changeset
40
4968c73cb252 [xemacs-hg @ 2004-08-20 04:40:08 by james]
james
parents:
diff changeset
41 filename ::= regchar regstring /* a file name */
4968c73cb252 [xemacs-hg @ 2004-08-20 04:40:08 by james]
james
parents:
diff changeset
42
4968c73cb252 [xemacs-hg @ 2004-08-20 04:40:08 by james]
james
parents:
diff changeset
43 fileprop ::= "(" regstring ")" /* an elisp alist */
4968c73cb252 [xemacs-hg @ 2004-08-20 04:40:08 by james]
james
parents:
diff changeset
44
4968c73cb252 [xemacs-hg @ 2004-08-20 04:40:08 by james]
james
parents:
diff changeset
45 tag ::= directtag | patterntag
4968c73cb252 [xemacs-hg @ 2004-08-20 04:40:08 by james]
james
parents:
diff changeset
46
4968c73cb252 [xemacs-hg @ 2004-08-20 04:40:08 by james]
james
parents:
diff changeset
47 directtag ::= DEL realposition /* no pattern */
4968c73cb252 [xemacs-hg @ 2004-08-20 04:40:08 by james]
james
parents:
diff changeset
48
4968c73cb252 [xemacs-hg @ 2004-08-20 04:40:08 by james]
james
parents:
diff changeset
49 patterntag ::= pattern DEL [ tagname SOH ] position
4968c73cb252 [xemacs-hg @ 2004-08-20 04:40:08 by james]
james
parents:
diff changeset
50
4968c73cb252 [xemacs-hg @ 2004-08-20 04:40:08 by james]
james
parents:
diff changeset
51 pattern ::= regstring /* a tag pattern */
4968c73cb252 [xemacs-hg @ 2004-08-20 04:40:08 by james]
james
parents:
diff changeset
52
4968c73cb252 [xemacs-hg @ 2004-08-20 04:40:08 by james]
james
parents:
diff changeset
53 tagname ::= regchar regstring /* a tag name */
4968c73cb252 [xemacs-hg @ 2004-08-20 04:40:08 by james]
james
parents:
diff changeset
54
4968c73cb252 [xemacs-hg @ 2004-08-20 04:40:08 by james]
james
parents:
diff changeset
55 position ::= realposition | "," /* charpos,linepos */
4968c73cb252 [xemacs-hg @ 2004-08-20 04:40:08 by james]
james
parents:
diff changeset
56
4968c73cb252 [xemacs-hg @ 2004-08-20 04:40:08 by james]
james
parents:
diff changeset
57 realposition ::= "," unsint | unsint "," | unsint "," unsint
4968c73cb252 [xemacs-hg @ 2004-08-20 04:40:08 by james]
james
parents:
diff changeset
58
4968c73cb252 [xemacs-hg @ 2004-08-20 04:40:08 by james]
james
parents:
diff changeset
59 ==================== end of EBNF tag file description ====================
4968c73cb252 [xemacs-hg @ 2004-08-20 04:40:08 by james]
james
parents:
diff changeset
60
4968c73cb252 [xemacs-hg @ 2004-08-20 04:40:08 by james]
james
parents:
diff changeset
61
4968c73cb252 [xemacs-hg @ 2004-08-20 04:40:08 by james]
james
parents:
diff changeset
62
4968c73cb252 [xemacs-hg @ 2004-08-20 04:40:08 by james]
james
parents:
diff changeset
63 ======================= 2) discussion of tag names =======================
4968c73cb252 [xemacs-hg @ 2004-08-20 04:40:08 by james]
james
parents:
diff changeset
64
4968c73cb252 [xemacs-hg @ 2004-08-20 04:40:08 by james]
james
parents:
diff changeset
65 - WHAT ARE TAG NAMES
4968c73cb252 [xemacs-hg @ 2004-08-20 04:40:08 by james]
james
parents:
diff changeset
66 Tag lines in a tags file are usually made from the above defined pattern
4968c73cb252 [xemacs-hg @ 2004-08-20 04:40:08 by james]
james
parents:
diff changeset
67 and by an optional tag name. The pattern is a string that is searched
4968c73cb252 [xemacs-hg @ 2004-08-20 04:40:08 by james]
james
parents:
diff changeset
68 in the source file to find the tagged line.
4968c73cb252 [xemacs-hg @ 2004-08-20 04:40:08 by james]
james
parents:
diff changeset
69
4968c73cb252 [xemacs-hg @ 2004-08-20 04:40:08 by james]
james
parents:
diff changeset
70 - WHY TAG NAMES ARE GOOD
4968c73cb252 [xemacs-hg @ 2004-08-20 04:40:08 by james]
james
parents:
diff changeset
71 When a user looks for a tag, Emacs first compares the tag with the tag
4968c73cb252 [xemacs-hg @ 2004-08-20 04:40:08 by james]
james
parents:
diff changeset
72 names contained in the tags file. If no match is found, Emacs compares
4968c73cb252 [xemacs-hg @ 2004-08-20 04:40:08 by james]
james
parents:
diff changeset
73 the tag with the patterns. The tag name is then the preferred way to
4968c73cb252 [xemacs-hg @ 2004-08-20 04:40:08 by james]
james
parents:
diff changeset
74 look for tags in the tags file, because when the tag name is present
4968c73cb252 [xemacs-hg @ 2004-08-20 04:40:08 by james]
james
parents:
diff changeset
75 Emacs can find a tag faster and more accurately. These tag names are
4968c73cb252 [xemacs-hg @ 2004-08-20 04:40:08 by james]
james
parents:
diff changeset
76 part of tag lines in the tags file, so we call them "explicit".
4968c73cb252 [xemacs-hg @ 2004-08-20 04:40:08 by james]
james
parents:
diff changeset
77
4968c73cb252 [xemacs-hg @ 2004-08-20 04:40:08 by james]
james
parents:
diff changeset
78 - WHY IMPLICIT TAG NAMES ARE EVEN BETTER
4968c73cb252 [xemacs-hg @ 2004-08-20 04:40:08 by james]
james
parents:
diff changeset
79 When a tag line has no name, but a name can be deduced from the pattern,
4968c73cb252 [xemacs-hg @ 2004-08-20 04:40:08 by james]
james
parents:
diff changeset
80 we say that the tag line has an implicit tag name. Often tag names are
4968c73cb252 [xemacs-hg @ 2004-08-20 04:40:08 by james]
james
parents:
diff changeset
81 redundant; this happens when the name of a tag is an easily guessable
4968c73cb252 [xemacs-hg @ 2004-08-20 04:40:08 by james]
james
parents:
diff changeset
82 substring of the tag pattern. We define a set of rules to decide
4968c73cb252 [xemacs-hg @ 2004-08-20 04:40:08 by james]
james
parents:
diff changeset
83 whether it is possible to deduce the tag name from the pattern, and make
4968c73cb252 [xemacs-hg @ 2004-08-20 04:40:08 by james]
james
parents:
diff changeset
84 an unnamed tag in those cases. The name deduced from the pattern of an
4968c73cb252 [xemacs-hg @ 2004-08-20 04:40:08 by james]
james
parents:
diff changeset
85 unnamed tag is the implicit name of that tag.
2325
9d8bfee6e672 [xemacs-hg @ 2004-10-07 14:51:11 by james]
james
parents: 2225
diff changeset
86 When the user looks for a tag, and Emacs finds no explicit tag names
2225
4968c73cb252 [xemacs-hg @ 2004-08-20 04:40:08 by james]
james
parents:
diff changeset
87 that match it, Emacs then looks for an tag whose implicit tag name
4968c73cb252 [xemacs-hg @ 2004-08-20 04:40:08 by james]
james
parents:
diff changeset
88 matches the request. etags.c uses implicit tag names when possible, in
4968c73cb252 [xemacs-hg @ 2004-08-20 04:40:08 by james]
james
parents:
diff changeset
89 order to reduce the size of the tags file.
4968c73cb252 [xemacs-hg @ 2004-08-20 04:40:08 by james]
james
parents:
diff changeset
90 An implicit tag name is deduced from the pattern by discarding the
4968c73cb252 [xemacs-hg @ 2004-08-20 04:40:08 by james]
james
parents:
diff changeset
91 last character if it is one of ` \f\t\n\r()=,;', then taking all the
4968c73cb252 [xemacs-hg @ 2004-08-20 04:40:08 by james]
james
parents:
diff changeset
92 rightmost consecutive characters in the pattern which are not one of
4968c73cb252 [xemacs-hg @ 2004-08-20 04:40:08 by james]
james
parents:
diff changeset
93 those.
4968c73cb252 [xemacs-hg @ 2004-08-20 04:40:08 by james]
james
parents:
diff changeset
94
4968c73cb252 [xemacs-hg @ 2004-08-20 04:40:08 by james]
james
parents:
diff changeset
95 ===================== end of discussion of tag names =====================
3876
a827a51c3241 [xemacs-hg @ 2007-03-24 11:46:37 by stephent]
stephent
parents: 2554
diff changeset
96
a827a51c3241 [xemacs-hg @ 2007-03-24 11:46:37 by stephent]
stephent
parents: 2554
diff changeset
97 Copyright (C) 2002, 2003, 2004, 2005, 2006, 2007
a827a51c3241 [xemacs-hg @ 2007-03-24 11:46:37 by stephent]
stephent
parents: 2554
diff changeset
98 Free Software Foundation, Inc.
a827a51c3241 [xemacs-hg @ 2007-03-24 11:46:37 by stephent]
stephent
parents: 2554
diff changeset
99
a827a51c3241 [xemacs-hg @ 2007-03-24 11:46:37 by stephent]
stephent
parents: 2554
diff changeset
100 COPYING PERMISSIONS:
a827a51c3241 [xemacs-hg @ 2007-03-24 11:46:37 by stephent]
stephent
parents: 2554
diff changeset
101
5402
308d34e9f07d Changed bulk of GPLv2 or later files identified by script
Mats Lidell <matsl@xemacs.org>
parents: 3876
diff changeset
102 This file is part of XEmacs.
3876
a827a51c3241 [xemacs-hg @ 2007-03-24 11:46:37 by stephent]
stephent
parents: 2554
diff changeset
103
5402
308d34e9f07d Changed bulk of GPLv2 or later files identified by script
Mats Lidell <matsl@xemacs.org>
parents: 3876
diff changeset
104 XEmacs is free software: you can redistribute it and/or modify it
308d34e9f07d Changed bulk of GPLv2 or later files identified by script
Mats Lidell <matsl@xemacs.org>
parents: 3876
diff changeset
105 under the terms of the GNU General Public License as published by the
308d34e9f07d Changed bulk of GPLv2 or later files identified by script
Mats Lidell <matsl@xemacs.org>
parents: 3876
diff changeset
106 Free Software Foundation, either version 3 of the License, or (at your
308d34e9f07d Changed bulk of GPLv2 or later files identified by script
Mats Lidell <matsl@xemacs.org>
parents: 3876
diff changeset
107 option) any later version.
308d34e9f07d Changed bulk of GPLv2 or later files identified by script
Mats Lidell <matsl@xemacs.org>
parents: 3876
diff changeset
108
308d34e9f07d Changed bulk of GPLv2 or later files identified by script
Mats Lidell <matsl@xemacs.org>
parents: 3876
diff changeset
109 XEmacs is distributed in the hope that it will be useful, but WITHOUT
308d34e9f07d Changed bulk of GPLv2 or later files identified by script
Mats Lidell <matsl@xemacs.org>
parents: 3876
diff changeset
110 ANY WARRANTY; without even the implied warranty of MERCHANTABILITY or
308d34e9f07d Changed bulk of GPLv2 or later files identified by script
Mats Lidell <matsl@xemacs.org>
parents: 3876
diff changeset
111 FITNESS FOR A PARTICULAR PURPOSE. See the GNU General Public License
308d34e9f07d Changed bulk of GPLv2 or later files identified by script
Mats Lidell <matsl@xemacs.org>
parents: 3876
diff changeset
112 for more details.
3876
a827a51c3241 [xemacs-hg @ 2007-03-24 11:46:37 by stephent]
stephent
parents: 2554
diff changeset
113
a827a51c3241 [xemacs-hg @ 2007-03-24 11:46:37 by stephent]
stephent
parents: 2554
diff changeset
114 You should have received a copy of the GNU General Public License
5402
308d34e9f07d Changed bulk of GPLv2 or later files identified by script
Mats Lidell <matsl@xemacs.org>
parents: 3876
diff changeset
115 along with XEmacs. If not, see <http://www.gnu.org/licenses/>.