/*
** Copyright 2003, Axel Dörfler, axeld@pinc-software.de. All rights reserved.
** Distributed under the terms of the MIT License.
*/
#ifndef _STDIO_H_
#define _STDIO_H_
        // must match the one of the real stdio.h

#include <stdarg.h>

typedef off_t fpos_t;

#ifdef __cplusplus
extern "C" {
#endif

typedef struct FILE FILE;
        // dummy definition of FILE
        // In the boot loader, it really is a ConsoleNode

extern FILE *stdin;
extern FILE *stdout;
extern FILE *stderr;

#ifndef SEEK_SET
#       define SEEK_SET 0
#endif
#ifndef SEEK_CUR
#       define SEEK_CUR 1
#endif
#ifndef SEEK_END
#       define SEEK_END 2
#endif

#ifndef EOF
#       define EOF (-1)
#endif

extern int printf(char const *format, ...) _PRINTFLIKE(1,2);
extern int fprintf(FILE *stream, char const *format, ...) _PRINTFLIKE(2,3);
extern int sprintf(char *str, char const *format, ...) _PRINTFLIKE(2,3);
extern int snprintf(char *str, size_t size, char const *format, ...) _PRINTFLIKE(3,4);
extern int asprintf(char **ret, char const *format, ...) _PRINTFLIKE(2,3);
extern int vprintf(char const *format, va_list ap);
extern int vfprintf(FILE *stream, char const *format, va_list ap);
extern int vsprintf(char *str, char const *format, va_list ap);
extern int vsnprintf(char *str, size_t size, char const *format, va_list ap);
extern int vasprintf(char **ret, char const *format, va_list ap);

// ToDo: not everything is or should be implemented here
extern void             clearerr(FILE *stream);
extern int              fclose(FILE *stream);
extern int              feof(FILE *stream);
extern int              ferror(FILE *stream);
extern int              fflush(FILE *stream);
extern int              fgetpos(FILE *stream, fpos_t *position);
extern FILE             *fopen(const char *name, const char *mode);
extern size_t   fread(void *buffer, size_t size, size_t numItems, FILE *stream);
extern FILE             *freopen(const char *name, const char *mode, FILE *stream);
extern int              fscanf(FILE *stream, char const *format, ...);
extern int              fseek(FILE *stream, long offset, int seekType);
extern int              fsetpos(FILE *stream, const fpos_t *position);
extern long             ftell(FILE *stream);
extern size_t   fwrite(const void *buffer, size_t size, size_t numItems, FILE *stream);
extern void             perror(const char *errorPrefix);
extern int              rename(const char *from, const char *to);
extern void             rewind(FILE *stream);
extern int              scanf(char const *format, ...);
extern void             setbuf (FILE *file, char *buff);
extern int              setvbuf(FILE *file, char *buff, int mode, size_t size);
extern int              sscanf(char const *str, char const *format, ...);
extern FILE             *tmpfile(void);
extern char     *tmpnam(char *nameBuffer);
extern int              ungetc(int c, FILE *stream);
extern int              vscanf(char const *format, va_list ap);
extern int              vsscanf(char const *str, char const *format, va_list ap);
extern int              vfscanf(FILE *stream, char const *format, va_list ap);

extern int    fgetc(FILE *);
extern char  *fgets(char *, int, FILE *);
extern int    fputc(int, FILE *);
extern int    fputs(const char *, FILE*);
extern int    getc(FILE *);
extern char  *gets(char *);
extern int    getw(FILE *);
extern int    getchar(void);
extern int    putc(int, FILE *);
extern int    putchar(int);
extern int    puts(const char *);
extern int    putw(int, FILE *);

#ifdef __cplusplus
}
#endif

#endif /* _STDIO_H_ */