conform/data/stdio.h-data

   1 constant BUFSIZ
   2 constant FILENAME_MAX
   3 constant FOPEN_MAX >= 8
   4
   5 constant _IOFBF
   6 constant _IOLBF
   7 constant _IONBF
   8
   9 constant L_ctermid
  10 constant L_cuserid
  11 constant L_tmpnam
  12
  13 constant SEEK_CUR
  14 constant SEEK_END
  15 constant SEEK_SET
  16
  17 constant TMP_MAX >= 10000
  18
  19 constant EOF
  20
  21 constant NULL
  22
  23 constant P_tmpdir
  24
  25 macro stdin
  26 macro stdout
  27 macro stderr
  28
  29 type FILE
  30 type fpos_t
  31 type va_list
  32 type size_t
  33
  34 function void clearerr (FILE*)
  35 function {char*} ctermid (char*)
  36 function {char*} cuserid (char*)
  37 function int fclose (FILE*)
  38 function {FILE*} fdopen (int, const char*)
  39 function int feof (FILE*)
  40 function int ferror (FILE*)
  41 function int fflush (FILE*)
  42 function int fgetc (FILE*)
  43 function int fgetpos (FILE*, fpos_t*)
  44 function {char*} fgets (char*, int, FILE*)
  45 function int fileno (FILE*)
  46 function void flockfile (FILE*)
  47 function {FILE*} fopen (const char*, const char*)
  48 function int fprintf (FILE*, const char*, ...)
  49 function int fputc (int, FILE*)
  50 function int fputs (const char*, FILE*)
  51 function size_t fread (void*, size_t, size_t, FILE*)
  52 function {FILE*} freopen (const char*, const char*, FILE*)
  53 function int fscanf (FILE*, const char*, ...)
  54 function int fseek (FILE*, long int, int)
  55 function int fseeko (FILE*, off_t, int)
  56 function int fsetpos (FILE*, const fpos_t*)
  57 function {long int} ftell (FILE*)
  58 function off_t ftello (FILE*)
  59 function int ftrylockfile (FILE*)
  60 function void funlockfile (FILE*)
  61 function size_t fwrite (const void*, size_t, size_t, FILE*)
  62 function int getc (FILE*)
  63 function int getchar (void)
  64 function int getc_unlocked (FILE*)
  65 function int getchar_unlocked ()
  66 #ifndef XOPEN2K
  67 function int getopt (int, char *const[], const char *)
  68 #endif
  69 function {char*} gets (char*)
  70 #ifndef XOPEN2K
  71 function int getw (FILE*)
  72 #endif
  73 function int pclose (FILE*)
  74 function void perror (const char*)
  75 function {FILE*} popen (const char*, const char*)
  76 function int printf (const char*, ...)
  77 function int putc (int, FILE*)
  78 function int putchar (int)
  79 function int putc_unlocked (int, FILE*)
  80 function int putchar_unlocked (int)
  81 function int puts (const char*)
  82 #ifndef XOPEN2K
  83 function int putw (int, FILE*)
  84 #endif
  85 function int remove (const char*)
  86 function int rename (const char*, const char*)
  87 function void rewind (FILE*)
  88 function int scanf (const char*, ...)
  89 function void setbuf (FILE*, char*)
  90 function int setvbuf (FILE*, char*, int, size_t)
  91 function int snprintf (char*, size_t, const char*, ...)
  92 function int sprintf (char *, const char *, ...)
  93 function int sscanf (const char*, const char*, ...)
  94 function {char*} tempnam (const char*, const char*)
  95 function {FILE*} tmpfile (void)
  96 function {char*} tmpnam (char*)
  97 function int ungetc (int, FILE*)
  98 function int vfprintf (FILE*, const char*, va_list)
  99 #ifdef XOPEN2K
 100 function int vfscanf (FILE*, const char*, va_list)
 101 #endif
 102 function int vprintf (const char*, va_list)
 103 #ifdef XOPEN2K
 104 function int vscanf (const char*, va_list)
 105 #endif
 106 function int vsnprintf (char*, size_t, const char*, va_list)
 107 function int vsprintf (char*, const char*, va_list)
 108 #ifdef XOPEN2K
 109 function int vsscanf (const char*, const char*, va_list)
 110 #endif
 111
 112 #if !defined ISO && !defined POSIX
 113 #ifndef XOPEN2K
 114 variable {char*} optarg
 115 variable int opterr
 116 variable int optind
 117 variable int optopt
 118 #endif
 119
 120 allow-header stddef.h
 121
 122 allow *_t
 123 #endif