File: file.xh

package info (click to toggle)
splint 1%3A3.1.2%2Bdfsg-5
  • links: PTS, VCS
  • area: main
  • in suites: bullseye, sid
  • size: 21,004 kB
  • sloc: ansic: 150,869; yacc: 3,465; sh: 3,034; makefile: 2,157; lex: 412
file content (35 lines) | stat: -rw-r--r-- 1,002 bytes parent folder | download | duplicates (7)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
extern int fclose (/*@open@*/ FILE *stream) 
   /*:checkerror EOF@*/ /* The fclose function returns zero if the
			   stream was successfully closed or EOF if any errors were detected. */
   /*@ensures closed stream@*/ ;

/*@open@*/ FILE *fopen (const char *filename, const char *mode);
/*@open@*/ FILE *fdopen (int fildes, const char *mode);

   /*
   ** File modes:
   **       "rb"	read
   **       "wb"        create, truncate, write
   **       "ab"        create, write, append
   **       "rb+"	read, write
   **       "wb+"	create, truncate, read, write
   **       "ab+"	create, read, write, append
   */

extern /*@open@*/ FILE *freopen (char *filename, char *mode, /*@anyopen@*/ FILE *stream) /*@ensures open stream@*/ ;

extern /*@null@*/ char *
  fgets (/*@returned@*/ /*@out@*/ char *s, int n, /*@open@*/ FILE *stream)
  /*@modifies fileSystem, *s, *stream, errno@*/ ;

/*
fgetc
fputc

fseek
ftell 
*/

int ferror (FILE *stream) ;
int feof (FILE *stream) ;
void clearerr (FILE *stream) ;