annotate etc/BABYL @ 42:8b8b7f3559a2 r19-15b104

Import from CVS: tag r19-15b104
author cvs
date Mon, 13 Aug 2007 08:54:51 +0200
parents 376386a54a3c
children
Ignore whitespace changes - Everywhere: Within whitespace: At end of lines:
rev   line source
0
376386a54a3c Import from CVS: tag r19-14
cvs
parents:
diff changeset
1 Format of Version 5 Babyl Files:
376386a54a3c Import from CVS: tag r19-14
cvs
parents:
diff changeset
2
376386a54a3c Import from CVS: tag r19-14
cvs
parents:
diff changeset
3 Warning:
376386a54a3c Import from CVS: tag r19-14
cvs
parents:
diff changeset
4
376386a54a3c Import from CVS: tag r19-14
cvs
parents:
diff changeset
5 This was written Tuesday, 12 April 1983 (by Eugene Ciccarelli),
376386a54a3c Import from CVS: tag r19-14
cvs
parents:
diff changeset
6 based on looking at a particular Babyl file and recalling various
376386a54a3c Import from CVS: tag r19-14
cvs
parents:
diff changeset
7 issues. Therefore it is not guaranteed to be complete, but it is a
376386a54a3c Import from CVS: tag r19-14
cvs
parents:
diff changeset
8 start, and I will try to point the reader to various Babyl functions
376386a54a3c Import from CVS: tag r19-14
cvs
parents:
diff changeset
9 that will serve to clarify certain format questions.
376386a54a3c Import from CVS: tag r19-14
cvs
parents:
diff changeset
10
376386a54a3c Import from CVS: tag r19-14
cvs
parents:
diff changeset
11 Also note that this file will not contain control-characters,
376386a54a3c Import from CVS: tag r19-14
cvs
parents:
diff changeset
12 but instead have two-character sequences starting with Uparrow.
376386a54a3c Import from CVS: tag r19-14
cvs
parents:
diff changeset
13 Unless otherwise stated, an Uparrow <character> is to be read as
376386a54a3c Import from CVS: tag r19-14
cvs
parents:
diff changeset
14 Control-<character>, e.g. ^L is a Control-L.
376386a54a3c Import from CVS: tag r19-14
cvs
parents:
diff changeset
15
376386a54a3c Import from CVS: tag r19-14
cvs
parents:
diff changeset
16 Versions:
376386a54a3c Import from CVS: tag r19-14
cvs
parents:
diff changeset
17
376386a54a3c Import from CVS: tag r19-14
cvs
parents:
diff changeset
18 First, note that each Babyl file contains in its BABYL OPTIONS
376386a54a3c Import from CVS: tag r19-14
cvs
parents:
diff changeset
19 section the version for the Babyl file format. In principle, the
376386a54a3c Import from CVS: tag r19-14
cvs
parents:
diff changeset
20 format can be changed in any way as long as we increment the format
376386a54a3c Import from CVS: tag r19-14
cvs
parents:
diff changeset
21 version number; then programs can support both old and new formats.
376386a54a3c Import from CVS: tag r19-14
cvs
parents:
diff changeset
22
376386a54a3c Import from CVS: tag r19-14
cvs
parents:
diff changeset
23 In practice, version 5 is the only format version used, and the
376386a54a3c Import from CVS: tag r19-14
cvs
parents:
diff changeset
24 previous versions have been obsolete for so long that Emacs does not
376386a54a3c Import from CVS: tag r19-14
cvs
parents:
diff changeset
25 support them.
376386a54a3c Import from CVS: tag r19-14
cvs
parents:
diff changeset
26
376386a54a3c Import from CVS: tag r19-14
cvs
parents:
diff changeset
27
376386a54a3c Import from CVS: tag r19-14
cvs
parents:
diff changeset
28 Overall Babyl File Structure:
376386a54a3c Import from CVS: tag r19-14
cvs
parents:
diff changeset
29
376386a54a3c Import from CVS: tag r19-14
cvs
parents:
diff changeset
30 A Babyl file consists of a BABYL OPTIONS section followed by
376386a54a3c Import from CVS: tag r19-14
cvs
parents:
diff changeset
31 0 or more message sections. The BABYL OPTIONS section starts
376386a54a3c Import from CVS: tag r19-14
cvs
parents:
diff changeset
32 with the line "BABYL OPTIONS:". Message sections start with
376386a54a3c Import from CVS: tag r19-14
cvs
parents:
diff changeset
33 Control-Underscore Control-L Newline. Each section ends
376386a54a3c Import from CVS: tag r19-14
cvs
parents:
diff changeset
34 with a Control-Underscore. (That is also the first character
376386a54a3c Import from CVS: tag r19-14
cvs
parents:
diff changeset
35 of the starter for the next section, if any.) Thus, a three
376386a54a3c Import from CVS: tag r19-14
cvs
parents:
diff changeset
36 message Babyl file looks like:
376386a54a3c Import from CVS: tag r19-14
cvs
parents:
diff changeset
37
376386a54a3c Import from CVS: tag r19-14
cvs
parents:
diff changeset
38 BABYL OPTIONS:
376386a54a3c Import from CVS: tag r19-14
cvs
parents:
diff changeset
39 ...the stuff within the Babyl Options section...
376386a54a3c Import from CVS: tag r19-14
cvs
parents:
diff changeset
40 ^_^L
376386a54a3c Import from CVS: tag r19-14
cvs
parents:
diff changeset
41 ...the stuff within the 1st message section...
376386a54a3c Import from CVS: tag r19-14
cvs
parents:
diff changeset
42 ^_^L
376386a54a3c Import from CVS: tag r19-14
cvs
parents:
diff changeset
43 ...the stuff within the 2nd message section...
376386a54a3c Import from CVS: tag r19-14
cvs
parents:
diff changeset
44 ^_^L
376386a54a3c Import from CVS: tag r19-14
cvs
parents:
diff changeset
45 ...the stuff within the last message section...
376386a54a3c Import from CVS: tag r19-14
cvs
parents:
diff changeset
46 ^_
376386a54a3c Import from CVS: tag r19-14
cvs
parents:
diff changeset
47
376386a54a3c Import from CVS: tag r19-14
cvs
parents:
diff changeset
48 Babyl is tolerant about some whitespace at the end of the
376386a54a3c Import from CVS: tag r19-14
cvs
parents:
diff changeset
49 file -- the file may end with the final ^_ or it may have some
376386a54a3c Import from CVS: tag r19-14
cvs
parents:
diff changeset
50 whitespace, e.g. a newline, after it.
376386a54a3c Import from CVS: tag r19-14
cvs
parents:
diff changeset
51
376386a54a3c Import from CVS: tag r19-14
cvs
parents:
diff changeset
52
376386a54a3c Import from CVS: tag r19-14
cvs
parents:
diff changeset
53 The BABYL OPTIONS Section:
376386a54a3c Import from CVS: tag r19-14
cvs
parents:
diff changeset
54
376386a54a3c Import from CVS: tag r19-14
cvs
parents:
diff changeset
55 Each Babyl option is specified on one line (thus restricting
376386a54a3c Import from CVS: tag r19-14
cvs
parents:
diff changeset
56 string values these options can currently have). Values are
376386a54a3c Import from CVS: tag r19-14
cvs
parents:
diff changeset
57 either numbers or strings. The format is name, colon, and the
376386a54a3c Import from CVS: tag r19-14
cvs
parents:
diff changeset
58 value, with whitespace after the colon ignored, e.g.:
376386a54a3c Import from CVS: tag r19-14
cvs
parents:
diff changeset
59
376386a54a3c Import from CVS: tag r19-14
cvs
parents:
diff changeset
60 Mail: ~/special-inbox
376386a54a3c Import from CVS: tag r19-14
cvs
parents:
diff changeset
61
376386a54a3c Import from CVS: tag r19-14
cvs
parents:
diff changeset
62 Unrecognized options are ignored.
376386a54a3c Import from CVS: tag r19-14
cvs
parents:
diff changeset
63
376386a54a3c Import from CVS: tag r19-14
cvs
parents:
diff changeset
64 Here are those options and the kind of values currently expected:
376386a54a3c Import from CVS: tag r19-14
cvs
parents:
diff changeset
65
376386a54a3c Import from CVS: tag r19-14
cvs
parents:
diff changeset
66 MAIL Filename, the input mail file for this
376386a54a3c Import from CVS: tag r19-14
cvs
parents:
diff changeset
67 Babyl file. You may also use several file names
376386a54a3c Import from CVS: tag r19-14
cvs
parents:
diff changeset
68 separated by commas.
376386a54a3c Import from CVS: tag r19-14
cvs
parents:
diff changeset
69 Version Number. This should always be 5.
376386a54a3c Import from CVS: tag r19-14
cvs
parents:
diff changeset
70 Labels String, list of labels, separated by commas.
376386a54a3c Import from CVS: tag r19-14
cvs
parents:
diff changeset
71
376386a54a3c Import from CVS: tag r19-14
cvs
parents:
diff changeset
72
376386a54a3c Import from CVS: tag r19-14
cvs
parents:
diff changeset
73 Message Sections:
376386a54a3c Import from CVS: tag r19-14
cvs
parents:
diff changeset
74
376386a54a3c Import from CVS: tag r19-14
cvs
parents:
diff changeset
75 A message section contains one message and information
376386a54a3c Import from CVS: tag r19-14
cvs
parents:
diff changeset
76 associated with it. The first line is the "status line", which
376386a54a3c Import from CVS: tag r19-14
cvs
parents:
diff changeset
77 contains a bit (0 or 1 character) saying whether the message has
376386a54a3c Import from CVS: tag r19-14
cvs
parents:
diff changeset
78 been reformed yet, and a list of the labels attached to this
376386a54a3c Import from CVS: tag r19-14
cvs
parents:
diff changeset
79 message. Certain labels, called basic labels, are built into
376386a54a3c Import from CVS: tag r19-14
cvs
parents:
diff changeset
80 Babyl in a fundamental way, and are separated in the status line
376386a54a3c Import from CVS: tag r19-14
cvs
parents:
diff changeset
81 for convenience of operation. For example, consider the status
376386a54a3c Import from CVS: tag r19-14
cvs
parents:
diff changeset
82 line:
376386a54a3c Import from CVS: tag r19-14
cvs
parents:
diff changeset
83
376386a54a3c Import from CVS: tag r19-14
cvs
parents:
diff changeset
84 1, answered,, zval, bug,
376386a54a3c Import from CVS: tag r19-14
cvs
parents:
diff changeset
85
376386a54a3c Import from CVS: tag r19-14
cvs
parents:
diff changeset
86 The 1 means this message has been reformed. This message is
376386a54a3c Import from CVS: tag r19-14
cvs
parents:
diff changeset
87 labeled "answered", "zval", and "bug". The first, "answered", is
376386a54a3c Import from CVS: tag r19-14
cvs
parents:
diff changeset
88 a basic label, and the other two are user labels. The basic
376386a54a3c Import from CVS: tag r19-14
cvs
parents:
diff changeset
89 labels come before the double-comma in the line. Each label is
376386a54a3c Import from CVS: tag r19-14
cvs
parents:
diff changeset
90 preceded by ", " and followed by ",". (The last basic label is
376386a54a3c Import from CVS: tag r19-14
cvs
parents:
diff changeset
91 in fact followed by ",,".) If this message had no labels at all,
376386a54a3c Import from CVS: tag r19-14
cvs
parents:
diff changeset
92 it would look like:
376386a54a3c Import from CVS: tag r19-14
cvs
parents:
diff changeset
93
376386a54a3c Import from CVS: tag r19-14
cvs
parents:
diff changeset
94 1,,
376386a54a3c Import from CVS: tag r19-14
cvs
parents:
diff changeset
95
376386a54a3c Import from CVS: tag r19-14
cvs
parents:
diff changeset
96 Or, if it had two basic labels, "answered" and "deleted", it
376386a54a3c Import from CVS: tag r19-14
cvs
parents:
diff changeset
97 would look like:
376386a54a3c Import from CVS: tag r19-14
cvs
parents:
diff changeset
98
376386a54a3c Import from CVS: tag r19-14
cvs
parents:
diff changeset
99 1, answered, deleted,, zval, bug,
376386a54a3c Import from CVS: tag r19-14
cvs
parents:
diff changeset
100
376386a54a3c Import from CVS: tag r19-14
cvs
parents:
diff changeset
101 The & Label Babyl Message knows which are the basic labels.
376386a54a3c Import from CVS: tag r19-14
cvs
parents:
diff changeset
102 Currently they are: deleted, unseen, recent, and answered.
376386a54a3c Import from CVS: tag r19-14
cvs
parents:
diff changeset
103
376386a54a3c Import from CVS: tag r19-14
cvs
parents:
diff changeset
104 After the status line comes the original header if any.
376386a54a3c Import from CVS: tag r19-14
cvs
parents:
diff changeset
105 Following that is the EOOH line, which contains exactly the
376386a54a3c Import from CVS: tag r19-14
cvs
parents:
diff changeset
106 characters "*** EOOH ***" (which stands for "end of original
376386a54a3c Import from CVS: tag r19-14
cvs
parents:
diff changeset
107 header"). Note that the original header, if a network format
376386a54a3c Import from CVS: tag r19-14
cvs
parents:
diff changeset
108 header, includes the trailing newline. And finally, following the
376386a54a3c Import from CVS: tag r19-14
cvs
parents:
diff changeset
109 EOOH line is the visible message, header and text. For example,
376386a54a3c Import from CVS: tag r19-14
cvs
parents:
diff changeset
110 here is a complete message section, starting with the message
376386a54a3c Import from CVS: tag r19-14
cvs
parents:
diff changeset
111 starter, and ending with the terminator:
376386a54a3c Import from CVS: tag r19-14
cvs
parents:
diff changeset
112
376386a54a3c Import from CVS: tag r19-14
cvs
parents:
diff changeset
113 ^_^L
376386a54a3c Import from CVS: tag r19-14
cvs
parents:
diff changeset
114 1,, wordab, eccmacs,
376386a54a3c Import from CVS: tag r19-14
cvs
parents:
diff changeset
115 Date: 11 May 1982 21:40-EDT
376386a54a3c Import from CVS: tag r19-14
cvs
parents:
diff changeset
116 From: Eugene C. Ciccarelli <ECC at MIT-AI>
376386a54a3c Import from CVS: tag r19-14
cvs
parents:
diff changeset
117 Subject: notes
376386a54a3c Import from CVS: tag r19-14
cvs
parents:
diff changeset
118 To: ECC at MIT-AI
376386a54a3c Import from CVS: tag r19-14
cvs
parents:
diff changeset
119
376386a54a3c Import from CVS: tag r19-14
cvs
parents:
diff changeset
120 *** EOOH ***
376386a54a3c Import from CVS: tag r19-14
cvs
parents:
diff changeset
121 Date: Tuesday, 11 May 1982 21:40-EDT
376386a54a3c Import from CVS: tag r19-14
cvs
parents:
diff changeset
122 From: Eugene C. Ciccarelli <ECC>
376386a54a3c Import from CVS: tag r19-14
cvs
parents:
diff changeset
123 To: ECC
376386a54a3c Import from CVS: tag r19-14
cvs
parents:
diff changeset
124 Re: notes
376386a54a3c Import from CVS: tag r19-14
cvs
parents:
diff changeset
125
376386a54a3c Import from CVS: tag r19-14
cvs
parents:
diff changeset
126 Remember to pickup check at cashier's office, and deposit it
376386a54a3c Import from CVS: tag r19-14
cvs
parents:
diff changeset
127 soon. Pay rent.
376386a54a3c Import from CVS: tag r19-14
cvs
parents:
diff changeset
128 ^_
376386a54a3c Import from CVS: tag r19-14
cvs
parents:
diff changeset
129
376386a54a3c Import from CVS: tag r19-14
cvs
parents:
diff changeset
130 ;;; Babyl File BNF:
376386a54a3c Import from CVS: tag r19-14
cvs
parents:
diff changeset
131
376386a54a3c Import from CVS: tag r19-14
cvs
parents:
diff changeset
132 ;;; Overall Babyl file structure:
376386a54a3c Import from CVS: tag r19-14
cvs
parents:
diff changeset
133
376386a54a3c Import from CVS: tag r19-14
cvs
parents:
diff changeset
134
376386a54a3c Import from CVS: tag r19-14
cvs
parents:
diff changeset
135 Babyl-File ::= Babyl-Options-Section (Message-Section)*
376386a54a3c Import from CVS: tag r19-14
cvs
parents:
diff changeset
136
376386a54a3c Import from CVS: tag r19-14
cvs
parents:
diff changeset
137
376386a54a3c Import from CVS: tag r19-14
cvs
parents:
diff changeset
138 ;;; Babyl Options section:
376386a54a3c Import from CVS: tag r19-14
cvs
parents:
diff changeset
139
376386a54a3c Import from CVS: tag r19-14
cvs
parents:
diff changeset
140
376386a54a3c Import from CVS: tag r19-14
cvs
parents:
diff changeset
141 Babyl-Options-Section
376386a54a3c Import from CVS: tag r19-14
cvs
parents:
diff changeset
142 ::= "BABYL OPTIONS:" newline (Babyl-Option)* Terminator
376386a54a3c Import from CVS: tag r19-14
cvs
parents:
diff changeset
143
376386a54a3c Import from CVS: tag r19-14
cvs
parents:
diff changeset
144 Babyl-Option ::= Option-Name ":" Horiz-Whitespace BOptValue newline
376386a54a3c Import from CVS: tag r19-14
cvs
parents:
diff changeset
145
376386a54a3c Import from CVS: tag r19-14
cvs
parents:
diff changeset
146 BOptValue ::= Number | 1-Line-String
376386a54a3c Import from CVS: tag r19-14
cvs
parents:
diff changeset
147
376386a54a3c Import from CVS: tag r19-14
cvs
parents:
diff changeset
148
376386a54a3c Import from CVS: tag r19-14
cvs
parents:
diff changeset
149
376386a54a3c Import from CVS: tag r19-14
cvs
parents:
diff changeset
150 ;;; Message section:
376386a54a3c Import from CVS: tag r19-14
cvs
parents:
diff changeset
151
376386a54a3c Import from CVS: tag r19-14
cvs
parents:
diff changeset
152
376386a54a3c Import from CVS: tag r19-14
cvs
parents:
diff changeset
153 Message-Section ::= Message-Starter Status-Line Orig-Header
376386a54a3c Import from CVS: tag r19-14
cvs
parents:
diff changeset
154 EOOH-Line Message Terminator
376386a54a3c Import from CVS: tag r19-14
cvs
parents:
diff changeset
155
376386a54a3c Import from CVS: tag r19-14
cvs
parents:
diff changeset
156 Message-Starter ::= "^L" newline
376386a54a3c Import from CVS: tag r19-14
cvs
parents:
diff changeset
157
376386a54a3c Import from CVS: tag r19-14
cvs
parents:
diff changeset
158 Status-Line ::= Bit-Char "," (Basic-Label)* "," (User-Label)* newline
376386a54a3c Import from CVS: tag r19-14
cvs
parents:
diff changeset
159
376386a54a3c Import from CVS: tag r19-14
cvs
parents:
diff changeset
160 Basic-Label ::= Space BLabel-Name ","
376386a54a3c Import from CVS: tag r19-14
cvs
parents:
diff changeset
161
376386a54a3c Import from CVS: tag r19-14
cvs
parents:
diff changeset
162 User-Label ::= Space ULabel-Name ","
376386a54a3c Import from CVS: tag r19-14
cvs
parents:
diff changeset
163
376386a54a3c Import from CVS: tag r19-14
cvs
parents:
diff changeset
164 EOOH-Line ::= "*** EOOH ***" newline
376386a54a3c Import from CVS: tag r19-14
cvs
parents:
diff changeset
165
376386a54a3c Import from CVS: tag r19-14
cvs
parents:
diff changeset
166 Message ::= Visible-Header Message-Text
376386a54a3c Import from CVS: tag r19-14
cvs
parents:
diff changeset
167
376386a54a3c Import from CVS: tag r19-14
cvs
parents:
diff changeset
168
376386a54a3c Import from CVS: tag r19-14
cvs
parents:
diff changeset
169 ;;; Utilities:
376386a54a3c Import from CVS: tag r19-14
cvs
parents:
diff changeset
170
376386a54a3c Import from CVS: tag r19-14
cvs
parents:
diff changeset
171 Terminator ::= "^_"
376386a54a3c Import from CVS: tag r19-14
cvs
parents:
diff changeset
172
376386a54a3c Import from CVS: tag r19-14
cvs
parents:
diff changeset
173 Horiz-Whitespace
376386a54a3c Import from CVS: tag r19-14
cvs
parents:
diff changeset
174 ::= (Space | Tab)*
376386a54a3c Import from CVS: tag r19-14
cvs
parents:
diff changeset
175
376386a54a3c Import from CVS: tag r19-14
cvs
parents:
diff changeset
176 Bit-Char ::= "0" | "1"