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){
208 DOMElement.prototype = extend( new DOMNode(), {
210 return this.tagName.toUpperCase();
213 return this._dom.getTagName();
215 toString: function(){
216 return "<" + this.tagName + (this.id ? "#" + this.id : "" ) + ">";
219 var ret = "<" + this.tagName, attr = this.attributes;
221 for ( var i in attr )
222 ret += " " + i + "='" + attr[i] + "'";
224 if ( this.childNodes.length || this.nodeName == "SCRIPT" )
225 ret += ">" + this.childNodes.valueOf() +
226 "</" + this.tagName + ">";
234 var attr = {}, attrs = this._dom.getAttributes();
236 for ( var i = 0; i < attrs.getLength(); i++ )
237 attr[ attrs.item(i).nodeName ] = attrs.item(i).nodeValue;
243 return this.childNodes.valueOf();
246 var nodes = this.ownerDocument.importNode(
247 new DOMDocument( new java.io.ByteArrayInputStream(
248 (new java.lang.String("<wrap>" + html + "</wrap>"))
249 .getBytes())).documentElement, true).childNodes;
251 while (this.firstChild)
252 this.removeChild( this.firstChild );
254 for ( var i = 0; i < nodes.length; i++ )
255 this.appendChild( nodes[i] );
259 return nav(this.childNodes);
263 for ( var i = 0; i < nodes.length; i++ )
264 if ( nodes[i].nodeType == 3 )
265 str += nodes[i].nodeValue;
266 else if ( nodes[i].nodeType == 1 )
267 str += nav(nodes[i].childNodes);
271 set textContent(text){
272 while (this.firstChild)
273 this.removeChild( this.firstChild );
274 this.appendChild( document.createTextNode(text) );
275 this.innerHTML = document.createTextNode(text).nodeValue;
284 get disabled() { return !!this.getAttribute("disabled"); },
285 set disabled(val) { return this.setAttribute("disabled",val); },
287 get checked() { return !!this.getAttribute("checked"); },
288 set checked(val) { return this.setAttribute("checked",val); },
290 get selected() { return !!this.getAttribute("selected"); },
291 set selected(val) { return this.setAttribute("selected",val); },
293 get className() { return this.getAttribute("class") || ""; },
294 set className(val) { return this.setAttribute("class",val); },
296 get type() { return this.getAttribute("type") || ""; },
297 set type(val) { return this.setAttribute("type",val); },
299 get value() { return this.getAttribute("value") || ""; },
300 set value(val) { return this.setAttribute("value",val); },
302 get src() { return this.getAttribute("src") || ""; },
303 set src(val) { return this.setAttribute("src",val); },
305 get id() { return this.getAttribute("id") || ""; },
306 set id(val) { return this.setAttribute("id",val); },
308 getAttribute: function(name){
309 return this._dom.hasAttribute(name) ?
310 this._dom.getAttribute(name) :
313 setAttribute: function(name,value){
314 this._dom.setAttribute(name,value);
316 removeAttribute: function(name){
317 this._dom.removeAttribute(name);
321 return new DOMNodeList( this._dom.getChildNodes() );
324 return makeNode( this._dom.getFirstChild() );
327 return makeNode( this._dom.getLastChild() );
329 appendChild: function(node){
330 this._dom.appendChild( node._dom );
332 insertBefore: function(node,before){
333 this._dom.insertBefore( node._dom, before ? before._dom : before );
335 removeChild: function(node){
336 this._dom.removeChild( node._dom );
339 getElementsByTagName: DOMDocument.prototype.getElementsByTagName,
340 addEventListener: function(){},
341 removeEventListener: function(){},
343 submit: function(){},
349 // Helper method for extending one object with another
351 function extend(a,b) {
353 var g = b.__lookupGetter__(i), s = b.__lookupSetter__(i);
357 a.__defineGetter__(i, g);
359 a.__defineSetter__(i, s);
366 // Helper method for generating the right
367 // DOM objects based upon the type
369 var obj_nodes = new java.util.HashMap();
371 function makeNode(node){
373 if ( !obj_nodes.containsKey( node ) )
374 obj_nodes.put( node, node.getNodeType() ==
375 Packages.org.w3c.dom.Node.ELEMENT_NODE ?
376 new DOMElement( node ) : new DOMNode( node ) );
378 return obj_nodes.get(node);
385 window.XMLHttpRequest = function(){ };
387 XMLHttpRequest.prototype = {
389 setRequestHeader: function(){ },
390 getResponseHeader: function(){ },