[3eddaff] | 1 | /*
|
---|
[df4ed85] | 2 | * Copyright (c) 2005 Martin Decky
|
---|
[3eddaff] | 3 | * All rights reserved.
|
---|
| 4 | *
|
---|
| 5 | * Redistribution and use in source and binary forms, with or without
|
---|
| 6 | * modification, are permitted provided that the following conditions
|
---|
| 7 | * are met:
|
---|
| 8 | *
|
---|
| 9 | * - Redistributions of source code must retain the above copyright
|
---|
| 10 | * notice, this list of conditions and the following disclaimer.
|
---|
| 11 | * - Redistributions in binary form must reproduce the above copyright
|
---|
| 12 | * notice, this list of conditions and the following disclaimer in the
|
---|
| 13 | * documentation and/or other materials provided with the distribution.
|
---|
| 14 | * - The name of the author may not be used to endorse or promote products
|
---|
| 15 | * derived from this software without specific prior written permission.
|
---|
| 16 | *
|
---|
| 17 | * THIS SOFTWARE IS PROVIDED BY THE AUTHOR ``AS IS'' AND ANY EXPRESS OR
|
---|
| 18 | * IMPLIED WARRANTIES, INCLUDING, BUT NOT LIMITED TO, THE IMPLIED WARRANTIES
|
---|
| 19 | * OF MERCHANTABILITY AND FITNESS FOR A PARTICULAR PURPOSE ARE DISCLAIMED.
|
---|
| 20 | * IN NO EVENT SHALL THE AUTHOR BE LIABLE FOR ANY DIRECT, INDIRECT,
|
---|
| 21 | * INCIDENTAL, SPECIAL, EXEMPLARY, OR CONSEQUENTIAL DAMAGES (INCLUDING, BUT
|
---|
| 22 | * NOT LIMITED TO, PROCUREMENT OF SUBSTITUTE GOODS OR SERVICES; LOSS OF USE,
|
---|
| 23 | * DATA, OR PROFITS; OR BUSINESS INTERRUPTION) HOWEVER CAUSED AND ON ANY
|
---|
| 24 | * THEORY OF LIABILITY, WHETHER IN CONTRACT, STRICT LIABILITY, OR TORT
|
---|
| 25 | * (INCLUDING NEGLIGENCE OR OTHERWISE) ARISING IN ANY WAY OUT OF THE USE OF
|
---|
| 26 | * THIS SOFTWARE, EVEN IF ADVISED OF THE POSSIBILITY OF SUCH DAMAGE.
|
---|
| 27 | */
|
---|
| 28 |
|
---|
[fadd381] | 29 | /** @addtogroup libc
|
---|
[b2951e2] | 30 | * @{
|
---|
| 31 | */
|
---|
| 32 | /** @file
|
---|
| 33 | */
|
---|
| 34 |
|
---|
[fadd381] | 35 | #ifndef LIBC_STDIO_H_
|
---|
| 36 | #define LIBC_STDIO_H_
|
---|
[3eddaff] | 37 |
|
---|
[5d4e90f0] | 38 | #include <sys/types.h>
|
---|
[3214a20] | 39 | #include <stdarg.h>
|
---|
[19f857a] | 40 | #include <str.h>
|
---|
[d9c8c81] | 41 | #include <adt/list.h>
|
---|
[3eddaff] | 42 |
|
---|
[9ac2013] | 43 | #ifndef NVERIFY_PRINTF
|
---|
| 44 |
|
---|
| 45 | #define PRINTF_ATTRIBUTE(start, end) \
|
---|
| 46 | __attribute__((format(gnu_printf, start, end)))
|
---|
| 47 |
|
---|
| 48 | #else /* NVERIFY_PRINTF */
|
---|
| 49 |
|
---|
| 50 | #define PRINTF_ATTRIBUTE(start, end)
|
---|
| 51 |
|
---|
| 52 | #endif /* NVERIFY_PRINTF */
|
---|
| 53 |
|
---|
[2595dab] | 54 | #define EOF (-1)
|
---|
[37458472] | 55 |
|
---|
[ef8bcc6] | 56 | /** Default size for stream I/O buffers */
|
---|
[db24058] | 57 | #define BUFSIZ 4096
|
---|
[ef8bcc6] | 58 |
|
---|
[1d0d06a] | 59 | #define DEBUG(fmt, ...) \
|
---|
[db24058] | 60 | { \
|
---|
| 61 | char _buf[256]; \
|
---|
| 62 | int _n = snprintf(_buf, sizeof(_buf), fmt, ##__VA_ARGS__); \
|
---|
| 63 | if (_n > 0) \
|
---|
| 64 | (void) __SYSCALL3(SYS_KLOG, 1, (sysarg_t) _buf, str_size(_buf)); \
|
---|
| 65 | }
|
---|
[d681c17] | 66 |
|
---|
[2595dab] | 67 | #ifndef SEEK_SET
|
---|
| 68 | #define SEEK_SET 0
|
---|
[ed903174] | 69 | #endif
|
---|
| 70 |
|
---|
| 71 | #ifndef SEEK_CUR
|
---|
[2595dab] | 72 | #define SEEK_CUR 1
|
---|
[ed903174] | 73 | #endif
|
---|
| 74 |
|
---|
| 75 | #ifndef SEEK_END
|
---|
[2595dab] | 76 | #define SEEK_END 2
|
---|
| 77 | #endif
|
---|
| 78 |
|
---|
[ef8bcc6] | 79 | enum _buffer_type {
|
---|
| 80 | /** No buffering */
|
---|
| 81 | _IONBF,
|
---|
| 82 | /** Line buffering */
|
---|
| 83 | _IOLBF,
|
---|
| 84 | /** Full buffering */
|
---|
| 85 | _IOFBF
|
---|
| 86 | };
|
---|
| 87 |
|
---|
[facebd56] | 88 | enum _buffer_state {
|
---|
| 89 | /** Buffer is empty */
|
---|
| 90 | _bs_empty,
|
---|
| 91 |
|
---|
| 92 | /** Buffer contains data to be written */
|
---|
| 93 | _bs_write,
|
---|
| 94 |
|
---|
| 95 | /** Buffer contains prefetched data for reading */
|
---|
| 96 | _bs_read
|
---|
| 97 | };
|
---|
| 98 |
|
---|
[79ae36dd] | 99 | /** Forward declaration */
|
---|
| 100 | struct _IO_FILE;
|
---|
| 101 | typedef struct _IO_FILE FILE;
|
---|
[04b687b] | 102 |
|
---|
[2595dab] | 103 | extern FILE *stdin;
|
---|
| 104 | extern FILE *stdout;
|
---|
| 105 | extern FILE *stderr;
|
---|
| 106 |
|
---|
| 107 | /* Character and string input functions */
|
---|
| 108 | extern int fgetc(FILE *);
|
---|
[c62d2e1] | 109 | extern char *fgets(char *, int, FILE *);
|
---|
[1c1002a] | 110 |
|
---|
[b27a97bb] | 111 | extern int getchar(void);
|
---|
[2595dab] | 112 | extern char *gets(char *, size_t);
|
---|
[b27a97bb] | 113 |
|
---|
[2595dab] | 114 | /* Character and string output functions */
|
---|
| 115 | extern int fputc(wchar_t, FILE *);
|
---|
| 116 | extern int fputs(const char *, FILE *);
|
---|
| 117 |
|
---|
| 118 | extern int putchar(wchar_t);
|
---|
[ab00d5a] | 119 | extern int puts(const char *);
|
---|
[3eddaff] | 120 |
|
---|
[2595dab] | 121 | /* Formatted string output functions */
|
---|
[9ac2013] | 122 | extern int fprintf(FILE *, const char*, ...)
|
---|
| 123 | PRINTF_ATTRIBUTE(2, 3);
|
---|
[2595dab] | 124 | extern int vfprintf(FILE *, const char *, va_list);
|
---|
[3214a20] | 125 |
|
---|
[9ac2013] | 126 | extern int printf(const char *, ...)
|
---|
| 127 | PRINTF_ATTRIBUTE(1, 2);
|
---|
[ab00d5a] | 128 | extern int vprintf(const char *, va_list);
|
---|
[3214a20] | 129 |
|
---|
[9ac2013] | 130 | extern int snprintf(char *, size_t , const char *, ...)
|
---|
| 131 | PRINTF_ATTRIBUTE(3, 4);
|
---|
| 132 | extern int asprintf(char **, const char *, ...)
|
---|
| 133 | PRINTF_ATTRIBUTE(2, 3);
|
---|
[2595dab] | 134 | extern int vsnprintf(char *, size_t, const char *, va_list);
|
---|
[a8e9ab8d] | 135 |
|
---|
[2595dab] | 136 | /* File stream functions */
|
---|
[04b687b] | 137 | extern FILE *fopen(const char *, const char *);
|
---|
[080ad7f] | 138 | extern FILE *fdopen(int, const char *);
|
---|
[04b687b] | 139 | extern int fclose(FILE *);
|
---|
[2595dab] | 140 |
|
---|
[04b687b] | 141 | extern size_t fread(void *, size_t, size_t, FILE *);
|
---|
| 142 | extern size_t fwrite(const void *, size_t, size_t, FILE *);
|
---|
[2595dab] | 143 |
|
---|
[ed903174] | 144 | extern int fseek(FILE *, off64_t, int);
|
---|
[080ad7f] | 145 | extern void rewind(FILE *);
|
---|
[ed903174] | 146 | extern off64_t ftell(FILE *);
|
---|
[04b687b] | 147 | extern int feof(FILE *);
|
---|
[3629481] | 148 | extern int fileno(FILE *);
|
---|
[2595dab] | 149 |
|
---|
| 150 | extern int fflush(FILE *);
|
---|
[04b687b] | 151 | extern int ferror(FILE *);
|
---|
| 152 | extern void clearerr(FILE *);
|
---|
| 153 |
|
---|
[ef8bcc6] | 154 | extern void setvbuf(FILE *, void *, int, size_t);
|
---|
| 155 |
|
---|
[2595dab] | 156 | /* Misc file functions */
|
---|
| 157 | extern int rename(const char *, const char *);
|
---|
[63088cc1] | 158 |
|
---|
[3eddaff] | 159 | #endif
|
---|
[b2951e2] | 160 |
|
---|
[fadd381] | 161 | /** @}
|
---|
[b2951e2] | 162 | */
|
---|