Mercurial > urweb

annotate lib/js/urweb.js @ 2207:f0f7bf234893

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