look.c revision 1.12 1 1.12 lukem /* $NetBSD: look.c,v 1.12 2008/07/21 14:19:24 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.12 lukem __RCSID("$NetBSD: look.c,v 1.12 2008/07/21 14:19:24 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.6 jtc char *back, *file, *front, *string, *p;
105 1.1 cgd
106 1.8 lukem string = NULL;
107 1.1 cgd file = _PATH_WORDS;
108 1.6 jtc termchar = '\0';
109 1.8 lukem while ((ch = getopt(argc, argv, "dft:")) != -1)
110 1.1 cgd switch(ch) {
111 1.1 cgd case 'd':
112 1.1 cgd dflag = 1;
113 1.1 cgd break;
114 1.1 cgd case 'f':
115 1.1 cgd fflag = 1;
116 1.1 cgd break;
117 1.6 jtc case 't':
118 1.6 jtc termchar = *optarg;
119 1.6 jtc break;
120 1.1 cgd case '?':
121 1.1 cgd default:
122 1.1 cgd usage();
123 1.1 cgd }
124 1.1 cgd argc -= optind;
125 1.1 cgd argv += optind;
126 1.1 cgd
127 1.1 cgd switch (argc) {
128 1.1 cgd case 2: /* Don't set -df for user. */
129 1.1 cgd string = *argv++;
130 1.1 cgd file = *argv;
131 1.1 cgd break;
132 1.1 cgd case 1: /* But set -df by default. */
133 1.1 cgd dflag = fflag = 1;
134 1.1 cgd string = *argv;
135 1.1 cgd break;
136 1.1 cgd default:
137 1.1 cgd usage();
138 1.1 cgd }
139 1.1 cgd
140 1.6 jtc if (termchar != '\0' && (p = strchr(string, termchar)) != NULL)
141 1.6 jtc *++p = '\0';
142 1.6 jtc
143 1.6 jtc if ((fd = open(file, O_RDONLY, 0)) < 0 || fstat(fd, &sb))
144 1.6 jtc err(2, "%s", file);
145 1.6 jtc if (sb.st_size > SIZE_T_MAX)
146 1.6 jtc err(2, "%s: %s", file, strerror(EFBIG));
147 1.10 mycroft if ((front = mmap(NULL, (size_t)sb.st_size,
148 1.10 mycroft PROT_READ, MAP_FILE|MAP_SHARED, fd, (off_t)0)) == NULL)
149 1.6 jtc err(2, "%s", file);
150 1.1 cgd back = front + sb.st_size;
151 1.1 cgd exit(look(string, front, back));
152 1.1 cgd }
153 1.1 cgd
154 1.6 jtc int
155 1.1 cgd look(string, front, back)
156 1.1 cgd char *string, *front, *back;
157 1.1 cgd {
158 1.8 lukem int ch;
159 1.8 lukem char *readp, *writep;
160 1.1 cgd
161 1.1 cgd /* Reformat string string to avoid doing it multiple times later. */
162 1.8 lukem for (readp = writep = string; (ch = *readp++) != 0; ) {
163 1.1 cgd if (fflag)
164 1.1 cgd ch = FOLD(ch);
165 1.1 cgd if (dflag)
166 1.1 cgd ch = DICT(ch);
167 1.1 cgd if (ch != NO_COMPARE)
168 1.1 cgd *(writep++) = ch;
169 1.1 cgd }
170 1.1 cgd *writep = '\0';
171 1.1 cgd
172 1.1 cgd front = binary_search(string, front, back);
173 1.1 cgd front = linear_search(string, front, back);
174 1.1 cgd
175 1.1 cgd if (front)
176 1.1 cgd print_from(string, front, back);
177 1.1 cgd return (front ? 0 : 1);
178 1.1 cgd }
179 1.1 cgd
180 1.1 cgd
181 1.1 cgd /*
182 1.1 cgd * Binary search for "string" in memory between "front" and "back".
183 1.1 cgd *
184 1.1 cgd * This routine is expected to return a pointer to the start of a line at
185 1.1 cgd * *or before* the first word matching "string". Relaxing the constraint
186 1.1 cgd * this way simplifies the algorithm.
187 1.1 cgd *
188 1.1 cgd * Invariants:
189 1.1 cgd * front points to the beginning of a line at or before the first
190 1.1 cgd * matching string.
191 1.1 cgd *
192 1.1 cgd * back points to the beginning of a line at or after the first
193 1.1 cgd * matching line.
194 1.1 cgd *
195 1.1 cgd * Base of the Invariants.
196 1.1 cgd * front = NULL;
197 1.1 cgd * back = EOF;
198 1.1 cgd *
199 1.1 cgd * Advancing the Invariants:
200 1.1 cgd *
201 1.1 cgd * p = first newline after halfway point from front to back.
202 1.1 cgd *
203 1.1 cgd * If the string at "p" is not greater than the string to match,
204 1.1 cgd * p is the new front. Otherwise it is the new back.
205 1.1 cgd *
206 1.1 cgd * Termination:
207 1.1 cgd *
208 1.1 cgd * The definition of the routine allows it return at any point,
209 1.1 cgd * since front is always at or before the line to print.
210 1.1 cgd *
211 1.1 cgd * In fact, it returns when the chosen "p" equals "back". This
212 1.1 cgd * implies that there exists a string is least half as long as
213 1.1 cgd * (back - front), which in turn implies that a linear search will
214 1.1 cgd * be no more expensive than the cost of simply printing a string or two.
215 1.1 cgd *
216 1.1 cgd * Trying to continue with binary search at this point would be
217 1.1 cgd * more trouble than it's worth.
218 1.1 cgd */
219 1.1 cgd #define SKIP_PAST_NEWLINE(p, back) \
220 1.1 cgd while (p < back && *p++ != '\n');
221 1.1 cgd
222 1.1 cgd char *
223 1.1 cgd binary_search(string, front, back)
224 1.8 lukem char *string, *front, *back;
225 1.1 cgd {
226 1.8 lukem char *p;
227 1.1 cgd
228 1.1 cgd p = front + (back - front) / 2;
229 1.1 cgd SKIP_PAST_NEWLINE(p, back);
230 1.1 cgd
231 1.6 jtc /*
232 1.6 jtc * If the file changes underneath us, make sure we don't
233 1.6 jtc * infinitely loop.
234 1.6 jtc */
235 1.6 jtc while (p < back && back > front) {
236 1.1 cgd if (compare(string, p, back) == GREATER)
237 1.1 cgd front = p;
238 1.1 cgd else
239 1.1 cgd back = p;
240 1.1 cgd p = front + (back - front) / 2;
241 1.1 cgd SKIP_PAST_NEWLINE(p, back);
242 1.1 cgd }
243 1.1 cgd return (front);
244 1.1 cgd }
245 1.1 cgd
246 1.1 cgd /*
247 1.1 cgd * Find the first line that starts with string, linearly searching from front
248 1.1 cgd * to back.
249 1.1 cgd *
250 1.1 cgd * Return NULL for no such line.
251 1.1 cgd *
252 1.1 cgd * This routine assumes:
253 1.1 cgd *
254 1.1 cgd * o front points at the first character in a line.
255 1.1 cgd * o front is before or at the first line to be printed.
256 1.1 cgd */
257 1.1 cgd char *
258 1.1 cgd linear_search(string, front, back)
259 1.1 cgd char *string, *front, *back;
260 1.1 cgd {
261 1.1 cgd while (front < back) {
262 1.1 cgd switch (compare(string, front, back)) {
263 1.1 cgd case EQUAL: /* Found it. */
264 1.1 cgd return (front);
265 1.1 cgd break;
266 1.1 cgd case LESS: /* No such string. */
267 1.1 cgd return (NULL);
268 1.1 cgd break;
269 1.1 cgd case GREATER: /* Keep going. */
270 1.1 cgd break;
271 1.1 cgd }
272 1.1 cgd SKIP_PAST_NEWLINE(front, back);
273 1.1 cgd }
274 1.1 cgd return (NULL);
275 1.1 cgd }
276 1.1 cgd
277 1.1 cgd /*
278 1.1 cgd * Print as many lines as match string, starting at front.
279 1.1 cgd */
280 1.1 cgd void
281 1.1 cgd print_from(string, front, back)
282 1.8 lukem char *string, *front, *back;
283 1.1 cgd {
284 1.1 cgd for (; front < back && compare(string, front, back) == EQUAL; ++front) {
285 1.1 cgd for (; front < back && *front != '\n'; ++front)
286 1.1 cgd if (putchar(*front) == EOF)
287 1.6 jtc err(2, "stdout");
288 1.1 cgd if (putchar('\n') == EOF)
289 1.6 jtc err(2, "stdout");
290 1.1 cgd }
291 1.1 cgd }
292 1.1 cgd
293 1.1 cgd /*
294 1.1 cgd * Return LESS, GREATER, or EQUAL depending on how the string1 compares with
295 1.1 cgd * string2 (s1 ??? s2).
296 1.1 cgd *
297 1.1 cgd * o Matches up to len(s1) are EQUAL.
298 1.1 cgd * o Matches up to len(s2) are GREATER.
299 1.1 cgd *
300 1.1 cgd * Compare understands about the -f and -d flags, and treats comparisons
301 1.1 cgd * appropriately.
302 1.1 cgd *
303 1.1 cgd * The string "s1" is null terminated. The string s2 is '\n' terminated (or
304 1.1 cgd * "back" terminated).
305 1.1 cgd */
306 1.1 cgd int
307 1.1 cgd compare(s1, s2, back)
308 1.8 lukem char *s1, *s2, *back;
309 1.1 cgd {
310 1.8 lukem int ch;
311 1.1 cgd
312 1.1 cgd for (; *s1 && s2 < back && *s2 != '\n'; ++s1, ++s2) {
313 1.1 cgd ch = *s2;
314 1.1 cgd if (fflag)
315 1.1 cgd ch = FOLD(ch);
316 1.1 cgd if (dflag)
317 1.1 cgd ch = DICT(ch);
318 1.1 cgd
319 1.1 cgd if (ch == NO_COMPARE) {
320 1.1 cgd ++s2; /* Ignore character in comparison. */
321 1.1 cgd continue;
322 1.1 cgd }
323 1.1 cgd if (*s1 != ch)
324 1.1 cgd return (*s1 < ch ? LESS : GREATER);
325 1.1 cgd }
326 1.1 cgd return (*s1 ? GREATER : EQUAL);
327 1.1 cgd }
328 1.1 cgd
329 1.6 jtc void
330 1.1 cgd usage()
331 1.1 cgd {
332 1.6 jtc (void)fprintf(stderr, "usage: look [-df] [-t char] string [file]\n");
333 1.1 cgd exit(2);
334 1.1 cgd }
335