stdio.h File Reference

#include <__esbmc/stddefs.h>
#include <stddef.h>
#include <stdarg.h>

Include dependency graph for stdio.h:

This graph shows which files directly or indirectly include this file:

Go to the source code of this file.

Classes
struct	__esbmc_file_t

Macros
#define	EOF   (-1)
#define	BUFSIZ   8192
#define	SEEK_SET   0
#define	SEEK_CUR   1
#define	SEEK_END   2
#define	FILENAME_MAX   4096
#define	FOPEN_MAX   16
#define	L_tmpnam   20
#define	_IOFBF   0
#define	_IOLBF   1
#define	_IONBF   2
#define	_SSIZE_T_DEFINED
#define	__ssize_t_defined
#define	_SSIZE_T

Typedefs
typedef __ESBMC_C_CPP_BEGIN struct __esbmc_file_t	FILE
typedef long	fpos_t
typedef __PTRDIFF_TYPE__	ssize_t

Functions
int	printf (const char *__ESBMC_restrict format,...)
int	fprintf (FILE *__ESBMC_restrict stream, const char *__ESBMC_restrict format,...)
int	sprintf (char *__ESBMC_restrict str, const char *__ESBMC_restrict format,...)
int	snprintf (char *__ESBMC_restrict str, size_t size, const char *__ESBMC_restrict format,...)
int	dprintf (int fd, const char *__ESBMC_restrict format,...)
int	vprintf (const char *__ESBMC_restrict format, va_list ap)
int	vfprintf (FILE *__ESBMC_restrict stream, const char *__ESBMC_restrict format, va_list ap)
int	vsprintf (char *__ESBMC_restrict str, const char *__ESBMC_restrict format, va_list ap)
int	vsnprintf (char *__ESBMC_restrict str, size_t size, const char *__ESBMC_restrict format, va_list ap)
int	scanf (const char *__ESBMC_restrict format,...)
int	fscanf (FILE *__ESBMC_restrict stream, const char *__ESBMC_restrict format,...)
int	sscanf (const char *__ESBMC_restrict str, const char *__ESBMC_restrict format,...)
FILE *	fopen (const char *__ESBMC_restrict pathname, const char *__ESBMC_restrict mode)
FILE *	freopen (const char *__ESBMC_restrict pathname, const char *__ESBMC_restrict mode, FILE *__ESBMC_restrict stream)
FILE *	fdopen (int fd, const char *mode)
FILE *	fmemopen (void *buf, size_t size, const char *mode)
int	fclose (FILE *stream)
int	fflush (FILE *stream)
size_t	fread (void *__ESBMC_restrict ptr, size_t size, size_t nmemb, FILE *__ESBMC_restrict stream)
size_t	fwrite (const void *__ESBMC_restrict ptr, size_t size, size_t nmemb, FILE *__ESBMC_restrict stream)
int	fseek (FILE *stream, long offset, int whence)
long	ftell (FILE *stream)
void	rewind (FILE *stream)
int	fgetpos (FILE *__ESBMC_restrict stream, fpos_t *__ESBMC_restrict pos)
int	fsetpos (FILE *stream, const fpos_t *pos)
int	feof (FILE *stream)
int	ferror (FILE *stream)
void	clearerr (FILE *stream)
int	fileno (FILE *stream)
int	fpurge (FILE *stream)
int	fgetc (FILE *stream)
int	fputc (int c, FILE *stream)
int	getc (FILE *stream)
int	putc (int c, FILE *stream)
int	getchar (void)
int	putchar (int c)
char *	fgets (char *__ESBMC_restrict str, int n, FILE *__ESBMC_restrict stream)
int	fputs (const char *__ESBMC_restrict str, FILE *__ESBMC_restrict stream)
char *	gets (char *str)
int	puts (const char *str)
int	getw (FILE *stream)
int	ungetc (int c, FILE *stream)
ssize_t	getline (char **__ESBMC_restrict lineptr, size_t *__ESBMC_restrict n, FILE *__ESBMC_restrict stream)
int	remove (const char *pathname)
int	rename (const char *oldpath, const char *newpath)
FILE *	tmpfile (void)
char *	tmpnam (char *str)
void	perror (const char *s)
void	setbuf (FILE *__ESBMC_restrict stream, char *__ESBMC_restrict buf)
int	setvbuf (FILE *__ESBMC_restrict stream, char *__ESBMC_restrict buf, int mode, size_t size)

Variables
__extension__ typedef long long	__int64_t
FILE *	stdin
FILE *	stdout
FILE *	stderr

Macro Definition Documentation

__ssize_t_defined

#define __ssize_t_defined

_IOFBF

#define _IOFBF   0

_IOLBF

#define _IOLBF   1

_IONBF

#define _IONBF   2

_SSIZE_T

#define _SSIZE_T

_SSIZE_T_DEFINED

#define _SSIZE_T_DEFINED

BUFSIZ

#define BUFSIZ   8192

EOF

#define EOF   (-1)

FILENAME_MAX

#define FILENAME_MAX   4096

FOPEN_MAX

#define FOPEN_MAX   16

L_tmpnam

#define L_tmpnam   20

SEEK_CUR

#define SEEK_CUR   1

SEEK_END

#define SEEK_END   2

SEEK_SET

