str.c revision 1.9 1 1.9 kleink /* $NetBSD: str.c,v 1.9 1999/03/16 14:57:48 kleink Exp $ */
2 1.6 jtc
3 1.1 glass /*-
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 glass *
7 1.1 glass * Redistribution and use in source and binary forms, with or without
8 1.1 glass * modification, are permitted provided that the following conditions
9 1.1 glass * are met:
10 1.1 glass * 1. Redistributions of source code must retain the above copyright
11 1.1 glass * notice, this list of conditions and the following disclaimer.
12 1.1 glass * 2. Redistributions in binary form must reproduce the above copyright
13 1.1 glass * notice, this list of conditions and the following disclaimer in the
14 1.1 glass * documentation and/or other materials provided with the distribution.
15 1.1 glass * 3. All advertising materials mentioning features or use of this software
16 1.1 glass * must display the following acknowledgement:
17 1.1 glass * This product includes software developed by the University of
18 1.1 glass * California, Berkeley and its contributors.
19 1.1 glass * 4. Neither the name of the University nor the names of its contributors
20 1.1 glass * may be used to endorse or promote products derived from this software
21 1.1 glass * without specific prior written permission.
22 1.1 glass *
23 1.1 glass * THIS SOFTWARE IS PROVIDED BY THE REGENTS AND CONTRIBUTORS ``AS IS'' AND
24 1.1 glass * ANY EXPRESS OR IMPLIED WARRANTIES, INCLUDING, BUT NOT LIMITED TO, THE
25 1.1 glass * IMPLIED WARRANTIES OF MERCHANTABILITY AND FITNESS FOR A PARTICULAR PURPOSE
26 1.1 glass * ARE DISCLAIMED. IN NO EVENT SHALL THE REGENTS OR CONTRIBUTORS BE LIABLE
27 1.1 glass * FOR ANY DIRECT, INDIRECT, INCIDENTAL, SPECIAL, EXEMPLARY, OR CONSEQUENTIAL
28 1.1 glass * DAMAGES (INCLUDING, BUT NOT LIMITED TO, PROCUREMENT OF SUBSTITUTE GOODS
29 1.1 glass * OR SERVICES; LOSS OF USE, DATA, OR PROFITS; OR BUSINESS INTERRUPTION)
30 1.1 glass * HOWEVER CAUSED AND ON ANY THEORY OF LIABILITY, WHETHER IN CONTRACT, STRICT
31 1.1 glass * LIABILITY, OR TORT (INCLUDING NEGLIGENCE OR OTHERWISE) ARISING IN ANY WAY
32 1.1 glass * OUT OF THE USE OF THIS SOFTWARE, EVEN IF ADVISED OF THE POSSIBILITY OF
33 1.1 glass * SUCH DAMAGE.
34 1.1 glass */
35 1.1 glass
36 1.8 lukem #include <sys/cdefs.h>
37 1.1 glass #ifndef lint
38 1.6 jtc #if 0
39 1.7 jtc static char sccsid[] = "@(#)str.c 8.2 (Berkeley) 4/28/95";
40 1.6 jtc #endif
41 1.9 kleink __RCSID("$NetBSD: str.c,v 1.9 1999/03/16 14:57:48 kleink Exp $");
42 1.1 glass #endif /* not lint */
43 1.1 glass
44 1.1 glass #include <sys/cdefs.h>
45 1.1 glass #include <sys/types.h>
46 1.1 glass
47 1.8 lukem #include <err.h>
48 1.1 glass #include <errno.h>
49 1.1 glass #include <stddef.h>
50 1.1 glass #include <stdio.h>
51 1.1 glass #include <stdlib.h>
52 1.1 glass #include <string.h>
53 1.4 jtc #include <ctype.h>
54 1.1 glass
55 1.1 glass #include "extern.h"
56 1.1 glass
57 1.1 glass static int backslash __P((STR *));
58 1.1 glass static int bracket __P((STR *));
59 1.1 glass static int c_class __P((const void *, const void *));
60 1.1 glass static void genclass __P((STR *));
61 1.1 glass static void genequiv __P((STR *));
62 1.1 glass static int genrange __P((STR *));
63 1.1 glass static void genseq __P((STR *));
64 1.1 glass
65 1.1 glass int
66 1.1 glass next(s)
67 1.8 lukem STR *s;
68 1.1 glass {
69 1.8 lukem int ch;
70 1.1 glass
71 1.1 glass switch (s->state) {
72 1.1 glass case EOS:
73 1.1 glass return (0);
74 1.1 glass case INFINITE:
75 1.1 glass return (1);
76 1.1 glass case NORMAL:
77 1.1 glass switch (ch = *s->str) {
78 1.1 glass case '\0':
79 1.1 glass s->state = EOS;
80 1.1 glass return (0);
81 1.1 glass case '\\':
82 1.1 glass s->lastch = backslash(s);
83 1.1 glass break;
84 1.1 glass case '[':
85 1.1 glass if (bracket(s))
86 1.1 glass return (next(s));
87 1.1 glass /* FALLTHROUGH */
88 1.1 glass default:
89 1.1 glass ++s->str;
90 1.1 glass s->lastch = ch;
91 1.1 glass break;
92 1.1 glass }
93 1.1 glass
94 1.1 glass /* We can start a range at any time. */
95 1.1 glass if (s->str[0] == '-' && genrange(s))
96 1.1 glass return (next(s));
97 1.1 glass return (1);
98 1.1 glass case RANGE:
99 1.1 glass if (s->cnt-- == 0) {
100 1.1 glass s->state = NORMAL;
101 1.1 glass return (next(s));
102 1.1 glass }
103 1.1 glass ++s->lastch;
104 1.1 glass return (1);
105 1.1 glass case SEQUENCE:
106 1.1 glass if (s->cnt-- == 0) {
107 1.1 glass s->state = NORMAL;
108 1.1 glass return (next(s));
109 1.1 glass }
110 1.1 glass return (1);
111 1.1 glass case SET:
112 1.1 glass if ((s->lastch = s->set[s->cnt++]) == OOBCH) {
113 1.1 glass s->state = NORMAL;
114 1.1 glass return (next(s));
115 1.1 glass }
116 1.1 glass return (1);
117 1.1 glass }
118 1.1 glass /* NOTREACHED */
119 1.8 lukem return (0);
120 1.1 glass }
121 1.1 glass
122 1.1 glass static int
123 1.1 glass bracket(s)
124 1.8 lukem STR *s;
125 1.1 glass {
126 1.8 lukem char *p;
127 1.1 glass
128 1.1 glass switch (s->str[1]) {
129 1.1 glass case ':': /* "[:class:]" */
130 1.1 glass if ((p = strstr(s->str + 2, ":]")) == NULL)
131 1.1 glass return (0);
132 1.1 glass *p = '\0';
133 1.1 glass s->str += 2;
134 1.1 glass genclass(s);
135 1.1 glass s->str = p + 2;
136 1.1 glass return (1);
137 1.1 glass case '=': /* "[=equiv=]" */
138 1.1 glass if ((p = strstr(s->str + 2, "=]")) == NULL)
139 1.1 glass return (0);
140 1.1 glass s->str += 2;
141 1.1 glass genequiv(s);
142 1.1 glass return (1);
143 1.1 glass default: /* "[\###*n]" or "[#*n]" */
144 1.1 glass if ((p = strpbrk(s->str + 2, "*]")) == NULL)
145 1.1 glass return (0);
146 1.8 lukem if (p[0] != '*' || strchr(p, ']') == NULL)
147 1.1 glass return (0);
148 1.1 glass s->str += 1;
149 1.1 glass genseq(s);
150 1.1 glass return (1);
151 1.1 glass }
152 1.1 glass /* NOTREACHED */
153 1.1 glass }
154 1.1 glass
155 1.1 glass typedef struct {
156 1.1 glass char *name;
157 1.1 glass int (*func) __P((int));
158 1.1 glass int *set;
159 1.1 glass } CLASS;
160 1.1 glass
161 1.1 glass static CLASS classes[] = {
162 1.1 glass { "alnum", isalnum, },
163 1.1 glass { "alpha", isalpha, },
164 1.1 glass { "blank", isblank, },
165 1.1 glass { "cntrl", iscntrl, },
166 1.1 glass { "digit", isdigit, },
167 1.1 glass { "graph", isgraph, },
168 1.1 glass { "lower", islower, },
169 1.9 kleink { "print", isprint, },
170 1.1 glass { "punct", ispunct, },
171 1.1 glass { "space", isspace, },
172 1.1 glass { "upper", isupper, },
173 1.1 glass { "xdigit", isxdigit, },
174 1.1 glass };
175 1.1 glass
176 1.1 glass static void
177 1.1 glass genclass(s)
178 1.1 glass STR *s;
179 1.1 glass {
180 1.8 lukem int cnt, (*func) __P((int));
181 1.1 glass CLASS *cp, tmp;
182 1.1 glass int *p;
183 1.1 glass
184 1.1 glass tmp.name = s->str;
185 1.1 glass if ((cp = (CLASS *)bsearch(&tmp, classes, sizeof(classes) /
186 1.1 glass sizeof(CLASS), sizeof(CLASS), c_class)) == NULL)
187 1.8 lukem errx(1, "unknown class %s", s->str);
188 1.1 glass
189 1.1 glass if ((cp->set = p = malloc((NCHARS + 1) * sizeof(int))) == NULL)
190 1.8 lukem err(1, "malloc");
191 1.8 lukem memset(p, 0, (NCHARS + 1) * sizeof(int));
192 1.1 glass for (cnt = 0, func = cp->func; cnt < NCHARS; ++cnt)
193 1.1 glass if ((func)(cnt))
194 1.1 glass *p++ = cnt;
195 1.1 glass *p = OOBCH;
196 1.1 glass
197 1.1 glass s->cnt = 0;
198 1.1 glass s->state = SET;
199 1.1 glass s->set = cp->set;
200 1.1 glass }
201 1.1 glass
202 1.1 glass static int
203 1.1 glass c_class(a, b)
204 1.1 glass const void *a, *b;
205 1.1 glass {
206 1.1 glass return (strcmp(((CLASS *)a)->name, ((CLASS *)b)->name));
207 1.1 glass }
208 1.1 glass
209 1.1 glass /*
210 1.1 glass * English doesn't have any equivalence classes, so for now
211 1.1 glass * we just syntax check and grab the character.
212 1.1 glass */
213 1.1 glass static void
214 1.1 glass genequiv(s)
215 1.1 glass STR *s;
216 1.1 glass {
217 1.1 glass if (*s->str == '\\') {
218 1.1 glass s->equiv[0] = backslash(s);
219 1.1 glass if (*s->str != '=')
220 1.8 lukem errx(1, "misplaced equivalence equals sign");
221 1.1 glass } else {
222 1.1 glass s->equiv[0] = s->str[0];
223 1.1 glass if (s->str[1] != '=')
224 1.8 lukem errx(1, "misplaced equivalence equals sign");
225 1.1 glass }
226 1.1 glass s->str += 2;
227 1.1 glass s->cnt = 0;
228 1.1 glass s->state = SET;
229 1.1 glass s->set = s->equiv;
230 1.1 glass }
231 1.1 glass
232 1.1 glass static int
233 1.1 glass genrange(s)
234 1.1 glass STR *s;
235 1.1 glass {
236 1.1 glass int stopval;
237 1.1 glass char *savestart;
238 1.1 glass
239 1.1 glass savestart = s->str;
240 1.5 jtc stopval = *++s->str == '\\' ? backslash(s) : *s->str++;
241 1.7 jtc if (stopval < (u_char)s->lastch) {
242 1.1 glass s->str = savestart;
243 1.1 glass return (0);
244 1.1 glass }
245 1.1 glass s->cnt = stopval - s->lastch + 1;
246 1.1 glass s->state = RANGE;
247 1.1 glass --s->lastch;
248 1.1 glass return (1);
249 1.1 glass }
250 1.1 glass
251 1.1 glass static void
252 1.1 glass genseq(s)
253 1.1 glass STR *s;
254 1.1 glass {
255 1.1 glass char *ep;
256 1.1 glass
257 1.1 glass if (s->which == STRING1)
258 1.8 lukem errx(1, "sequences only valid in string2");
259 1.1 glass
260 1.1 glass if (*s->str == '\\')
261 1.1 glass s->lastch = backslash(s);
262 1.1 glass else
263 1.1 glass s->lastch = *s->str++;
264 1.1 glass if (*s->str != '*')
265 1.8 lukem errx(1, "misplaced sequence asterisk");
266 1.1 glass
267 1.1 glass switch (*++s->str) {
268 1.1 glass case '\\':
269 1.1 glass s->cnt = backslash(s);
270 1.1 glass break;
271 1.1 glass case ']':
272 1.1 glass s->cnt = 0;
273 1.1 glass ++s->str;
274 1.1 glass break;
275 1.1 glass default:
276 1.1 glass if (isdigit(*s->str)) {
277 1.1 glass s->cnt = strtol(s->str, &ep, 0);
278 1.1 glass if (*ep == ']') {
279 1.1 glass s->str = ep + 1;
280 1.1 glass break;
281 1.1 glass }
282 1.1 glass }
283 1.8 lukem errx(1, "illegal sequence count");
284 1.1 glass /* NOTREACHED */
285 1.1 glass }
286 1.1 glass
287 1.1 glass s->state = s->cnt ? SEQUENCE : INFINITE;
288 1.1 glass }
289 1.1 glass
290 1.1 glass /*
291 1.1 glass * Translate \??? into a character. Up to 3 octal digits, if no digits either
292 1.1 glass * an escape code or a literal character.
293 1.1 glass */
294 1.1 glass static int
295 1.1 glass backslash(s)
296 1.8 lukem STR *s;
297 1.1 glass {
298 1.8 lukem int ch, cnt, val;
299 1.1 glass
300 1.1 glass for (cnt = val = 0;;) {
301 1.1 glass ch = *++s->str;
302 1.1 glass if (!isascii(ch) || !isdigit(ch))
303 1.1 glass break;
304 1.1 glass val = val * 8 + ch - '0';
305 1.1 glass if (++cnt == 3) {
306 1.1 glass ++s->str;
307 1.1 glass break;
308 1.1 glass }
309 1.1 glass }
310 1.1 glass if (cnt)
311 1.1 glass return (val);
312 1.1 glass if (ch != '\0')
313 1.1 glass ++s->str;
314 1.1 glass switch (ch) {
315 1.1 glass case 'a': /* escape characters */
316 1.1 glass return ('\7');
317 1.1 glass case 'b':
318 1.1 glass return ('\b');
319 1.1 glass case 'f':
320 1.1 glass return ('\f');
321 1.1 glass case 'n':
322 1.1 glass return ('\n');
323 1.1 glass case 'r':
324 1.1 glass return ('\r');
325 1.1 glass case 't':
326 1.1 glass return ('\t');
327 1.1 glass case 'v':
328 1.1 glass return ('\13');
329 1.1 glass case '\0': /* \" -> \ */
330 1.1 glass s->state = EOS;
331 1.1 glass return ('\\');
332 1.1 glass default: /* \x" -> x */
333 1.1 glass return (ch);
334 1.1 glass }
335 1.1 glass }
336