Mercurial > urweb

annotate lib/js/urweb.js @ 1882:77cde56d41b6

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