annotate include/urweb.h @ 636:de8333ef1a0c

Coq README
author Adam Chlipala <adamc@hcoop.net>
date Thu, 26 Feb 2009 13:56:54 -0500
parents 3d56940120b1
children aa2290c32ce2
rev   line source
adamc@117 1 #include <sys/types.h>
adamc@117 2
adamc@102 3 #include "types.h"
adamc@102 4
adamc@311 5 int uw_really_send(int sock, void *buf, ssize_t len);
adamc@117 6
adamc@311 7 extern uw_unit uw_unit_v;
adamc@102 8
adamc@562 9 uw_context uw_init(size_t outHeaders_len, size_t script_len, size_t page_len, size_t heap_len);
adamc@311 10 void uw_set_db(uw_context, void*);
adamc@311 11 void *uw_get_db(uw_context);
adamc@311 12 void uw_free(uw_context);
adamc@311 13 void uw_reset(uw_context);
adamc@311 14 void uw_reset_keep_request(uw_context);
adamc@311 15 void uw_reset_keep_error_message(uw_context);
adamc@272 16
adamc@311 17 failure_kind uw_begin_init(uw_context);
adamc@458 18 void uw_set_headers(uw_context, char *headers);
adamc@458 19 failure_kind uw_begin(uw_context, char *path);
adamc@167 20
adamc@311 21 __attribute__((noreturn)) void uw_error(uw_context, failure_kind, const char *fmt, ...);
adamc@311 22 char *uw_error_message(uw_context);
adamc@425 23 void uw_push_cleanup(uw_context, void (*func)(void *), void *arg);
adamc@425 24 void uw_pop_cleanup(uw_context);
adamc@167 25
adamc@311 26 void *uw_malloc(uw_context, size_t);
adamc@323 27 void uw_begin_region(uw_context);
adamc@323 28 void uw_end_region(uw_context);
adamc@324 29 void uw_memstats(uw_context);
adamc@323 30
adamc@311 31 int uw_send(uw_context, int sock);
adamc@117 32
adamc@311 33 void uw_set_input(uw_context, char *name, char *value);
adamc@311 34 char *uw_get_input(uw_context, int name);
adamc@311 35 char *uw_get_optional_input(uw_context, int name);
adamc@144 36
adamc@311 37 void uw_write(uw_context, const char*);
adamc@106 38
adamc@577 39 uw_Basis_int uw_Basis_new_client_source(uw_context, uw_Basis_string);
adamc@577 40 uw_unit uw_Basis_set_client_source(uw_context, uw_Basis_int, uw_Basis_string);
adamc@577 41
adamc@565 42 char *uw_Basis_get_script(uw_context, uw_unit);
adamc@562 43
adamc@311 44 char *uw_Basis_htmlifyInt(uw_context, uw_Basis_int);
adamc@311 45 char *uw_Basis_htmlifyFloat(uw_context, uw_Basis_float);
adamc@311 46 char *uw_Basis_htmlifyString(uw_context, uw_Basis_string);
adamc@311 47 char *uw_Basis_htmlifyBool(uw_context, uw_Basis_bool);
adamc@436 48 char *uw_Basis_htmlifyTime(uw_context, uw_Basis_time);
adamc@120 49
adamc@425 50 uw_unit uw_Basis_htmlifyInt_w(uw_context, uw_Basis_int);
adamc@425 51 uw_unit uw_Basis_htmlifyFloat_w(uw_context, uw_Basis_float);
adamc@425 52 uw_unit uw_Basis_htmlifyString_w(uw_context, uw_Basis_string);
adamc@425 53 uw_unit uw_Basis_htmlifyBool_w(uw_context, uw_Basis_bool);
adamc@436 54 uw_unit uw_Basis_htmlifyTime_w(uw_context, uw_Basis_time);
adamc@135 55
adamc@311 56 char *uw_Basis_attrifyInt(uw_context, uw_Basis_int);
adamc@311 57 char *uw_Basis_attrifyFloat(uw_context, uw_Basis_float);
adamc@311 58 char *uw_Basis_attrifyString(uw_context, uw_Basis_string);
adamc@117 59
adamc@425 60 uw_unit uw_Basis_attrifyInt_w(uw_context, uw_Basis_int);
adamc@425 61 uw_unit uw_Basis_attrifyFloat_w(uw_context, uw_Basis_float);
adamc@425 62 uw_unit uw_Basis_attrifyString_w(uw_context, uw_Basis_string);
adamc@120 63
adamc@311 64 char *uw_Basis_urlifyInt(uw_context, uw_Basis_int);
adamc@311 65 char *uw_Basis_urlifyFloat(uw_context, uw_Basis_float);
adamc@311 66 char *uw_Basis_urlifyString(uw_context, uw_Basis_string);
adamc@311 67 char *uw_Basis_urlifyBool(uw_context, uw_Basis_bool);
adamc@488 68 char *uw_Basis_urlifyTime(uw_context, uw_Basis_time);
adamc@120 69
adamc@425 70 uw_unit uw_Basis_urlifyInt_w(uw_context, uw_Basis_int);
adamc@425 71 uw_unit uw_Basis_urlifyFloat_w(uw_context, uw_Basis_float);
adamc@425 72 uw_unit uw_Basis_urlifyString_w(uw_context, uw_Basis_string);
adamc@425 73 uw_unit uw_Basis_urlifyBool_w(uw_context, uw_Basis_bool);
adamc@120 74
adamc@311 75 uw_Basis_int uw_Basis_unurlifyInt(uw_context, char **);
adamc@311 76 uw_Basis_float uw_Basis_unurlifyFloat(uw_context, char **);
adamc@311 77 uw_Basis_string uw_Basis_unurlifyString(uw_context, char **);
adamc@311 78 uw_Basis_bool uw_Basis_unurlifyBool(uw_context, char **);
adamc@488 79 uw_Basis_time uw_Basis_unurlifyTime(uw_context, char **);
adamc@180 80
adamc@311 81 uw_Basis_string uw_Basis_strcat(uw_context, uw_Basis_string, uw_Basis_string);
adamc@311 82 uw_Basis_string uw_Basis_strdup(uw_context, uw_Basis_string);
adamc@493 83 uw_Basis_string uw_Basis_maybe_strdup(uw_context, uw_Basis_string);
adamc@280 84
adamc@311 85 uw_Basis_string uw_Basis_sqlifyInt(uw_context, uw_Basis_int);
adamc@311 86 uw_Basis_string uw_Basis_sqlifyFloat(uw_context, uw_Basis_float);
adamc@311 87 uw_Basis_string uw_Basis_sqlifyString(uw_context, uw_Basis_string);
adamc@311 88 uw_Basis_string uw_Basis_sqlifyBool(uw_context, uw_Basis_bool);
adamc@439 89 uw_Basis_string uw_Basis_sqlifyTime(uw_context, uw_Basis_time);
adamc@282 90
adamc@467 91 uw_Basis_string uw_Basis_sqlifyIntN(uw_context, uw_Basis_int*);
adamc@467 92 uw_Basis_string uw_Basis_sqlifyFloatN(uw_context, uw_Basis_float*);
adamc@467 93 uw_Basis_string uw_Basis_sqlifyStringN(uw_context, uw_Basis_string);
adamc@467 94 uw_Basis_string uw_Basis_sqlifyBoolN(uw_context, uw_Basis_bool*);
adamc@467 95 uw_Basis_string uw_Basis_sqlifyTimeN(uw_context, uw_Basis_time*);
adamc@467 96
adamc@311 97 char *uw_Basis_ensqlBool(uw_Basis_bool);
adamc@284 98
adamc@566 99 char *uw_Basis_jsifyString(uw_context, uw_Basis_string);
adamc@566 100
adamc@311 101 uw_Basis_string uw_Basis_intToString(uw_context, uw_Basis_int);
adamc@311 102 uw_Basis_string uw_Basis_floatToString(uw_context, uw_Basis_float);
adamc@311 103 uw_Basis_string uw_Basis_boolToString(uw_context, uw_Basis_bool);
adamc@436 104 uw_Basis_string uw_Basis_timeToString(uw_context, uw_Basis_time);
adamc@288 105
adamc@311 106 uw_Basis_int *uw_Basis_stringToInt(uw_context, uw_Basis_string);
adamc@311 107 uw_Basis_float *uw_Basis_stringToFloat(uw_context, uw_Basis_string);
adamc@311 108 uw_Basis_bool *uw_Basis_stringToBool(uw_context, uw_Basis_string);
adamc@436 109 uw_Basis_time *uw_Basis_stringToTime(uw_context, uw_Basis_string);
adamc@292 110
adamc@311 111 uw_Basis_int uw_Basis_stringToInt_error(uw_context, uw_Basis_string);
adamc@311 112 uw_Basis_float uw_Basis_stringToFloat_error(uw_context, uw_Basis_string);
adamc@311 113 uw_Basis_bool uw_Basis_stringToBool_error(uw_context, uw_Basis_string);
adamc@436 114 uw_Basis_time uw_Basis_stringToTime_error(uw_context, uw_Basis_string);
adamc@457 115
adamc@457 116 uw_Basis_string uw_Basis_requestHeader(uw_context, uw_Basis_string);
adamc@462 117
adamc@462 118 void uw_write_header(uw_context, uw_Basis_string);
adamc@463 119
adamc@466 120 uw_Basis_string uw_Basis_get_cookie(uw_context, uw_Basis_string c);
adamc@466 121 uw_unit uw_Basis_set_cookie(uw_context, uw_Basis_string prefix, uw_Basis_string c, uw_Basis_string v);