2012-02-03 06:08:17 -05:00
|
|
|
#ifndef __STDIO_H
|
|
|
|
#define __STDIO_H
|
|
|
|
|
2012-05-25 16:45:28 -04:00
|
|
|
#include <stddef.h>
|
2012-02-03 06:08:17 -05:00
|
|
|
|
2012-02-07 09:02:44 -05:00
|
|
|
int putchar(int c);
|
|
|
|
int puts(const char *s);
|
|
|
|
|
2012-02-03 06:08:17 -05:00
|
|
|
int snprintf(char *buf, size_t size, const char *fmt, ...);
|
|
|
|
int scnprintf(char *buf, size_t size, const char *fmt, ...);
|
|
|
|
int sprintf(char *buf, const char *fmt, ...);
|
|
|
|
|
|
|
|
int printf(const char *fmt, ...);
|
|
|
|
|
2012-05-25 16:45:28 -04:00
|
|
|
/*
|
|
|
|
* Note: this library does not provide FILE operations.
|
|
|
|
* User code must implement them.
|
|
|
|
*/
|
|
|
|
|
|
|
|
#ifndef BUFSIZ
|
|
|
|
#define BUFSIZ 1024
|
|
|
|
#endif
|
|
|
|
|
|
|
|
typedef int FILE;
|
|
|
|
|
|
|
|
extern FILE *stdin;
|
|
|
|
extern FILE *stdout;
|
|
|
|
extern FILE *stderr;
|
|
|
|
|
|
|
|
int fprintf(FILE *stream, const char *format, ...);
|
|
|
|
int fflush(FILE *stream);
|
|
|
|
|
|
|
|
FILE *fopen(const char *path, const char *mode);
|
|
|
|
char *fgets(char *s, int size, FILE *stream);
|
|
|
|
size_t fread(void *ptr, size_t size, size_t nmemb, FILE *stream);
|
|
|
|
size_t fwrite(const void *ptr, size_t size, size_t nmemb, FILE *stream);
|
|
|
|
int fclose(FILE *fp);
|
|
|
|
|
2012-02-03 06:08:17 -05:00
|
|
|
#endif /* __STDIO_H */
|