]>
Commit | Line | Data |
---|---|---|
990ec868 | 1 | extern int fclose (/*@open@*/ FILE *stream) |
2 | /*:checkerror EOF@*/ /* The fclose function returns zero if the | |
3 | stream was successfully closed or EOF if any errors were detected. */ | |
4 | /*@ensures closed stream@*/ ; | |
5 | ||
15b3d2b2 | 6 | /*@open@*/ FILE *fopen (const char *filename, const char *mode); |
7 | /*@open@*/ FILE *fdopen (int fildes, const char *mode); | |
8 | ||
990ec868 | 9 | /* |
10 | ** File modes: | |
11 | ** "rb" read | |
12 | ** "wb" create, truncate, write | |
13 | ** "ab" create, write, append | |
14 | ** "rb+" read, write | |
15 | ** "wb+" create, truncate, read, write | |
16 | ** "ab+" create, read, write, append | |
17 | */ | |
990ec868 | 18 | |
15b3d2b2 | 19 | extern /*@open@*/ FILE *freopen (char *filename, char *mode, /*@anyopen@*/ FILE *stream) /*@ensures open stream@*/ ; |
990ec868 | 20 | |
21 | extern /*@null@*/ char * | |
22 | fgets (/*@returned@*/ /*@out@*/ char *s, int n, /*@open@*/ FILE *stream) | |
23 | /*@modifies fileSystem, *s, *stream, errno@*/ ; | |
24 | ||
25 | /* | |
26 | fgetc | |
27 | fputc | |
28 | ||
29 | fseek | |
30 | ftell | |
31 | */ | |
32 | ||
33 | int ferror (FILE *stream) ; | |
34 | int feof (FILE *stream) ; | |
35 | void clearerr (FILE *stream) ; |