/* External procedures for tangle/weave */
/* Written by Don Knuth, 29 April 2000, based on Howard Trickey's code of 83 */
/* Note: The input files are read directly with C routines, instead
of using the Pascal runtime system. So we do our own EOF testing.
The GNU Pascal routines are used only to open ("reset") the files. */
#define BUF_SIZE 500 /* should agree with long_buf_size in weave.web */
#define max_file_name_length 60 /* should agree with tangle.ch */
void Argv(int n, char* str)
{
register char *s,*t;
if (n<0 || n>=_p_argc) return;
s=_p_argv[n];
if (strlen(s) >= max_file_name_length-5) {
str[0]='\0'; return; /* TANGLE doesn't want it too long */
}
for (t=str; *s; s++,t++) *t=*s;
*t='\0';
}
void Flushstdout()
{
fflush(stdout);
}
#define buffer Buffer /* GNU Pascal likes to capitalize */
#define xord Xord
#define xchr Xchr
#define limit Limit
unsigned char buffer[BUF_SIZE+1]; /* 0..BUF_SIZE. Input goes here */
unsigned char xord[256];
unsigned char xchr[256]; /* character translation arrays */
int limit; /* index into buffer */
/*
* lineread reads from the Pascal text file with iorec pointer filep
* into buffer[0], buffer[1],..., buffer[limit-1] (and
* setting "limit").
* Characters are read until a newline is found (which isn't put in the
* buffer) or until the next character would go into buffer[BUF_SIZE].
* And trailing blanks are to be ignored, so limit is really set to
* one past the last non-blank.
* The characters need to be translated, so really xord[c] is put into
* the buffer when c is read.
* If end-of-file is encountered, the FilSta field of *filep is set
* appropriately.
*/
void Lineread(FDR filep)
{
register int c;
register unsigned char *cs; /* points to where next char goes */
register unsigned char *cnb; /* last non-blank character input */
register FILE *iop; /* stdio-style FILE pointer */
register int l; /* how many chars before buffer overflow */
/* overflow when next char would go into buffer[BUF_SIZE] */
while ((--l >= 0) && ((c = getc(iop)) != EOF) && (c != '\n')) {
if ((*cs++ = xord[c]) != ' ')
cnb = cs;
}
if (c == EOF)
filep->FilSta |= FiEof; /* we hit end-of-file */
/* actually that wasn't necessary, since testeof uses feof */
limit = (cnb - &buffer[0]);
}
/*
* testeof(filep)
*
* Test whether or not the Pascal text file with iorec pointer filep
* has reached end-of-file (when the only I/O on it is done with
* lineread, above).
* We may have to read the next character and unget it to see if perhaps
* the end-of-file is next.
*/
bool Testeof(FDR filep)
{
register int c;
register FILE *iop; /* stdio-style FILE pointer */
iop = filep->FilJfn;
if (feof(iop)) return TRUE;
c = getc(iop);
if (c == EOF) return TRUE;
else {
ungetc(c,iop);
return FALSE;
}
}
