#ifndef __STDIO_H__
# define __STDIO_H__

#ifdef __cplusplus
extern "C" {
#endif

#include <stddef.h>
#include <stdarg.h>

/* Type of FILE handlers. */
#include <bits/types/FILE.h>

/* Type of positions within files. We don't have wide-oriented streams. */
typedef size_t fpos_t;

/* Buffering modes. */
#define _IOFBF 0
#define _IOLBF 1
#define _IONBF 2

/* Some buffer size for file buffering. */
#define BUFSIZ 512

/* End-of-file marker. */
#define EOF ((int)(-1))

/* Number of files guaranteed can be opened simultaneously. */
/* TODO: FOPEN_MAX is BFile-specific, Vhex might have much larger limits. */
#define FOPEN_MAX 4

/* Recommended length of a filename. */
/* TODO: FILENAME_MAX = 128 is quite BFile-centric, Vhex might be different. */
#define FILENAME_MAX 128

/* Length a filename for tmpnam. */
#define L_tmpnam FILENAME_MAX

/* Seeking positions. */
#define SEEK_CUR 0
#define SEEK_END 1
#define SEEK_SET 2

/* Maximum number of unique filenames that tmpnam can generate. */
/* TODO: Set a useful value in TMP_MAX other than 16*16*16 */
#define TMP_MAX (16*16*16)

/* Standard input, output and error streams. */
extern FILE *stdin;
extern FILE *stdout;
extern FILE *stderr;
/* Make them macros (7.19.1§3) */
#define stdin stdin
#define stdout stdout
#define stderr stderr

/*
** Operations on files.
*/

/* Remove a file from the filesystem.
   In gint, the file must not be open (open files' names are not tracked). */
extern int remove(char const *__filename);

/*
** File access functions.
*/

/* Flush the stream and disassociate it from the underlying file. */
extern int fclose(FILE *__fp);

/* Flush any written data in the FILE's internal buffer. */
extern int fflush(FILE *__fp);

/* Open a file and associate a stream with it. */
extern FILE *fopen(
	char const * __restrict__ __filename,
	char const * __restrict__ __mode);

/* Open a file descriptor and associate a stream with it. */
extern FILE *fdopen(int __fd, char const *__mode);

/* Reopen a stream with another file, or change its mode. */
extern FILE *freopen(
	char const * __restrict__ __filename,
	char const * __restrict__ __mode,
	FILE * __restrict__ __fp);

/* Use __buf as a buffer (of size BUFSIZ) for access to __fp. */
extern void setbuf(FILE * __restrict__ __fp, char * __restrict__ __buf);

/* Changer the buffering mode and buffer address for __fp. */
extern int setvbuf(FILE * __restrict__ __fp, char * __restrict__ __buf,
	int __mode, size_t __size);

/*
** Formatted input/output functions.
**
** These functions implement most of printf(3)'s features, including:
** - Signed and unsigned integer formats (%d, %i, %o, %u, %x, %X)
** - Character, string and pointer formats (%c, %s, %p)
** - Character count and strerror() shorthand formats (%n, %m)
** - Format options (0, #, -, (space), length, precision)
** - Parameter length (hh, h, l, ll, L, z, j, t) (L: if long double is 64-bit)
** - Limiting the size of the output and still returning the whole length
** - If __printf_enable_fp() from <fxlibc/printf.h> is called: floating-point
**   formats (%e, %E, %f, %F, %g, %G) (disabled by default to save space)
**
** They do not (yet?) support:
** - Hexadecimal floating-point (%a, %A)
** - Printing long double values when long double is more than 64-bit
** - Dynamic length field (*)
** - Parameter reordering ($m)
** - Thousands separators (') and locale-aware digits (I)
** - Nonstandard/old synonyms %C (%lc), %S (%ls), q (ll), and Z (z)
**
** There are extensions, namely to allow for custom conversions to be added.
** One custom conversion can be enabled with __printf_enable_fixed() from
** <fxlibc/printf.h>: a decimal fixed-point format %D which is like %d but
** with a decimal point. See <fxlibc/printf.h> for details.
*/

/* Formatted print to file. */
extern int fprintf(FILE * __restrict__ __fp,
	char const * __restrict__ __format, ...);

/* Formatted print to stdout. */
extern int printf(
	char const * __restrict__ __format, ...);

/* Formatted print to string (with limited size). */
extern int snprintf(char * __restrict__ __str, size_t __size,
	char const * __restrict__ __format, ...);

/* Formatted print to string (with unlimited size!). */
extern int sprintf(char * __restrict__ __str,
	char const * __restrict__ __format, ...);

/* Formatted print to file (variable argument list). */
extern int vfprintf(FILE * __restrict__ __fp,
	char const * __restrict__ __format, va_list __args);

/* Formatted print to stdout (variable argument list). */
extern int vprintf(
	char const * __restrict__ __format, va_list __args);

/* Formatted print to string (limited size, variable argument list). */
extern int vsnprintf(char * __restrict__ __str, size_t __size,
	char const * __restrict__ __format, va_list __args);

/* Formatted print to string (unlimited size!, variable argument list). */
extern int vsprintf(char * __restrict__ __str,
	char const * __restrict__ __format, va_list __args);

/* putx() - display char / string */
extern int putchar(int c);
extern int puts(const char *s);

/* Extensions. */

/* Formatted print to file descriptor. */
extern int dprintf(int __fd,
	char const * __restrict__ __format, ...);

/* Formatted print to file descriptor (variable argument list). */
extern int vdprintf(int __fd,
	char const * __restrict__ __format, va_list __args);

/* Allocating sprintf(). */
extern int asprintf(char ** __restrict__ __str,
	char const * __restrict__ __format, ...);

/* Allocating vsprintf(). */
extern int vasprintf(char ** __restrict__ __str,
	char const * __restrict__ __format, va_list __args);

/*
** Character input/output functions.
*/

/* Read a character from a stream. */
extern int fgetc(FILE *__fp);

/* Read at most n characters from a stream, stopping after a newline. */
extern char *fgets(char * __restrict__ __s, int __n,
	FILE * __restrict__ __fp);

/* Write a character to a stream. */
extern int fputc(int __c, FILE *__fp);

/* Write a string to a stream (excluding the NUL nyte). */
extern int fputs(char const * __restrict__ s, FILE * __restrict__ fp);

extern int getc(FILE *__fp);
#define getc fgetc

/* Get a character from stdin */
extern int getchar(void);
#define getchar() fgetc(stdin)

/* (DEPRECATED; use fgets() instead) Read a string from stdin. */
extern char *gets(char *__s);

extern int putc(int __c, FILE *__fp);
#define putc fputc

/* Write a character to stdout */
extern int putchar(int __c);
#define putchar(__c) fputc(__c, stdout)

/* Write a string to stdout, followed by a newline */
extern int puts(char const *__s);

/* Un-read a character back to the stream; only one ungetc() is guaranteed, and
   the character is lost after reading, writing or flushing. */
extern int ungetc(int __c, FILE *__fp);

/*
** Direct input/output functions.
*/

/* Read an array of items from a stream. */
extern size_t fread(void * __restrict__ __ptr, size_t __size, size_t __nmemb,
	FILE * __restrict__ __fp);

/* Write an array of items to a stream. */
extern size_t fwrite(void const * __restrict__ __ptr, size_t __size,
	size_t __nmemb, FILE * __restrict__ __fp);

/*
** File positioning functions.
*/

/* Get current position (same as ftell() unless wide-oriented). */
extern int fgetpos(FILE * __restrict__ __fp, fpos_t * __restrict__ __pos);

/* Set the current position. */
extern int fseek(FILE *__fp, long __offset, int __whence);

/* Restore the position to a value returned by fgetpos(). */
extern int fsetpos(FILE *__fp, fpos_t const *__pos);

/* Get the current position. */
extern long ftell(FILE *__fp);

/* Sets the file position to the start of the stream. */
extern void rewind(FILE *__fp);

/*
** Error-handling functions.
*/

/* Clear EOF and error flags in the stream. */
extern void clearerr(FILE *__fp);

/* Test the EOF flag. */
extern int feof(FILE *__fp);

/* Test the error flag. */
extern int ferror(FILE *__fp);

/* Print a message followed by strerror(errno) to stdout. */
extern void perror(char const *__s);

#ifdef __cplusplus
}
#endif

#endif /*__STDIO_H__*/