version 1.11, 1997/07/31 02:36:32 |
version 1.12, 1997/08/04 17:30:22 |
|
|
{ |
{ |
register int c; |
register int c; |
register char *cp, *cp2; |
register char *cp, *cp2; |
char *bufend; |
|
int gotlt, lastsp; |
int gotlt, lastsp; |
|
char *nbuf, *bufend; |
|
|
if (name == NULL) |
if (name == NULL) |
return(NULL); |
return(NULL); |
|
|
return(name); |
return(name); |
|
|
/* We assume that length(input) <= length(output) */ |
/* We assume that length(input) <= length(output) */ |
if ((bufend = (char *)malloc(strlen(name) + 1)) == NULL) |
if ((nbuf = (char *)malloc(strlen(name) + 1)) == NULL) |
panic("Out of memory"); |
panic("Out of memory"); |
gotlt = 0; |
gotlt = 0; |
lastsp = 0; |
lastsp = 0; |
|
bufend = nbuf; |
for (cp = name, cp2 = bufend; (c = *cp++) != '\0'; ) { |
for (cp = name, cp2 = bufend; (c = *cp++) != '\0'; ) { |
switch (c) { |
switch (c) { |
case '(': |
case '(': |
|
|
} |
} |
*cp2 = 0; |
*cp2 = 0; |
|
|
if ((bufend = realloc(bufend, strlen(bufend) + 1)) == NULL) |
if ((nbuf = (char *)realloc(nbuf, strlen(nbuf) + 1)) == NULL) |
panic("Out of memory"); |
panic("Out of memory"); |
return(bufend); |
return(nbuf); |
} |
} |
|
|
/* |
/* |