tokenizer.c revision 1.25 1 1.25 christos /* $NetBSD: tokenizer.c,v 1.25 2016/04/11 00:22:48 christos Exp $ */
2 1.2 lukem
3 1.1 cgd /*-
4 1.1 cgd * Copyright (c) 1992, 1993
5 1.1 cgd * 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 * Christos Zoulas of Cornell University.
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.12 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.10 christos #include "config.h"
36 1.1 cgd #if !defined(lint) && !defined(SCCSID)
37 1.2 lukem #if 0
38 1.1 cgd static char sccsid[] = "@(#)tokenizer.c 8.1 (Berkeley) 6/4/93";
39 1.2 lukem #else
40 1.25 christos __RCSID("$NetBSD: tokenizer.c,v 1.25 2016/04/11 00:22:48 christos Exp $");
41 1.2 lukem #endif
42 1.1 cgd #endif /* not lint && not SCCSID */
43 1.1 cgd
44 1.16 christos /* We build this file twice, once as NARROW, once as WIDE. */
45 1.1 cgd /*
46 1.1 cgd * tokenize.c: Bourne shell like tokenizer
47 1.1 cgd */
48 1.24 christos #include <stdlib.h>
49 1.1 cgd #include <string.h>
50 1.24 christos
51 1.14 lukem #include "histedit.h"
52 1.16 christos #include "chartype.h"
53 1.1 cgd
54 1.6 lukem typedef enum {
55 1.6 lukem Q_none, Q_single, Q_double, Q_one, Q_doubleone
56 1.6 lukem } quote_t;
57 1.1 cgd
58 1.6 lukem #define TOK_KEEP 1
59 1.6 lukem #define TOK_EAT 2
60 1.1 cgd
61 1.6 lukem #define WINCR 20
62 1.6 lukem #define AINCR 10
63 1.1 cgd
64 1.16 christos #define IFS STR("\t \n")
65 1.16 christos
66 1.6 lukem #define tok_malloc(a) malloc(a)
67 1.6 lukem #define tok_free(a) free(a)
68 1.6 lukem #define tok_realloc(a, b) realloc(a, b)
69 1.1 cgd
70 1.25 christos #ifdef NARROWCHAR
71 1.25 christos #define FUN(prefix, rest) prefix ## _ ## rest
72 1.25 christos #define TYPE(type) type
73 1.25 christos #define STR(x) x
74 1.25 christos #define Strchr(s, c) strchr(s, c)
75 1.25 christos #define tok_strdup(s) strdup(s)
76 1.25 christos #else
77 1.25 christos #define FUN(prefix, rest) prefix ## _w ## rest
78 1.25 christos #define TYPE(type) type ## W
79 1.25 christos #define STR(x) L ## x
80 1.25 christos #define Strchr(s, c) wcschr(s, c)
81 1.25 christos #define tok_strdup(s) wcsdup(s)
82 1.25 christos #endif
83 1.1 cgd
84 1.18 christos struct TYPE(tokenizer) {
85 1.16 christos Char *ifs; /* In field separator */
86 1.21 christos size_t argc, amax; /* Current and maximum number of args */
87 1.16 christos Char **argv; /* Argument list */
88 1.16 christos Char *wptr, *wmax; /* Space and limit on the word buffer */
89 1.16 christos Char *wstart; /* Beginning of next word */
90 1.16 christos Char *wspace; /* Space of word buffer */
91 1.6 lukem quote_t quote; /* Quoting state */
92 1.6 lukem int flags; /* flags; */
93 1.1 cgd };
94 1.1 cgd
95 1.1 cgd
96 1.16 christos private void FUN(tok,finish)(TYPE(Tokenizer) *);
97 1.1 cgd
98 1.1 cgd
99 1.16 christos /* FUN(tok,finish)():
100 1.1 cgd * Finish a word in the tokenizer.
101 1.1 cgd */
102 1.1 cgd private void
103 1.16 christos FUN(tok,finish)(TYPE(Tokenizer) *tok)
104 1.1 cgd {
105 1.6 lukem
106 1.6 lukem *tok->wptr = '\0';
107 1.6 lukem if ((tok->flags & TOK_KEEP) || tok->wptr != tok->wstart) {
108 1.6 lukem tok->argv[tok->argc++] = tok->wstart;
109 1.6 lukem tok->argv[tok->argc] = NULL;
110 1.6 lukem tok->wstart = ++tok->wptr;
111 1.6 lukem }
112 1.6 lukem tok->flags &= ~TOK_KEEP;
113 1.1 cgd }
114 1.1 cgd
115 1.1 cgd
116 1.16 christos /* FUN(tok,init)():
117 1.1 cgd * Initialize the tokenizer
118 1.1 cgd */
119 1.16 christos public TYPE(Tokenizer) *
120 1.16 christos FUN(tok,init)(const Char *ifs)
121 1.1 cgd {
122 1.19 christos TYPE(Tokenizer) *tok = tok_malloc(sizeof(*tok));
123 1.1 cgd
124 1.11 christos if (tok == NULL)
125 1.11 christos return NULL;
126 1.13 christos tok->ifs = tok_strdup(ifs ? ifs : IFS);
127 1.11 christos if (tok->ifs == NULL) {
128 1.19 christos tok_free(tok);
129 1.11 christos return NULL;
130 1.11 christos }
131 1.6 lukem tok->argc = 0;
132 1.6 lukem tok->amax = AINCR;
133 1.16 christos tok->argv = tok_malloc(sizeof(*tok->argv) * tok->amax);
134 1.11 christos if (tok->argv == NULL) {
135 1.19 christos tok_free(tok->ifs);
136 1.19 christos tok_free(tok);
137 1.11 christos return NULL;
138 1.11 christos }
139 1.6 lukem tok->argv[0] = NULL;
140 1.16 christos tok->wspace = tok_malloc(WINCR * sizeof(*tok->wspace));
141 1.11 christos if (tok->wspace == NULL) {
142 1.19 christos tok_free(tok->argv);
143 1.19 christos tok_free(tok->ifs);
144 1.19 christos tok_free(tok);
145 1.11 christos return NULL;
146 1.11 christos }
147 1.6 lukem tok->wmax = tok->wspace + WINCR;
148 1.6 lukem tok->wstart = tok->wspace;
149 1.6 lukem tok->wptr = tok->wspace;
150 1.6 lukem tok->flags = 0;
151 1.6 lukem tok->quote = Q_none;
152 1.1 cgd
153 1.20 christos return tok;
154 1.1 cgd }
155 1.1 cgd
156 1.1 cgd
157 1.16 christos /* FUN(tok,reset)():
158 1.1 cgd * Reset the tokenizer
159 1.1 cgd */
160 1.1 cgd public void
161 1.16 christos FUN(tok,reset)(TYPE(Tokenizer) *tok)
162 1.1 cgd {
163 1.6 lukem
164 1.6 lukem tok->argc = 0;
165 1.6 lukem tok->wstart = tok->wspace;
166 1.6 lukem tok->wptr = tok->wspace;
167 1.6 lukem tok->flags = 0;
168 1.6 lukem tok->quote = Q_none;
169 1.1 cgd }
170 1.1 cgd
171 1.1 cgd
172 1.16 christos /* FUN(tok,end)():
173 1.1 cgd * Clean up
174 1.1 cgd */
175 1.1 cgd public void
176 1.16 christos FUN(tok,end)(TYPE(Tokenizer) *tok)
177 1.1 cgd {
178 1.6 lukem
179 1.19 christos tok_free(tok->ifs);
180 1.19 christos tok_free(tok->wspace);
181 1.19 christos tok_free(tok->argv);
182 1.19 christos tok_free(tok);
183 1.1 cgd }
184 1.1 cgd
185 1.1 cgd
186 1.1 cgd
187 1.16 christos /* FUN(tok,line)():
188 1.14 lukem * Bourne shell (sh(1)) like tokenizing
189 1.14 lukem * Arguments:
190 1.16 christos * tok current tokenizer state (setup with FUN(tok,init)())
191 1.14 lukem * line line to parse
192 1.14 lukem * Returns:
193 1.14 lukem * -1 Internal error
194 1.14 lukem * 3 Quoted return
195 1.14 lukem * 2 Unmatched double quote
196 1.14 lukem * 1 Unmatched single quote
197 1.14 lukem * 0 Ok
198 1.14 lukem * Modifies (if return value is 0):
199 1.14 lukem * argc number of arguments
200 1.14 lukem * argv argument array
201 1.14 lukem * cursorc if !NULL, argv element containing cursor
202 1.14 lukem * cursorv if !NULL, offset in argv[cursorc] of cursor
203 1.1 cgd */
204 1.1 cgd public int
205 1.17 christos FUN(tok,line)(TYPE(Tokenizer) *tok, const TYPE(LineInfo) *line,
206 1.16 christos int *argc, const Char ***argv, int *cursorc, int *cursoro)
207 1.1 cgd {
208 1.16 christos const Char *ptr;
209 1.14 lukem int cc, co;
210 1.1 cgd
211 1.14 lukem cc = co = -1;
212 1.14 lukem ptr = line->buffer;
213 1.14 lukem for (ptr = line->buffer; ;ptr++) {
214 1.14 lukem if (ptr >= line->lastchar)
215 1.16 christos ptr = STR("");
216 1.14 lukem if (ptr == line->cursor) {
217 1.21 christos cc = (int)tok->argc;
218 1.15 christos co = (int)(tok->wptr - tok->wstart);
219 1.14 lukem }
220 1.14 lukem switch (*ptr) {
221 1.6 lukem case '\'':
222 1.6 lukem tok->flags |= TOK_KEEP;
223 1.6 lukem tok->flags &= ~TOK_EAT;
224 1.6 lukem switch (tok->quote) {
225 1.6 lukem case Q_none:
226 1.6 lukem tok->quote = Q_single; /* Enter single quote
227 1.6 lukem * mode */
228 1.6 lukem break;
229 1.6 lukem
230 1.6 lukem case Q_single: /* Exit single quote mode */
231 1.6 lukem tok->quote = Q_none;
232 1.6 lukem break;
233 1.6 lukem
234 1.6 lukem case Q_one: /* Quote this ' */
235 1.6 lukem tok->quote = Q_none;
236 1.6 lukem *tok->wptr++ = *ptr;
237 1.6 lukem break;
238 1.6 lukem
239 1.6 lukem case Q_double: /* Stay in double quote mode */
240 1.6 lukem *tok->wptr++ = *ptr;
241 1.6 lukem break;
242 1.6 lukem
243 1.6 lukem case Q_doubleone: /* Quote this ' */
244 1.6 lukem tok->quote = Q_double;
245 1.6 lukem *tok->wptr++ = *ptr;
246 1.6 lukem break;
247 1.6 lukem
248 1.6 lukem default:
249 1.20 christos return -1;
250 1.6 lukem }
251 1.6 lukem break;
252 1.6 lukem
253 1.6 lukem case '"':
254 1.6 lukem tok->flags &= ~TOK_EAT;
255 1.6 lukem tok->flags |= TOK_KEEP;
256 1.6 lukem switch (tok->quote) {
257 1.6 lukem case Q_none: /* Enter double quote mode */
258 1.6 lukem tok->quote = Q_double;
259 1.6 lukem break;
260 1.6 lukem
261 1.6 lukem case Q_double: /* Exit double quote mode */
262 1.6 lukem tok->quote = Q_none;
263 1.6 lukem break;
264 1.6 lukem
265 1.6 lukem case Q_one: /* Quote this " */
266 1.6 lukem tok->quote = Q_none;
267 1.6 lukem *tok->wptr++ = *ptr;
268 1.6 lukem break;
269 1.6 lukem
270 1.6 lukem case Q_single: /* Stay in single quote mode */
271 1.6 lukem *tok->wptr++ = *ptr;
272 1.6 lukem break;
273 1.6 lukem
274 1.6 lukem case Q_doubleone: /* Quote this " */
275 1.6 lukem tok->quote = Q_double;
276 1.6 lukem *tok->wptr++ = *ptr;
277 1.6 lukem break;
278 1.6 lukem
279 1.6 lukem default:
280 1.20 christos return -1;
281 1.6 lukem }
282 1.6 lukem break;
283 1.6 lukem
284 1.6 lukem case '\\':
285 1.6 lukem tok->flags |= TOK_KEEP;
286 1.6 lukem tok->flags &= ~TOK_EAT;
287 1.6 lukem switch (tok->quote) {
288 1.6 lukem case Q_none: /* Quote next character */
289 1.6 lukem tok->quote = Q_one;
290 1.6 lukem break;
291 1.6 lukem
292 1.6 lukem case Q_double: /* Quote next character */
293 1.6 lukem tok->quote = Q_doubleone;
294 1.6 lukem break;
295 1.6 lukem
296 1.6 lukem case Q_one: /* Quote this, restore state */
297 1.6 lukem *tok->wptr++ = *ptr;
298 1.6 lukem tok->quote = Q_none;
299 1.6 lukem break;
300 1.6 lukem
301 1.6 lukem case Q_single: /* Stay in single quote mode */
302 1.6 lukem *tok->wptr++ = *ptr;
303 1.6 lukem break;
304 1.6 lukem
305 1.6 lukem case Q_doubleone: /* Quote this \ */
306 1.6 lukem tok->quote = Q_double;
307 1.6 lukem *tok->wptr++ = *ptr;
308 1.6 lukem break;
309 1.6 lukem
310 1.6 lukem default:
311 1.20 christos return -1;
312 1.6 lukem }
313 1.6 lukem break;
314 1.6 lukem
315 1.6 lukem case '\n':
316 1.6 lukem tok->flags &= ~TOK_EAT;
317 1.6 lukem switch (tok->quote) {
318 1.6 lukem case Q_none:
319 1.14 lukem goto tok_line_outok;
320 1.6 lukem
321 1.6 lukem case Q_single:
322 1.6 lukem case Q_double:
323 1.6 lukem *tok->wptr++ = *ptr; /* Add the return */
324 1.6 lukem break;
325 1.6 lukem
326 1.6 lukem case Q_doubleone: /* Back to double, eat the '\n' */
327 1.6 lukem tok->flags |= TOK_EAT;
328 1.6 lukem tok->quote = Q_double;
329 1.6 lukem break;
330 1.6 lukem
331 1.6 lukem case Q_one: /* No quote, more eat the '\n' */
332 1.6 lukem tok->flags |= TOK_EAT;
333 1.6 lukem tok->quote = Q_none;
334 1.6 lukem break;
335 1.6 lukem
336 1.6 lukem default:
337 1.20 christos return 0;
338 1.6 lukem }
339 1.6 lukem break;
340 1.6 lukem
341 1.6 lukem case '\0':
342 1.6 lukem switch (tok->quote) {
343 1.6 lukem case Q_none:
344 1.6 lukem /* Finish word and return */
345 1.6 lukem if (tok->flags & TOK_EAT) {
346 1.6 lukem tok->flags &= ~TOK_EAT;
347 1.20 christos return 3;
348 1.6 lukem }
349 1.14 lukem goto tok_line_outok;
350 1.6 lukem
351 1.6 lukem case Q_single:
352 1.20 christos return 1;
353 1.6 lukem
354 1.6 lukem case Q_double:
355 1.20 christos return 2;
356 1.6 lukem
357 1.6 lukem case Q_doubleone:
358 1.6 lukem tok->quote = Q_double;
359 1.6 lukem *tok->wptr++ = *ptr;
360 1.6 lukem break;
361 1.6 lukem
362 1.6 lukem case Q_one:
363 1.6 lukem tok->quote = Q_none;
364 1.6 lukem *tok->wptr++ = *ptr;
365 1.6 lukem break;
366 1.6 lukem
367 1.6 lukem default:
368 1.20 christos return -1;
369 1.6 lukem }
370 1.6 lukem break;
371 1.6 lukem
372 1.6 lukem default:
373 1.6 lukem tok->flags &= ~TOK_EAT;
374 1.6 lukem switch (tok->quote) {
375 1.6 lukem case Q_none:
376 1.16 christos if (Strchr(tok->ifs, *ptr) != NULL)
377 1.16 christos FUN(tok,finish)(tok);
378 1.6 lukem else
379 1.6 lukem *tok->wptr++ = *ptr;
380 1.6 lukem break;
381 1.6 lukem
382 1.6 lukem case Q_single:
383 1.6 lukem case Q_double:
384 1.6 lukem *tok->wptr++ = *ptr;
385 1.6 lukem break;
386 1.6 lukem
387 1.6 lukem
388 1.6 lukem case Q_doubleone:
389 1.6 lukem *tok->wptr++ = '\\';
390 1.6 lukem tok->quote = Q_double;
391 1.6 lukem *tok->wptr++ = *ptr;
392 1.6 lukem break;
393 1.6 lukem
394 1.6 lukem case Q_one:
395 1.6 lukem tok->quote = Q_none;
396 1.6 lukem *tok->wptr++ = *ptr;
397 1.6 lukem break;
398 1.1 cgd
399 1.6 lukem default:
400 1.20 christos return -1;
401 1.1 cgd
402 1.6 lukem }
403 1.6 lukem break;
404 1.6 lukem }
405 1.1 cgd
406 1.6 lukem if (tok->wptr >= tok->wmax - 4) {
407 1.21 christos size_t size = (size_t)(tok->wmax - tok->wspace + WINCR);
408 1.16 christos Char *s = tok_realloc(tok->wspace,
409 1.16 christos size * sizeof(*s));
410 1.7 christos if (s == NULL)
411 1.20 christos return -1;
412 1.6 lukem
413 1.8 christos if (s != tok->wspace) {
414 1.21 christos size_t i;
415 1.8 christos for (i = 0; i < tok->argc; i++) {
416 1.8 christos tok->argv[i] =
417 1.8 christos (tok->argv[i] - tok->wspace) + s;
418 1.8 christos }
419 1.8 christos tok->wptr = (tok->wptr - tok->wspace) + s;
420 1.8 christos tok->wstart = (tok->wstart - tok->wspace) + s;
421 1.6 lukem tok->wspace = s;
422 1.6 lukem }
423 1.9 christos tok->wmax = s + size;
424 1.6 lukem }
425 1.6 lukem if (tok->argc >= tok->amax - 4) {
426 1.16 christos Char **p;
427 1.6 lukem tok->amax += AINCR;
428 1.16 christos p = tok_realloc(tok->argv, tok->amax * sizeof(*p));
429 1.23 christos if (p == NULL) {
430 1.23 christos tok->amax -= AINCR;
431 1.20 christos return -1;
432 1.23 christos }
433 1.7 christos tok->argv = p;
434 1.6 lukem }
435 1.1 cgd }
436 1.14 lukem tok_line_outok:
437 1.14 lukem if (cc == -1 && co == -1) {
438 1.21 christos cc = (int)tok->argc;
439 1.15 christos co = (int)(tok->wptr - tok->wstart);
440 1.14 lukem }
441 1.14 lukem if (cursorc != NULL)
442 1.14 lukem *cursorc = cc;
443 1.14 lukem if (cursoro != NULL)
444 1.14 lukem *cursoro = co;
445 1.16 christos FUN(tok,finish)(tok);
446 1.16 christos *argv = (const Char **)tok->argv;
447 1.21 christos *argc = (int)tok->argc;
448 1.20 christos return 0;
449 1.14 lukem }
450 1.14 lukem
451 1.16 christos /* FUN(tok,str)():
452 1.14 lukem * Simpler version of tok_line, taking a NUL terminated line
453 1.14 lukem * and splitting into words, ignoring cursor state.
454 1.14 lukem */
455 1.14 lukem public int
456 1.16 christos FUN(tok,str)(TYPE(Tokenizer) *tok, const Char *line, int *argc,
457 1.16 christos const Char ***argv)
458 1.14 lukem {
459 1.17 christos TYPE(LineInfo) li;
460 1.14 lukem
461 1.14 lukem memset(&li, 0, sizeof(li));
462 1.14 lukem li.buffer = line;
463 1.16 christos li.cursor = li.lastchar = Strchr(line, '\0');
464 1.22 christos return FUN(tok,line)(tok, &li, argc, argv, NULL, NULL);
465 1.1 cgd }
466