adamc@1036: // Detect browser quirks that we should be aware of.
adamc@1036:
adamc@1036: function needsDynPrefix() {
adamc@1260: var span = document.createElement("span");
adamc@1260: span.innerHTML = "";
adamc@1260: var scripts = span.getElementsByTagName("script");
adamc@1260: return scripts.length == 0;
adamc@1036: }
adamc@1036:
adamc@1036: var dynPrefix = needsDynPrefix() ? "A" : "";
adamc@1036:
adamc@970: // Function versions of operators
adamc@970:
adamc@970: function not(x) { return !x; }
adamc@970: function neg(x) { return -x; }
adamc@970:
adamc@970: function eq(x, y) { return x == y; }
adamc@970: function plus(x, y) { return x + y; }
adamc@970: function minus(x, y) { return x - y; }
adamc@970: function times(x, y) { return x * y; }
adamc@970: function div(x, y) { return x / y; }
adam@1360: function divInt(x, y) { var n = x / y; return n < 0 ? Math.ceil(n) : Math.floor(n); }
adamc@970: function mod(x, y) { return x % y; }
adam@1360: function modInt(x, y) { var n = x % y; return n < 0 ? Math.ceil(n) : Math.floor(n); }
adamc@970: function lt(x, y) { return x < y; }
adamc@970: function le(x, y) { return x <= y; }
adamc@970:
adamc@1061: // Characters
adamc@1061:
adamc@1061: function isLower(c) { return c >= 'a' && c <= 'z'; }
adamc@1061: function isUpper(c) { return c >= 'A' && c <= 'Z'; }
adamc@1061: function isAlpha(c) { return isLower(c) || isUpper(c); }
adamc@1061: function isDigit(c) { return c >= '0' && c <= '9'; }
adamc@1061: function isAlnum(c) { return isAlpha(c) || isDigit(c); }
adamc@1061: function isBlank(c) { return c == ' ' || c == '\t'; }
adamc@1061: function isSpace(c) { return isBlank(c) || c == '\r' || c == '\n'; }
adamc@1061: function isXdigit(c) { return isDigit(c) || (c >= 'a' && c <= 'f') || (c >= 'A' && c <= 'F'); }
adamc@1177: function toLower(c) { return c.toLowerCase(); }
adamc@1177: function toUpper(c) { return c.toUpperCase(); }
adamc@1061:
adamc@1061:
adamc@692: // Lists
adamc@692:
adamc@580: function cons(v, ls) {
adamc@1260: return { next : ls, data : v };
adamc@690: }
adamc@969: function rev(ls) {
adamc@1260: var acc = null;
adamc@1260: for (; ls; ls = ls.next)
adamc@1260: acc = cons(ls.data, acc);
adamc@1260: return acc;
adamc@969: }
adamc@690: function concat(ls1, ls2) {
adamc@1260: var acc = ls2;
adamc@1260: ls1 = rev(ls1);
adamc@1260: for (; ls1; ls1 = ls1.next)
adamc@1260: acc = cons(ls1.data, acc);
adamc@1260: return acc;
adamc@690: }
adamc@690: function member(x, ls) {
adamc@1260: for (; ls; ls = ls.next)
adamc@1260: if (ls.data == x)
adamc@1260: return true;
adamc@1260: return false;
adamc@690: }
adamc@690: function remove(x, ls) {
adamc@1260: var acc = null;
adamc@969:
adamc@1260: for (; ls; ls = ls.next)
adamc@1260: if (ls.data == x)
adamc@1260: return concat(acc, ls.next);
adamc@1260: else
adamc@1260: acc = cons(ls.data, acc);
adamc@969:
adamc@1260: return ls;
adamc@690: }
adamc@690: function union(ls1, ls2) {
adamc@1260: var acc = ls2;
adamc@969:
adamc@1260: for (; ls1; ls1 = ls1.next)
adamc@1260: if (!member(ls1.data, ls2))
adamc@1260: acc = cons(ls1.data, acc);
adamc@969:
adamc@1260: return acc;
adamc@580: }
adamc@703: function length(ls) {
adamc@1260: var acc = 0;
adamc@969:
adamc@1260: for (; ls; ls = ls.next)
adamc@1260: ++acc;
adamc@969:
adamc@1260: return acc;
adamc@703: }
adamc@670:
adamc@690:
adam@1571: // Floats
adam@1571:
adam@1571: function float(n) {
adam@1571: return n;
adam@1571: }
adam@1571:
adam@1571: function trunc(n) {
adam@1571: return ~~n;
adam@1571: }
adam@1571:
adam@1571: function ceil(n) {
adam@1571: return Math.ceil(n);
adam@1571: }
adam@1571:
adam@1571: function round(n) {
adam@1571: return Math.round(n);
adam@1571: }
adam@1571:
adam@1571:
adam@1599: // Time, represented as counts of microseconds since the epoch
adam@1487:
adam@1487: function showTime(tm) {
adam@1487: var newDate = new Date();
adam@1487: newDate.setTime(tm / 1000);
adam@1599: var r = newDate.toUTCString();
adam@1599: return r;
adam@1487: }
adam@1487:
adam@1487: function now() {
adam@1487: return (new Date()).getTime() * 1000;
adam@1487: }
adam@1487:
adam@1514: function diffInSeconds(tm1, tm2) {
adam@1514: return Math.round((tm2 - tm1) / 1000000);
adam@1514: }
adam@1514:
adam@1514: function toSeconds(tm) {
adam@1514: return Math.round(tm / 1000000);
adam@1514: }
adam@1514:
adam@1518: function addSeconds(tm, n) {
adam@1518: return tm + n * 1000000;
adam@1518: }
adam@1518:
adam@1599: function stringToTime_error(string) {
adam@1599: var t = Date.parse(string);
adam@1599: if (isNaN(t))
adam@1599: onFail("Invalid date string: " + string);
adam@1599: else
adam@1599: return t * 1000;
adam@1599: }
adam@1599:
adam@1599: function stringToTime(string) {
adam@1599: try {
adam@1599: var t = Date.parse(string);
adam@1599: if (isNaN(t))
adam@1599: return null;
adam@1599: else
adam@1599: return t * 1000;
adam@1599: } catch (e) {
adam@1599: return null;
adam@1599: }
rmbruijn@1597: }
rmbruijn@1597:
adam@1609: /*
adam@1609: strftime for Javascript
adam@1609: Copyright (c) 2008, Philip S Tellis
adam@1609: All rights reserved.
adam@1609:
adam@1609: This code is distributed under the terms of the BSD licence
adam@1609:
adam@1609: Redistribution and use of this software in source and binary forms, with or without modification,
adam@1609: are permitted provided that the following conditions are met:
adam@1609:
adam@1609: * Redistributions of source code must retain the above copyright notice, this list of conditions
adam@1609: and the following disclaimer.
adam@1609: * Redistributions in binary form must reproduce the above copyright notice, this list of
adam@1609: conditions and the following disclaimer in the documentation and/or other materials provided
adam@1609: with the distribution.
adam@1609: * The names of the contributors to this file may not be used to endorse or promote products
adam@1609: derived from this software without specific prior written permission.
adam@1609:
adam@1609: THIS SOFTWARE IS PROVIDED BY THE COPYRIGHT HOLDERS AND CONTRIBUTORS "AS IS" AND ANY EXPRESS OR IMPLIED
adam@1609: WARRANTIES, INCLUDING, BUT NOT LIMITED TO, THE IMPLIED WARRANTIES OF MERCHANTABILITY AND FITNESS FOR A
adam@1609: PARTICULAR PURPOSE ARE DISCLAIMED. IN NO EVENT SHALL THE COPYRIGHT OWNER OR CONTRIBUTORS BE LIABLE FOR
adam@1609: ANY DIRECT, INDIRECT, INCIDENTAL, SPECIAL, EXEMPLARY, OR CONSEQUENTIAL DAMAGES (INCLUDING, BUT NOT
adam@1609: LIMITED TO, PROCUREMENT OF SUBSTITUTE GOODS OR SERVICES; LOSS OF USE, DATA, OR PROFITS; OR BUSINESS
adam@1609: INTERRUPTION) HOWEVER CAUSED AND ON ANY THEORY OF LIABILITY, WHETHER IN CONTRACT, STRICT LIABILITY, OR
adam@1609: TORT (INCLUDING NEGLIGENCE OR OTHERWISE) ARISING IN ANY WAY OUT OF THE USE OF THIS SOFTWARE, EVEN IF
adam@1609: ADVISED OF THE POSSIBILITY OF SUCH DAMAGE.
adam@1609: */
adam@1609:
adam@1609: Date.ext = {};
adam@1609: Date.ext.util = {};
adam@1609: Date.ext.util.xPad=function(x, pad, r)
adam@1609: {
adam@1609: if(typeof(r) == 'undefined')
adam@1609: {
adam@1609: r=10;
adam@1609: }
adam@1609: for( ; parseInt(x, 10)1; r/=10)
adam@1609: x = pad.toString() + x;
adam@1609: return x.toString();
adam@1609: };
adam@1609: Date.prototype.locale = 'en-US';
adam@1609: if(document.getElementsByTagName('html') && document.getElementsByTagName('html')[0].lang)
adam@1609: {
adam@1609: Date.prototype.locale = document.getElementsByTagName('html')[0].lang;
adam@1609: }
adam@1609: Date.ext.locales = { };
adam@1609: Date.ext.locales.en = {
adam@1609: a: ['Sun', 'Mon', 'Tue', 'Wed', 'Thu', 'Fri', 'Sat'],
adam@1609: A: ['Sunday', 'Monday', 'Tuesday', 'Wednesday', 'Thursday', 'Friday', 'Saturday'],
adam@1609: b: ['Jan', 'Feb', 'Mar', 'Apr', 'May', 'Jun', 'Jul', 'Aug', 'Sep', 'Oct', 'Nov', 'Dec'],
adam@1609: B: ['January', 'February', 'March', 'April', 'May', 'June', 'July', 'August', 'September', 'October', 'November', 'December'],
adam@1609: c: '%a %d %b %Y %T %Z',
adam@1609: p: ['AM', 'PM'],
adam@1609: P: ['am', 'pm'],
adam@1609: x: '%d/%m/%y',
adam@1609: X: '%T'
adam@1609: };
adam@1609: Date.ext.locales['en-US'] = Date.ext.locales.en;
adam@1609: Date.ext.locales['en-US'].c = '%a %d %b %Y %r %Z';
adam@1609: Date.ext.locales['en-US'].x = '%D';
adam@1609: Date.ext.locales['en-US'].X = '%r';
adam@1609: Date.ext.locales['en-GB'] = Date.ext.locales.en;
adam@1609: Date.ext.locales['en-AU'] = Date.ext.locales['en-GB'];
adam@1609: Date.ext.formats = {
adam@1609: a: function(d) { return Date.ext.locales[d.locale].a[d.getDay()]; },
adam@1609: A: function(d) { return Date.ext.locales[d.locale].A[d.getDay()]; },
adam@1609: b: function(d) { return Date.ext.locales[d.locale].b[d.getMonth()]; },
adam@1609: B: function(d) { return Date.ext.locales[d.locale].B[d.getMonth()]; },
adam@1609: c: 'toLocaleString',
adam@1609: C: function(d) { return Date.ext.util.xPad(parseInt(d.getFullYear()/100, 10), 0); },
adam@1609: d: ['getDate', '0'],
adam@1609: e: ['getDate', ' '],
adam@1609: g: function(d) { return Date.ext.util.xPad(parseInt(Date.ext.util.G(d)/100, 10), 0); },
adam@1609: G: function(d) {
adam@1609: var y = d.getFullYear();
adam@1609: var V = parseInt(Date.ext.formats.V(d), 10);
adam@1609: var W = parseInt(Date.ext.formats.W(d), 10);
adam@1609:
adam@1609: if(W > V) {
adam@1609: y++;
adam@1609: } else if(W===0 && V>=52) {
adam@1609: y--;
adam@1609: }
adam@1609:
adam@1609: return y;
adam@1609: },
adam@1609: H: ['getHours', '0'],
adam@1609: I: function(d) { var I=d.getHours()%12; return Date.ext.util.xPad(I===0?12:I, 0); },
adam@1609: j: function(d) {
adam@1609: var ms = d - new Date('' + d.getFullYear() + '/1/1 GMT');
adam@1609: ms += d.getTimezoneOffset()*60000;
adam@1609: var doy = parseInt(ms/60000/60/24, 10)+1;
adam@1609: return Date.ext.util.xPad(doy, 0, 100);
adam@1609: },
adam@1609: m: function(d) { return Date.ext.util.xPad(d.getMonth()+1, 0); },
adam@1609: M: ['getMinutes', '0'],
adam@1609: p: function(d) { return Date.ext.locales[d.locale].p[d.getHours() >= 12 ? 1 : 0 ]; },
adam@1609: P: function(d) { return Date.ext.locales[d.locale].P[d.getHours() >= 12 ? 1 : 0 ]; },
adam@1609: S: ['getSeconds', '0'],
adam@1609: u: function(d) { var dow = d.getDay(); return dow===0?7:dow; },
adam@1609: U: function(d) {
adam@1609: var doy = parseInt(Date.ext.formats.j(d), 10);
adam@1609: var rdow = 6-d.getDay();
adam@1609: var woy = parseInt((doy+rdow)/7, 10);
adam@1609: return Date.ext.util.xPad(woy, 0);
adam@1609: },
adam@1609: V: function(d) {
adam@1609: var woy = parseInt(Date.ext.formats.W(d), 10);
adam@1609: var dow1_1 = (new Date('' + d.getFullYear() + '/1/1')).getDay();
adam@1609: var idow = woy + (dow1_1 > 4 || dow1_1 <= 1 ? 0 : 1);
adam@1609: if(idow == 53 && (new Date('' + d.getFullYear() + '/12/31')).getDay() < 4)
adam@1609: {
adam@1609: idow = 1;
adam@1609: }
adam@1609: else if(idow === 0)
adam@1609: {
adam@1609: idow = Date.ext.formats.V(new Date('' + (d.getFullYear()-1) + '/12/31'));
adam@1609: }
adam@1609:
adam@1609: return Date.ext.util.xPad(idow, 0);
adam@1609: },
adam@1609: w: 'getDay',
adam@1609: W: function(d) {
adam@1609: var doy = parseInt(Date.ext.formats.j(d), 10);
adam@1609: var rdow = 7-Date.ext.formats.u(d);
adam@1609: var woy = parseInt((doy+rdow)/7, 10);
adam@1609: return Date.ext.util.xPad(woy, 0, 10);
adam@1609: },
adam@1609: y: function(d) { return Date.ext.util.xPad(d.getFullYear()%100, 0); },
adam@1609: Y: 'getFullYear',
adam@1609: z: function(d) {
adam@1609: var o = d.getTimezoneOffset();
adam@1609: var H = Date.ext.util.xPad(parseInt(Math.abs(o/60), 10), 0);
adam@1609: var M = Date.ext.util.xPad(o%60, 0);
adam@1609: return (o>0?'-':'+') + H + M;
adam@1609: },
adam@1609: Z: function(d) { return d.toString().replace(/^.*\(([^)]+)\)$/, '$1'); },
adam@1609: '%': function(d) { return '%'; }
adam@1609: };
adam@1609: Date.ext.aggregates = {
adam@1609: c: 'locale',
adam@1609: D: '%m/%d/%y',
adam@1609: h: '%b',
adam@1609: n: '\n',
adam@1609: r: '%I:%M:%S %p',
adam@1609: R: '%H:%M',
adam@1609: t: '\t',
adam@1609: T: '%H:%M:%S',
adam@1609: x: 'locale',
adam@1609: X: 'locale'
adam@1609: };
adam@1609: Date.ext.aggregates.z = Date.ext.formats.z(new Date());
adam@1609: Date.ext.aggregates.Z = Date.ext.formats.Z(new Date());
adam@1609: Date.ext.unsupported = { };
adam@1609: function strftime(fmt, thisTime)
adam@1609: {
adam@1609: var thisDate = new Date();
adam@1609: thisDate.setTime(thisTime / 1000);
adam@1609:
adam@1609: if(!(thisDate.locale in Date.ext.locales))
adam@1609: {
adam@1609: if(thisDate.locale.replace(/-[a-zA-Z]+$/, '') in Date.ext.locales)
adam@1609: {
adam@1609: thisDate.locale = thisDate.locale.replace(/-[a-zA-Z]+$/, '');
adam@1609: }
adam@1609: else
adam@1609: {
adam@1609: thisDate.locale = 'en-US';
adam@1609: }
adam@1609: }
adam@1609:
adam@1609: var d = thisDate;
adam@1609: while(fmt.match(/%[cDhnrRtTxXzZ]/))
adam@1609: {
adam@1609: fmt = fmt.replace(/%([cDhnrRtTxXzZ])/g, function(m0, m1)
adam@1609: {
adam@1609: var f = Date.ext.aggregates[m1];
adam@1609: return (f == 'locale' ? Date.ext.locales[d.locale][m1] : f);
adam@1609: });
adam@1609: }
adam@1609:
adam@1609: var str = fmt.replace(/%([aAbBCdegGHIjmMpPSuUVwWyY%])/g, function(m0, m1)
adam@1609: {
adam@1609: var f = Date.ext.formats[m1];
adam@1609: if(typeof(f) == 'string') {
adam@1609: return d[f]();
adam@1609: } else if(typeof(f) == 'function') {
adam@1609: return f.call(d, d);
adam@1609: } else if(typeof(f) == 'object' && typeof(f[0]) == 'string') {
adam@1609: return Date.ext.util.xPad(d[f[0]](), f[1]);
adam@1609: } else {
adam@1609: return m1;
adam@1609: }
adam@1609: });
adam@1609: d=null;
adam@1609: return str;
adam@1609: };
adam@1609:
adam@1609: // End of code from Philip S Tellis
adam@1609:
adam@1487:
adamc@729: // Error handling
adamc@729:
adamc@729: function whine(msg) {
adamc@1260: alert(msg);
adamc@1260: throw msg;
adamc@729: }
adamc@729:
adamc@810: function pf(loc) {
adamc@1260: throw ("Pattern match failure (" + loc + ")");
adamc@729: }
adamc@729:
adam@1553: var lameDuck = false;
adam@1553:
adamc@798: function runHandlers(kind, ls, arg) {
adam@1553: if (!lameDuck) {
adam@1553: if (ls == null)
adam@1553: alert(kind + ": " + arg);
adam@1553: for (; ls; ls = ls.next)
adam@1553: try {
adam@1553: exec({c:"a", f:{c:"a", f:ls.data, x:{c:"c", v:arg}}, x:{c:"c", v:null}});
adam@1553: } catch (v) { }
adam@1553: }
adamc@729: }
adamc@729:
adamc@729: var errorHandlers = null;
adamc@729:
adamc@729: function onError(f) {
adamc@1260: errorHandlers = cons(f, errorHandlers);
adamc@729: }
adamc@729:
adamc@729: function er(s) {
adamc@1260: runHandlers("Error", errorHandlers, s);
adamc@1260: throw {uw_error: s};
adamc@729: }
adamc@729:
adamc@729: var failHandlers = null;
adamc@729:
adamc@729: function onFail(f) {
adamc@1260: failHandlers = cons(f, failHandlers);
adamc@729: }
adamc@729:
adamc@729: function doExn(v) {
adamc@1260: if (v == null || v.uw_error == null) {
adamc@1260: var s = (v == null ? "null" : v.message ? v.message : v.toString());
adamc@1260: if (v != null && v.fileName && v.lineNumber)
adamc@1260: s += " (" + v.fileName + ":" + v.lineNumber + ")";
adamc@1260: runHandlers("Fail", failHandlers, s);
adamc@1260: }
adamc@729: }
adamc@729:
adamc@729: var disconnectHandlers = null;
adamc@729:
adamc@976: function flift(f) {
kkallio@1484: return {c: "c", v:{env:cons(f,null), body:{c:"v", n:1}}};
adamc@976: }
adamc@976:
adamc@729: function onDisconnect(f) {
adamc@1260: disconnectHandlers = cons(flift(f), disconnectHandlers);
adamc@729: }
adamc@729:
adamc@729: function discon() {
adamc@1260: runHandlers("Disconnect", disconnectHandlers, null);
adamc@729: }
adamc@729:
adamc@729: var connectHandlers = null;
adamc@729:
adamc@729: function onConnectFail(f) {
adamc@1260: connectHandlers = cons(flift(f), connectHandlers);
adamc@729: }
adamc@729:
adamc@729: function conn() {
adamc@1260: runHandlers("Connect", connectHandlers, null);
adamc@729: }
adamc@729:
adamc@729: var serverHandlers = null;
adamc@729:
adamc@729: function onServerError(f) {
adamc@1260: serverHandlers = cons(f, serverHandlers);
adamc@729: }
adamc@729:
adamc@729: function servErr(s) {
adamc@1260: window.setTimeout(function () { runHandlers("Server", serverHandlers, s); }, 0);
adamc@729: }
adamc@729:
adam@1555: // Key events
adam@1555:
adam@1555: var uw_event = null;
adam@1555:
adam@1555: function kc() {
adam@1555: return window.event ? event.keyCode : (uw_event ? uw_event.which : 0);
adam@1555: }
adam@1555:
adam@1555: // Document events
adam@1555:
adam@1555: function uw_handler(name, f) {
adam@1555: var old = document[name];
adam@1555: if (old == undefined)
adam@1559: document[name] = function(event) { uw_event = event; execF(f); };
adam@1555: else
adam@1559: document[name] = function(event) { uw_event = event; old(); execF(f); };
adam@1555: }
adam@1555:
adam@1555: function uw_onClick(f) {
adam@1555: uw_handler("onclick", f);
adam@1555: }
adam@1555:
adam@1555: function uw_onDblclick(f) {
adam@1555: uw_handler("ondblclick", f);
adam@1555: }
adam@1555:
adam@1555: function uw_onMousedown(f) {
adam@1555: uw_handler("onmousedown", f);
adam@1555: }
adam@1555:
adam@1555: function uw_onMouseup(f) {
adam@1555: uw_handler("onmouseup", f);
adam@1555: }
adam@1555:
adam@1555: function uw_keyHandler(name, f) {
adam@1555: var old = document[name];
adam@1555: if (old == undefined)
adam@1559: document[name] = function(event) { uw_event = event; execF(execF(f, kc())); };
adam@1555: else
adam@1559: document[name] = function(event) { uw_event = event; old(); execF(execF(f, kc())); };
adam@1555: }
adam@1555:
adam@1555: function uw_onKeydown(f) {
adam@1555: uw_keyHandler("onkeydown", f);
adam@1555: }
adam@1555:
adam@1555: function uw_onKeypress(f) {
adam@1555: uw_keyHandler("onkeypress", f);
adam@1555: }
adam@1555:
adam@1555: function uw_onKeyup(f) {
adam@1555: uw_keyHandler("onkeyup", f);
adam@1555: }
adam@1555:
adam@1559: // Cancelling of further event processing
adam@1559:
adam@1559: function uw_preventDefault() {
adam@1559: var e = window.event ? window.event : uw_event;
adam@1559: e.returnValue = false;
adam@1559: if (e.preventDefault) e.preventDefault();
adam@1559: }
adam@1559:
adam@1559: function uw_stopPropagation() {
adam@1559: var e = window.event ? window.event : uw_event;
adam@1559: e.cancelBubble = true;
adam@1559: if (e.stopPropagation) e.stopPropagation();
adam@1559: }
adamc@729:
adamc@692: // Embedding closures in XML strings
adamc@692:
adamc@693: function cs(f) {
adamc@1260: return {closure: f};
adamc@693: }
adamc@693:
adamc@693: function isWeird(v) {
adamc@1260: return v.closure != null || v.cat1 != null;
adamc@693: }
adamc@693:
adamc@692: function cat(s1, s2) {
adamc@1260: if (isWeird(s1) || isWeird(s2))
adamc@1260: return {cat1: s1, cat2: s2};
adamc@1260: else
adamc@1260: return s1 + s2;
adamc@692: }
adamc@692:
adamc@692: var closures = [];
adamc@703: var freeClosures = null;
adamc@692:
adamc@692: function newClosure(f) {
adamc@1260: var n;
adamc@1260: if (freeClosures == null) {
adamc@1260: n = closures.length;
adamc@1260: } else {
adamc@1260: n = freeClosures.data;
adamc@1260: freeClosures = freeClosures.next;
adamc@1260: }
adamc@1260: closures[n] = f;
adamc@1260: return n;
adamc@692: }
adamc@692:
adamc@703: function freeClosure(n) {
adamc@1260: closures[n] = null;
adamc@1260: freeClosures = cons(n, freeClosures);
adamc@703: }
adamc@703:
adamc@692: function cr(n) {
adamc@1260: return closures[n];
adamc@692: }
adamc@692:
adamc@703: function flatten(cls, tr) {
adamc@1260: if (tr.cat1 != null)
adamc@1260: return flatten(cls, tr.cat1) + flatten(cls, tr.cat2);
adamc@1260: else if (tr.closure != null) {
adamc@1260: var cl = newClosure(tr.closure);
adamc@1260: cls.v = cons(cl, cls.v);
adamc@1260: return "cr(" + cl + ")";
adamc@1260: } else
adamc@1260: return tr;
adamc@692: }
adamc@692:
adamc@728: function flattenLocal(s) {
adamc@1260: var cls = {v : null};
adamc@1260: var r = flatten(cls, s);
adamc@1260: for (cl = cls.v; cl != null; cl = cl.next)
adamc@1260: freeClosure(cl.data);
adamc@1260: return r;
adamc@728: }
adamc@728:
adamc@692:
adamc@692:
adamc@692: // Dynamic tree management
adamc@692:
adamc@690: function populate(node) {
adamc@1260: var s = node.signal;
adamc@1260: var oldSources = node.sources;
adamc@1260: try {
adamc@1260: var sr = execF(s, null);
adamc@1260: var newSources = sr._sources;
adamc@690:
adamc@1260: for (var sp = oldSources; sp; sp = sp.next)
adamc@1260: if (!member(sp.data, newSources))
adamc@1260: sp.data.dyns = remove(node, sp.data.dyns);
adamc@690:
adamc@1260: for (var sp = newSources; sp; sp = sp.next)
adamc@1260: if (!member(sp.data, oldSources))
adamc@1260: sp.data.dyns = cons(node, sp.data.dyns);
adamc@690:
adamc@1260: node.sources = newSources;
adamc@1260: node.recreate(sr._data);
adamc@1260: } catch (v) {
adamc@1260: doExn(v);
adamc@1260: }
adamc@579: }
adamc@574:
adamc@580: function sc(v) {
adamc@1260: return {data : v, dyns : null};
adamc@580: }
adamc@580: function sv(s, v) {
adam@1491: if (s.data != v) {
adam@1491: s.data = v;
adamc@967:
adam@1491: for (var ls = s.dyns; ls; ls = ls.next)
adam@1491: if (!ls.dead)
adam@1491: populate(ls.data);
adam@1491: }
adamc@580: }
adamc@601: function sg(s) {
adamc@1260: return s.data;
adamc@601: }
adamc@579:
adamc@580: function ss(s) {
adamc@1260: return {env:cons(s, null), body:{c:"r", l:
adamc@1260: cons({n:"sources", v:{c:"c", v:cons(s, null)}},
adamc@1260: cons({n:"data", v:{c:"f", f:sg, a:cons({c:"v", n:1}, null)}}, null))}};
adamc@580: }
adamc@580: function sr(v) {
adamc@1260: return {env:null, body:{c:"c", v:{_sources : null, _data : v}}};
adamc@580: }
adamc@580: function sb(x,y) {
adamc@1260: return {env:cons(y,cons(x,null)),
adamc@1260: body:{c:"=",
adamc@1260: e1:{c:"a", f:{c:"v", n:2}, x:{c:"c", v:null}},
adamc@1260: e2:{c:"=",
adamc@1260: e1:{c:"a",
adamc@1260: f:{c:"a", f:{c:"v", n:2}, x:{c:".", r:{c:"v", n:0}, f:"data"}},
adamc@1260: x:{c:"c", v:null}},
adamc@1260: e2:{c:"r", l:cons(
adamc@1260: {n:"sources", v:{c:"f", f:union, a:cons({c:".", r:{c:"v", n:1}, f:"sources"},
adamc@1260: cons({c:".", r:{c:"v", n:0}, f:"sources"}, null))}},
adamc@1260: cons({n:"data", v:{c:".", r:{c:"v", n:0}, f:"data"}}, null))}}}};
adamc@580: }
adamc@841: function scur(s) {
adamc@1260: return execF(s, null)._data;
adamc@841: }
adamc@571:
adamc@604: function lastParent() {
adamc@1260: var pos = document.body;
adamc@604:
adamc@1260: while (pos.lastChild && pos.lastChild.nodeType == 1)
adamc@1260: pos = pos.lastChild;
adamc@600:
adamc@1260: pos = pos.parentNode;
adamc@1039:
adamc@1260: return pos;
adamc@600: }
adamc@600:
adamc@898: function parent() {
adamc@1260: return thisScript ? thisScript.parentNode : lastParent();
adamc@898: }
adamc@898:
adamc@604: function addNode(node) {
adamc@1260: if (thisScript)
adamc@1260: thisScript.parentNode.replaceChild(node, thisScript);
adamc@1260: else
adamc@1260: lastParent().appendChild(node);
adamc@603: }
adamc@603:
adamc@690: var thisScript = null;
adamc@690:
adamc@604: function runScripts(node) {
adamc@1260: if (node.getElementsByTagName) {
adamc@1260: var savedScript = thisScript;
adamc@603:
adamc@1260: var scripts = node.getElementsByTagName("script"), scriptsCopy = [];
adamc@1260: var len = scripts.length;
adamc@1260: for (var i = 0; i < len; ++i)
adamc@1260: scriptsCopy[i] = scripts[i];
adamc@1260: for (var i = 0; i < len; ++i) {
adamc@1260: thisScript = scriptsCopy[i];
adamc@1039:
adamc@1260: try {
adamc@1260: eval(thisScript.text);
adamc@1260: } catch (v) {
adamc@1260: doExn(v);
adamc@1260: }
adamc@1260: if (thisScript.parentNode)
adamc@1260: thisScript.parentNode.removeChild(thisScript);
adamc@1260: }
adamc@1260:
adamc@1260: thisScript = savedScript;
adamc@729: }
adamc@603: }
adamc@603:
adamc@603:
adamc@692: // Dynamic tree entry points
adamc@692:
adamc@967: function killScript(scr) {
adamc@1260: scr.dead = true;
adamc@1260: for (var ls = scr.sources; ls; ls = ls.next)
adamc@1260: ls.data.dyns = remove(scr, ls.data.dyns);
adamc@1260: for (var ls = scr.closures; ls; ls = ls.next)
adamc@1260: freeClosure(ls.data);
adamc@967: }
adamc@967:
adam@1538: // Sometimes we wind up with tables that contain