#include <stdio.h>
#include <ctype.h>
#include <errno.h>
extern int fclose (FILE * fp);
extern int fprintf (FILE * fp, const char *str,...);
extern char *strerror (int errno);
extern char *strchr (char *cp, int ch);
extern int strncmp (const char *s1, const char *s2, int count);
extern int errno;
void process (FILE * fp);
void repair (char *line, char *ref, int toffset);
int Errs = 0;
char *Name = "stdin";
int Line = 0;
char *Me;
int
main (int argc, char **argv)
{
FILE *fp;
Me = argv[0];
if (argc == 1)
process (stdin);
else
for (argc--, argv++; *argv != NULL; argc--, argv++)
{
if (argv[0][0] == '-' && argv[0][1] == '\0')
{
Name = "stdin";
Line = 0;
process (stdin);
}
else if ((fp = fopen (*argv, "r")) != NULL)
{
Name = *argv;
Line = 0;
process (fp);
fclose (fp);
}
else
{
fprintf (stderr, "%s: can not open: %s\n",
*argv, strerror (errno));
Errs++;
}
}
return Errs != 0;
}
int
isref (char *cp)
{
if (strncmp (cp, "@ref{", 5) == 0)
return 5;
if (strncmp (cp, "@xref{", 6) == 0)
return 6;
if (strncmp (cp, "@pxref{", 7) == 0)
return 7;
return 0;
}
void
process (FILE * fp)
{
char buf[BUFSIZ];
char *cp;
int count;
while (fgets (buf, sizeof buf, fp) != NULL)
{
Line++;
cp = strchr (buf, '@');
if (cp == NULL)
{
fputs (buf, stdout);
continue;
}
do
{
count = isref (cp);
if (count == 0)
{
cp++;
cp = strchr (cp, '@');
if (cp == NULL)
{
fputs (buf, stdout);
goto next;
}
continue;
}
repair (buf, cp, count);
break;
}
while (cp != NULL);
next:;
}
}
void
repair (char *line, char *ref, int toffset)
{
int braces = 1;
char *cp;
ref += toffset;
for (cp = line; cp <= ref; cp++)
putchar (*cp);
for (; *cp && *cp != '}' && *cp != ',' && *cp != '\n'; cp++)
putchar (*cp);
if (*cp != '}')
{
for (; braces > 0; cp++)
{
switch (*cp)
{
case '@':
cp++;
break;
case '{':
braces++;
break;
case '}':
braces--;
break;
case '\n':
case '\0':
Errs++;
fprintf (stderr,
"%s: %s: %d: mismatched braces\n",
Me, Name, Line);
goto out;
default:
break;
}
}
out:
;
}
putchar ('}');
if (*cp == '}')
cp++;
for (; *cp; cp++)
putchar (*cp);
return;
}
char *
strerror (int errno)
{
static char buf[100];
extern int sys_nerr;
extern char *sys_errlist[];
if (errno < sys_nerr && errno >= 0)
return sys_errlist[errno];
sprintf (buf, "unknown error %d", errno);
return buf;
}