wide/static/js/playground.js

196 lines
6.1 KiB
JavaScript

/*
* Copyright (c) 2014-2015, b3log.org
*
* Licensed under the Apache License, Version 2.0 (the "License");
* you may not use this file except in compliance with the License.
* You may obtain a copy of the License at
*
* http://www.apache.org/licenses/LICENSE-2.0
*
* Unless required by applicable law or agreed to in writing, software
* distributed under the License is distributed on an "AS IS" BASIS,
* WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied.
* See the License for the specific language governing permissions and
* limitations under the License.
*/
var playground = {
editor: undefined,
pid: undefined,
init: function () {
$("#editorDiv").append("<textarea id='editor'></textarea>");
var textArea = document.getElementById("editor");
textArea.value = code;
playground.editor = CodeMirror.fromTextArea(textArea, {
lineNumbers: true,
autofocus: true,
autoCloseBrackets: true,
matchBrackets: true,
highlightSelectionMatches: {showToken: /\w/},
rulers: [{color: "#ccc", column: 120, lineStyle: "dashed"}],
styleActiveLine: true,
theme: "wide",
tabSize: 4,
indentUnit: 4,
foldGutter: true,
cursorHeight: 1,
});
this._initWS();
},
_initWS: function () {
// Used for session retention, server will release all resources of the session if this channel closed
var sessionWS = new ReconnectingWebSocket(config.channel + '/session/ws?sid=' + config.wideSessionId);
sessionWS.onopen = function () {
console.log('[session onopen] connected');
};
sessionWS.onmessage = function (e) {
console.log('[session onmessage]' + e.data);
};
sessionWS.onclose = function (e) {
console.log('[session onclose] disconnected (' + e.code + ')');
};
sessionWS.onerror = function (e) {
console.log('[session onerror] ' + JSON.parse(e));
};
var playgroundWS = new ReconnectingWebSocket(config.channel + '/playground/ws?sid=' + config.wideSessionId);
playgroundWS.onopen = function () {
console.log('[playground onopen] connected');
};
playgroundWS.onmessage = function (e) {
console.log('[playground onmessage]' + e.data);
var data = JSON.parse(e.data);
playground.pid = data.pid;
var val = $("#output").val();
$("#output").val(val + data.output);
};
playgroundWS.onclose = function (e) {
console.log('[playground onclose] disconnected (' + e.code + ')');
};
playgroundWS.onerror = function (e) {
console.log('[playground onerror] ' + JSON.parse(e));
};
},
share: function () {
if (!playground.editor) {
return;
}
var request = newWideRequest();
request.pid = playground.pid;
var code = playground.editor.getValue();
var request = newWideRequest();
request.code = code;
$.ajax({
type: 'POST',
url: config.context + '/playground/save',
data: JSON.stringify(request),
dataType: "json",
success: function (data) {
playground.editor.setValue(data.code);
if (!data.succ) {
return;
}
var url = window.location.protocol + "//" + window.location.host + '/' + data.url;
var html = '<a href="' + url + '" target="_blank">'
+ url + "</a>";
$("#url").html(html);
}
});
},
stop: function () {
if (!playground.editor || !playground.pid) {
return;
}
var request = newWideRequest();
request.pid = playground.pid;
$.ajax({
type: 'POST',
url: config.context + '/playground/stop',
data: JSON.stringify(request),
dataType: "json"
});
},
run: function () {
if (!playground.editor) {
return;
}
var code = playground.editor.getValue();
// Step 1. save & format code
var request = newWideRequest();
request.code = code;
$("#output").val("");
$.ajax({
type: 'POST',
url: config.context + '/playground/save',
data: JSON.stringify(request),
dataType: "json",
success: function (data) {
// console.log(data);
playground.editor.setValue(data.code);
if (!data.succ) {
return;
}
// Step 2. compile code
var request = newWideRequest();
request.filePath = data.filePath;
$.ajax({
type: 'POST',
url: config.context + '/playground/build',
data: JSON.stringify(request),
dataType: "json",
success: function (data) {
// console.log(data);
$("#output").val(data.output);
if (!data.succ) {
return;
}
// Step 3. run the executable binary and handle its output
var request = newWideRequest();
request.executable = data.executable;
$.ajax({
type: 'POST',
url: config.context + '/playground/run',
data: JSON.stringify(request),
dataType: "json",
success: function (data) {
// console.log(data);
}
});
}
});
}
});
}
};
$(document).ready(function () {
playground.init();
});