#define SEEK_SET   0

Typedef Documentation

FILE

typedef __ESBMC_C_CPP_BEGIN struct __esbmc_file_t FILE

fpos_t

typedef long fpos_t

ssize_t

typedef __PTRDIFF_TYPE__ ssize_t

Function Documentation

clearerr()

void clearerr

(

FILE *

stream

)

dprintf()

int dprintf	(	int	fd,
		const char *__ESBMC_restrict	format,
			... )

fclose()

int fclose

(

FILE *

stream

)

fdopen()

FILE * fdopen	(	int	fd,
		const char *	mode )

feof()

int feof

(

FILE *

stream

)

ferror()

int ferror

(

FILE *

stream

)

fflush()

int fflush

(

FILE *

stream

)

fgetc()

int fgetc

(

FILE *

stream

)

fgetpos()

int fgetpos	(	FILE *__ESBMC_restrict	stream,
		fpos_t *__ESBMC_restrict	pos )

fgets()

char * fgets	(	char *__ESBMC_restrict	str,
		int	n,
		FILE *__ESBMC_restrict	stream )

fileno()

int fileno

(

FILE *

stream

)

fmemopen()

FILE * fmemopen	(	void *	buf,
		size_t	size,
		const char *	mode )

fopen()

FILE * fopen	(	const char *__ESBMC_restrict	pathname,
		const char *__ESBMC_restrict	mode )

fprintf()

int fprintf	(	FILE *__ESBMC_restrict	stream,
		const char *__ESBMC_restrict	format,
			... )

fpurge()

int fpurge

(

FILE *

stream

)

fputc()

int fputc	(	int	c,
		FILE *	stream )

fputs()

int fputs	(	const char *__ESBMC_restrict	str,
		FILE *__ESBMC_restrict	stream )

fread()

size_t fread	(	void *__ESBMC_restrict	ptr,
		size_t	size,
		size_t	nmemb,
		FILE *__ESBMC_restrict	stream )

freopen()

FILE * freopen	(	const char *__ESBMC_restrict	pathname,
		const char *__ESBMC_restrict	mode,
		FILE *__ESBMC_restrict	stream )

fscanf()

int fscanf	(	FILE *__ESBMC_restrict	stream,
		const char *__ESBMC_restrict	format,
			... )

fseek()

int fseek	(	FILE *	stream,
		long	offset,
		int	whence )

fsetpos()

int fsetpos	(	FILE *	stream,
		const fpos_t *	pos )

ftell()

long ftell

(

FILE *

stream

)

fwrite()

size_t fwrite	(	const void *__ESBMC_restrict	ptr,
		size_t	size,
		size_t	nmemb,
		FILE *__ESBMC_restrict	stream )

getc()

int getc

(

FILE *

stream

)

getchar()

int getchar

(

void

)

getline()

ssize_t getline	(	char **__ESBMC_restrict	lineptr,
		size_t *__ESBMC_restrict	n,
		FILE *__ESBMC_restrict	stream )

gets()

char * gets

(

char *

str

)

getw()

int getw

(

FILE *

stream

)

perror()

void perror

(

const char *

s

)

printf()

int printf	(	const char *__ESBMC_restrict	format,
			... )

putc()

int putc	(	int	c,
		FILE *	stream )

putchar()

int putchar

(

int

c

)

puts()

int puts

(

const char *

str

)

remove()

int remove

(

const char *

pathname

)

rename()

int rename	(	const char *	oldpath,
		const char *	newpath )

rewind()

void rewind

(

FILE *

stream

)

scanf()

int scanf	(	const char *__ESBMC_restrict	format,
			... )

setbuf()

void setbuf	(	FILE *__ESBMC_restrict	stream,
		char *__ESBMC_restrict	buf )

setvbuf()

int setvbuf	(	FILE *__ESBMC_restrict	stream,
		char *__ESBMC_restrict	buf,
		int	mode,
		size_t	size )

snprintf()

int snprintf	(	char *__ESBMC_restrict	str,
		size_t	size,
		const char *__ESBMC_restrict	format,
			... )

sprintf()

int sprintf	(	char *__ESBMC_restrict	str,
		const char *__ESBMC_restrict	format,
			... )

sscanf()

int sscanf	(	const char *__ESBMC_restrict	str,
		const char *__ESBMC_restrict	format,
			... )

tmpfile()

FILE * tmpfile

(

void

)

tmpnam()

char * tmpnam

(

char *

str

)

ungetc()

int ungetc	(	int	c,
		FILE *	stream )

vfprintf()

int vfprintf	(	FILE *__ESBMC_restrict	stream,
		const char *__ESBMC_restrict	format,
		va_list	ap )

vprintf()

int vprintf	(	const char *__ESBMC_restrict	format,
		va_list	ap )

vsnprintf()

int vsnprintf	(	char *__ESBMC_restrict	str,
		size_t	size,
		const char *__ESBMC_restrict	format,
		va_list	ap )

vsprintf()

int vsprintf	(	char *__ESBMC_restrict	str,
		const char *__ESBMC_restrict	format,
		va_list	ap )

Variable Documentation

__int64_t

__extension__ typedef long long __int64_t

stderr

FILE* stderr

extern

stdin

FILE* stdin

extern

stdout

FILE* stdout

extern