1 /********************************************************************/ 2 /* */ 3 /* fil_drv.h Prototypes of OS specific file functions. */ 4 /* Copyright (C) 1989 - 2011 Thomas Mertes */ 5 /* */ 6 /* This file is part of the Seed7 Runtime Library. */ 7 /* */ 8 /* The Seed7 Runtime Library is free software; you can */ 9 /* redistribute it and/or modify it under the terms of the GNU */ 10 /* Lesser General Public License as published by the Free Software */ 11 /* Foundation; either version 2.1 of the License, or (at your */ 12 /* option) any later version. */ 13 /* */ 14 /* The Seed7 Runtime Library is distributed in the hope that it */ 15 /* will be useful, but WITHOUT ANY WARRANTY; without even the */ 16 /* implied warranty of MERCHANTABILITY or FITNESS FOR A PARTICULAR */ 17 /* PURPOSE. See the GNU Lesser General Public License for more */ 18 /* details. */ 19 /* */ 20 /* You should have received a copy of the GNU Lesser General */ 21 /* Public License along with this program; if not, write to the */ 22 /* Free Software Foundation, Inc., 51 Franklin Street, */ 23 /* Fifth Floor, Boston, MA 02110-1301, USA. */ 24 /* */ 25 /* Module: Seed7 Runtime Library */ 26 /* File: seed7/src/fil_drv.h */ 27 /* Changes: 2011 Thomas Mertes */ 28 /* Content: Prototypes of OS specific file functions. */ 29 /* */ 30 /********************************************************************/ 31 32 33 int readCharChkCtrlC (cFileType inFile, boolType *sigintReceived); 34 boolType filInputReady (fileType inFile); 35 void filPipe (fileType *inFile, fileType *outFile); 36 #ifdef DEFINE_FTELLI64_EXT 37 os_off_t ftelli64Ext (FILE *aFile); 38 #endif 39 void setupFiles (void); 40