annotate etc/BABYL @ 110531:67ff8ad45bd5

Synch SRecode to CEDET 1.0. * lisp/cedet/cedet.el (cedet-version): * lisp/cedet/srecode.el (srecode-version): Bump version to 1.0. * lisp/cedet/pulse.el (pulse-momentary-highlight-overlay): If pulse-flag is 'never, disable all pulsing. * lisp/cedet/srecode/compile.el (srecode-compile-templates): Fix directory compare of built-in templates. Give built-ins lower piority. Support special variable "project". (srecode-compile-template-table): Set :project slot of new tables. (srecode-compile-one-template-tag): Use srecode-create-dictionaries-from-tags. * lisp/cedet/srecode/cpp.el (srecode-cpp): New defgroup. (srecode-cpp-namespaces): New option. (srecode-semantic-handle-:using-namespaces) (srecode-cpp-apply-templates): New functions. (srecode-semantic-apply-tag-to-dict): Handle template parameters by calling `srecode-cpp-apply-templates'. * lisp/cedet/srecode/dictionary.el (srecode-dictionary-add-template-table): Do not add variables in tables not for the current project. (srecode-compound-toString): Handle cases where the default value is another compound value. (srecode-dictionary-lookup-name): New optional argument NON-RECURSIVE, which inhibits visiting dictionary parents. (srecode-dictionary-add-section-dictionary) (srecode-dictionary-merge): New optional argument FORCE adds values even if an identically named entry exists. (srecode-dictionary-add-entries): New method. (srecode-create-dictionaries-from-tags): New function. * lisp/cedet/srecode/fields.el (srecode-fields-exit-confirmation): New option. (srecode-field-exit-ask): Use it. * lisp/cedet/srecode/find.el (srecode-template-get-table) (srecode-template-get-table-for-binding) (srecode-all-template-hash): Skip if not in current project. (srecode-template-table-in-project-p): New method. * lisp/cedet/srecode/getset.el (srecode-insert-getset): Force tag table update. Don't query the class if it is empty. * lisp/cedet/srecode/insert.el (srecode-insert-fcn): Merge template dictionary before resolving arguments. (srecode-insert-method-helper): Add error checking to make sure that we only have dictionaries. (srecode-insert-method): Check template nesting depth when using point inserter override. (srecode-insert-method): Install override with depth limit. * lisp/cedet/srecode/map.el (srecode-map-update-map): Make map loading more robust. * lisp/cedet/srecode/mode.el (srecode-bind-insert): Call srecode-load-tables-for-mode. (srecode-minor-mode-templates-menu): Do not list templates that are not in the current project. (srecode-menu-bar): Add binding for srecode-macro-help. * lisp/cedet/srecode/table.el (srecode-template-table): Add :project slot. (srecode-dump): Dump it. * lisp/cedet/srecode/texi.el (srecode-texi-insert-tag-as-doc): New function. (semantic-insert-foreign-tag): Use it.
author Chong Yidong <cyd@stupidchicken.com>
date Tue, 21 Sep 2010 18:11:23 -0400
parents 89895e7b4ac6
children
Ignore whitespace changes - Everywhere: Within whitespace: At end of lines:
rev   line source
25853
Dave Love <fx@gnu.org>
parents:
diff changeset
1 Format of Version 5 Babyl Files:
Dave Love <fx@gnu.org>
parents:
diff changeset
2
101510
89895e7b4ac6 Add an introductory comment.
Glenn Morris <rgm@gnu.org>
parents: 25853
diff changeset
3 (Babyl was the storage format used by Rmail before Emacs 23.1.
89895e7b4ac6 Add an introductory comment.
Glenn Morris <rgm@gnu.org>
parents: 25853
diff changeset
4 Since then it uses mbox format.)
89895e7b4ac6 Add an introductory comment.
Glenn Morris <rgm@gnu.org>
parents: 25853
diff changeset
5
25853
Dave Love <fx@gnu.org>
parents:
diff changeset
6 Warning:
Dave Love <fx@gnu.org>
parents:
diff changeset
7
Dave Love <fx@gnu.org>
parents:
diff changeset
8 This was written Tuesday, 12 April 1983 (by Eugene Ciccarelli),
Dave Love <fx@gnu.org>
parents:
diff changeset
9 based on looking at a particular Babyl file and recalling various
Dave Love <fx@gnu.org>
parents:
diff changeset
10 issues. Therefore it is not guaranteed to be complete, but it is a
Dave Love <fx@gnu.org>
parents:
diff changeset
11 start, and I will try to point the reader to various Babyl functions
Dave Love <fx@gnu.org>
parents:
diff changeset
12 that will serve to clarify certain format questions.
Dave Love <fx@gnu.org>
parents:
diff changeset
13
Dave Love <fx@gnu.org>
parents:
diff changeset
14 Also note that this file will not contain control-characters,
Dave Love <fx@gnu.org>
parents:
diff changeset
15 but instead have two-character sequences starting with Uparrow.
Dave Love <fx@gnu.org>
parents:
diff changeset
16 Unless otherwise stated, an Uparrow <character> is to be read as
Dave Love <fx@gnu.org>
parents:
diff changeset
17 Control-<character>, e.g. ^L is a Control-L.
Dave Love <fx@gnu.org>
parents:
diff changeset
18
Dave Love <fx@gnu.org>
parents:
diff changeset
19 Versions:
Dave Love <fx@gnu.org>
parents:
diff changeset
20
Dave Love <fx@gnu.org>
parents:
diff changeset
21 First, note that each Babyl file contains in its BABYL OPTIONS
Dave Love <fx@gnu.org>
parents:
diff changeset
22 section the version for the Babyl file format. In principle, the
Dave Love <fx@gnu.org>
parents:
diff changeset
23 format can be changed in any way as long as we increment the format
Dave Love <fx@gnu.org>
parents:
diff changeset
24 version number; then programs can support both old and new formats.
Dave Love <fx@gnu.org>
parents:
diff changeset
25
Dave Love <fx@gnu.org>
parents:
diff changeset
26 In practice, version 5 is the only format version used, and the
Dave Love <fx@gnu.org>
parents:
diff changeset
27 previous versions have been obsolete for so long that Emacs does not
Dave Love <fx@gnu.org>
parents:
diff changeset
28 support them.
Dave Love <fx@gnu.org>
parents:
diff changeset
29
Dave Love <fx@gnu.org>
parents:
diff changeset
30
Dave Love <fx@gnu.org>
parents:
diff changeset
31 Overall Babyl File Structure:
Dave Love <fx@gnu.org>
parents:
diff changeset
32
Dave Love <fx@gnu.org>
parents:
diff changeset
33 A Babyl file consists of a BABYL OPTIONS section followed by
Dave Love <fx@gnu.org>
parents:
diff changeset
34 0 or more message sections. The BABYL OPTIONS section starts
Dave Love <fx@gnu.org>
parents:
diff changeset
35 with the line "BABYL OPTIONS:". Message sections start with
Dave Love <fx@gnu.org>
parents:
diff changeset
36 Control-Underscore Control-L Newline. Each section ends
Dave Love <fx@gnu.org>
parents:
diff changeset
37 with a Control-Underscore. (That is also the first character
Dave Love <fx@gnu.org>
parents:
diff changeset
38 of the starter for the next section, if any.) Thus, a three
Dave Love <fx@gnu.org>
parents:
diff changeset
39 message Babyl file looks like:
Dave Love <fx@gnu.org>
parents:
diff changeset
40
Dave Love <fx@gnu.org>
parents:
diff changeset
41 BABYL OPTIONS:
Dave Love <fx@gnu.org>
parents:
diff changeset
42 ...the stuff within the Babyl Options section...
Dave Love <fx@gnu.org>
parents:
diff changeset
43 ^_^L
Dave Love <fx@gnu.org>
parents:
diff changeset
44 ...the stuff within the 1st message section...
Dave Love <fx@gnu.org>
parents:
diff changeset
45 ^_^L
Dave Love <fx@gnu.org>
parents:
diff changeset
46 ...the stuff within the 2nd message section...
Dave Love <fx@gnu.org>
parents:
diff changeset
47 ^_^L
Dave Love <fx@gnu.org>
parents:
diff changeset
48 ...the stuff within the last message section...
Dave Love <fx@gnu.org>
parents:
diff changeset
49 ^_
Dave Love <fx@gnu.org>
parents:
diff changeset
50
Dave Love <fx@gnu.org>
parents:
diff changeset
51 Babyl is tolerant about some whitespace at the end of the
Dave Love <fx@gnu.org>
parents:
diff changeset
52 file -- the file may end with the final ^_ or it may have some
Dave Love <fx@gnu.org>
parents:
diff changeset
53 whitespace, e.g. a newline, after it.
Dave Love <fx@gnu.org>
parents:
diff changeset
54
Dave Love <fx@gnu.org>
parents:
diff changeset
55
Dave Love <fx@gnu.org>
parents:
diff changeset
56 The BABYL OPTIONS Section:
Dave Love <fx@gnu.org>
parents:
diff changeset
57
Dave Love <fx@gnu.org>
parents:
diff changeset
58 Each Babyl option is specified on one line (thus restricting
Dave Love <fx@gnu.org>
parents:
diff changeset
59 string values these options can currently have). Values are
Dave Love <fx@gnu.org>
parents:
diff changeset
60 either numbers or strings. The format is name, colon, and the
Dave Love <fx@gnu.org>
parents:
diff changeset
61 value, with whitespace after the colon ignored, e.g.:
Dave Love <fx@gnu.org>
parents:
diff changeset
62
Dave Love <fx@gnu.org>
parents:
diff changeset
63 Mail: ~/special-inbox
Dave Love <fx@gnu.org>
parents:
diff changeset
64
Dave Love <fx@gnu.org>
parents:
diff changeset
65 Unrecognized options are ignored.
Dave Love <fx@gnu.org>
parents:
diff changeset
66
Dave Love <fx@gnu.org>
parents:
diff changeset
67 Here are those options and the kind of values currently expected:
Dave Love <fx@gnu.org>
parents:
diff changeset
68
Dave Love <fx@gnu.org>
parents:
diff changeset
69 MAIL Filename, the input mail file for this
Dave Love <fx@gnu.org>
parents:
diff changeset
70 Babyl file. You may also use several file names
Dave Love <fx@gnu.org>
parents:
diff changeset
71 separated by commas.
Dave Love <fx@gnu.org>
parents:
diff changeset
72 Version Number. This should always be 5.
Dave Love <fx@gnu.org>
parents:
diff changeset
73 Labels String, list of labels, separated by commas.
Dave Love <fx@gnu.org>
parents:
diff changeset
74
Dave Love <fx@gnu.org>
parents:
diff changeset
75
Dave Love <fx@gnu.org>
parents:
diff changeset
76 Message Sections:
Dave Love <fx@gnu.org>
parents:
diff changeset
77
Dave Love <fx@gnu.org>
parents:
diff changeset
78 A message section contains one message and information
Dave Love <fx@gnu.org>
parents:
diff changeset
79 associated with it. The first line is the "status line", which
Dave Love <fx@gnu.org>
parents:
diff changeset
80 contains a bit (0 or 1 character) saying whether the message has
Dave Love <fx@gnu.org>
parents:
diff changeset
81 been reformed yet, and a list of the labels attached to this
Dave Love <fx@gnu.org>
parents:
diff changeset
82 message. Certain labels, called basic labels, are built into
Dave Love <fx@gnu.org>
parents:
diff changeset
83 Babyl in a fundamental way, and are separated in the status line
Dave Love <fx@gnu.org>
parents:
diff changeset
84 for convenience of operation. For example, consider the status
Dave Love <fx@gnu.org>
parents:
diff changeset
85 line:
Dave Love <fx@gnu.org>
parents:
diff changeset
86
Dave Love <fx@gnu.org>
parents:
diff changeset
87 1, answered,, zval, bug,
Dave Love <fx@gnu.org>
parents:
diff changeset
88
Dave Love <fx@gnu.org>
parents:
diff changeset
89 The 1 means this message has been reformed. This message is
Dave Love <fx@gnu.org>
parents:
diff changeset
90 labeled "answered", "zval", and "bug". The first, "answered", is
Dave Love <fx@gnu.org>
parents:
diff changeset
91 a basic label, and the other two are user labels. The basic
Dave Love <fx@gnu.org>
parents:
diff changeset
92 labels come before the double-comma in the line. Each label is
Dave Love <fx@gnu.org>
parents:
diff changeset
93 preceded by ", " and followed by ",". (The last basic label is
Dave Love <fx@gnu.org>
parents:
diff changeset
94 in fact followed by ",,".) If this message had no labels at all,
Dave Love <fx@gnu.org>
parents:
diff changeset
95 it would look like:
Dave Love <fx@gnu.org>
parents:
diff changeset
96
Dave Love <fx@gnu.org>
parents:
diff changeset
97 1,,
Dave Love <fx@gnu.org>
parents:
diff changeset
98
Dave Love <fx@gnu.org>
parents:
diff changeset
99 Or, if it had two basic labels, "answered" and "deleted", it
Dave Love <fx@gnu.org>
parents:
diff changeset
100 would look like:
Dave Love <fx@gnu.org>
parents:
diff changeset
101
Dave Love <fx@gnu.org>
parents:
diff changeset
102 1, answered, deleted,, zval, bug,
Dave Love <fx@gnu.org>
parents:
diff changeset
103
Dave Love <fx@gnu.org>
parents:
diff changeset
104 The & Label Babyl Message knows which are the basic labels.
Dave Love <fx@gnu.org>
parents:
diff changeset
105 Currently they are: deleted, unseen, recent, and answered.
Dave Love <fx@gnu.org>
parents:
diff changeset
106
Dave Love <fx@gnu.org>
parents:
diff changeset
107 After the status line comes the original header if any.
Dave Love <fx@gnu.org>
parents:
diff changeset
108 Following that is the EOOH line, which contains exactly the
Dave Love <fx@gnu.org>
parents:
diff changeset
109 characters "*** EOOH ***" (which stands for "end of original
Dave Love <fx@gnu.org>
parents:
diff changeset
110 header"). Note that the original header, if a network format
Dave Love <fx@gnu.org>
parents:
diff changeset
111 header, includes the trailing newline. And finally, following the
Dave Love <fx@gnu.org>
parents:
diff changeset
112 EOOH line is the visible message, header and text. For example,
Dave Love <fx@gnu.org>
parents:
diff changeset
113 here is a complete message section, starting with the message
Dave Love <fx@gnu.org>
parents:
diff changeset
114 starter, and ending with the terminator:
Dave Love <fx@gnu.org>
parents:
diff changeset
115
Dave Love <fx@gnu.org>
parents:
diff changeset
116 ^_^L
Dave Love <fx@gnu.org>
parents:
diff changeset
117 1,, wordab, eccmacs,
Dave Love <fx@gnu.org>
parents:
diff changeset
118 Date: 11 May 1982 21:40-EDT
Dave Love <fx@gnu.org>
parents:
diff changeset
119 From: Eugene C. Ciccarelli <ECC at MIT-AI>
Dave Love <fx@gnu.org>
parents:
diff changeset
120 Subject: notes
Dave Love <fx@gnu.org>
parents:
diff changeset
121 To: ECC at MIT-AI
Dave Love <fx@gnu.org>
parents:
diff changeset
122
Dave Love <fx@gnu.org>
parents:
diff changeset
123 *** EOOH ***
Dave Love <fx@gnu.org>
parents:
diff changeset
124 Date: Tuesday, 11 May 1982 21:40-EDT
Dave Love <fx@gnu.org>
parents:
diff changeset
125 From: Eugene C. Ciccarelli <ECC>
Dave Love <fx@gnu.org>
parents:
diff changeset
126 To: ECC
Dave Love <fx@gnu.org>
parents:
diff changeset
127 Re: notes
Dave Love <fx@gnu.org>
parents:
diff changeset
128
Dave Love <fx@gnu.org>
parents:
diff changeset
129 Remember to pickup check at cashier's office, and deposit it
Dave Love <fx@gnu.org>
parents:
diff changeset
130 soon. Pay rent.
Dave Love <fx@gnu.org>
parents:
diff changeset
131 ^_
Dave Love <fx@gnu.org>
parents:
diff changeset
132
Dave Love <fx@gnu.org>
parents:
diff changeset
133 ;;; Babyl File BNF:
Dave Love <fx@gnu.org>
parents:
diff changeset
134
Dave Love <fx@gnu.org>
parents:
diff changeset
135 ;;; Overall Babyl file structure:
Dave Love <fx@gnu.org>
parents:
diff changeset
136
Dave Love <fx@gnu.org>
parents:
diff changeset
137
Dave Love <fx@gnu.org>
parents:
diff changeset
138 Babyl-File ::= Babyl-Options-Section (Message-Section)*
Dave Love <fx@gnu.org>
parents:
diff changeset
139
Dave Love <fx@gnu.org>
parents:
diff changeset
140
Dave Love <fx@gnu.org>
parents:
diff changeset
141 ;;; Babyl Options section:
Dave Love <fx@gnu.org>
parents:
diff changeset
142
Dave Love <fx@gnu.org>
parents:
diff changeset
143
Dave Love <fx@gnu.org>
parents:
diff changeset
144 Babyl-Options-Section
Dave Love <fx@gnu.org>
parents:
diff changeset
145 ::= "BABYL OPTIONS:" newline (Babyl-Option)* Terminator
Dave Love <fx@gnu.org>
parents:
diff changeset
146
Dave Love <fx@gnu.org>
parents:
diff changeset
147 Babyl-Option ::= Option-Name ":" Horiz-Whitespace BOptValue newline
Dave Love <fx@gnu.org>
parents:
diff changeset
148
Dave Love <fx@gnu.org>
parents:
diff changeset
149 BOptValue ::= Number | 1-Line-String
Dave Love <fx@gnu.org>
parents:
diff changeset
150
Dave Love <fx@gnu.org>
parents:
diff changeset
151
Dave Love <fx@gnu.org>
parents:
diff changeset
152
Dave Love <fx@gnu.org>
parents:
diff changeset
153 ;;; Message section:
Dave Love <fx@gnu.org>
parents:
diff changeset
154
Dave Love <fx@gnu.org>
parents:
diff changeset
155
Dave Love <fx@gnu.org>
parents:
diff changeset
156 Message-Section ::= Message-Starter Status-Line Orig-Header
Dave Love <fx@gnu.org>
parents:
diff changeset
157 EOOH-Line Message Terminator
Dave Love <fx@gnu.org>
parents:
diff changeset
158
Dave Love <fx@gnu.org>
parents:
diff changeset
159 Message-Starter ::= "^L" newline
Dave Love <fx@gnu.org>
parents:
diff changeset
160
Dave Love <fx@gnu.org>
parents:
diff changeset
161 Status-Line ::= Bit-Char "," (Basic-Label)* "," (User-Label)* newline
Dave Love <fx@gnu.org>
parents:
diff changeset
162
Dave Love <fx@gnu.org>
parents:
diff changeset
163 Basic-Label ::= Space BLabel-Name ","
Dave Love <fx@gnu.org>
parents:
diff changeset
164
Dave Love <fx@gnu.org>
parents:
diff changeset
165 User-Label ::= Space ULabel-Name ","
Dave Love <fx@gnu.org>
parents:
diff changeset
166
Dave Love <fx@gnu.org>
parents:
diff changeset
167 EOOH-Line ::= "*** EOOH ***" newline
Dave Love <fx@gnu.org>
parents:
diff changeset
168
Dave Love <fx@gnu.org>
parents:
diff changeset
169 Message ::= Visible-Header Message-Text
Dave Love <fx@gnu.org>
parents:
diff changeset
170
Dave Love <fx@gnu.org>
parents:
diff changeset
171
Dave Love <fx@gnu.org>
parents:
diff changeset
172 ;;; Utilities:
Dave Love <fx@gnu.org>
parents:
diff changeset
173
Dave Love <fx@gnu.org>
parents:
diff changeset
174 Terminator ::= "^_"
Dave Love <fx@gnu.org>
parents:
diff changeset
175
Dave Love <fx@gnu.org>
parents:
diff changeset
176 Horiz-Whitespace
Dave Love <fx@gnu.org>
parents:
diff changeset
177 ::= (Space | Tab)*
Dave Love <fx@gnu.org>
parents:
diff changeset
178
Dave Love <fx@gnu.org>
parents:
diff changeset
179 Bit-Char ::= "0" | "1"