]>
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 | ||
6 | extern /*@open@*/ FILE *fopen (const char *filename, const char *mode) | |
7 | /* | |
8 | ** File modes: | |
9 | ** "rb" read | |
10 | ** "wb" create, truncate, write | |
11 | ** "ab" create, write, append | |
12 | ** "rb+" read, write | |
13 | ** "wb+" create, truncate, read, write | |
14 | ** "ab+" create, read, write, append | |
15 | */ | |
16 | ; | |
17 | ||
18 | extern /*@open@*/ FILE *freopen (char *filename, char *mode, /*@closed@*/ FILE | |
19 | *stream) /*@ensures open stream@*/ ; | |
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) ; |