Mercurial > urweb

annotate include/urweb.h @ 1369:1a78ca089bd0

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
Expose buffer type for other C libraries; replace minusSeconds with addSeconds
author Adam Chlipala <adam@chlipala.net>
date Sun, 26 Dec 2010 15:52:56 -0500
parents b02cb9da5686
children 44a12a321150
rev   line source
adamc@764 1 #ifndef URWEB_H
adamc@764 2 #define URWEB_H
adamc@764 3
adamc@117 4 #include <sys/types.h>
adamc@117 5
adamc@102 6 #include "types.h"
adamc@102 7
adamc@863 8 int uw_really_send(int sock, const void *buf, ssize_t len);
adamc@1083 9 int uw_really_write(int fd, const void *buf, size_t len);
adamc@117 10
adamc@311 11 extern uw_unit uw_unit_v;
adamc@102 12
adamc@667 13 void uw_global_init(void);
adamc@1094 14 void uw_app_init(uw_app*);
adamc@667 15
adamc@863 16 void uw_client_connect(unsigned id, int pass, int sock,
adamc@863 17 int (*send)(int sockfd, const void *buf, size_t len),
adamc@864 18 int (*close)(int fd),
adamc@864 19 void *logger_data, uw_logger log_error);
adamc@683 20 void uw_prune_clients(uw_context);
adamc@687 21 failure_kind uw_initialize(uw_context);
adamc@667 22
adam@1334 23 uw_context uw_init(void *logger_data, uw_logger log_debug);
adamc@1118 24 void uw_close(uw_context);
adamc@1113 25 int uw_set_app(uw_context, uw_app*);
adamc@1121 26 uw_app *uw_get_app(uw_context);
adamc@311 27 void uw_set_db(uw_context, void*);
adamc@311 28 void *uw_get_db(uw_context);
adamc@311 29 void uw_free(uw_context);
adamc@311 30 void uw_reset(uw_context);
adamc@311 31 void uw_reset_keep_request(uw_context);
adamc@311 32 void uw_reset_keep_error_message(uw_context);
adamc@1094 33 const char *uw_get_url_prefix(uw_context);
adamc@272 34
adamc@311 35 failure_kind uw_begin_init(uw_context);
adamc@856 36 void uw_set_on_success(char *);
adamc@854 37 void uw_set_headers(uw_context, char *(*get_header)(void *, const char *), void *get_header_data);
adamc@458 38 failure_kind uw_begin(uw_context, char *path);
adam@1294 39 failure_kind uw_begin_onError(uw_context, char *msg);
adamc@682 40 void uw_login(uw_context);
adamc@671 41 void uw_commit(uw_context);
adam@1327 42 int uw_rollback(uw_context, int will_retry);
adamc@167 43
adamc@311 44 __attribute__((noreturn)) void uw_error(uw_context, failure_kind, const char *fmt, ...);
adamc@311 45 char *uw_error_message(uw_context);
adamc@1131 46 void uw_set_error_message(uw_context, const char *fmt, ...);
adam@1295 47 uw_Basis_string uw_dup_and_clear_error_message(uw_context);
adamc@1131 48 int uw_has_error(uw_context);
adamc@425 49 void uw_push_cleanup(uw_context, void (*func)(void *), void *arg);
adamc@425 50 void uw_pop_cleanup(uw_context);
adamc@167 51
adamc@311 52 void *uw_malloc(uw_context, size_t);
adamc@323 53 void uw_begin_region(uw_context);
adamc@323 54 void uw_end_region(uw_context);
adamc@324 55 void uw_memstats(uw_context);
adamc@323 56
adamc@311 57 int uw_send(uw_context, int sock);
adamc@856 58 int uw_print(uw_context, int fd);
adamc@863 59 int uw_output(uw_context ctx, int (*output)(void *data, const char *buf, size_t len), void *data);
adamc@117 60
adamc@801 61 int uw_set_input(uw_context, const char *name, char *value);
adamc@801 62 int uw_set_file_input(uw_context, char *name, uw_Basis_file);
adamc@756 63
adamc@311 64 char *uw_get_input(uw_context, int name);
adamc@311 65 char *uw_get_optional_input(uw_context, int name);
adamc@739 66 uw_Basis_file uw_get_file_input(uw_context, int name);
adamc@756 67 void uw_enter_subform(uw_context, int name);
adamc@756 68 void uw_leave_subform(uw_context);
adamc@759 69 int uw_enter_subforms(uw_context, int name);
adamc@759 70 int uw_next_entry(uw_context);
adamc@737 71
adamc@311 72 void uw_write(uw_context, const char*);
adamc@106 73
adamc@577 74 uw_Basis_int uw_Basis_new_client_source(uw_context, uw_Basis_string);
adamc@577 75 uw_unit uw_Basis_set_client_source(uw_context, uw_Basis_int, uw_Basis_string);
adamc@577 76
adamc@643 77 void uw_set_script_header(uw_context, const char*);
adamc@694 78 const char *uw_Basis_get_settings(uw_context, uw_unit);
adamc@645 79 const char *uw_Basis_get_script(uw_context, uw_unit);
adamc@562 80
adamc@695 81 uw_Basis_string uw_Basis_maybe_onload(uw_context, uw_Basis_string);
adamc@1042 82 uw_Basis_string uw_Basis_maybe_onunload(uw_context, uw_Basis_string);
adamc@695 83
adamc@693 84 void uw_set_needs_push(uw_context, int);
adamc@736 85 void uw_set_needs_sig(uw_context, int);
adamc@693 86
adamc@311 87 char *uw_Basis_htmlifyInt(uw_context, uw_Basis_int);
adamc@311 88 char *uw_Basis_htmlifyFloat(uw_context, uw_Basis_float);
adamc@311 89 char *uw_Basis_htmlifyString(uw_context, uw_Basis_string);
adamc@311 90 char *uw_Basis_htmlifyBool(uw_context, uw_Basis_bool);
adamc@436 91 char *uw_Basis_htmlifyTime(uw_context, uw_Basis_time);
adam@1358 92 char *uw_Basis_htmlifySpecialChar(uw_context, unsigned char);
adamc@120 93
adamc@425 94 uw_unit uw_Basis_htmlifyInt_w(uw_context, uw_Basis_int);
adamc@425 95 uw_unit uw_Basis_htmlifyFloat_w(uw_context, uw_Basis_float);
adamc@425 96 uw_unit uw_Basis_htmlifyString_w(uw_context, uw_Basis_string);
adamc@425 97 uw_unit uw_Basis_htmlifyBool_w(uw_context, uw_Basis_bool);
adamc@436 98 uw_unit uw_Basis_htmlifyTime_w(uw_context, uw_Basis_time);
adam@1358 99 uw_unit uw_Basis_htmlifySpecialChar_w(uw_context, unsigned char);
adamc@135 100
adamc@311 101 char *uw_Basis_attrifyInt(uw_context, uw_Basis_int);
adamc@311 102 char *uw_Basis_attrifyFloat(uw_context, uw_Basis_float);
adamc@311 103 char *uw_Basis_attrifyString(uw_context, uw_Basis_string);
adamc@1011 104 char *uw_Basis_attrifyChar(uw_context, uw_Basis_char);
adamc@682 105 char *uw_Basis_attrifyTime(uw_context, uw_Basis_time);
adamc@678 106 char *uw_Basis_attrifyChannel(uw_context, uw_Basis_channel);
adamc@682 107 char *uw_Basis_attrifyClient(uw_context, uw_Basis_client);
adamc@721 108 char *uw_Basis_attrifyCss_class(uw_context, uw_Basis_css_class);
adamc@117 109
adamc@425 110 uw_unit uw_Basis_attrifyInt_w(uw_context, uw_Basis_int);
adamc@425 111 uw_unit uw_Basis_attrifyFloat_w(uw_context, uw_Basis_float);
adamc@425 112 uw_unit uw_Basis_attrifyString_w(uw_context, uw_Basis_string);
adamc@1011 113 uw_unit uw_Basis_attrifyChar_w(uw_context, uw_Basis_char);
adamc@120 114
adamc@311 115 char *uw_Basis_urlifyInt(uw_context, uw_Basis_int);
adamc@311 116 char *uw_Basis_urlifyFloat(uw_context, uw_Basis_float);
adamc@311 117 char *uw_Basis_urlifyString(uw_context, uw_Basis_string);
adamc@311 118 char *uw_Basis_urlifyBool(uw_context, uw_Basis_bool);
adamc@488 119 char *uw_Basis_urlifyTime(uw_context, uw_Basis_time);
adamc@679 120 char *uw_Basis_urlifyChannel(uw_context, uw_Basis_channel);
adamc@120 121
adamc@425 122 uw_unit uw_Basis_urlifyInt_w(uw_context, uw_Basis_int);
adamc@425 123 uw_unit uw_Basis_urlifyFloat_w(uw_context, uw_Basis_float);
adamc@425 124 uw_unit uw_Basis_urlifyString_w(uw_context, uw_Basis_string);
adamc@425 125 uw_unit uw_Basis_urlifyBool_w(uw_context, uw_Basis_bool);
adamc@679 126 uw_unit uw_Basis_urlifyChannel_w(uw_context, uw_Basis_channel);
adamc@120 127
adamc@1109 128 uw_Basis_unit uw_Basis_unurlifyUnit(uw_context ctx, char **s);
adamc@311 129 uw_Basis_int uw_Basis_unurlifyInt(uw_context, char **);
adamc@311 130 uw_Basis_float uw_Basis_unurlifyFloat(uw_context, char **);
adamc@311 131 uw_Basis_string uw_Basis_unurlifyString(uw_context, char **);
adamc@1023 132 uw_Basis_string uw_Basis_unurlifyString_fromClient(uw_context, char **);
adamc@311 133 uw_Basis_bool uw_Basis_unurlifyBool(uw_context, char **);
adamc@488 134 uw_Basis_time uw_Basis_unurlifyTime(uw_context, char **);
adamc@180 135
adamc@828 136 uw_Basis_int uw_Basis_strlen(uw_context, const char *);
adamc@821 137 uw_Basis_char uw_Basis_strsub(uw_context, const char *, uw_Basis_int);
adamc@821 138 uw_Basis_string uw_Basis_strsuffix(uw_context, const char *, uw_Basis_int);
adamc@648 139 uw_Basis_string uw_Basis_strcat(uw_context, const char *, const char *);
adamc@922 140 uw_Basis_string uw_Basis_mstrcat(uw_context ctx, ...);
adamc@829 141 uw_Basis_int *uw_Basis_strindex(uw_context, const char *, uw_Basis_char);
adamc@829 142 uw_Basis_string uw_Basis_strchr(uw_context, const char *, uw_Basis_char);
adamc@831 143 uw_Basis_int uw_Basis_strcspn(uw_context, const char *, const char *);
adamc@829 144 uw_Basis_string uw_Basis_substring(uw_context, const char *, uw_Basis_int, uw_Basis_int);
adamc@1023 145 uw_Basis_string uw_Basis_str1(uw_context, uw_Basis_char);
adamc@829 146
adamc@737 147 uw_Basis_string uw_strdup(uw_context, const char *);
adamc@737 148 uw_Basis_string uw_maybe_strdup(uw_context, const char *);
adamc@742 149 char *uw_memdup(uw_context, const char *, size_t);
adamc@280 150
adamc@311 151 uw_Basis_string uw_Basis_sqlifyInt(uw_context, uw_Basis_int);
adamc@311 152 uw_Basis_string uw_Basis_sqlifyFloat(uw_context, uw_Basis_float);
adamc@311 153 uw_Basis_string uw_Basis_sqlifyString(uw_context, uw_Basis_string);
adamc@1011 154 uw_Basis_string uw_Basis_sqlifyChar(uw_context, uw_Basis_char);
adamc@311 155 uw_Basis_string uw_Basis_sqlifyBool(uw_context, uw_Basis_bool);
adamc@439 156 uw_Basis_string uw_Basis_sqlifyTime(uw_context, uw_Basis_time);
adamc@737 157 uw_Basis_string uw_Basis_sqlifyBlob(uw_context, uw_Basis_blob);
adamc@678 158 uw_Basis_string uw_Basis_sqlifyChannel(uw_context, uw_Basis_channel);
adamc@682 159 uw_Basis_string uw_Basis_sqlifyClient(uw_context, uw_Basis_client);
adamc@282 160
adamc@467 161 uw_Basis_string uw_Basis_sqlifyIntN(uw_context, uw_Basis_int*);
adamc@467 162 uw_Basis_string uw_Basis_sqlifyFloatN(uw_context, uw_Basis_float*);
adamc@467 163 uw_Basis_string uw_Basis_sqlifyStringN(uw_context, uw_Basis_string);
adamc@467 164 uw_Basis_string uw_Basis_sqlifyBoolN(uw_context, uw_Basis_bool*);
adamc@467 165 uw_Basis_string uw_Basis_sqlifyTimeN(uw_context, uw_Basis_time*);
adamc@467 166
adamc@311 167 char *uw_Basis_ensqlBool(uw_Basis_bool);
adam@1364 168 char *uw_Basis_ensqlTime(uw_context ctx, uw_Basis_time);
adamc@284 169
adamc@566 170 char *uw_Basis_jsifyString(uw_context, uw_Basis_string);
adamc@1025 171 char *uw_Basis_jsifyChar(uw_context, uw_Basis_char);
adamc@682 172 char *uw_Basis_jsifyChannel(uw_context, uw_Basis_channel);
adam@1360 173 char *uw_Basis_jsifyTime(uw_context, uw_Basis_time);
adamc@566 174
adamc@311 175 uw_Basis_string uw_Basis_intToString(uw_context, uw_Basis_int);
adamc@311 176 uw_Basis_string uw_Basis_floatToString(uw_context, uw_Basis_float);
adamc@821 177 uw_Basis_string uw_Basis_charToString(uw_context, uw_Basis_char);
adamc@311 178 uw_Basis_string uw_Basis_boolToString(uw_context, uw_Basis_bool);
adamc@436 179 uw_Basis_string uw_Basis_timeToString(uw_context, uw_Basis_time);
adamc@288 180
adamc@311 181 uw_Basis_int *uw_Basis_stringToInt(uw_context, uw_Basis_string);
adamc@311 182 uw_Basis_float *uw_Basis_stringToFloat(uw_context, uw_Basis_string);
adamc@821 183 uw_Basis_char *uw_Basis_stringToChar(uw_context, uw_Basis_string);
adamc@311 184 uw_Basis_bool *uw_Basis_stringToBool(uw_context, uw_Basis_string);
adamc@887 185 uw_Basis_time *uw_Basis_stringToTime(uw_context, const char *);
adamc@292 186
adamc@311 187 uw_Basis_int uw_Basis_stringToInt_error(uw_context, uw_Basis_string);
adamc@311 188 uw_Basis_float uw_Basis_stringToFloat_error(uw_context, uw_Basis_string);
adamc@821 189 uw_Basis_char uw_Basis_stringToChar_error(uw_context, uw_Basis_string);
adamc@311 190 uw_Basis_bool uw_Basis_stringToBool_error(uw_context, uw_Basis_string);
adamc@887 191 uw_Basis_time uw_Basis_stringToTime_error(uw_context, const char *);
adamc@742 192 uw_Basis_blob uw_Basis_stringToBlob_error(uw_context, uw_Basis_string, size_t);
adamc@678 193 uw_Basis_channel uw_Basis_stringToChannel_error(uw_context, uw_Basis_string);
adamc@682 194 uw_Basis_client uw_Basis_stringToClient_error(uw_context, uw_Basis_string);
adamc@457 195
adamc@939 196 uw_Basis_time uw_Basis_unsqlTime(uw_context, uw_Basis_string);
adamc@939 197
adamc@457 198 uw_Basis_string uw_Basis_requestHeader(uw_context, uw_Basis_string);
adamc@462 199
adamc@462 200 void uw_write_header(uw_context, uw_Basis_string);
adamc@1110 201 void uw_clear_headers(uw_context);
adamc@463 202
adamc@466 203 uw_Basis_string uw_Basis_get_cookie(uw_context, uw_Basis_string c);
adamc@1050 204 uw_unit uw_Basis_set_cookie(uw_context, uw_Basis_string prefix, uw_Basis_string c, uw_Basis_string v, uw_Basis_time *expires, uw_Basis_bool secure);
adamc@1050 205 uw_unit uw_Basis_clear_cookie(uw_context, uw_Basis_string prefix, uw_Basis_string c);
adamc@668 206
adamc@668 207 uw_Basis_channel uw_Basis_new_channel(uw_context, uw_unit);
adamc@668 208 uw_unit uw_Basis_send(uw_context, uw_Basis_channel, uw_Basis_string);
adamc@682 209
adamc@772 210 uw_Basis_client uw_Basis_self(uw_context);
adamc@717 211
adamc@717 212 uw_Basis_string uw_Basis_bless(uw_context, uw_Basis_string);
adamc@741 213 uw_Basis_string uw_Basis_blessMime(uw_context, uw_Basis_string);
adamc@734 214
adamc@770 215 uw_Basis_string uw_Basis_checkUrl(uw_context, uw_Basis_string);
adamc@770 216 uw_Basis_string uw_Basis_checkMime(uw_context, uw_Basis_string);
adamc@770 217
adamc@734 218 uw_Basis_string uw_unnull(uw_Basis_string);
adamc@734 219 uw_Basis_string uw_Basis_makeSigString(uw_context, uw_Basis_string);
adamc@734 220 uw_Basis_string uw_Basis_sigString(uw_context, uw_unit);
adamc@737 221
adamc@737 222 uw_Basis_string uw_Basis_fileName(uw_context, uw_Basis_file);
adamc@740 223 uw_Basis_string uw_Basis_fileMimeType(uw_context, uw_Basis_file);
adamc@737 224 uw_Basis_blob uw_Basis_fileData(uw_context, uw_Basis_file);
adamc@745 225 uw_Basis_int uw_Basis_blobSize(uw_context, uw_Basis_blob);
adamc@1119 226 uw_Basis_blob uw_Basis_textBlob(uw_context, uw_Basis_string);
adamc@739 227
adam@1347 228 uw_Basis_string uw_Basis_postType(uw_context, uw_Basis_postBody);
adam@1347 229 uw_Basis_string uw_Basis_postData(uw_context, uw_Basis_postBody);
adam@1347 230 void uw_noPostBody(uw_context);
adam@1347 231 void uw_postBody(uw_context, uw_Basis_postBody);
adam@1347 232 int uw_hasPostBody(uw_context);
adam@1347 233 uw_Basis_postBody uw_getPostBody(uw_context);
adam@1347 234
adamc@741 235 __attribute__((noreturn)) void uw_return_blob(uw_context, uw_Basis_blob, uw_Basis_string mimeType);
adamc@1065 236 __attribute__((noreturn)) void uw_redirect(uw_context, uw_Basis_string url);
adamc@764 237
adamc@1006 238 uw_Basis_time uw_Basis_now(uw_context);
adam@1369 239 uw_Basis_time uw_Basis_addSeconds(uw_context, uw_Basis_time, uw_Basis_int);
adamc@1050 240 extern const uw_Basis_time uw_Basis_minTime;
adamc@1006 241
adam@1327 242 void uw_register_transactional(uw_context, void *data, uw_callback commit, uw_callback rollback, uw_callback_with_retry free);
adamc@771 243
adamc@832 244 void uw_check_heap(uw_context, size_t extra);
adamc@832 245 char *uw_heap_front(uw_context);
adamc@832 246 void uw_set_heap_front(uw_context, char*);
adamc@832 247
adamc@874 248 uw_Basis_string uw_Basis_unAs(uw_context, uw_Basis_string);
adamc@874 249
adamc@879 250 extern char *uw_sqlfmtInt;
adamc@879 251 extern char *uw_sqlfmtFloat;
adamc@879 252 extern int uw_Estrings;
adamc@879 253 extern char *uw_sqlsuffixString;
adamc@1011 254 extern char *uw_sqlsuffixChar;
adamc@879 255 extern char *uw_sqlsuffixBlob;
adamc@879 256 extern char *uw_sqlfmtUint4;
adamc@879 257
adamc@1061 258 void *uw_get_global(uw_context, char *name);
adamc@1085 259 void uw_set_global(uw_context, char *name, void *data, uw_callback free);
adamc@1061 260
adamc@1061 261 uw_Basis_bool uw_Basis_isalnum(uw_context, uw_Basis_char);
adamc@1061 262 uw_Basis_bool uw_Basis_isalpha(uw_context, uw_Basis_char);
adamc@1061 263 uw_Basis_bool uw_Basis_isblank(uw_context, uw_Basis_char);
adamc@1061 264 uw_Basis_bool uw_Basis_iscntrl(uw_context, uw_Basis_char);
adamc@1061 265 uw_Basis_bool uw_Basis_isdigit(uw_context, uw_Basis_char);
adamc@1061 266 uw_Basis_bool uw_Basis_isgraph(uw_context, uw_Basis_char);
adamc@1061 267 uw_Basis_bool uw_Basis_islower(uw_context, uw_Basis_char);
adamc@1061 268 uw_Basis_bool uw_Basis_isprint(uw_context, uw_Basis_char);
adamc@1061 269 uw_Basis_bool uw_Basis_ispunct(uw_context, uw_Basis_char);
adamc@1061 270 uw_Basis_bool uw_Basis_isspace(uw_context, uw_Basis_char);
adamc@1061 271 uw_Basis_bool uw_Basis_isupper(uw_context, uw_Basis_char);
adamc@1061 272 uw_Basis_bool uw_Basis_isxdigit(uw_context, uw_Basis_char);
adamc@1061 273 uw_Basis_char uw_Basis_tolower(uw_context, uw_Basis_char);
adamc@1061 274 uw_Basis_char uw_Basis_toupper(uw_context, uw_Basis_char);
adamc@1061 275
adamc@1128 276 uw_Basis_int uw_Basis_ord(uw_context, uw_Basis_char);
adamc@1128 277 uw_Basis_char uw_Basis_chr(uw_context, uw_Basis_int);
adamc@1128 278
adamc@1066 279 uw_Basis_string uw_Basis_currentUrl(uw_context);
adamc@1066 280 void uw_set_currentUrl(uw_context, char *);
adamc@1066 281
adamc@1113 282 extern size_t uw_messages_max, uw_clients_max, uw_headers_max, uw_page_max, uw_heap_max, uw_script_max;
adamc@1113 283 extern size_t uw_inputs_max, uw_cleanup_max, uw_subinputs_max, uw_deltas_max, uw_transactionals_max, uw_globals_max;
adamc@1113 284
adamc@1115 285 extern size_t uw_database_max;
adamc@1115 286
adamc@1114 287 extern int uw_time;
adamc@1114 288
adamc@1114 289 void uw_set_deadline(uw_context, int);
adamc@1114 290 void uw_check_deadline(uw_context);
adamc@1114 291
adamc@1120 292 uw_Basis_unit uw_Basis_debug(uw_context, uw_Basis_string);
adamc@1120 293
adamc@1121 294 void uw_set_client_data(uw_context, void *);
adamc@1121 295
adamc@1250 296 uw_Basis_int uw_Basis_rand(uw_context);
adamc@1250 297
adam@1332 298 extern int uw_time_max, uw_supports_direct_status, uw_min_heap;
adam@1320 299
adam@1349 300 failure_kind uw_runCallback(uw_context, void (*callback)(uw_context));
adam@1349 301
adam@1359 302 uw_Basis_string uw_Basis_timef(uw_context, const char *fmt, uw_Basis_time);
adam@1352 303 uw_Basis_time uw_Basis_stringToTimef(uw_context, const char *fmt, uw_Basis_string);
adam@1352 304 uw_Basis_time uw_Basis_stringToTimef_error(uw_context, const char *fmt, uw_Basis_string);
adam@1352 305
adam@1360 306 uw_Basis_string uw_Basis_crypt(uw_context, uw_Basis_string key, uw_Basis_string salt);
adam@1360 307
adam@1365 308 uw_Basis_bool uw_Basis_eq_time(uw_context, uw_Basis_time, uw_Basis_time);
adam@1365 309 uw_Basis_bool uw_Basis_lt_time(uw_context, uw_Basis_time, uw_Basis_time);
adam@1365 310 uw_Basis_bool uw_Basis_le_time(uw_context, uw_Basis_time, uw_Basis_time);
adam@1365 311
adam@1369 312 void uw_buffer_init(size_t max, uw_buffer *, size_t initial);
adam@1369 313 void uw_buffer_free(uw_buffer *);
adam@1369 314 void uw_buffer_reset(uw_buffer *);
adam@1369 315 int uw_buffer_check(uw_buffer *, size_t extra);
adam@1369 316 size_t uw_buffer_used(uw_buffer *);
adam@1369 317 size_t uw_buffer_avail(uw_buffer *);
adam@1369 318 int uw_buffer_append(uw_buffer *, const char *, size_t);
adam@1369 319
adamc@764 320 #endif