source: CIVL/text/include/stdio.h@ 2870ce5

/* stdio.h: The CIVL representation of standard C library stdio.
 * Based on C11 Standard.
 */
 #ifdef __STDIO__
 #else
 #define __STDIO__

/* Needed from stdarg.h: */

typedef struct _ABC_va_list {
  int x;
} va_list;

/* Types */

typedef unsigned long int size_t;

/* Represents an actual file: something with a name and contents.
 * The name is a string (array of char).  The contents is an
 * array of strings: each entry is a "chunk" of the file; the
 * file may be viewed as a concatenation of those chunks.
 */
typedef struct CIVL_file_t {
  char name[];
  char contents[][];
} CIVL_file_t;

/* Implements the C notion of a FILE, which is really a reference
 * into a particular point of an actual file.  Even if you are just
 * reading the file, this FILE object changes since it contains a reference
 * to the point of file you just read.  
 *
 */
typedef struct FILE {
  CIVL_file_t *file;  // the actual file to which this refers 
  int pos1;     // the chunk index (first index) in the contents
  int pos2;     // the character index (second index) in the contents
  int mode;     // Stream mode: r/w/a 
  _Bool isOpen; // is this FILE open?
} FILE;



typedef int fpos_t;

/* Macros */

#define NULL ((void*)0)
#define _IOFBF 1
#define _IOLBF 2
#define _IONBF 3
#define BUFSIZ 100
#define EOF (-100)
#define FOPEN_MAX 100
#define FILENAME_MAX 500
#define L_tmpnam 500
#define SEEK_CUR 1
#define SEEK_END 2
#define SEEK_SET 3
#define TMP_MAX 100
#define stdin (FILE*)0
#define stdout (FILE*)1
#define stderr (FILE*)2

/* Function Prototypes */

#include<stdio-common.h>

#endif