str.c revision 1.6 1 1.6 jtc /* $NetBSD: str.c,v 1.6 1994/12/07 08:35:10 jtc 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.1 glass #ifndef lint
37 1.6 jtc #if 0
38 1.6 jtc static char sccsid[] = "@(#)str.c 8.1 (Berkeley) 6/6/93";
39 1.6 jtc #endif
40 1.6 jtc static char rcsid[] = "$NetBSD: str.c,v 1.6 1994/12/07 08:35:10 jtc Exp $";
41 1.1 glass #endif /* not lint */
42 1.1 glass
43 1.1 glass #include <sys/cdefs.h>
44 1.1 glass #include <sys/types.h>
45 1.1 glass
46 1.1 glass #include <errno.h>
47 1.1 glass #include <stddef.h>
48 1.1 glass #include <stdio.h>
49 1.1 glass #include <stdlib.h>
50 1.1 glass #include <string.h>
51 1.4 jtc #include <ctype.h>
52 1.1 glass
53 1.1 glass #include "extern.h"
54 1.1 glass
55 1.1 glass static int backslash __P((STR *));
56 1.1 glass static int bracket __P((STR *));
57 1.1 glass static int c_class __P((const void *, const void *));
58 1.1 glass static void genclass __P((STR *));
59 1.1 glass static void genequiv __P((STR *));
60 1.1 glass static int genrange __P((STR *));
61 1.1 glass static void genseq __P((STR *));
62 1.1 glass
63 1.1 glass int
64 1.1 glass next(s)
65 1.1 glass register STR *s;
66 1.1 glass {
67 1.1 glass register int ch;
68 1.1 glass
69 1.1 glass switch (s->state) {
70 1.1 glass case EOS:
71 1.1 glass return (0);
72 1.1 glass case INFINITE:
73 1.1 glass return (1);
74 1.1 glass case NORMAL:
75 1.1 glass switch (ch = *s->str) {
76 1.1 glass case '\0':
77 1.1 glass s->state = EOS;
78 1.1 glass return (0);
79 1.1 glass case '\\':
80 1.1 glass s->lastch = backslash(s);
81 1.1 glass break;
82 1.1 glass case '[':
83 1.1 glass if (bracket(s))
84 1.1 glass return (next(s));
85 1.1 glass /* FALLTHROUGH */
86 1.1 glass default:
87 1.1 glass ++s->str;
88 1.1 glass s->lastch = ch;
89 1.1 glass break;
90 1.1 glass }
91 1.1 glass
92 1.1 glass /* We can start a range at any time. */
93 1.1 glass if (s->str[0] == '-' && genrange(s))
94 1.1 glass return (next(s));
95 1.1 glass return (1);
96 1.1 glass case RANGE:
97 1.1 glass if (s->cnt-- == 0) {
98 1.1 glass s->state = NORMAL;
99 1.1 glass return (next(s));
100 1.1 glass }
101 1.1 glass ++s->lastch;
102 1.1 glass return (1);
103 1.1 glass case SEQUENCE:
104 1.1 glass if (s->cnt-- == 0) {
105 1.1 glass s->state = NORMAL;
106 1.1 glass return (next(s));
107 1.1 glass }
108 1.1 glass return (1);
109 1.1 glass case SET:
110 1.1 glass if ((s->lastch = s->set[s->cnt++]) == OOBCH) {
111 1.1 glass s->state = NORMAL;
112 1.1 glass return (next(s));
113 1.1 glass }
114 1.1 glass return (1);
115 1.1 glass }
116 1.1 glass /* NOTREACHED */
117 1.1 glass }
118 1.1 glass
119 1.1 glass static int
120 1.1 glass bracket(s)
121 1.1 glass register STR *s;
122 1.1 glass {
123 1.1 glass register char *p;
124 1.1 glass
125 1.1 glass switch (s->str[1]) {
126 1.1 glass case ':': /* "[:class:]" */
127 1.1 glass if ((p = strstr(s->str + 2, ":]")) == NULL)
128 1.1 glass return (0);
129 1.1 glass *p = '\0';
130 1.1 glass s->str += 2;
131 1.1 glass genclass(s);
132 1.1 glass s->str = p + 2;
133 1.1 glass return (1);
134 1.1 glass case '=': /* "[=equiv=]" */
135 1.1 glass if ((p = strstr(s->str + 2, "=]")) == NULL)
136 1.1 glass return (0);
137 1.1 glass s->str += 2;
138 1.1 glass genequiv(s);
139 1.1 glass return (1);
140 1.1 glass default: /* "[\###*n]" or "[#*n]" */
141 1.1 glass if ((p = strpbrk(s->str + 2, "*]")) == NULL)
142 1.1 glass return (0);
143 1.1 glass if (p[0] != '*' || index(p, ']') == NULL)
144 1.1 glass return (0);
145 1.1 glass s->str += 1;
146 1.1 glass genseq(s);
147 1.1 glass return (1);
148 1.1 glass }
149 1.1 glass /* NOTREACHED */
150 1.1 glass }
151 1.1 glass
152 1.1 glass typedef struct {
153 1.1 glass char *name;
154 1.1 glass int (*func) __P((int));
155 1.1 glass int *set;
156 1.1 glass } CLASS;
157 1.1 glass
158 1.1 glass static CLASS classes[] = {
159 1.1 glass { "alnum", isalnum, },
160 1.1 glass { "alpha", isalpha, },
161 1.1 glass { "blank", isblank, },
162 1.1 glass { "cntrl", iscntrl, },
163 1.1 glass { "digit", isdigit, },
164 1.1 glass { "graph", isgraph, },
165 1.1 glass { "lower", islower, },
166 1.1 glass { "print", isupper, },
167 1.1 glass { "punct", ispunct, },
168 1.1 glass { "space", isspace, },
169 1.1 glass { "upper", isupper, },
170 1.1 glass { "xdigit", isxdigit, },
171 1.1 glass };
172 1.1 glass
173 1.1 glass static void
174 1.1 glass genclass(s)
175 1.1 glass STR *s;
176 1.1 glass {
177 1.1 glass register int cnt, (*func) __P((int));
178 1.1 glass CLASS *cp, tmp;
179 1.1 glass int *p;
180 1.1 glass
181 1.1 glass tmp.name = s->str;
182 1.1 glass if ((cp = (CLASS *)bsearch(&tmp, classes, sizeof(classes) /
183 1.1 glass sizeof(CLASS), sizeof(CLASS), c_class)) == NULL)
184 1.1 glass err("unknown class %s", s->str);
185 1.1 glass
186 1.1 glass if ((cp->set = p = malloc((NCHARS + 1) * sizeof(int))) == NULL)
187 1.1 glass err("%s", strerror(errno));
188 1.1 glass bzero(p, (NCHARS + 1) * sizeof(int));
189 1.1 glass for (cnt = 0, func = cp->func; cnt < NCHARS; ++cnt)
190 1.1 glass if ((func)(cnt))
191 1.1 glass *p++ = cnt;
192 1.1 glass *p = OOBCH;
193 1.1 glass
194 1.1 glass s->cnt = 0;
195 1.1 glass s->state = SET;
196 1.1 glass s->set = cp->set;
197 1.1 glass }
198 1.1 glass
199 1.1 glass static int
200 1.1 glass c_class(a, b)
201 1.1 glass const void *a, *b;
202 1.1 glass {
203 1.1 glass return (strcmp(((CLASS *)a)->name, ((CLASS *)b)->name));
204 1.1 glass }
205 1.1 glass
206 1.1 glass /*
207 1.1 glass * English doesn't have any equivalence classes, so for now
208 1.1 glass * we just syntax check and grab the character.
209 1.1 glass */
210 1.1 glass static void
211 1.1 glass genequiv(s)
212 1.1 glass STR *s;
213 1.1 glass {
214 1.1 glass if (*s->str == '\\') {
215 1.1 glass s->equiv[0] = backslash(s);
216 1.1 glass if (*s->str != '=')
217 1.1 glass err("misplaced equivalence equals sign");
218 1.1 glass } else {
219 1.1 glass s->equiv[0] = s->str[0];
220 1.1 glass if (s->str[1] != '=')
221 1.1 glass err("misplaced equivalence equals sign");
222 1.1 glass }
223 1.1 glass s->str += 2;
224 1.1 glass s->cnt = 0;
225 1.1 glass s->state = SET;
226 1.1 glass s->set = s->equiv;
227 1.1 glass }
228 1.1 glass
229 1.1 glass static int
230 1.1 glass genrange(s)
231 1.1 glass STR *s;
232 1.1 glass {
233 1.1 glass int stopval;
234 1.1 glass char *savestart;
235 1.1 glass
236 1.1 glass savestart = s->str;
237 1.5 jtc stopval = *++s->str == '\\' ? backslash(s) : *s->str++;
238 1.1 glass if (stopval < s->lastch) {
239 1.1 glass s->str = savestart;
240 1.1 glass return (0);
241 1.1 glass }
242 1.1 glass s->cnt = stopval - s->lastch + 1;
243 1.1 glass s->state = RANGE;
244 1.1 glass --s->lastch;
245 1.1 glass return (1);
246 1.1 glass }
247 1.1 glass
248 1.1 glass static void
249 1.1 glass genseq(s)
250 1.1 glass STR *s;
251 1.1 glass {
252 1.1 glass char *ep;
253 1.1 glass
254 1.1 glass if (s->which == STRING1)
255 1.1 glass err("sequences only valid in string2");
256 1.1 glass
257 1.1 glass if (*s->str == '\\')
258 1.1 glass s->lastch = backslash(s);
259 1.1 glass else
260 1.1 glass s->lastch = *s->str++;
261 1.1 glass if (*s->str != '*')
262 1.1 glass err("misplaced sequence asterisk");
263 1.1 glass
264 1.1 glass switch (*++s->str) {
265 1.1 glass case '\\':
266 1.1 glass s->cnt = backslash(s);
267 1.1 glass break;
268 1.1 glass case ']':
269 1.1 glass s->cnt = 0;
270 1.1 glass ++s->str;
271 1.1 glass break;
272 1.1 glass default:
273 1.1 glass if (isdigit(*s->str)) {
274 1.1 glass s->cnt = strtol(s->str, &ep, 0);
275 1.1 glass if (*ep == ']') {
276 1.1 glass s->str = ep + 1;
277 1.1 glass break;
278 1.1 glass }
279 1.1 glass }
280 1.1 glass err("illegal sequence count");
281 1.1 glass /* NOTREACHED */
282 1.1 glass }
283 1.1 glass
284 1.1 glass s->state = s->cnt ? SEQUENCE : INFINITE;
285 1.1 glass }
286 1.1 glass
287 1.1 glass /*
288 1.1 glass * Translate \??? into a character. Up to 3 octal digits, if no digits either
289 1.1 glass * an escape code or a literal character.
290 1.1 glass */
291 1.1 glass static int
292 1.1 glass backslash(s)
293 1.1 glass register STR *s;
294 1.1 glass {
295 1.1 glass register int ch, cnt, val;
296 1.1 glass
297 1.1 glass for (cnt = val = 0;;) {
298 1.1 glass ch = *++s->str;
299 1.1 glass if (!isascii(ch) || !isdigit(ch))
300 1.1 glass break;
301 1.1 glass val = val * 8 + ch - '0';
302 1.1 glass if (++cnt == 3) {
303 1.1 glass ++s->str;
304 1.1 glass break;
305 1.1 glass }
306 1.1 glass }
307 1.1 glass if (cnt)
308 1.1 glass return (val);
309 1.1 glass if (ch != '\0')
310 1.1 glass ++s->str;
311 1.1 glass switch (ch) {
312 1.1 glass case 'a': /* escape characters */
313 1.1 glass return ('\7');
314 1.1 glass case 'b':
315 1.1 glass return ('\b');
316 1.1 glass case 'f':
317 1.1 glass return ('\f');
318 1.1 glass case 'n':
319 1.1 glass return ('\n');
320 1.1 glass case 'r':
321 1.1 glass return ('\r');
322 1.1 glass case 't':
323 1.1 glass return ('\t');
324 1.1 glass case 'v':
325 1.1 glass return ('\13');
326 1.1 glass case '\0': /* \" -> \ */
327 1.1 glass s->state = EOS;
328 1.1 glass return ('\\');
329 1.1 glass default: /* \x" -> x */
330 1.1 glass return (ch);
331 1.1 glass }
332 1.1 glass }
333