.
[coreutils.git] / src / join.c
blobeccdab34239dba058abd07ed6702d0c0e3b7fc80
1 /* join - join lines of two files on a common field
2 Copyright (C) 91, 95, 1996 Free Software Foundation, Inc.
4 This program is free software; you can redistribute it and/or modify
5 it under the terms of the GNU General Public License as published by
6 the Free Software Foundation; either version 2, or (at your option)
7 any later version.
9 This program is distributed in the hope that it will be useful,
10 but WITHOUT ANY WARRANTY; without even the implied warranty of
11 MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
12 GNU General Public License for more details.
14 You should have received a copy of the GNU General Public License
15 along with this program; if not, write to the Free Software
16 Foundation, Inc., 59 Temple Place - Suite 330, Boston, MA 02111-1307, USA.
18 Written by Mike Haertel, mike@gnu.ai.mit.edu. */
20 #include <config.h>
22 #ifdef __GNUC__
23 #define alloca __builtin_alloca
24 #else /* not __GNUC__ */
25 #if HAVE_ALLOCA_H
26 #include <alloca.h>
27 #else /* not HAVE_ALLOCA_H */
28 #ifdef _AIX
29 #pragma alloca
30 #else /* not _AIX */
31 char *alloca ();
32 #endif /* not _AIX */
33 #endif /* not HAVE_ALLOCA_H */
34 #endif /* not __GNUC__ */
36 /* Get isblank from GNU libc. */
37 #define _GNU_SOURCE
39 #include <stdio.h>
40 #define NDEBUG
41 #include <assert.h>
42 #include <sys/types.h>
43 #include <getopt.h>
45 #if HAVE_LIMITS_H
46 # include <limits.h>
47 #endif
49 #ifndef UINT_MAX
50 # define UINT_MAX ((unsigned int) ~(unsigned int) 0)
51 #endif
53 #ifndef INT_MAX
54 # define INT_MAX ((int) (UINT_MAX >> 1))
55 #endif
57 #if _LIBC || STDC_HEADERS
58 # define TOLOWER(c) tolower (c)
59 #else
60 # define TOLOWER(c) (ISUPPER (c) ? tolower (c) : (c))
61 #endif
63 #include "system.h"
64 #include "long-options.h"
65 #include "xstrtol.h"
66 #include "error.h"
67 #include "memcasecmp.h"
69 #define join system_join
71 char *xmalloc ();
72 char *xrealloc ();
74 /* Undefine, to avoid warning about redefinition on some systems. */
75 #undef min
76 #undef max
77 #define min(A, B) ((A) < (B) ? (A) : (B))
78 #define max(A, B) ((A) > (B) ? (A) : (B))
80 /* An element of the list identifying which fields to print for each
81 output line. */
82 struct outlist
84 /* File number: 0, 1, or 2. 0 means use the join field.
85 1 means use the first file argument, 2 the second. */
86 int file;
88 /* Field index (zero-based), specified only when FILE is 1 or 2. */
89 int field;
91 struct outlist *next;
94 /* A field of a line. */
95 struct field
97 const char *beg; /* First character in field. */
98 size_t len; /* The length of the field. */
101 /* A line read from an input file. Newlines are not stored. */
102 struct line
104 char *beg; /* First character in line. */
105 char *lim; /* Character after last character in line. */
106 int nfields; /* Number of elements in `fields'. */
107 int nfields_allocated; /* Number of elements in `fields'. */
108 struct field *fields;
111 /* One or more consecutive lines read from a file that all have the
112 same join field value. */
113 struct seq
115 int count; /* Elements used in `lines'. */
116 int alloc; /* Elements allocated in `lines'. */
117 struct line *lines;
120 /* The name this program was run with. */
121 char *program_name;
123 /* If nonzero, print unpairable lines in file 1 or 2. */
124 static int print_unpairables_1, print_unpairables_2;
126 /* If nonzero, print pairable lines. */
127 static int print_pairables;
129 /* Empty output field filler. */
130 static char *empty_filler;
132 /* Field to join on. */
133 static int join_field_1, join_field_2;
135 /* List of fields to print. */
136 static struct outlist outlist_head;
138 /* Last element in `outlist', where a new element can be added. */
139 static struct outlist *outlist_end = &outlist_head;
141 /* Tab character separating fields; if this is NUL fields are separated
142 by any nonempty string of white space, otherwise by exactly one
143 tab character. */
144 static char tab;
146 /* When using getopt_long_only, no long option can start with
147 a character that is a short option. */
148 static struct option const longopts[] =
150 {"ignore-case", no_argument, NULL, 'i'},
151 {"j", required_argument, NULL, 'j'},
152 {"j1", required_argument, NULL, '1'},
153 {"j2", required_argument, NULL, '2'},
154 {NULL, 0, NULL, 0}
157 /* Used to print non-joining lines */
158 static struct line uni_blank;
160 /* If nonzero, ignore case when comparing join fields. */
161 static int ignore_case;
163 static void
164 usage (int status)
166 if (status != 0)
167 fprintf (stderr, _("Try `%s --help' for more information.\n"),
168 program_name);
169 else
171 printf (_("\
172 Usage: %s [OPTION]... FILE1 FILE2\n\
174 program_name);
175 printf (_("\
176 For each pair of input lines with identical join fields, write a line to\n\
177 standard output. The default join field is the first, delimited\n\
178 by whitespace. When FILE1 or FILE2 (not both) is -, read standard input.\n\
180 -a SIDE print unpairable lines coming from file SIDE\n\
181 -e EMPTY replace missing input fields with EMPTY\n\
182 -i, --ignore-case ignore differences in case when comparing fields\n\
183 -j FIELD (Obsolescent) equivalent to `-1 FIELD -2 FIELD'\n\
184 -j1 FIELD (Obsolescent) equivalent to `-1 FIELD'\n\
185 -j2 FIELD (Obsolescent) equivalent to `-2 FIELD'\n\
186 -1 FIELD join on this FIELD of file 1\n\
187 -2 FIELD join on this FIELD of file 2\n\
188 -o FORMAT obey FORMAT while constructing output line\n\
189 -t CHAR use CHAR as input and output field separator\n\
190 -v SIDE like -a SIDE, but suppress joined output lines\n\
191 --help display this help and exit\n\
192 --version output version information and exit\n\
194 Unless -t CHAR is given, leading blanks separate fields and are ignored,\n\
195 else fields are separated by CHAR. Any FIELD is a field number counted\n\
196 from 1. FORMAT is one or more comma or blank separated specifications,\n\
197 each being `SIDE.FIELD' or `0'. Default FORMAT outputs the join field,\n\
198 the remaining fields from FILE1, the remaining fields from FILE2, all\n\
199 separated by CHAR.\n\
200 "));
202 exit (status == 0 ? EXIT_SUCCESS : EXIT_FAILURE);
205 static void
206 ADD_FIELD (struct line *line, const char *field, size_t len)
208 if (line->nfields >= line->nfields_allocated)
210 line->nfields_allocated = (3 * line->nfields_allocated) / 2 + 1;
211 line->fields = (struct field *) xrealloc ((char *) line->fields,
212 (line->nfields_allocated
213 * sizeof (struct field)));
215 line->fields[line->nfields].beg = field;
216 line->fields[line->nfields].len = len;
217 ++(line->nfields);
220 /* Fill in the `fields' structure in LINE. */
222 static void
223 xfields (struct line *line)
225 int i;
226 register char *ptr, *lim;
228 ptr = line->beg;
229 lim = line->lim;
231 if (!tab)
233 /* Skip leading blanks before the first field. */
234 while (ptr < lim && ISSPACE (*ptr))
235 ++ptr;
238 for (i = 0; ptr < lim; ++i)
240 if (tab)
242 char *beg;
244 beg = ptr;
245 while (ptr < lim && *ptr != tab)
246 ++ptr;
247 ADD_FIELD (line, beg, ptr - beg);
248 if (ptr < lim)
249 ++ptr;
251 else
253 char *beg;
255 beg = ptr;
256 while (ptr < lim && !ISSPACE (*ptr))
257 ++ptr;
258 ADD_FIELD (line, beg, ptr - beg);
259 while (ptr < lim && ISSPACE (*ptr))
260 ++ptr;
264 if (ptr > line->beg && ((tab && ISSPACE (ptr[-1])) || ptr[-1] == tab))
266 /* Add one more (empty) field because the last character of the
267 line was a delimiter. */
268 ADD_FIELD (line, NULL, 0);
272 /* Read a line from FP into LINE and split it into fields.
273 Return 0 if EOF, 1 otherwise. */
275 static int
276 get_line (FILE *fp, struct line *line)
278 static int linesize = 80;
279 int c, i;
280 char *ptr;
282 if (feof (fp))
283 return 0;
285 ptr = xmalloc (linesize);
287 for (i = 0; (c = getc (fp)) != EOF && c != '\n'; ++i)
289 if (i == linesize)
291 linesize *= 2;
292 ptr = xrealloc (ptr, linesize);
294 ptr[i] = c;
297 if (c == EOF && i == 0)
299 free (ptr);
300 return 0;
303 line->beg = ptr;
304 line->lim = line->beg + i;
305 line->nfields_allocated = 0;
306 line->nfields = 0;
307 line->fields = NULL;
308 xfields (line);
309 return 1;
312 static void
313 freeline (struct line *line)
315 free ((char *) line->fields);
316 free (line->beg);
317 line->beg = NULL;
320 static void
321 initseq (struct seq *seq)
323 seq->count = 0;
324 seq->alloc = 1;
325 seq->lines = (struct line *) xmalloc (seq->alloc * sizeof (struct line));
328 /* Read a line from FP and add it to SEQ. Return 0 if EOF, 1 otherwise. */
330 static int
331 getseq (FILE *fp, struct seq *seq)
333 if (seq->count == seq->alloc)
335 seq->alloc *= 2;
336 seq->lines = (struct line *)
337 xrealloc ((char *) seq->lines, seq->alloc * sizeof (struct line));
340 if (get_line (fp, &seq->lines[seq->count]))
342 ++seq->count;
343 return 1;
345 return 0;
348 static void
349 delseq (struct seq *seq)
351 int i;
352 for (i = 0; i < seq->count; i++)
353 if (seq->lines[i].beg)
354 freeline (&seq->lines[i]);
355 free ((char *) seq->lines);
358 /* Return <0 if the join field in LINE1 compares less than the one in LINE2;
359 >0 if it compares greater; 0 if it compares equal. */
361 static int
362 keycmp (struct line *line1, struct line *line2)
364 const char *beg1, *beg2; /* Start of field to compare in each file. */
365 int len1, len2; /* Length of fields to compare. */
366 int diff;
368 if (join_field_1 < line1->nfields)
370 beg1 = line1->fields[join_field_1].beg;
371 len1 = line1->fields[join_field_1].len;
373 else
375 beg1 = NULL;
376 len1 = 0;
379 if (join_field_2 < line2->nfields)
381 beg2 = line2->fields[join_field_2].beg;
382 len2 = line2->fields[join_field_2].len;
384 else
386 beg2 = NULL;
387 len2 = 0;
390 if (len1 == 0)
391 return len2 == 0 ? 0 : -1;
392 if (len2 == 0)
393 return 1;
395 /* Use an if-statement here rather than a function variable to
396 avoid portability hassles of getting a non-conflicting declaration
397 of memcmp. */
398 if (ignore_case)
399 diff = memcasecmp (beg1, beg2, min (len1, len2));
400 else
401 diff = memcmp (beg1, beg2, min (len1, len2));
403 if (diff)
404 return diff;
405 return len1 - len2;
408 /* Print field N of LINE if it exists and is nonempty, otherwise
409 `empty_filler' if it is nonempty. */
411 static void
412 prfield (int n, struct line *line)
414 int len;
416 if (n < line->nfields)
418 len = line->fields[n].len;
419 if (len)
420 fwrite (line->fields[n].beg, 1, len, stdout);
421 else if (empty_filler)
422 fputs (empty_filler, stdout);
424 else if (empty_filler)
425 fputs (empty_filler, stdout);
428 /* Print the join of LINE1 and LINE2. */
430 static void
431 prjoin (struct line *line1, struct line *line2)
433 const struct outlist *outlist;
435 outlist = outlist_head.next;
436 if (outlist)
438 const struct outlist *o;
440 o = outlist;
441 while (1)
443 int field;
444 struct line *line;
446 if (o->file == 0)
448 if (line1 == &uni_blank)
450 line = line2;
451 field = join_field_2;
453 else
455 line = line1;
456 field = join_field_1;
459 else
461 line = (o->file == 1 ? line1 : line2);
462 field = o->field;
464 prfield (field, line);
465 o = o->next;
466 if (o == NULL)
467 break;
468 putchar (tab ? tab : ' ');
470 putchar ('\n');
472 else
474 int i;
476 if (line1 == &uni_blank)
478 struct line *t;
479 t = line1;
480 line1 = line2;
481 line2 = t;
483 prfield (join_field_1, line1);
484 for (i = 0; i < join_field_1 && i < line1->nfields; ++i)
486 putchar (tab ? tab : ' ');
487 prfield (i, line1);
489 for (i = join_field_1 + 1; i < line1->nfields; ++i)
491 putchar (tab ? tab : ' ');
492 prfield (i, line1);
495 for (i = 0; i < join_field_2 && i < line2->nfields; ++i)
497 putchar (tab ? tab : ' ');
498 prfield (i, line2);
500 for (i = join_field_2 + 1; i < line2->nfields; ++i)
502 putchar (tab ? tab : ' ');
503 prfield (i, line2);
505 putchar ('\n');
509 /* Print the join of the files in FP1 and FP2. */
511 static void
512 join (FILE *fp1, FILE *fp2)
514 struct seq seq1, seq2;
515 struct line line;
516 int diff, i, j, eof1, eof2;
518 /* Read the first line of each file. */
519 initseq (&seq1);
520 getseq (fp1, &seq1);
521 initseq (&seq2);
522 getseq (fp2, &seq2);
524 while (seq1.count && seq2.count)
526 diff = keycmp (&seq1.lines[0], &seq2.lines[0]);
527 if (diff < 0)
529 if (print_unpairables_1)
530 prjoin (&seq1.lines[0], &uni_blank);
531 freeline (&seq1.lines[0]);
532 seq1.count = 0;
533 getseq (fp1, &seq1);
534 continue;
536 if (diff > 0)
538 if (print_unpairables_2)
539 prjoin (&uni_blank, &seq2.lines[0]);
540 freeline (&seq2.lines[0]);
541 seq2.count = 0;
542 getseq (fp2, &seq2);
543 continue;
546 /* Keep reading lines from file1 as long as they continue to
547 match the current line from file2. */
548 eof1 = 0;
550 if (!getseq (fp1, &seq1))
552 eof1 = 1;
553 ++seq1.count;
554 break;
556 while (!keycmp (&seq1.lines[seq1.count - 1], &seq2.lines[0]));
558 /* Keep reading lines from file2 as long as they continue to
559 match the current line from file1. */
560 eof2 = 0;
562 if (!getseq (fp2, &seq2))
564 eof2 = 1;
565 ++seq2.count;
566 break;
568 while (!keycmp (&seq1.lines[0], &seq2.lines[seq2.count - 1]));
570 if (print_pairables)
572 for (i = 0; i < seq1.count - 1; ++i)
573 for (j = 0; j < seq2.count - 1; ++j)
574 prjoin (&seq1.lines[i], &seq2.lines[j]);
577 for (i = 0; i < seq1.count - 1; ++i)
578 freeline (&seq1.lines[i]);
579 if (!eof1)
581 seq1.lines[0] = seq1.lines[seq1.count - 1];
582 seq1.count = 1;
584 else
585 seq1.count = 0;
587 for (i = 0; i < seq2.count - 1; ++i)
588 freeline (&seq2.lines[i]);
589 if (!eof2)
591 seq2.lines[0] = seq2.lines[seq2.count - 1];
592 seq2.count = 1;
594 else
595 seq2.count = 0;
598 if (print_unpairables_1 && seq1.count)
600 prjoin (&seq1.lines[0], &uni_blank);
601 freeline (&seq1.lines[0]);
602 while (get_line (fp1, &line))
604 prjoin (&line, &uni_blank);
605 freeline (&line);
609 if (print_unpairables_2 && seq2.count)
611 prjoin (&uni_blank, &seq2.lines[0]);
612 freeline (&seq2.lines[0]);
613 while (get_line (fp2, &line))
615 prjoin (&uni_blank, &line);
616 freeline (&line);
620 delseq (&seq1);
621 delseq (&seq2);
624 /* Add a field spec for field FIELD of file FILE to `outlist'. */
626 static void
627 add_field (int file, int field)
629 struct outlist *o;
631 assert (file == 0 || file == 1 || file == 2);
632 assert (field >= 0);
634 o = (struct outlist *) xmalloc (sizeof (struct outlist));
635 o->file = file;
636 o->field = field;
637 o->next = NULL;
639 /* Add to the end of the list so the fields are in the right order. */
640 outlist_end->next = o;
641 outlist_end = o;
644 /* Convert a single field specifier string, S, to a *FILE_INDEX, *FIELD_INDEX
645 pair. In S, the field index string is 1-based; *FIELD_INDEX is zero-based.
646 If S is valid, return zero. Otherwise, give a diagnostic, don't update
647 *FILE_INDEX or *FIELD_INDEX, and return nonzero. */
649 static int
650 decode_field_spec (const char *s, int *file_index, int *field_index)
652 int invalid = 1;
654 /* The first character must be 0, 1, or 2. */
655 switch (s[0])
657 case '0':
658 if (s[1] == '\0')
660 *file_index = 0;
661 /* Leave *field_index undefined. */
662 invalid = 0;
664 else
666 /* `0' must be all alone -- no `.FIELD'. */
667 error (0, 0, _("invalid field specifier: `%s'"), s);
669 break;
671 case '1':
672 case '2':
673 if (s[1] == '.' && s[2] != '\0')
675 strtol_error s_err;
676 long int tmp_long;
678 s_err = xstrtol (s + 2, NULL, 10, &tmp_long, NULL);
679 if (s_err != LONGINT_OK || tmp_long <= 0 || tmp_long > INT_MAX)
681 error (0, 0, _("invalid field number: `%s'"), s + 2);
683 else
685 *file_index = s[0] - '0';
686 /* Convert to a zero-based index. */
687 *field_index = (int) tmp_long - 1;
688 invalid = 0;
691 break;
693 default:
694 error (0, 0, _("invalid file number in field spec: `%s'"), s);
695 break;
697 return invalid;
700 /* Add the comma or blank separated field spec(s) in STR to `outlist'.
701 Return nonzero to indicate failure. */
703 static int
704 add_field_list (const char *c_str)
706 char *p, *str;
708 /* Make a writable copy of c_str. */
709 str = (char *) alloca (strlen (c_str) + 1);
710 strcpy (str, c_str);
712 p = str;
715 int invalid;
716 int file_index, field_index;
717 char *spec_item = p;
719 p = strpbrk (p, ", \t");
720 if (p)
721 *p++ = 0;
722 invalid = decode_field_spec (spec_item, &file_index, &field_index);
723 if (invalid)
724 return 1;
725 add_field (file_index, field_index);
726 uni_blank.nfields = max (uni_blank.nfields, field_index);
728 while (p);
729 return 0;
732 /* Create a blank line with COUNT fields separated by tabs. */
734 void
735 make_blank (struct line *blank, int count)
737 int i;
738 blank->nfields = count;
739 blank->beg = xmalloc (blank->nfields + 1);
740 blank->fields = (struct field *) xmalloc (sizeof (struct field) * count);
741 for (i = 0; i < blank->nfields; i++)
743 blank->beg[i] = '\t';
744 blank->fields[i].beg = &blank->beg[i];
745 blank->fields[i].len = 0;
747 blank->beg[i] = '\0';
748 blank->lim = &blank->beg[i];
752 main (int argc, char **argv)
754 char *names[2];
755 FILE *fp1, *fp2;
756 int optc, prev_optc = 0, nfiles;
758 program_name = argv[0];
759 setlocale (LC_ALL, "");
760 bindtextdomain (PACKAGE, LOCALEDIR);
761 textdomain (PACKAGE);
763 /* Initialize this before parsing options. In parsing options,
764 it may be increased. */
765 uni_blank.nfields = 1;
767 parse_long_options (argc, argv, "join", PACKAGE_VERSION, usage);
769 nfiles = 0;
770 print_pairables = 1;
772 while ((optc = getopt_long_only (argc, argv, "-a:e:i1:2:o:t:v:", longopts,
773 (int *) 0)) != EOF)
775 long int val;
777 switch (optc)
779 case 0:
780 break;
782 case 'v':
783 print_pairables = 0;
784 /* Fall through. */
786 case 'a':
787 if (xstrtol (optarg, NULL, 10, &val, NULL) != LONGINT_OK
788 || (val != 1 && val != 2))
789 error (EXIT_FAILURE, 0, _("invalid field number: `%s'"), optarg);
790 if (val == 1)
791 print_unpairables_1 = 1;
792 else
793 print_unpairables_2 = 1;
794 break;
796 case 'e':
797 empty_filler = optarg;
798 break;
800 case 'i':
801 ignore_case = 1;
802 break;
804 case '1':
805 if (xstrtol (optarg, NULL, 10, &val, NULL) != LONGINT_OK
806 || val <= 0 || val > INT_MAX)
808 error (EXIT_FAILURE, 0,
809 _("invalid field number for file 1: `%s'"), optarg);
811 join_field_1 = (int) val - 1;
812 break;
814 case '2':
815 if (xstrtol (optarg, NULL, 10, &val, NULL) != LONGINT_OK
816 || val <= 0 || val > INT_MAX)
817 error (EXIT_FAILURE, 0,
818 _("invalid field number for file 2: `%s'"), optarg);
819 join_field_2 = (int) val - 1;
820 break;
822 case 'j':
823 if (xstrtol (optarg, NULL, 10, &val, NULL) != LONGINT_OK
824 || val <= 0 || val > INT_MAX)
825 error (EXIT_FAILURE, 0, _("invalid field number: `%s'"), optarg);
826 join_field_1 = join_field_2 = (int) val - 1;
827 break;
829 case 'o':
830 if (add_field_list (optarg))
831 exit (EXIT_FAILURE);
832 break;
834 case 't':
835 tab = *optarg;
836 break;
838 case 1: /* Non-option argument. */
839 if (prev_optc == 'o' && optind <= argc - 2)
841 if (add_field_list (optarg))
842 exit (EXIT_FAILURE);
844 /* Might be continuation of args to -o. */
845 continue; /* Don't change `prev_optc'. */
848 if (nfiles > 1)
850 error (0, 0, _("too many non-option arguments"));
851 usage (1);
853 names[nfiles++] = optarg;
854 break;
856 case '?':
857 usage (1);
859 prev_optc = optc;
862 /* Now that we've seen the options, we can construct the blank line
863 structure. */
864 make_blank (&uni_blank, uni_blank.nfields);
866 if (nfiles != 2)
868 error (0, 0, _("too few non-option arguments"));
869 usage (1);
872 fp1 = strcmp (names[0], "-") ? fopen (names[0], "r") : stdin;
873 if (!fp1)
874 error (EXIT_FAILURE, errno, "%s", names[0]);
875 fp2 = strcmp (names[1], "-") ? fopen (names[1], "r") : stdin;
876 if (!fp2)
877 error (EXIT_FAILURE, errno, "%s", names[1]);
878 if (fp1 == fp2)
879 error (EXIT_FAILURE, errno, _("both files cannot be standard input"));
880 join (fp1, fp2);
882 if (fp1 != stdin && fclose (fp1) == EOF)
883 error (EXIT_FAILURE, errno, "%s", names[0]);
884 if (fp2 != stdin && fclose (fp2) == EOF)
885 error (EXIT_FAILURE, errno, "%s", names[1]);
886 if ((fp1 == stdin || fp2 == stdin) && fclose (stdin) == EOF)
887 error (EXIT_FAILURE, errno, "-");
888 if (ferror (stdout) || fclose (stdout) == EOF)
889 error (EXIT_FAILURE, errno, _("write error"));
891 exit (EXIT_SUCCESS);