Lines Matching refs:file
830 readfoldedline(FILE *file, char **buffer, size_t *buflen)
851 // Read the next character, or end of file, or IO error.
852 if ((c = fgetc(file)) == EOF) {
853 if (ferror (file)) {
858 // Really is end of file. Also make it end of line if there is
886 c = fgetc(file); // Note it's OK to read EOF and ungetc it too.
891 ungetc(c,file);
940 // Really is end of file. Also make it end of line if there is
980 } else // No next line; at the end of the file. Return the line.
1024 // Read the next character, or end of file.
1026 // End of file. Also make it end of line if there is some text