time.h File Reference

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

Include dependency graph for time.h:

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

Go to the source code of this file.

Classes
struct	timespec
struct	itimerspec
struct	tm

Macros
#define	__time_t_defined   1
#define	_TIME_T   /* macOS guard */
#define	__clock_t_defined   1
#define	_CLOCK_T   /* macOS guard */
#define	__clockid_t_defined   1
#define	__timer_t_defined   1
#define	__pid_t_defined   1
#define	CLOCKS_PER_SEC   1000000L
#define	TIME_UTC   1
#define	CLOCK_REALTIME   0
#define	CLOCK_MONOTONIC   1
#define	CLOCK_PROCESS_CPUTIME_ID   2
#define	CLOCK_THREAD_CPUTIME_ID   3
#define	CLOCK_MONOTONIC_RAW   4
#define	CLOCK_REALTIME_COARSE   5
#define	CLOCK_MONOTONIC_COARSE   6
#define	CLOCK_BOOTTIME   7
#define	TIMER_ABSTIME   1
#define	_STRUCT_TIMESPEC   1
#define	_STRUCT_ITIMERSPEC   1
#define	__struct_tm_defined   1

Typedefs
typedef long	time_t
typedef long	clock_t
typedef int	clockid_t
typedef void *	timer_t
typedef int	pid_t

Functions
time_t	time (time_t *tloc)
double	difftime (time_t end, time_t beginning)
clock_t	clock (void)
time_t	mktime (struct tm *timeptr)
time_t	timegm (struct tm *timeptr)
struct tm *	localtime (const time_t *timer)
struct tm *	gmtime (const time_t *timer)
struct tm *	localtime_r (const time_t *timer, struct tm *buf)
struct tm *	gmtime_r (const time_t *timer, struct tm *buf)
char *	asctime (const struct tm *timeptr)
char *	ctime (const time_t *timer)
char *	asctime_r (const struct tm *timeptr, char *buf)
char *	ctime_r (const time_t *timer, char *buf)
size_t	strftime (char *s, size_t maxsize, const char *format, const struct tm *timeptr)
char *	strptime (const char *s, const char *format, struct tm *tm)
int	timespec_get (struct timespec *ts, int base)
int	clock_getres (clockid_t clk_id, struct timespec *res)
int	clock_gettime (clockid_t clk_id, struct timespec *tp)
int	clock_settime (clockid_t clk_id, const struct timespec *tp)
int	clock_nanosleep (clockid_t clk_id, int flags, const struct timespec *request, struct timespec *remain)
int	nanosleep (const struct timespec *req, struct timespec *rem)
int	timer_create (clockid_t clockid, struct sigevent *sevp, timer_t *timerid)
int	timer_delete (timer_t timerid)
int	timer_settime (timer_t timerid, int flags, const struct itimerspec *new_value, struct itimerspec *old_value)
int	timer_gettime (timer_t timerid, struct itimerspec *curr_value)
int	timer_getoverrun (timer_t timerid)
int	clock_getcpuclockid (pid_t pid, clockid_t *clock_id)
void	tzset (void)
struct tm *	getdate (const char *string)

Variables
int	getdate_err
int	daylight
long	timezone
char *	tzname [2]

Macro Definition Documentation

__clock_t_defined

#define __clock_t_defined   1

__clockid_t_defined

#define __clockid_t_defined   1

__pid_t_defined

#define __pid_t_defined   1

__struct_tm_defined

#define __struct_tm_defined   1

__time_t_defined

#define __time_t_defined   1

__timer_t_defined

#define __timer_t_defined   1

_CLOCK_T

#define _CLOCK_T   /* macOS guard */

_STRUCT_ITIMERSPEC

#define _STRUCT_ITIMERSPEC   1

_STRUCT_TIMESPEC

#define _STRUCT_TIMESPEC   1

_TIME_T

#define _TIME_T   /* macOS guard */

CLOCK_BOOTTIME

