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(
16 new Packages.org.xml.sax.InputSource(
\r new java.io.InputStreamReader(
17 new java.io.FileInputStream(url))));
20 window.__defineGetter__("location", function(url){
32 window.setTimeout = function(fn, time){
34 return num = setInterval(function(){
40 window.setInterval = function(fn, time){
41 var num = timers.length;
43 timers[num] = new java.lang.Thread(new java.lang.Runnable({
46 java.lang.Thread.currentThread().sleep(time);
57 window.clearInterval = function(num){
66 window.addEventListener = function(){};
67 window.removeEventListener = function(){};
71 window.DOMDocument = function(file){
73 this._dom = Packages.javax.xml.parsers.
74 DocumentBuilderFactory.newInstance()
75 .newDocumentBuilder().parse(file);
78 DOMDocument.prototype = {
79 createTextNode: function(text){
80 return makeNode( this._dom.createTextNode(text) );
82 createElement: function(name){
83 return makeNode( this._dom.createElement(name) );
85 getElementsByTagName: function(name){
86 return new DOMNodeList( this._dom.getElementsByTagName(name) );
88 getElementById: function(id){
89 var elems = this._dom.getElementsByTagName("*");
91 for ( var i = 0; i < elems.length; i++ ) {
92 var elem = elems.item(i);
93 if ( elem.getAttribute("id") == id )
94 return makeNode(elem);
100 return this.getElementsByTagName("body")[0];
104 getPropertyValue: function(){ }
107 get documentElement(){
108 return makeNode( this._dom.getDocumentElement() );
113 addEventListener: function(){},
114 removeEventListener: function(){},
118 importNode: function(node, deep){
119 return makeNode( this._dom.importNode(node._dom, deep) );
121 toString: function(){
122 return "Document" + (typeof this._file == "string" ?
123 ": " + this._file : "");
128 getComputedStyle: function(){
130 getPropertyValue: function(){
141 window.DOMNodeList = function(list){
143 this.length = list.getLength();
145 for ( var i = 0; i < this.length; i++ ) {
146 var node = list.item(i);
147 this[i] = makeNode( node );
151 DOMNodeList.prototype = {
152 toString: function(){
154 Array.prototype.join.call( this, ", " ) + " ]";
157 return Array.prototype.map.call(
158 this, function(node){return node.valueOf();}).join('');
164 window.DOMNode = function(node){
168 DOMNode.prototype = {
170 return this._dom.getNodeType();
173 return this._dom.getNodeValue();
176 return this._dom.getNodeName();
178 cloneNode: function(deep){
179 return makeNode( this._dom.cloneNode(deep) );
184 get documentElement(){
185 return document.documentElement;
188 return makeNode( this._dom.getParentNode() );
191 return makeNode( this._dom.getNextSibling() );
193 get previousSibling() {
194 return makeNode( this._dom.getPreviousSibling() );
196 toString: function(){
197 return '"' + this.nodeValue + '"';
200 return this.nodeValue;
206 window.DOMElement = function(elem){
211 var styles = (this.getAttribute("style") || "").split(/\s*;\s*/);
213 for ( var i = 0; i < styles.length; i++ ) {
214 var style = styles[i].split(/\s*:\s*/);
215 if ( style.length == 2 )
216 this.style[ style[0] ] = style[1];
220 DOMElement.prototype = extend( new DOMNode(), {
222 return this.tagName.toUpperCase();
225 return this._dom.getTagName();
227 toString: function(){
228 return "<" + this.tagName + (this.id ? "#" + this.id : "" ) + ">";
231 var ret = "<" + this.tagName, attr = this.attributes;
233 for ( var i in attr )
234 ret += " " + i + "='" + attr[i] + "'";
236 if ( this.childNodes.length || this.nodeName == "SCRIPT" )
237 ret += ">" + this.childNodes.valueOf() +
238 "</" + this.tagName + ">";
246 var attr = {}, attrs = this._dom.getAttributes();
248 for ( var i = 0; i < attrs.getLength(); i++ )
249 attr[ attrs.item(i).nodeName ] = attrs.item(i).nodeValue;
255 return this.childNodes.valueOf();
258 var nodes = this.ownerDocument.importNode(
259 new DOMDocument( new java.io.ByteArrayInputStream(
260 (new java.lang.String("<wrap>" + html + "</wrap>"))
261 .getBytes("UTF8"))).documentElement, true).childNodes;
263 while (this.firstChild)
264 this.removeChild( this.firstChild );
266 for ( var i = 0; i < nodes.length; i++ )
267 this.appendChild( nodes[i] );
271 return nav(this.childNodes);
275 for ( var i = 0; i < nodes.length; i++ )
276 if ( nodes[i].nodeType == 3 )
277 str += nodes[i].nodeValue;
278 else if ( nodes[i].nodeType == 1 )
279 str += nav(nodes[i].childNodes);
283 set textContent(text){
284 while (this.firstChild)
285 this.removeChild( this.firstChild );
286 this.appendChild( document.createTextNode(text) );
287 this.innerHTML = document.createTextNode(text).nodeValue;
297 var val = this.getAttribute("disabled");
298 return val != "false" && !!val;
300 set disabled(val) { return this.setAttribute("disabled",val); },
303 var val = this.getAttribute("checked");
304 return val != "false" && !!val;
306 set checked(val) { return this.setAttribute("checked",val); },
309 if ( !this._selectDone ) {
310 this._selectDone = true;
312 if ( this.nodeName == "OPTION" && !this.parentNode.getAttribute("multiple") ) {
313 var opt = this.parentNode.getElementsByTagName("option");
315 if ( this == opt[0] ) {
318 for ( var i = 1; i < opt.length; i++ )
319 if ( opt[i].selected ) {
325 this.selected = true;
330 var val = this.getAttribute("selected");
331 return val != "false" && !!val;
333 set selected(val) { return this.setAttribute("selected",val); },
335 get className() { return this.getAttribute("class") || ""; },
336 set className(val) { return this.setAttribute("class",val); },
338 get type() { return this.getAttribute("type") || ""; },
339 set type(val) { return this.setAttribute("type",val); },
341 get value() { return this.getAttribute("value") || ""; },
342 set value(val) { return this.setAttribute("value",val); },
344 get src() { return this.getAttribute("src") || ""; },
345 set src(val) { return this.setAttribute("src",val); },
347 get id() { return this.getAttribute("id") || ""; },
348 set id(val) { return this.setAttribute("id",val); },
350 getAttribute: function(name){
351 return this._dom.hasAttribute(name) ?
352 new String( this._dom.getAttribute(name) ) :
355 setAttribute: function(name,value){
356 this._dom.setAttribute(name,value);
358 removeAttribute: function(name){
359 this._dom.removeAttribute(name);
363 return new DOMNodeList( this._dom.getChildNodes() );
366 return makeNode( this._dom.getFirstChild() );
369 return makeNode( this._dom.getLastChild() );
371 appendChild: function(node){
372 this._dom.appendChild( node._dom );
374 insertBefore: function(node,before){
375 this._dom.insertBefore( node._dom, before ? before._dom : before );
377 removeChild: function(node){
378 this._dom.removeChild( node._dom );
381 getElementsByTagName: DOMDocument.prototype.getElementsByTagName,
382 addEventListener: function(){},
383 removeEventListener: function(){},
385 submit: function(){},
389 return this.getElementsByTagName("*");
393 // Helper method for extending one object with another
395 function extend(a,b) {
397 var g = b.__lookupGetter__(i), s = b.__lookupSetter__(i);
401 a.__defineGetter__(i, g);
403 a.__defineSetter__(i, s);
410 // Helper method for generating the right
411 // DOM objects based upon the type
413 var obj_nodes = new java.util.HashMap();
415 function makeNode(node){
417 if ( !obj_nodes.containsKey( node ) )
418 obj_nodes.put( node, node.getNodeType() ==
419 Packages.org.w3c.dom.Node.ELEMENT_NODE ?
420 new DOMElement( node ) : new DOMNode( node ) );
422 return obj_nodes.get(node);
429 window.XMLHttpRequest = function(){ };
431 XMLHttpRequest.prototype = {
433 setRequestHeader: function(){ },
434 getResponseHeader: function(){ },