annotate lib-src/b2m.c @ 11343:34a2e8b9f4ba

(alloc.o, data.o, macros.o, minibuf.o, print.o, xdisp.o): Depend on keyboard.h.
author Richard M. Stallman <rms@gnu.org>
date Mon, 10 Apr 1995 05:52:18 +0000
parents 4b1c8dc724e6
children a096f82d87d9
Ignore whitespace changes - Everywhere: Within whitespace: At end of lines:
rev   line source
440
c1abcb55a546 Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
1 /*
c1abcb55a546 Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
2 * b2m - a filter for Babyl -> Unix mail files
c1abcb55a546 Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
3 *
c1abcb55a546 Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
4 * usage: b2m < babyl > mailbox
c1abcb55a546 Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
5 *
c1abcb55a546 Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
6 * I find this useful whenever I have to use a
c1abcb55a546 Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
7 * system which - shock horror! - doesn't run
c1abcb55a546 Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
8 * Gnu emacs. At least now I can read all my
c1abcb55a546 Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
9 * Gnumacs Babyl format mail files!
c1abcb55a546 Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
10 *
c1abcb55a546 Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
11 * it's not much but it's free!
c1abcb55a546 Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
12 *
c1abcb55a546 Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
13 * Ed Wilkinson
c1abcb55a546 Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
14 * E.Wilkinson@massey.ac.nz
c1abcb55a546 Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
15 * Mon Nov 7 15:54:06 PDT 1988
c1abcb55a546 Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
16 */
c1abcb55a546 Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
17
10370
4b1c8dc724e6 (concat, xmalloc, xrealloc, readline, xnew): Four new
Richard M. Stallman <rms@gnu.org>
parents: 9491
diff changeset
18 /* Made conformant to the GNU coding standards January, 1995
4b1c8dc724e6 (concat, xmalloc, xrealloc, readline, xnew): Four new
Richard M. Stallman <rms@gnu.org>
parents: 9491
diff changeset
19 by Francesco Potorti` <pot@cnuce.cnr.it>. */
4b1c8dc724e6 (concat, xmalloc, xrealloc, readline, xnew): Four new
Richard M. Stallman <rms@gnu.org>
parents: 9491
diff changeset
20
440
c1abcb55a546 Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
21 #include <stdio.h>
c1abcb55a546 Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
22 #include <time.h>
4008
b43e59cb1d54 * b2m.c: #include <sys/types.h>.
Jim Blandy <jimb@redhat.com>
parents: 2101
diff changeset
23 #include <sys/types.h>
5448
18de002e47dd (main) [MSDOS]: Open all files as binary.
Richard M. Stallman <rms@gnu.org>
parents: 4696
diff changeset
24 #ifdef MSDOS
18de002e47dd (main) [MSDOS]: Open all files as binary.
Richard M. Stallman <rms@gnu.org>
parents: 4696
diff changeset
25 #include <fcntl.h>
18de002e47dd (main) [MSDOS]: Open all files as binary.
Richard M. Stallman <rms@gnu.org>
parents: 4696
diff changeset
26 #endif
998
61c6983219ff entered into RCS
Jim Blandy <jimb@redhat.com>
parents: 440
diff changeset
27
10370
4b1c8dc724e6 (concat, xmalloc, xrealloc, readline, xnew): Four new
Richard M. Stallman <rms@gnu.org>
parents: 9491
diff changeset
28 #ifdef HAVE_CONFIG_H
4b1c8dc724e6 (concat, xmalloc, xrealloc, readline, xnew): Four new
Richard M. Stallman <rms@gnu.org>
parents: 9491
diff changeset
29 #include <config.h>
4b1c8dc724e6 (concat, xmalloc, xrealloc, readline, xnew): Four new
Richard M. Stallman <rms@gnu.org>
parents: 9491
diff changeset
30 /* On some systems, Emacs defines static as nothing for the sake
4b1c8dc724e6 (concat, xmalloc, xrealloc, readline, xnew): Four new
Richard M. Stallman <rms@gnu.org>
parents: 9491
diff changeset
31 of unexec. We don't want that here since we don't use unexec. */
4b1c8dc724e6 (concat, xmalloc, xrealloc, readline, xnew): Four new
Richard M. Stallman <rms@gnu.org>
parents: 9491
diff changeset
32 #undef static
4b1c8dc724e6 (concat, xmalloc, xrealloc, readline, xnew): Four new
Richard M. Stallman <rms@gnu.org>
parents: 9491
diff changeset
33 #endif
440
c1abcb55a546 Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
34
10370
4b1c8dc724e6 (concat, xmalloc, xrealloc, readline, xnew): Four new
Richard M. Stallman <rms@gnu.org>
parents: 9491
diff changeset
35 #undef TRUE
4b1c8dc724e6 (concat, xmalloc, xrealloc, readline, xnew): Four new
Richard M. Stallman <rms@gnu.org>
parents: 9491
diff changeset
36 #define TRUE 1
4b1c8dc724e6 (concat, xmalloc, xrealloc, readline, xnew): Four new
Richard M. Stallman <rms@gnu.org>
parents: 9491
diff changeset
37 #undef FALSE
4b1c8dc724e6 (concat, xmalloc, xrealloc, readline, xnew): Four new
Richard M. Stallman <rms@gnu.org>
parents: 9491
diff changeset
38 #define FALSE 0
4b1c8dc724e6 (concat, xmalloc, xrealloc, readline, xnew): Four new
Richard M. Stallman <rms@gnu.org>
parents: 9491
diff changeset
39
4b1c8dc724e6 (concat, xmalloc, xrealloc, readline, xnew): Four new
Richard M. Stallman <rms@gnu.org>
parents: 9491
diff changeset
40 /* Exit codes for success and failure. */
4b1c8dc724e6 (concat, xmalloc, xrealloc, readline, xnew): Four new
Richard M. Stallman <rms@gnu.org>
parents: 9491
diff changeset
41 #ifdef VMS
4b1c8dc724e6 (concat, xmalloc, xrealloc, readline, xnew): Four new
Richard M. Stallman <rms@gnu.org>
parents: 9491
diff changeset
42 #define GOOD 1
4b1c8dc724e6 (concat, xmalloc, xrealloc, readline, xnew): Four new
Richard M. Stallman <rms@gnu.org>
parents: 9491
diff changeset
43 #define BAD 0
4b1c8dc724e6 (concat, xmalloc, xrealloc, readline, xnew): Four new
Richard M. Stallman <rms@gnu.org>
parents: 9491
diff changeset
44 #else
4b1c8dc724e6 (concat, xmalloc, xrealloc, readline, xnew): Four new
Richard M. Stallman <rms@gnu.org>
parents: 9491
diff changeset
45 #define GOOD 0
4b1c8dc724e6 (concat, xmalloc, xrealloc, readline, xnew): Four new
Richard M. Stallman <rms@gnu.org>
parents: 9491
diff changeset
46 #define BAD 1
4572
beb5acbcd482 (TRUE, FALSE): Don't define if already defined.
Richard M. Stallman <rms@gnu.org>
parents: 4008
diff changeset
47 #endif
440
c1abcb55a546 Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
48
10370
4b1c8dc724e6 (concat, xmalloc, xrealloc, readline, xnew): Four new
Richard M. Stallman <rms@gnu.org>
parents: 9491
diff changeset
49 #define streq(s,t) (strcmp (s, t) == 0)
4b1c8dc724e6 (concat, xmalloc, xrealloc, readline, xnew): Four new
Richard M. Stallman <rms@gnu.org>
parents: 9491
diff changeset
50 #define strneq(s,t,n) (strncmp (s, t, n) == 0)
4b1c8dc724e6 (concat, xmalloc, xrealloc, readline, xnew): Four new
Richard M. Stallman <rms@gnu.org>
parents: 9491
diff changeset
51
4b1c8dc724e6 (concat, xmalloc, xrealloc, readline, xnew): Four new
Richard M. Stallman <rms@gnu.org>
parents: 9491
diff changeset
52 typedef int logical;
4b1c8dc724e6 (concat, xmalloc, xrealloc, readline, xnew): Four new
Richard M. Stallman <rms@gnu.org>
parents: 9491
diff changeset
53
4b1c8dc724e6 (concat, xmalloc, xrealloc, readline, xnew): Four new
Richard M. Stallman <rms@gnu.org>
parents: 9491
diff changeset
54 /*
4b1c8dc724e6 (concat, xmalloc, xrealloc, readline, xnew): Four new
Richard M. Stallman <rms@gnu.org>
parents: 9491
diff changeset
55 * A `struct linebuffer' is a structure which holds a line of text.
4b1c8dc724e6 (concat, xmalloc, xrealloc, readline, xnew): Four new
Richard M. Stallman <rms@gnu.org>
parents: 9491
diff changeset
56 * `readline' reads a line from a stream into a linebuffer and works
4b1c8dc724e6 (concat, xmalloc, xrealloc, readline, xnew): Four new
Richard M. Stallman <rms@gnu.org>
parents: 9491
diff changeset
57 * regardless of the length of the line.
4b1c8dc724e6 (concat, xmalloc, xrealloc, readline, xnew): Four new
Richard M. Stallman <rms@gnu.org>
parents: 9491
diff changeset
58 */
4b1c8dc724e6 (concat, xmalloc, xrealloc, readline, xnew): Four new
Richard M. Stallman <rms@gnu.org>
parents: 9491
diff changeset
59 struct linebuffer
4b1c8dc724e6 (concat, xmalloc, xrealloc, readline, xnew): Four new
Richard M. Stallman <rms@gnu.org>
parents: 9491
diff changeset
60 {
4b1c8dc724e6 (concat, xmalloc, xrealloc, readline, xnew): Four new
Richard M. Stallman <rms@gnu.org>
parents: 9491
diff changeset
61 long size;
4b1c8dc724e6 (concat, xmalloc, xrealloc, readline, xnew): Four new
Richard M. Stallman <rms@gnu.org>
parents: 9491
diff changeset
62 char *buffer;
4b1c8dc724e6 (concat, xmalloc, xrealloc, readline, xnew): Four new
Richard M. Stallman <rms@gnu.org>
parents: 9491
diff changeset
63 };
8957
4dffbc5d5dc7 (from, labels, data): Use MAX_DATA_LEN as length.
Richard M. Stallman <rms@gnu.org>
parents: 7528
diff changeset
64
10370
4b1c8dc724e6 (concat, xmalloc, xrealloc, readline, xnew): Four new
Richard M. Stallman <rms@gnu.org>
parents: 9491
diff changeset
65 extern char *strtok();
4b1c8dc724e6 (concat, xmalloc, xrealloc, readline, xnew): Four new
Richard M. Stallman <rms@gnu.org>
parents: 9491
diff changeset
66
4b1c8dc724e6 (concat, xmalloc, xrealloc, readline, xnew): Four new
Richard M. Stallman <rms@gnu.org>
parents: 9491
diff changeset
67 char *xmalloc (), *xrealloc ();
4b1c8dc724e6 (concat, xmalloc, xrealloc, readline, xnew): Four new
Richard M. Stallman <rms@gnu.org>
parents: 9491
diff changeset
68 char *concat ();
4b1c8dc724e6 (concat, xmalloc, xrealloc, readline, xnew): Four new
Richard M. Stallman <rms@gnu.org>
parents: 9491
diff changeset
69 long readline ();
4b1c8dc724e6 (concat, xmalloc, xrealloc, readline, xnew): Four new
Richard M. Stallman <rms@gnu.org>
parents: 9491
diff changeset
70 void fatal ();
440
c1abcb55a546 Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
71
10370
4b1c8dc724e6 (concat, xmalloc, xrealloc, readline, xnew): Four new
Richard M. Stallman <rms@gnu.org>
parents: 9491
diff changeset
72 /*
4b1c8dc724e6 (concat, xmalloc, xrealloc, readline, xnew): Four new
Richard M. Stallman <rms@gnu.org>
parents: 9491
diff changeset
73 * xnew -- allocate storage. SYNOPSIS: Type *xnew (int n, Type);
4b1c8dc724e6 (concat, xmalloc, xrealloc, readline, xnew): Four new
Richard M. Stallman <rms@gnu.org>
parents: 9491
diff changeset
74 */
4b1c8dc724e6 (concat, xmalloc, xrealloc, readline, xnew): Four new
Richard M. Stallman <rms@gnu.org>
parents: 9491
diff changeset
75 #define xnew(n, Type) ((Type *) xmalloc ((n) * sizeof (Type)))
4b1c8dc724e6 (concat, xmalloc, xrealloc, readline, xnew): Four new
Richard M. Stallman <rms@gnu.org>
parents: 9491
diff changeset
76
4b1c8dc724e6 (concat, xmalloc, xrealloc, readline, xnew): Four new
Richard M. Stallman <rms@gnu.org>
parents: 9491
diff changeset
77
4b1c8dc724e6 (concat, xmalloc, xrealloc, readline, xnew): Four new
Richard M. Stallman <rms@gnu.org>
parents: 9491
diff changeset
78
4b1c8dc724e6 (concat, xmalloc, xrealloc, readline, xnew): Four new
Richard M. Stallman <rms@gnu.org>
parents: 9491
diff changeset
79 char *progname;
4b1c8dc724e6 (concat, xmalloc, xrealloc, readline, xnew): Four new
Richard M. Stallman <rms@gnu.org>
parents: 9491
diff changeset
80
2101
df8249aa4901 * b2m.c (main): Don't exit upon reading a blank line.
Jim Blandy <jimb@redhat.com>
parents: 998
diff changeset
81 main (argc, argv)
df8249aa4901 * b2m.c (main): Don't exit upon reading a blank line.
Jim Blandy <jimb@redhat.com>
parents: 998
diff changeset
82 int argc;
df8249aa4901 * b2m.c (main): Don't exit upon reading a blank line.
Jim Blandy <jimb@redhat.com>
parents: 998
diff changeset
83 char **argv;
440
c1abcb55a546 Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
84 {
10370
4b1c8dc724e6 (concat, xmalloc, xrealloc, readline, xnew): Four new
Richard M. Stallman <rms@gnu.org>
parents: 9491
diff changeset
85 logical labels_saved, printing, header;
4b1c8dc724e6 (concat, xmalloc, xrealloc, readline, xnew): Four new
Richard M. Stallman <rms@gnu.org>
parents: 9491
diff changeset
86 time_t ltoday;
4b1c8dc724e6 (concat, xmalloc, xrealloc, readline, xnew): Four new
Richard M. Stallman <rms@gnu.org>
parents: 9491
diff changeset
87 char *labels, *p, *today;
4b1c8dc724e6 (concat, xmalloc, xrealloc, readline, xnew): Four new
Richard M. Stallman <rms@gnu.org>
parents: 9491
diff changeset
88 struct linebuffer data;
4b1c8dc724e6 (concat, xmalloc, xrealloc, readline, xnew): Four new
Richard M. Stallman <rms@gnu.org>
parents: 9491
diff changeset
89
5448
18de002e47dd (main) [MSDOS]: Open all files as binary.
Richard M. Stallman <rms@gnu.org>
parents: 4696
diff changeset
90 #ifdef MSDOS
6215
226d490216f7 Clean up indentation and whitespace.
Richard M. Stallman <rms@gnu.org>
parents: 6214
diff changeset
91 _fmode = O_BINARY; /* all of files are treated as binary files */
5448
18de002e47dd (main) [MSDOS]: Open all files as binary.
Richard M. Stallman <rms@gnu.org>
parents: 4696
diff changeset
92 (stdout)->_flag &= ~_IOTEXT;
18de002e47dd (main) [MSDOS]: Open all files as binary.
Richard M. Stallman <rms@gnu.org>
parents: 4696
diff changeset
93 (stdin)->_flag &= ~_IOTEXT;
18de002e47dd (main) [MSDOS]: Open all files as binary.
Richard M. Stallman <rms@gnu.org>
parents: 4696
diff changeset
94 #endif
10370
4b1c8dc724e6 (concat, xmalloc, xrealloc, readline, xnew): Four new
Richard M. Stallman <rms@gnu.org>
parents: 9491
diff changeset
95 if (argc != 1)
6173
cbf3383981cb (main): Change delimiter from "^L" to "^_^L".
Karl Heuer <kwzh@gnu.org>
parents: 5448
diff changeset
96 {
10370
4b1c8dc724e6 (concat, xmalloc, xrealloc, readline, xnew): Four new
Richard M. Stallman <rms@gnu.org>
parents: 9491
diff changeset
97 fprintf (stderr, "Usage: %s <babylmailbox >unixmailbox\n", progname);
4b1c8dc724e6 (concat, xmalloc, xrealloc, readline, xnew): Four new
Richard M. Stallman <rms@gnu.org>
parents: 9491
diff changeset
98 exit (GOOD);
6173
cbf3383981cb (main): Change delimiter from "^L" to "^_^L".
Karl Heuer <kwzh@gnu.org>
parents: 5448
diff changeset
99 }
10370
4b1c8dc724e6 (concat, xmalloc, xrealloc, readline, xnew): Four new
Richard M. Stallman <rms@gnu.org>
parents: 9491
diff changeset
100 labels_saved = printing = header = FALSE;
4b1c8dc724e6 (concat, xmalloc, xrealloc, readline, xnew): Four new
Richard M. Stallman <rms@gnu.org>
parents: 9491
diff changeset
101 progname = argv[0];
6215
226d490216f7 Clean up indentation and whitespace.
Richard M. Stallman <rms@gnu.org>
parents: 6214
diff changeset
102 ltoday = time (0);
226d490216f7 Clean up indentation and whitespace.
Richard M. Stallman <rms@gnu.org>
parents: 6214
diff changeset
103 today = ctime (&ltoday);
10370
4b1c8dc724e6 (concat, xmalloc, xrealloc, readline, xnew): Four new
Richard M. Stallman <rms@gnu.org>
parents: 9491
diff changeset
104 data.size = 200;
4b1c8dc724e6 (concat, xmalloc, xrealloc, readline, xnew): Four new
Richard M. Stallman <rms@gnu.org>
parents: 9491
diff changeset
105 data.buffer = xnew (200, char);
440
c1abcb55a546 Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
106
10370
4b1c8dc724e6 (concat, xmalloc, xrealloc, readline, xnew): Four new
Richard M. Stallman <rms@gnu.org>
parents: 9491
diff changeset
107 if (readline (&data, stdin) == 0
4b1c8dc724e6 (concat, xmalloc, xrealloc, readline, xnew): Four new
Richard M. Stallman <rms@gnu.org>
parents: 9491
diff changeset
108 || !strneq (data.buffer, "BABYL OPTIONS:", 14))
4b1c8dc724e6 (concat, xmalloc, xrealloc, readline, xnew): Four new
Richard M. Stallman <rms@gnu.org>
parents: 9491
diff changeset
109 fatal ("standard input is not a Babyl mailfile.");
4b1c8dc724e6 (concat, xmalloc, xrealloc, readline, xnew): Four new
Richard M. Stallman <rms@gnu.org>
parents: 9491
diff changeset
110
4b1c8dc724e6 (concat, xmalloc, xrealloc, readline, xnew): Four new
Richard M. Stallman <rms@gnu.org>
parents: 9491
diff changeset
111 while (readline (&data, stdin) > 0)
6215
226d490216f7 Clean up indentation and whitespace.
Richard M. Stallman <rms@gnu.org>
parents: 6214
diff changeset
112 {
10370
4b1c8dc724e6 (concat, xmalloc, xrealloc, readline, xnew): Four new
Richard M. Stallman <rms@gnu.org>
parents: 9491
diff changeset
113 if (streq (data.buffer, "*** EOOH ***") && !printing)
6215
226d490216f7 Clean up indentation and whitespace.
Richard M. Stallman <rms@gnu.org>
parents: 6214
diff changeset
114 {
226d490216f7 Clean up indentation and whitespace.
Richard M. Stallman <rms@gnu.org>
parents: 6214
diff changeset
115 printing = header = TRUE;
10370
4b1c8dc724e6 (concat, xmalloc, xrealloc, readline, xnew): Four new
Richard M. Stallman <rms@gnu.org>
parents: 9491
diff changeset
116 printf ("From Babyl to mail by %s %s", progname, today);
6215
226d490216f7 Clean up indentation and whitespace.
Richard M. Stallman <rms@gnu.org>
parents: 6214
diff changeset
117 continue;
226d490216f7 Clean up indentation and whitespace.
Richard M. Stallman <rms@gnu.org>
parents: 6214
diff changeset
118 }
6173
cbf3383981cb (main): Change delimiter from "^L" to "^_^L".
Karl Heuer <kwzh@gnu.org>
parents: 5448
diff changeset
119
10370
4b1c8dc724e6 (concat, xmalloc, xrealloc, readline, xnew): Four new
Richard M. Stallman <rms@gnu.org>
parents: 9491
diff changeset
120 if (data.buffer[0] == '\037')
6215
226d490216f7 Clean up indentation and whitespace.
Richard M. Stallman <rms@gnu.org>
parents: 6214
diff changeset
121 {
10370
4b1c8dc724e6 (concat, xmalloc, xrealloc, readline, xnew): Four new
Richard M. Stallman <rms@gnu.org>
parents: 9491
diff changeset
122 if (data.buffer[1] == '\0')
4b1c8dc724e6 (concat, xmalloc, xrealloc, readline, xnew): Four new
Richard M. Stallman <rms@gnu.org>
parents: 9491
diff changeset
123 continue;
4b1c8dc724e6 (concat, xmalloc, xrealloc, readline, xnew): Four new
Richard M. Stallman <rms@gnu.org>
parents: 9491
diff changeset
124 else if (data.buffer[1] == '\f')
4b1c8dc724e6 (concat, xmalloc, xrealloc, readline, xnew): Four new
Richard M. Stallman <rms@gnu.org>
parents: 9491
diff changeset
125 {
4b1c8dc724e6 (concat, xmalloc, xrealloc, readline, xnew): Four new
Richard M. Stallman <rms@gnu.org>
parents: 9491
diff changeset
126 /* Save labels. */
4b1c8dc724e6 (concat, xmalloc, xrealloc, readline, xnew): Four new
Richard M. Stallman <rms@gnu.org>
parents: 9491
diff changeset
127 readline (&data, stdin);
4b1c8dc724e6 (concat, xmalloc, xrealloc, readline, xnew): Four new
Richard M. Stallman <rms@gnu.org>
parents: 9491
diff changeset
128 p = strtok (data.buffer, " ,\r\n\t");
4b1c8dc724e6 (concat, xmalloc, xrealloc, readline, xnew): Four new
Richard M. Stallman <rms@gnu.org>
parents: 9491
diff changeset
129 labels = "X-Babyl-Labels: ";
440
c1abcb55a546 Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
130
10370
4b1c8dc724e6 (concat, xmalloc, xrealloc, readline, xnew): Four new
Richard M. Stallman <rms@gnu.org>
parents: 9491
diff changeset
131 while (p = strtok (NULL, " ,\r\n\t"))
4b1c8dc724e6 (concat, xmalloc, xrealloc, readline, xnew): Four new
Richard M. Stallman <rms@gnu.org>
parents: 9491
diff changeset
132 labels = concat (labels, p, ", ");
4b1c8dc724e6 (concat, xmalloc, xrealloc, readline, xnew): Four new
Richard M. Stallman <rms@gnu.org>
parents: 9491
diff changeset
133
4b1c8dc724e6 (concat, xmalloc, xrealloc, readline, xnew): Four new
Richard M. Stallman <rms@gnu.org>
parents: 9491
diff changeset
134 labels[strlen (labels) - 2] = '\0';
4b1c8dc724e6 (concat, xmalloc, xrealloc, readline, xnew): Four new
Richard M. Stallman <rms@gnu.org>
parents: 9491
diff changeset
135 printing = header = FALSE;
4b1c8dc724e6 (concat, xmalloc, xrealloc, readline, xnew): Four new
Richard M. Stallman <rms@gnu.org>
parents: 9491
diff changeset
136 labels_saved = TRUE;
4b1c8dc724e6 (concat, xmalloc, xrealloc, readline, xnew): Four new
Richard M. Stallman <rms@gnu.org>
parents: 9491
diff changeset
137 continue;
6215
226d490216f7 Clean up indentation and whitespace.
Richard M. Stallman <rms@gnu.org>
parents: 6214
diff changeset
138 }
10370
4b1c8dc724e6 (concat, xmalloc, xrealloc, readline, xnew): Four new
Richard M. Stallman <rms@gnu.org>
parents: 9491
diff changeset
139 }
440
c1abcb55a546 Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
140
10370
4b1c8dc724e6 (concat, xmalloc, xrealloc, readline, xnew): Four new
Richard M. Stallman <rms@gnu.org>
parents: 9491
diff changeset
141 if ((data.buffer[0] == '\0') && header)
4b1c8dc724e6 (concat, xmalloc, xrealloc, readline, xnew): Four new
Richard M. Stallman <rms@gnu.org>
parents: 9491
diff changeset
142 {
4b1c8dc724e6 (concat, xmalloc, xrealloc, readline, xnew): Four new
Richard M. Stallman <rms@gnu.org>
parents: 9491
diff changeset
143 header = FALSE;
4b1c8dc724e6 (concat, xmalloc, xrealloc, readline, xnew): Four new
Richard M. Stallman <rms@gnu.org>
parents: 9491
diff changeset
144 if (labels_saved)
4b1c8dc724e6 (concat, xmalloc, xrealloc, readline, xnew): Four new
Richard M. Stallman <rms@gnu.org>
parents: 9491
diff changeset
145 puts (labels);
6215
226d490216f7 Clean up indentation and whitespace.
Richard M. Stallman <rms@gnu.org>
parents: 6214
diff changeset
146 }
440
c1abcb55a546 Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
147
10370
4b1c8dc724e6 (concat, xmalloc, xrealloc, readline, xnew): Four new
Richard M. Stallman <rms@gnu.org>
parents: 9491
diff changeset
148 if (printing)
4b1c8dc724e6 (concat, xmalloc, xrealloc, readline, xnew): Four new
Richard M. Stallman <rms@gnu.org>
parents: 9491
diff changeset
149 puts (data.buffer);
4b1c8dc724e6 (concat, xmalloc, xrealloc, readline, xnew): Four new
Richard M. Stallman <rms@gnu.org>
parents: 9491
diff changeset
150 }
4b1c8dc724e6 (concat, xmalloc, xrealloc, readline, xnew): Four new
Richard M. Stallman <rms@gnu.org>
parents: 9491
diff changeset
151 }
4b1c8dc724e6 (concat, xmalloc, xrealloc, readline, xnew): Four new
Richard M. Stallman <rms@gnu.org>
parents: 9491
diff changeset
152
4b1c8dc724e6 (concat, xmalloc, xrealloc, readline, xnew): Four new
Richard M. Stallman <rms@gnu.org>
parents: 9491
diff changeset
153
4b1c8dc724e6 (concat, xmalloc, xrealloc, readline, xnew): Four new
Richard M. Stallman <rms@gnu.org>
parents: 9491
diff changeset
154
4b1c8dc724e6 (concat, xmalloc, xrealloc, readline, xnew): Four new
Richard M. Stallman <rms@gnu.org>
parents: 9491
diff changeset
155 /*
4b1c8dc724e6 (concat, xmalloc, xrealloc, readline, xnew): Four new
Richard M. Stallman <rms@gnu.org>
parents: 9491
diff changeset
156 * Return a newly-allocated string whose contents
4b1c8dc724e6 (concat, xmalloc, xrealloc, readline, xnew): Four new
Richard M. Stallman <rms@gnu.org>
parents: 9491
diff changeset
157 * concatenate those of s1, s2, s3.
4b1c8dc724e6 (concat, xmalloc, xrealloc, readline, xnew): Four new
Richard M. Stallman <rms@gnu.org>
parents: 9491
diff changeset
158 */
4b1c8dc724e6 (concat, xmalloc, xrealloc, readline, xnew): Four new
Richard M. Stallman <rms@gnu.org>
parents: 9491
diff changeset
159 char *
4b1c8dc724e6 (concat, xmalloc, xrealloc, readline, xnew): Four new
Richard M. Stallman <rms@gnu.org>
parents: 9491
diff changeset
160 concat (s1, s2, s3)
4b1c8dc724e6 (concat, xmalloc, xrealloc, readline, xnew): Four new
Richard M. Stallman <rms@gnu.org>
parents: 9491
diff changeset
161 char *s1, *s2, *s3;
4b1c8dc724e6 (concat, xmalloc, xrealloc, readline, xnew): Four new
Richard M. Stallman <rms@gnu.org>
parents: 9491
diff changeset
162 {
4b1c8dc724e6 (concat, xmalloc, xrealloc, readline, xnew): Four new
Richard M. Stallman <rms@gnu.org>
parents: 9491
diff changeset
163 int len1 = strlen (s1), len2 = strlen (s2), len3 = strlen (s3);
4b1c8dc724e6 (concat, xmalloc, xrealloc, readline, xnew): Four new
Richard M. Stallman <rms@gnu.org>
parents: 9491
diff changeset
164 char *result = xnew (len1 + len2 + len3 + 1, char);
4b1c8dc724e6 (concat, xmalloc, xrealloc, readline, xnew): Four new
Richard M. Stallman <rms@gnu.org>
parents: 9491
diff changeset
165
4b1c8dc724e6 (concat, xmalloc, xrealloc, readline, xnew): Four new
Richard M. Stallman <rms@gnu.org>
parents: 9491
diff changeset
166 strcpy (result, s1);
4b1c8dc724e6 (concat, xmalloc, xrealloc, readline, xnew): Four new
Richard M. Stallman <rms@gnu.org>
parents: 9491
diff changeset
167 strcpy (result + len1, s2);
4b1c8dc724e6 (concat, xmalloc, xrealloc, readline, xnew): Four new
Richard M. Stallman <rms@gnu.org>
parents: 9491
diff changeset
168 strcpy (result + len1 + len2, s3);
4b1c8dc724e6 (concat, xmalloc, xrealloc, readline, xnew): Four new
Richard M. Stallman <rms@gnu.org>
parents: 9491
diff changeset
169 result[len1 + len2 + len3] = '\0';
4b1c8dc724e6 (concat, xmalloc, xrealloc, readline, xnew): Four new
Richard M. Stallman <rms@gnu.org>
parents: 9491
diff changeset
170
4b1c8dc724e6 (concat, xmalloc, xrealloc, readline, xnew): Four new
Richard M. Stallman <rms@gnu.org>
parents: 9491
diff changeset
171 return result;
4b1c8dc724e6 (concat, xmalloc, xrealloc, readline, xnew): Four new
Richard M. Stallman <rms@gnu.org>
parents: 9491
diff changeset
172 }
4b1c8dc724e6 (concat, xmalloc, xrealloc, readline, xnew): Four new
Richard M. Stallman <rms@gnu.org>
parents: 9491
diff changeset
173
4b1c8dc724e6 (concat, xmalloc, xrealloc, readline, xnew): Four new
Richard M. Stallman <rms@gnu.org>
parents: 9491
diff changeset
174 /*
4b1c8dc724e6 (concat, xmalloc, xrealloc, readline, xnew): Four new
Richard M. Stallman <rms@gnu.org>
parents: 9491
diff changeset
175 * Read a line of text from `stream' into `linebuffer'.
4b1c8dc724e6 (concat, xmalloc, xrealloc, readline, xnew): Four new
Richard M. Stallman <rms@gnu.org>
parents: 9491
diff changeset
176 * Return the number of characters read from `stream',
4b1c8dc724e6 (concat, xmalloc, xrealloc, readline, xnew): Four new
Richard M. Stallman <rms@gnu.org>
parents: 9491
diff changeset
177 * which is the length of the line including the newline, if any.
4b1c8dc724e6 (concat, xmalloc, xrealloc, readline, xnew): Four new
Richard M. Stallman <rms@gnu.org>
parents: 9491
diff changeset
178 */
4b1c8dc724e6 (concat, xmalloc, xrealloc, readline, xnew): Four new
Richard M. Stallman <rms@gnu.org>
parents: 9491
diff changeset
179 long
4b1c8dc724e6 (concat, xmalloc, xrealloc, readline, xnew): Four new
Richard M. Stallman <rms@gnu.org>
parents: 9491
diff changeset
180 readline (linebuffer, stream)
4b1c8dc724e6 (concat, xmalloc, xrealloc, readline, xnew): Four new
Richard M. Stallman <rms@gnu.org>
parents: 9491
diff changeset
181 struct linebuffer *linebuffer;
4b1c8dc724e6 (concat, xmalloc, xrealloc, readline, xnew): Four new
Richard M. Stallman <rms@gnu.org>
parents: 9491
diff changeset
182 register FILE *stream;
4b1c8dc724e6 (concat, xmalloc, xrealloc, readline, xnew): Four new
Richard M. Stallman <rms@gnu.org>
parents: 9491
diff changeset
183 {
4b1c8dc724e6 (concat, xmalloc, xrealloc, readline, xnew): Four new
Richard M. Stallman <rms@gnu.org>
parents: 9491
diff changeset
184 char *buffer = linebuffer->buffer;
4b1c8dc724e6 (concat, xmalloc, xrealloc, readline, xnew): Four new
Richard M. Stallman <rms@gnu.org>
parents: 9491
diff changeset
185 register char *p = linebuffer->buffer;
4b1c8dc724e6 (concat, xmalloc, xrealloc, readline, xnew): Four new
Richard M. Stallman <rms@gnu.org>
parents: 9491
diff changeset
186 register char *pend;
4b1c8dc724e6 (concat, xmalloc, xrealloc, readline, xnew): Four new
Richard M. Stallman <rms@gnu.org>
parents: 9491
diff changeset
187 int chars_deleted;
4b1c8dc724e6 (concat, xmalloc, xrealloc, readline, xnew): Four new
Richard M. Stallman <rms@gnu.org>
parents: 9491
diff changeset
188
4b1c8dc724e6 (concat, xmalloc, xrealloc, readline, xnew): Four new
Richard M. Stallman <rms@gnu.org>
parents: 9491
diff changeset
189 pend = p + linebuffer->size; /* Separate to avoid 386/IX compiler bug. */
4b1c8dc724e6 (concat, xmalloc, xrealloc, readline, xnew): Four new
Richard M. Stallman <rms@gnu.org>
parents: 9491
diff changeset
190
4b1c8dc724e6 (concat, xmalloc, xrealloc, readline, xnew): Four new
Richard M. Stallman <rms@gnu.org>
parents: 9491
diff changeset
191 while (1)
4b1c8dc724e6 (concat, xmalloc, xrealloc, readline, xnew): Four new
Richard M. Stallman <rms@gnu.org>
parents: 9491
diff changeset
192 {
4b1c8dc724e6 (concat, xmalloc, xrealloc, readline, xnew): Four new
Richard M. Stallman <rms@gnu.org>
parents: 9491
diff changeset
193 register int c = getc (stream);
4b1c8dc724e6 (concat, xmalloc, xrealloc, readline, xnew): Four new
Richard M. Stallman <rms@gnu.org>
parents: 9491
diff changeset
194 if (p == pend)
6215
226d490216f7 Clean up indentation and whitespace.
Richard M. Stallman <rms@gnu.org>
parents: 6214
diff changeset
195 {
10370
4b1c8dc724e6 (concat, xmalloc, xrealloc, readline, xnew): Four new
Richard M. Stallman <rms@gnu.org>
parents: 9491
diff changeset
196 linebuffer->size *= 2;
4b1c8dc724e6 (concat, xmalloc, xrealloc, readline, xnew): Four new
Richard M. Stallman <rms@gnu.org>
parents: 9491
diff changeset
197 buffer = (char *) xrealloc (buffer, linebuffer->size);
4b1c8dc724e6 (concat, xmalloc, xrealloc, readline, xnew): Four new
Richard M. Stallman <rms@gnu.org>
parents: 9491
diff changeset
198 p += buffer - linebuffer->buffer;
4b1c8dc724e6 (concat, xmalloc, xrealloc, readline, xnew): Four new
Richard M. Stallman <rms@gnu.org>
parents: 9491
diff changeset
199 pend = buffer + linebuffer->size;
4b1c8dc724e6 (concat, xmalloc, xrealloc, readline, xnew): Four new
Richard M. Stallman <rms@gnu.org>
parents: 9491
diff changeset
200 linebuffer->buffer = buffer;
6215
226d490216f7 Clean up indentation and whitespace.
Richard M. Stallman <rms@gnu.org>
parents: 6214
diff changeset
201 }
10370
4b1c8dc724e6 (concat, xmalloc, xrealloc, readline, xnew): Four new
Richard M. Stallman <rms@gnu.org>
parents: 9491
diff changeset
202 if (c == EOF)
4b1c8dc724e6 (concat, xmalloc, xrealloc, readline, xnew): Four new
Richard M. Stallman <rms@gnu.org>
parents: 9491
diff changeset
203 {
4b1c8dc724e6 (concat, xmalloc, xrealloc, readline, xnew): Four new
Richard M. Stallman <rms@gnu.org>
parents: 9491
diff changeset
204 chars_deleted = 0;
4b1c8dc724e6 (concat, xmalloc, xrealloc, readline, xnew): Four new
Richard M. Stallman <rms@gnu.org>
parents: 9491
diff changeset
205 break;
4b1c8dc724e6 (concat, xmalloc, xrealloc, readline, xnew): Four new
Richard M. Stallman <rms@gnu.org>
parents: 9491
diff changeset
206 }
4b1c8dc724e6 (concat, xmalloc, xrealloc, readline, xnew): Four new
Richard M. Stallman <rms@gnu.org>
parents: 9491
diff changeset
207 if (c == '\n')
4b1c8dc724e6 (concat, xmalloc, xrealloc, readline, xnew): Four new
Richard M. Stallman <rms@gnu.org>
parents: 9491
diff changeset
208 {
4b1c8dc724e6 (concat, xmalloc, xrealloc, readline, xnew): Four new
Richard M. Stallman <rms@gnu.org>
parents: 9491
diff changeset
209 if (p[-1] == '\r' && p > buffer)
4b1c8dc724e6 (concat, xmalloc, xrealloc, readline, xnew): Four new
Richard M. Stallman <rms@gnu.org>
parents: 9491
diff changeset
210 {
4b1c8dc724e6 (concat, xmalloc, xrealloc, readline, xnew): Four new
Richard M. Stallman <rms@gnu.org>
parents: 9491
diff changeset
211 *--p = '\0';
4b1c8dc724e6 (concat, xmalloc, xrealloc, readline, xnew): Four new
Richard M. Stallman <rms@gnu.org>
parents: 9491
diff changeset
212 chars_deleted = 2;
4b1c8dc724e6 (concat, xmalloc, xrealloc, readline, xnew): Four new
Richard M. Stallman <rms@gnu.org>
parents: 9491
diff changeset
213 }
4b1c8dc724e6 (concat, xmalloc, xrealloc, readline, xnew): Four new
Richard M. Stallman <rms@gnu.org>
parents: 9491
diff changeset
214 else
4b1c8dc724e6 (concat, xmalloc, xrealloc, readline, xnew): Four new
Richard M. Stallman <rms@gnu.org>
parents: 9491
diff changeset
215 {
4b1c8dc724e6 (concat, xmalloc, xrealloc, readline, xnew): Four new
Richard M. Stallman <rms@gnu.org>
parents: 9491
diff changeset
216 *p = '\0';
4b1c8dc724e6 (concat, xmalloc, xrealloc, readline, xnew): Four new
Richard M. Stallman <rms@gnu.org>
parents: 9491
diff changeset
217 chars_deleted = 1;
4b1c8dc724e6 (concat, xmalloc, xrealloc, readline, xnew): Four new
Richard M. Stallman <rms@gnu.org>
parents: 9491
diff changeset
218 }
4b1c8dc724e6 (concat, xmalloc, xrealloc, readline, xnew): Four new
Richard M. Stallman <rms@gnu.org>
parents: 9491
diff changeset
219 break;
4b1c8dc724e6 (concat, xmalloc, xrealloc, readline, xnew): Four new
Richard M. Stallman <rms@gnu.org>
parents: 9491
diff changeset
220 }
4b1c8dc724e6 (concat, xmalloc, xrealloc, readline, xnew): Four new
Richard M. Stallman <rms@gnu.org>
parents: 9491
diff changeset
221 *p++ = c;
440
c1abcb55a546 Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
222 }
10370
4b1c8dc724e6 (concat, xmalloc, xrealloc, readline, xnew): Four new
Richard M. Stallman <rms@gnu.org>
parents: 9491
diff changeset
223
4b1c8dc724e6 (concat, xmalloc, xrealloc, readline, xnew): Four new
Richard M. Stallman <rms@gnu.org>
parents: 9491
diff changeset
224 return (p - buffer + chars_deleted);
4b1c8dc724e6 (concat, xmalloc, xrealloc, readline, xnew): Four new
Richard M. Stallman <rms@gnu.org>
parents: 9491
diff changeset
225 }
4b1c8dc724e6 (concat, xmalloc, xrealloc, readline, xnew): Four new
Richard M. Stallman <rms@gnu.org>
parents: 9491
diff changeset
226
4b1c8dc724e6 (concat, xmalloc, xrealloc, readline, xnew): Four new
Richard M. Stallman <rms@gnu.org>
parents: 9491
diff changeset
227 /*
4b1c8dc724e6 (concat, xmalloc, xrealloc, readline, xnew): Four new
Richard M. Stallman <rms@gnu.org>
parents: 9491
diff changeset
228 * Like malloc but get fatal error if memory is exhausted.
4b1c8dc724e6 (concat, xmalloc, xrealloc, readline, xnew): Four new
Richard M. Stallman <rms@gnu.org>
parents: 9491
diff changeset
229 */
4b1c8dc724e6 (concat, xmalloc, xrealloc, readline, xnew): Four new
Richard M. Stallman <rms@gnu.org>
parents: 9491
diff changeset
230 char *
4b1c8dc724e6 (concat, xmalloc, xrealloc, readline, xnew): Four new
Richard M. Stallman <rms@gnu.org>
parents: 9491
diff changeset
231 xmalloc (size)
4b1c8dc724e6 (concat, xmalloc, xrealloc, readline, xnew): Four new
Richard M. Stallman <rms@gnu.org>
parents: 9491
diff changeset
232 unsigned int size;
4b1c8dc724e6 (concat, xmalloc, xrealloc, readline, xnew): Four new
Richard M. Stallman <rms@gnu.org>
parents: 9491
diff changeset
233 {
4b1c8dc724e6 (concat, xmalloc, xrealloc, readline, xnew): Four new
Richard M. Stallman <rms@gnu.org>
parents: 9491
diff changeset
234 char *result = (char *) malloc (size);
4b1c8dc724e6 (concat, xmalloc, xrealloc, readline, xnew): Four new
Richard M. Stallman <rms@gnu.org>
parents: 9491
diff changeset
235 if (result == NULL)
4b1c8dc724e6 (concat, xmalloc, xrealloc, readline, xnew): Four new
Richard M. Stallman <rms@gnu.org>
parents: 9491
diff changeset
236 fatal ("virtual memory exhausted");
4b1c8dc724e6 (concat, xmalloc, xrealloc, readline, xnew): Four new
Richard M. Stallman <rms@gnu.org>
parents: 9491
diff changeset
237 return result;
440
c1abcb55a546 Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
238 }
10370
4b1c8dc724e6 (concat, xmalloc, xrealloc, readline, xnew): Four new
Richard M. Stallman <rms@gnu.org>
parents: 9491
diff changeset
239
4b1c8dc724e6 (concat, xmalloc, xrealloc, readline, xnew): Four new
Richard M. Stallman <rms@gnu.org>
parents: 9491
diff changeset
240 char *
4b1c8dc724e6 (concat, xmalloc, xrealloc, readline, xnew): Four new
Richard M. Stallman <rms@gnu.org>
parents: 9491
diff changeset
241 xrealloc (ptr, size)
4b1c8dc724e6 (concat, xmalloc, xrealloc, readline, xnew): Four new
Richard M. Stallman <rms@gnu.org>
parents: 9491
diff changeset
242 char *ptr;
4b1c8dc724e6 (concat, xmalloc, xrealloc, readline, xnew): Four new
Richard M. Stallman <rms@gnu.org>
parents: 9491
diff changeset
243 unsigned int size;
4b1c8dc724e6 (concat, xmalloc, xrealloc, readline, xnew): Four new
Richard M. Stallman <rms@gnu.org>
parents: 9491
diff changeset
244 {
4b1c8dc724e6 (concat, xmalloc, xrealloc, readline, xnew): Four new
Richard M. Stallman <rms@gnu.org>
parents: 9491
diff changeset
245 char *result = (char *) realloc (ptr, size);
4b1c8dc724e6 (concat, xmalloc, xrealloc, readline, xnew): Four new
Richard M. Stallman <rms@gnu.org>
parents: 9491
diff changeset
246 if (result == NULL)
4b1c8dc724e6 (concat, xmalloc, xrealloc, readline, xnew): Four new
Richard M. Stallman <rms@gnu.org>
parents: 9491
diff changeset
247 fatal ("virtual memory exhausted");
4b1c8dc724e6 (concat, xmalloc, xrealloc, readline, xnew): Four new
Richard M. Stallman <rms@gnu.org>
parents: 9491
diff changeset
248 return result;
4b1c8dc724e6 (concat, xmalloc, xrealloc, readline, xnew): Four new
Richard M. Stallman <rms@gnu.org>
parents: 9491
diff changeset
249 }
4b1c8dc724e6 (concat, xmalloc, xrealloc, readline, xnew): Four new
Richard M. Stallman <rms@gnu.org>
parents: 9491
diff changeset
250
4b1c8dc724e6 (concat, xmalloc, xrealloc, readline, xnew): Four new
Richard M. Stallman <rms@gnu.org>
parents: 9491
diff changeset
251 void
4b1c8dc724e6 (concat, xmalloc, xrealloc, readline, xnew): Four new
Richard M. Stallman <rms@gnu.org>
parents: 9491
diff changeset
252 fatal (message)
4b1c8dc724e6 (concat, xmalloc, xrealloc, readline, xnew): Four new
Richard M. Stallman <rms@gnu.org>
parents: 9491
diff changeset
253 {
4b1c8dc724e6 (concat, xmalloc, xrealloc, readline, xnew): Four new
Richard M. Stallman <rms@gnu.org>
parents: 9491
diff changeset
254 fprintf (stderr, "%s: %s\n", progname, message);
4b1c8dc724e6 (concat, xmalloc, xrealloc, readline, xnew): Four new
Richard M. Stallman <rms@gnu.org>
parents: 9491
diff changeset
255 exit (BAD);
4b1c8dc724e6 (concat, xmalloc, xrealloc, readline, xnew): Four new
Richard M. Stallman <rms@gnu.org>
parents: 9491
diff changeset
256 }
4b1c8dc724e6 (concat, xmalloc, xrealloc, readline, xnew): Four new
Richard M. Stallman <rms@gnu.org>
parents: 9491
diff changeset
257