Mercurial > urweb

annotate lib/js/urweb.js @ 1642:c3627f317bfd

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
Refactor HTML contexts to prevent some illegal nestings (that can crash the JavaScript runtime system)
author Adam Chlipala <adam@chlipala.net>
date Tue, 20 Dec 2011 21:06:25 -0500
parents 4682b312e9d5
children b0720700c36e
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'); }
adamc@1177 38 function toLower(c) { return c.toLowerCase(); }
adamc@1177 39 function toUpper(c) { return c.toUpperCase(); }
adamc@1061 40
adamc@1061 41
adamc@692 42 // Lists
adamc@692 43
adamc@580 44 function cons(v, ls) {
adamc@1260 45 return { next : ls, data : v };
adamc@690 46 }
adamc@969 47 function rev(ls) {
adamc@1260 48 var acc = null;
adamc@1260 49 for (; ls; ls = ls.next)
adamc@1260 50 acc = cons(ls.data, acc);
adamc@1260 51 return acc;
adamc@969 52 }
adamc@690 53 function concat(ls1, ls2) {
adamc@1260 54 var acc = ls2;
adamc@1260 55 ls1 = rev(ls1);
adamc@1260 56 for (; ls1; ls1 = ls1.next)
adamc@1260 57 acc = cons(ls1.data, acc);
adamc@1260 58 return acc;
adamc@690 59 }
adamc@690 60 function member(x, ls) {
adamc@1260 61 for (; ls; ls = ls.next)
adamc@1260 62 if (ls.data == x)
adamc@1260 63 return true;
adamc@1260 64 return false;
adamc@690 65 }
adamc@690 66 function remove(x, ls) {
adamc@1260 67 var acc = null;
adamc@969 68
adamc@1260 69 for (; ls; ls = ls.next)
adamc@1260 70 if (ls.data == x)
adamc@1260 71 return concat(acc, ls.next);
adamc@1260 72 else
adamc@1260 73 acc = cons(ls.data, acc);
adamc@969 74
adamc@1260 75 return ls;
adamc@690 76 }
adamc@690 77 function union(ls1, ls2) {
adamc@1260 78 var acc = ls2;
adamc@969 79
adamc@1260 80 for (; ls1; ls1 = ls1.next)
adamc@1260 81 if (!member(ls1.data, ls2))
adamc@1260 82 acc = cons(ls1.data, acc);
adamc@969 83
adamc@1260 84 return acc;
adamc@580 85 }
adamc@703 86 function length(ls) {
adamc@1260 87 var acc = 0;
adamc@969 88
adamc@1260 89 for (; ls; ls = ls.next)
adamc@1260 90 ++acc;
adamc@969 91
adamc@1260 92 return acc;
adamc@703 93 }
adamc@670 94
adamc@690 95
adam@1571 96 // Floats
adam@1571 97
adam@1571 98 function float(n) {
adam@1571 99 return n;
adam@1571 100 }
adam@1571 101
adam@1571 102 function trunc(n) {
adam@1571 103 return ~~n;
adam@1571 104 }
adam@1571 105
adam@1571 106 function ceil(n) {
adam@1571 107 return Math.ceil(n);
adam@1571 108 }
adam@1571 109
adam@1571 110 function round(n) {
adam@1571 111 return Math.round(n);
adam@1571 112 }
adam@1571 113
adam@1571 114
adam@1599 115 // Time, represented as counts of microseconds since the epoch
adam@1487 116
adam@1629 117 var time_format = "%c";
adam@1629 118
adam@1487 119 function showTime(tm) {
adam@1629 120 return strftime(time_format, tm);
adam@1629 121 }
adam@1629 122
adam@1629 123 function showTimeHtml(tm) {
adam@1629 124 return eh(showTime(tm));
adam@1487 125 }
adam@1487 126
adam@1487 127 function now() {
adam@1487 128 return (new Date()).getTime() * 1000;
adam@1487 129 }
adam@1487 130
adam@1514 131 function diffInSeconds(tm1, tm2) {
adam@1514 132 return Math.round((tm2 - tm1) / 1000000);
adam@1514 133 }
adam@1514 134
adam@1514 135 function toSeconds(tm) {
adam@1514 136 return Math.round(tm / 1000000);
adam@1514 137 }
adam@1514 138
adam@1518 139 function addSeconds(tm, n) {
adam@1518 140 return tm + n * 1000000;
adam@1518 141 }
adam@1518 142
adam@1599 143 function stringToTime_error(string) {
adam@1599 144 var t = Date.parse(string);
adam@1599 145 if (isNaN(t))
adam@1632 146 er("Invalid date string: " + string);
adam@1599 147 else
adam@1599 148 return t * 1000;
adam@1599 149 }
adam@1599 150
adam@1599 151 function stringToTime(string) {
adam@1599 152 try {
adam@1599 153 var t = Date.parse(string);
adam@1599 154 if (isNaN(t))
adam@1599 155 return null;
adam@1599 156 else
adam@1599 157 return t * 1000;
adam@1599 158 } catch (e) {
adam@1599 159 return null;
adam@1599 160 }
rmbruijn@1597 161 }
rmbruijn@1597 162
adam@1609 163 /*
adam@1615 164 strftime() implementation from:
adam@1615 165 YUI 3.4.1 (build 4118)
adam@1615 166 Copyright 2011 Yahoo! Inc. All rights reserved.
adam@1615 167 Licensed under the BSD License.
adam@1615 168 http://yuilibrary.com/license/
adam@1615 169 */
adam@1609 170
adam@1615 171 var xPad=function (x, pad, r)
adam@1615 172 {
adam@1615 173 if(typeof r === "undefined")
adam@1615 174 {
adam@1615 175 r=10;
adam@1615 176 }
adam@1615 177 pad = pad.toString();
adam@1615 178 for( ; parseInt(x, 10)<r && r>1; r/=10) {
adam@1615 179 x = pad + x;
adam@1615 180 }
adam@1615 181 return x.toString();
adam@1615 182 };
adam@1609 183
adam@1615 184 var YDateEn = {
adam@1615 185 a: ["Sun", "Mon", "Tue", "Wed", "Thu", "Fri", "Sat"],
adam@1615 186 A: ["Sunday", "Monday", "Tuesday", "Wednesday", "Thursday", "Friday", "Saturday"],
adam@1615 187 b: ["Jan", "Feb", "Mar", "Apr", "May", "Jun", "Jul", "Aug", "Sep", "Oct", "Nov", "Dec"],
adam@1615 188 B: ["January", "February", "March", "April", "May", "June", "July", "August", "September", "October", "November", "December"],
adam@1615 189 c: "%a %d %b %Y %T %Z",
adam@1615 190 p: ["AM", "PM"],
adam@1615 191 P: ["am", "pm"],
adam@1615 192 r: "%I:%M:%S %p",
adam@1615 193 x: "%d/%m/%y",
adam@1615 194 X: "%T"
adam@1615 195 };
adam@1609 196
adam@1615 197 var Dt = {
adam@1615 198 formats: {
adam@1615 199 a: function (d, l) { return l.a[d.getDay()]; },
adam@1615 200 A: function (d, l) { return l.A[d.getDay()]; },
adam@1615 201 b: function (d, l) { return l.b[d.getMonth()]; },
adam@1615 202 B: function (d, l) { return l.B[d.getMonth()]; },
adam@1615 203 C: function (d) { return xPad(parseInt(d.getFullYear()/100, 10), 0); },
adam@1615 204 d: ["getDate", "0"],
adam@1615 205 e: ["getDate", " "],
adam@1615 206 g: function (d) { return xPad(parseInt(Dt.formats.G(d)%100, 10), 0); },
adam@1615 207 G: function (d) {
adam@1615 208 var y = d.getFullYear();
adam@1615 209 var V = parseInt(Dt.formats.V(d), 10);
adam@1615 210 var W = parseInt(Dt.formats.W(d), 10);
adam@1615 211
adam@1615 212 if(W > V) {
adam@1615 213 y++;
adam@1615 214 } else if(W===0 && V>=52) {
adam@1615 215 y--;
adam@1615 216 }
adam@1615 217
adam@1615 218 return y;
adam@1615 219 },
adam@1615 220 H: ["getHours", "0"],
adam@1615 221 I: function (d) { var I=d.getHours()%12; return xPad(I===0?12:I, 0); },
adam@1615 222 j: function (d) {
adam@1615 223 var gmd_1 = new Date("" + d.getFullYear() + "/1/1 GMT");
adam@1615 224 var gmdate = new Date("" + d.getFullYear() + "/" + (d.getMonth()+1) + "/" + d.getDate() + " GMT");
adam@1615 225 var ms = gmdate - gmd_1;
adam@1615 226 var doy = parseInt(ms/60000/60/24, 10)+1;
adam@1615 227 return xPad(doy, 0, 100);
adam@1615 228 },
adam@1615 229 k: ["getHours", " "],
adam@1615 230 l: function (d) { var I=d.getHours()%12; return xPad(I===0?12:I, " "); },
adam@1615 231 m: function (d) { return xPad(d.getMonth()+1, 0); },
adam@1615 232 M: ["getMinutes", "0"],
adam@1615 233 p: function (d, l) { return l.p[d.getHours() >= 12 ? 1 : 0 ]; },
adam@1615 234 P: function (d, l) { return l.P[d.getHours() >= 12 ? 1 : 0 ]; },
adam@1615 235 s: function (d, l) { return parseInt(d.getTime()/1000, 10); },
adam@1615 236 S: ["getSeconds", "0"],
adam@1615 237 u: function (d) { var dow = d.getDay(); return dow===0?7:dow; },
adam@1615 238 U: function (d) {
adam@1615 239 var doy = parseInt(Dt.formats.j(d), 10);
adam@1615 240 var rdow = 6-d.getDay();
adam@1615 241 var woy = parseInt((doy+rdow)/7, 10);
adam@1615 242 return xPad(woy, 0);
adam@1615 243 },
adam@1615 244 V: function (d) {
adam@1615 245 var woy = parseInt(Dt.formats.W(d), 10);
adam@1615 246 var dow1_1 = (new Date("" + d.getFullYear() + "/1/1")).getDay();
adam@1615 247 var idow = woy + (dow1_1 > 4 || dow1_1 <= 1 ? 0 : 1);
adam@1615 248 if(idow === 53 && (new Date("" + d.getFullYear() + "/12/31")).getDay() < 4)
adam@1615 249 {
adam@1615 250 idow = 1;
adam@1615 251 }
adam@1615 252 else if(idow === 0)
adam@1615 253 {
adam@1615 254 idow = Dt.formats.V(new Date("" + (d.getFullYear()-1) + "/12/31"));
adam@1615 255 }
adam@1615 256
adam@1615 257 return xPad(idow, 0);
adam@1615 258 },
adam@1615 259 w: "getDay",
adam@1615 260 W: function (d) {
adam@1615 261 var doy = parseInt(Dt.formats.j(d), 10);
adam@1615 262 var rdow = 7-Dt.formats.u(d);
adam@1615 263 var woy = parseInt((doy+rdow)/7, 10);
adam@1615 264 return xPad(woy, 0, 10);
adam@1615 265 },
adam@1615 266 y: function (d) { return xPad(d.getFullYear()%100, 0); },
adam@1615 267 Y: "getFullYear",
adam@1615 268 z: function (d) {
adam@1615 269 var o = d.getTimezoneOffset();
adam@1615 270 var H = xPad(parseInt(Math.abs(o/60), 10), 0);
adam@1615 271 var M = xPad(Math.abs(o%60), 0);
adam@1615 272 return (o>0?"-":"+") + H + M;
adam@1615 273 },
adam@1615 274 Z: function (d) {
adam@1615 275 var tz = d.toString().replace(/^.*:\d\d( GMT[+-]\d+)? \(?([A-Za-z ]+)\)?\d*$/, "$2").replace(/[a-z ]/g, "");
adam@1615 276 if(tz.length > 4) {
adam@1615 277 tz = Dt.formats.z(d);
adam@1615 278 }
adam@1615 279 return tz;
adam@1615 280 },
adam@1615 281 "%": function (d) { return "%"; }
adam@1615 282 },
adam@1615 283
adam@1615 284 aggregates: {
adam@1615 285 c: "locale",
adam@1615 286 D: "%m/%d/%y",
adam@1615 287 F: "%Y-%m-%d",
adam@1615 288 h: "%b",
adam@1615 289 n: "\n",
adam@1615 290 r: "%I:%M:%S %p",
adam@1615 291 R: "%H:%M",
adam@1615 292 t: "\t",
adam@1615 293 T: "%H:%M:%S",
adam@1615 294 x: "locale",
adam@1615 295 X: "locale"
adam@1615 296 },
adam@1615 297
adam@1615 298 format : function (oDate, format) {
adam@1615 299 var replace_aggs = function (m0, m1) {
adam@1615 300 var f = Dt.aggregates[m1];
adam@1615 301 return (f === "locale" ? YDateEn[m1] : f);
adam@1615 302 };
adam@1615 303
adam@1615 304 var replace_formats = function (m0, m1) {
adam@1615 305 var f = Dt.formats[m1];
adam@1615 306 switch(typeof f) {
adam@1615 307 case "string":
adam@1615 308 return oDate[f]();
adam@1615 309 case "function":
adam@1615 310 return f.call(oDate, oDate, YDateEn);
adam@1615 311 case "array":
adam@1615 312 case "object":
adam@1615 313 if(typeof(f[0]) === "string")
adam@1615 314 return xPad(oDate[f[0]](), f[1]);
adam@1615 315 default:
adam@1615 316 return m1;
adam@1615 317 }
adam@1615 318 };
adam@1615 319
adam@1615 320 while(format.match(/%[cDFhnrRtTxX]/)) {
adam@1615 321 format = format.replace(/%([cDFhnrRtTxX])/g, replace_aggs);
adam@1609 322 }
adam@1615 323
adam@1615 324 var str = format.replace(/%([aAbBCdegGHIjklmMpPsSuUVwWyYzZ%])/g, replace_formats);
adam@1615 325
adam@1615 326 replace_aggs = replace_formats = undefined;
adam@1615 327
adam@1615 328 return str;
adam@1615 329 }
adam@1609 330 };
adam@1609 331
adam@1615 332 // End of YUI code
adam@1609 333
adam@1609 334 function strftime(fmt, thisTime)
adam@1609 335 {
adam@1609 336 var thisDate = new Date();
adam@1622 337 thisDate.setTime(Math.floor(thisTime / 1000));
adam@1615 338 return Dt.format(thisDate, fmt);
adam@1622 339 };
adam@1609 340
adam@1487 341
adamc@729 342 // Error handling
adamc@729 343
adam@1625 344 function uw_debug(msg) {
adam@1625 345 try {
adam@1625 346 console.debug(msg);
adam@1625 347 } catch (e) {
adam@1625 348 alert("DEBUG: " + msg);
adam@1625 349 }
adam@1625 350
adam@1625 351 return 0;
adam@1625 352 }
adam@1625 353
adamc@729 354 function whine(msg) {
adamc@1260 355 alert(msg);
adamc@1260 356 throw msg;
adamc@729 357 }
adamc@729 358
adamc@810 359 function pf(loc) {
adamc@1260 360 throw ("Pattern match failure (" + loc + ")");
adamc@729 361 }
adamc@729 362
adam@1553 363 var lameDuck = false;
adam@1553 364
adamc@798 365 function runHandlers(kind, ls, arg) {
adam@1553 366 if (!lameDuck) {
adam@1553 367 if (ls == null)
adam@1553 368 alert(kind + ": " + arg);
adam@1553 369 for (; ls; ls = ls.next)
adam@1553 370 try {
adam@1553 371 exec({c:"a", f:{c:"a", f:ls.data, x:{c:"c", v:arg}}, x:{c:"c", v:null}});
adam@1553 372 } catch (v) { }
adam@1553 373 }
adamc@729 374 }
adamc@729 375
adamc@729 376 var errorHandlers = null;
adamc@729 377
adamc@729 378 function onError(f) {
adamc@1260 379 errorHandlers = cons(f, errorHandlers);
adamc@729 380 }
adamc@729 381
adamc@729 382 function er(s) {
adamc@1260 383 runHandlers("Error", errorHandlers, s);
adamc@1260 384 throw {uw_error: s};
adamc@729 385 }
adamc@729 386
adamc@729 387 var failHandlers = null;
adamc@729 388
adamc@729 389 function onFail(f) {
adamc@1260 390 failHandlers = cons(f, failHandlers);
adamc@729 391 }
adamc@729 392
adamc@729 393 function doExn(v) {
adamc@1260 394 if (v == null || v.uw_error == null) {
adamc@1260 395 var s = (v == null ? "null" : v.message ? v.message : v.toString());
adamc@1260 396 if (v != null && v.fileName && v.lineNumber)
adamc@1260 397 s += " (" + v.fileName + ":" + v.lineNumber + ")";
adamc@1260 398 runHandlers("Fail", failHandlers, s);
adamc@1260 399 }
adamc@729 400 }
adamc@729 401
adamc@729 402 var disconnectHandlers = null;
adamc@729 403
adamc@976 404 function flift(f) {
kkallio@1484 405 return {c: "c", v:{env:cons(f,null), body:{c:"v", n:1}}};
adamc@976 406 }
adamc@976 407
adamc@729 408 function onDisconnect(f) {
adamc@1260 409 disconnectHandlers = cons(flift(f), disconnectHandlers);
adamc@729 410 }
adamc@729 411
adamc@729 412 function discon() {
adamc@1260 413 runHandlers("Disconnect", disconnectHandlers, null);
adamc@729 414 }
adamc@729 415
adamc@729 416 var connectHandlers = null;
adamc@729 417
adamc@729 418 function onConnectFail(f) {
adamc@1260 419 connectHandlers = cons(flift(f), connectHandlers);
adamc@729 420 }
adamc@729 421
adamc@729 422 function conn() {
adamc@1260 423 runHandlers("Connect", connectHandlers, null);
adamc@729 424 }
adamc@729 425
adamc@729 426 var serverHandlers = null;
adamc@729 427
adamc@729 428 function onServerError(f) {
adamc@1260 429 serverHandlers = cons(f, serverHandlers);
adamc@729 430 }
adamc@729 431
adamc@729 432 function servErr(s) {
adamc@1260 433 window.setTimeout(function () { runHandlers("Server", serverHandlers, s); }, 0);
adamc@729 434 }
adamc@729 435
adam@1555 436 // Key events
adam@1555 437
adam@1555 438 var uw_event = null;
adam@1555 439
adam@1555 440 function kc() {
adam@1555 441 return window.event ? event.keyCode : (uw_event ? uw_event.which : 0);
adam@1555 442 }
adam@1555 443
adam@1555 444 // Document events
adam@1555 445
adam@1555 446 function uw_handler(name, f) {
adam@1555 447 var old = document[name];
adam@1555 448 if (old == undefined)
adam@1559 449 document[name] = function(event) { uw_event = event; execF(f); };
adam@1555 450 else
adam@1559 451 document[name] = function(event) { uw_event = event; old(); execF(f); };
adam@1555 452 }
adam@1555 453
adam@1555 454 function uw_onClick(f) {
adam@1555 455 uw_handler("onclick", f);
adam@1555 456 }
adam@1555 457
adam@1555 458 function uw_onDblclick(f) {
adam@1555 459 uw_handler("ondblclick", f);
adam@1555 460 }
adam@1555 461
adam@1555 462 function uw_onMousedown(f) {
adam@1555 463 uw_handler("onmousedown", f);
adam@1555 464 }
adam@1555 465
adam@1555 466 function uw_onMouseup(f) {
adam@1555 467 uw_handler("onmouseup", f);
adam@1555 468 }
adam@1555 469
adam@1555 470 function uw_keyHandler(name, f) {
adam@1555 471 var old = document[name];
adam@1555 472 if (old == undefined)
adam@1559 473 document[name] = function(event) { uw_event = event; execF(execF(f, kc())); };
adam@1555 474 else
adam@1559 475 document[name] = function(event) { uw_event = event; old(); execF(execF(f, kc())); };
adam@1555 476 }
adam@1555 477
adam@1555 478 function uw_onKeydown(f) {
adam@1555 479 uw_keyHandler("onkeydown", f);
adam@1555 480 }
adam@1555 481
adam@1555 482 function uw_onKeypress(f) {
adam@1555 483 uw_keyHandler("onkeypress", f);
adam@1555 484 }
adam@1555 485
adam@1555 486 function uw_onKeyup(f) {
adam@1555 487 uw_keyHandler("onkeyup", f);
adam@1555 488 }
adam@1555 489
adam@1559 490 // Cancelling of further event processing
adam@1559 491
adam@1559 492 function uw_preventDefault() {
adam@1559 493 var e = window.event ? window.event : uw_event;
adam@1559 494 e.returnValue = false;
adam@1559 495 if (e.preventDefault) e.preventDefault();
adam@1559 496 }
adam@1559 497
adam@1559 498 function uw_stopPropagation() {
adam@1559 499 var e = window.event ? window.event : uw_event;
adam@1559 500 e.cancelBubble = true;
adam@1559 501 if (e.stopPropagation) e.stopPropagation();
adam@1559 502 }
adamc@729 503
adamc@692 504 // Embedding closures in XML strings
adamc@692 505
adamc@693 506 function cs(f) {
adamc@1260 507 return {closure: f};
adamc@693 508 }
adamc@693 509
adamc@693 510 function isWeird(v) {
adamc@1260 511 return v.closure != null || v.cat1 != null;
adamc@693 512 }
adamc@693 513
adamc@692 514 function cat(s1, s2) {
adamc@1260 515 if (isWeird(s1) || isWeird(s2))
adamc@1260 516 return {cat1: s1, cat2: s2};
adamc@1260 517 else
adamc@1260 518 return s1 + s2;
adamc@692 519 }
adamc@692 520
adamc@692 521 var closures = [];
adamc@703 522 var freeClosures = null;
adamc@692 523
adamc@692 524 function newClosure(f) {
adamc@1260 525 var n;
adamc@1260 526 if (freeClosures == null) {
adamc@1260 527 n = closures.length;
adamc@1260 528 } else {
adamc@1260 529 n = freeClosures.data;
adamc@1260 530 freeClosures = freeClosures.next;
adamc@1260 531 }
adamc@1260 532 closures[n] = f;
adamc@1260 533 return n;
adamc@692 534 }
adamc@692 535
adamc@703 536 function freeClosure(n) {
adamc@1260 537 closures[n] = null;
adamc@1260 538 freeClosures = cons(n, freeClosures);
adamc@703 539 }
adamc@703 540
adamc@692 541 function cr(n) {
adamc@1260 542 return closures[n];
adamc@692 543 }
adamc@692 544
adamc@703 545 function flatten(cls, tr) {
adamc@1260 546 if (tr.cat1 != null)
adamc@1260 547 return flatten(cls, tr.cat1) + flatten(cls, tr.cat2);
adamc@1260 548 else if (tr.closure != null) {
adamc@1260 549 var cl = newClosure(tr.closure);
adamc@1260 550 cls.v = cons(cl, cls.v);
adamc@1260 551 return "cr(" + cl + ")";
adamc@1260 552 } else
adamc@1260 553 return tr;
adamc@692 554 }
adamc@692 555
adamc@728 556 function flattenLocal(s) {
adamc@1260 557 var cls = {v : null};
adamc@1260 558 var r = flatten(cls, s);
adamc@1260 559 for (cl = cls.v; cl != null; cl = cl.next)
adamc@1260 560 freeClosure(cl.data);
adamc@1260 561 return r;
adamc@728 562 }
adamc@728 563
adamc@692 564
adamc@692 565
adamc@692 566 // Dynamic tree management
adamc@692 567
adamc@690 568 function populate(node) {
adamc@1260 569 var s = node.signal;
adamc@1260 570 var oldSources = node.sources;
adamc@1260 571 try {
adamc@1260 572 var sr = execF(s, null);
adamc@1260 573 var newSources = sr._sources;
adamc@690 574
adamc@1260 575 for (var sp = oldSources; sp; sp = sp.next)
adamc@1260 576 if (!member(sp.data, newSources))
adamc@1260 577 sp.data.dyns = remove(node, sp.data.dyns);
adamc@690 578
adamc@1260 579 for (var sp = newSources; sp; sp = sp.next)
adamc@1260 580 if (!member(sp.data, oldSources))
adamc@1260 581 sp.data.dyns = cons(node, sp.data.dyns);
adamc@690 582
adamc@1260 583 node.sources = newSources;
adamc@1260 584 node.recreate(sr._data);
adamc@1260 585 } catch (v) {
adamc@1260 586 doExn(v);
adamc@1260 587 }
adamc@579 588 }
adamc@574 589
adamc@580 590 function sc(v) {
adamc@1260 591 return {data : v, dyns : null};
adamc@580 592 }
adamc@580 593 function sv(s, v) {
adam@1491 594 if (s.data != v) {
adam@1491 595 s.data = v;
adamc@967 596
adam@1491 597 for (var ls = s.dyns; ls; ls = ls.next)
adam@1491 598 if (!ls.dead)
adam@1491 599 populate(ls.data);
adam@1491 600 }
adamc@580 601 }
adamc@601 602 function sg(s) {
adamc@1260 603 return s.data;
adamc@601 604 }
adamc@579 605
adamc@580 606 function ss(s) {
adamc@1260 607 return {env:cons(s, null), body:{c:"r", l:
adamc@1260 608 cons({n:"sources", v:{c:"c", v:cons(s, null)}},
adamc@1260 609 cons({n:"data", v:{c:"f", f:sg, a:cons({c:"v", n:1}, null)}}, null))}};
adamc@580 610 }
adamc@580 611 function sr(v) {
adamc@1260 612 return {env:null, body:{c:"c", v:{_sources : null, _data : v}}};
adamc@580 613 }
adamc@580 614 function sb(x,y) {
adamc@1260 615 return {env:cons(y,cons(x,null)),
adamc@1260 616 body:{c:"=",
adamc@1260 617 e1:{c:"a", f:{c:"v", n:2}, x:{c:"c", v:null}},
adamc@1260 618 e2:{c:"=",
adamc@1260 619 e1:{c:"a",
adamc@1260 620 f:{c:"a", f:{c:"v", n:2}, x:{c:".", r:{c:"v", n:0}, f:"data"}},
adamc@1260 621 x:{c:"c", v:null}},
adamc@1260 622 e2:{c:"r", l:cons(
adamc@1260 623 {n:"sources", v:{c:"f", f:union, a:cons({c:".", r:{c:"v", n:1}, f:"sources"},
adamc@1260 624 cons({c:".", r:{c:"v", n:0}, f:"sources"}, null))}},
adamc@1260 625 cons({n:"data", v:{c:".", r:{c:"v", n:0}, f:"data"}}, null))}}}};
adamc@580 626 }
adamc@841 627 function scur(s) {
adamc@1260 628 return execF(s, null)._data;
adamc@841 629 }
adamc@571 630
adamc@604 631 function lastParent() {
adamc@1260 632 var pos = document.body;
adamc@604 633
adamc@1260 634 while (pos.lastChild && pos.lastChild.nodeType == 1)
adamc@1260 635 pos = pos.lastChild;
adamc@600 636
adamc@1260 637 pos = pos.parentNode;
adamc@1039 638
adamc@1260 639 return pos;
adamc@600 640 }
adamc@600 641
adamc@898 642 function parent() {
adamc@1260 643 return thisScript ? thisScript.parentNode : lastParent();
adamc@898 644 }
adamc@898 645
adamc@604 646 function addNode(node) {
adamc@1260 647 if (thisScript)
adamc@1260 648 thisScript.parentNode.replaceChild(node, thisScript);
adamc@1260 649 else
adamc@1260 650 lastParent().appendChild(node);
adamc@603 651 }
adamc@603 652
adamc@690 653 var thisScript = null;
adamc@690 654
adamc@604 655 function runScripts(node) {
adamc@1260 656 if (node.getElementsByTagName) {
adamc@1260 657 var savedScript = thisScript;
adamc@603 658
adamc@1260 659 var scripts = node.getElementsByTagName("script"), scriptsCopy = [];
adamc@1260 660 var len = scripts.length;
adamc@1260 661 for (var i = 0; i < len; ++i)
adamc@1260 662 scriptsCopy[i] = scripts[i];
adamc@1260 663 for (var i = 0; i < len; ++i) {
adamc@1260 664 thisScript = scriptsCopy[i];
adamc@1039 665
adamc@1260 666 try {
adamc@1260 667 eval(thisScript.text);
adamc@1260 668 } catch (v) {
adamc@1260 669 doExn(v);
adamc@1260 670 }
adamc@1260 671 if (thisScript.parentNode)
adamc@1260 672 thisScript.parentNode.removeChild(thisScript);
adamc@1260 673 }
adamc@1260 674
adamc@1260 675 thisScript = savedScript;
adamc@729 676 }
adamc@603 677 }
adamc@603 678
adamc@603 679
adamc@692 680 // Dynamic tree entry points
adamc@692 681
adamc@967 682 function killScript(scr) {
adamc@1260 683 scr.dead = true;
adamc@1260 684 for (var ls = scr.sources; ls; ls = ls.next)
adamc@1260 685 ls.data.dyns = remove(scr, ls.data.dyns);
adamc@1260 686 for (var ls = scr.closures; ls; ls = ls.next)
adamc@1260 687 freeClosure(ls.data);
adamc@967 688 }
adamc@967 689
adam@1538 690 // Sometimes we wind up with tables that contain <script>s outside the single <tbody>.
adam@1538 691 // To avoid dealing with that case, we normalize by moving <script>s into <tbody>.
adam@1538 692 function normalizeTable(table) {
adam@1538 693 var orig = table;
adam@1538 694
adam@1538 695 var script, next;
adam@1538 696
adam@1538 697 while (table.tagName != "TABLE")
adam@1538 698 table = table.parentNode;
adam@1538 699
adam@1538 700 for (var tbody = table.firstChild; tbody; tbody = tbody.nextSibling) {
adam@1538 701 if (tbody.tagName == "TBODY") {
adam@1538 702 for (script = table.firstChild; script && script != tbody; script = next) {
adam@1538 703 next = script.nextSibling;
adam@1538 704
adam@1538 705 tbody.insertBefore(script, tbody.firstChild);
adam@1538 706 }
adam@1538 707
adam@1538 708 return;
adam@1538 709 }
adam@1538 710 }
adam@1538 711
adam@1538 712 var tbody = document.createElement("tbody");
adam@1538 713 for (script = table.firstChild; script; script = next) {
adam@1538 714 next = script.nextSibling;
rmbruijn@1597 715
adam@1538 716 tbody.insertBefore(script, tbody.firstChild);
adam@1538 717 }
adam@1538 718 table.appendChild(tbody);
adam@1538 719 }
adam@1538 720
adamc@901 721 function dyn(pnode, s) {
adamc@1260 722 var x = document.createElement("script");
adamc@1260 723 x.dead = false;
adamc@1260 724 x.signal = s;
adamc@1260 725 x.sources = null;
adamc@1260 726 x.closures = null;
adamc@899 727
adamc@1260 728 var firstChild = null;
adamc@899 729
adamc@1260 730 x.recreate = function(v) {
adamc@1260 731 for (var ls = x.closures; ls; ls = ls.next)
adamc@1260 732 freeClosure(ls.data);
adamc@945 733
adamc@946 734 var next;
adamc@1260 735 for (var child = firstChild; child && child != x; child = next) {
adamc@1260 736 next = child.nextSibling;
adamc@1260 737
adamc@1260 738 killScript(child);
adamc@1260 739 if (child.getElementsByTagName) {
adamc@1260 740 var arr = child.getElementsByTagName("script");
adamc@1260 741 for (var i = 0; i < arr.length; ++i)
adamc@1260 742 killScript(arr[i]);
adamc@1260 743 }
adamc@1260 744
adamc@1260 745 if (child.parentNode)
adamc@1260 746 child.parentNode.removeChild(child);
adamc@946 747 }
adamc@903 748
adamc@1260 749 var cls = {v : null};
adamc@1260 750 var html = flatten(cls, v);
adamc@1260 751 if (pnode != "table" && pnode != "tr")
adamc@1260 752 html = dynPrefix + html;
adamc@1260 753 x.closures = cls.v;
adamc@946 754
adamc@1260 755 if (pnode == "table") {
adam@1538 756 normalizeTable(x.parentNode);
adam@1538 757
adamc@1260 758 var dummy = document.createElement("body");
adamc@1260 759 dummy.innerHTML = "<table>" + html + "</table>";
adamc@1260 760 runScripts(dummy);
adamc@1260 761 var table = x.parentNode;
adamc@1260 762
adamc@1260 763 if (table) {
adamc@1260 764 firstChild = null;
adamc@1260 765 var tbody;
adamc@1260 766
adamc@1260 767 var arr = dummy.getElementsByTagName("tbody");
adamc@1260 768
adamc@1260 769 var tbody;
adamc@1260 770 if (arr.length > 0 && arr[0].parentNode == dummy.firstChild) {
adamc@1260 771 tbody = arr[0];
adamc@1260 772 var next;
adamc@1260 773 for (var node = dummy.firstChild.firstChild; node; node = next) {
adamc@1260 774 next = node.nextSibling;
adamc@1260 775
adamc@1260 776 if (node.tagName != "TBODY")
adamc@1260 777 tbody.appendChild(node);
adamc@1260 778 }
adamc@1260 779 } else
adamc@1260 780 tbody = dummy.firstChild;
adamc@1260 781
adamc@1260 782 var next;
adamc@1260 783 firstChild = document.createElement("script");
adamc@1260 784 table.insertBefore(firstChild, x);
adamc@1260 785 for (var node = tbody.firstChild; node; node = next) {
adamc@1260 786 next = node.nextSibling;
adamc@1260 787 table.insertBefore(node, x);
adamc@1260 788 }
adamc@1260 789 }
adamc@1260 790 } else if (pnode == "tr") {
adamc@1260 791 var dummy = document.createElement("body");
adamc@1260 792 dummy.innerHTML = "<table><tr>" + html + "</tr></table>";
adamc@1260 793 runScripts(dummy);
adamc@1260 794 var table = x.parentNode;
adamc@1260 795
adamc@1260 796 if (table) {
adamc@1260 797 var arr = dummy.getElementsByTagName("tr");
adamc@1260 798 firstChild = null;
adamc@1260 799 var tr;
adamc@1260 800 if (arr.length > 0 && table != null)
adamc@1260 801 tr = arr[0];
adamc@1260 802 else
adamc@1260 803 tr = dummy.firstChild;
adamc@1260 804
adamc@1260 805 var next;
adamc@1260 806 firstChild = document.createElement("script");
adamc@1260 807 table.insertBefore(firstChild, x);
adamc@1260 808 for (var node = tr.firstChild; node; node = next) {
adamc@1260 809 next = node.nextSibling;
adamc@1260 810 table.insertBefore(node, x);
adamc@1260 811 }
adamc@1260 812 }
adamc@1260 813 } else {
adamc@1260 814 firstChild = document.createElement("span");
adamc@1260 815 firstChild.innerHTML = html;
adamc@1260 816 runScripts(firstChild);
adamc@1260 817 if (x.parentNode)
adamc@1260 818 x.parentNode.insertBefore(firstChild, x);
adamc@903 819 }
adamc@1260 820 };
adamc@899 821
adamc@1260 822 addNode(x);
adamc@1260 823 populate(x);
adamc@571 824 }
adamc@582 825
adam@1463 826 function input(x, s, recreate, type, name) {
adam@1463 827 if (name) x.name = name;
adamc@1260 828 if (type) x.type = type;
adamc@1260 829 x.dead = false;
adamc@1260 830 x.signal = ss(s);
adamc@1260 831 x.sources = null;
adamc@1260 832 x.recreate = recreate(x);
adamc@1260 833 addNode(x);
adamc@1260 834 populate(x);
adamc@816 835
adamc@1260 836 return x;
adamc@816 837 }
adamc@816 838
adam@1463 839 function inp(s, name) {
adamc@1260 840 var x = input(document.createElement("input"), s,
adam@1463 841 function(x) { return function(v) { if (x.value != v) x.value = v; }; }, null, name);
adamc@1260 842 x.value = s.data;
adam@1491 843 x.onkeyup = x.oninput = x.onchange = x.onpropertychange = function() { sv(s, x.value) };
adamc@816 844
adamc@1260 845 return x;
adamc@816 846 }
adamc@816 847
adam@1479 848 function selectValue(x) {
adam@1479 849 if (x.options.length == 0)
adam@1479 850 return "";
adam@1479 851 else
adam@1479 852 return x.options[x.selectedIndex].value;
adam@1479 853 }
adam@1479 854
adam@1479 855 function setSelectValue(x, v) {
adam@1479 856 for (var i = 0; i < x.options.length; ++i) {
adam@1479 857 if(x.options[i].value == v) {
adam@1479 858 x.selectedIndex = i;
adam@1479 859 return;
adam@1479 860 }
adam@1479 861 }
adam@1479 862 }
adam@1479 863
adamc@816 864 function sel(s, content) {
adamc@1260 865 var dummy = document.createElement("span");
adamc@1260 866 dummy.innerHTML = "<select>" + content + "</select>";
adam@1479 867 var x = input(dummy.firstChild, s, function(x) { return function(v) { if (selectValue(x) != v) setSelectValue(x, v); }; });
adam@1479 868
adam@1479 869 for (var i = 0; i < x.options.length; ++i) {
adam@1479 870 if (x.options[i].value == "")
adam@1479 871 x.options[i].value = x.options[i].text;
adam@1479 872 else
adam@1479 873 x.options[i].value = x.options[i].value.substring(1);
adam@1479 874 }
adam@1479 875
adam@1479 876 setSelectValue(x, s.data);
adam@1479 877 if (selectValue(x) != s.data)
adam@1479 878 sv(s, selectValue(x));
adam@1479 879 x.onchange = function() { sv(s, selectValue(x)) };
adamc@797 880
adamc@1260 881 return x;
adamc@598 882 }
adamc@598 883
adamc@817 884 function chk(s) {
adamc@1260 885 var x = input(document.createElement("input"), s,
adamc@1260 886 function(x) { return function(v) { if (x.checked != v) x.checked = v; }; }, "checkbox");
adamc@1260 887 x.defaultChecked = x.checked = s.data;
adam@1610 888 x.onclick = x.onkeyup = x.oninput = x.onchange = x.onpropertychange = function() { sv(s, x.checked) };
adamc@817 889
adamc@1260 890 return x;
adamc@817 891 }
adamc@817 892
adamc@1099 893 function tbx(s) {
adamc@1260 894 var x = input(document.createElement("textarea"), s,
adamc@1260 895 function(x) { return function(v) { if (x.innerHTML != v) x.innerHTML = v; }; });
adamc@1260 896 x.innerHTML = s.data;
adam@1491 897 x.onkeyup = x.oninput = x.onchange = x.onpropertychange = function() { sv(s, x.value) };
adamc@1099 898
adamc@1260 899 return x;
adamc@1099 900 }
adamc@1099 901
adamc@800 902 function addOnChange(x, f) {
adamc@1260 903 var old = x.onchange;
adam@1290 904 if (old == null)
adam@1290 905 x.onchange = f;
adam@1290 906 else
adam@1290 907 x.onchange = function() { old(); f(); };
adam@1290 908 }
adam@1290 909
adam@1290 910 function addOnKeyUp(x, f) {
adam@1290 911 var old = x.onkeyup;
adam@1290 912 if (old == null)
adam@1290 913 x.onkeyup = f;
adam@1290 914 else
adam@1290 915 x.onkeyup = function(x) { old(x); f(x); };
adamc@800 916 }
adamc@800 917
adamc@692 918
adamc@692 919 // Basic string operations
adamc@692 920
adamc@597 921 function eh(x) {
adamc@1260 922 if (x == null)
adamc@1260 923 return "NULL";
adamc@1260 924 else
adamc@1260 925 return x.split("&").join("&amp;").split("<").join("&lt;").split(">").join("&gt;");
adamc@597 926 }
adamc@597 927
adamc@582 928 function ts(x) { return x.toString() }
adamc@586 929 function bs(b) { return (b ? "True" : "False") }
adamc@586 930
adamc@1057 931 function id(x) { return x; }
adamc@1038 932 function sub(s, i) { return s.charAt(i); }
adamc@828 933 function suf(s, i) { return s.substring(i); }
adamc@828 934 function slen(s) { return s.length; }
adamc@829 935 function sidx(s, ch) {
adamc@1260 936 var r = s.indexOf(ch);
adamc@1260 937 if (r == -1)
adamc@1260 938 return null;
adamc@1260 939 else
adamc@1260 940 return r;
adamc@829 941 }
adamc@831 942 function sspn(s, chs) {
adamc@1260 943 for (var i = 0; i < s.length; ++i)
adamc@1260 944 if (chs.indexOf(s.charAt(i)) != -1)
adamc@1260 945 return i;
adamc@831 946
adamc@1260 947 return null;
adamc@831 948 }
adamc@829 949 function schr(s, ch) {
adamc@1260 950 var r = s.indexOf(ch);
adamc@1260 951 if (r == -1)
adamc@1260 952 return null;
adamc@1260 953 else
adamc@1260 954 return s.substring(r);
adamc@829 955 }
adamc@829 956 function ssub(s, start, len) {
adamc@1260 957 return s.substring(start, start+len);
adamc@829 958 }
adam@1624 959 function strlenGe(s, len) {
adam@1624 960 return s.length >= len;
adam@1624 961 }
adamc@821 962
adam@1621 963 function trimZeroes(s) {
adam@1621 964 for (var i = 0; i < s.length; ++i)
adam@1632 965 if (s.charAt(i) != '0') {
adam@1621 966 if (i > 0)
adam@1621 967 return s.substring(i);
adam@1621 968 else
adam@1621 969 return s;
adam@1621 970 }
adam@1621 971
adam@1631 972 if (s.length == 0)
adam@1621 973 return s;
adam@1621 974 else
adam@1631 975 return "0";
adam@1621 976 }
adam@1621 977
adamc@649 978 function pi(s) {
adam@1631 979 var st = trimZeroes(s);
adam@1631 980 var r = parseInt(st);
adam@1631 981 if (r.toString() == st)
adamc@1260 982 return r;
adamc@1260 983 else
adamc@1260 984 er("Can't parse int: " + s);
adamc@649 985 }
adamc@649 986
adamc@649 987 function pfl(s) {
adamc@1260 988 var r = parseFloat(s);
adamc@1260 989 if (r.toString() == s)
adamc@1260 990 return r;
adamc@1260 991 else
adamc@1260 992 er("Can't parse float: " + s);
adamc@649 993 }
adamc@649 994
adamc@838 995 function pio(s) {
adam@1631 996 var st = trimZeroes(s);
adam@1631 997 var r = parseInt(st);
adam@1631 998 if (r.toString() == st)
adamc@1260 999 return r;
adamc@1260 1000 else
adamc@1260 1001 return null;
adamc@838 1002 }
adamc@838 1003
adamc@838 1004 function pflo(s) {
adamc@1260 1005 var r = parseFloat(s);
adamc@1260 1006 if (r.toString() == s)
adamc@1260 1007 return r;
adamc@1260 1008 else
adamc@1260 1009 return null;
adamc@838 1010 }
adamc@838 1011
adam@1620 1012 function parseSource(s1, s2) {
adam@1620 1013 return eval("s" + s1 + "_" + s2);
adam@1620 1014 }
adam@1620 1015
adamc@692 1016 function uf(s) {
adamc@1260 1017 if (s.length == 0)
adamc@1260 1018 return "_";
adamc@1260 1019 s = s.replace(new RegExp ("\\.", "g"), ".2E");
adamc@1260 1020 return (s.charAt(0) == '_' ? "_" : "") + encodeURIComponent(s).replace(new RegExp ("%", "g"), ".");
adamc@691 1021 }
adamc@691 1022
adamc@692 1023 function uu(s) {
adamc@1260 1024 if (s.length > 0 && s.charAt(0) == '_') {
adamc@1260 1025 s = s.substring(1);
adamc@1260 1026 } else if (s.length >= 3 && (s.charAt(0) == '%' || s.charAt(0) == '.')
adamc@1260 1027 && s.charAt(1) == '5' && (s.charAt(2) == 'f' || s.charAt(2) == 'F'))
adamc@1260 1028 s = s.substring(3);
adamc@1260 1029 s = s.replace(new RegExp ("\\+", "g"), " ");
adamc@1260 1030 s = s.replace(new RegExp ("\\.", "g"), "%");
adamc@1260 1031 return decodeURIComponent(s);
adamc@905 1032 }
adamc@905 1033
adamc@1108 1034 function atr(s) {
adamc@1260 1035 return s.replace(new RegExp ("\"", "g"), "&quot;").replace(new RegExp ("&", "g"), "&amp;")
adamc@1260 1036 }
adamc@1108 1037
adamc@912 1038 function ub(b) {
adamc@1260 1039 return b ? "1" : "0";
adamc@912 1040 }
adamc@912 1041
adamc@905 1042 function uul(getToken, getData) {
adamc@1260 1043 var tok = getToken();
adamc@1260 1044 if (tok == "Nil") {
adamc@1260 1045 return null;
adamc@1260 1046 } else if (tok == "Cons") {
adamc@1260 1047 var d = getData();
adamc@1260 1048 var l = uul(getToken, getData);
adamc@1260 1049 return {_1:d, _2:l};
adamc@1260 1050 } else
adamc@1260 1051 whine("Can't unmarshal list (" + tok + ")");
adamc@692 1052 }
adamc@692 1053
adamc@961 1054 function strcmp(str1, str2) {
adamc@1260 1055 return ((str1 == str2) ? 0 : ((str1 > str2) ? 1 : -1));
adamc@961 1056 }
adamc@692 1057
adamc@603 1058
adamc@692 1059 // Remote calls
adamc@609 1060
adamc@703 1061 var client_id = null;
adamc@668 1062 var client_pass = 0;
adamc@668 1063 var url_prefix = "/";
adamc@673 1064 var timeout = 60;
adam@1552 1065 var isPost = false;
adamc@668 1066
adamc@668 1067 function getXHR(uri)
adamc@609 1068 {
adamc@609 1069 try {
adamc@1260 1070 return new XMLHttpRequest();
adamc@609 1071 } catch (e) {
adamc@1260 1072 try {
adamc@1260 1073 return new ActiveXObject("Msxml2.XMLHTTP");
adamc@1260 1074 } catch (e) {
adamc@1260 1075 try {
adamc@1260 1076 return new ActiveXObject("Microsoft.XMLHTTP");
adamc@1260 1077 } catch (e) {
adamc@1260 1078 whine("Your browser doesn't seem to support AJAX.");
adamc@1260 1079 }
adamc@1260 1080 }
adamc@609 1081 }
adamc@609 1082 }
adamc@609 1083
adamc@736 1084 var sig = null;
adamc@736 1085
adamc@1042 1086 var unloading = false, inFlight = null;
adamc@1042 1087
adamc@1042 1088 function unload() {
adamc@1260 1089 unloading = true;
adamc@1042 1090
adamc@1260 1091 for (; inFlight; inFlight = inFlight.next) {
adamc@1260 1092 inFlight.data.abort();
adamc@1260 1093 }
adamc@1042 1094 }
adamc@1042 1095
adamc@736 1096 function requestUri(xhr, uri, needsSig) {
adamc@1260 1097 if (unloading)
adamc@1260 1098 return;
adamc@1042 1099
adamc@1260 1100 xhr.open("POST", uri, true);
adamc@1260 1101 xhr.setRequestHeader("Content-type", "text/plain");
adam@1549 1102 try {
adam@1549 1103 xhr.setRequestHeader("Content-length", "0");
adam@1549 1104 xhr.setRequestHeader("Connection", "close");
adam@1549 1105 } catch (e) { }
adamc@668 1106
adamc@1260 1107 if (client_id != null) {
adamc@1260 1108 xhr.setRequestHeader("UrWeb-Client", client_id.toString());
adamc@1260 1109 xhr.setRequestHeader("UrWeb-Pass", client_pass.toString());
adamc@1260 1110 }
adamc@668 1111
adamc@1260 1112 if (needsSig) {
adamc@1260 1113 if (sig == null)
adamc@1260 1114 whine("Missing cookie signature!");
adamc@736 1115
adamc@1260 1116 xhr.setRequestHeader("UrWeb-Sig", sig);
adamc@1260 1117 }
adamc@736 1118
adamc@1260 1119 inFlight = cons(xhr, inFlight);
adamc@1260 1120 xhr.send(null);
adamc@668 1121 }
adamc@668 1122
adamc@1042 1123 function xhrFinished(xhr) {
adamc@1260 1124 xhr.abort();
adamc@1260 1125 inFlight = remove(xhr, inFlight);
adamc@1042 1126 }
adamc@1042 1127
adamc@1111 1128 function unurlify(parse, s) {
adamc@1260 1129 return parse(s);
adamc@1111 1130 }
adamc@1111 1131
adam@1385 1132 function redirect(s) {
adam@1385 1133 window.location = s;
adam@1385 1134 }
adam@1385 1135
adamc@978 1136 function rc(prefix, uri, parse, k, needsSig) {
adamc@1260 1137 uri = cat(prefix, uri);
adamc@1260 1138 uri = flattenLocal(uri);
adamc@1260 1139 var xhr = getXHR();
adamc@609 1140
adamc@1260 1141 xhr.onreadystatechange = function() {
adamc@1260 1142 if (xhr.readyState == 4) {
adamc@1260 1143 var isok = false;
adamc@612 1144
adamc@1260 1145 try {
adamc@1260 1146 if (xhr.status == 200)
adamc@1260 1147 isok = true;
adamc@1260 1148 } catch (e) { }
adamc@612 1149
adamc@1260 1150 if (isok) {
adam@1446 1151 var lines = xhr.responseText.split("\n");
adam@1446 1152 if (lines.length != 2)
adam@1446 1153 whine("Bad RPC response lines");
adam@1446 1154
adam@1446 1155 eval(lines[0]);
adam@1446 1156
adamc@1260 1157 try {
adam@1446 1158 k(parse(lines[1]));
adamc@1260 1159 } catch (v) {
adamc@1260 1160 doExn(v);
adamc@1260 1161 }
adamc@1260 1162 } else {
adamc@1260 1163 conn();
adamc@1260 1164 }
adamc@1260 1165
adamc@1260 1166 xhrFinished(xhr);
adamc@729 1167 }
adamc@1260 1168 };
adamc@1042 1169
adamc@1260 1170 requestUri(xhr, uri, needsSig);
adamc@609 1171 }
adamc@667 1172
adamc@667 1173 function path_join(s1, s2) {
adamc@1260 1174 if (s1.length > 0 && s1.charAt(s1.length-1) == '/')
adamc@1260 1175 return s1 + s2;
adamc@1260 1176 else
adamc@1260 1177 return s1 + "/" + s2;
adamc@667 1178 }
adamc@667 1179
adamc@670 1180 var channels = [];
adamc@670 1181
adamc@670 1182 function newQueue() {
adamc@1260 1183 return { front : null, back : null };
adamc@670 1184 }
adamc@670 1185 function enqueue(q, v) {
adamc@1260 1186 if (q.front == null) {
adamc@1260 1187 q.front = cons(v, null);
adamc@1260 1188 q.back = q.front;
adamc@1260 1189 } else {
adamc@1260 1190 var node = cons(v, null);
adamc@1260 1191 q.back.next = node;
adamc@1260 1192 q.back = node;
adamc@1260 1193 }
adamc@670 1194 }
adamc@670 1195 function dequeue(q) {
adamc@670 1196 if (q.front == null)
adamc@1260 1197 return null;
adamc@1260 1198 else {
adamc@1260 1199 var r = q.front.data;
adamc@1260 1200 q.front = q.front.next;
adamc@1260 1201 if (q.front == null)
adamc@1260 1202 q.back = null;
adamc@1260 1203 return r;
adamc@1260 1204 }
adamc@670 1205 }
adamc@670 1206
adamc@670 1207 function newChannel() {
adamc@1260 1208 return { msgs : newQueue(), listeners : newQueue() };
adamc@670 1209 }
adamc@670 1210
adamc@667 1211 function listener() {
adamc@1260 1212 var uri = path_join(url_prefix, ".msgs");
adamc@1260 1213 var xhr = getXHR();
adamc@1260 1214 var tid, orsc, onTimeout;
adamc@673 1215
adamc@1260 1216 var connect = function () {
adamc@1260 1217 xhr.onreadystatechange = orsc;
adamc@1260 1218 tid = window.setTimeout(onTimeout, timeout * 500);
adamc@1260 1219 requestUri(xhr, uri, false);
adamc@1260 1220 }
adamc@673 1221
adamc@1260 1222 orsc = function() {
adamc@1260 1223 if (xhr.readyState == 4) {
adamc@1260 1224 window.clearTimeout(tid);
adamc@673 1225
adamc@1260 1226 var isok = false;
adamc@667 1227
adamc@1260 1228 try {
adamc@1260 1229 if (xhr.status == 200)
adamc@1260 1230 isok = true;
adamc@1260 1231 } catch (e) { }
adamc@667 1232
adamc@1260 1233 if (isok) {
adam@1447 1234 var text = xhr.responseText;
adamc@1260 1235 if (text == "")
adamc@1260 1236 return;
adamc@1260 1237 var lines = text.split("\n");
adamc@889 1238
adam@1552 1239 if (lines.length == 1 && lines[0] == "R") {
adam@1553 1240 lameDuck = true;
adam@1553 1241
adam@1552 1242 if (isPost)
adam@1552 1243 history.back();
adam@1552 1244 else
adam@1552 1245 location.reload();
adam@1552 1246
adam@1552 1247 return;
adam@1552 1248 }
adam@1552 1249
adamc@1260 1250 if (lines.length < 2) {
adamc@1260 1251 discon();
adamc@1260 1252 return;
adamc@1260 1253 }
adamc@1260 1254
adam@1447 1255 var messageReader = function(i) {
adam@1447 1256 if (i+1 >= lines.length) {
adam@1447 1257 xhrFinished(xhr);
adam@1447 1258 connect();
adam@1447 1259 }
adam@1447 1260 else {
adam@1447 1261 var chn = lines[i];
adam@1447 1262 var msg = lines[i+1];
adamc@1260 1263
adam@1447 1264 if (chn == "E") {
adam@1447 1265 eval(msg);
adam@1447 1266 window.setTimeout(function() { messageReader(i+2); }, 0);
adam@1447 1267 } else {
adam@1447 1268 if (chn < 0)
adam@1447 1269 whine("Out-of-bounds channel in message from remote server");
adamc@1260 1270
adam@1447 1271 var ch;
adamc@1260 1272
adam@1447 1273 if (chn >= channels.length || channels[chn] == null) {
adam@1447 1274 ch = newChannel();
adam@1447 1275 channels[chn] = ch;
adam@1447 1276 } else
adam@1447 1277 ch = channels[chn];
adamc@1260 1278
adam@1447 1279 var listener = dequeue(ch.listeners);
adam@1447 1280 if (listener == null) {
adam@1447 1281 enqueue(ch.msgs, msg);
adam@1447 1282 } else {
adam@1447 1283 try {
adam@1447 1284 listener(msg);
adam@1447 1285 } catch (v) {
adam@1447 1286 doExn(v);
adam@1447 1287 }
adam@1447 1288 }
adam@1447 1289
adam@1447 1290 messageReader(i+2);
adamc@1260 1291 }
adamc@1260 1292 }
adamc@1260 1293 }
adamc@1260 1294
adam@1447 1295 messageReader(0);
adamc@1260 1296 }
adamc@1260 1297 else {
adamc@1260 1298 try {
adamc@1260 1299 if (xhr.status != 0)
adamc@1260 1300 servErr("Error querying remote server for messages: " + xhr.status);
adamc@1260 1301 } catch (e) { }
adamc@1260 1302 }
adamc@729 1303 }
adamc@1260 1304 };
adamc@669 1305
adamc@1260 1306 onTimeout = function() {
adamc@1260 1307 xhrFinished(xhr);
adamc@1260 1308 connect();
adamc@1260 1309 };
adamc@670 1310
adamc@673 1311 connect();
adamc@667 1312 }
adamc@670 1313
adamc@670 1314 function rv(chn, parse, k) {
adamc@1260 1315 if (chn == null)
adamc@1260 1316 return;
adamc@682 1317
adamc@1260 1318 if (chn < 0)
adamc@1260 1319 whine("Out-of-bounds channel receive");
adamc@670 1320
adamc@1260 1321 var ch;
adamc@670 1322
adamc@1260 1323 if (chn >= channels.length || channels[chn] == null) {
adamc@1260 1324 ch = newChannel();
adamc@1260 1325 channels[chn] = ch;
adamc@1260 1326 } else
adamc@1260 1327 ch = channels[chn];
adamc@670 1328
adamc@1260 1329 var msg = dequeue(ch.msgs);
adamc@1260 1330 if (msg == null) {
adamc@1260 1331 enqueue(ch.listeners, function(msg) { k(parse(msg)); });
adamc@1260 1332 } else {
adamc@1260 1333 try {
adamc@1260 1334 k(parse(msg));
adamc@1260 1335 } catch (v) {
adamc@1260 1336 doExn(v);
adamc@1260 1337 }
adamc@728 1338 }
adamc@670 1339 }
adamc@693 1340
adamc@978 1341 function sl(ms, k) {
adamc@1260 1342 window.setTimeout(function() { k(null); }, ms);
adamc@1021 1343 }
adamc@1021 1344
adamc@1021 1345 function sp(e) {
adamc@1260 1346 execF(e, null);
adamc@978 1347 }
adamc@978 1348
adamc@693 1349
adamc@970 1350 // The Ur interpreter
adamc@970 1351
adamc@970 1352 var urfuncs = [];
adamc@970 1353
adamc@970 1354 function lookup(env, n) {
adamc@1260 1355 while (env != null) {
adamc@1260 1356 if (n == 0)
adamc@1260 1357 return env.data;
adamc@1260 1358 else {
adamc@1260 1359 --n;
adamc@1260 1360 env = env.next;
adamc@1260 1361 }
adamc@970 1362 }
adamc@970 1363
adamc@1260 1364 whine("Out-of-bounds Ur variable reference");
adamc@970 1365 }
adamc@970 1366
adamc@974 1367 function execP(env, p, v) {
adamc@1260 1368 switch (p.c) {
adamc@1260 1369 case "w":
adamc@1260 1370 return env;
adamc@1260 1371 case "v":
adamc@1260 1372 return cons(v, env);
adamc@1260 1373 case "c":
adamc@1260 1374 if (v == p.v)
adamc@1260 1375 return env;
adamc@1260 1376 else
adamc@1260 1377 return false;
adamc@1260 1378 case "s":
adamc@1260 1379 if (v == null)
adamc@1260 1380 return false;
adamc@1260 1381 else
adamc@1260 1382 return execP(env, p.p, p.n ? v.v : v);
adamc@1260 1383 case "1":
adamc@1260 1384 if (v.n != p.n)
adamc@1260 1385 return false;
adamc@1260 1386 else
adamc@1260 1387 return execP(env, p.p, v.v);
adamc@1260 1388 case "r":
adamc@1260 1389 for (var fs = p.l; fs != null; fs = fs.next) {
adamc@1260 1390 env = execP(env, fs.data.p, v["_" + fs.data.n]);
adamc@1260 1391 if (env == false)
adamc@1260 1392 return false;
adamc@1260 1393 }
adamc@1260 1394 return env;
adamc@1260 1395 default:
adamc@1260 1396 whine("Unknown Ur pattern kind" + p.c);
adamc@974 1397 }
adamc@974 1398 }
adamc@974 1399
adamc@970 1400 function exec0(env, e) {
adamc@1260 1401 return exec1(env, null, e);
adamc@1020 1402 }
adamc@1020 1403
adamc@1020 1404 function exec1(env, stack, e) {
adamc@1260 1405 var stack, usedK = false;
adamc@970 1406
adamc@1260 1407 var saveEnv = function() {
adamc@1260 1408 if (stack.next != null && stack.next.data.c != "<")
adamc@1260 1409 stack = cons({c: "<", env: env}, stack.next);
adamc@1260 1410 else
adamc@1260 1411 stack = stack.next;
adamc@1260 1412 };
adamc@983 1413
adamc@1260 1414 while (true) {
adamc@1260 1415 switch (e.c) {
adamc@1260 1416 case "c":
adamc@1260 1417 var v = e.v;
adamc@1260 1418 if (stack == null)
adamc@1260 1419 return v;
adamc@1260 1420 var fr = stack.data;
adamc@970 1421
adamc@1260 1422 switch (fr.c) {
adamc@1260 1423 case "s":
adamc@1260 1424 e = {c: "c", v: {v: v}};
adamc@1260 1425 stack = stack.next;
adamc@1260 1426 break;
adamc@1260 1427 case "1":
adamc@1260 1428 e = {c: "c", v: {n: fr.n, v: v}};
adamc@1260 1429 stack = stack.next;
adamc@1260 1430 break;
adamc@1260 1431 case "f":
adamc@1260 1432 fr.args[fr.pos++] = v;
adamc@1260 1433 if (fr.a == null) {
adamc@1260 1434 var res;
adamc@1260 1435 stack = stack.next;
adamc@1035 1436
adamc@1260 1437 if (fr.f.apply)
adamc@1260 1438 res = fr.f.apply(null, fr.args);
adamc@1260 1439 else if (fr.args.length == 0)
adamc@1260 1440 res = fr.f();
adamc@1260 1441 else if (fr.args.length == 1)
adamc@1260 1442 res = fr.f(fr.args[0]);
adamc@1260 1443 else if (fr.args.length == 2)
adamc@1260 1444 res = fr.f(fr.args[0], fr.args[1]);
adamc@1260 1445 else if (fr.args.length == 3)
adamc@1260 1446 res = fr.f(fr.args[0], fr.args[1], fr.args[2]);
adamc@1260 1447 else if (fr.args.length == 4)
adamc@1260 1448 res = fr.f(fr.args[0], fr.args[1], fr.args[2], fr.args[3]);
adamc@1260 1449 else if (fr.args.length == 5)
adamc@1260 1450 res = fr.f(fr.args[0], fr.args[1], fr.args[2], fr.args[3], fr.args[4]);
adamc@1260 1451 else
adamc@1260 1452 whine("Native function has " + fr.args.length + " args, but there is no special case for that count.");
adamc@1035 1453
adamc@1260 1454 e = {c: "c", v: res};
adamc@1260 1455 if (usedK) return null;
adamc@1260 1456 } else {
adamc@1260 1457 e = fr.a.data;
adamc@1260 1458 fr.a = fr.a.next;
adamc@1260 1459 }
adamc@1260 1460 break;
adamc@1260 1461 case "a1":
adamc@1260 1462 e = fr.x;
adamc@1260 1463 stack = cons({c: "a2", f: v}, stack.next);
adamc@1260 1464 break;
adamc@1260 1465 case "a2":
adamc@1260 1466 if (fr.f == null)
adamc@1260 1467 whine("Ur: applying null function");
adamc@1260 1468 else if (fr.f.body) {
adamc@1260 1469 saveEnv();
adamc@1260 1470 env = cons(v, fr.f.env);
adamc@1260 1471 e = fr.f.body;
adamc@1260 1472 } else {
adamc@1260 1473 e = {c: "c", v: fr.f(v)};
adamc@1260 1474 stack = stack.next;
adamc@1260 1475 }
adamc@1260 1476 break;
adamc@1260 1477 case "<":
adamc@1260 1478 env = fr.env;
adamc@1260 1479 stack = stack.next;
adamc@1260 1480 break;
adamc@1260 1481 case "r":
adamc@1260 1482 fr.fs["_" + fr.n] = v;
adamc@1260 1483 if (fr.l == null) {
adamc@1260 1484 e = {c: "c", v: fr.fs};
adamc@1260 1485 stack = stack.next;
adamc@1260 1486 } else {
adamc@1260 1487 fr.n = fr.l.data.n;
adamc@1260 1488 e = fr.l.data.v;
adamc@1260 1489 fr.l = fr.l.next;
adamc@1260 1490 }
adamc@1260 1491 break;
adamc@1260 1492 case ".":
adamc@1260 1493 e = {c: "c", v: v["_" + fr.f]};
adamc@1260 1494 stack = stack.next;
adamc@1260 1495 break;
adamc@1260 1496 case ";":
adamc@1260 1497 e = fr.e2;
adamc@1260 1498 stack = stack.next;
adamc@1260 1499 break;
adamc@1260 1500 case "=":
adamc@1260 1501 saveEnv();
adamc@1260 1502 env = cons(v, env);
adamc@1260 1503 e = fr.e2;
adamc@1260 1504 break;
adamc@1260 1505 case "m":
adamc@1260 1506 var ps;
adamc@1260 1507 for (ps = fr.p; ps != null; ps = ps.next) {
adamc@1260 1508 var r = execP(env, ps.data.p, v);
adamc@1260 1509 if (r != false) {
adamc@1260 1510 saveEnv();
adamc@1260 1511 env = r;
adamc@1260 1512 e = ps.data.b;
adamc@1260 1513 break;
adamc@1260 1514 }
adamc@1260 1515 }
adamc@1260 1516 if (ps == null)
adamc@1260 1517 whine("Match failure in Ur interpretation");
adamc@1260 1518 break;
adamc@1260 1519 default:
adamc@1260 1520 whine("Unknown Ur continuation kind " + fr.c);
adamc@1260 1521 }
adamc@1260 1522
adamc@1260 1523 break;
adamc@1260 1524 case "v":
adamc@1260 1525 e = {c: "c", v: lookup(env, e.n)};
adamc@1260 1526 break;
adamc@1260 1527 case "n":
adamc@1260 1528 var idx = e.n;
adamc@1260 1529 e = urfuncs[idx];
adamc@1260 1530 if (e.c == "t")
adamc@1262 1531 e = urfuncs[idx] = eval("(" + e.f + ")");
adamc@1260 1532 break;
adamc@1260 1533 case "s":
adamc@1260 1534 stack = cons({c: "s"}, stack);
adamc@1260 1535 e = e.v;
adamc@1260 1536 break;
adamc@1260 1537 case "1":
adamc@1260 1538 stack = cons({c: "1", n: e.n}, stack);
adamc@1260 1539 e = e.v;
adamc@1260 1540 break;
adamc@1260 1541 case "f":
adamc@1260 1542 if (e.a == null)
adamc@1260 1543 e = {c: "c", v: (eval(e.f))()};
adamc@1260 1544 else {
adamc@1260 1545 var args = [];
adamc@1260 1546 stack = cons({c: "f", f: eval(e.f), args: args, pos: 0, a: e.a.next}, stack);
adamc@1260 1547 if (!e.a.data.c) alert("[2] fr.f = " + e.f + "; 0 = " + e.a.data);
adamc@1260 1548 e = e.a.data;
adamc@1260 1549 }
adamc@1260 1550 break;
adamc@1260 1551 case "l":
adamc@1260 1552 e = {c: "c", v: {env: env, body: e.b}};
adamc@1260 1553 break;
adamc@1260 1554 case "a":
adamc@1260 1555 stack = cons({c: "a1", x: e.x}, stack);
adamc@1260 1556 e = e.f;
adamc@1260 1557 break;
adamc@1260 1558 case "r":
adamc@1260 1559 if (e.l == null)
adamc@1260 1560 whine("Empty Ur record in interpretation");
adamc@1260 1561 var fs = {};
adamc@1260 1562 stack = cons({c: "r", n: e.l.data.n, fs: fs, l: e.l.next}, stack);
adamc@1260 1563 e = e.l.data.v;
adamc@1260 1564 break;
adamc@1260 1565 case ".":
adamc@1260 1566 stack = cons({c: ".", f: e.f}, stack);
adamc@1260 1567 e = e.r;
adamc@1260 1568 break;
adamc@1260 1569 case ";":
adamc@1260 1570 stack = cons({c: ";", e2: e.e2}, stack);
adamc@1260 1571 e = e.e1;
adamc@1260 1572 break;
adamc@1260 1573 case "=":
adamc@1260 1574 stack = cons({c: "=", e2: e.e2}, stack);
adamc@1260 1575 e = e.e1;
adamc@1260 1576 break;
adamc@1260 1577 case "m":
adamc@1260 1578 stack = cons({c: "m", p: e.p}, stack);
adamc@1260 1579 e = e.e;
adamc@1260 1580 break;
adamc@1260 1581 case "e":
adamc@1260 1582 e = {c: "c", v: cs({c: "wc", env: env, body: e.e})};
adamc@1260 1583 break;
adamc@1260 1584 case "wc":
adamc@1260 1585 env = e.env;
adamc@1260 1586 e = e.body;
adamc@1260 1587 break;
adamc@1260 1588 case "K":
adamc@1260 1589 { var savedStack = stack.next, savedEnv = env;
adamc@1260 1590 e = {c: "c", v: function(v) { return exec1(savedEnv, savedStack, {c: "c", v: v}); } };}
adamc@1260 1591 usedK = true;
rmbruijn@1597 1592 break;
adamc@1260 1593 default:
adamc@1260 1594 whine("Unknown Ur expression kind " + e.c);
adamc@970 1595 }
adamc@970 1596 }
adamc@970 1597 }
adamc@970 1598
adamc@976 1599 function execD(e) {
adamc@1260 1600 return exec0(null, e);
adamc@976 1601 }
adamc@976 1602
adamc@970 1603 function exec(e) {
adamc@1260 1604 var r = exec0(null, e);
adamc@970 1605
adamc@1260 1606 if (r != null && r.body != null)
adamc@1260 1607 return function(v) { return exec0(cons(v, r.env), r.body); };
adamc@1260 1608 else
adamc@1260 1609 return r;
adamc@895 1610 }
adamc@895 1611
adamc@977 1612 function execF(f, x) {
adamc@1260 1613 return exec0(cons(x, f.env), f.body);
adamc@977 1614 }
adamc@977 1615
adamc@895 1616
adam@1290 1617 // Wrappers
adam@1290 1618
adam@1290 1619 function confrm(s) {
adam@1290 1620 return confirm(s) ? true : false;
adam@1290 1621 }
adam@1290 1622
adam@1290 1623
adamc@1323 1624 // URL blessing
adamc@1323 1625
adamc@1323 1626 var urlRules = null;
adamc@1323 1627
adamc@1323 1628 function checkUrl(s) {
adamc@1323 1629 for (var r = urlRules; r; r = r.next) {
adamc@1323 1630 var ru = r.data;
adamc@1323 1631 if (ru.prefix ? s.indexOf(ru.pattern) == 0 : s == ru.pattern)
adamc@1323 1632 return ru.allow ? s : null;
adamc@1323 1633 }
adamc@1323 1634
adamc@1323 1635 return null;
adamc@1323 1636 }
adamc@1323 1637
adamc@1323 1638 function bless(s) {
adamc@1323 1639 u = checkUrl(s);
adamc@1323 1640 if (u == null)
adamc@1323 1641 er("Disallowed URL: " + s);
adamc@1323 1642 return u;
adamc@1323 1643 }
adamc@1323 1644
adam@1556 1645
adam@1556 1646 // ID generation
adam@1556 1647
adam@1556 1648 var nextId = 0;
adam@1556 1649
adam@1556 1650 function fresh() {
adam@1556 1651 return (--nextId).toString();
adam@1556 1652 }
adam@1556 1653
rmbruijn@1597 1654
adamc@693 1655 // App-specific code