Home | History | Annotate | Line # | Download | only in look
look.c revision 1.13
      1  1.13    lukem /*	$NetBSD: look.c,v 1.13 2009/04/12 14:01:20 lukem Exp $	*/
      2   1.6      jtc 
      3   1.1      cgd /*-
      4   1.6      jtc  * Copyright (c) 1991, 1993
      5   1.6      jtc  *	The Regents of the University of California.  All rights reserved.
      6   1.1      cgd  *
      7   1.1      cgd  * This code is derived from software contributed to Berkeley by
      8   1.1      cgd  * David Hitz of Auspex Systems, Inc.
      9   1.1      cgd  *
     10   1.1      cgd  * Redistribution and use in source and binary forms, with or without
     11   1.1      cgd  * modification, are permitted provided that the following conditions
     12   1.1      cgd  * are met:
     13   1.1      cgd  * 1. Redistributions of source code must retain the above copyright
     14   1.1      cgd  *    notice, this list of conditions and the following disclaimer.
     15   1.1      cgd  * 2. Redistributions in binary form must reproduce the above copyright
     16   1.1      cgd  *    notice, this list of conditions and the following disclaimer in the
     17   1.1      cgd  *    documentation and/or other materials provided with the distribution.
     18  1.11      agc  * 3. Neither the name of the University nor the names of its contributors
     19   1.1      cgd  *    may be used to endorse or promote products derived from this software
     20   1.1      cgd  *    without specific prior written permission.
     21   1.1      cgd  *
     22   1.1      cgd  * THIS SOFTWARE IS PROVIDED BY THE REGENTS AND CONTRIBUTORS ``AS IS'' AND
     23   1.1      cgd  * ANY EXPRESS OR IMPLIED WARRANTIES, INCLUDING, BUT NOT LIMITED TO, THE
     24   1.1      cgd  * IMPLIED WARRANTIES OF MERCHANTABILITY AND FITNESS FOR A PARTICULAR PURPOSE
     25   1.1      cgd  * ARE DISCLAIMED.  IN NO EVENT SHALL THE REGENTS OR CONTRIBUTORS BE LIABLE
     26   1.1      cgd  * FOR ANY DIRECT, INDIRECT, INCIDENTAL, SPECIAL, EXEMPLARY, OR CONSEQUENTIAL
     27   1.1      cgd  * DAMAGES (INCLUDING, BUT NOT LIMITED TO, PROCUREMENT OF SUBSTITUTE GOODS
     28   1.1      cgd  * OR SERVICES; LOSS OF USE, DATA, OR PROFITS; OR BUSINESS INTERRUPTION)
     29   1.1      cgd  * HOWEVER CAUSED AND ON ANY THEORY OF LIABILITY, WHETHER IN CONTRACT, STRICT
     30   1.1      cgd  * LIABILITY, OR TORT (INCLUDING NEGLIGENCE OR OTHERWISE) ARISING IN ANY WAY
     31   1.1      cgd  * OUT OF THE USE OF THIS SOFTWARE, EVEN IF ADVISED OF THE POSSIBILITY OF
     32   1.1      cgd  * SUCH DAMAGE.
     33   1.1      cgd  */
     34   1.1      cgd 
     35   1.8    lukem #include <sys/cdefs.h>
     36   1.1      cgd #ifndef lint
     37  1.12    lukem __COPYRIGHT("@(#) Copyright (c) 1991, 1993\
     38  1.12    lukem  The Regents of the University of California.  All rights reserved.");
     39   1.1      cgd #endif /* not lint */
     40   1.1      cgd 
     41   1.1      cgd #ifndef lint
     42   1.6      jtc #if 0
     43   1.7      jtc static char sccsid[] = "@(#)look.c	8.2 (Berkeley) 5/4/95";
     44   1.6      jtc #endif
     45  1.13    lukem __RCSID("$NetBSD: look.c,v 1.13 2009/04/12 14:01:20 lukem Exp $");
     46   1.1      cgd #endif /* not lint */
     47   1.1      cgd 
     48   1.1      cgd /*
     49   1.1      cgd  * look -- find lines in a sorted list.
     50   1.1      cgd  *
     51   1.1      cgd  * The man page said that TABs and SPACEs participate in -d comparisons.
     52   1.1      cgd  * In fact, they were ignored.  This implements historic practice, not
     53   1.1      cgd  * the manual page.
     54   1.1      cgd  */
     55   1.1      cgd 
     56   1.1      cgd #include <sys/types.h>
     57   1.1      cgd #include <sys/mman.h>
     58   1.1      cgd #include <sys/stat.h>
     59   1.6      jtc 
     60   1.7      jtc #include <ctype.h>
     61   1.1      cgd #include <errno.h>
     62   1.1      cgd #include <fcntl.h>
     63   1.7      jtc #include <limits.h>
     64   1.1      cgd #include <stdio.h>
     65   1.1      cgd #include <stdlib.h>
     66   1.1      cgd #include <string.h>
     67   1.4      jtc #include <unistd.h>
     68   1.6      jtc #include <err.h>
     69   1.7      jtc 
     70   1.1      cgd #include "pathnames.h"
     71   1.1      cgd 
     72   1.1      cgd /*
     73   1.1      cgd  * FOLD and DICT convert characters to a normal form for comparison,
     74   1.1      cgd  * according to the user specified flags.
     75   1.1      cgd  *
     76   1.1      cgd  * DICT expects integers because it uses a non-character value to
     77   1.1      cgd  * indicate a character which should not participate in comparisons.
     78   1.1      cgd  */
     79   1.1      cgd #define	EQUAL		0
     80   1.1      cgd #define	GREATER		1
     81   1.1      cgd #define	LESS		(-1)
     82   1.1      cgd #define NO_COMPARE	(-2)
     83   1.1      cgd 
     84   1.1      cgd #define	FOLD(c)	(isascii(c) && isupper(c) ? tolower(c) : (c))
     85   1.1      cgd #define	DICT(c)	(isascii(c) && isalnum(c) ? (c) : NO_COMPARE)
     86   1.1      cgd 
     87   1.1      cgd int dflag, fflag;
     88   1.1      cgd 
     89   1.1      cgd char	*binary_search __P((char *, char *, char *));
     90   1.1      cgd int	 compare __P((char *, char *, char *));
     91   1.1      cgd char	*linear_search __P((char *, char *, char *));
     92   1.1      cgd int	 look __P((char *, char *, char *));
     93   1.8    lukem int	 main __P((int, char **));
     94   1.1      cgd void	 print_from __P((char *, char *, char *));
     95   1.6      jtc void	 usage __P((void));
     96   1.1      cgd 
     97   1.6      jtc int
     98   1.1      cgd main(argc, argv)
     99   1.1      cgd 	int argc;
    100   1.1      cgd 	char *argv[];
    101   1.1      cgd {
    102   1.1      cgd 	struct stat sb;
    103   1.6      jtc 	int ch, fd, termchar;
    104  1.13    lukem 	char *back, *front, *string, *p;
    105  1.13    lukem 	const char *file;
    106   1.1      cgd 
    107   1.8    lukem 	string = NULL;
    108   1.1      cgd 	file = _PATH_WORDS;
    109   1.6      jtc 	termchar = '\0';
    110   1.8    lukem 	while ((ch = getopt(argc, argv, "dft:")) != -1)
    111   1.1      cgd 		switch(ch) {
    112   1.1      cgd 		case 'd':
    113   1.1      cgd 			dflag = 1;
    114   1.1      cgd 			break;
    115   1.1      cgd 		case 'f':
    116   1.1      cgd 			fflag = 1;
    117   1.1      cgd 			break;
    118   1.6      jtc 		case 't':
    119   1.6      jtc 			termchar = *optarg;
    120   1.6      jtc 			break;
    121   1.1      cgd 		case '?':
    122   1.1      cgd 		default:
    123   1.1      cgd 			usage();
    124   1.1      cgd 		}
    125   1.1      cgd 	argc -= optind;
    126   1.1      cgd 	argv += optind;
    127   1.1      cgd 
    128   1.1      cgd 	switch (argc) {
    129   1.1      cgd 	case 2:				/* Don't set -df for user. */
    130   1.1      cgd 		string = *argv++;
    131   1.1      cgd 		file = *argv;
    132   1.1      cgd 		break;
    133   1.1      cgd 	case 1:				/* But set -df by default. */
    134   1.1      cgd 		dflag = fflag = 1;
    135   1.1      cgd 		string = *argv;
    136   1.1      cgd 		break;
    137   1.1      cgd 	default:
    138   1.1      cgd 		usage();
    139   1.1      cgd 	}
    140   1.1      cgd 
    141   1.6      jtc 	if (termchar != '\0' && (p = strchr(string, termchar)) != NULL)
    142   1.6      jtc 		*++p = '\0';
    143   1.6      jtc 
    144   1.6      jtc 	if ((fd = open(file, O_RDONLY, 0)) < 0 || fstat(fd, &sb))
    145   1.6      jtc 		err(2, "%s", file);
    146  1.13    lukem 	if (sb.st_size > (off_t)SIZE_T_MAX)
    147   1.6      jtc 		err(2, "%s: %s", file, strerror(EFBIG));
    148  1.10  mycroft 	if ((front = mmap(NULL, (size_t)sb.st_size,
    149  1.10  mycroft 	    PROT_READ, MAP_FILE|MAP_SHARED, fd, (off_t)0)) == NULL)
    150   1.6      jtc 		err(2, "%s", file);
    151   1.1      cgd 	back = front + sb.st_size;
    152   1.1      cgd 	exit(look(string, front, back));
    153   1.1      cgd }
    154   1.1      cgd 
    155   1.6      jtc int
    156   1.1      cgd look(string, front, back)
    157   1.1      cgd 	char *string, *front, *back;
    158   1.1      cgd {
    159   1.8    lukem 	int ch;
    160   1.8    lukem 	char *readp, *writep;
    161   1.1      cgd 
    162   1.1      cgd 	/* Reformat string string to avoid doing it multiple times later. */
    163   1.8    lukem 	for (readp = writep = string; (ch = *readp++) != 0; ) {
    164   1.1      cgd 		if (fflag)
    165   1.1      cgd 			ch = FOLD(ch);
    166   1.1      cgd 		if (dflag)
    167   1.1      cgd 			ch = DICT(ch);
    168   1.1      cgd 		if (ch != NO_COMPARE)
    169   1.1      cgd 			*(writep++) = ch;
    170   1.1      cgd 	}
    171   1.1      cgd 	*writep = '\0';
    172   1.1      cgd 
    173   1.1      cgd 	front = binary_search(string, front, back);
    174   1.1      cgd 	front = linear_search(string, front, back);
    175   1.1      cgd 
    176   1.1      cgd 	if (front)
    177   1.1      cgd 		print_from(string, front, back);
    178   1.1      cgd 	return (front ? 0 : 1);
    179   1.1      cgd }
    180   1.1      cgd 
    181   1.1      cgd 
    182   1.1      cgd /*
    183   1.1      cgd  * Binary search for "string" in memory between "front" and "back".
    184   1.1      cgd  *
    185   1.1      cgd  * This routine is expected to return a pointer to the start of a line at
    186   1.1      cgd  * *or before* the first word matching "string".  Relaxing the constraint
    187   1.1      cgd  * this way simplifies the algorithm.
    188   1.1      cgd  *
    189   1.1      cgd  * Invariants:
    190   1.1      cgd  * 	front points to the beginning of a line at or before the first
    191   1.1      cgd  *	matching string.
    192   1.1      cgd  *
    193   1.1      cgd  * 	back points to the beginning of a line at or after the first
    194   1.1      cgd  *	matching line.
    195   1.1      cgd  *
    196   1.1      cgd  * Base of the Invariants.
    197   1.1      cgd  * 	front = NULL;
    198   1.1      cgd  *	back = EOF;
    199   1.1      cgd  *
    200   1.1      cgd  * Advancing the Invariants:
    201   1.1      cgd  *
    202   1.1      cgd  * 	p = first newline after halfway point from front to back.
    203   1.1      cgd  *
    204   1.1      cgd  * 	If the string at "p" is not greater than the string to match,
    205   1.1      cgd  *	p is the new front.  Otherwise it is the new back.
    206   1.1      cgd  *
    207   1.1      cgd  * Termination:
    208   1.1      cgd  *
    209   1.1      cgd  * 	The definition of the routine allows it return at any point,
    210   1.1      cgd  *	since front is always at or before the line to print.
    211   1.1      cgd  *
    212   1.1      cgd  * 	In fact, it returns when the chosen "p" equals "back".  This
    213   1.1      cgd  *	implies that there exists a string is least half as long as
    214   1.1      cgd  *	(back - front), which in turn implies that a linear search will
    215   1.1      cgd  *	be no more expensive than the cost of simply printing a string or two.
    216   1.1      cgd  *
    217   1.1      cgd  * 	Trying to continue with binary search at this point would be
    218   1.1      cgd  *	more trouble than it's worth.
    219   1.1      cgd  */
    220   1.1      cgd #define	SKIP_PAST_NEWLINE(p, back) \
    221   1.1      cgd 	while (p < back && *p++ != '\n');
    222   1.1      cgd 
    223   1.1      cgd char *
    224   1.1      cgd binary_search(string, front, back)
    225   1.8    lukem 	char *string, *front, *back;
    226   1.1      cgd {
    227   1.8    lukem 	char *p;
    228   1.1      cgd 
    229   1.1      cgd 	p = front + (back - front) / 2;
    230   1.1      cgd 	SKIP_PAST_NEWLINE(p, back);
    231   1.1      cgd 
    232   1.6      jtc 	/*
    233   1.6      jtc 	 * If the file changes underneath us, make sure we don't
    234   1.6      jtc 	 * infinitely loop.
    235   1.6      jtc 	 */
    236   1.6      jtc 	while (p < back && back > front) {
    237   1.1      cgd 		if (compare(string, p, back) == GREATER)
    238   1.1      cgd 			front = p;
    239   1.1      cgd 		else
    240   1.1      cgd 			back = p;
    241   1.1      cgd 		p = front + (back - front) / 2;
    242   1.1      cgd 		SKIP_PAST_NEWLINE(p, back);
    243   1.1      cgd 	}
    244   1.1      cgd 	return (front);
    245   1.1      cgd }
    246   1.1      cgd 
    247   1.1      cgd /*
    248   1.1      cgd  * Find the first line that starts with string, linearly searching from front
    249   1.1      cgd  * to back.
    250   1.1      cgd  *
    251   1.1      cgd  * Return NULL for no such line.
    252   1.1      cgd  *
    253   1.1      cgd  * This routine assumes:
    254   1.1      cgd  *
    255   1.1      cgd  * 	o front points at the first character in a line.
    256   1.1      cgd  *	o front is before or at the first line to be printed.
    257   1.1      cgd  */
    258   1.1      cgd char *
    259   1.1      cgd linear_search(string, front, back)
    260   1.1      cgd 	char *string, *front, *back;
    261   1.1      cgd {
    262   1.1      cgd 	while (front < back) {
    263   1.1      cgd 		switch (compare(string, front, back)) {
    264   1.1      cgd 		case EQUAL:		/* Found it. */
    265   1.1      cgd 			return (front);
    266   1.1      cgd 			break;
    267   1.1      cgd 		case LESS:		/* No such string. */
    268   1.1      cgd 			return (NULL);
    269   1.1      cgd 			break;
    270   1.1      cgd 		case GREATER:		/* Keep going. */
    271   1.1      cgd 			break;
    272   1.1      cgd 		}
    273   1.1      cgd 		SKIP_PAST_NEWLINE(front, back);
    274   1.1      cgd 	}
    275   1.1      cgd 	return (NULL);
    276   1.1      cgd }
    277   1.1      cgd 
    278   1.1      cgd /*
    279   1.1      cgd  * Print as many lines as match string, starting at front.
    280   1.1      cgd  */
    281   1.1      cgd void
    282   1.1      cgd print_from(string, front, back)
    283   1.8    lukem 	char *string, *front, *back;
    284   1.1      cgd {
    285   1.1      cgd 	for (; front < back && compare(string, front, back) == EQUAL; ++front) {
    286   1.1      cgd 		for (; front < back && *front != '\n'; ++front)
    287   1.1      cgd 			if (putchar(*front) == EOF)
    288   1.6      jtc 				err(2, "stdout");
    289   1.1      cgd 		if (putchar('\n') == EOF)
    290   1.6      jtc 			err(2, "stdout");
    291   1.1      cgd 	}
    292   1.1      cgd }
    293   1.1      cgd 
    294   1.1      cgd /*
    295   1.1      cgd  * Return LESS, GREATER, or EQUAL depending on how the string1 compares with
    296   1.1      cgd  * string2 (s1 ??? s2).
    297   1.1      cgd  *
    298   1.1      cgd  * 	o Matches up to len(s1) are EQUAL.
    299   1.1      cgd  *	o Matches up to len(s2) are GREATER.
    300   1.1      cgd  *
    301   1.1      cgd  * Compare understands about the -f and -d flags, and treats comparisons
    302   1.1      cgd  * appropriately.
    303   1.1      cgd  *
    304   1.1      cgd  * The string "s1" is null terminated.  The string s2 is '\n' terminated (or
    305   1.1      cgd  * "back" terminated).
    306   1.1      cgd  */
    307   1.1      cgd int
    308   1.1      cgd compare(s1, s2, back)
    309   1.8    lukem 	char *s1, *s2, *back;
    310   1.1      cgd {
    311   1.8    lukem 	int ch;
    312   1.1      cgd 
    313   1.1      cgd 	for (; *s1 && s2 < back && *s2 != '\n'; ++s1, ++s2) {
    314   1.1      cgd 		ch = *s2;
    315   1.1      cgd 		if (fflag)
    316   1.1      cgd 			ch = FOLD(ch);
    317   1.1      cgd 		if (dflag)
    318   1.1      cgd 			ch = DICT(ch);
    319   1.1      cgd 
    320   1.1      cgd 		if (ch == NO_COMPARE) {
    321   1.1      cgd 			++s2;		/* Ignore character in comparison. */
    322   1.1      cgd 			continue;
    323   1.1      cgd 		}
    324   1.1      cgd 		if (*s1 != ch)
    325   1.1      cgd 			return (*s1 < ch ? LESS : GREATER);
    326   1.1      cgd 	}
    327   1.1      cgd 	return (*s1 ? GREATER : EQUAL);
    328   1.1      cgd }
    329   1.1      cgd 
    330   1.6      jtc void
    331   1.1      cgd usage()
    332   1.1      cgd {
    333   1.6      jtc 	(void)fprintf(stderr, "usage: look [-df] [-t char] string [file]\n");
    334   1.1      cgd 	exit(2);
    335   1.1      cgd }
    336