annotate include/types.h @ 704:70cbdcf5989b

UNIQUE constraints
author Adam Chlipala <adamc@hcoop.net>
date Tue, 07 Apr 2009 12:24:31 -0400
parents 5bbb542243e8
children 9864b64b1700
rev   line source
adamc@436 1 #include <time.h>
adamc@436 2
adamc@311 3 typedef long long uw_Basis_int;
adamc@311 4 typedef double uw_Basis_float;
adamc@311 5 typedef char* uw_Basis_string;
adamc@436 6 typedef time_t uw_Basis_time;
adamc@102 7
adamc@311 8 struct __uws_0 {
adamc@102 9 };
adamc@102 10
adamc@311 11 typedef struct __uws_0 uw_unit;
adamc@311 12 typedef uw_unit uw_Basis_unit;
adamc@117 13
adamc@311 14 typedef enum uw_Basis_bool { uw_Basis_False, uw_Basis_True } uw_Basis_bool;
adamc@186 15
adamc@311 16 typedef struct uw_context *uw_context;
adamc@117 17
adamc@311 18 typedef uw_Basis_string uw_Basis_xhtml;
adamc@311 19 typedef uw_Basis_string uw_Basis_page;
adamc@682 20
adamc@682 21 typedef unsigned uw_Basis_client;
adamc@682 22 typedef struct {
adamc@682 23 unsigned cli, chn;
adamc@682 24 } uw_Basis_channel;
adamc@167 25
adamc@167 26
adamc@167 27 typedef enum { SUCCESS, FATAL, BOUNDED_RETRY, UNLIMITED_RETRY } failure_kind;
adamc@295 28
adamc@295 29
adamc@295 30 #define INTS_MAX 50
adamc@295 31 #define FLOATS_MAX 100
adamc@436 32 #define TIMES_MAX 100
adamc@668 33