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