config/emacs.d/swank-js/client/swank-js.js
2011-06-26 15:55:20 -07:00

139 lines
4.6 KiB
JavaScript

//
// Copyright (c) 2010 Ivan Shvedunov. All rights reserved.
//
// Redistribution and use in source and binary forms, with or without
// modification, are permitted provided that the following conditions
// are met:
//
// * Redistributions of source code must retain the above copyright
// notice, this list of conditions and the following disclaimer.
//
// * Redistributions in binary form must reproduce the above
// copyright notice, this list of conditions and the following
// disclaimer in the documentation and/or other materials
// provided with the distribution.
//
// THIS SOFTWARE IS PROVIDED BY THE AUTHOR 'AS IS' AND ANY EXPRESSED
// OR IMPLIED WARRANTIES, INCLUDING, BUT NOT LIMITED TO, THE IMPLIED
// WARRANTIES OF MERCHANTABILITY AND FITNESS FOR A PARTICULAR PURPOSE
// ARE DISCLAIMED. IN NO EVENT SHALL THE AUTHOR BE LIABLE FOR ANY
// DIRECT, INDIRECT, INCIDENTAL, SPECIAL, EXEMPLARY, OR CONSEQUENTIAL
// DAMAGES (INCLUDING, BUT NOT LIMITED TO, PROCUREMENT OF SUBSTITUTE
// GOODS OR SERVICES; LOSS OF USE, DATA, OR PROFITS; OR BUSINESS
// INTERRUPTION) HOWEVER CAUSED AND ON ANY THEORY OF LIABILITY,
// WHETHER IN CONTRACT, STRICT LIABILITY, OR TORT (INCLUDING
// NEGLIGENCE OR OTHERWISE) ARISING IN ANY WAY OUT OF THE USE OF THIS
// SOFTWARE, EVEN IF ADVISED OF THE POSSIBILITY OF SUCH DAMAGE.
var SwankJS = { socket: null, connected: false, bufferedOutput: [] };
// TBD: check message contents
// TBD: exception handling
// TBD: trim stack trace excluding everything starting from swankjs_evaluate line
SwankJS.debug = function debug () {
if (!window.console)
return;
var debug = console.debug || console.log;
if (!debug)
return;
var args = [];
for (var i = 0; i < arguments.length; ++i)
args.push(arguments[i]);
debug.apply(console, args);
};
SwankJS.setup = function setup () {
try {
if (parent.window && parent.window.document !== document && parent.window.SwankJS)
return;
} catch (e) {}
var self = this;
// TBD: swank-js should proxy all requests to autoadd its scripts
// (this way, the dynamic script loading stuff isn't necessary)
// and to make flashsocket swf load from the same url as the
// web app itself.
// Don't forget about 'Host: ' header though!
this.socket = new io.Socket();
this.socket.on(
"connect",
function() {
self.connected = true;
self.debug("connected");
self.socket.send({ op: "handshake", userAgent: navigator.userAgent });
if (self.bufferedOutput.length > 0) {
for (var i = 0; i < self.bufferedOutput.length; ++i)
self.output(self.bufferedOutput[i]);
self.bufferedOutput = [];
}
});
this.socket.on(
"message", function swankjs_evaluate (m) {
self.debug("eval: %o", m);
// var m = JSON.parse(message);
try {
var r = window.eval(m.code);
} catch (e) {
var message = String(e);
if (message == "[object Error]") {
try {
message = "ERROR: " + e.message;
} catch(e1) {}
}
self.debug("error = %s", message);
self.socket.send({ op: "result", id: m.id,
error: message + "\n" + swank_printStackTrace({ e: e }).join("\n") });
return;
}
self.debug("result = %s", String(r));
self.socket.send({ op: "result", id: m.id, error: null, values: r === undefined ? [] : [String(r)] }); });
this.socket.on(
"disconnect", function() {
self.debug("connected");
});
this.socket.connect();
};
// useful functions for the REPL / web apps
SwankJS.output = function output (str) {
if (this.socket && this.connected)
this.socket.send({ op: "output", str: str });
else
this.bufferedOutput.push(str);
};
SwankJS.reload = function reload () {
document.location.reload(true);
};
SwankJS.refreshCSS = function refreshCSS () {
// FIXME: this doesn't work in IE yet
// FIXME: support refresh of individual CSS files
var links = document.getElementsByTagName('link');
for (var i = 0; i < links.length; i++) {
var link = links[i];
if (link.rel.toLowerCase().indexOf('stylesheet') >=0 && link.href) {
var h = link.href.replace(/(&|\\?)forceReload=\d+/, "");
link.href = h + (h.indexOf('?') >= 0 ? '&' : '?') + 'forceReload=' + Date.now();
}
}
};
/*
// we may need this later
SwankJS.makeScriptElement = function makeScriptElement (src, content) {
var script = document.createElement("script");
script.type = "text/javascript";
if (src)
script.src = src;
else {
var text = document.createTextNode(content);
script.appendChild(text);
}
return script;
};
*/
SwankJS.setup();