comparison include/types.h @ 436:024478c34f4d

time type
author Adam Chlipala <adamc@hcoop.net>
date Thu, 30 Oct 2008 14:36:48 -0400
parents 9ad92047a499
children b0c1a46b1f15
comparison
equal deleted inserted replaced
435:f7b25375c0cf 436:024478c34f4d
1 #include <time.h>
2
1 typedef long long uw_Basis_int; 3 typedef long long uw_Basis_int;
2 typedef double uw_Basis_float; 4 typedef double uw_Basis_float;
3 typedef char* uw_Basis_string; 5 typedef char* uw_Basis_string;
6 typedef time_t uw_Basis_time;
4 7
5 struct __uws_0 { 8 struct __uws_0 {
6 }; 9 };
7 10
8 typedef struct __uws_0 uw_unit; 11 typedef struct __uws_0 uw_unit;
19 typedef enum { SUCCESS, FATAL, BOUNDED_RETRY, UNLIMITED_RETRY } failure_kind; 22 typedef enum { SUCCESS, FATAL, BOUNDED_RETRY, UNLIMITED_RETRY } failure_kind;
20 23
21 24
22 #define INTS_MAX 50 25 #define INTS_MAX 50
23 #define FLOATS_MAX 100 26 #define FLOATS_MAX 100
27 #define TIMES_MAX 100