10 return "Mozilla/5.0 (Macintosh; U; Intel Mac OS X; en-US; rv:1.8.1.3) Gecko/20070309 Firefox/2.0.0.3";
14 window.__defineSetter__("location", function(url){
15 window.document = new DOMDocument(url);
18 window.__defineGetter__("location", function(url){
30 window.setTimeout = function(fn, time){
32 return num = setInterval(function(){
38 window.setInterval = function(fn, time){
39 var num = timers.length;
41 timers[num] = new java.lang.Thread(new java.lang.Runnable({
44 java.lang.Thread.currentThread().sleep(time);
55 window.clearInterval = function(num){
64 window.addEventListener = function(){};
65 window.removeEventListener = function(){};
69 window.DOMDocument = function(file){
71 this._dom = Packages.javax.xml.parsers.
72 DocumentBuilderFactory.newInstance()
73 .newDocumentBuilder().parse(file);
76 DOMDocument.prototype = {
77 createTextNode: function(text){
78 return makeNode( this._dom.createTextNode(text) );
80 createElement: function(name){
81 return makeNode( this._dom.createElement(name) );
83 getElementsByTagName: function(name){
84 return new DOMNodeList( this._dom.getElementsByTagName(name) );
86 getElementById: function(id){
87 var elems = this._dom.getElementsByTagName("*");
89 for ( var i = 0; i < elems.length; i++ ) {
90 var elem = elems.item(i);
91 if ( elem.getAttribute("id") == id )
92 return makeNode(elem);
98 return this.getElementsByTagName("body")[0];
102 getPropertyValue: function(){ }
105 get documentElement(){
106 return makeNode( this._dom.getDocumentElement() );
111 addEventListener: function(){},
112 removeEventListener: function(){},
116 importNode: function(node, deep){
117 return makeNode( this._dom.importNode(node._dom, deep) );
119 toString: function(){
120 return "Document" + (typeof this._file == "string" ?
121 ": " + this._file : "");
126 getComputedStyle: function(){
128 getPropertyValue: function(){
139 window.DOMNodeList = function(list){
141 this.length = list.getLength();
143 for ( var i = 0; i < this.length; i++ ) {
144 var node = list.item(i);
145 this[i] = makeNode( node );
149 DOMNodeList.prototype = {
150 toString: function(){
152 Array.prototype.join.call( this, ", " ) + " ]";
155 return Array.prototype.map.call(
156 this, function(node){return node.valueOf();}).join('');
162 window.DOMNode = function(node){
166 DOMNode.prototype = {
168 return this._dom.getNodeType();
171 return this._dom.getNodeValue();
174 return this._dom.getNodeName();
176 cloneNode: function(deep){
177 return makeNode( this._dom.cloneNode(deep) );
182 get documentElement(){
183 return document.documentElement;
186 return makeNode( this._dom.getParentNode() );
189 return makeNode( this._dom.getNextSibling() );
191 get previousSibling() {
192 return makeNode( this._dom.getPreviousSibling() );
194 toString: function(){
195 return '"' + this.nodeValue + '"';
198 return this.nodeValue;
204 window.DOMElement = function(elem){
209 var styles = (this.getAttribute("style") || "").split(/\s*;\s*/);
211 for ( var i = 0; i < styles.length; i++ ) {
212 var style = styles[i].split(/\s*:\s*/);
213 if ( style.length == 2 )
214 this.style[ style[0] ] = style[1];
218 DOMElement.prototype = extend( new DOMNode(), {
220 return this.tagName.toUpperCase();
223 return this._dom.getTagName();
225 toString: function(){
226 return "<" + this.tagName + (this.id ? "#" + this.id : "" ) + ">";
229 var ret = "<" + this.tagName, attr = this.attributes;
231 for ( var i in attr )
232 ret += " " + i + "='" + attr[i] + "'";
234 if ( this.childNodes.length || this.nodeName == "SCRIPT" )
235 ret += ">" + this.childNodes.valueOf() +
236 "</" + this.tagName + ">";
244 var attr = {}, attrs = this._dom.getAttributes();
246 for ( var i = 0; i < attrs.getLength(); i++ )
247 attr[ attrs.item(i).nodeName ] = attrs.item(i).nodeValue;
253 return this.childNodes.valueOf();
256 var nodes = this.ownerDocument.importNode(
257 new DOMDocument( new java.io.ByteArrayInputStream(
258 (new java.lang.String("<wrap>" + html + "</wrap>"))
259 .getBytes())).documentElement, true).childNodes;
261 while (this.firstChild)
262 this.removeChild( this.firstChild );
264 for ( var i = 0; i < nodes.length; i++ )
265 this.appendChild( nodes[i] );
269 return nav(this.childNodes);
273 for ( var i = 0; i < nodes.length; i++ )
274 if ( nodes[i].nodeType == 3 )
275 str += nodes[i].nodeValue;
276 else if ( nodes[i].nodeType == 1 )
277 str += nav(nodes[i].childNodes);
281 set textContent(text){
282 while (this.firstChild)
283 this.removeChild( this.firstChild );
284 this.appendChild( document.createTextNode(text) );
285 this.innerHTML = document.createTextNode(text).nodeValue;
295 var val = this.getAttribute("disabled");
296 return val != "false" && !!val;
298 set disabled(val) { return this.setAttribute("disabled",val); },
301 var val = this.getAttribute("checked");
302 return val != "false" && !!val;
304 set checked(val) { return this.setAttribute("checked",val); },
307 if ( !this._selectDone ) {
308 this._selectDone = true;
310 if ( this.nodeName == "OPTION" && !this.parentNode.getAttribute("multiple") ) {
311 var opt = this.parentNode.getElementsByTagName("option");
313 if ( this == opt[0] ) {
316 for ( var i = 1; i < opt.length; i++ )
317 if ( opt[i].selected ) {
323 this.selected = true;
328 var val = this.getAttribute("selected");
329 return val != "false" && !!val;
331 set selected(val) { return this.setAttribute("selected",val); },
333 get className() { return this.getAttribute("class") || ""; },
334 set className(val) { return this.setAttribute("class",val); },
336 get type() { return this.getAttribute("type") || ""; },
337 set type(val) { return this.setAttribute("type",val); },
339 get value() { return this.getAttribute("value") || ""; },
340 set value(val) { return this.setAttribute("value",val); },
342 get src() { return this.getAttribute("src") || ""; },
343 set src(val) { return this.setAttribute("src",val); },
345 get id() { return this.getAttribute("id") || ""; },
346 set id(val) { return this.setAttribute("id",val); },
348 getAttribute: function(name){
349 return this._dom.hasAttribute(name) ?
350 new String( this._dom.getAttribute(name) ) :
353 setAttribute: function(name,value){
354 this._dom.setAttribute(name,value);
356 removeAttribute: function(name){
357 this._dom.removeAttribute(name);
361 return new DOMNodeList( this._dom.getChildNodes() );
364 return makeNode( this._dom.getFirstChild() );
367 return makeNode( this._dom.getLastChild() );
369 appendChild: function(node){
370 this._dom.appendChild( node._dom );
372 insertBefore: function(node,before){
373 this._dom.insertBefore( node._dom, before ? before._dom : before );
375 removeChild: function(node){
376 this._dom.removeChild( node._dom );
379 getElementsByTagName: DOMDocument.prototype.getElementsByTagName,
380 addEventListener: function(){},
381 removeEventListener: function(){},
383 submit: function(){},
387 return this.getElementsByTagName("*");
391 // Helper method for extending one object with another
393 function extend(a,b) {
395 var g = b.__lookupGetter__(i), s = b.__lookupSetter__(i);
399 a.__defineGetter__(i, g);
401 a.__defineSetter__(i, s);
408 // Helper method for generating the right
409 // DOM objects based upon the type
411 var obj_nodes = new java.util.HashMap();
413 function makeNode(node){
415 if ( !obj_nodes.containsKey( node ) )
416 obj_nodes.put( node, node.getNodeType() ==
417 Packages.org.w3c.dom.Node.ELEMENT_NODE ?
418 new DOMElement( node ) : new DOMNode( node ) );
420 return obj_nodes.get(node);
427 window.XMLHttpRequest = function(){ };
429 XMLHttpRequest.prototype = {
431 setRequestHeader: function(){ },
432 getResponseHeader: function(){ },