#define CLOCK_BOOTTIME   7

CLOCK_MONOTONIC

#define CLOCK_MONOTONIC   1

CLOCK_MONOTONIC_COARSE

#define CLOCK_MONOTONIC_COARSE   6

CLOCK_MONOTONIC_RAW

#define CLOCK_MONOTONIC_RAW   4

CLOCK_PROCESS_CPUTIME_ID

#define CLOCK_PROCESS_CPUTIME_ID   2

CLOCK_REALTIME

#define CLOCK_REALTIME   0

CLOCK_REALTIME_COARSE

#define CLOCK_REALTIME_COARSE   5

CLOCK_THREAD_CPUTIME_ID

#define CLOCK_THREAD_CPUTIME_ID   3

CLOCKS_PER_SEC

#define CLOCKS_PER_SEC   1000000L

TIME_UTC

#define TIME_UTC   1

TIMER_ABSTIME

#define TIMER_ABSTIME   1

Typedef Documentation

clock_t

typedef long clock_t

clockid_t

typedef int clockid_t

pid_t

typedef int pid_t

time_t

typedef long time_t

timer_t

typedef void* timer_t

Function Documentation

asctime()

char * asctime

(

const struct tm *

timeptr

)

asctime_r()

char * asctime_r	(	const struct tm *	timeptr,
		char *	buf )

clock()

clock_t clock

(

void

)

clock_getcpuclockid()

int clock_getcpuclockid	(	pid_t	pid,
		clockid_t *	clock_id )

clock_getres()

int clock_getres	(	clockid_t	clk_id,
		struct timespec *	res )

clock_gettime()

int clock_gettime	(	clockid_t	clk_id,
		struct timespec *	tp )

clock_nanosleep()

int clock_nanosleep	(	clockid_t	clk_id,
		int	flags,
		const struct timespec *	request,
		struct timespec *	remain )

clock_settime()

int clock_settime	(	clockid_t	clk_id,
		const struct timespec *	tp )

ctime()

char * ctime

(

const time_t *

timer

)

ctime_r()

char * ctime_r	(	const time_t *	timer,
		char *	buf )

difftime()

double difftime	(	time_t	end,
		time_t	beginning )

getdate()

struct tm * getdate

(

const char *

string

)

gmtime()

struct tm * gmtime

(

const time_t *

timer

)

gmtime_r()

struct tm * gmtime_r	(	const time_t *	timer,
		struct tm *	buf )

localtime()

struct tm * localtime

(

const time_t *

timer

)

localtime_r()

struct tm * localtime_r	(	const time_t *	timer,
		struct tm *	buf )

mktime()

time_t mktime

(

struct tm *

timeptr

)

nanosleep()

int nanosleep	(	const struct timespec *	req,
		struct timespec *	rem )

strftime()

size_t strftime	(	char *	s,
		size_t	maxsize,
		const char *	format,
		const struct tm *	timeptr )

strptime()

char * strptime	(	const char *	s,
		const char *	format,
		struct tm *	tm )

time()

time_t time

(

time_t *

tloc

)

timegm()

time_t timegm

(

struct tm *

timeptr

)

timer_create()

int timer_create	(	clockid_t	clockid,
		struct sigevent *	sevp,
		timer_t *	timerid )

timer_delete()

int timer_delete

(

timer_t

timerid

)

timer_getoverrun()

int timer_getoverrun

(

timer_t

timerid

)

timer_gettime()

int timer_gettime	(	timer_t	timerid,
		struct itimerspec *	curr_value )

timer_settime()

int timer_settime	(	timer_t	timerid,
		int	flags,
		const struct itimerspec *	new_value,
		struct itimerspec *	old_value )

timespec_get()

int timespec_get	(	struct timespec *	ts,
		int	base )

tzset()

void tzset

(

void

)

Variable Documentation

daylight

int daylight

extern

getdate_err

int getdate_err

extern

timezone

long timezone

extern

tzname

char* tzname[2]

extern