annotate etc/BABYL @ 103670:cbbd2a335c8c

(Type Conversion): Don't use literal control character.
author Andreas Schwab <schwab@linux-m68k.org>
date Wed, 01 Jul 2009 15:15:52 +0000
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"