649 lines
17 KiB
JavaScript
649 lines
17 KiB
JavaScript
// 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
|
|
|
|
dynamic_node = 0;
|
|
dom_nodes = new Array();
|
|
|
|
note_url = function noteURL(url) {
|
|
// hook for analysis of Web pages
|
|
};
|
|
|
|
note_post_parameters = function notePostParameters(url) {
|
|
// hook for analysis of Web pages
|
|
};
|
|
|
|
NamedNodeList = function NamedNodeList() {
|
|
var maxLength = 10;
|
|
var local = new Array(10);
|
|
var counter = -1;
|
|
|
|
local[0] = new DOMElement();
|
|
this[0] = local[0];
|
|
|
|
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.item = function _item(index) {
|
|
return new DOMElement();
|
|
//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);
|
|
}
|
|
}
|
|
}
|
|
|
|
DOMNode = function DOMNode() { // An impostor for the Node class
|
|
this.attributes = new NamedNodeList();
|
|
this.childNodes = new NamedNodeList();
|
|
this.insertBefore = function Node_prototype_insertBefore(newChild, refChild) {
|
|
this.childNodes.insertBefore(newChild, refChild);
|
|
}
|
|
this.replaceChild = function Node_prototype_replaceChild(newChild, oldChild) {
|
|
this.childNodes.replace(newChild, oldChild);
|
|
}
|
|
this.removeChild = function Node_prototype_removeChild(oldChild) {
|
|
this.childNodes.remove(oldChild);
|
|
}
|
|
this.appendChild = function Node_prototype_appendChild(newChild) {
|
|
this.childNodes.add(newChild);
|
|
newChild.parentNode = this;
|
|
}
|
|
this.hasChildNodes = function Node_prototype_hasChildNodes() {
|
|
return this.childNodes.hasElements();
|
|
}
|
|
|
|
this.ownerDocument = document;
|
|
this.ownerWindow = window;
|
|
this.ownerWindow.XMLHttpRequest = XMLHttpRequest;
|
|
|
|
//these fields exist so we need to at least stub them out for pointer analysis
|
|
this.innerText = new String();
|
|
this.innerHTML = new String();
|
|
|
|
this.collect = function collect(predicate, result) {
|
|
if (predicate(this)) {
|
|
result.push(this);
|
|
}
|
|
this.childNodes.collect(predicate, result);
|
|
}
|
|
|
|
this.selectNodes = function(a) {
|
|
}
|
|
|
|
this.addEventListener = function Node_prototype_addEventListener(name, fn) { fn(); };
|
|
|
|
this.removeEventListener = function Node_prototype_removeEventListener(name) {};
|
|
};
|
|
|
|
DOMNode.prototype.cloneNode = function Node_prototype_cloneNode() {
|
|
// TODO: model me
|
|
};
|
|
|
|
DOMNode.prototype.compareDocumentPosition = function Node_prototype_compareDocumentPosition() {
|
|
// TODO: model me
|
|
};
|
|
|
|
DOMNode.prototype.contains = function Node_prototype_contains() {
|
|
return true || false;
|
|
}
|
|
|
|
DOMDocument = function DOMDocument() {
|
|
this.DOMNode = DOMNode;
|
|
this.DOMNode();
|
|
delete this.DOMNode;
|
|
|
|
this.createElement = function Document_prototype_createElement(name) {
|
|
// TODO : to be implemented accurately
|
|
return new DOMHTMLGenericElement(name);
|
|
}
|
|
|
|
this.getElementById = function Document_prototype_getElementById(id) {
|
|
var result = new Array();
|
|
result[0] = new DOMHTMLGenericElement("model");
|
|
//this.collect(function check_id(x) { return x.id == id; }, result);
|
|
return result[0];
|
|
};
|
|
|
|
this.getElementsByTagName = function Document_prototype_getElementsByTagName(name) {
|
|
// TODO: change this to use the tag name and not the ID
|
|
var result = new Array();
|
|
result[0] = new DOMHTMLGenericElement("model");
|
|
//this.collect(function check_id(x) { return x.id == id; }, result);
|
|
return result;
|
|
};
|
|
|
|
this.createTextNode = function Document_prototype_createTextNode(txt) {
|
|
// TODO: not very precise
|
|
return new DOMHTMLGenericElement("text");
|
|
};
|
|
|
|
this.write = function Document_prototype_write (stuff) {
|
|
|
|
};
|
|
|
|
this.writeln = function Document_prototype_writeln (stuff) {
|
|
|
|
};
|
|
};
|
|
DOMDocument.prototype.createDocumentFragment = function Document_prototype_createDocumentFragment() {
|
|
return new DOMDocument();
|
|
};
|
|
DOMDocument.prototype.createComment = function Document_prototype_createComment() {
|
|
// TODO: model me
|
|
};
|
|
DOMDocument.prototype.getElementsByClassName = function Document_prototype_getElementsByClassName() {
|
|
// TODO: model me
|
|
};
|
|
DOMDocument.prototype.querySelectorAll = function Document_prototype_querySelectorAll() {
|
|
// TODO: model me
|
|
};
|
|
|
|
|
|
|
|
HTMLBody = function HTMLBody(){
|
|
this.innerHTML = new String();
|
|
}
|
|
|
|
DOMHTMLDocument = function DOMHTMLDocument() {
|
|
this.DOMDocument = DOMDocument;
|
|
this.DOMDocument();
|
|
delete this.DOMDocument;
|
|
|
|
this.URL = new String();
|
|
this.body = new HTMLBody();
|
|
this.forms = new Array();
|
|
}
|
|
|
|
Location = function Location(){
|
|
this.port = new String();
|
|
this.port.value = new String();
|
|
this.host = new String();
|
|
this.hostname = new String();
|
|
this.href = new String();
|
|
this.search = new String();
|
|
this.protocol = new String();
|
|
this.protocol.value = new String();
|
|
this.pathname = new String();
|
|
this.toString = function Location_to_string(){
|
|
return new String();
|
|
}
|
|
this.replace = function Location_replace(name) {
|
|
}
|
|
this.assign = function Location_assign(a) {}
|
|
}
|
|
|
|
Image = function Image() {
|
|
this.name = new String();
|
|
this.src = new String();
|
|
this.align = new String();
|
|
this.alt = new String();
|
|
this.border = new String();
|
|
this.height = 1/2;
|
|
this.hspace = 1/2;
|
|
this.isMap = true || false;
|
|
this.longDesc = new String();
|
|
this.useMap = new String();
|
|
this.vspace = 1/2;
|
|
this.width = 1/2;
|
|
};
|
|
|
|
|
|
DOMWindow = function DOMWindow(){
|
|
this.name = new String();
|
|
this.open = function window_open(url, stuff) {
|
|
note_url(url);
|
|
};
|
|
this.addEventListener = function Window_prototype_addEventListener(name, fn) {
|
|
fn();
|
|
};
|
|
this.alert = function Window_prototype_alert(msg) {
|
|
// as everyone knows, alert is pure
|
|
};
|
|
this.setInterval = function Window_prototype_setInterval(fn, interval) {
|
|
fn();
|
|
};
|
|
this.setTimeout = function Window_prototype_setTimeout(fn, timeout) {
|
|
fn();
|
|
};
|
|
this.clearInterval = function Window_prototype_clearInterval(interval) {};
|
|
this.clearTimeout = function Window_prototype_clearTimeout(timeout) {};
|
|
};
|
|
DOMWindow.prototype.getComputedStyle = function Window_prototype_getComputedStyle(elt, pseudoElt) {
|
|
return new CSS2Properties();
|
|
};
|
|
DOMWindow.prototype.focus = function Window_prototype_focus() {
|
|
// TODO: model me
|
|
};
|
|
DOMWindow.prototype.prompt = function Window_prototype_prompt() {
|
|
};
|
|
|
|
CSS2Properties = function CSS2Properties() {
|
|
this.cssText = new String();
|
|
};
|
|
|
|
DOJOObj = 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.body = new Object();
|
|
|
|
document.location = location;
|
|
window.location = location;
|
|
|
|
document.domain = new Object();
|
|
document.title = new String();
|
|
|
|
function Referrer() {
|
|
this.toString = function () { return new String();}
|
|
}
|
|
document.referrer = new Referrer();
|
|
document.evaluate = function documentEvaluate(a, b, c, d, e) {
|
|
}
|
|
document.execCommand = function execCommand(a,b,c) {}
|
|
|
|
function Cookie() {
|
|
this.toString = function() { return new String(); }
|
|
}
|
|
document.cookie = new Cookie();
|
|
|
|
document.createExpression = function createExpression(a,b) {return new String()}
|
|
|
|
window.parseFloat = parseFloat;
|
|
window.parseInt = parseInt;
|
|
|
|
function ExecScript(code) {
|
|
}
|
|
|
|
window.execScript = ExecScript;
|
|
window.eval = eval;
|
|
|
|
function prompt(a, b) {
|
|
return new String();
|
|
}
|
|
|
|
window.prompt = prompt;
|
|
|
|
window.escape = escape;
|
|
window.encodeURI = encodeURI;
|
|
window.encodeURIComponent = encodeURIComponent;
|
|
window.unescape = unescape;
|
|
window.decodeURI = decodeURI;
|
|
window.decodeURIComponent = decodeURIComponent;
|
|
|
|
window.navigate = function navigate(a) {}
|
|
|
|
window.document = document;
|
|
document.defaultView = window;
|
|
window.XMLHttpRequest = XMLHttpRequest;
|
|
|
|
setInterval = window.setInterval;
|
|
setTimeout = window.setTimeout;
|
|
clearInterval = window.clearInterval;
|
|
|
|
var dojo = new DOJOObj();
|
|
|
|
function ElementStyle() {
|
|
this.background = new String();
|
|
}
|
|
|
|
DOMElement = function DOMElement() { // An impostor for the Element class
|
|
// inherits from Node
|
|
this.DOMNode = DOMNode;
|
|
this.DOMNode();
|
|
delete this.DOMNode;
|
|
|
|
this.style = new ElementStyle();
|
|
|
|
this.outerHTML = new String();
|
|
this.src = new String();
|
|
|
|
// 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 Element_prototype_getAttribute(name) {
|
|
return this[name];
|
|
};
|
|
|
|
this.setAttribute = function Element_prototype_setAttribute(name, value) {
|
|
this[name] = value;
|
|
};
|
|
|
|
this.removeAttribute = function Element_prototype_removeAttribute(name) {
|
|
delete this[name];
|
|
};
|
|
|
|
this.insertAdjacentHTML = function insertAdjacentHTML(a, b) {
|
|
};
|
|
|
|
this.getElementsByTagName = function Element_prototype_getElementsByTagName(tagName) {
|
|
var result = new Array();
|
|
result[0] = new DOMHTMLGenericElement("model");
|
|
//this.collect(function check_tag(x) { return x.name == tagName; }, result);
|
|
return result;
|
|
|
|
};
|
|
|
|
this.focus = function Element_prototype_focus() {};
|
|
};
|
|
|
|
DOMElement.prototype.querySelectorAll = function Element_prototype_querySelectorAll() {
|
|
// TODO: model me
|
|
};
|
|
|
|
DOMElement.prototype.getElementsByClassName = function Element_prototype_getElementsByClassName() {
|
|
// TODO: model me
|
|
};
|
|
|
|
DOMElement.prototype.getBoundingClientRect = function Element_prototype_getBoundingClientRect() {
|
|
// TODO: model me
|
|
};
|
|
|
|
DOMElement.prototype.focus = function Element_prototype_focus() {
|
|
};
|
|
|
|
Event = function Event() {
|
|
// TODO: model me
|
|
};
|
|
|
|
Event.prototype.stopPropagation = function Event_prototype_stopPropagation() {
|
|
// TODO: model me
|
|
};
|
|
|
|
Event.prototype.preventDefault = function Event_prototype_preventDefault() {
|
|
// TODO: model me
|
|
};
|
|
|
|
DOMHTMLElement = function DOMHTMLElement() { // An impostor for the HTMLElement class
|
|
// inherits from Element
|
|
this.DOMElement = DOMElement;
|
|
this.DOMElement();
|
|
delete this.DOMElement;
|
|
|
|
// Set HTML Attribute Defaults
|
|
this.id = null;
|
|
this.title = null;
|
|
this.lang = null;
|
|
this.dir = null;
|
|
this.className = null;
|
|
|
|
// record new node in dom_nodes
|
|
dom_nodes[dynamic_node++] = this;
|
|
|
|
this.forms = new Array();
|
|
this.formCount = 0;
|
|
|
|
// 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);
|
|
}
|
|
}
|
|
|
|
// Just a hack until all HTML elements have corresponding constructors
|
|
DOMHTMLGenericElement = function DOMHTMLGenericElement(tagName) {
|
|
// inherits from Element
|
|
this.DOMHTMLElement = DOMHTMLElement;
|
|
this.DOMHTMLElement();
|
|
delete this.DOMHTMLElement;
|
|
|
|
// Set just the tag name
|
|
this.nodeName = tagName;
|
|
this.nodeValue = null;
|
|
|
|
// load 'src' if appropriate
|
|
this.src.loadFile = String.prototype.loadFile;
|
|
this.src.loadFile();
|
|
|
|
// this property only exists on iframes; putting it here for now
|
|
this.documentWindow = window;
|
|
|
|
this.getContext = function() { return new CanvasRenderingContext2D(); };
|
|
this.getAttribute = function() {return new String();}
|
|
};
|
|
|
|
CanvasRenderingContext2D = function CanvasRenderingContext2D() {};
|
|
CanvasRenderingContext2D.prototype = {
|
|
beginPath: function CanvasRenderingContext2D_prototype_beginPath() {},
|
|
moveTo: function CanvasRenderingContext2D_prototype_moveTo() {},
|
|
lineTo: function CanvasRenderingContext2D_prototype_lineTo() {},
|
|
closePath: function CanvasRenderingContext2D_prototype_closePath() {},
|
|
fill: function CanvasRenderingContext2D_prototype_fill() {},
|
|
stroke: function CanvasRenderingContext2D_prototype_stroke() {},
|
|
clearRect: function CanvasRenderingContext2D_prototype_clearRect() {},
|
|
fillRect: function CanvasRenderingContext2D_prototype_fillRect() {}
|
|
};
|
|
|
|
var formCount = 0;
|
|
|
|
DOMHTMLFormElement = function DOMHTMLFormElement() {
|
|
// inherits from HTMLElement
|
|
this.DOMHTMLElement = DOMHTMLElement;
|
|
this.DOMHTMLElement();
|
|
delete this.DOMHTMLElement;
|
|
|
|
// add to 'forms' property
|
|
document.forms[formCount++] = this;
|
|
|
|
// 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);
|
|
}
|
|
}
|
|
|
|
DOMHTMLTableElement = function DOMHTMLTableElement () {
|
|
// inherits from HTMLElement
|
|
this.DOMHTMLElement = DOMHTMLElement;
|
|
this.DOMHTMLElement();
|
|
delete this.DOMHTMLElement;
|
|
|
|
this.rows = function table_elt_rows() {
|
|
}
|
|
}
|
|
|
|
XMLHttpRequest = function XMLHttpRequest() {
|
|
|
|
this.responseText = new String();
|
|
this.responseXML = new DOMNode();
|
|
|
|
this.UNSENT = 0;
|
|
this.OPENED = 1;
|
|
this.HEADERS_RECEIVED = 2;
|
|
this.LOADING = 3;
|
|
this.DONE = 4;
|
|
|
|
this.onreadystatechange = function xhr_onreadystatechange() {
|
|
}
|
|
|
|
this.orsc_handler = function xhr_orsc_handler() {
|
|
this.onreadystatechange();
|
|
}
|
|
|
|
this.open = function xhr_open(method, url, async, user, password) {
|
|
this.sUrl = url;
|
|
note_url(url);
|
|
this.orsc_handler();
|
|
}
|
|
|
|
this.setRequestHeader = function xhr_setRequestHeader(header, value) {
|
|
|
|
}
|
|
|
|
this.send = function xhr_send(data) {
|
|
this.orsc_handler();
|
|
note_post_parameters(data);
|
|
}
|
|
|
|
this.abort = function xhr_abort() {
|
|
this.orsc_handler();
|
|
}
|
|
|
|
this.getResponseHeader = function xhr_getResponseHeader(header) {
|
|
return new String();
|
|
}
|
|
|
|
this.getAllResponseHeaders = function xhr_getAllResponseHeaders() {
|
|
return new String();
|
|
}
|
|
|
|
};
|
|
|
|
XMLSerializer = function XMLSerializer() {};
|
|
XMLSerializer.prototype.serializeToString = function XMLSerializer_prototype_serializeToString() {
|
|
// TODO: model me
|
|
};
|
|
|
|
for(var n = 0; n < dom_nodes.length; n++) {
|
|
dom_nodes[n].onload();
|
|
dom_nodes[n].onreadystatechange();
|
|
}
|
|
|
|
function ActiveXObject() {
|
|
this.async = new String();
|
|
this.loadXML = function AXOloadXML(url) {
|
|
}
|
|
}
|
|
|
|
|