summaryrefslogtreecommitdiff
path: root/conform/data/stdio.h-data
blob: c3f071e8f9c9a16027b405b881ab52aeef5e191d (plain)
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
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
112
113
114
115
116
117
118
119
120
121
122
123
constant BUFSIZ
constant FILENAME_MAX
constant FOPEN_MAX >= 8

constant _IOFBF
constant _IOLBF
constant _IONBF

constant L_ctermid
constant L_cuserid
constant L_tmpnam

constant SEEK_CUR
constant SEEK_END
constant SEEK_SET

constant TMP_MAX >= 10000

constant EOF

constant NULL

constant P_tmpdir

macro stdin
macro stdout
macro stderr

type FILE
type fpos_t
type va_list
type size_t

function void clearerr (FILE*)
function {char*} ctermid (char*)
function {char*} cuserid (char*)
function int fclose (FILE*)
function {FILE*} fdopen (int, const char*)
function int feof (FILE*)
function int ferror (FILE*)
function int fflush (FILE*)
function int fgetc (FILE*)
function int fgetpos (FILE*, fpos_t*)
function {char*} fgets (char*, int, FILE*)
function int fileno (FILE*)
function void flockfile (FILE*)
function {FILE*} fopen (const char*, const char*)
function int fprintf (FILE*, const char*, ...)
function int fputc (int, FILE*)
function int fputs (const char*, FILE*)
function size_t fread (void*, size_t, size_t, FILE*)
function {FILE*} freopen (const char*, const char*, FILE*)
function int fscanf (FILE*, const char*, ...)
function int fseek (FILE*, long int, int)
function int fseeko (FILE*, off_t, int)
function int fsetpos (FILE*, const fpos_t*)
function {long int} ftell (FILE*)
function off_t ftello (FILE*)
function int ftrylockfile (FILE*)
function void funlockfile (FILE*)
function size_t fwrite (const void*, size_t, size_t, FILE*)
function int getc (FILE*)
function int getchar (void)
function int getc_unlocked (FILE*)
function int getchar_unlocked ()
#ifndef XOPEN2K
function int getopt (int, char *const[], const char *)
#endif
function {char*} gets (char*)
#ifndef XOPEN2K
function int getw (FILE*)
#endif
function int pclose (FILE*)
function void perror (const char*)
function {FILE*} popen (const char*, const char*)
function int printf (const char*, ...)
function int putc (int, FILE*)
function int putchar (int)
function int putc_unlocked (int, FILE*)
function int putchar_unlocked (int)
function int puts (const char*)
#ifndef XOPEN2K
function int putw (int, FILE*)
#endif
function int remove (const char*)
function int rename (const char*, const char*)
function void rewind (FILE*)
function int scanf (const char*, ...)
function void setbuf (FILE*, char*)
function int setvbuf (FILE*, char*, int, size_t)
function int snprintf (char*, size_t, const char*, ...)
function int sprintf (char *, const char *, ...)
function int sscanf (const char*, const char*, ...)
function {char*} tempnam (const char*, const char*)
function {FILE*} tmpfile (void)
function {char*} tmpnam (char*)
function int ungetc (int, FILE*)
function int vfprintf (FILE*, const char*, va_list)
#ifdef XOPEN2K
function int vfscanf (FILE*, const char*, va_list)
#endif
function int vprintf (const char*, va_list)
#ifdef XOPEN2K
function int vscanf (const char*, va_list)
#endif
function int vsnprintf (char*, size_t, const char*, va_list)
function int vsprintf (char*, const char*, va_list)
#ifdef XOPEN2K
function int vsscanf (const char*, const char*, va_list)
#endif

#if !defined ISO && !defined POSIX
#ifndef XOPEN2K
variable {char*} optarg
variable int opterr
variable int optind
variable int optopt
#endif

allow-header stddef.h

allow *_t
#endif