char *app_save;
};
\f
-/* These hooks accomodate most operating systems. */
+/* These hooks accomodate most operating systems. */
-void
+void
input_file_begin ()
{
f_in = (FILE *) 0;
}
-void
+void
input_file_end ()
{
}
-/* Return BUFFER_SIZE. */
-unsigned int
+/* Return BUFFER_SIZE. */
+unsigned int
input_file_buffer_size ()
{
return (BUFFER_SIZE);
}
-int
+int
input_file_is_open ()
{
return f_in != (FILE *) 0;
\f
void
input_file_open (filename, pre)
- char *filename; /* "" means use stdin. Must not be 0. */
+ char *filename; /* "" means use stdin. Must not be 0. */
int pre;
{
int c;
preprocess = pre;
- assert (filename != 0); /* Filename may not be NULL. */
+ assert (filename != 0); /* Filename may not be NULL. */
if (filename[0])
- { /* We have a file name. Suck it and see. */
+ { /* We have a file name. Suck it and see. */
f_in = fopen (filename, "r");
file_name = filename;
}
else
- { /* use stdin for the input file. */
+ { /* use stdin for the input file. */
f_in = stdin;
- file_name = _("{standard input}"); /* For error messages. */
+ file_name = _("{standard input}"); /* For error messages. */
}
if (f_in == (FILE *) 0)
{
}
/* Close input file. */
-void
+void
input_file_close ()
{
if (f_in != NULL)
char *
input_file_give_next_buffer (where)
- char *where; /* Where to place 1st character of new buffer. */
+ char *where; /* Where to place 1st character of new buffer. */
{
- char *return_value; /* -> Last char of what we read, + 1. */
+ char *return_value; /* -> Last char of what we read, + 1. */
register int size;
if (f_in == (FILE *) 0)