annotate include/types.h @ 732:5819fb63c93a

Effectness analysis
author Adam Chlipala <adamc@hcoop.net>
date Thu, 16 Apr 2009 15:29:39 -0400
parents 9864b64b1700
children d049d31a1966
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@721 20 typedef uw_Basis_string uw_Basis_css_class;
adamc@682 21
adamc@682 22 typedef unsigned uw_Basis_client;
adamc@682 23 typedef struct {
adamc@682 24 unsigned cli, chn;
adamc@682 25 } uw_Basis_channel;
adamc@167 26
adamc@167 27
adamc@167 28 typedef enum { SUCCESS, FATAL, BOUNDED_RETRY, UNLIMITED_RETRY } failure_kind;
adamc@295 29
adamc@295 30
adamc@295 31 #define INTS_MAX 50
adamc@295 32 #define FLOATS_MAX 100
adamc@436 33 #define TIMES_MAX 100
adamc@668 34