ESBMC
Efficient SMT-based Context-Bounded Model Checker
Loading...
Searching...
No Matches
wchar.h File Reference
#include <stddef.h>
#include <stdarg.h>
Include dependency graph for wchar.h:
This graph shows which files directly or indirectly include this file:

Go to the source code of this file.

Classes

struct  mbstate_t

Macros

#define __need_size_t
#define __need_wchar_t
#define __need_wint_t
#define __need_NULL
#define __mbstate_t_defined   1
#define _MBSTATE_T
#define _MBSTATE_T_DECLARED
#define __DEFINED_mbstate_t
#define WEOF   ((wint_t)-1)
#define WCHAR_MAX   __WCHAR_MAX__
#define WCHAR_MIN   (-WCHAR_MAX - 1)

Functions

size_t wcslen (const wchar_t *s)
int wcscmp (const wchar_t *s1, const wchar_t *s2)
int wcsncmp (const wchar_t *s1, const wchar_t *s2, size_t n)
wchar_t * wcscpy (wchar_t *dst, const wchar_t *src)
wchar_t * wcsncpy (wchar_t *dst, const wchar_t *src, size_t n)
wchar_t * wcscat (wchar_t *dst, const wchar_t *src)
wchar_t * wcschr (const wchar_t *s, wchar_t c)
wchar_t * wcsrchr (const wchar_t *s, wchar_t c)
int wmemcmp (const wchar_t *s1, const wchar_t *s2, size_t n)
wchar_t * wmemcpy (wchar_t *dst, const wchar_t *src, size_t n)
wchar_t * wmemmove (wchar_t *dst, const wchar_t *src, size_t n)
wchar_t * wmemset (wchar_t *s, wchar_t c, size_t n)
wchar_t * wmemchr (const wchar_t *s, wchar_t c, size_t n)
int mbsinit (const mbstate_t *ps)
int swprintf (wchar_t *ws, size_t len, const wchar_t *format,...)
int vswprintf (wchar_t *ws, size_t len, const wchar_t *format, va_list arg)

Macro Definition Documentation

◆ __DEFINED_mbstate_t

#define __DEFINED_mbstate_t

◆ __mbstate_t_defined

#define __mbstate_t_defined   1

◆ __need_NULL

#define __need_NULL

◆ __need_size_t

#define __need_size_t

◆ __need_wchar_t

#define __need_wchar_t

◆ __need_wint_t

#define __need_wint_t

◆ _MBSTATE_T

#define _MBSTATE_T

◆ _MBSTATE_T_DECLARED

#define _MBSTATE_T_DECLARED

◆ WCHAR_MAX

#define WCHAR_MAX   __WCHAR_MAX__

◆ WCHAR_MIN

#define WCHAR_MIN   (-WCHAR_MAX - 1)

◆ WEOF

#define WEOF   ((wint_t)-1)

Function Documentation

◆ mbsinit()

int mbsinit ( const mbstate_t * ps)

◆ swprintf()

int swprintf ( wchar_t * ws,
size_t len,
const wchar_t * format,
... )

◆ vswprintf()

int vswprintf ( wchar_t * ws,
size_t len,
const wchar_t * format,
va_list arg )

◆ wcscat()

wchar_t * wcscat ( wchar_t * dst,
const wchar_t * src )

◆ wcschr()

wchar_t * wcschr ( const wchar_t * s,
wchar_t c )

◆ wcscmp()

int wcscmp ( const wchar_t * s1,
const wchar_t * s2 )

◆ wcscpy()

wchar_t * wcscpy ( wchar_t * dst,
const wchar_t * src )

◆ wcslen()

size_t wcslen ( const wchar_t * s)

◆ wcsncmp()

int wcsncmp ( const wchar_t * s1,
const wchar_t * s2,
size_t n )

◆ wcsncpy()

wchar_t * wcsncpy ( wchar_t * dst,
const wchar_t * src,
size_t n )

◆ wcsrchr()

wchar_t * wcsrchr ( const wchar_t * s,
wchar_t c )

◆ wmemchr()

wchar_t * wmemchr ( const wchar_t * s,
wchar_t c,
size_t n )

◆ wmemcmp()

int wmemcmp ( const wchar_t * s1,
const wchar_t * s2,
size_t n )

◆ wmemcpy()

wchar_t * wmemcpy ( wchar_t * dst,
const wchar_t * src,
size_t n )

◆ wmemmove()

wchar_t * wmemmove ( wchar_t * dst,
const wchar_t * src,
size_t n )

◆ wmemset()

wchar_t * wmemset ( wchar_t * s,
wchar_t c,
size_t n )