dmbcs/guile
1
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity Actions

* filter-doc-snarfage.c (process): added ungetc in

Browse source 
MULTILINE_COOKIE case since otherwise it fails when there's no
	space between the '(' and the quote of the following string
	(gcc 3.0).
This commit is contained in:
Gary Houston 2001-06-19 22:56:29 +00:00
commit 72c17ed0ee
2 changed files with 7 additions and 246 deletions
Download patch file Download diff file Expand all files Collapse all files

7
libguile/ChangeLog
View file

@ -1,3 +1,10 @@
2001-06-19 Gary Houston <ghouston@arglist.com>
* filter-doc-snarfage.c (process): added ungetc in
MULTILINE_COOKIE case since otherwise it fails when there's no
space between the '(' and the quote of the following string
(gcc 3.0).
2001-06-14 Marius Vollmer <mvo@zagadka.ping.de>
Throughout: replace "scm_*_t" with "scm_t_*", except "scm_lisp_t".

246
libguile/filter-doc-snarfage.c
View file

@ -1,246 +0,0 @@
#include <stdio.h>
#include <stdlib.h>
#include <ctype.h>
static void init_state_machine (void);
static void process (void);
static void check_end_conditions (void);
int
main (int argc, char *argv[])
{
init_state_machine ();
process ();
check_end_conditions ();
return EXIT_SUCCESS;
}
typedef enum state_t
{
SKIP,
SKIP_COOKIE,
MULTILINE_BEGINNING_OF_LINE,
MULTILINE,
MULTILINE_COOKIE,
STRINGS,
SINGLELINE,
} state_t;
state_t state = SKIP;
static void die (const char *msg);
static void process_strings (void);
static void process_single_line (void);
void
process ()
{
int want_cookie = 0;
int ch;
while ((ch = getc (stdin)) != EOF) {
char c = (char)ch;
switch (state) {
case SKIP:
if (c == '^') {
if (want_cookie) {
state = SKIP_COOKIE;
want_cookie = 0;
} else
want_cookie = 1;
} else if (c != ' ')
want_cookie = 0;
break;
case SKIP_COOKIE:
switch (c) {
case '[':
fputs ("(doc-check\n", stdout);
state = SINGLELINE;
break;
case '{':
fputs ("(doc-block (\n", stdout);
state = MULTILINE;
break;
case ' ':
break;
default:
die ("bad snarf cookie");
break;
}
break;
case MULTILINE_BEGINNING_OF_LINE:
if (c != ' ') {
state = MULTILINE;
putc (c, stdout);
}
break;
case MULTILINE:
if (c == '^') {
if (want_cookie) {
fputs ("\n)\n(\n", stdout);
state = MULTILINE_COOKIE;
want_cookie = 0;
} else
want_cookie = 1;
} else {
if (c != ' ')
want_cookie = 0;
putc (c, stdout);
}
break;
case MULTILINE_COOKIE:
switch (c) {
case '(':
state = STRINGS;
break;
case '%':
state = MULTILINE_BEGINNING_OF_LINE;
break;
case '}':
fputs ("))\n", stdout);
state = SKIP;
break;
case ' ':
break;
default:
die ("bad snarf cookie in multiline context");
break;
}
break;
case STRINGS:
process_strings ();
state = MULTILINE;
break;
case SINGLELINE:
process_single_line ();
fputs ("\n)\n", stdout);
state = SKIP;
break;
default:
abort ();
break;
}
}
}
void
init_state_machine ()
{}
void
die (const char *msg)
{
fprintf (stderr, "%s\n", msg);
exit (EXIT_FAILURE);
}
void
check_end_conditions ()
{
if (state != SKIP)
die ("something is unterminated");
}
typedef enum str_state_t
{
STR_SKIP,
STR_INSIDE,
STR_HAD_ESCAPE,
STR_EXIT
} str_state_t;
void
process_strings ()
{
/* read well-formed strings up to a ')', and break them up in the
process if they are too long */
int count = 0;
int ch;
str_state_t state = STR_SKIP;
fputs ("docstring\n", stdout);
#define PUTC(c) putc (c, stdout); if (++count >= 512) { fputs ("\"\nstring \"", stdout); count = 0; }
while (!(((ch = getc (stdin)) == EOF)
|| (state == STR_EXIT))) {
char c = (char) ch;
switch (state) {
case STR_SKIP:
switch (c) {
case '"':
fputs ("\nstring ", stdout);
count = 0;
PUTC (c);
state = STR_INSIDE;
break;
case ')':
state = STR_EXIT;
break;
default:
if (!isspace (c))
die ("stray stuff where should be only strings");
break;
}
break;
case STR_INSIDE:
switch (c) {
case '\\':
putc (c, stdout);
++count;
state = STR_HAD_ESCAPE;
break;
case '"':
putc (c, stdout);
state = STR_SKIP;
break;
default:
PUTC (c);
break;
}
break;
case STR_HAD_ESCAPE:
PUTC (c);
state = STR_INSIDE;
break;
default:
abort ();
break;
}
}
if (state != STR_EXIT)
die ("docstrings don't terminate");
}
void
process_single_line ()
{
/* read up to a ']' */
int ch;
while (!(((ch = getc (stdin)) == EOF)
|| ((char) ch == ']'))) {
char c = (char) ch;
putc (c, stdout);
}
if ((char) ch != ']')
die ("bad checking snarfage");
}
/*
Local Variables:
c-file-style: "gnu"
End:
*/