From 515c77c53c64485cae4a91056e7eee86a0843e1d Mon Sep 17 00:00:00 2001
From: yinnon_haviv <yinnon_haviv@f5eafffb-2e1d-0410-98e4-8ec43c5233c4>
Date: Wed, 29 Sep 2010 15:25:10 +0000
Subject: [PATCH] Adding missing BOMs

git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@3956 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
---
 com.ibm.wala.cast.js/dat/preamble.js | 717 +++++++++++++++------------
 1 file changed, 388 insertions(+), 329 deletions(-)

diff --git a/com.ibm.wala.cast.js/dat/preamble.js b/com.ibm.wala.cast.js/dat/preamble.js
index 3f0de0012..2eb54e5fe 100644
--- a/com.ibm.wala.cast.js/dat/preamble.js
+++ b/com.ibm.wala.cast.js/dat/preamble.js
@@ -1,329 +1,388 @@
-// The following stuff has to be statically analyzed
-// 1. readonly attributes
-// 2. using setAttribute to register an event handler (this should be disallowed since it can be used like 'eval')
-// 3. All methods properties assigned here are implicitly readonly
-// 4. inheritance in this file is implemented by creating a new object for the prototype. Instead, the prototype object could be shared
-
-// A combination of interfaces NodeList, NamedNodeMap, HTMLCollection
-// implement a list of Nodes, accessible through names as well
-function NamedNodeList() {
-	var maxLength = 10;
-	var local = new Array(10);
-	var counter = -1;
-
-	var checkAndIncrease = function checkAndIncrease() {
-		if(counter >= maxLength - 1) {
-			maxLength += 10;
-			var temp = new Array(maxLength);
-			for(traverse = 0; traverse <= counter; traverse++) {
-				temp[traverse] = local[traverse];
-			}
-			local = temp;
-		}
-	}
-
-        this.get = function _get(index) {
-                return local[ index ];
-	}
-
-	this.add = function add(elem) {
-		checkAndIncrease();
-		local[counter++] = elem;
-	}
-
-	this.getIndex = function getIndex(elem) {
-		for(var traverse = 0; traverse <= counter; traverse++) {
-			if(local[traverse] == elem) {
-				return traverse;
-			}
-		}
-		return -1;
-	}
-
-	this.remove = function remove(elem) {
-		var found = getIndex(elem);
-		if(found > -1) {
-			for(traverse = found; traverse < counter; traverse++) {
-				local[traverse] = local[traverse+1];
-			}
-			counter--;
-		}
-	}
-
-	this.replace = function replace(newElem, oldElem) {
-		var found = getIndex(oldElem);
-		if(found > -1) {
-			local[found] = newElem;
-		}
-	}
-
-	this.insertBefore = function insertBefore(newElem, oldElem) {
-		var found = getIndex(oldElem);
-		if(found > -1) {
-			checkAndIncrease();
-			var prev = newElem;
-			for(var traverse = counter + 1; traverse > found; traverse--) {
-				local[traverse] = local[traverse-1];
-			}
-			local[found] = newElem;
-		}
-	}
-
-	this.collect = function collect(predicate, result) {
-          for(var traverse = 0; traverse <= counter; traverse++) {
-            local[traverse].collect(predicate, result);
-          }
-        }
-}
-
-function DOMNode() { // An impostor for the Node class
-	this.attributes = new NamedNodeList();
-	this.childNodes = new NamedNodeList();
-	this.insertBefore = function insertBefore(newChild, refChild) {
-				this.childNodes.insertBefore(newChild, refChild);
-			}
-	this.replaceChild = function replaceChild(newChild, oldChild) {
-				this.childNodes.replace(newChild, oldChild);
-			}
-	this.removeChild = function removeChild(oldChild) {
-				this.childNodes.remove(oldChild);
-			}
-	this.appendChild = function appendChild(newChild) {
-				this.childNodes.add(newChild);
-				newChild.parentNode = this;
-			}
-	this.hasChildNodes = function hasChildNodes() {
-				return this.childNodes.hasElements();
-			}
-	
-	this.ownerDocument = document;
-
-	this.collect = function collect(predicate, result) {
-          if (predicate(this)) {
-            result.add(this);
-          }
-          this.childNodes.collect(predicate, result);
-        }
-}
-
-function DOMDocument() {
-	this.temp = DOMNode;
-	this.temp();
-
-	this.createElement = function createElement(name) {
-		// TODO : to be implemented accurately
-		var toReturn = new DOMHTMLGenericElement(name);
-		return toReturn;
-	}
-
-    this.getElementById = function getElementById(id) {
-          var result = new NamedNodeList();
-          this.collect(function check_id(x) { return x.id == id; }, result);
-          return result.get(0);
-	}
-	
-	this.write = function write_to_dom (stuff) {
-		
-	};
-}
-
-function DOMHTMLDocument() {
-	this.temp = DOMDocument;
-	this.temp();
-
-}
-
-// Creating the root document object
-document = new DOMHTMLDocument();
-
-function DOMElement() { // An impostor for the Element class
-	// inherits from Node
-	this.temp = DOMNode;
-	this.temp();
-
-	// The get/set/remove attribute methods cannot be run using 'onclick','onmouseover', 'on...' kind of arguments for name.
-	// since that would be used as a workaround for eval
-
-	this.getAttribute = function getAttribute(name) {
-		this.attributes.get(name);
-	}
-	this.setAttribute = function setAttribute(name, value) {
-		this.attributes.set(name, value);
-	}
-
-	this.removeAttribute = function removeAttribute(name) {
-		this.attributes.remove(name);
-	}
-
-}
-
-function DOMHTMLElement() { // An impostor for the HTMLElement class
-	// inherits from Element
-	this.temp = DOMElement;
-	this.temp();
-
-	// Set HTML Attribute Defaults
-	this.id = null;
-	this.title = null;
-	this.lang = null;
-	this.dir = null;
-	this.className = null;
-
-	// Set Javascript properties
-	this.getAttribute = function getAttribute(name) {
-			if(name == "id") return this.id;
-			else if(name == "title") return this.title;
-			else if(name == "lang") return this.lang;
-			else if(name == "dir") return this.dir;
-			else if(name == "class") return this.className;
-			else return this.attributes.get(name);
-		}
-
-	this.setAttribute = function setAttribute(name, value) {
-			if(name == "id") this.id = value;
-			else if(name == "title") this.title = value;
-			else if(name == "lang")  this.lang = value;
-			else if(name == "dir")  this.dir = value;
-			else if(name == "class") this.className = value;
-			else return this.attributes.set(name, value);
-		}
-
-	this.removeAttribute = function removeAttribute(name) {
-			if(name == "id") this.id = null;
-			else if(name == "title") this.title = null;
-			else if(name == "lang")  this.lang = null;
-			else if(name == "dir") this.dir = null;
-			else if(name == "class") this.className = null;
-			else return this.attributes.remove(name);
-		}
-}
-
-var dynamic_node = 0;
-
-// Just a hack until all HTML elements have corresponding constructors
-function DOMHTMLGenericElement(tagName) {
-	// inherits from Element
-	this.temp = DOMHTMLElement;
-	this.temp();
-
-	// Set just the tag name
-	this.nodeName = tagName;
-	this.nodeValue = null;
-	
-	// record new node in dom_nodes
-	dom_nodes[dynamic_node++] = this;
-	
-	// load 'src' if appropriate
-	this.src.loadFile = String.prototype.loadFile;
-	this.src.loadFile();
-}
-
-function DOMHTMLFormElement() {
-	// inherits from HTMLElement
-	this.temp = DOMHTMLElement;
-	this.temp();
-
-	// Set Javascript properties
-	this.nodeName = "FORM";
-	this.elements = new NamedNodeList();
-	this.length = function form_elt_length() {
-		return this.elements.length;
-	}
-	this.submit = function form_elt_submit() {
-	}
-	this.reset = function form_elt_reset () {
-	}
-
-	// Set HTML Attribute Defaults
-	this.name = null;
-	this.acceptCharset = "UNKNOWN";
-	this.action = null;
-	this.enctype = "application/x-www-form-urlencoded";
-	this.method = "get";
-	this.target = null;
-
-	// Set Javascript properties
-	this.getAttribute = function getAttribute(name) {
-			if(name == "name") return this.name;
-			else if(name == "accept-charset") return this.acceptCharset;
-			else if(name == "action") return this.action;
-			else if(name == "enctype") return this.enctype;
-			else if(name == "method") return this.method;
-			else if(name == "target") return this.target;
-			else return this.prototype.getAttribute(name);
-		}
-
-	this.setAttribute = function setAttribute(name, value) {
-			if(name == "name") this.name = value;
-			else if(name == "accept-charset") this.acceptCharset = value;
-			else if(name == "action") this.action = value;
-			else if(name == "enctype") this.enctype = value;
-			else if(name == "method") this.method = value;
-			else if(name == "target") this.target = value;
-			else return this.prototype.setAttribute(name, value);
-		}
-
-	this.removeAttribute = function removeAttribute(name) {
-			if(name == "name") this.name = null;
-			else if(name == "accept-charset") this.acceptCharset = null;
-			else if(name == "action") this.action = null;
-			else if(name == "enctype") this.enctype = null;
-			else if(name == "method") this.method = null;
-			else if(name == "target") this.target = null;
-			else return this.prototype.removeAttribute(name);
-		}
-}
-
-function DOMHTMLTableElement () {
-	// inherits from HTMLElement
-	this.temp = DOMHTMLElement;
-	this.temp();
-
-	this.rows = function table_elt_rows() {
-	}	
-}
-
-dom_nodes = new Object();
-
-XMLHttpRequest = function _XMLHttpRequest() {
-
-	this.UNSENT = 0;
-	this.OPENED = 1;
-	this.HEADERS_RECEIVED = 2;
-	this.LOADING = 3;
-	this.DONE = 4;
-
-	this.orsc_handler = function xhr_orsc_handler() {
-		this.onreadystatechange();
-	}
-		  
-	this.open = function xhr_open(method, url, async, user, password) {
-		this.orsc_handler();
-	}
-
-	this.setRequestHeader = function xhr_setRequestHeader(header, value) {
-		
-	}
-
-	this.send = function xhr_send(data) {
-		this.orsc_handler();
-	}
-
-	this.abort = function xhr_abort() {
-		this.orsc_handler();
-	}
-
-	this.getResponseHeader = function xhr_getResponseHeader(header) {
-
-	}	
-
-	this.getAllResponseHeaders = function xhr_getAllResponseHeaders() {
-
-	}
-
-};
-
-for(var n in dom_nodes) {
-	dom_nodes[n].onload();
-}
-
+// The following stuff has to be statically analyzed
+// 1. readonly attributes
+// 2. using setAttribute to register an event handler (this should be disallowed since it can be used like 'eval')
+// 3. All methods properties assigned here are implicitly readonly
+// 4. inheritance in this file is implemented by creating a new object for the prototype. Instead, the prototype object could be shared
+
+// A combination of interfaces NodeList, NamedNodeMap, HTMLCollection
+// implement a list of Nodes, accessible through names as well
+function NamedNodeList() {
+	var maxLength = 10;
+	var local = new Array(10);
+	var counter = -1;
+
+	var checkAndIncrease = function checkAndIncrease() {
+		if(counter >= maxLength - 1) {
+			maxLength += 10;
+			var temp = new Array(maxLength);
+			for(traverse = 0; traverse <= counter; traverse++) {
+				temp[traverse] = local[traverse];
+			}
+			local = temp;
+		}
+	}
+
+        this.get = function _get(index) {
+                return local[ index ];
+	}
+
+	this.add = function add(elem) {
+		checkAndIncrease();
+		local[counter++] = elem;
+	}
+
+	this.getIndex = function getIndex(elem) {
+		for(var traverse = 0; traverse <= counter; traverse++) {
+			if(local[traverse] == elem) {
+				return traverse;
+			}
+		}
+		return -1;
+	}
+
+	this.remove = function remove(elem) {
+		var found = getIndex(elem);
+		if(found > -1) {
+			for(traverse = found; traverse < counter; traverse++) {
+				local[traverse] = local[traverse+1];
+			}
+			counter--;
+		}
+	}
+
+	this.replace = function replace(newElem, oldElem) {
+		var found = getIndex(oldElem);
+		if(found > -1) {
+			local[found] = newElem;
+		}
+	}
+
+	this.insertBefore = function insertBefore(newElem, oldElem) {
+		var found = getIndex(oldElem);
+		if(found > -1) {
+			checkAndIncrease();
+			var prev = newElem;
+			for(var traverse = counter + 1; traverse > found; traverse--) {
+				local[traverse] = local[traverse-1];
+			}
+			local[found] = newElem;
+		}
+	}
+
+	this.collect = function collect(predicate, result) {
+          for(var traverse = 0; traverse <= counter; traverse++) {
+            local[traverse].collect(predicate, result);
+          }
+        }
+}
+
+function DOMNode() { // An impostor for the Node class
+	this.attributes = new NamedNodeList();
+	this.childNodes = new NamedNodeList();
+	this.insertBefore = function insertBefore(newChild, refChild) {
+				this.childNodes.insertBefore(newChild, refChild);
+			}
+	this.replaceChild = function replaceChild(newChild, oldChild) {
+				this.childNodes.replace(newChild, oldChild);
+			}
+	this.removeChild = function removeChild(oldChild) {
+				this.childNodes.remove(oldChild);
+			}
+	this.appendChild = function appendChild(newChild) {
+				this.childNodes.add(newChild);
+				newChild.parentNode = this;
+			}
+	this.hasChildNodes = function hasChildNodes() {
+				return this.childNodes.hasElements();
+			}
+	
+	this.ownerDocument = document;
+	this.ownerWindow = window;
+	this.ownerWindow.XMLHttpRequest = XMLHttpRequest;
+
+	this.collect = function collect(predicate, result) {
+          if (predicate(this)) {
+            result.add(this);
+          }
+          this.childNodes.collect(predicate, result);
+        }
+}
+
+function DOMDocument() {
+	this.temp = DOMNode;
+	this.temp();
+
+	this.createElement = function createElement(name) {
+		// TODO : to be implemented accurately
+		var toReturn = new DOMHTMLGenericElement(name);
+		return toReturn;
+	}
+
+    this.getElementById = function getElementById(id) {
+          var result = new NamedNodeList();
+          this.collect(function check_id(x) { return x.id == id; }, result);
+          return result.get(0);
+	}
+	
+	this.write = function write_to_dom (stuff) {
+		
+	};
+}
+
+function HTMLBody(){
+	this.innerHTML = new String();
+}
+
+function DOMHTMLDocument() {
+	this.temp = DOMDocument;
+	this.temp();
+	this.URL = new String();
+	this.body = new HTMLBody();
+}
+
+
+function Location(){
+	this.host = new String();
+	this.hostname = new String();
+	this.href = new String();
+	this.search = new String();
+	this.protocol = new String();
+	this.pathname = new String();
+	this.toString = function Location_to_string(){
+		return new String();
+	}
+}
+function XMLHttpRequest(){
+	this.sUrl = new String();
+	this.open = function XMLHttpRequest_open(sMethod, sUrl){
+		this.sUrl = sUrl;
+	}
+	this.sendAsBinary = function XMLHttpRequest_sendAsBinary(){
+		
+	}
+
+	this.send = function XMLHttpRequest_send(){
+		
+	}
+	
+	return this;
+}
+
+
+function DOMWindow(){
+	this.name = new String();
+}
+
+function DOJOObj(){
+	this.moduleUrl = function module_url(str1, str2){
+		return str1 + str2;
+	}
+}
+
+// Creating the root Location object
+var location = new Location();
+
+// Creating the root document object
+document = new DOMHTMLDocument();
+
+// Creating the root window object
+window = new DOMWindow();
+
+document.location = location;
+window.location = location;
+
+window.document = document;
+window.XMLHttpRequest = XMLHttpRequest;
+
+var dojo = new DOJOObj();
+function DOMElement() { // An impostor for the Element class
+	// inherits from Node
+	this.temp = DOMNode;
+	this.temp();
+
+	// The get/set/remove attribute methods cannot be run using 'onclick','onmouseover', 'on...' kind of arguments for name.
+	// since that would be used as a workaround for eval
+
+	this.getAttribute = function getAttribute(name) {
+		this.attributes.get(name);
+	}
+	this.setAttribute = function setAttribute(name, value) {
+		this.attributes.set(name, value);
+	}
+
+	this.removeAttribute = function removeAttribute(name) {
+		this.attributes.remove(name);
+	}
+
+}
+
+function DOMHTMLElement() { // An impostor for the HTMLElement class
+	// inherits from Element
+	this.temp = DOMElement;
+	this.temp();
+
+	// Set HTML Attribute Defaults
+	this.id = null;
+	this.title = null;
+	this.lang = null;
+	this.dir = null;
+	this.className = null;
+
+	// Set Javascript properties
+	this.getAttribute = function getAttribute(name) {
+			if(name == "id") return this.id;
+			else if(name == "title") return this.title;
+			else if(name == "lang") return this.lang;
+			else if(name == "dir") return this.dir;
+			else if(name == "class") return this.className;
+			else return this.attributes.get(name);
+		}
+
+	this.setAttribute = function setAttribute(name, value) {
+			if(name == "id") this.id = value;
+			else if(name == "title") this.title = value;
+			else if(name == "lang")  this.lang = value;
+			else if(name == "dir")  this.dir = value;
+			else if(name == "class") this.className = value;
+			else return this.attributes.set(name, value);
+		}
+
+	this.removeAttribute = function removeAttribute(name) {
+			if(name == "id") this.id = null;
+			else if(name == "title") this.title = null;
+			else if(name == "lang")  this.lang = null;
+			else if(name == "dir") this.dir = null;
+			else if(name == "class") this.className = null;
+			else return this.attributes.remove(name);
+		}
+}
+
+var dynamic_node = 0;
+
+// Just a hack until all HTML elements have corresponding constructors
+function DOMHTMLGenericElement(tagName) {
+	// inherits from Element
+	this.temp = DOMHTMLElement;
+	this.temp();
+
+	// Set just the tag name
+	this.nodeName = tagName;
+	this.nodeValue = null;
+	
+	// record new node in dom_nodes
+	dom_nodes[dynamic_node++] = this;
+	
+	// load 'src' if appropriate
+	this.src.loadFile = String.prototype.loadFile;
+	this.src.loadFile();
+}
+
+function DOMHTMLFormElement() {
+	// inherits from HTMLElement
+	this.temp = DOMHTMLElement;
+	this.temp();
+
+	// Set Javascript properties
+	this.nodeName = "FORM";
+	this.elements = new NamedNodeList();
+	this.length = function form_elt_length() {
+		return this.elements.length;
+	}
+	this.submit = function form_elt_submit() {
+	}
+	this.reset = function form_elt_reset () {
+	}
+
+	// Set HTML Attribute Defaults
+	this.name = null;
+	this.acceptCharset = "UNKNOWN";
+	this.action = null;
+	this.enctype = "application/x-www-form-urlencoded";
+	this.method = "get";
+	this.target = null;
+
+	// Set Javascript properties
+	this.getAttribute = function getAttribute(name) {
+			if(name == "name") return this.name;
+			else if(name == "accept-charset") return this.acceptCharset;
+			else if(name == "action") return this.action;
+			else if(name == "enctype") return this.enctype;
+			else if(name == "method") return this.method;
+			else if(name == "target") return this.target;
+			else return this.prototype.getAttribute(name);
+		}
+
+	this.setAttribute = function setAttribute(name, value) {
+			if(name == "name") this.name = value;
+			else if(name == "accept-charset") this.acceptCharset = value;
+			else if(name == "action") this.action = value;
+			else if(name == "enctype") this.enctype = value;
+			else if(name == "method") this.method = value;
+			else if(name == "target") this.target = value;
+			else return this.prototype.setAttribute(name, value);
+		}
+
+	this.removeAttribute = function removeAttribute(name) {
+			if(name == "name") this.name = null;
+			else if(name == "accept-charset") this.acceptCharset = null;
+			else if(name == "action") this.action = null;
+			else if(name == "enctype") this.enctype = null;
+			else if(name == "method") this.method = null;
+			else if(name == "target") this.target = null;
+			else return this.prototype.removeAttribute(name);
+		}
+}
+
+function DOMHTMLTableElement () {
+	// inherits from HTMLElement
+	this.temp = DOMHTMLElement;
+	this.temp();
+
+	this.rows = function table_elt_rows() {
+	}	
+}
+
+dom_nodes = new Object();
+
+XMLHttpRequest = function _XMLHttpRequest() {
+
+	this.UNSENT = 0;
+	this.OPENED = 1;
+	this.HEADERS_RECEIVED = 2;
+	this.LOADING = 3;
+	this.DONE = 4;
+
+	this.orsc_handler = function xhr_orsc_handler() {
+		this.onreadystatechange();
+	}
+		  
+	this.open = function xhr_open(method, url, async, user, password) {
+		this.orsc_handler();
+	}
+
+	this.setRequestHeader = function xhr_setRequestHeader(header, value) {
+		
+	}
+
+	this.send = function xhr_send(data) {
+		this.orsc_handler();
+	}
+
+	this.abort = function xhr_abort() {
+		this.orsc_handler();
+	}
+
+	this.getResponseHeader = function xhr_getResponseHeader(header) {
+
+	}	
+
+	this.getAllResponseHeaders = function xhr_getAllResponseHeaders() {
+
+	}
+
+};
+
+for(var n in dom_nodes) {
+	dom_nodes[n].onload();
+}
+