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