[splint.git] / test / fileio / NOTES

Metastate annotations:

- return matches, "errors" reference
- NULL ==> not in a meta state


Things to do:

- check all files are closed

- fopen returns an open file
- fclose must be passed an open file
- fgetc, fputc must be passed an open file
- EOF return from fgetc; read error when EOF set
- fputc error return EOF
- ftell error -1L
- fseek error nonzero
- ferror - nonzero iff error indicator is set
- feof - nonzery iff eof is set


- + mode:
  input and output

  must call fseek between input and output, unless EOF!
Commit	Line	Data
80ee600a	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