context: var BrowserBot = function(win) {    this.topWindow = win;    this.window = this.topWindow;    this.buttonWindow = this.topWindow; // not sure what this is used for    this.currentPage = null;    this.currentWindow = this.topWindow;    this.currentWindowName = null;	this.windowPollers = new Array();    this.modalDialogTest = null;    this.recordedAlerts = new Array();    this.recordedConfirmations = new Array();    this.recordedPrompts = new Array();    this.openedWindows = {};    this.nextConfirmResult = true;    this.nextPromptResult = '';    this.newPageLoaded = false;    this.pageLoadError = null;    this.uniqueId = new Date().getTime();    this.pollingForLoad = new Object();    var self = this;    this.recordPageLoad = function() {    	LOG.info("Page load detected");        try {        	LOG.info("Page load location=" + self.getCurrentWindow(true).location);        } catch (e) {        	self.pageLoadError = e;        	return;        }        self.currentPage = null;        self.newPageLoaded = true;    };    this.isNewPageLoaded = function() {    	if (this.pageLoadError) {    		var e = this.pageLoadError;    		this.pageLoadError = null;    		throw e;    	}        return self.newPageLoaded;    };};
meta: 3175	/local1/tlutelli/issta_data/temp/all_js/javascript/2006_temp/2006/3175/093b5139dc945169afd36fbd691e1420b1e3e681/selenium-browserbot.js/buggy/code/javascript/core/scripts/selenium-browserbot.js