123456789101112131415161718192021222324252627282930313233343536373839404142434445464748495051525354555657585960616263646566676869707172737475767778798081828384858687888990919293949596979899100101102103104105106107108109110111112113114115 |
- /*
- * stdio.h
- *
- * Copyright (C) 2017 Aleksandar Andrejevic <theflash@sdf.lonestar.org>
- *
- * This program is free software: you can redistribute it and/or modify
- * it under the terms of the GNU Affero General Public License as
- * published by the Free Software Foundation, either version 3 of the
- * License, or (at your option) any later version.
- *
- * This program is distributed in the hope that it will be useful,
- * but WITHOUT ANY WARRANTY; without even the implied warranty of
- * MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
- * GNU Affero General Public License for more details.
- *
- * You should have received a copy of the GNU Affero General Public License
- * along with this program. If not, see <http://www.gnu.org/licenses/>.
- */
- #ifndef _STDIO_H_
- #define _STDIO_H_
- #include <mlcrt.h>
- #include <stdlib.h>
- #include <stdarg.h>
- #define EOF -1
- struct __CRT_PRIVATE(file);
- typedef struct __CRT_PRIVATE(file) FILE;
- extern FILE *__CRT_PUBLIC(stdin);
- extern FILE *__CRT_PUBLIC(stdout);
- extern FILE *__CRT_PUBLIC(stderr);
- int __CRT_PUBLIC(fgetc)(FILE *stream);
- int __CRT_PUBLIC(fputc)(int c, FILE *stream);
- char *__CRT_PUBLIC(fgets)(char *s, int size, FILE *stream);
- int __CRT_PUBLIC(fputs)(const char *s, FILE *stream);
- int __CRT_PUBLIC(ungetc)(int c, FILE *stream);
- char *__CRT_PUBLIC(gets)(char *s);
- int __CRT_PUBLIC(puts)(const char *s);
- static inline int __CRT_PUBLIC(getc)(FILE *stream)
- {
- return __CRT_PUBLIC(fgetc)(stream);
- }
- static inline int __CRT_PUBLIC(getchar)(void)
- {
- return __CRT_PUBLIC(fgetc)(__CRT_PUBLIC(stdin));
- }
- static inline int __CRT_PUBLIC(putc)(int c, FILE *stream)
- {
- return __CRT_PUBLIC(fputc)(c, stream);
- }
- static inline int __CRT_PUBLIC(putchar)(int c)
- {
- return __CRT_PUBLIC(fputc)(c, __CRT_PUBLIC(stdout));
- }
- int __CRT_PUBLIC(fgetc_unlocked)(FILE *stream);
- int __CRT_PUBLIC(fputc_unlocked)(int c, FILE *stream);
- char *__CRT_PUBLIC(fgets_unlocked)(char *s, int size, FILE *stream);
- int __CRT_PUBLIC(fputs_unlocked)(const char *s, FILE *stream);
- static inline int __CRT_PUBLIC(getc_unlocked)(FILE *stream)
- {
- return __CRT_PUBLIC(fgetc_unlocked)(stream);
- }
- static inline int __CRT_PUBLIC(getchar_unlocked)(void)
- {
- return __CRT_PUBLIC(fgetc_unlocked)(__CRT_PUBLIC(stdin));
- }
- static inline int __CRT_PUBLIC(putc_unlocked)(int c, FILE *stream)
- {
- return __CRT_PUBLIC(fputc_unlocked)(c, stream);
- }
- static inline int __CRT_PUBLIC(putchar_unlocked)(int c)
- {
- return __CRT_PUBLIC(fputc)(c, __CRT_PUBLIC(stdout));
- }
- FILE *__CRT_PUBLIC(fopen)(const char *pathname, const char *mode);
- FILE *__CRT_PUBLIC(fdopen)(int fd, const char *mode);
- FILE *__CRT_PUBLIC(fmemopen)(void *buf, size_t size, const char *mode);
- int __CRT_PUBLIC(fclose)(FILE *stream);
- #define BUFSIZ 4096
- #define _IOFBF 0
- #define _IOLBF 1
- #define _IONBF 2
- int __CRT_PUBLIC(setvbuf)(FILE *stream, char *buf, int mode, size_t size);
- void __CRT_PUBLIC(setbuf)(FILE *stream, char *buf);
- void __CRT_PUBLIC(setbuffer)(FILE *stream, char *buf, size_t size);
- void __CRT_PUBLIC(setlinebuf)(FILE *stream);
- int __CRT_PUBLIC(printf)(const char *format, ...);
- int __CRT_PUBLIC(fprintf)(FILE *stream, const char *format, ...);
- int __CRT_PUBLIC(dprintf)(int fd, const char *format, ...);
- int __CRT_PUBLIC(sprintf)(char *str, const char *format, ...);
- int __CRT_PUBLIC(snprintf)(char *str, size_t size, const char *format, ...);
- int __CRT_PUBLIC(vprintf)(const char *format, va_list ap);
- int __CRT_PUBLIC(vfprintf)(FILE *stream, const char *format, va_list ap);
- int __CRT_PUBLIC(vdprintf)(int fd, const char *format, va_list ap);
- int __CRT_PUBLIC(vsprintf)(char *str, const char *format, va_list ap);
- int __CRT_PUBLIC(vsnprintf)(char *str, size_t size, const char *format, va_list ap);
- #endif
|