]> andersk Git - splint.git/blob - test/fileio/NOTES
os2/makeos2.cmd: also make in ../lib with `-o' option.
[splint.git] / test / fileio / NOTES
1 Metastate annotations:
2
3 - return matches, "errors" reference
4 - NULL ==> not in a meta state
5
6
7
8 Things to do:
9
10 - check all files are closed
11
12 - fopen returns an open file
13 - fclose must be passed an open file
14 - fgetc, fputc must be passed an open file
15 - EOF return from fgetc; read error when EOF set
16 - fputc error return EOF
17 - ftell error -1L
18 - fseek error nonzero
19 - ferror - nonzero iff error indicator is set
20 - feof - nonzery iff eof is set
21
22
23 - + mode:
24   input and output
25
26   must call fseek between input and output, unless EOF!
27
28
This page took 0.037002 seconds and 5 git commands to generate.