conform/data/stdio.h-data

   1 macro-int-constant BUFSIZ >= 256
   2 macro-int-constant FILENAME_MAX
   3 macro-int-constant FOPEN_MAX >= 8
   4
   5 macro-int-constant _IOFBF
   6 macro-int-constant _IOLBF
   7 macro-int-constant _IONBF
   8
   9 #if !defined ISO && !defined ISO99 && !defined ISO11
  10 constant L_ctermid
  11 # if !defined XOPEN2K && !defined XOPEN2K8 && !defined POSIX2008
  12 #  ifdef POSIX
  13 optional-constant L_cuserid
  14 #  else
  15 constant L_cuserid
  16 #  endif
  17 # endif
  18 #endif
  19 macro-int-constant L_tmpnam
  20
  21 macro-int-constant SEEK_CUR
  22 macro-int-constant SEEK_END
  23 macro-int-constant SEEK_SET
  24
  25 macro-int-constant TMP_MAX >= 10000
  26
  27 macro-int-constant EOF < 0
  28
  29 macro-constant NULL == 0
  30
  31 #if !defined ISO && !defined ISO99 && !defined ISO11 && !defined POSIX && !defined POSIX2008
  32 constant P_tmpdir
  33 #endif
  34
  35 macro stdin {FILE *}
  36 macro stdout {FILE *}
  37 macro stderr {FILE *}
  38
  39 type FILE
  40 type fpos_t
  41 #if !defined ISO && !defined ISO99 && !defined ISO11 && !defined POSIX
  42 type va_list
  43 #else
  44 #define va_list __gnuc_va_list
  45 #endif
  46 type size_t
  47 #if defined XOPEN2K8 || defined POSIX2008
  48 type off_t
  49 type ssize_t
  50 #endif
  51
  52 function void clearerr (FILE*)
  53 #if !defined ISO && !defined ISO99 && !defined ISO11
  54 function {char*} ctermid (char*)
  55 # if defined XPG4 || defined XPG42 || defined UNIX98
  56 function {char*} cuserid (char*)
  57 # endif
  58 #endif
  59 #if defined XOPEN2K8 || defined POSIX2008
  60 function int dprintf (int, const char*, ...)
  61 #endif
  62 function int fclose (FILE*)
  63 #if !defined ISO && !defined ISO99 && !defined ISO11
  64 function {FILE*} fdopen (int, const char*)
  65 #endif
  66 function int feof (FILE*)
  67 function int ferror (FILE*)
  68 function int fflush (FILE*)
  69 function int fgetc (FILE*)
  70 function int fgetpos (FILE*, fpos_t*)
  71 function {char*} fgets (char*, int, FILE*)
  72 #if !defined ISO && !defined ISO99 && !defined ISO11
  73 function int fileno (FILE*)
  74 #endif
  75 #if defined POSIX || defined UNIX98 || defined XOPEN2K || defined XOPEN2K8 || defined POSIX2008
  76 function void flockfile (FILE*)
  77 #endif
  78 #if defined XOPEN2K8 || defined POSIX2008
  79 function {FILE*} fmemopen (void*, size_t, const char*)
  80 #endif
  81 function {FILE*} fopen (const char*, const char*)
  82 function int fprintf (FILE*, const char*, ...)
  83 function int fputc (int, FILE*)
  84 function int fputs (const char*, FILE*)
  85 function size_t fread (void*, size_t, size_t, FILE*)
  86 function {FILE*} freopen (const char*, const char*, FILE*)
  87 function int fscanf (FILE*, const char*, ...)
  88 function int fseek (FILE*, long int, int)
  89 #if defined UNIX98 || defined XOPEN2K || defined XOPEN2K8 || defined POSIX2008
  90 function int fseeko (FILE*, off_t, int)
  91 #endif
  92 function int fsetpos (FILE*, const fpos_t*)
  93 function {long int} ftell (FILE*)
  94 #if defined UNIX98 || defined XOPEN2K || defined XOPEN2K8 || defined POSIX2008
  95 function off_t ftello (FILE*)
  96 #endif
  97 #if defined POSIX || defined UNIX98 || defined XOPEN2K || defined XOPEN2K8 || defined POSIX2008
  98 function int ftrylockfile (FILE*)
  99 function void funlockfile (FILE*)
 100 #endif
 101 function size_t fwrite (const void*, size_t, size_t, FILE*)
 102 function int getc (FILE*)
 103 function int getchar (void)
 104 #if defined POSIX || defined UNIX98 || defined XOPEN2K || defined XOPEN2K8 || defined POSIX2008
 105 function int getc_unlocked (FILE*)
 106 function int getchar_unlocked (void)
 107 #endif
 108 #if defined XOPEN2K8 || defined POSIX2008
 109 function ssize_t getdelim (char**, size_t*, int, FILE*)
 110 function ssize_t getline (char**, size_t*, FILE*)
 111 #endif
 112 #if defined XPG4 || defined XPG42 || defined UNIX98
 113 function int getopt (int, char *const[], const char *)
 114 #endif
 115 #if !defined ISO11
 116 function {char*} gets (char*)
 117 #endif
 118 #if defined XPG4 || defined XPG42 || defined UNIX98
 119 function int getw (FILE*)
 120 #endif
 121 #if defined XOPEN2K8 || defined POSIX2008
 122 function {FILE*} open_memstream (char**, size_t*)
 123 #endif
 124 #if !defined ISO && !defined ISO99 && !defined ISO11
 125 function int pclose (FILE*)
 126 #endif
 127 function void perror (const char*)
 128 #if !defined ISO && !defined ISO99 && !defined ISO11
 129 function {FILE*} popen (const char*, const char*)
 130 #endif
 131 function int printf (const char*, ...)
 132 function int putc (int, FILE*)
 133 function int putchar (int)
 134 #if defined POSIX || defined UNIX98 || defined XOPEN2K || defined XOPEN2K8 || defined POSIX2008
 135 function int putc_unlocked (int, FILE*)
 136 function int putchar_unlocked (int)
 137 #endif
 138 function int puts (const char*)
 139 #if defined XPG4 || defined XPG42 || defined UNIX98
 140 function int putw (int, FILE*)
 141 #endif
 142 function int remove (const char*)
 143 function int rename (const char*, const char*)
 144 #if defined XOPEN2K8 || defined POSIX2008
 145 function int renameat (int, const char*, int, const char*)
 146 #endif
 147 function void rewind (FILE*)
 148 function int scanf (const char*, ...)
 149 function void setbuf (FILE*, char*)
 150 function int setvbuf (FILE*, char*, int, size_t)
 151 #if !defined ISO && !defined POSIX && !defined XPG4 && !defined XPG42
 152 function int snprintf (char*, size_t, const char*, ...)
 153 #endif
 154 function int sprintf (char *, const char *, ...)
 155 function int sscanf (const char*, const char*, ...)
 156 #if defined XPG4 || defined XPG42 || defined UNIX98 || defined XOPEN2K || defined XOPEN2K8
 157 function {char*} tempnam (const char*, const char*)
 158 #endif
 159 function {FILE*} tmpfile (void)
 160 function {char*} tmpnam (char*)
 161 function int ungetc (int, FILE*)
 162 #if defined XOPEN2K8 || defined POSIX2008
 163 function int vdprintf (int, const char*, va_list)
 164 #endif
 165 function int vfprintf (FILE*, const char*, va_list)
 166 #if !defined ISO && !defined POSIX && !defined XPG4 && !defined XPG42 && !defined UNIX98
 167 function int vfscanf (FILE*, const char*, va_list)
 168 #endif
 169 function int vprintf (const char*, va_list)
 170 #if !defined ISO && !defined POSIX && !defined XPG4 && !defined XPG42 && !defined UNIX98
 171 function int vscanf (const char*, va_list)
 172 #endif
 173 #if !defined ISO && !defined POSIX && !defined XPG4 && !defined XPG42
 174 function int vsnprintf (char*, size_t, const char*, va_list)
 175 #endif
 176 function int vsprintf (char*, const char*, va_list)
 177 #if !defined ISO && !defined POSIX && !defined XPG4 && !defined XPG42 && !defined UNIX98
 178 function int vsscanf (const char*, const char*, va_list)
 179 #endif
 180
 181 #if !defined ISO && !defined ISO99 && !defined ISO11
 182 #if !defined POSIX && !defined XOPEN2K && !defined XOPEN2K8 && !defined POSIX2008
 183 variable {char*} optarg
 184 variable int opterr
 185 variable int optind
 186 variable int optopt
 187 #endif
 188
 189 #if !defined POSIX
 190 allow-header stddef.h
 191 #endif
 192
 193 allow *_t
 194 #endif