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 = (new String(this.getAttribute("style") || ""))
212 for ( var i = 0; i < styles.length; i++ ) {
213 var style = styles[i].split(/\s*:\s*/);
214 if ( style.length == 2 )
215 this.style[ style[0] ] = style[1];
219 DOMElement.prototype = extend( new DOMNode(), {
221 return this.tagName.toUpperCase();
224 return this._dom.getTagName();
226 toString: function(){
227 return "<" + this.tagName + (this.id ? "#" + this.id : "" ) + ">";
230 var ret = "<" + this.tagName, attr = this.attributes;
232 for ( var i in attr )
233 ret += " " + i + "='" + attr[i] + "'";
235 if ( this.childNodes.length || this.nodeName == "SCRIPT" )
236 ret += ">" + this.childNodes.valueOf() +
237 "</" + this.tagName + ">";
245 var attr = {}, attrs = this._dom.getAttributes();
247 for ( var i = 0; i < attrs.getLength(); i++ )
248 attr[ attrs.item(i).nodeName ] = attrs.item(i).nodeValue;
254 return this.childNodes.valueOf();
257 var nodes = this.ownerDocument.importNode(
258 new DOMDocument( new java.io.ByteArrayInputStream(
259 (new java.lang.String("<wrap>" + html + "</wrap>"))
260 .getBytes())).documentElement, true).childNodes;
262 while (this.firstChild)
263 this.removeChild( this.firstChild );
265 for ( var i = 0; i < nodes.length; i++ )
266 this.appendChild( nodes[i] );
270 return nav(this.childNodes);
274 for ( var i = 0; i < nodes.length; i++ )
275 if ( nodes[i].nodeType == 3 )
276 str += nodes[i].nodeValue;
277 else if ( nodes[i].nodeType == 1 )
278 str += nav(nodes[i].childNodes);
282 set textContent(text){
283 while (this.firstChild)
284 this.removeChild( this.firstChild );
285 this.appendChild( document.createTextNode(text) );
286 this.innerHTML = document.createTextNode(text).nodeValue;
296 var val = this.getAttribute("disabled");
297 return val != "false" && !!val;
299 set disabled(val) { return this.setAttribute("disabled",val); },
302 var val = this.getAttribute("checked");
303 return val != "false" && !!val;
305 set checked(val) { return this.setAttribute("checked",val); },
308 if ( !this._selectDone ) {
309 this._selectDone = true;
311 if ( this.nodeName == "OPTION" && !this.parentNode.getAttribute("multiple") ) {
312 var opt = this.parentNode.getElementsByTagName("option");
314 if ( this == opt[0] ) {
317 for ( var i = 1; i < opt.length; i++ )
318 if ( opt[i].selected ) {
324 this.selected = true;
329 var val = this.getAttribute("selected");
330 return val != "false" && !!val;
332 set selected(val) { return this.setAttribute("selected",val); },
334 get className() { return this.getAttribute("class") || ""; },
335 set className(val) { return this.setAttribute("class",val); },
337 get type() { return this.getAttribute("type") || ""; },
338 set type(val) { return this.setAttribute("type",val); },
340 get value() { return this.getAttribute("value") || ""; },
341 set value(val) { return this.setAttribute("value",val); },
343 get src() { return this.getAttribute("src") || ""; },
344 set src(val) { return this.setAttribute("src",val); },
346 get id() { return this.getAttribute("id") || ""; },
347 set id(val) { return this.setAttribute("id",val); },
349 getAttribute: function(name){
350 return this._dom.hasAttribute(name) ?
351 this._dom.getAttribute(name) :
354 setAttribute: function(name,value){
355 this._dom.setAttribute(name,value);
357 removeAttribute: function(name){
358 this._dom.removeAttribute(name);
362 return new DOMNodeList( this._dom.getChildNodes() );
365 return makeNode( this._dom.getFirstChild() );
368 return makeNode( this._dom.getLastChild() );
370 appendChild: function(node){
371 this._dom.appendChild( node._dom );
373 insertBefore: function(node,before){
374 this._dom.insertBefore( node._dom, before ? before._dom : before );
376 removeChild: function(node){
377 this._dom.removeChild( node._dom );
380 getElementsByTagName: DOMDocument.prototype.getElementsByTagName,
381 addEventListener: function(){},
382 removeEventListener: function(){},
384 submit: function(){},
388 return this.getElementsByTagName("*");
392 // Helper method for extending one object with another
394 function extend(a,b) {
396 var g = b.__lookupGetter__(i), s = b.__lookupSetter__(i);
400 a.__defineGetter__(i, g);
402 a.__defineSetter__(i, s);
409 // Helper method for generating the right
410 // DOM objects based upon the type
412 var obj_nodes = new java.util.HashMap();
414 function makeNode(node){
416 if ( !obj_nodes.containsKey( node ) )
417 obj_nodes.put( node, node.getNodeType() ==
418 Packages.org.w3c.dom.Node.ELEMENT_NODE ?
419 new DOMElement( node ) : new DOMNode( node ) );
421 return obj_nodes.get(node);
428 window.XMLHttpRequest = function(){ };
430 XMLHttpRequest.prototype = {
432 setRequestHeader: function(){ },
433 getResponseHeader: function(){ },