annotate src/de/mpg/mpiwg/itgroup/digilib/icons/greyskin/debug.js @ 1:83c58ea33792

first release (continued)
author dwinter
date Mon, 03 Jan 2011 09:11:25 +0100
parents
children
Ignore whitespace changes - Everywhere: Within whitespace: At end of lines:
rev   line source
1
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
1 var Debug = null;
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
2 var _now = {};
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
3
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
4 function element(name, content) {
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
5 var E = document.createElement(name);
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
6 if (content) {
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
7 if (content.nodeType) // it's a node
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
8 E.appendChild(content)
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
9 else // it's text
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
10 E.appendChild(document.createTextNode(content))
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
11 };
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
12 return E;
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
13 }
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
14
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
15 function appendElement(node, name, content) {
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
16 if (node == null || ! node.appendChild)
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
17 return node;
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
18 return node.appendChild(element(name,content));
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
19 }
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
20
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
21 function getDebug() {
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
22 if (Debug == null) {
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
23 Debug = document.getElementById('debug');
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
24 if (Debug == null) {
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
25 Debug = appendElement(document.body, 'div');
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
26 Debug.setAttribute('class', 'debug');
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
27 Debug.setAttribute('id', 'debug');
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
28 Debug.innerhtml = '<h3>Debug</h3>';
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
29 };
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
30 };
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
31 return Debug;
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
32 }
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
33
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
34 function debug() {
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
35 var D = getDebug();
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
36 // return alertObject(D);
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
37 var msg = "";
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
38 for (var i = 0; i<arguments.length; i++) msg += arguments[i] + " ";
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
39 return appendElement(D, "p", msg);
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
40 }
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
41
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
42 function debugObject(obj, exclude) {
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
43 if (exclude == null)
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
44 exclude = '';
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
45 var noConst = exclude.indexOf('const') > -1;
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
46 var A = new Array();
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
47 for (var prop in obj) A.push(prop);
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
48 A.sort();
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
49 var D = getDebug();
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
50 var T = appendElement(D, "table");
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
51 for (var i = 0; i < A.length; i++) {
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
52 var key = A[i];
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
53 var value = obj[key];
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
54 var type = typeof(value);
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
55 // exclude specified types
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
56 if (exclude.indexOf(type) > -1)
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
57 continue;
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
58 // exclude uppercase-only properties (= constants)
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
59 if (noConst && key.search(/^[A-Z0-9_]+$/) > -1)
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
60 continue;
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
61 var TR = appendElement(T, "tr");
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
62 appendElement(TR, "td", element("b", key));
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
63 appendElement(TR, "td", type);
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
64 appendElement(TR, "td", value + "");
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
65 if (type == "function")
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
66 appendElement(TR, "td", value.toSource());
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
67 };
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
68 }
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
69
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
70 function strObject(obj) {
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
71 var res = "";
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
72 var A = new Array();
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
73 try {
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
74 for (var i in obj) A[i] = typeof(obj[i]);
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
75 }
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
76 catch(e) { typ = "unknown" };
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
77 var count = 0;
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
78 for (var item in A) {
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
79 count++;
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
80 typ = A[item];
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
81 res += item + " (" + typ + "): ";
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
82 if (typ != "function") res += obj[item];
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
83 res += "\t";
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
84 if (count % 4 == 0)
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
85 res += "\n";
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
86 }
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
87 return res;
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
88 }
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
89
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
90 function alertObject(obj) {
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
91 return alert(strObject(obj));
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
92 }
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
93
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
94 function alertHTML(obj) {
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
95 if (obj)
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
96 return alert(obj.tagName + ".innerHTML:\n" + obj.innerHTML);
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
97 }
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
98
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
99 function serialize(xmlobject) {
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
100 return (new XMLSerializer()).serializeToString(xmlobject);
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
101 }
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
102
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
103 function startTime(s) {
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
104 _now[s] = new Date();
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
105 }
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
106
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
107 function elapsedTime(s) {
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
108 var diff = new Date(new Date - _now[s]);
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
109 debug(s + ": " + diff.getSeconds() + "." + diff.getMilliseconds() + " sec.");
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
110 }
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
111