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
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
|
#include <errno.h>
#include <stdio.h>
#include <stdlib.h>
#include <string.h>
#include "_stdio.h"
/** open a file stream **/
FILE * fopen(const char * restrict filename, const char * restrict mode)
{
FILE *f = NULL;
size_t i;
SIGNAL_SAFE(0);
ASSERT_NOOVERLAP(filename, strlen(filename), mode, strlen(mode));
for (i = 0; i < FOPEN_MAX; i++) {
if (__stdio_h.FILES[i].bmode == 0) {
f = &(__stdio_h.FILES[i]);
break;
}
}
if (f == NULL) {
#ifdef EMFILE
errno = EMFILE;
#endif
return NULL;
}
/*
RETURN_SUCCESS(a pointer to the new file stream);
RETURN_FAILURE(CONSTANT(NULL));
*/
return freopen(filename, mode, f);
}
CHECK_2(FILE *, NULL, fopen, const char * restrict, const char * restrict)
/***
opens a file stream associated with the file ARGUMENT(filename).
The type of file and allowed operations are determined by ARGUMENT(mode):
FLAG(LITERAL(r), text file; read-only)
FLAG(LITERAL(w), text file; write-only; truncate to 0 bytes)
FLAG(LITERAL(a), text file; append)
FLAG(LITERAL(rb), binary file; read-only)
FLAG(LITERAL(wb), binary file; write-only; truncate to 0 bytes)
FLAG(LITERAL(ab), binary file; append)
FLAG(LITERAL(r+), text file; update (read and write))
FLAG(LITERAL(w+), text file; update (read and write); truncate to 0 bytes)
FLAG(LITERAL(a+), text file; update (read and write); append data to end of file)
FLAG(LITERAL(r+b), binary file; update (read and write))
FLAG(LITERAL(rb+), binary file; update (read and write))
FLAG(LITERAL(w+b), binary file; update (read and write); truncate to 0 bytes)
FLAG(LITERAL(wb+), binary file; update (read and write); truncate to 0 bytes)
FLAG(LITERAL(a+b), binary file; update (read and write); append data to end of file)
FLAG(LITERAL(ab+), binary file; update (read and write); append data to end of file)
File streams are opened in fully buffered mode if and only if
ARGUMENT(filename) is not an interactive device.
The error and end-of-file indicators are cleared.
***/
/*
STDC(1)
*/
|
