Mercurial > urweb

annotate lib/js/urweb.js @ 2129:e0843b2a636d

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
Make flattening of reactive HTML trees iterative instead of recursive, to avoid stack overflows
author Adam Chlipala <adam@chlipala.net>
date Sun, 08 Mar 2015 11:12:28 -0400
parents 248e2b32954b
children e8863d9f8c59
rev   line source
adamc@1036 1 // Detect browser quirks that we should be aware of.
adamc@1036 2
adamc@1036 3 function needsDynPrefix() {
adamc@1260 4 var span = document.createElement("span");
adamc@1260 5 span.innerHTML = "<script>alert('test');</script>";
adamc@1260 6 var scripts = span.getElementsByTagName("script");
adamc@1260 7 return scripts.length == 0;
adamc@1036 8 }
adamc@1036 9
adamc@1036 10 var dynPrefix = needsDynPrefix() ? "<span style=\"display:none\">A</span>" : "";
adamc@1036 11
adamc@970 12 // Function versions of operators
adamc@970 13
adamc@970 14 function not(x) { return !x; }
adamc@970 15 function neg(x) { return -x; }
adamc@970 16
adamc@970 17 function eq(x, y) { return x == y; }
adamc@970 18 function plus(x, y) { return x + y; }
adamc@970 19 function minus(x, y) { return x - y; }
adamc@970 20 function times(x, y) { return x * y; }
adamc@970 21 function div(x, y) { return x / y; }
adam@1619 22 function divInt(x, y) { if (y == 0) er("Division by zero"); var n = x / y; return n < 0 ? Math.ceil(n) : Math.floor(n); }
adamc@970 23 function mod(x, y) { return x % y; }
adam@1619 24 function modInt(x, y) { if (y == 0) er("Division by zero"); var n = x % y; return n < 0 ? Math.ceil(n) : Math.floor(n); }
adamc@970 25 function lt(x, y) { return x < y; }
adamc@970 26 function le(x, y) { return x <= y; }
adamc@970 27
adamc@1061 28 // Characters
adamc@1061 29
adamc@1061 30 function isLower(c) { return c >= 'a' && c <= 'z'; }
adamc@1061 31 function isUpper(c) { return c >= 'A' && c <= 'Z'; }
adamc@1061 32 function isAlpha(c) { return isLower(c) || isUpper(c); }
adamc@1061 33 function isDigit(c) { return c >= '0' && c <= '9'; }
adamc@1061 34 function isAlnum(c) { return isAlpha(c) || isDigit(c); }
adamc@1061 35 function isBlank(c) { return c == ' ' || c == '\t'; }
adamc@1061 36 function isSpace(c) { return isBlank(c) || c == '\r' || c == '\n'; }
adamc@1061 37 function isXdigit(c) { return isDigit(c) || (c >= 'a' && c <= 'f') || (c >= 'A' && c <= 'F'); }
adam@1927 38 function ord(c) { return c.charCodeAt(0); }
adam@1927 39 function isPrint(c) { return ord(c) > 31 && ord(c) < 127; }
adamc@1177 40 function toLower(c) { return c.toLowerCase(); }
adamc@1177 41 function toUpper(c) { return c.toUpperCase(); }
adamc@1061 42
adamc@692 43 // Lists
adamc@692 44
adamc@580 45 function cons(v, ls) {
adamc@1260 46 return { next : ls, data : v };
adamc@690 47 }
adamc@969 48 function rev(ls) {
adamc@1260 49 var acc = null;
adamc@1260 50 for (; ls; ls = ls.next)
adam@1643 51 acc = cons(ls.data, acc);
adamc@1260 52 return acc;
adamc@969 53 }
adamc@690 54 function concat(ls1, ls2) {
adamc@1260 55 var acc = ls2;
adamc@1260 56 ls1 = rev(ls1);
adamc@1260 57 for (; ls1; ls1 = ls1.next)
adamc@1260 58 acc = cons(ls1.data, acc);
adamc@1260 59 return acc;
adamc@690 60 }
adamc@690 61 function member(x, ls) {
adamc@1260 62 for (; ls; ls = ls.next)
adamc@1260 63 if (ls.data == x)
adamc@1260 64 return true;
adamc@1260 65 return false;
adamc@690 66 }
adamc@690 67 function remove(x, ls) {
adamc@1260 68 var acc = null;
adamc@969 69
adamc@1260 70 for (; ls; ls = ls.next)
adamc@1260 71 if (ls.data == x)
adamc@1260 72 return concat(acc, ls.next);
adamc@1260 73 else
adamc@1260 74 acc = cons(ls.data, acc);
adamc@969 75
adamc@1260 76 return ls;
adamc@690 77 }
adamc@690 78 function union(ls1, ls2) {
adamc@1260 79 var acc = ls2;
adamc@969 80
adamc@1260 81 for (; ls1; ls1 = ls1.next)
adamc@1260 82 if (!member(ls1.data, ls2))
adamc@1260 83 acc = cons(ls1.data, acc);
adamc@969 84
adamc@1260 85 return acc;
adamc@580 86 }
adamc@703 87 function length(ls) {
adamc@1260 88 var acc = 0;
adamc@969 89
adamc@1260 90 for (; ls; ls = ls.next)
adamc@1260 91 ++acc;
adamc@969 92
adamc@1260 93 return acc;
adamc@703 94 }
adamc@670 95
adamc@690 96
adam@1571 97 // Floats
adam@1571 98
adam@1571 99 function float(n) {
adam@1571 100 return n;
adam@1571 101 }
adam@1571 102
adam@1571 103 function trunc(n) {
adam@1571 104 return ~~n;
adam@1571 105 }
adam@1571 106
adam@1571 107 function ceil(n) {
adam@1571 108 return Math.ceil(n);
adam@1571 109 }
adam@1571 110
adam@1571 111 function round(n) {
adam@1571 112 return Math.round(n);
adam@1571 113 }
adam@1571 114
adam@2110 115 function pow(n, m) {
adam@2110 116 return Math.pow(n, m);
adam@2110 117 }
adam@2110 118
adam@1571 119
adam@1599 120 // Time, represented as counts of microseconds since the epoch
adam@1487 121
adam@1629 122 var time_format = "%c";
adam@1629 123
adam@1487 124 function showTime(tm) {
adam@1629 125 return strftime(time_format, tm);
adam@1629 126 }
adam@1629 127
adam@1629 128 function showTimeHtml(tm) {
adam@1629 129 return eh(showTime(tm));
adam@1487 130 }
adam@1487 131
adam@1487 132 function now() {
adam@1487 133 return (new Date()).getTime() * 1000;
adam@1487 134 }
adam@1487 135
adam@1514 136 function diffInSeconds(tm1, tm2) {
adam@1514 137 return Math.round((tm2 - tm1) / 1000000);
adam@1514 138 }
adam@1514 139
adam@1685 140 function diffInMilliseconds(tm1, tm2) {
adam@1685 141 return Math.round((tm2 - tm1) / 1000);
adam@1685 142 }
adam@1685 143
adam@1514 144 function toSeconds(tm) {
adam@1514 145 return Math.round(tm / 1000000);
adam@1514 146 }
adam@1514 147
adam@1685 148 function toMilliseconds(tm) {
adam@1685 149 return Math.round(tm / 1000);
adam@1685 150 }
adam@1685 151
adam@1518 152 function addSeconds(tm, n) {
adam@1518 153 return tm + n * 1000000;
adam@1518 154 }
adam@1518 155
adam@1599 156 function stringToTime_error(string) {
adam@1599 157 var t = Date.parse(string);
adam@1599 158 if (isNaN(t))
adam@1632 159 er("Invalid date string: " + string);
adam@1599 160 else
adam@1599 161 return t * 1000;
adam@1599 162 }
adam@1599 163
adam@1599 164 function stringToTime(string) {
adam@1599 165 try {
adam@1599 166 var t = Date.parse(string);
adam@1599 167 if (isNaN(t))
adam@1599 168 return null;
adam@1599 169 else
adam@1599 170 return t * 1000;
adam@1599 171 } catch (e) {
adam@1599 172 return null;
adam@1599 173 }
rmbruijn@1597 174 }
rmbruijn@1597 175
adam@1609 176 /*
adam@1615 177 strftime() implementation from:
adam@1615 178 YUI 3.4.1 (build 4118)
adam@1615 179 Copyright 2011 Yahoo! Inc. All rights reserved.
adam@1615 180 Licensed under the BSD License.
adam@1615 181 http://yuilibrary.com/license/
adam@1615 182 */
adam@1609 183
adam@1615 184 var xPad=function (x, pad, r)
adam@1615 185 {
adam@1615 186 if(typeof r === "undefined")
adam@1615 187 {
adam@1615 188 r=10;
adam@1615 189 }
adam@1615 190 pad = pad.toString();
adam@1615 191 for( ; parseInt(x, 10)<r && r>1; r/=10) {
adam@1615 192 x = pad + x;
adam@1615 193 }
adam@1615 194 return x.toString();
adam@1615 195 };
adam@1609 196
adam@1615 197 var YDateEn = {
adam@1615 198 a: ["Sun", "Mon", "Tue", "Wed", "Thu", "Fri", "Sat"],
adam@1615 199 A: ["Sunday", "Monday", "Tuesday", "Wednesday", "Thursday", "Friday", "Saturday"],
adam@1615 200 b: ["Jan", "Feb", "Mar", "Apr", "May", "Jun", "Jul", "Aug", "Sep", "Oct", "Nov", "Dec"],
adam@1615 201 B: ["January", "February", "March", "April", "May", "June", "July", "August", "September", "October", "November", "December"],
adam@1615 202 c: "%a %d %b %Y %T %Z",
adam@1615 203 p: ["AM", "PM"],
adam@1615 204 P: ["am", "pm"],
adam@1615 205 r: "%I:%M:%S %p",
adam@1615 206 x: "%d/%m/%y",
adam@1615 207 X: "%T"
adam@1615 208 };
adam@1609 209
adam@1615 210 var Dt = {
adam@1615 211 formats: {
adam@1615 212 a: function (d, l) { return l.a[d.getDay()]; },
adam@1615 213 A: function (d, l) { return l.A[d.getDay()]; },
adam@1615 214 b: function (d, l) { return l.b[d.getMonth()]; },
adam@1615 215 B: function (d, l) { return l.B[d.getMonth()]; },
adam@1615 216 C: function (d) { return xPad(parseInt(d.getFullYear()/100, 10), 0); },
adam@1615 217 d: ["getDate", "0"],
adam@1615 218 e: ["getDate", " "],
adam@1615 219 g: function (d) { return xPad(parseInt(Dt.formats.G(d)%100, 10), 0); },
adam@1615 220 G: function (d) {
adam@1615 221 var y = d.getFullYear();
adam@1615 222 var V = parseInt(Dt.formats.V(d), 10);
adam@1615 223 var W = parseInt(Dt.formats.W(d), 10);
phurst@1986 224
adam@1615 225 if(W > V) {
adam@1615 226 y++;
adam@1615 227 } else if(W===0 && V>=52) {
adam@1615 228 y--;
adam@1615 229 }
phurst@1986 230
adam@1615 231 return y;
adam@1615 232 },
adam@1615 233 H: ["getHours", "0"],
adam@1615 234 I: function (d) { var I=d.getHours()%12; return xPad(I===0?12:I, 0); },
adam@1615 235 j: function (d) {
adam@1615 236 var gmd_1 = new Date("" + d.getFullYear() + "/1/1 GMT");
adam@1615 237 var gmdate = new Date("" + d.getFullYear() + "/" + (d.getMonth()+1) + "/" + d.getDate() + " GMT");
adam@1615 238 var ms = gmdate - gmd_1;
adam@1615 239 var doy = parseInt(ms/60000/60/24, 10)+1;
adam@1615 240 return xPad(doy, 0, 100);
adam@1615 241 },
adam@1615 242 k: ["getHours", " "],
adam@1615 243 l: function (d) { var I=d.getHours()%12; return xPad(I===0?12:I, " "); },
adam@1615 244 m: function (d) { return xPad(d.getMonth()+1, 0); },
adam@1615 245 M: ["getMinutes", "0"],
adam@1615 246 p: function (d, l) { return l.p[d.getHours() >= 12 ? 1 : 0 ]; },
adam@1615 247 P: function (d, l) { return l.P[d.getHours() >= 12 ? 1 : 0 ]; },
adam@1615 248 s: function (d, l) { return parseInt(d.getTime()/1000, 10); },
adam@1615 249 S: ["getSeconds", "0"],
adam@1615 250 u: function (d) { var dow = d.getDay(); return dow===0?7:dow; },
adam@1615 251 U: function (d) {
adam@1615 252 var doy = parseInt(Dt.formats.j(d), 10);
adam@1615 253 var rdow = 6-d.getDay();
adam@1615 254 var woy = parseInt((doy+rdow)/7, 10);
adam@1615 255 return xPad(woy, 0);
adam@1615 256 },
adam@1615 257 V: function (d) {
adam@1615 258 var woy = parseInt(Dt.formats.W(d), 10);
adam@1615 259 var dow1_1 = (new Date("" + d.getFullYear() + "/1/1")).getDay();
adam@1615 260 var idow = woy + (dow1_1 > 4 || dow1_1 <= 1 ? 0 : 1);
adam@1615 261 if(idow === 53 && (new Date("" + d.getFullYear() + "/12/31")).getDay() < 4)
adam@1615 262 {
adam@1615 263 idow = 1;
adam@1615 264 }
adam@1615 265 else if(idow === 0)
adam@1615 266 {
adam@1615 267 idow = Dt.formats.V(new Date("" + (d.getFullYear()-1) + "/12/31"));
adam@1615 268 }
phurst@1986 269
adam@1615 270 return xPad(idow, 0);
adam@1615 271 },
adam@1615 272 w: "getDay",
adam@1615 273 W: function (d) {
adam@1615 274 var doy = parseInt(Dt.formats.j(d), 10);
adam@1615 275 var rdow = 7-Dt.formats.u(d);
adam@1615 276 var woy = parseInt((doy+rdow)/7, 10);
adam@1615 277 return xPad(woy, 0, 10);
adam@1615 278 },
adam@1615 279 y: function (d) { return xPad(d.getFullYear()%100, 0); },
adam@1615 280 Y: "getFullYear",
adam@1615 281 z: function (d) {
adam@1615 282 var o = d.getTimezoneOffset();
adam@1615 283 var H = xPad(parseInt(Math.abs(o/60), 10), 0);
adam@1615 284 var M = xPad(Math.abs(o%60), 0);
adam@1615 285 return (o>0?"-":"+") + H + M;
adam@1615 286 },
adam@1615 287 Z: function (d) {
adam@1615 288 var tz = d.toString().replace(/^.*:\d\d( GMT[+-]\d+)? \(?([A-Za-z ]+)\)?\d*$/, "$2").replace(/[a-z ]/g, "");
adam@1615 289 if(tz.length > 4) {
adam@1615 290 tz = Dt.formats.z(d);
adam@1615 291 }
adam@1615 292 return tz;
adam@1615 293 },
adam@1615 294 "%": function (d) { return "%"; }
adam@1615 295 },
adam@1615 296
adam@1615 297 aggregates: {
adam@1615 298 c: "locale",
adam@1615 299 D: "%m/%d/%y",
adam@1615 300 F: "%Y-%m-%d",
adam@1615 301 h: "%b",
adam@1615 302 n: "\n",
adam@1615 303 r: "%I:%M:%S %p",
adam@1615 304 R: "%H:%M",
adam@1615 305 t: "\t",
adam@1615 306 T: "%H:%M:%S",
adam@1615 307 x: "locale",
adam@1615 308 X: "locale"
adam@1615 309 },
adam@1615 310
adam@1615 311 format : function (oDate, format) {
adam@1615 312 var replace_aggs = function (m0, m1) {
adam@1615 313 var f = Dt.aggregates[m1];
adam@1615 314 return (f === "locale" ? YDateEn[m1] : f);
adam@1615 315 };
adam@1615 316
adam@1615 317 var replace_formats = function (m0, m1) {
adam@1615 318 var f = Dt.formats[m1];
adam@1615 319 switch(typeof f) {
adam@1615 320 case "string":
adam@1615 321 return oDate[f]();
adam@1615 322 case "function":
adam@1615 323 return f.call(oDate, oDate, YDateEn);
adam@1615 324 case "array":
adam@1615 325 case "object":
adam@1615 326 if(typeof(f[0]) === "string")
adam@1615 327 return xPad(oDate[f[0]](), f[1]);
adam@1615 328 default:
adam@1615 329 return m1;
adam@1615 330 }
adam@1615 331 };
adam@1615 332
adam@1615 333 while(format.match(/%[cDFhnrRtTxX]/)) {
adam@1615 334 format = format.replace(/%([cDFhnrRtTxX])/g, replace_aggs);
adam@1609 335 }
adam@1615 336
adam@1615 337 var str = format.replace(/%([aAbBCdegGHIjklmMpPsSuUVwWyYzZ%])/g, replace_formats);
adam@1615 338
adam@1615 339 replace_aggs = replace_formats = undefined;
adam@1615 340
adam@1615 341 return str;
adam@1615 342 }
adam@1609 343 };
adam@1609 344
adam@1615 345 // End of YUI code
adam@1609 346
adam@1609 347 function strftime(fmt, thisTime)
adam@1609 348 {
adam@1609 349 var thisDate = new Date();
adam@1622 350 thisDate.setTime(Math.floor(thisTime / 1000));
adam@1615 351 return Dt.format(thisDate, fmt);
phurst@1986 352 };
phurst@1986 353
phurst@1986 354 function fromDatetime(year, month, date, hour, minute, second) {
phurst@1986 355 return (new Date(year, month, date, hour, minute, second)).getTime() * 1000;
phurst@1986 356 };
phurst@1986 357
phurst@1986 358 function datetimeYear(t) {
phurst@1986 359 return (new Date(t / 1000)).getYear() + 1900;
phurst@1986 360 };
phurst@1986 361
phurst@1986 362 function datetimeMonth(t) {
phurst@1986 363 return (new Date(t / 1000)).getMonth();
phurst@1986 364 };
phurst@1986 365
phurst@1986 366 function datetimeDay(t) {
phurst@1986 367 return (new Date(t / 1000)).getDate();
phurst@1986 368 };
phurst@1986 369
phurst@1986 370 function datetimeHour(t) {
phurst@1986 371 return (new Date(t / 1000)).getHours();
phurst@1986 372 };
phurst@1986 373
phurst@1986 374 function datetimeMinute(t) {
phurst@1986 375 return (new Date(t / 1000)).getMinutes();
phurst@1986 376 };
phurst@1986 377
phurst@1986 378 function datetimeSecond(t) {
phurst@1986 379 return (new Date(t / 1000)).getSeconds();
phurst@1986 380 };
phurst@1986 381
phurst@1986 382 function datetimeDayOfWeek(t) {
phurst@1986 383 return (new Date(t / 1000)).getDay();
phurst@1986 384 };
adam@1609 385
adam@1487 386
adamc@729 387 // Error handling
adamc@729 388
adam@1625 389 function uw_debug(msg) {
adam@1625 390 try {
adam@1625 391 console.debug(msg);
adam@1625 392 } catch (e) {
adam@1625 393 alert("DEBUG: " + msg);
adam@1625 394 }
adam@1625 395
adam@1625 396 return 0;
adam@1625 397 }
adam@1625 398
adamc@729 399 function whine(msg) {
adamc@1260 400 alert(msg);
adamc@1260 401 throw msg;
adamc@729 402 }
adamc@729 403
adamc@810 404 function pf(loc) {
adamc@1260 405 throw ("Pattern match failure (" + loc + ")");
adamc@729 406 }
adamc@729 407
adam@1553 408 var lameDuck = false;
adam@1553 409
adamc@798 410 function runHandlers(kind, ls, arg) {
adam@1553 411 if (!lameDuck) {
adam@1553 412 if (ls == null)
adam@1553 413 alert(kind + ": " + arg);
adam@1553 414 for (; ls; ls = ls.next)
adam@1553 415 try {
adam@1890 416 exec({c:"a", f:{c:"a", f:ls.data, x:{c:"c", v:arg}}, x:{c:"c", v:null}});
adam@1553 417 } catch (v) { }
adam@1553 418 }
adamc@729 419 }
adamc@729 420
adamc@729 421 var errorHandlers = null;
adamc@729 422
adam@1890 423 function flift0(v) {
adam@1890 424 return {c:"c", v:v};
adam@1890 425 }
adam@1890 426
adamc@729 427 function onError(f) {
adam@1890 428 errorHandlers = cons(flift0(f), errorHandlers);
adamc@729 429 }
adamc@729 430
adamc@729 431 function er(s) {
adamc@1260 432 runHandlers("Error", errorHandlers, s);
adamc@1260 433 throw {uw_error: s};
adamc@729 434 }
adamc@729 435
adamc@729 436 var failHandlers = null;
adamc@729 437
adamc@729 438 function onFail(f) {
adam@1890 439 failHandlers = cons(flift0(f), failHandlers);
adamc@729 440 }
adamc@729 441
adamc@729 442 function doExn(v) {
adamc@1260 443 if (v == null || v.uw_error == null) {
adamc@1260 444 var s = (v == null ? "null" : v.message ? v.message : v.toString());
adamc@1260 445 if (v != null && v.fileName && v.lineNumber)
adamc@1260 446 s += " (" + v.fileName + ":" + v.lineNumber + ")";
adamc@1260 447 runHandlers("Fail", failHandlers, s);
adamc@1260 448 }
adamc@729 449 }
adamc@729 450
adamc@729 451 var disconnectHandlers = null;
adamc@729 452
adamc@976 453 function flift(f) {
kkallio@1484 454 return {c: "c", v:{env:cons(f,null), body:{c:"v", n:1}}};
adamc@976 455 }
adamc@976 456
adamc@729 457 function onDisconnect(f) {
adamc@1260 458 disconnectHandlers = cons(flift(f), disconnectHandlers);
adamc@729 459 }
adamc@729 460
adamc@729 461 function discon() {
adamc@1260 462 runHandlers("Disconnect", disconnectHandlers, null);
adamc@729 463 }
adamc@729 464
adamc@729 465 var connectHandlers = null;
adamc@729 466
adamc@729 467 function onConnectFail(f) {
adamc@1260 468 connectHandlers = cons(flift(f), connectHandlers);
adamc@729 469 }
adamc@729 470
adamc@729 471 function conn() {
adamc@1260 472 runHandlers("Connect", connectHandlers, null);
adamc@729 473 }
adamc@729 474
adamc@729 475 var serverHandlers = null;
adamc@729 476
adamc@729 477 function onServerError(f) {
adam@1890 478 serverHandlers = cons(flift0(f), serverHandlers);
adamc@729 479 }
adamc@729 480
adamc@729 481 function servErr(s) {
adamc@1260 482 window.setTimeout(function () { runHandlers("Server", serverHandlers, s); }, 0);
adamc@729 483 }
adamc@729 484
adam@1783 485 // Key and mouse events
adam@1555 486
adam@1555 487 var uw_event = null;
adam@1555 488
adam@1783 489 function uw_getEvent() {
adam@1783 490 return window.event ? window.event : uw_event;
adam@1555 491 }
adam@1555 492
adam@1783 493 function firstGood(x, y) {
adam@1783 494 if (x == undefined || x == 0)
adam@1783 495 return y;
adam@1783 496 else
adam@1783 497 return x;
adam@1783 498 }
adam@1783 499
adam@1783 500 function uw_mouseEvent() {
adam@1783 501 var ev = uw_getEvent();
adam@1783 502
adam@1783 503 return {_ScreenX : firstGood(ev.screenX, 0),
adam@1783 504 _ScreenY : firstGood(ev.screenY, 0),
adam@1783 505 _ClientX : firstGood(ev.clientX, 0),
adam@1783 506 _ClientY : firstGood(ev.clientY, 0),
adam@1783 507 _CtrlKey : firstGood(ev.ctrlKey, false),
adam@1783 508 _ShiftKey : firstGood(ev.shiftKey, false),
adam@1783 509 _AltKey : firstGood(ev.altKey, false),
adam@1783 510 _MetaKey : firstGood(ev.metaKey, false),
adam@1783 511 _Button : ev.button == 2 ? "Right" : ev.button == 1 ? "Middle" : "Left"};
adam@1783 512 }
adam@1783 513
adam@1783 514 function uw_keyEvent() {
adam@1783 515 var ev = uw_getEvent();
adam@1783 516
adam@1783 517 return {_KeyCode : firstGood(ev.keyCode, ev.which),
adam@1783 518 _CtrlKey : firstGood(ev.ctrlKey, false),
adam@1783 519 _ShiftKey : firstGood(ev.shiftKey, false),
adam@1783 520 _AltKey : firstGood(ev.altKey, false),
adam@1783 521 _MetaKey : firstGood(ev.metaKey, false)};
adam@1783 522 }
adam@1783 523
adam@1783 524
adam@1783 525
adam@1555 526 // Document events
adam@1555 527
adam@1555 528 function uw_handler(name, f) {
adam@1555 529 var old = document[name];
adam@1555 530 if (old == undefined)
adam@1783 531 document[name] = function(event) { uw_event = event; execF(execF(f, uw_mouseEvent())); };
adam@1555 532 else
adam@1783 533 document[name] = function(event) { uw_event = event; old(); execF(execF(f, uw_mouseEvent())); };
adam@1555 534 }
adam@1555 535
adam@1555 536 function uw_onClick(f) {
adam@1555 537 uw_handler("onclick", f);
adam@1555 538 }
adam@1555 539
adam@1555 540 function uw_onDblclick(f) {
adam@1555 541 uw_handler("ondblclick", f);
adam@1555 542 }
adam@1555 543
adam@1555 544 function uw_onMousedown(f) {
adam@1555 545 uw_handler("onmousedown", f);
adam@1555 546 }
adam@1555 547
adam@1791 548 function uw_onMousemove(f) {
adam@1791 549 uw_handler("onmousemove", f);
adam@1791 550 }
adam@1791 551
adam@1791 552 function uw_onMouseout(f) {
adam@1791 553 uw_handler("onmouseout", f);
adam@1791 554 }
adam@1791 555
adam@1791 556 function uw_onMouseover(f) {
adam@1791 557 uw_handler("onmouseover", f);
adam@1791 558 }
adam@1791 559
adam@1555 560 function uw_onMouseup(f) {
adam@1555 561 uw_handler("onmouseup", f);
adam@1555 562 }
adam@1555 563
adam@1555 564 function uw_keyHandler(name, f) {
adam@1555 565 var old = document[name];
adam@1555 566 if (old == undefined)
adam@1783 567 document[name] = function(event) { uw_event = event; execF(execF(f, uw_keyEvent())); };
adam@1555 568 else
adam@1783 569 document[name] = function(event) { uw_event = event; old(); execF(execF(f, uw_keyEvent())); };
adam@1555 570 }
adam@1555 571
adam@1555 572 function uw_onKeydown(f) {
adam@1555 573 uw_keyHandler("onkeydown", f);
adam@1555 574 }
adam@1555 575
adam@1555 576 function uw_onKeypress(f) {
adam@1555 577 uw_keyHandler("onkeypress", f);
adam@1555 578 }
adam@1555 579
adam@1555 580 function uw_onKeyup(f) {
adam@1555 581 uw_keyHandler("onkeyup", f);
adam@1555 582 }
adam@1555 583
adam@1559 584 // Cancelling of further event processing
adam@1559 585
adam@1559 586 function uw_preventDefault() {
adam@1559 587 var e = window.event ? window.event : uw_event;
adam@1559 588 e.returnValue = false;
adam@1559 589 if (e.preventDefault) e.preventDefault();
adam@1559 590 }
adam@1559 591
adam@1559 592 function uw_stopPropagation() {
adam@1559 593 var e = window.event ? window.event : uw_event;
adam@1559 594 e.cancelBubble = true;
adam@1559 595 if (e.stopPropagation) e.stopPropagation();
adam@1559 596 }
adamc@729 597
adamc@692 598 // Embedding closures in XML strings
adamc@692 599
adamc@693 600 function cs(f) {
adamc@1260 601 return {closure: f};
adamc@693 602 }
adamc@693 603
adamc@693 604 function isWeird(v) {
adamc@1260 605 return v.closure != null || v.cat1 != null;
adamc@693 606 }
adamc@693 607
adamc@692 608 function cat(s1, s2) {
adamc@1260 609 if (isWeird(s1) || isWeird(s2))
adamc@1260 610 return {cat1: s1, cat2: s2};
adamc@1260 611 else
adamc@1260 612 return s1 + s2;
adamc@692 613 }
adamc@692 614
adamc@692 615 var closures = [];
adamc@703 616 var freeClosures = null;
adamc@692 617
adamc@692 618 function newClosure(f) {
adamc@1260 619 var n;
adamc@1260 620 if (freeClosures == null) {
adamc@1260 621 n = closures.length;
adamc@1260 622 } else {
adamc@1260 623 n = freeClosures.data;
adamc@1260 624 freeClosures = freeClosures.next;
adamc@1260 625 }
adamc@1260 626 closures[n] = f;
adamc@1260 627 return n;
adamc@692 628 }
adamc@692 629
adamc@703 630 function freeClosure(n) {
adamc@1260 631 closures[n] = null;
adamc@1260 632 freeClosures = cons(n, freeClosures);
adamc@703 633 }
adamc@703 634
adamc@692 635 function cr(n) {
adamc@1260 636 return closures[n];
adamc@692 637 }
adamc@692 638
adam@2129 639 function flattenAcc(a, cls, trs) {
adam@2129 640 while (trs) {
adam@2129 641 var tr = trs.data;
adam@2129 642 trs = trs.next;
adam@2129 643
adam@2129 644 if (tr.cat1 != null) {
adam@2129 645 trs = cons(tr.cat1, cons(tr.cat2, trs));
adam@2129 646 } else if (tr.closure != null) {
adam@2129 647 var cl = newClosure(tr.closure);
adam@2129 648 cls.v = cons(cl, cls.v);
adam@2129 649 a.push("cr(", cl.toString(), ")");
adam@2129 650 } else
adam@2129 651 a.push(tr);
adam@2129 652 }
vshabanoff@1813 653 }
vshabanoff@1813 654
vshabanoff@1813 655 function flatten(cls, tr) {
vshabanoff@1813 656 var a = [];
adam@2129 657 flattenAcc(a, cls, cons(tr, null));
vshabanoff@1813 658 return a.join("");
adamc@692 659 }
adamc@692 660
adamc@728 661 function flattenLocal(s) {
adamc@1260 662 var cls = {v : null};
adamc@1260 663 var r = flatten(cls, s);
adamc@1260 664 for (cl = cls.v; cl != null; cl = cl.next)
adamc@1260 665 freeClosure(cl.data);
adamc@1260 666 return r;
adamc@728 667 }
adamc@728 668
adamc@692 669
adamc@692 670 // Dynamic tree management
adamc@692 671
adamc@690 672 function populate(node) {
adamc@1260 673 var s = node.signal;
adamc@1260 674 var oldSources = node.sources;
adamc@1260 675 try {
adamc@1260 676 var sr = execF(s, null);
adamc@1260 677 var newSources = sr._sources;
adamc@690 678
adamc@1260 679 for (var sp = oldSources; sp; sp = sp.next)
adamc@1260 680 if (!member(sp.data, newSources))
adamc@1260 681 sp.data.dyns = remove(node, sp.data.dyns);
adamc@690 682
adamc@1260 683 for (var sp = newSources; sp; sp = sp.next)
adamc@1260 684 if (!member(sp.data, oldSources))
adamc@1260 685 sp.data.dyns = cons(node, sp.data.dyns);
adamc@690 686
adamc@1260 687 node.sources = newSources;
adamc@1260 688 node.recreate(sr._data);
adamc@1260 689 } catch (v) {
adamc@1260 690 doExn(v);
adamc@1260 691 }
adamc@579 692 }
adamc@574 693
adamc@580 694 function sc(v) {
adamc@1260 695 return {data : v, dyns : null};
adamc@580 696 }
adamc@580 697 function sv(s, v) {
adam@1491 698 if (s.data != v) {
adam@1491 699 s.data = v;
adamc@967 700
adam@1491 701 for (var ls = s.dyns; ls; ls = ls.next)
adam@1491 702 if (!ls.dead)
adam@1491 703 populate(ls.data);
adam@1491 704 }
adamc@580 705 }
adamc@601 706 function sg(s) {
adamc@1260 707 return s.data;
adamc@601 708 }
adamc@579 709
adamc@580 710 function ss(s) {
adamc@1260 711 return {env:cons(s, null), body:{c:"r", l:
adamc@1260 712 cons({n:"sources", v:{c:"c", v:cons(s, null)}},
adamc@1260 713 cons({n:"data", v:{c:"f", f:sg, a:cons({c:"v", n:1}, null)}}, null))}};
adamc@580 714 }
adamc@580 715 function sr(v) {
adamc@1260 716 return {env:null, body:{c:"c", v:{_sources : null, _data : v}}};
adamc@580 717 }
adamc@580 718 function sb(x,y) {
adamc@1260 719 return {env:cons(y,cons(x,null)),
adamc@1260 720 body:{c:"=",
adamc@1260 721 e1:{c:"a", f:{c:"v", n:2}, x:{c:"c", v:null}},
adamc@1260 722 e2:{c:"=",
adamc@1260 723 e1:{c:"a",
adamc@1260 724 f:{c:"a", f:{c:"v", n:2}, x:{c:".", r:{c:"v", n:0}, f:"data"}},
adamc@1260 725 x:{c:"c", v:null}},
adamc@1260 726 e2:{c:"r", l:cons(
adamc@1260 727 {n:"sources", v:{c:"f", f:union, a:cons({c:".", r:{c:"v", n:1}, f:"sources"},
adamc@1260 728 cons({c:".", r:{c:"v", n:0}, f:"sources"}, null))}},
adamc@1260 729 cons({n:"data", v:{c:".", r:{c:"v", n:0}, f:"data"}}, null))}}}};
adamc@580 730 }
adamc@841 731 function scur(s) {
adamc@1260 732 return execF(s, null)._data;
adamc@841 733 }
adamc@571 734
adamc@604 735 function lastParent() {
adamc@1260 736 var pos = document.body;
adamc@604 737
adamc@1260 738 while (pos.lastChild && pos.lastChild.nodeType == 1)
adamc@1260 739 pos = pos.lastChild;
adamc@600 740
adamc@1260 741 pos = pos.parentNode;
adamc@1039 742
adamc@1260 743 return pos;
adamc@600 744 }
adamc@600 745
adam@1803 746 var thisScript = null;
adam@1803 747
adamc@604 748 function addNode(node) {
adam@1678 749 if (thisScript) {
adam@1678 750 if (thisScript.parentNode)
adam@1678 751 thisScript.parentNode.replaceChild(node, thisScript);
adam@1678 752 } else
adamc@1260 753 lastParent().appendChild(node);
adamc@603 754 }
adamc@603 755
adam@1803 756 function runScripts(node) {
adam@1803 757 if (node.tagName == "SCRIPT") {
adam@1803 758 var savedScript = thisScript;
adam@1803 759 thisScript = node;
phurst@1986 760
adam@1803 761 try {
adam@1803 762 eval(thisScript.text);
adam@1803 763 } catch (v) {
adam@1803 764 doExn(v);
adam@1803 765 }
adam@1803 766 if (thisScript.parentNode)
adam@1803 767 thisScript.parentNode.removeChild(thisScript);
adamc@690 768
adam@1803 769 thisScript = savedScript;
adam@1803 770 } else if (node.getElementsByTagName) {
adamc@1260 771 var savedScript = thisScript;
adamc@603 772
adamc@1260 773 var scripts = node.getElementsByTagName("script"), scriptsCopy = [];
adamc@1260 774 var len = scripts.length;
adamc@1260 775 for (var i = 0; i < len; ++i)
adamc@1260 776 scriptsCopy[i] = scripts[i];
adamc@1260 777 for (var i = 0; i < len; ++i) {
adamc@1260 778 thisScript = scriptsCopy[i];
adamc@1039 779
adamc@1260 780 try {
adamc@1260 781 eval(thisScript.text);
adamc@1260 782 } catch (v) {
adamc@1260 783 doExn(v);
adamc@1260 784 }
adamc@1260 785 if (thisScript.parentNode)
adamc@1260 786 thisScript.parentNode.removeChild(thisScript);
adamc@1260 787 }
adamc@1260 788
adamc@1260 789 thisScript = savedScript;
adamc@729 790 }
adamc@603 791 }
adamc@603 792
adamc@603 793
adamc@692 794 // Dynamic tree entry points
adamc@692 795
adamc@967 796 function killScript(scr) {
adamc@1260 797 scr.dead = true;
adamc@1260 798 for (var ls = scr.sources; ls; ls = ls.next)
adamc@1260 799 ls.data.dyns = remove(scr, ls.data.dyns);
adamc@1260 800 for (var ls = scr.closures; ls; ls = ls.next)
adamc@1260 801 freeClosure(ls.data);
adamc@967 802 }
adamc@967 803
adam@1538 804 // Sometimes we wind up with tables that contain <script>s outside the single <tbody>.
adam@1538 805 // To avoid dealing with that case, we normalize by moving <script>s into <tbody>.
adam@1538 806 function normalizeTable(table) {
adam@1538 807 var orig = table;
adam@1538 808
adam@1538 809 var script, next;
adam@1538 810
adam@1803 811 while (table && table.tagName != "TABLE")
adam@1538 812 table = table.parentNode;
adam@1538 813
adam@1538 814 for (var tbody = table.firstChild; tbody; tbody = tbody.nextSibling) {
adam@1538 815 if (tbody.tagName == "TBODY") {
adam@1681 816 var firstChild = tbody.firstChild;
adam@1681 817
adam@1538 818 for (script = table.firstChild; script && script != tbody; script = next) {
adam@1538 819 next = script.nextSibling;
adam@1538 820
adam@1681 821 if (firstChild)
adam@1681 822 tbody.insertBefore(script, firstChild);
adam@1681 823 else
adam@1681 824 tbody.appendChild(script);
adam@1538 825 }
adam@1538 826
adam@1538 827 return;
adam@1538 828 }
adam@1538 829 }
adam@1538 830
adam@1538 831 var tbody = document.createElement("tbody");
adam@1538 832 for (script = table.firstChild; script; script = next) {
adam@1538 833 next = script.nextSibling;
rmbruijn@1597 834
adam@1681 835 tbody.appendChild(script);
adam@1538 836 }
adam@1538 837 table.appendChild(tbody);
adam@1538 838 }
adam@1538 839
adam@1803 840 var suspendScripts = false;
adam@1803 841
adamc@901 842 function dyn(pnode, s) {
adam@1803 843 if (suspendScripts)
adam@1803 844 return;
adam@1803 845
adamc@1260 846 var x = document.createElement("script");
adamc@1260 847 x.dead = false;
adamc@1260 848 x.signal = s;
adamc@1260 849 x.sources = null;
adamc@1260 850 x.closures = null;
adamc@899 851
adamc@1260 852 var firstChild = null;
adamc@899 853
adamc@1260 854 x.recreate = function(v) {
adamc@1260 855 for (var ls = x.closures; ls; ls = ls.next)
adamc@1260 856 freeClosure(ls.data);
adamc@945 857
adamc@946 858 var next;
adamc@1260 859 for (var child = firstChild; child && child != x; child = next) {
adamc@1260 860 next = child.nextSibling;
adamc@1260 861
adamc@1260 862 killScript(child);
adamc@1260 863 if (child.getElementsByTagName) {
adamc@1260 864 var arr = child.getElementsByTagName("script");
adamc@1260 865 for (var i = 0; i < arr.length; ++i)
adamc@1260 866 killScript(arr[i]);
adamc@1260 867 }
adamc@1260 868
adamc@1260 869 if (child.parentNode)
adamc@1260 870 child.parentNode.removeChild(child);
adamc@946 871 }
adamc@903 872
adamc@1260 873 var cls = {v : null};
adamc@1260 874 var html = flatten(cls, v);
adamc@1260 875 if (pnode != "table" && pnode != "tr")
adamc@1260 876 html = dynPrefix + html;
adamc@1260 877 x.closures = cls.v;
adamc@946 878
adamc@1260 879 if (pnode == "table") {
adam@1538 880 normalizeTable(x.parentNode);
adam@1538 881
adamc@1260 882 var dummy = document.createElement("body");
adam@1803 883 suspendScripts = true;
adam@1803 884 try {
adam@1803 885 dummy.innerHTML = "<table>" + html + "</table>";
adam@1803 886 } catch (e) {
adam@1803 887 suspendScripts = false;
adam@1803 888 throw e;
adam@1803 889 }
adam@1803 890
adamc@1260 891 var table = x.parentNode;
adamc@1260 892
adamc@1260 893 if (table) {
adamc@1260 894 firstChild = null;
adamc@1260 895 var tbody;
adamc@1260 896
adamc@1260 897 var arr = dummy.getElementsByTagName("tbody");
adamc@1260 898
adamc@1260 899 var tbody;
adamc@1260 900 if (arr.length > 0 && arr[0].parentNode == dummy.firstChild) {
adamc@1260 901 tbody = arr[0];
adamc@1260 902 var next;
adamc@1260 903 for (var node = dummy.firstChild.firstChild; node; node = next) {
adamc@1260 904 next = node.nextSibling;
adamc@1260 905
adamc@1260 906 if (node.tagName != "TBODY")
adamc@1260 907 tbody.appendChild(node);
adamc@1260 908 }
adamc@1260 909 } else
adamc@1260 910 tbody = dummy.firstChild;
adamc@1260 911
adamc@1260 912 var next;
adamc@1260 913 firstChild = document.createElement("script");
adamc@1260 914 table.insertBefore(firstChild, x);
adamc@1260 915 for (var node = tbody.firstChild; node; node = next) {
adamc@1260 916 next = node.nextSibling;
adamc@1260 917 table.insertBefore(node, x);
adam@1803 918 suspendScripts = false;
adam@1803 919 runScripts(node);
adam@1803 920 suspendScripts = true;
adamc@1260 921 }
adamc@1260 922 }
adam@1803 923
adam@1803 924 suspendScripts = false;
adamc@1260 925 } else if (pnode == "tr") {
adamc@1260 926 var dummy = document.createElement("body");
adam@1803 927 suspendScripts = true;
adam@1803 928 try {
adam@1803 929 dummy.innerHTML = "<table><tr>" + html + "</tr></table>";
adam@1803 930 } catch (e) {
adam@1803 931 suspendScripts = false;
adam@1803 932 throw e;
adam@1803 933 }
adam@1803 934
adamc@1260 935 var table = x.parentNode;
adamc@1260 936
adamc@1260 937 if (table) {
adamc@1260 938 var arr = dummy.getElementsByTagName("tr");
adamc@1260 939 firstChild = null;
adamc@1260 940 var tr;
adamc@1260 941 if (arr.length > 0 && table != null)
adamc@1260 942 tr = arr[0];
adamc@1260 943 else
adamc@1260 944 tr = dummy.firstChild;
adamc@1260 945
adamc@1260 946 var next;
adamc@1260 947 firstChild = document.createElement("script");
adamc@1260 948 table.insertBefore(firstChild, x);
adamc@1260 949 for (var node = tr.firstChild; node; node = next) {
adamc@1260 950 next = node.nextSibling;
adamc@1260 951 table.insertBefore(node, x);
adam@1803 952 suspendScripts = false;
adam@1803 953 runScripts(node);
adam@1803 954 suspendScripts = true;
adamc@1260 955 }
adam@1803 956 };
adam@1803 957
adam@1803 958 suspendScripts = false;
adamc@1260 959 } else {
adamc@1260 960 firstChild = document.createElement("span");
adam@1803 961
adam@1803 962 suspendScripts = true;
adam@1803 963 try {
adam@1803 964 firstChild.innerHTML = html;
adam@1803 965 if (x.parentNode)
adam@1803 966 x.parentNode.insertBefore(firstChild, x);
adam@1803 967 } catch (e) {
adam@1803 968 suspendScripts = false;
adam@1803 969 throw e;
adam@1803 970 }
adam@1803 971 suspendScripts = false;
adam@1802 972 runScripts(firstChild);
adamc@903 973 }
adamc@1260 974 };
adamc@899 975
adamc@1260 976 addNode(x);
adamc@1260 977 populate(x);
adamc@571 978 }
adamc@582 979
adam@1702 980 function setInnerHTML(node, html) {
adam@1702 981 var x;
adam@1702 982
adam@1702 983 if (node.previousSibling && node.previousSibling.closures != undefined) {
adam@1702 984 x = node.previousSibling;
adam@1702 985
adam@1702 986 for (var ls = x.closures; ls; ls = ls.next)
adam@1702 987 freeClosure(ls.data);
adam@1702 988
adam@1702 989 if (node.getElementsByTagName) {
adam@1702 990 var arr = node.getElementsByTagName("script");
adam@1702 991 for (var i = 0; i < arr.length; ++i)
adam@1702 992 killScript(arr[i]);
adam@1702 993 }
adam@1702 994 } else {
adam@1702 995 x = document.createElement("script");
adam@1702 996 x.dead = false;
adam@1702 997 x.sources = null;
adam@1702 998
adam@1702 999 if (node.parentNode)
adam@1702 1000 node.parentNode.insertBefore(x, node);
adam@1702 1001 else
adam@1702 1002 whine("setInnerHTML: node is not already in the DOM tree");
adam@1702 1003 }
adam@1702 1004
adam@1702 1005 var cls = {v : null};
adam@1702 1006 var html = flatten(cls, html);
adam@1702 1007 x.closures = cls.v;
adam@1803 1008 suspendScripts = true;
adam@1702 1009 node.innerHTML = html;
adam@1803 1010 suspendScripts = false;
adam@1702 1011 runScripts(node);
adam@1702 1012 }
adam@1702 1013
adam@1792 1014 var maySuspend = true;
adam@1792 1015
adam@1786 1016 function active(s) {
adam@1803 1017 if (suspendScripts)
adam@1803 1018 return;
adam@1803 1019
adam@1792 1020 var ms = maySuspend;
adam@1792 1021 maySuspend = false;
adam@1792 1022 try {
adam@1792 1023 var html = execF(s);
adam@1792 1024 } catch (e) {
adam@1792 1025 maySuspend = ms;
adam@1792 1026 throw e;
adam@1792 1027 }
adam@1792 1028 maySuspend = ms;
adam@2002 1029 if (html != "") {
adam@2002 1030 var span = document.createElement("span");
adam@2002 1031 addNode(span);
adam@2002 1032 setInnerHTML(span, html);
adam@2002 1033 }
adam@1786 1034 }
adam@1786 1035
adam@1463 1036 function input(x, s, recreate, type, name) {
adam@1463 1037 if (name) x.name = name;
adamc@1260 1038 if (type) x.type = type;
adamc@1260 1039 x.dead = false;
adamc@1260 1040 x.signal = ss(s);
adamc@1260 1041 x.sources = null;
adamc@1260 1042 x.recreate = recreate(x);
adamc@1260 1043 addNode(x);
adamc@1260 1044 populate(x);
adamc@816 1045
adamc@1260 1046 return x;
adamc@816 1047 }
adamc@816 1048
adam@2079 1049 function inpt(type, s, name) {
adam@1803 1050 if (suspendScripts)
adam@1803 1051 return;
adam@1803 1052
adamc@1260 1053 var x = input(document.createElement("input"), s,
adam@2079 1054 function(x) { return function(v) { if (x.value != v) x.value = v; }; }, type, name);
adamc@1260 1055 x.value = s.data;
adam@1491 1056 x.onkeyup = x.oninput = x.onchange = x.onpropertychange = function() { sv(s, x.value) };
adamc@816 1057
adamc@1260 1058 return x;
adamc@816 1059 }
adamc@816 1060
adam@2079 1061 function inp(s, name) {
adam@2079 1062 return inpt("text", s, name);
adam@2079 1063 }
adam@2079 1064
ziv@2055 1065 function password(s, name) {
adam@2079 1066 return inpt("password", s, name);
adam@2079 1067 }
ziv@2055 1068
adam@2079 1069 function email(s, name) {
adam@2079 1070 return inpt("email", s, name);
adam@2079 1071 }
ziv@2055 1072
adam@2079 1073 function search(s, name) {
adam@2079 1074 return inpt("search", s, name);
adam@2079 1075 }
adam@2079 1076
adam@2079 1077 function url(s, name) {
adam@2079 1078 return inpt("url", s, name);
adam@2079 1079 }
adam@2079 1080
adam@2079 1081 function tel(s, name) {
adam@2079 1082 return inpt("tel", s, name);
adam@2079 1083 }
adam@2079 1084
adam@2079 1085 function color(s, name) {
adam@2079 1086 return inpt("color", s, name);
ziv@2055 1087 }
ziv@2055 1088
adam@2080 1089 function number(s, name) {
adam@2080 1090 return inpt("number", s, name);
adam@2080 1091 }
adam@2080 1092
adam@2080 1093 function range(s, name) {
adam@2080 1094 return inpt("range", s, name);
adam@2080 1095 }
adam@2080 1096
adam@2080 1097 function date(s, name) {
adam@2080 1098 return inpt("date", s, name);
adam@2080 1099 }
adam@2080 1100
adam@2080 1101 function datetime(s, name) {
adam@2080 1102 return inpt("datetime", s, name);
adam@2080 1103 }
adam@2080 1104
adam@2080 1105 function datetime_local(s, name) {
adam@2080 1106 return inpt("datetime-local", s, name);
adam@2080 1107 }
adam@2080 1108
adam@2080 1109 function month(s, name) {
adam@2080 1110 return inpt("month", s, name);
adam@2080 1111 }
adam@2080 1112
adam@2080 1113 function week(s, name) {
adam@2080 1114 return inpt("week", s, name);
adam@2080 1115 }
adam@2080 1116
adam@2080 1117 function time(s, name) {
adam@2080 1118 return inpt("time", s, name);
adam@2080 1119 }
adam@2080 1120
adam@2080 1121
adam@1479 1122 function selectValue(x) {
adam@1479 1123 if (x.options.length == 0)
adam@1479 1124 return "";
adam@1479 1125 else
adam@1479 1126 return x.options[x.selectedIndex].value;
adam@1479 1127 }
adam@1479 1128
adam@1479 1129 function setSelectValue(x, v) {
adam@1479 1130 for (var i = 0; i < x.options.length; ++i) {
adam@1479 1131 if(x.options[i].value == v) {
adam@1479 1132 x.selectedIndex = i;
adam@1479 1133 return;
adam@1479 1134 }
adam@1479 1135 }
adam@1479 1136 }
adam@1479 1137
adamc@816 1138 function sel(s, content) {
adam@1803 1139 if (suspendScripts)
adam@1803 1140 return;
adam@1803 1141
adamc@1260 1142 var dummy = document.createElement("span");
adamc@1260 1143 dummy.innerHTML = "<select>" + content + "</select>";
adam@1479 1144 var x = input(dummy.firstChild, s, function(x) { return function(v) { if (selectValue(x) != v) setSelectValue(x, v); }; });
adam@1479 1145
adam@1479 1146 for (var i = 0; i < x.options.length; ++i) {
adam@1479 1147 if (x.options[i].value == "")
adam@1479 1148 x.options[i].value = x.options[i].text;
adam@1479 1149 else
adam@1479 1150 x.options[i].value = x.options[i].value.substring(1);
adam@1479 1151 }
adam@1479 1152
adam@1479 1153 setSelectValue(x, s.data);
adam@1479 1154 if (selectValue(x) != s.data)
adam@1479 1155 sv(s, selectValue(x));
adam@1479 1156 x.onchange = function() { sv(s, selectValue(x)) };
adamc@797 1157
adamc@1260 1158 return x;
adamc@598 1159 }
adamc@598 1160
adamc@817 1161 function chk(s) {
adam@1803 1162 if (suspendScripts)
adam@1803 1163 return;
adam@1803 1164
adamc@1260 1165 var x = input(document.createElement("input"), s,
adamc@1260 1166 function(x) { return function(v) { if (x.checked != v) x.checked = v; }; }, "checkbox");
adamc@1260 1167 x.defaultChecked = x.checked = s.data;
adam@1610 1168 x.onclick = x.onkeyup = x.oninput = x.onchange = x.onpropertychange = function() { sv(s, x.checked) };
adamc@817 1169
adamc@1260 1170 return x;
adamc@817 1171 }
adamc@817 1172
adamc@1099 1173 function tbx(s) {
adam@1803 1174 if (suspendScripts)
adam@1803 1175 return;
adam@1803 1176
adamc@1260 1177 var x = input(document.createElement("textarea"), s,
adam@1781 1178 function(x) { return function(v) { if (x.value != v) x.value = v; }; });
adamc@1260 1179 x.innerHTML = s.data;
adam@1491 1180 x.onkeyup = x.oninput = x.onchange = x.onpropertychange = function() { sv(s, x.value) };
adamc@1099 1181
adamc@1260 1182 return x;
adamc@1099 1183 }
adamc@1099 1184
adam@2012 1185 function dynClass(pnode, html, s_class, s_style) {
adam@1803 1186 if (suspendScripts)
adam@1803 1187 return;
adam@1803 1188
adam@1643 1189 var htmlCls = {v : null};
adam@1643 1190 html = flatten(htmlCls, html);
adam@1643 1191 htmlCls = htmlCls.v;
adam@1643 1192
adam@2012 1193 var dummy = document.createElement(pnode);
adam@1803 1194 suspendScripts = true;
adam@1643 1195 dummy.innerHTML = html;
adam@1803 1196 suspendScripts = false;
adam@1643 1197 var html = dummy.firstChild;
adam@1643 1198 dummy.removeChild(html);
adam@1643 1199 addNode(html);
adam@1792 1200 runScripts(html);
adam@1643 1201
adam@1751 1202 if (s_class) {
adam@1751 1203 var x = document.createElement("script");
adam@1751 1204 x.dead = false;
adam@1751 1205 x.signal = s_class;
adam@1751 1206 x.sources = null;
adam@2128 1207 x.closures = htmlCls;
phurst@1986 1208
adam@1751 1209 x.recreate = function(v) {
adam@1751 1210 for (var ls = x.closures; ls != htmlCls; ls = ls.next)
adam@1751 1211 freeClosure(ls.data);
adam@1643 1212
adam@1751 1213 var cls = {v : null};
adam@1751 1214 html.className = flatten(cls, v);
adam@1751 1215 x.closures = concat(cls.v, htmlCls);
adam@1751 1216 }
adam@1643 1217
vshabanoff@1811 1218 html.appendChild(x);
adam@1751 1219 populate(x);
adam@1751 1220 }
adam@1751 1221
adam@1751 1222 if (s_style) {
vshabanoff@1811 1223 var htmlCls2 = s_class ? null : htmlCls;
adam@2012 1224 var y = document.createElement("script");
adam@2012 1225 y.dead = false;
adam@2012 1226 y.signal = s_style;
adam@2012 1227 y.sources = null;
adam@2012 1228 y.closures = htmlCls2;
phurst@1986 1229
adam@2012 1230 y.recreate = function(v) {
adam@2012 1231 for (var ls = y.closures; ls != htmlCls2; ls = ls.next)
adam@1751 1232 freeClosure(ls.data);
adam@1751 1233
adam@1751 1234 var cls = {v : null};
adam@1751 1235 html.style.cssText = flatten(cls, v);
adam@2012 1236 y.closures = concat(cls.v, htmlCls2);
adam@1751 1237 }
adam@1751 1238
adam@2012 1239 html.appendChild(y);
adam@2012 1240 populate(y);
adam@1751 1241 }
adam@1643 1242 }
adam@1643 1243
adam@2121 1244 function bodyDynClass(s_class, s_style) {
adam@2121 1245 if (suspendScripts)
adam@2121 1246 return;
adam@2121 1247
adam@2121 1248 var htmlCls = null;
adam@2121 1249
adam@2121 1250 if (s_class) {
adam@2121 1251 var x = document.createElement("script");
adam@2121 1252 x.dead = false;
adam@2121 1253 x.signal = s_class;
adam@2121 1254 x.sources = null;
adam@2121 1255 x.closures = htmlCls;
adam@2121 1256
adam@2121 1257 x.recreate = function(v) {
adam@2121 1258 for (var ls = x.closures; ls != htmlCls; ls = ls.next)
adam@2121 1259 freeClosure(ls.data);
adam@2121 1260
adam@2121 1261 var cls = {v : null};
adam@2121 1262 document.body.className = flatten(cls, v);
adam@2121 1263 console.log("className to + " + document.body.className);
adam@2121 1264 x.closures = concat(cls.v, htmlCls);
adam@2121 1265 }
adam@2121 1266
adam@2121 1267 document.body.appendChild(x);
adam@2121 1268 populate(x);
adam@2121 1269 }
adam@2121 1270
adam@2121 1271 if (s_style) {
adam@2121 1272 var htmlCls2 = s_class ? null : htmlCls;
adam@2121 1273 var y = document.createElement("script");
adam@2121 1274 y.dead = false;
adam@2121 1275 y.signal = s_style;
adam@2121 1276 y.sources = null;
adam@2121 1277 y.closures = htmlCls2;
adam@2121 1278
adam@2121 1279 y.recreate = function(v) {
adam@2121 1280 for (var ls = y.closures; ls != htmlCls2; ls = ls.next)
adam@2121 1281 freeClosure(ls.data);
adam@2121 1282
adam@2121 1283 var cls = {v : null};
adam@2121 1284 document.body.style.cssText = flatten(cls, v);
adam@2121 1285 console.log("style to + " + document.body.style.cssText);
adam@2121 1286 y.closures = concat(cls.v, htmlCls2);
adam@2121 1287 }
adam@2121 1288
adam@2121 1289 document.body.appendChild(y);
adam@2121 1290 populate(y);
adam@2121 1291 }
adam@2121 1292 }
adam@2121 1293
adamc@800 1294 function addOnChange(x, f) {
adamc@1260 1295 var old = x.onchange;
adam@1290 1296 if (old == null)
adam@1290 1297 x.onchange = f;
adam@1290 1298 else
adam@1290 1299 x.onchange = function() { old(); f(); };
adam@1290 1300 }
adam@1290 1301
adam@1290 1302 function addOnKeyUp(x, f) {
adam@1290 1303 var old = x.onkeyup;
adam@1290 1304 if (old == null)
adam@1290 1305 x.onkeyup = f;
adam@1290 1306 else
adam@1290 1307 x.onkeyup = function(x) { old(x); f(x); };
adamc@800 1308 }
adamc@800 1309
adamc@692 1310
adamc@692 1311 // Basic string operations
adamc@692 1312
adamc@597 1313 function eh(x) {
adamc@1260 1314 if (x == null)
adamc@1260 1315 return "NULL";
adamc@1260 1316 else
adamc@1260 1317 return x.split("&").join("&amp;").split("<").join("&lt;").split(">").join("&gt;");
adamc@597 1318 }
adamc@597 1319
adamc@582 1320 function ts(x) { return x.toString() }
adamc@586 1321 function bs(b) { return (b ? "True" : "False") }
adam@2097 1322 function s2b(s) { return s == "True" ? true : s == "False" ? false : null; }
adam@2097 1323 function s2be(s) { return s == "True" ? true : s == "False" ? false : er("Illegal Boolean " ^ s); }
adamc@586 1324
adamc@1057 1325 function id(x) { return x; }
adamc@1038 1326 function sub(s, i) { return s.charAt(i); }
adamc@828 1327 function suf(s, i) { return s.substring(i); }
adamc@828 1328 function slen(s) { return s.length; }
adamc@829 1329 function sidx(s, ch) {
adamc@1260 1330 var r = s.indexOf(ch);
adamc@1260 1331 if (r == -1)
adamc@1260 1332 return null;
adamc@1260 1333 else
adamc@1260 1334 return r;
adamc@829 1335 }
dukhovni@2045 1336 function ssidx(h, n) {
dukhovni@2045 1337 var r = h.indexOf(n);
dukhovni@2045 1338 if (r == -1)
dukhovni@2045 1339 return null;
dukhovni@2045 1340 else
dukhovni@2045 1341 return r;
dukhovni@2045 1342 }
adamc@831 1343 function sspn(s, chs) {
adamc@1260 1344 for (var i = 0; i < s.length; ++i)
adamc@1260 1345 if (chs.indexOf(s.charAt(i)) != -1)
adamc@1260 1346 return i;
adamc@831 1347
adam@1793 1348 return s.length;
adamc@831 1349 }
adamc@829 1350 function schr(s, ch) {
adamc@1260 1351 var r = s.indexOf(ch);
adamc@1260 1352 if (r == -1)
adamc@1260 1353 return null;
adamc@1260 1354 else
adamc@1260 1355 return s.substring(r);
adamc@829 1356 }
adamc@829 1357 function ssub(s, start, len) {
adamc@1260 1358 return s.substring(start, start+len);
adamc@829 1359 }
adam@1624 1360 function strlenGe(s, len) {
adam@1624 1361 return s.length >= len;
adam@1624 1362 }
adamc@821 1363
adam@1621 1364 function trimZeroes(s) {
adam@1621 1365 for (var i = 0; i < s.length; ++i)
adam@1632 1366 if (s.charAt(i) != '0') {
adam@1621 1367 if (i > 0)
adam@1621 1368 return s.substring(i);
adam@1621 1369 else
adam@1621 1370 return s;
adam@1621 1371 }
adam@1621 1372
adam@1631 1373 if (s.length == 0)
adam@1621 1374 return s;
adam@1621 1375 else
adam@1631 1376 return "0";
adam@1621 1377 }
adam@1621 1378
adamc@649 1379 function pi(s) {
adam@1631 1380 var st = trimZeroes(s);
adam@1631 1381 var r = parseInt(st);
adam@1631 1382 if (r.toString() == st)
adamc@1260 1383 return r;
adamc@1260 1384 else
adamc@1260 1385 er("Can't parse int: " + s);
adamc@649 1386 }
adamc@649 1387
adamc@649 1388 function pfl(s) {
adamc@1260 1389 var r = parseFloat(s);
adamc@1260 1390 if (r.toString() == s)
adamc@1260 1391 return r;
adamc@1260 1392 else
adamc@1260 1393 er("Can't parse float: " + s);
adamc@649 1394 }
adamc@649 1395
adamc@838 1396 function pio(s) {
adam@1631 1397 var st = trimZeroes(s);
adam@1631 1398 var r = parseInt(st);
adam@1631 1399 if (r.toString() == st)
adamc@1260 1400 return r;
adamc@1260 1401 else
adamc@1260 1402 return null;
adamc@838 1403 }
adamc@838 1404
adamc@838 1405 function pflo(s) {
adamc@1260 1406 var r = parseFloat(s);
adamc@1260 1407 if (r.toString() == s)
adamc@1260 1408 return r;
adamc@1260 1409 else
adamc@1260 1410 return null;
adamc@838 1411 }
adamc@838 1412
adam@1620 1413 function parseSource(s1, s2) {
adam@1620 1414 return eval("s" + s1 + "_" + s2);
adam@1620 1415 }
adam@1620 1416
adamc@692 1417 function uf(s) {
adamc@1260 1418 if (s.length == 0)
adamc@1260 1419 return "_";
vshabanoff@1813 1420 s = s.replace(/\./g, ".2E");
vshabanoff@1813 1421 return (s.charAt(0) == '_' ? "_" : "") + encodeURIComponent(s).replace(/%/g, ".");
adamc@691 1422 }
adamc@691 1423
adamc@692 1424 function uu(s) {
adamc@1260 1425 if (s.length > 0 && s.charAt(0) == '_') {
adamc@1260 1426 s = s.substring(1);
adamc@1260 1427 } else if (s.length >= 3 && (s.charAt(0) == '%' || s.charAt(0) == '.')
adamc@1260 1428 && s.charAt(1) == '5' && (s.charAt(2) == 'f' || s.charAt(2) == 'F'))
adamc@1260 1429 s = s.substring(3);
vshabanoff@1813 1430 s = s.replace(/\+/g, " ");
vshabanoff@1813 1431 s = s.replace(/\./g, "%");
adamc@1260 1432 return decodeURIComponent(s);
adamc@905 1433 }
adamc@905 1434
adamc@1108 1435 function atr(s) {
vshabanoff@1813 1436 return s.replace(/\"/g, "&quot;").replace(/&/g, "&amp;")
vshabanoff@1813 1437 }
adamc@1108 1438
adamc@912 1439 function ub(b) {
adamc@1260 1440 return b ? "1" : "0";
adamc@912 1441 }
adamc@912 1442
adamc@905 1443 function uul(getToken, getData) {
adamc@1260 1444 var tok = getToken();
adamc@1260 1445 if (tok == "Nil") {
adamc@1260 1446 return null;
adamc@1260 1447 } else if (tok == "Cons") {
adamc@1260 1448 var d = getData();
adamc@1260 1449 var l = uul(getToken, getData);
adamc@1260 1450 return {_1:d, _2:l};
adamc@1260 1451 } else
adamc@1260 1452 whine("Can't unmarshal list (" + tok + ")");
adamc@692 1453 }
adamc@692 1454
adamc@961 1455 function strcmp(str1, str2) {
adamc@1260 1456 return ((str1 == str2) ? 0 : ((str1 > str2) ? 1 : -1));
adamc@961 1457 }
adamc@692 1458
adamc@603 1459
adamc@692 1460 // Remote calls
adamc@609 1461
adamc@703 1462 var client_id = null;
adamc@668 1463 var client_pass = 0;
adamc@668 1464 var url_prefix = "/";
adamc@673 1465 var timeout = 60;
adam@1552 1466 var isPost = false;
adamc@668 1467
adamc@668 1468 function getXHR(uri)
adamc@609 1469 {
adamc@609 1470 try {
adamc@1260 1471 return new XMLHttpRequest();
adamc@609 1472 } catch (e) {
adamc@1260 1473 try {
adamc@1260 1474 return new ActiveXObject("Msxml2.XMLHTTP");
adamc@1260 1475 } catch (e) {
adamc@1260 1476 try {
adamc@1260 1477 return new ActiveXObject("Microsoft.XMLHTTP");
adamc@1260 1478 } catch (e) {
adamc@1260 1479 whine("Your browser doesn't seem to support AJAX.");
adamc@1260 1480 }
adamc@1260 1481 }
adamc@609 1482 }
adamc@609 1483 }
adamc@609 1484
adamc@736 1485 var sig = null;
adamc@736 1486
adamc@1042 1487 var unloading = false, inFlight = null;
adamc@1042 1488
adamc@1042 1489 function unload() {
adamc@1260 1490 for (; inFlight; inFlight = inFlight.next) {
adamc@1260 1491 inFlight.data.abort();
adamc@1260 1492 }
adamc@1042 1493 }
adamc@1042 1494
adam@1691 1495 function requestUri(xhr, uri, needsSig, isRpc) {
adam@1691 1496 var extraData = null;
adam@1691 1497
adam@1691 1498 if (isRpc && uri.length > 2000) {
adam@1691 1499 extraData = uri.substring(2000);
adam@1691 1500 uri = uri.substring(0, 2000);
adam@1691 1501 }
adam@1691 1502
vshabanoff@1763 1503 xhr.open("POST", uri, !unloading);
adamc@1260 1504 xhr.setRequestHeader("Content-type", "text/plain");
adamc@668 1505
adamc@1260 1506 if (client_id != null) {
adamc@1260 1507 xhr.setRequestHeader("UrWeb-Client", client_id.toString());
adamc@1260 1508 xhr.setRequestHeader("UrWeb-Pass", client_pass.toString());
adamc@1260 1509 }
adamc@668 1510
adamc@1260 1511 if (needsSig) {
adamc@1260 1512 if (sig == null)
adamc@1260 1513 whine("Missing cookie signature!");
adamc@736 1514
adamc@1260 1515 xhr.setRequestHeader("UrWeb-Sig", sig);
adamc@1260 1516 }
adamc@736 1517
adamc@1260 1518 inFlight = cons(xhr, inFlight);
adam@1691 1519 xhr.send(extraData);
adamc@668 1520 }
adamc@668 1521
adamc@1042 1522 function xhrFinished(xhr) {
adamc@1260 1523 xhr.abort();
adamc@1260 1524 inFlight = remove(xhr, inFlight);
adamc@1042 1525 }
adamc@1042 1526
adamc@1111 1527 function unurlify(parse, s) {
adamc@1260 1528 return parse(s);
adamc@1111 1529 }
adamc@1111 1530
adam@1385 1531 function redirect(s) {
adam@1385 1532 window.location = s;
adam@1385 1533 }
adam@1385 1534
adam@1848 1535 function makeSome(isN, v) {
adam@1848 1536 if (isN)
adam@1848 1537 return {v: v};
adam@1848 1538 else
adam@1848 1539 return v;
adam@1848 1540 }
adam@1848 1541
adam@1848 1542 function rc(prefix, uri, parse, k, needsSig, isN) {
adam@1792 1543 if (!maySuspend)
adam@1794 1544 er("May not 'rpc' in main thread of 'code' for <active>");
adam@1792 1545
adamc@1260 1546 uri = cat(prefix, uri);
adamc@1260 1547 uri = flattenLocal(uri);
adamc@1260 1548 var xhr = getXHR();
adamc@609 1549
adamc@1260 1550 xhr.onreadystatechange = function() {
adamc@1260 1551 if (xhr.readyState == 4) {
adamc@1260 1552 var isok = false;
adamc@612 1553
adamc@1260 1554 try {
adamc@1260 1555 if (xhr.status == 200)
adamc@1260 1556 isok = true;
adamc@1260 1557 } catch (e) { }
adamc@612 1558
adamc@1260 1559 if (isok) {
adam@1446 1560 var lines = xhr.responseText.split("\n");
adam@1848 1561 if (lines.length != 2) {
adam@1848 1562 if (isN == null)
adam@1848 1563 whine("Bad RPC response lines");
adam@1848 1564 else
adam@1848 1565 k(null);
adam@1848 1566 } else {
adam@1848 1567 eval(lines[0]);
adam@1446 1568
adam@1848 1569 try {
adam@1848 1570 var v = parse(lines[1]);
adam@1848 1571 try {
adam@1848 1572 k(makeSome(isN, v));
adam@1848 1573 } catch (v) {
adam@1848 1574 doExn(v);
adam@1848 1575 }
adam@1848 1576 } catch (v) {
adam@1848 1577 k(null);
adam@1848 1578 }
adamc@1260 1579 }
adamc@1260 1580 } else {
adam@1848 1581 if (isN == null)
adam@1848 1582 conn();
adam@1848 1583 else
adam@1848 1584 k(null);
adamc@1260 1585 }
adamc@1260 1586
adamc@1260 1587 xhrFinished(xhr);
adamc@729 1588 }
adamc@1260 1589 };
adamc@1042 1590
adam@1691 1591 requestUri(xhr, uri, needsSig, true);
adamc@609 1592 }
adamc@667 1593
adamc@667 1594 function path_join(s1, s2) {
adamc@1260 1595 if (s1.length > 0 && s1.charAt(s1.length-1) == '/')
adamc@1260 1596 return s1 + s2;
adamc@1260 1597 else
adamc@1260 1598 return s1 + "/" + s2;
adamc@667 1599 }
adamc@667 1600
adamc@670 1601 var channels = [];
adamc@670 1602
adamc@670 1603 function newQueue() {
adamc@1260 1604 return { front : null, back : null };
adamc@670 1605 }
adamc@670 1606 function enqueue(q, v) {
adamc@1260 1607 if (q.front == null) {
adamc@1260 1608 q.front = cons(v, null);
adamc@1260 1609 q.back = q.front;
adamc@1260 1610 } else {
adamc@1260 1611 var node = cons(v, null);
adamc@1260 1612 q.back.next = node;
adamc@1260 1613 q.back = node;
adamc@1260 1614 }
adamc@670 1615 }
adamc@670 1616 function dequeue(q) {
adamc@670 1617 if (q.front == null)
adamc@1260 1618 return null;
adamc@1260 1619 else {
adamc@1260 1620 var r = q.front.data;
adamc@1260 1621 q.front = q.front.next;
adamc@1260 1622 if (q.front == null)
adamc@1260 1623 q.back = null;
adamc@1260 1624 return r;
adamc@1260 1625 }
adamc@670 1626 }
adamc@670 1627
adamc@670 1628 function newChannel() {
adamc@1260 1629 return { msgs : newQueue(), listeners : newQueue() };
adamc@670 1630 }
adamc@670 1631
adamc@667 1632 function listener() {
adamc@1260 1633 var uri = path_join(url_prefix, ".msgs");
adamc@1260 1634 var xhr = getXHR();
adamc@1260 1635 var tid, orsc, onTimeout;
adamc@673 1636
adamc@1260 1637 var connect = function () {
adamc@1260 1638 xhr.onreadystatechange = orsc;
adamc@1260 1639 tid = window.setTimeout(onTimeout, timeout * 500);
adam@1691 1640 requestUri(xhr, uri, false, false);
adamc@1260 1641 }
adamc@673 1642
adamc@1260 1643 orsc = function() {
adamc@1260 1644 if (xhr.readyState == 4) {
adamc@1260 1645 window.clearTimeout(tid);
adamc@673 1646
adamc@1260 1647 var isok = false;
adamc@667 1648
adamc@1260 1649 try {
adamc@1260 1650 if (xhr.status == 200)
adamc@1260 1651 isok = true;
adamc@1260 1652 } catch (e) { }
adamc@667 1653
adamc@1260 1654 if (isok) {
adam@1447 1655 var text = xhr.responseText;
adamc@1260 1656 if (text == "")
adamc@1260 1657 return;
adamc@1260 1658 var lines = text.split("\n");
adamc@889 1659
adam@1552 1660 if (lines.length == 1 && lines[0] == "R") {
adam@1553 1661 lameDuck = true;
adam@1553 1662
adam@1552 1663 if (isPost)
adam@1552 1664 history.back();
adam@1552 1665 else
adam@1552 1666 location.reload();
adam@1552 1667
adam@1552 1668 return;
adam@1552 1669 }
adam@1552 1670
adamc@1260 1671 if (lines.length < 2) {
adamc@1260 1672 discon();
adamc@1260 1673 return;
adamc@1260 1674 }
adamc@1260 1675
adam@1447 1676 var messageReader = function(i) {
adam@1447 1677 if (i+1 >= lines.length) {
adam@1447 1678 xhrFinished(xhr);
adam@1447 1679 connect();
adam@1447 1680 }
adam@1447 1681 else {
adam@1447 1682 var chn = lines[i];
adam@1447 1683 var msg = lines[i+1];
adamc@1260 1684
adam@1447 1685 if (chn == "E") {
adam@1447 1686 eval(msg);
adam@1447 1687 window.setTimeout(function() { messageReader(i+2); }, 0);
adam@1447 1688 } else {
adam@1447 1689 if (chn < 0)
adam@1447 1690 whine("Out-of-bounds channel in message from remote server");
adamc@1260 1691
adam@1447 1692 var ch;
adamc@1260 1693
adam@1447 1694 if (chn >= channels.length || channels[chn] == null) {
adam@1447 1695 ch = newChannel();
adam@1447 1696 channels[chn] = ch;
adam@1447 1697 } else
adam@1447 1698 ch = channels[chn];
adamc@1260 1699
adam@1447 1700 var listener = dequeue(ch.listeners);
adam@1447 1701 if (listener == null) {
adam@1447 1702 enqueue(ch.msgs, msg);
adam@1447 1703 } else {
adam@1447 1704 try {
adam@1447 1705 listener(msg);
adam@1447 1706 } catch (v) {
adam@1447 1707 doExn(v);
adam@1447 1708 }
adam@1447 1709 }
adam@1447 1710
adam@1447 1711 messageReader(i+2);
adamc@1260 1712 }
adamc@1260 1713 }
adamc@1260 1714 }
adamc@1260 1715
adam@1447 1716 messageReader(0);
adamc@1260 1717 }
adamc@1260 1718 else {
adamc@1260 1719 try {
adamc@1260 1720 if (xhr.status != 0)
adamc@1260 1721 servErr("Error querying remote server for messages: " + xhr.status);
adamc@1260 1722 } catch (e) { }
adamc@1260 1723 }
adamc@729 1724 }
adamc@1260 1725 };
adamc@669 1726
adamc@1260 1727 onTimeout = function() {
adamc@1260 1728 xhrFinished(xhr);
adamc@1260 1729 connect();
adamc@1260 1730 };
adamc@670 1731
adamc@673 1732 connect();
adamc@667 1733 }
adamc@670 1734
adamc@670 1735 function rv(chn, parse, k) {
adam@1792 1736 if (!maySuspend)
adam@1794 1737 er("May not 'recv' in main thread of 'code' for <active>");
adam@1792 1738
adamc@1260 1739 if (chn == null)
adam@1942 1740 er("Client-side code tried to recv() from a channel belonging to a different page view.");
adamc@682 1741
adamc@1260 1742 if (chn < 0)
adamc@1260 1743 whine("Out-of-bounds channel receive");
adamc@670 1744
adamc@1260 1745 var ch;
adamc@670 1746
adamc@1260 1747 if (chn >= channels.length || channels[chn] == null) {
adamc@1260 1748 ch = newChannel();
adamc@1260 1749 channels[chn] = ch;
adamc@1260 1750 } else
adamc@1260 1751 ch = channels[chn];
adamc@670 1752
adamc@1260 1753 var msg = dequeue(ch.msgs);
adamc@1260 1754 if (msg == null) {
adamc@1260 1755 enqueue(ch.listeners, function(msg) { k(parse(msg)); });
adamc@1260 1756 } else {
adamc@1260 1757 try {
adamc@1260 1758 k(parse(msg));
adamc@1260 1759 } catch (v) {
adamc@1260 1760 doExn(v);
adamc@1260 1761 }
adamc@728 1762 }
adamc@670 1763 }
adamc@693 1764
adamc@978 1765 function sl(ms, k) {
adam@1792 1766 if (!maySuspend)
adam@1794 1767 er("May not 'sleep' in main thread of 'code' for <active>");
adam@1792 1768
adamc@1260 1769 window.setTimeout(function() { k(null); }, ms);
adamc@1021 1770 }
adamc@1021 1771
adamc@1021 1772 function sp(e) {
adam@1794 1773 window.setTimeout(function() { execF(e); }, 0);
adamc@978 1774 }
adamc@978 1775
adamc@693 1776
adamc@970 1777 // The Ur interpreter
adamc@970 1778
adamc@970 1779 var urfuncs = [];
adamc@970 1780
adamc@970 1781 function lookup(env, n) {
adamc@1260 1782 while (env != null) {
adamc@1260 1783 if (n == 0)
adamc@1260 1784 return env.data;
adamc@1260 1785 else {
adamc@1260 1786 --n;
adamc@1260 1787 env = env.next;
adamc@1260 1788 }
adamc@970 1789 }
adamc@970 1790
adamc@1260 1791 whine("Out-of-bounds Ur variable reference");
adamc@970 1792 }
adamc@970 1793
adamc@974 1794 function execP(env, p, v) {
adamc@1260 1795 switch (p.c) {
adamc@1260 1796 case "w":
adamc@1260 1797 return env;
adamc@1260 1798 case "v":
adamc@1260 1799 return cons(v, env);
adamc@1260 1800 case "c":
adamc@1260 1801 if (v == p.v)
adamc@1260 1802 return env;
adamc@1260 1803 else
adamc@1260 1804 return false;
adamc@1260 1805 case "s":
adamc@1260 1806 if (v == null)
adamc@1260 1807 return false;
adamc@1260 1808 else
adamc@1260 1809 return execP(env, p.p, p.n ? v.v : v);
adamc@1260 1810 case "1":
adamc@1260 1811 if (v.n != p.n)
adamc@1260 1812 return false;
adamc@1260 1813 else
adamc@1260 1814 return execP(env, p.p, v.v);
adamc@1260 1815 case "r":
adamc@1260 1816 for (var fs = p.l; fs != null; fs = fs.next) {
adamc@1260 1817 env = execP(env, fs.data.p, v["_" + fs.data.n]);
adamc@1260 1818 if (env == false)
adamc@1260 1819 return false;
adamc@1260 1820 }
adamc@1260 1821 return env;
adamc@1260 1822 default:
adamc@1260 1823 whine("Unknown Ur pattern kind" + p.c);
adamc@974 1824 }
adamc@974 1825 }
adamc@974 1826
adamc@970 1827 function exec0(env, e) {
adamc@1260 1828 return exec1(env, null, e);
adamc@1020 1829 }
adamc@1020 1830
adamc@1020 1831 function exec1(env, stack, e) {
adamc@1260 1832 var stack, usedK = false;
adamc@970 1833
adamc@1260 1834 var saveEnv = function() {
adamc@1260 1835 if (stack.next != null && stack.next.data.c != "<")
adamc@1260 1836 stack = cons({c: "<", env: env}, stack.next);
adamc@1260 1837 else
adamc@1260 1838 stack = stack.next;
adamc@1260 1839 };
adamc@983 1840
adamc@1260 1841 while (true) {
adamc@1260 1842 switch (e.c) {
adamc@1260 1843 case "c":
adamc@1260 1844 var v = e.v;
adamc@1260 1845 if (stack == null)
adamc@1260 1846 return v;
adamc@1260 1847 var fr = stack.data;
adamc@970 1848
adamc@1260 1849 switch (fr.c) {
adamc@1260 1850 case "s":
adamc@1260 1851 e = {c: "c", v: {v: v}};
adamc@1260 1852 stack = stack.next;
adamc@1260 1853 break;
adamc@1260 1854 case "1":
adamc@1260 1855 e = {c: "c", v: {n: fr.n, v: v}};
adamc@1260 1856 stack = stack.next;
adamc@1260 1857 break;
adamc@1260 1858 case "f":
adamc@1260 1859 fr.args[fr.pos++] = v;
adamc@1260 1860 if (fr.a == null) {
adamc@1260 1861 var res;
adamc@1260 1862 stack = stack.next;
adamc@1035 1863
adamc@1260 1864 if (fr.f.apply)
adamc@1260 1865 res = fr.f.apply(null, fr.args);
adamc@1260 1866 else if (fr.args.length == 0)
adamc@1260 1867 res = fr.f();
adamc@1260 1868 else if (fr.args.length == 1)
adamc@1260 1869 res = fr.f(fr.args[0]);
adamc@1260 1870 else if (fr.args.length == 2)
adamc@1260 1871 res = fr.f(fr.args[0], fr.args[1]);
adamc@1260 1872 else if (fr.args.length == 3)
adamc@1260 1873 res = fr.f(fr.args[0], fr.args[1], fr.args[2]);
adamc@1260 1874 else if (fr.args.length == 4)
adamc@1260 1875 res = fr.f(fr.args[0], fr.args[1], fr.args[2], fr.args[3]);
adamc@1260 1876 else if (fr.args.length == 5)
adamc@1260 1877 res = fr.f(fr.args[0], fr.args[1], fr.args[2], fr.args[3], fr.args[4]);
adamc@1260 1878 else
adamc@1260 1879 whine("Native function has " + fr.args.length + " args, but there is no special case for that count.");
adamc@1035 1880
adamc@1260 1881 e = {c: "c", v: res};
adamc@1260 1882 if (usedK) return null;
adamc@1260 1883 } else {
adamc@1260 1884 e = fr.a.data;
adamc@1260 1885 fr.a = fr.a.next;
adamc@1260 1886 }
adamc@1260 1887 break;
adamc@1260 1888 case "a1":
adamc@1260 1889 e = fr.x;
adamc@1260 1890 stack = cons({c: "a2", f: v}, stack.next);
adamc@1260 1891 break;
adamc@1260 1892 case "a2":
adamc@1260 1893 if (fr.f == null)
adamc@1260 1894 whine("Ur: applying null function");
adamc@1260 1895 else if (fr.f.body) {
adamc@1260 1896 saveEnv();
adamc@1260 1897 env = cons(v, fr.f.env);
adamc@1260 1898 e = fr.f.body;
adamc@1260 1899 } else {
adamc@1260 1900 e = {c: "c", v: fr.f(v)};
adamc@1260 1901 stack = stack.next;
adamc@1260 1902 }
adamc@1260 1903 break;
adamc@1260 1904 case "<":
adamc@1260 1905 env = fr.env;
adamc@1260 1906 stack = stack.next;
adamc@1260 1907 break;
adamc@1260 1908 case "r":
adamc@1260 1909 fr.fs["_" + fr.n] = v;
adamc@1260 1910 if (fr.l == null) {
adamc@1260 1911 e = {c: "c", v: fr.fs};
adamc@1260 1912 stack = stack.next;
adamc@1260 1913 } else {
adamc@1260 1914 fr.n = fr.l.data.n;
adamc@1260 1915 e = fr.l.data.v;
adamc@1260 1916 fr.l = fr.l.next;
adamc@1260 1917 }
adamc@1260 1918 break;
adamc@1260 1919 case ".":
adamc@1260 1920 e = {c: "c", v: v["_" + fr.f]};
adamc@1260 1921 stack = stack.next;
adamc@1260 1922 break;
adamc@1260 1923 case ";":
adamc@1260 1924 e = fr.e2;
adamc@1260 1925 stack = stack.next;
adamc@1260 1926 break;
adamc@1260 1927 case "=":
adamc@1260 1928 saveEnv();
adamc@1260 1929 env = cons(v, env);
adamc@1260 1930 e = fr.e2;
adamc@1260 1931 break;
adamc@1260 1932 case "m":
adamc@1260 1933 var ps;
adamc@1260 1934 for (ps = fr.p; ps != null; ps = ps.next) {
adamc@1260 1935 var r = execP(env, ps.data.p, v);
adamc@1260 1936 if (r != false) {
adamc@1260 1937 saveEnv();
adamc@1260 1938 env = r;
adamc@1260 1939 e = ps.data.b;
adamc@1260 1940 break;
adamc@1260 1941 }
adamc@1260 1942 }
adamc@1260 1943 if (ps == null)
adamc@1260 1944 whine("Match failure in Ur interpretation");
adamc@1260 1945 break;
adamc@1260 1946 default:
adamc@1260 1947 whine("Unknown Ur continuation kind " + fr.c);
adamc@1260 1948 }
adamc@1260 1949
adamc@1260 1950 break;
adamc@1260 1951 case "v":
adamc@1260 1952 e = {c: "c", v: lookup(env, e.n)};
adamc@1260 1953 break;
adamc@1260 1954 case "n":
adamc@1260 1955 var idx = e.n;
adamc@1260 1956 e = urfuncs[idx];
adamc@1260 1957 if (e.c == "t")
adamc@1262 1958 e = urfuncs[idx] = eval("(" + e.f + ")");
adamc@1260 1959 break;
adamc@1260 1960 case "s":
adamc@1260 1961 stack = cons({c: "s"}, stack);
adamc@1260 1962 e = e.v;
adamc@1260 1963 break;
adamc@1260 1964 case "1":
adamc@1260 1965 stack = cons({c: "1", n: e.n}, stack);
adamc@1260 1966 e = e.v;
adamc@1260 1967 break;
adamc@1260 1968 case "f":
adamc@1260 1969 if (e.a == null)
adam@1798 1970 e = {c: "c", v: e.f()};
adamc@1260 1971 else {
adamc@1260 1972 var args = [];
adam@1798 1973 stack = cons({c: "f", f: e.f, args: args, pos: 0, a: e.a.next}, stack);
adamc@1260 1974 if (!e.a.data.c) alert("[2] fr.f = " + e.f + "; 0 = " + e.a.data);
adamc@1260 1975 e = e.a.data;
adamc@1260 1976 }
adamc@1260 1977 break;
adamc@1260 1978 case "l":
adamc@1260 1979 e = {c: "c", v: {env: env, body: e.b}};
adamc@1260 1980 break;
adamc@1260 1981 case "a":
adamc@1260 1982 stack = cons({c: "a1", x: e.x}, stack);
adamc@1260 1983 e = e.f;
adamc@1260 1984 break;
adamc@1260 1985 case "r":
adamc@1260 1986 if (e.l == null)
adamc@1260 1987 whine("Empty Ur record in interpretation");
adamc@1260 1988 var fs = {};
adamc@1260 1989 stack = cons({c: "r", n: e.l.data.n, fs: fs, l: e.l.next}, stack);
adamc@1260 1990 e = e.l.data.v;
adamc@1260 1991 break;
adamc@1260 1992 case ".":
adamc@1260 1993 stack = cons({c: ".", f: e.f}, stack);
adamc@1260 1994 e = e.r;
adamc@1260 1995 break;
adamc@1260 1996 case ";":
adamc@1260 1997 stack = cons({c: ";", e2: e.e2}, stack);
adamc@1260 1998 e = e.e1;
adamc@1260 1999 break;
adamc@1260 2000 case "=":
adamc@1260 2001 stack = cons({c: "=", e2: e.e2}, stack);
adamc@1260 2002 e = e.e1;
adamc@1260 2003 break;
adamc@1260 2004 case "m":
adamc@1260 2005 stack = cons({c: "m", p: e.p}, stack);
adamc@1260 2006 e = e.e;
adamc@1260 2007 break;
adamc@1260 2008 case "e":
adamc@1260 2009 e = {c: "c", v: cs({c: "wc", env: env, body: e.e})};
adamc@1260 2010 break;
adamc@1260 2011 case "wc":
adamc@1260 2012 env = e.env;
adamc@1260 2013 e = e.body;
adamc@1260 2014 break;
adamc@1260 2015 case "K":
adamc@1260 2016 { var savedStack = stack.next, savedEnv = env;
adamc@1260 2017 e = {c: "c", v: function(v) { return exec1(savedEnv, savedStack, {c: "c", v: v}); } };}
adamc@1260 2018 usedK = true;
rmbruijn@1597 2019 break;
adamc@1260 2020 default:
adamc@1260 2021 whine("Unknown Ur expression kind " + e.c);
adamc@970 2022 }
adamc@970 2023 }
adamc@970 2024 }
adamc@970 2025
adamc@976 2026 function execD(e) {
adamc@1260 2027 return exec0(null, e);
adamc@976 2028 }
adamc@976 2029
adamc@970 2030 function exec(e) {
adamc@1260 2031 var r = exec0(null, e);
adamc@970 2032
adamc@1260 2033 if (r != null && r.body != null)
adamc@1260 2034 return function(v) { return exec0(cons(v, r.env), r.body); };
adamc@1260 2035 else
adamc@1260 2036 return r;
adamc@895 2037 }
adamc@895 2038
adamc@977 2039 function execF(f, x) {
adamc@1260 2040 return exec0(cons(x, f.env), f.body);
adamc@977 2041 }
adamc@977 2042
adamc@895 2043
adam@1290 2044 // Wrappers
adam@1290 2045
adam@1290 2046 function confrm(s) {
adam@1290 2047 return confirm(s) ? true : false;
adam@1290 2048 }
adam@1290 2049
adam@1290 2050
adamc@1323 2051 // URL blessing
adamc@1323 2052
adamc@1323 2053 var urlRules = null;
adamc@1323 2054
adamc@1323 2055 function checkUrl(s) {
adamc@1323 2056 for (var r = urlRules; r; r = r.next) {
adamc@1323 2057 var ru = r.data;
adamc@1323 2058 if (ru.prefix ? s.indexOf(ru.pattern) == 0 : s == ru.pattern)
adamc@1323 2059 return ru.allow ? s : null;
adamc@1323 2060 }
adamc@1323 2061
adamc@1323 2062 return null;
adamc@1323 2063 }
adamc@1323 2064
adamc@1323 2065 function bless(s) {
adamc@1323 2066 u = checkUrl(s);
adamc@1323 2067 if (u == null)
adamc@1323 2068 er("Disallowed URL: " + s);
adamc@1323 2069 return u;
adamc@1323 2070 }
adamc@1323 2071
adam@1556 2072
adam@2008 2073 // Attribute name blessing
adam@2008 2074
adam@2008 2075 function blessData(s) {
adam@2008 2076 for (var i = 0; i < s.length; ++i) {
adam@2008 2077 var c = s[i];
adam@2008 2078 if (!isAlnum(c) && c != '-' && c != '_')
adam@2008 2079 er("Disallowed character in data-* attribute name");
adam@2008 2080 }
adam@2008 2081
adam@2008 2082 return s;
adam@2008 2083 }
adam@2008 2084
adam@2008 2085
adam@1755 2086 // CSS validation
adam@1755 2087
adam@1755 2088 function atom(s) {
adam@1755 2089 for (var i = 0; i < s.length; ++i) {
adam@1755 2090 var c = s[i];
adam@1755 2091 if (!isAlnum(c) && c != '+' && c != '-' && c != '.' && c != '%' && c != '#')
adam@1755 2092 er("Disallowed character in CSS atom");
adam@1755 2093 }
adam@1755 2094
adam@1755 2095 return s;
adam@1755 2096 }
adam@1755 2097
adam@1755 2098 function css_url(s) {
adam@1755 2099 for (var i = 0; i < s.length; ++i) {
adam@1755 2100 var c = s[i];
adam@1755 2101 if (!isAlnum(c) && c != ':' && c != '/' && c != '.' && c != '_' && c != '+'
adam@1755 2102 && c != '-' && c != '%' && c != '?' && c != '&' && c != '=' && c != '#')
adam@1755 2103 er("Disallowed character in CSS URL");
adam@1755 2104 }
adam@1755 2105
adam@1755 2106 return s;
adam@1755 2107 }
adam@1755 2108
adam@1755 2109 function property(s) {
adam@1755 2110 if (s.length <= 0)
adam@1755 2111 er("Empty CSS property");
adam@1755 2112
adam@1755 2113 if (!isLower(s[0]) && s[0] != '_')
adam@1755 2114 er("Bad initial character in CSS property");
adam@1755 2115
adam@1755 2116 for (var i = 0; i < s.length; ++i) {
adam@1755 2117 var c = s[i];
adam@1755 2118 if (!isLower(c) && !isDigit(c) && c != '_' && c != '-')
adam@1755 2119 er("Disallowed character in CSS property");
adam@1755 2120 }
adam@1755 2121
adam@1755 2122 return s;
adam@1755 2123 }
adam@1755 2124
adam@1755 2125
adam@1556 2126 // ID generation
adam@1556 2127
adam@1556 2128 var nextId = 0;
adam@1556 2129
adam@1556 2130 function fresh() {
adam@1703 2131 return "uw" + (--nextId);
adam@1556 2132 }
adam@1556 2133
adam@1785 2134 function giveFocus(id) {
adam@1803 2135 var node = document.getElementById(id);
adam@1785 2136
adam@1803 2137 if (node)
adam@1803 2138 node.focus();
adam@1803 2139 else
adam@1803 2140 er("Tried to give focus to ID not used in document: " + id);
adam@1785 2141 }
adam@1785 2142
rmbruijn@1597 2143
adamc@693 2144 // App-specific code