"Fossies" - the Fresh Open Source Software Archive 
Member "seed7/src/fil_drv.h" (15 May 2020, 2385 Bytes) of package /linux/misc/seed7_05_20210223.tgz:
As a special service "Fossies" has tried to format the requested source page into HTML format using (guessed) C and C++ source code syntax highlighting (style:
standard) with prefixed line numbers and
code folding option.
Alternatively you can here
view or
download the uninterpreted source code file.
For more information about "fil_drv.h" see the
Fossies "Dox" file reference documentation.
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 (fileType inFile, boolType *sigintReceived);
34 boolType filInputReady (fileType aFile);
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);