A tiedostoa luetaan
B tiedostoon kirjoitetaan
C tiedostoa appendataan
t1 luo uuden tiedoston annetulla nimellä
t2 pyyhkii ja kirjoittaa tiedoston päälle
t3 säilyttää vanhat muutokset ja kirjoittaa niiden perään
ERROR palauttaa NULL:n
¬p1 ∧ A → ERROR
¬p1 ∧ (B ∨ C) → t1
p1 ∧ B → t2
p1 ∧ C → t3
Sitten kun tiedosto on saatu auki sitä joko luetaan tai kirjoitetaan...
int getc(FILE *fp)
palauttaa fpn osoittaman merkin.
palauttaa EOF errorin ja end of filen merkkinä.
int putc(int c, FILE *fp)
kirjoittaa merkin c tiedostoon fp.
palauttaa kirjoitetun merkin tai EOF:n.
int fprintf(FILE *stream, const char *format, ...)
tulostaa merkkijonon ... tiedostoon stream muodossa format
int fgets(char *str, int n, FILE *stream)
lukee merkkijonon str pituuteen n asti pointterin stream kautta
Lopuksi osoittimen ja tiedoston välinen yhteys rikotaan eli tiedosto suljetaan.
int fclose(FILE *fp)
3. Taulukko täyteen osoittimia ja moniulotteiset taulukot