annotate include/types.h @ 1445:6e6f1643c4e9

To generate server-side source JavaScript, try both the old and new strategies; remove an unsound optimization from MonoOpt and make MonoReduce work harder to compensate
author Adam Chlipala <adam@chlipala.net>
date Mon, 28 Mar 2011 10:37:49 -0400
parents 4a6f84092399
children 36f7d1debb37
rev   line source
adamc@764 1 #ifndef URWEB_TYPES_H
adamc@764 2 #define URWEB_TYPES_H
adamc@764 3
adamc@436 4 #include <time.h>
adamc@914 5 #include <unistd.h>
adamc@1115 6 #include <stdint.h>
adamc@436 7
adamc@311 8 typedef long long uw_Basis_int;
adamc@311 9 typedef double uw_Basis_float;
adamc@311 10 typedef char* uw_Basis_string;
adamc@821 11 typedef char uw_Basis_char;
adam@1365 12 typedef struct {
adam@1365 13 time_t seconds;
adam@1365 14 unsigned microseconds;
adam@1365 15 } uw_Basis_time;
adamc@737 16 typedef struct {
adamc@737 17 size_t size;
adamc@737 18 char *data;
adamc@737 19 } uw_Basis_blob;
adamc@102 20
adam@1431 21 typedef int uw_unit;
adamc@311 22 typedef uw_unit uw_Basis_unit;
adamc@117 23
adamc@311 24 typedef enum uw_Basis_bool { uw_Basis_False, uw_Basis_True } uw_Basis_bool;
adamc@186 25
adamc@311 26 typedef struct uw_context *uw_context;
adamc@117 27
adamc@311 28 typedef uw_Basis_string uw_Basis_xhtml;
adamc@311 29 typedef uw_Basis_string uw_Basis_page;
adamc@757 30 typedef uw_Basis_string uw_Basis_xbody;
adamc@721 31 typedef uw_Basis_string uw_Basis_css_class;
adamc@682 32
adamc@682 33 typedef unsigned uw_Basis_client;
adamc@682 34 typedef struct {
adamc@682 35 unsigned cli, chn;
adamc@682 36 } uw_Basis_channel;
adamc@167 37
adamc@737 38 typedef struct uw_Basis_file {
adamc@740 39 uw_Basis_string name, type;
adamc@737 40 uw_Basis_blob data;
adamc@737 41 } uw_Basis_file;
adamc@737 42
adam@1347 43 typedef struct uw_Basis_postBody {
adam@1347 44 uw_Basis_string type, data;
adam@1347 45 } uw_Basis_postBody;
adam@1347 46
adam@1370 47 typedef uw_Basis_string uw_Basis_queryString;
adam@1370 48
adamc@1065 49 typedef enum { SUCCESS, FATAL, BOUNDED_RETRY, UNLIMITED_RETRY, RETURN_INDIRECTLY } failure_kind;
adamc@295 50
adamc@853 51 typedef enum { SERVED, KEEP_OPEN, FAILED } request_result;
adamc@853 52
adamc@756 53 typedef struct input *uw_input;
adamc@295 54
adamc@295 55 #define INTS_MAX 50
adamc@295 56 #define FLOATS_MAX 100
adamc@436 57 #define TIMES_MAX 100
adamc@668 58
adamc@771 59 typedef void (*uw_callback)(void *);
adam@1327 60 typedef void (*uw_callback_with_retry)(void *, int will_retry);
adamc@856 61 typedef void (*uw_logger)(void*, const char *fmt, ...);
adamc@771 62
adamc@1094 63 typedef struct {
adam@1349 64 void (*callback)(uw_context);
adam@1349 65 unsigned int period;
adam@1349 66 } uw_periodic;
adam@1349 67
adam@1349 68 typedef struct {
adamc@1094 69 int inputs_len, timeout;
adamc@1094 70 char *url_prefix;
adamc@1094 71
adamc@1094 72 void (*client_init)();
adamc@1094 73 void (*initializer)(uw_context);
adamc@1094 74 void (*expunger)(uw_context, uw_Basis_client);
adamc@1094 75
adamc@1094 76 void (*db_init)(uw_context);
adamc@1094 77 int (*db_begin)(uw_context);
adamc@1094 78 int (*db_commit)(uw_context);
adamc@1094 79 int (*db_rollback)(uw_context);
adamc@1094 80 void (*db_close)(uw_context);
adamc@1094 81
adamc@1094 82 void (*handle)(uw_context, char *);
adamc@1094 83
adamc@1094 84 int (*input_num)(const char*);
adamc@1094 85 uw_Basis_string (*cookie_sig)(uw_context);
adamc@1094 86 int (*check_url)(const char *);
adamc@1094 87 int (*check_mime)(const char *);
adam@1294 88
adam@1294 89 void (*on_error)(uw_context, char *);
adam@1349 90
adam@1349 91 uw_periodic *periodics; // 0-terminated array
adamc@1094 92 } uw_app;
adamc@1094 93
adam@1294 94 #define ERROR_BUF_LEN 1024
adam@1294 95
adam@1369 96 typedef struct {
adam@1369 97 size_t max;
adam@1369 98 char *start, *front, *back;
adam@1369 99 } uw_buffer;
adam@1369 100
adamc@764 101 #endif