diff options
| author | Aleš Smodiš <aless@guru.si> | 2015-10-02 11:22:06 +0200 |
|---|---|---|
| committer | Aleš Smodiš <aless@guru.si> | 2015-10-02 11:22:06 +0200 |
| commit | 0c168d0027f3350344d0fcdf16c554dcc8f3c92b (patch) | |
| tree | b263d19109400d33c31e3e0c5c5a256d03a4cae4 | |
| parent | f72d4a175d44283e1d2d35bccff706093600c1c2 (diff) | |
Remove deprecated files.
| -rw-r--r-- | css/jquery/jquery.terminal.css | 143 | ||||
| -rw-r--r-- | index.html | 2 | ||||
| -rw-r--r-- | js/codeq.js | 749 | ||||
| -rw-r--r-- | js/def_parser.js | 436 | ||||
| -rw-r--r-- | js/jquery/jquery.console.js | 773 | ||||
| -rw-r--r-- | js/jquery/jquery.terminal-0.8.8.js | 4335 | ||||
| -rw-r--r-- | sins.py | 192 | ||||
| -rw-r--r-- | sins.svg | 133 | ||||
| -rw-r--r-- | sister.py | 38 |
9 files changed, 0 insertions, 6801 deletions
diff --git a/css/jquery/jquery.terminal.css b/css/jquery/jquery.terminal.css deleted file mode 100644 index 5b765c4..0000000 --- a/css/jquery/jquery.terminal.css +++ /dev/null @@ -1,143 +0,0 @@ -/* - * This css file is part of jquery terminal - * - * Licensed under GNU LGPL Version 3 license - * Copyright (c) 2011-2013 Jakub Jankiewicz <http://jcubic.pl> - * - */ -.terminal .terminal-output .format, .cmd .format, -.cmd .prompt, .cmd .prompt div, .terminal .terminal-output div div{ - display: inline-block; -} -.cmd .clipboard { - position: absolute; - bottom: 0; - left: 0; - opacity: 0.01; - filter: alpha(opacity = 0.01); - filter: progid:DXImageTransform.Microsoft.Alpha(opacity=0.01); - width: 2px; -} -.cmd > .clipboard { - position: fixed; -} -.terminal { - padding: 10px; - position: relative; - overflow: hidden; -} -.cmd { - padding: 0; - margin: 0; - height: 1.3em; - /*margin-top: 3px; */ -} -.cmd .cursor.blink { - -webkit-animation: blink 1s infinite steps(1, start); - -moz-animation: blink 1s infinite steps(1, start); - -ms-animation: blink 1s infinite steps(1, start); - animation: blink 1s infinite steps(1, start); -} -@keyframes blink { - 0%, 100% { - background-color: #000; - color: #aaa; - } - 50% { - background-color: #bbb; /* not #aaa because it's seem there is Google Chrome bug */ - color: #000; - } -} -@-webkit-keyframes blink { - 0%, 100% { - background-color: #000; - color: #aaa; - } - 50% { - background-color: #bbb; - color: #000; - } -} -@-ms-keyframes blink { - 0%, 100% { - background-color: #000; - color: #aaa; - } - 50% { - background-color: #bbb; - color: #000; - } -} -@-moz-keyframes blink { - 0%, 100% { - background-color: #000; - color: #aaa; - } - 50% { - background-color: #bbb; - color: #000; - } -} -.terminal .terminal-output div div, .cmd .prompt { - display: block; - line-height: 14px; - height: auto; -} -.cmd .prompt { - float: left; -} -.terminal, .cmd { - font-family: FreeMono, monospace; - color: #aaa; - background-color: #000; - font-size: 12px; - line-height: 14px; -} -.terminal-output > div { - /*padding-top: 3px;*/ - min-height: 14px; -} -.terminal .terminal-output div span { - display: inline-block; -} -.cmd span { - float: left; - /*display: inline-block; */ -} -.terminal .inverted, .cmd .inverted, .cmd .cursor.blink { - background-color: #aaa; - color: #000; -} -.terminal .terminal-output div div::-moz-selection, -.terminal .terminal-output div span::-moz-selection, -.terminal .terminal-output div div a::-moz-selection { - background-color: #aaa; - color: #000; -} -.terminal .terminal-output div div::selection, -.terminal .terminal-output div div a::selection, -.terminal .terminal-output div span::selection, -.cmd > span::selection, -.cmd .prompt span::selection { - background-color: #aaa; - color: #000; -} -.terminal .terminal-output div.error, .terminal .terminal-output div.error div { - color: red; -} -.tilda { - position: fixed; - top: 0; - left: 0; - width: 100%; - z-index: 1100; -} -.clear { - clear: both; -} -.terminal a { - color: #0F60FF; -} -.terminal a:hover { - color: red; -} @@ -5,7 +5,6 @@ <meta name="apple-mobile-web-app-capable" content="yes"> <meta name="apple-mobile-web-app-status-bar-style" content="black-translucent"> <meta name="format-detection" content="telephone=no"> - <link rel="stylesheet" href="css/jquery/jquery.terminal.css" type="text/css"> <!-- CodeMirror --> <link rel="stylesheet" href="css/codemirror/codemirror.css" type="text/css"> <link rel="stylesheet" href="css/codemirror/show-hint.css" type="text/css"> @@ -464,7 +463,6 @@ <!-- jQuery stuff --> <script src="js/jquery/jquery-1.11.3.js"></script> <script src="js/engine.io.js"></script> - <script src="js/jquery/jquery.terminal-0.8.8.js"></script> <script src="js/jquery/jquery.history.js"></script> <!-- Q promise library --> <script src="js/q.js"></script> diff --git a/js/codeq.js b/js/codeq.js deleted file mode 100644 index 702ccfa..0000000 --- a/js/codeq.js +++ /dev/null @@ -1,749 +0,0 @@ -// introduce the namespace object for codeq -window.codeq = {}; -window.siteDefinition = { logLevel: 'debug' }; // for debug purposes -window.phandler = null; // TODO: this is for debug only - -// type definitions, so the IDE and coders have easier work -/** - * @typedef {Object} ServerHint a hint sent by the server - * @property {string} id the hint ID - * @property {Object} args optional arguments for the hint in case of a pop-up or static hint - * @property {string[]} choices array of choices in case of a drop-down hint - * @property {number} start the starting position of the highlighted code, in case of a pop-up or drop-down hint - * @property {number} end the ending position of the highlighted code, in case of a pop-up or drop-down hint - */ - -(function () { - - // regular expressions for the templating function, the logging system, etc. - var regexpQuote = new RegExp('"', 'g'), - regexpBackslash = new RegExp('\\\\', 'g'), - regexpWhiteSpaceStart = new RegExp('^[ \r\n\t]+'), - regexpWhiteSpaceEnd = new RegExp('[ \r\n\t]+$'), - regexpWhiteSpaceNonPrintable = new RegExp('[\r\n\t]', 'g'), - regexpWhiteSpaceBeforeTag = new RegExp('[ \r\n\t]+(?=<)', 'g'), - regexpWhiteSpaceAfterTag = new RegExp('>[ \r\n\t]+', 'g'), - regexpIKeyMarker = new RegExp('(?:^|\\s)(ikey-marker.*)(?:$|\\s)'), - regexpWhiteSpace = new RegExp('[ \\r\\n\\t]+'); - - // ================================================================================ - // The log module: contains methods for logging, sending logs to the server - // ================================================================================ - - var jsonize; // JSONization function - - if (JSON && JSON.stringify) { - jsonize = JSON.stringify; - } - else { - jsonize = function (obj) { - var t, buffer, i, isFirst; - if (null === obj) return 'null'; - t = typeof obj; - if (t === 'string') { - return '"' + obj.replace(regexpBackslash, '\\\\').replace(regexpQuote, '\\"') + '"'; - } - if (t === 'number') { - if (isFinite(obj)) return obj.toString(); - throw new Error('Cannot jsonize a non-finite number: ' + obj.toString()); - } - if (t === 'boolean') { - if (obj) return 'true'; - return 'false'; - } - if (t === 'object') { - if (obj instanceof String) return jsonize(obj.valueOf()); - if (obj instanceof Number) return jsonize(obj.valueOf()); - if (obj instanceof Boolean) return jsonize(obj.valueOf()); - if (obj instanceof Array) { - buffer = [ '[' ]; - isFirst = true; - for (i = 0; i < obj.length; i++) { - if (isFirst) isFirst = false; - else buffer.push(','); - buffer.push(jsonize(obj[i])); - } - buffer.push(']'); - return buffer.join(''); - } - buffer = [ '{' ]; - isFirst = true; - for (i in obj) { - if (isFirst) isFirst = false; - else buffer.push(','); - buffer.push(jsonize(i), ':', jsonize(obj[i])); - } - buffer.push('}'); - return buffer.join(''); - } - throw new Error('Cannot jsonize ' + t); - }; - } - - codeq.jsonize = jsonize; - - codeq.log = {}; - (function () { - var assembleOutput = function (stuff, e) { - var lines = [ stuff ]; - if (e && e.stack) lines.push(e.stack); - return lines.join('\n'); - }; - - if (window.siteDefinition && window.siteDefinition.logService) { - var url = window.siteDefinition.logService, - logs = [], - storeLog = function (level, stuff, e) { - logs.push({ - 't': Date.now(), - 'l': level, - 'm': assembleOutput(stuff, e) - }); - }; - if (window.siteDefinition && (window.siteDefinition.logLevel == 'debug')) { - codeq.log.debug = function (stuff, e) { storeLog('debug', stuff, e); }; - } - else codeq.log.debug = function () {}; - - if (window.siteDefinition && ((window.siteDefinition.logLevel == 'info') || (window.siteDefinition.logLevel == 'debug'))) { - codeq.log.info = function (stuff, e) { storeLog('info', stuff, e); }; - } - else codeq.log.info = function () {}; - - codeq.log.error = function (stuff, e) { storeLog('error', stuff, e); }; - - setInterval(function () { - var copyOfLogs; - if (logs.length < 1) return; - copyOfLogs = jsonize({'logs': logs}); - logs = []; - $.ajax({ - contentType: 'application/json', - dataType: 'application/json', - type: 'POST', - url: url, - data: copyOfLogs, - error: function (jqXHR, textStatus, errorThrown) { - if (window.console && console.log) console.log(assembleOutput('Posting of logs to ' + url + ' failed: ' + textStatus, errorThrown)); - else dump(assembleOutput('Posting of logs to ' + url + ' failed: ' + textStatus, errorThrown)); - }, - success: function (data, textStatus, jqXHR) { - } - }); - }, 1000); - } - else if (window.console && console.log) { - if (window.siteDefinition && (window.siteDefinition.logLevel == 'debug')) { - codeq.log.debug = function (stuff, e) { console.log(assembleOutput('DEBUG: ' + stuff, e)); }; - } - else codeq.log.debug = function () {}; - - if (window.siteDefinition && ((window.siteDefinition.logLevel == 'info') || (window.siteDefinition.logLevel == 'debug'))) { - codeq.log.info = function (stuff, e) { console.log(assembleOutput('INFO: ' + stuff, e)); }; - } - else codeq.log.info = function () {}; - - codeq.log.error = function (stuff, e) { console.log(assembleOutput('ERROR: ' + stuff, e)); }; - } - else { - if (window.siteDefinition && (window.siteDefinition.logLevel == 'debug')) { - codeq.log.debug = function (stuff, e) { dump(assembleOutput('DEBUG: ' + stuff, e)); }; - } - else codeq.log.debug = function () {}; - - if (window.siteDefinition && ((window.siteDefinition.logLevel == 'info') || (window.siteDefinition.logLevel == 'debug'))) { - codeq.log.info = function (stuff, e) { dump(assembleOutput('INFO: ' + stuff, e)); }; - } - else codeq.log.info = function () {}; - - codeq.log.error = function (stuff, e) { dump(assembleOutput('ERROR: ' + stuff, e)); }; - } - })(); - - // ================================================================================ - // The system module: contains essential methods for the operation of the app - // ================================================================================ - - // -------------------------------------------------------------------------------- - // The templating part: the createTemplate() and its utility functions - // -------------------------------------------------------------------------------- - - // jQuery extension - jQuery.fn.makeUnselectable = function () { - this.attr("unselectable", "on").attr("draggable", "false"); - this.find("*").attr("unselectable", "on").attr("draggable", "false"); - return this; - }; - - var - emptyConstObject = {}; // for use as a default read-only parameter in various methods, so we don't instantiate empty objects for no reason - - // convert a string into its definition - var stringToDef = function (str) { - return str.replace(regexpBackslash, '\\\\').replace(regexpQuote, '\\"').replace(regexpWhiteSpaceNonPrintable, ' '); - }; - - // given a HTML source, remove whitespace among tags - var cleanHtml = function (html) { - // JavaScript doesn't support lookbehind, so we use the split-join trick - return html.replace(regexpWhiteSpaceBeforeTag, '').split(regexpWhiteSpaceAfterTag).join('>'); - }; - - var trailingBackslashCount = function (s) { - var n = 0, i = s.length - 1; - while ((i >= 0) && (s.charAt(i) === '\\')) { - n++; - i--; - } - return n; - }; - - /** - * Takes a string of "argName=argValue" arguments separated with a comma. - * Creates and returns an array of arguments, where each argument is - * represented as an object in the form { name: "argName", value: "argValue" }. - * Heading and trailing whitespace is auto-removed. - */ - var splitComponentArguments = function (s) { - var commaParts = s.split(','), - args = [], // array of arguments, an argument is an object with the properties name and value (atomL and atomR) - doubleParts, singleParts, i, atom, j, k, l, - doublePart, singlePart, doubleLastIndex, singleLastIndex, - equalsParts, atomL, atomR, - singleOpen = false, doubleOpen = false; - - atom = []; // substrings of the currently assembling atom - atomL = false; // the left-side atom - atomR = false; // the right-side atom, between them is an equals sign - for (i = 0; i < commaParts.length; i++) { - doubleParts = commaParts[i].split('"'); // first split after double quotes - doubleLastIndex = doubleParts.length - 1; - for (j = 0; j < doubleParts.length; j++) { // and process the parts - doublePart = doubleParts[j]; - singleParts = doublePart.split("'"); // split after single quotes - singleLastIndex = singleParts.length - 1; - for (k = 0; k < singleParts.length; k++) { // process the parts delimited by single quotes - if (atomL || singleOpen || doubleOpen) { // left side of the assignment was already found, or quotes are active - atom.push(singleParts[k]); // don't search for the equals sign - } - else { // we don't have the left side of the assignment yet and no quotes are open - equalsParts = singleParts[k].split('='); // search for the equals sign - atom.push(equalsParts[0]); - if (equalsParts.length > 1) { // equals sign was found: we have the left side of the assignment - atomL = jQuery.trim(atom.join('')); // store the left side of the assignment - if (atomL === '') throw new Error('splitComponentArguments(): left side of the argument at index ' + args.length + ' is empty: ' + s); - atom = []; // and reset the atom buffer - atom.push(equalsParts[1]); // save the rest into the atom buffer - for (l = 2; l < equalsParts.length; l++) { // there may be more than 1 equals sign, store them, too - atom.push('='); - atom.push(equalsParts[l]); - } - } - } - if (k < singleLastIndex) { // the last item does not have a quote attached - atom.push("'"); - if (!doubleOpen) { - if ((trailingBackslashCount(singleParts[k]) % 2) == 0) singleOpen = !singleOpen; - } - } - } - if (j < doubleLastIndex) { // the last item does not have a quote attached - atom.push('"'); - if (!singleOpen) { - if ((trailingBackslashCount(doublePart) % 2) == 0) doubleOpen = !doubleOpen; - } - } - } - if (singleOpen || doubleOpen) { // a quote is still open: include the comma - atom.push(','); - } - else { // no open quotes, and a comma or end-of-line encoutered: means end of an atom - if (!atomL) throw new Error('splitComponentArguments(): the argument at index ' + args.length + ' does not contain a parameter assignment: ' + s); - atomR = jQuery.trim(atom.join('')); - args.push({ 'name': atomL, 'value': atomR }); - atomL = false; - atomR = false; - atom = []; - } - } - - if (atomL || (atom.length > 0)) throw new Error('splitComponentArguments(): premature end of the last argument: ' + s); - - return args; - }; - - - var QuotesWalker = function (s, isLongQuotes) { - var doubleQuotes, singleQuotes, quoteLen, iteration = 0, - n = s.length, - startCharPos = 0, - unescapedIndexOf = function (s, quotes, startPos) { - var n = s.length, pos; - while (startPos < n) { - pos = s.indexOf(quotes, startPos); - if (pos <= 0) return pos; - if (s.charAt(pos-1) != '\\') return pos; - startPos = pos + 1; - } - return -1; - }; - - if (isLongQuotes) { - doubleQuotes= '"""'; - singleQuotes = "'''"; - quoteLen = 3; - } - else { - doubleQuotes= '"'; - singleQuotes = "'"; - quoteLen = 1; - } - - this.prefixString = ''; - this.quotedString = ''; - this.quoteType = ''; - - this.next = function () { - var doubleQuotePos, singleQuotePos, quotePos, quoteType; - iteration++; - if (startCharPos >= n) { - this.prefixString = ''; - this.quotedString = ''; - this.quoteType = ''; - codeq.log.debug("QuotesWalker #" + iteration + ': no more data, returning false'); - return false; - } - // with which quotes to start, single or double? - doubleQuotePos = unescapedIndexOf(s, doubleQuotes, startCharPos); - singleQuotePos = unescapedIndexOf(s, singleQuotes, startCharPos); - if (doubleQuotePos < 0) { - if (singleQuotePos < 0) { - // the end - this.prefixString = s.slice(startCharPos, n); - this.quotedString = ''; - this.quoteType = ''; - startCharPos = n; - codeq.log.debug("QuotesWalker #" + iteration + ': last data, remaining string: ' + this.prefixString); - return true; - } - quotePos = singleQuotePos; - quoteType = singleQuotes; - } - else if (singleQuotePos < 0) { - quotePos = doubleQuotePos; - quoteType = doubleQuotes; - } - else if (doubleQuotePos < singleQuotePos) { - quotePos = doubleQuotePos; - quoteType = doubleQuotes; - } - else { - quotePos = singleQuotePos; - quoteType = singleQuotes; - } - this.quoteType = quoteType; - - this.prefixString = s.slice(startCharPos, quotePos); - startCharPos = quotePos + quoteLen; - quotePos = unescapedIndexOf(s, quoteType, startCharPos); - this.quotedString = s.slice(startCharPos, quotePos); - startCharPos = quotePos + quoteLen; - codeq.log.debug('QuotesWalker #' + iteration + ': quoteType=' + this.quoteType + ', data:\nprefix=' + this.prefixString + '\nquoted=' + this.quotedString); - return true; - }; - }; - - var escapePythonicLongString = function (s, output) { - var pos = 0, - parts = s.split("'"), - n = parts.length, - i, part, previousPart; - output.push("'"); // starting quote - - previousPart = parts[0]; - output.push(previousPart.split('\r').join('\\r').split('\t').join('\\t').split('\n').join('\\n')); - for (i = 1; i < n; i++) { - part = parts[i]; - // first escape the single quote, if required - if (previousPart.charAt(previousPart.length - 1) != '\\') output.push('\\'); - // escape \r, \n, \t - output.push(part.split('\r').join('\\r').split('\t').join('\\t').split('\n').join('\\n')); - previousPart = part; - } - - output.push("'"); // ending quote - }; - - // the "engine" of codeq - codeq.system = { - // define XML namespaces, for use in generating HTML content - ns: { - svg: 'http://www.w3.org/2000/svg' - }, - - // the method for creating a templating function from the given string template - createTemplate: function (str, templateName, _internalDoLog_) { - var f, parts, i, subparts, subpart, - isSvg = str.substring(0, 4) === '<svg', -// nodeName = isSvg ? 'tspan' : 'span', // translation container node name, depends on whether this is SVG or HTML - src = [ 'var _result = [], _tmp, _counter = 0, echo = function (s) { _result.push(s); };\n' ], - componentName, atoms, j, atom, debugPrefix; - - if (!templateName) templateName = 'unknown template'; - debugPrefix = '[' + templateName + ']'; - - // remove comments - parts = str.split('[%--'); // break on start-of-comment - atoms = [ parts[0] ]; // first part is not a comment - for (i = 1; i < parts.length; i++) { // iterate over start-of-comments - atom = parts[i].split('--%]'); // break on end-of-comment - if (atom.length > 1) { // if end-of-comment was encountered - atoms.push(atom[1]); // add whatever is trailing it - for (j = 2; j < atom.length; j++) { // re-add even dangling end-of-comments - atoms.push('--%]'); - atoms.push(atom[j]); - } - } - } - - // start processing - parts = atoms.join('').split('[%'); - - if (parts[0].length > 0) src.push('_result.push("', stringToDef(cleanHtml(parts[0])), '");\n'); // the first part that doesn't begin with '[%' - for (i = 1; i < parts.length; i++) { // for every part that begins with '[%' - if (parts[i].slice(0, 2) === '--') { // a comment start - subparts = parts[i].split('--%]'); // split at comment end - } - else { // a start of a statement or of a value reference - subparts = parts[i].split('%]'); // there should be only one terminating '%]', find it - subpart = subparts[0].replace(regexpWhiteSpaceStart, '').replace(regexpWhiteSpaceEnd, ''); // trim the white space - if (subpart.length > 0) { - if (subpart[0] === '=') { // a value reference - src.push('_result.push(', subpart.slice(1), ');\n'); - } - else if (subpart[0] === '@') { // a component directive, this gets processed in two phases - atoms = subpart.slice(1).replace(regexpWhiteSpaceStart, ''); // get the whole directive, remove any heading whitespace - componentName = atoms.split(regexpWhiteSpace, 1)[0]; // extract the component name - atoms = splitComponentArguments(atoms.slice(componentName.length)); // extract the atoms - src.push('_tmp={"name":"', stringToDef(componentName), '","params":{},"key":"image"+_counter};\n'); - src.push('_components_.push(_tmp);\n'); - src.push('_tmp=_tmp.params;\n'); - for (j = 0; j < atoms.length; j++) { - atom = atoms[j]; - src.push('_tmp["', stringToDef(atom.name), '"]=', atom.value, ';\n'); - } -// src.push('_result.push(\'<', nodeName, ' class="image\', _counter, \'"></', nodeName, '>\');\n'); - src.push('_result.push(\'<a class="image\', _counter, \'"></a>\');\n'); - src.push('_counter++;\n'); - } - else { // a statement - src.push(subpart, '\n'); - } - } - } - if ((subparts.length > 1) && (subparts[1].length > 0)) { // there's a trailing text - src.push('_result.push("', stringToDef(cleanHtml(subparts[1])), '");\n'); - } - } - src.push('return _result.join("");'); - if (_internalDoLog_) codeq.log.debug('createTemplate(): ' + debugPrefix + ' creating templating function:\nfunction(_components_) {\n' + src.join('') + '\n}\n=== Created from template: ===\n' + str); - try { - f = new Function('_components_', src.join('')); // create a function that takes the single argument named _components_ (an array) - } - catch (e) { - codeq.log.error('createTemplate(): ' + debugPrefix + ' Failed to instantiate template function: ' + e + '\nfunction(_components_) {\n' + src.join('') + '\n}\n=== Created from template: ===\n' + str, e); - throw e; - } - - return function () { // takes params, callback - var param, templateParams, callback, html, components = [], i, jq, jqContainer, processDom; - - // parse arguments - // first set defaults - templateParams = false; - callback = false; - jqContainer = false; - for (i = arguments.length - 1; i >= 0; i--) { - param = arguments[i]; - if (param instanceof Function) { - // set the optional callback that will be invoked with a jQuery argument representing the "compiled" template, after the template is all set up - if (callback) throw new Error(debugPrefix + ' More than one callback provided to a template function'); - callback = param; - } - else if (param instanceof jQuery) { - // set the container that will receive the template content, the container is mandatory for SVG - if (jqContainer) throw new Error(debugPrefix + ' More than one jQuery container provided to a template function'); - jqContainer = param; - } - else if (param instanceof Object) { // BEWARE: this one catches all Objects, so do testing for descendants (e.g.: Function, jQuery) before testing for Object! - // set the parameters to the template function, they are optional - if (templateParams) throw new Error(debugPrefix + ' More than one object with template parameters provided to a template function'); - templateParams = param; - } - else throw new Error(debugPrefix + ' Unknown parameter provided to a template function: ' + typeof param); - } - // we need at least an empty object for the template function - if (!templateParams) templateParams = emptyConstObject; - // the container is mandatory for SVG - //if (isSvg && !jqContainer) throw new Error(debugPrefix + ' jQuery object is a mandatory parameter to the template function when the template is a SVG object'); - - // process DOM, after the template is instantiated - processDom = function () { - var componentDef, i, finishedIteration, finishComponent, cjq, params, key, variant, variantsCache, - iterationCount, currentIteration, newJq; - - jq.data('templateName', templateName); // for debugging - - iterationCount = 1 + components.length; // first one is the sentinel - currentIteration = 0; // how many iterations were processed - finishedIteration = function () { - currentIteration++; - if (iterationCount === currentIteration) { - jq.makeUnselectable(); - if (callback) callback(jq, templateParams); - } - }; - - finishComponent = function (cjq, classes, params, reservedParams) { - var attrName; - if (params['class']) classes.push(params['class']); - cjq.attr('class', classes.join(' ')); - for (attrName in params) { - if (attrName === 'class') continue; // a fixed reserved parameter - if (attrName in reservedParams) continue; // reserved parameters as specified by the corresponding handler - cjq.attr(attrName, params[attrName]); // set the attribute - } - finishedIteration(); - }; - - for (i = 0; i < components.length; i++) { - componentDef = components[i]; - params = componentDef.params; - cjq = jq.find('.' + componentDef.key); - if (cjq.length == 0) { - if (jq.hasClass(componentDef.key)) cjq = jq; - } - if (cjq.length == 0) { - codeq.log.error('codeq.system.createTemplate::fn(): internal error: could not obtain reference to a template component of type ' + componentDef.name + ', key=' + componentDef.key); - continue; - } - if (_internalDoLog_) codeq.log.debug('codeq.system.createTemplate::fn(): ' + debugPrefix + ' searching for a component with class ' + componentDef.key + ', found ' + cjq.length); - isSvg = 'ownerSVGElement' in cjq[0]; - switch (componentDef.name) { - case 'text': - key = params.key; - if (!key) { - codeq.log.error('codeq.system.createTemplate::fn(): ' + debugPrefix + ' A text component is missing the key'); - finishedIteration(); - } - else { - if (isSvg) newJq = $(document.createElementNS(codeq.ns.svg, 'tspan')); - else newJq = $('<span></span>'); - cjq.replaceWith(newJq); - if (jq === cjq) jq = newJq; - cjq = newJq; - cjq.attr('data-tkey', key); - translate(cjq); - if (_internalDoLog_) codeq.log.debug('codeq.system.createTemplate::fn(): ' + debugPrefix + ' Instantiated intellitext: key=' + key); - finishComponent(cjq, ['intellitext'], params, {'key':true}); - } - break; - case 'image': - key = params.key; - if (isSvg) { - codeq.log.error('codeq.system.createTemplate::fn(): ' + debugPrefix + ' Currently there is no support for inlining images into SVG'); - finishedIteration(); - } - else if (!key) { - codeq.log.error('codeq.system.createTemplate::fn(): ' + debugPrefix + ' An image component is missing the key'); - finishedIteration(); - } - else { - newJq = $('<span></span>'); - cjq.replaceWith(newJq); - if (jq === cjq) jq = newJq; - cjq = newJq; - variant = params.variant || 'normal'; - cjq.attr('data-ikey', key); // HTML5 data - cjq.attr('data-ivariant', variant); - cjq.data['ikey'] = key; // jQuery data - cjq.data['ivariant'] = variant; - cjq.data['ivariants'] = variantsCache = {}; - setButtonVariant(cjq, variantsCache, key, variant, (function (cjq, params, variant) { - return function () { - if (_internalDoLog_) codeq.log.debug('codeq.system.createTemplate::fn(): ' + debugPrefix + ' Instantiated image: key=' + params.key + ', variant=' + variant); - finishComponent(cjq, ['intellimage'], params, {'key':true, 'variant':true}); - }; - })(cjq, params, variant)); - } - break; - default: - codeq.log.error('codeq.system.createTemplate::fn(): ' + debugPrefix + ' Invalid component name: ' + componentDef.name); - finishedIteration(); - break; - } - } - finishedIteration(); // the sentinel - }; - - // create DOM - - try { - html = f.apply(templateParams, [components]); - if (_internalDoLog_) { - codeq.log.debug('createTemplate(): ' + debugPrefix + ' instantiating template:\n' + html); - } - } - catch (e) { - codeq.log.error('createTemplate(): ' + debugPrefix + ' Failed to invoke template function: ' + e + '\nfunction(_components_) {\n' + src.join('') + '\n}\n=== Created from template: ===\n' + str, e); - throw e; - } - - jq = $(html); - if (jqContainer) jqContainer.append(jq); - processDom(); - - // TODO: what follows is the code that uses SVG jQuery plugin to instantiate SVG DOM, but the created images are not always correctly sized; needs analysis of what is happening - /* if (isSvg) { - jqContainer.empty().svg({ - 'loadURL': html, - 'initPath': '/js/svg/', // where to load blank.svg from if needed - 'changeSize': true, // get the size from the SVG markup, don't retain the existing size of the container - 'onLoad': function (jqSvg) { - // it should hold that jqContainer == jqSvg, but we ignore the parameter anyway - jq = $(jqContainer.children()[0]); - processDom(); - } - }); - } - else { - jq = $(html); - if (jqContainer) jqContainer.append(jq); - processDom(); - }*/ - }; - }, // createTemplate - - // -------------------------------------------------------------------------------- - // Task info parser: converts simplified pythonic syntax to a JavaScript function - // -------------------------------------------------------------------------------- - // deprecated: use codeq.parseDefinition() instead - parseInfo: function (infoText) { - var parts = [], - n, lines, line, i, j, len, walker, fn, obj; - // convert pythonic long-strings to ordinary strings, escaping things as we go - walker = new QuotesWalker(infoText, true); - while (walker.next()) { - if (walker.prefixString.length > 0) parts.push(walker.prefixString); - if (walker.quotedString.length > 0) escapePythonicLongString(walker.quotedString, parts); - } - - // split into separate lines, remove comments, add semicolons - lines = parts.join('').split('\n'); // split at line feed characters - n = lines.length; - for (i = 0; i < n; i++) { - line = lines[i]; - len = line.length; - if (len > 0) { - // if exists: find the first python's comment character (#) that is not in a string (between two quotes) - parts = []; - walker = new QuotesWalker(line, false); - while (walker.next()) { - if (walker.prefixString.length > 0) { - j = walker.prefixString.indexOf('#'); - if (j >= 0) { - parts.push(walker.prefixString.slice(0, j)); - break; // commented out till the EOL - } - parts.push(walker.prefixString); - } - parts.push(walker.quoteType); - parts.push(walker.quotedString); - parts.push(walker.quoteType); - } - - line = parts.join('').replace(regexpWhiteSpaceEnd, ''); // trim the white space at the end - if ((line.length > 0) && (line[line.length - 1] != ';')) line = line + ';'; // and add a semicolon - lines[i] = line; - } - } - - // compose the function - lines.unshift("var description, hint;"); - lines.push("__params__.description = description;", "__params__.hint = hint;"); - codeq.log.debug("Creating a new parseInfo function having the body: "); - codeq.log.debug(lines); - fn = new Function("__params__", lines.join('\n')); - obj = {}; - fn(obj); - return obj; // obj now contains "description" and "hint" - }, - - load: function (request) { - $.ajax({ - contentType: request.contentType, - dataType: request.type, - type: request.data ? 'POST' : 'GET', - url: request.url + '?_=' + Date.now(), - data: request.data, - error: function (jqXHR, textStatus, errorThrown) { - codeq.log.error('Loading of ' + request.url + ' failed: ' + textStatus, errorThrown); - try { - if (request.callback) request.callback(null, 'Error: ' + (errorThrown ? '' + errorThrown : textStatus), request.url); - } - catch (e) { - codeq.log.error('Callback with error failed on request ' + request.url + ': ' + e, e); - } - }, - success: function (data, textStatus, jqXHR) { - try { - if (request.callback) request.callback(data, 'OK', request.url); - } - catch (e) { - codeq.log.error('Callback failed on successful request ' + request.url + ': ' + e, e); - } - } - }); - } - - }; // codeq.system = { - - /** - * Returns the number of Unicode code points in the given string. - * - * @param s {string} - * @returns {number} - */ - codeq.codePointCount = function (s) { - var n = 0, i, code; - if (typeof s !== 'string') { - code = 'codePointCount(): argument not a string: type = ' + typeof s + ', is null = ' + (s === null); - if ((typeof s === 'object') && (s !== null) && s.constructor) code += ', constructor = ' + s.constructor.name; - codeq.log.error(code); - return 0; - } - for (i = s.length - 1; i >= 0; i--) { - try { - code = s.charCodeAt(i); - } - catch (e) { - codeq.log.error('Invocation of charCodeAt() failed at iteration #' + i + ': ' + e, e); - return 0; - } - if ((code >= 0xd800) && (code < 0xe000)) i++; - n++; - } - return n; - }; - - var jqDisabled = $('#disabled'), - waitCssEnter = {'cursor': 'wait', 'display': ''}; - - codeq.wait = function (promise) { - jqDisabled.css(waitCssEnter); - return promise.fin(function () { - jqDisabled.css('display', 'none'); - }); - }; - -})(); diff --git a/js/def_parser.js b/js/def_parser.js deleted file mode 100644 index 87c9e49..0000000 --- a/js/def_parser.js +++ /dev/null @@ -1,436 +0,0 @@ -/** - * A parser/compiler for the pythonic definitions of assignments. - * Supports basic assignment statements, no expressions using operators (yet). - */ - -(function () { - var regexpWhitespace = new RegExp('[ \t]'), - regexpNameStart = new RegExp('[a-zA-Z_]'), - regexpName = new RegExp('[a-zA-Z0-9_]'), - regexpNumber = new RegExp('[0-9]'), - regexpNumberAndDot = new RegExp('[0-9.]'); - - var isEscape = function (s, pos) { - var i, result = false; - for (i = pos; i >= pos; i--) { - if (s.charAt(pos) === '\\') result = !result; - else break; - } - return result; - }; - - var escapePyString = function (s, output) { - var parts = s.split("'"), - n = parts.length, - i, part, previousPart; - output.push("'"); // starting quote - - previousPart = parts[0]; - output.push(previousPart.split('\r').join('\\r').split('\t').join('\\t').split('\n').join('\\n')); - for (i = 1; i < n; i++) { - part = parts[i]; - // first escape the single quote, if required - if (!isEscape(previousPart, previousPart.length - 1)) output.push('\\'); - // escape \r, \n, \t - output.push(part.split('\r').join('\\r').split('\t').join('\\t').split('\n').join('\\n')); - previousPart = part; - } - - output.push("'"); // ending quote - }; - - var tokenize = function (input) { - var pos = 0, row = 1, col = 1, - n = input.length, - is_line_start = true, - getMultilineString = function (type) { - var p = pos, i, j, l, parts, part, is_escaped, result; - while (p < n) { - i = input.indexOf(type, p); - if (i < 0) throw new Error('Unterminated long string at position #' + pos + ', line ' + row + ', character ' + col); - is_escaped = false; - for (j = i-1; j >= pos; j--) { - if (input.charAt(j) === '\\') is_escaped = !is_escaped; - else break; - } - if (is_escaped) p = i + 1; // an escaped quote - else { - // process line continuations - parts = input.slice(pos, i).split('\n'); - col += i + 3 - pos; // position the next column pointer - pos = i + 3; // position the next character pointer - l = parts.length - 1; - if (l === 0) return parts[0]; // no newline character in the string - row += l; // add the lines of the string - col = 1 + parts[l].length; - result = []; // the resulting string - for (i = 0; i < l; i++) { - part = parts[i]; // check the part for a trailing escape character - is_escaped = false; - for (j = part.length - 1; j >= 0; j--) { - if (part.charAt(j) === '\\') is_escaped = !is_escaped; - else break; - } - if (is_escaped) { - // only add the line with the tail escape character trimmed - result.push(part.slice(0, part.length - 1)); - } - else { - // add the line and the trailing newline - result.push(part, '\n'); - } - } - result.push(parts[l]); // the last line, which is not checked for an escape character - return result.join(''); - } - } - throw new Error('Unterminated long string at position #' + pos + ', line ' + row + ', character ' + col); - }, - getString = function (type) { - var p = pos, i, j, is_escaped, s; - while (p < n) { - i = input.indexOf(type, p); - j = input.indexOf('\n', p); - if (i < 0) throw new Error('Unterminated string at position #' + pos + ', line ' + row + ', character ' + col); - if ((j >= 0) && (j < i)) throw new Error('Unterminated string at position #' + pos + ', line ' + row + ', character ' + col); - is_escaped = false; - for (j = i-1; j >= pos; j--) { - if (input.charAt(j) === '\\') is_escaped = !is_escaped; - else break; - } - if (is_escaped) p = i + 1; // an escaped quote - else { - s = input.slice(pos, i); - col += i + 1 - pos; // position the next column pointer - pos = i + 1; // position the next character pointer - return s; - } - } - throw new Error('Unterminated string at position #' + pos + ', line ' + row + ', character ' + col); - }; - - // the next() function - return function () { - var s, count = 0, token = null, parts, i; - if (pos >= n) return null; - var c = input.charAt(pos++), token_row = row, token_col = col; - - // skip white-space - for (;;) { - if (c === ' ') { - count++; - col++; - } - else if (c === '\t') { - // tab is worth 4 spaces - count += 4; - col++; - } - else if (c === '\n') { - count = 0; - is_line_start = true; - row++; - col = 1; - } - else if (c === '\r') { - if (pos >= n) return null; // EOF - if (input.charAt(pos) !== '\n') throw new Error("CR character without a trailing LF at character #" + (pos-1)); - pos++; - count = 0; - is_line_start = true; - row++; - col = 1; - } - else break; - if (pos >= n) return null; // EOF - c = input.charAt(pos++); - } - - if ((c === '"') || (c === "'")) { - // a quote starts a string, now see whether it's a multi-line string - if ((pos+1 < n) && (input.charAt(pos) == c) && (input.charAt(pos+1) == c)) { - // it's a long string - pos += 2; - s = getMultilineString(c === '"' ? '"""' : "'''"); - } - else { - s = getString(c); - } - token = {'type': 'string', 'value': s}; - } - - else if (c.match(regexpNameStart)) { - parts = [ c ]; // the name builder - col++; - while (pos < n) { - c = input.charAt(pos); - if (c.match(regexpName)) { - parts.push(c); - pos++; - col++; - } - else break; - } - token = {'type': 'name', 'value': parts.join('')}; - } - - else if (c.match(regexpNumberAndDot)) { - parts = [ c ]; // the number builder - col++; - while ((pos < n) && (c != '.')) { - c = input.charAt(pos); - if (c.match(regexpNumberAndDot)) { - parts.push(c); - pos++; - col++; - } - else break; - } - while (pos < n) { - if (c.match(regexpNumber)) { - parts.push(c); - pos++; - col++; - } - else break; - } - token = {'type': 'number', 'value': +parts.join('')}; - } - - else if (c === '=') { - col++; - if ((pos < n) && (input.charAt(pos) === '=')) { - pos++; - col++; - token = {'type': 'eq'}; - } - else { - token = {'type': 'assign'}; - } - } - - else if (c === '{') { - token = {'type': 'lbrace'}; - col++; - } - - else if (c === '}') { - token = {'type': 'rbrace'}; - col++; - } - - else if (c === '[') { - token = {'type': 'lbracket'}; - col++; - } - - else if (c === ']') { - token = {'type': 'rbracket'}; - col++; - } - - else if (c === '(') { - token = {'type': 'lparen'}; - col++; - } - - else if (c === ')') { - token = {'type': 'rparen'}; - col++; - } - - else if (c === ':') { - token = {'type': 'colon'}; - col++; - } - - else if (c === ';') { - token = {'type': 'semicolon'}; - col++; - } - - else if (c === ',') { - token = {'type': 'comma'}; - col++; - } - - else if (c === '#') { - // a comment till the end of line - i = input.indexOf('\n', pos); - if (i < 0) { - // this is the last line - s = input.slice(pos); - } - else { - s = input.slice(pos, i); - } - token = {'type': 'comment', 'value': s}; - col += i - pos; - pos = i; // we want the next invocation to parse the trailing newline, so it correctly sets line_start, etc. - } - - else { - token = {'type': 'unknown', 'value': c}; - col++; - } - - token['line_start'] = is_line_start; - token['whitespace_offset'] = count; - token['line'] = token_row; - token['column'] = token_col; - return token; - }; - }; - - var parseExpression = function (token, next, output) { - var nextToken; - if (token.type === 'string') { - // string literal - escapePyString(token.value, output); - } - else if (token.type === 'number') { - // number literal - output.push('' + token.value); - } - else if (token.type === 'lbrace') { - // object literal - output.push('{'); - if (!(nextToken = next())) throw new Error("Unfinished line, at line " + token.line + ", column " + token.line); - if (nextToken.type === 'rbrace') { - output.push('}'); - return; // end of object literal - } - for (;;) { - if (nextToken.type === 'string') { - escapePyString(nextToken.value, output); - } - else if (nextToken.type === 'number') { - output.push('' + token.value); - } - else throw new Error("Object key not a string or a number, at line " + nextToken.line + ", column " + nextToken.column); - - if (!(nextToken = next())) throw new Error("Unfinished line, at line " + token.line + ", column " + token.column); - if (nextToken.type !== 'colon') throw new Error("Expected :, at line " + nextToken.line + ", column " + nextToken.column); - output.push(':'); - - if (!(nextToken = next())) throw new Error("Unfinished line, at line " + token.line + ", column " + token.column); - parseExpression(nextToken, next, output); - - if (!(nextToken = next())) throw new Error("Unfinished line, at line " + token.line + ", column " + token.column); - if (nextToken.type === 'comma') { - output.push(','); - } - else if (nextToken.type === 'rbrace') { - output.push('}'); - break; // end of object literal - } - else throw new Error("Expected , or }, at line " + nextToken.line + ", column " + nextToken.column); - - if (!(nextToken = next())) throw new Error("Unfinished line, at line " + token.line + ", column " + token.column); - } - } - else if (token.type === 'lbracket') { - // array literal - output.push('['); - if (!(nextToken = next())) throw new Error("Unfinished line, at line " + token.line + ", column " + token.line); - if (nextToken.type === 'rbracket') { - output.push(']'); - return; // end of array literal - } - for (;;) { - parseExpression(nextToken, next, output); - - if (!(nextToken = next())) throw new Error("Unfinished line, at line " + token.line + ", column " + token.column); - if (nextToken.type === 'comma') { - output.push(','); - } - else if (nextToken.type === 'rbracket') { - output.push(']'); - break; // end of array literal - } - else throw new Error("Expected , or ], at line " + nextToken.line + ", column " + nextToken.column); - - if (!(nextToken = next())) throw new Error("Unfinished line, at line " + token.line + ", column " + token.column); - } - } - else throw new Error("Unexpected token: expected a string, number, object, or array, at line " + token.line + ", column " + token.column); - }; - - - /** - * @typedef {string|{type: string, message: string}} HintDefinition - */ - /** - * @typedef {Object} PrologTaskDef a Prolog assignment definition - * @property {string} description the assignment description - * @property {Object.<string, HintDefinition>} hint the assignment hint definitions, keyed by hint ID - */ - - /** - * Converts the given pythonic assignment definition into a JavaScriptish definition, - * executes it, and takes the variables "description" and "hint" from the definition. - * - * @param {string} definition The assignment definition. - * @returns {PrologTaskDef} - */ - codeq.parseDefinition = function (definition) { - var next = tokenize(definition), - vars = { 'description': true, 'hint': true }, - parts = [ ], // first element is just a placeholder, to be replaced with the full "var" declaration at the end - token, first_token, varname, v, fn, obj; - - while (token = next()) { - // parse line by line - if (!token.line_start) throw new Error("The token does not start in a new line, at line " + token.line + ", column " + token.column); - if (token.type === 'comment') continue; - if (token.whitespace_offset > 0) throw new Error("Cannot parse indented lines, at line " + token.line); - - // parse lvalue - if (token.type !== 'name') throw new Error("Expected a lvalue, at line " + token.line + ", column " + token.column); - varname = token.value; - vars[varname] = true; // remember the variable name, so we will declare it at the end - parts.push(';\n'); // close the previous line -- the first time this is wrong because there is no previous line yet, but we will replace it with a variable declaration - parts.push(varname); // start the new line with the assignment statement -- the only statement we support - first_token = token; - if (!(token = next())) throw new Error("Unfinished line, at line " + first_token.line); - - // optional index - if (token.type === 'lbracket') { - // index operator - parts.push('['); - if (!(token = next())) throw new Error("Unfinished line, at line " + first_token.line); - if (token.type === 'string') escapePyString(token.value, parts); - else if (token.type === 'number') parts.push('' + token.value); - else throw new Error("Unsupported index expression, at line " + token.line + ", column " + token.column); - if (!(token = next())) throw new Error("Unfinished line, at line " + first_token.line); - if (token.type !== 'rbracket') throw new Error("Expected ], at line " + token.line + ", column " + token.column + ", token " + token.type); - parts.push(']'); - if (!(token = next())) throw new Error("Unfinished line, at line " + first_token.line); - } - - // the assignment operator - if (token.type !== 'assign') throw new Error("Expected =, at line " + token.line + ", column " + token.column); - parts.push('='); - if (!(token = next())) throw new Error("Unfinished line, at line " + first_token.line); - - // parse rvalue - parseExpression(token, next, parts); - } - - if (parts.length === 0) return {}; // empty definition - - v = []; - for (varname in vars) { - if (vars.hasOwnProperty(varname)) v.push(varname); - } - - parts[0] = 'var ' + v.join(', ') + ';\n'; - parts.push(';\nreturn {"description":description,"hint":hint};'); - v = parts.join(''); - codeq.log.debug("Creating a new parseInfo function having the body:\n" + v); - fn = new Function("__params__", v); - obj = fn(); - return obj; // obj now contains "description" and "hint" - }; // parseDefinition - -})();
\ No newline at end of file diff --git a/js/jquery/jquery.console.js b/js/jquery/jquery.console.js deleted file mode 100644 index 4a75a99..0000000 --- a/js/jquery/jquery.console.js +++ /dev/null @@ -1,773 +0,0 @@ -// JQuery Console 1.0 -// Sun Feb 21 20:28:47 GMT 2010 -// -// Copyright 2010 Chris Done, Simon David Pratt. All rights reserved. -// -// Redistribution and use in source and binary forms, with or without -// modification, are permitted provided that the following conditions -// are met: -// -// 1. Redistributions of source code must retain the above -// copyright notice, this list of conditions and the following -// disclaimer. -// -// 2. 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 COPYRIGHT HOLDERS AND CONTRIBUTORS -// "AS IS" AND ANY EXPRESS 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 -// COPYRIGHT HOLDERS OR CONTRIBUTORS 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. - -// TESTED ON -// Internet Explorer 6 -// Opera 10.01 -// Chromium 4.0.237.0 (Ubuntu build 31094) -// Firefox 3.5.8, 3.6.2 (Mac) -// Safari 4.0.5 (6531.22.7) (Mac) -// Google Chrome 5.0.375.55 (Mac) - -(function($){ - var isWebkit = !!~navigator.userAgent.indexOf(' AppleWebKit/'); - - $.fn.console = function(config){ - //////////////////////////////////////////////////////////////////////// - // Constants - // Some are enums, data types, others just for optimisation - var keyCodes = { - // left - 37: moveBackward, - // right - 39: moveForward, - // up - 38: previousHistory, - // down - 40: nextHistory, - // backspace - 8: backDelete, - // delete - 46: forwardDelete, - // end - 35: moveToEnd, - // start - 36: moveToStart, - // return - 13: commandTrigger, - // tab - 18: doNothing, - // tab - 9: doComplete - }; - var ctrlCodes = { - // C-a - 65: moveToStart, - // C-e - 69: moveToEnd, - // C-d - 68: forwardDelete, - // C-n - 78: nextHistory, - // C-p - 80: previousHistory, - // C-b - 66: moveBackward, - // C-f - 70: moveForward, - // C-k - 75: deleteUntilEnd - }; - if(config.ctrlCodes) { - $.extend(ctrlCodes, config.ctrlCodes); - } - var altCodes = { - // M-f - 70: moveToNextWord, - // M-b - 66: moveToPreviousWord, - // M-d - 68: deleteNextWord - }; - var shiftCodes = { - // return - 13: newLine, - }; - var cursor = '<span class="jquery-console-cursor"> </span>'; - - //////////////////////////////////////////////////////////////////////// - // Globals - var container = $(this); - var inner = $('<div class="jquery-console-inner"></div>'); - // erjiang: changed this from a text input to a textarea so we - // can get pasted newlines - var typer = $('<textarea autocomplete="off" autocorrect="off" autocapitalize="off" spellcheck="false" class="jquery-console-typer"></textarea>'); - // Prompt - var promptBox; - var prompt; - var continuedPromptLabel = config && config.continuedPromptLabel? - config.continuedPromptLabel : "> "; - var column = 0; - var promptText = ''; - var restoreText = ''; - var continuedText = ''; - var fadeOnReset = config.fadeOnReset !== undefined ? config.fadeOnReset : true; - // Prompt history stack - var history = []; - var ringn = 0; - // For reasons unknown to The Sword of Michael himself, Opera - // triggers and sends a key character when you hit various - // keys like PgUp, End, etc. So there is no way of knowing - // when a user has typed '#' or End. My solution is in the - // typer.keydown and typer.keypress functions; I use the - // variable below to ignore the keypress event if the keydown - // event succeeds. - var cancelKeyPress = 0; - // When this value is false, the prompt will not respond to input - var acceptInput = true; - // When this value is true, the command has been canceled - var cancelCommand = false; - - // External exports object - var extern = {}; - - //////////////////////////////////////////////////////////////////////// - // Main entry point - (function(){ - extern.promptLabel = config && config.promptLabel? config.promptLabel : "> "; - container.append(inner); - inner.append(typer); - typer.css({position:'absolute',top:0,left:'-9999px'}); - if (config.welcomeMessage) - message(config.welcomeMessage,'jquery-console-welcome'); - newPromptBox(); - if (config.autofocus) { - inner.addClass('jquery-console-focus'); - typer.focus(); - setTimeout(function(){ - inner.addClass('jquery-console-focus'); - typer.focus(); - },100); - } - extern.inner = inner; - extern.typer = typer; - extern.scrollToBottom = scrollToBottom; - extern.report = report; - })(); - - //////////////////////////////////////////////////////////////////////// - // Reset terminal - extern.reset = function(){ - var welcome = (typeof config.welcomeMessage != 'undefined'); - - var removeElements = function() { - inner.find('div').each(function(){ - if (!welcome) { - $(this).remove(); - } else { - welcome = false; - } - }); - }; - - if (fadeOnReset) { - inner.parent().fadeOut(function() { - removeElements(); - newPromptBox(); - inner.parent().fadeIn(focusConsole); - }); - } - else { - removeElements(); - newPromptBox(); - focusConsole(); - } - }; - - var focusConsole = function() { - inner.addClass('jquery-console-focus'); - typer.focus(); - }; - - extern.focus = function(){ - focusConsole(); - } - - //////////////////////////////////////////////////////////////////////// - // Reset terminal - extern.notice = function(msg,style){ - var n = $('<div class="notice"></div>').append($('<div></div>').text(msg)) - .css({visibility:'hidden'}); - container.append(n); - var focused = true; - if (style=='fadeout') - setTimeout(function(){ - n.fadeOut(function(){ - n.remove(); - }); - },4000); - else if (style=='prompt') { - var a = $('<br/><div class="action"><a href="javascript:">OK</a><div class="clear"></div></div>'); - n.append(a); - focused = false; - a.click(function(){ n.fadeOut(function(){ n.remove();inner.css({opacity:1}) }); }); - } - var h = n.height(); - n.css({height:'0px',visibility:'visible'}) - .animate({height:h+'px'},function(){ - if (!focused) inner.css({opacity:0.5}); - }); - n.css('cursor','default'); - return n; - }; - - //////////////////////////////////////////////////////////////////////// - // Make a new prompt box - function newPromptBox() { - column = 0; - promptText = ''; - ringn = 0; // Reset the position of the history ring - enableInput(); - promptBox = $('<div class="jquery-console-prompt-box"></div>'); - var label = $('<span class="jquery-console-prompt-label"></span>'); - var labelText = extern.continuedPrompt? continuedPromptLabel : extern.promptLabel; - promptBox.append(label.text(labelText).show()); - label.html(label.html().replace(' ',' ')); - prompt = $('<span class="jquery-console-prompt"></span>'); - promptBox.append(prompt); - inner.append(promptBox); - updatePromptDisplay(); - }; - - //////////////////////////////////////////////////////////////////////// - // Handle setting focus - container.click(function(){ - // Don't mess with the focus if there is an active selection - if (window.getSelection().toString()) { - return false; - } - - inner.addClass('jquery-console-focus'); - inner.removeClass('jquery-console-nofocus'); - if (isWebkit) { - typer.focusWithoutScrolling(); - } else { - typer.css('position', 'fixed').focus(); - } - scrollToBottom(); - return false; - }); - - //////////////////////////////////////////////////////////////////////// - // Handle losing focus - typer.blur(function(){ - inner.removeClass('jquery-console-focus'); - inner.addClass('jquery-console-nofocus'); - }); - - //////////////////////////////////////////////////////////////////////// - // Bind to the paste event of the input box so we know when we - // get pasted data - typer.bind('paste', function(e) { - // wipe typer input clean just in case - typer.val(""); - // this timeout is required because the onpaste event is - // fired *before* the text is actually pasted - setTimeout(function() { - typer.consoleInsert(typer.val()); - typer.val(""); - }, 0); - }); - - //////////////////////////////////////////////////////////////////////// - // Handle key hit before translation - // For picking up control characters like up/left/down/right - - typer.keydown(function(e){ - cancelKeyPress = 0; - var keyCode = e.keyCode; - // C-c: cancel the execution - if(e.ctrlKey && keyCode == 67) { - cancelKeyPress = keyCode; - cancelExecution(); - return false; - } - if (acceptInput) { - if (e.shiftKey && keyCode in shiftCodes) { - cancelKeyPress = keyCode; - (shiftCodes[keyCode])(); - return false; - } else if (e.altKey && keyCode in altCodes) { - cancelKeyPress = keyCode; - (altCodes[keyCode])(); - return false; - } else if (e.ctrlKey && keyCode in ctrlCodes) { - cancelKeyPress = keyCode; - (ctrlCodes[keyCode])(); - return false; - } else if (keyCode in keyCodes) { - cancelKeyPress = keyCode; - (keyCodes[keyCode])(); - return false; - } - } - }); - - //////////////////////////////////////////////////////////////////////// - // Handle key press - typer.keypress(function(e){ - var keyCode = e.keyCode || e.which; - if (isIgnorableKey(e)) { - return false; - } - // C-v: don't insert on paste event - if ((e.ctrlKey || e.metaKey) && String.fromCharCode(keyCode).toLowerCase() == 'v') { - return true; - } - if (acceptInput && cancelKeyPress != keyCode && keyCode >= 32){ - if (cancelKeyPress) return false; - if ( - typeof config.charInsertTrigger == 'undefined' || ( - typeof config.charInsertTrigger == 'function' && - config.charInsertTrigger(keyCode,promptText) - ) - ){ - typer.consoleInsert(keyCode); - } - } - if (isWebkit) return false; - }); - - function isIgnorableKey(e) { - // for now just filter alt+tab that we receive on some platforms when - // user switches windows (goes away from the browser) - return ((e.keyCode == keyCodes.tab || e.keyCode == 192) && e.altKey); - }; - - //////////////////////////////////////////////////////////////////////// - // Rotate through the command history - function rotateHistory(n){ - if (history.length == 0) return; - ringn += n; - if (ringn < 0) ringn = history.length; - else if (ringn > history.length) ringn = 0; - var prevText = promptText; - if (ringn == 0) { - promptText = restoreText; - } else { - promptText = history[ringn - 1]; - } - if (config.historyPreserveColumn) { - if (promptText.length < column + 1) { - column = promptText.length; - } else if (column == 0) { - column = promptText.length; - } - } else { - column = promptText.length; - } - updatePromptDisplay(); - }; - - function previousHistory() { - rotateHistory(-1); - }; - - function nextHistory() { - rotateHistory(1); - }; - - // Add something to the history ring - function addToHistory(line){ - history.push(line); - restoreText = ''; - }; - - // Delete the character at the current position - function deleteCharAtPos(){ - if (column < promptText.length){ - promptText = - promptText.substring(0,column) + - promptText.substring(column+1); - restoreText = promptText; - return true; - } else return false; - }; - - function backDelete() { - if (moveColumn(-1)){ - deleteCharAtPos(); - updatePromptDisplay(); - } - }; - - function forwardDelete() { - if (deleteCharAtPos()){ - updatePromptDisplay(); - } - }; - - function deleteUntilEnd() { - while(deleteCharAtPos()) { - updatePromptDisplay(); - } - }; - - function deleteNextWord() { - // A word is defined within this context as a series of alphanumeric - // characters. - // Delete up to the next alphanumeric character - while( - column < promptText.length && - !isCharAlphanumeric(promptText[column]) - ) { - deleteCharAtPos(); - updatePromptDisplay(); - } - // Then, delete until the next non-alphanumeric character - while( - column < promptText.length && - isCharAlphanumeric(promptText[column]) - ) { - deleteCharAtPos(); - updatePromptDisplay(); - } - }; - - function newLine() { - var lines = promptText.split("\n"); - var last_line = lines.slice(-1)[0]; - var spaces = last_line.match(/^(\s*)/g)[0]; - var new_line = "\n" + spaces; - promptText += new_line; - moveColumn(new_line.length); - updatePromptDisplay(); - }; - - //////////////////////////////////////////////////////////////////////// - // Validate command and trigger it if valid, or show a validation error - function commandTrigger() { - var line = promptText; - if (typeof config.commandValidate == 'function') { - var ret = config.commandValidate(line); - if (ret == true || ret == false) { - if (ret) { - handleCommand(); - } - } else { - commandResult(ret,"jquery-console-message-error"); - } - } else { - handleCommand(); - } - }; - - // Scroll to the bottom of the view - function scrollToBottom() { - var version = jQuery.fn.jquery.split('.'); - var major = parseInt(version[0]); - var minor = parseInt(version[1]); - - // check if we're using jquery > 1.6 - if ((major == 1 && minor > 6) || major > 1) { - inner.prop({ scrollTop: inner.prop("scrollHeight") }); - } - else { - inner.attr({ scrollTop: inner.attr("scrollHeight") }); - } - }; - - function cancelExecution() { - if(typeof config.cancelHandle == 'function') { - config.cancelHandle(); - } - } - - //////////////////////////////////////////////////////////////////////// - // Handle a command - function handleCommand() { - if (typeof config.commandHandle == 'function') { - disableInput(); - addToHistory(promptText); - var text = promptText; - if (extern.continuedPrompt) { - if (continuedText) - continuedText += '\n' + promptText; - else continuedText = promptText; - } else continuedText = undefined; - if (continuedText) text = continuedText; - var ret = config.commandHandle(text,function(msgs){ - commandResult(msgs); - }); - if (extern.continuedPrompt && !continuedText) - continuedText = promptText; - if (typeof ret == 'boolean') { - if (ret) { - // Command succeeded without a result. - commandResult(); - } else { - commandResult( - 'Command failed.', - "jquery-console-message-error" - ); - } - } else if (typeof ret == "string") { - commandResult(ret,"jquery-console-message-success"); - } else if (typeof ret == 'object' && ret.length) { - commandResult(ret); - } else if (extern.continuedPrompt) { - commandResult(); - } - } - }; - - //////////////////////////////////////////////////////////////////////// - // Disable input - function disableInput() { - acceptInput = false; - }; - - // Enable input - function enableInput() { - acceptInput = true; - } - - //////////////////////////////////////////////////////////////////////// - // Reset the prompt in invalid command - function commandResult(msg,className) { - column = -1; - updatePromptDisplay(); - if (typeof msg == 'string') { - message(msg,className); - } else if ($.isArray(msg)) { - for (var x in msg) { - var ret = msg[x]; - message(ret.msg,ret.className); - } - } else { // Assume it's a DOM node or jQuery object. - inner.append(msg); - } - newPromptBox(); - }; - - //////////////////////////////////////////////////////////////////////// - // Report some message into the console - function report(msg,className) { - var text = promptText; - promptBox.remove(); - commandResult(msg,className); - extern.promptText(text); - }; - - //////////////////////////////////////////////////////////////////////// - // Display a message - function message(msg,className) { - var mesg = $('<div class="jquery-console-message"></div>'); - if (className) mesg.addClass(className); - mesg.filledText(msg).hide(); - inner.append(mesg); - mesg.show(); - }; - - //////////////////////////////////////////////////////////////////////// - // Handle normal character insertion - // data can either be a number, which will be interpreted as the - // numeric value of a single character, or a string - typer.consoleInsert = function(data){ - // TODO: remove redundant indirection - var text = (typeof data == 'number') ? String.fromCharCode(data) : data; - var before = promptText.substring(0,column); - var after = promptText.substring(column); - promptText = before + text + after; - moveColumn(text.length); - restoreText = promptText; - updatePromptDisplay(); - }; - - //////////////////////////////////////////////////////////////////////// - // Move to another column relative to this one - // Negative means go back, positive means go forward. - function moveColumn(n){ - if (column + n >= 0 && column + n <= promptText.length){ - column += n; - return true; - } else return false; - }; - - function moveForward() { - if(moveColumn(1)) { - updatePromptDisplay(); - return true; - } - return false; - }; - - function moveBackward() { - if(moveColumn(-1)) { - updatePromptDisplay(); - return true; - } - return false; - }; - - function moveToStart() { - if (moveColumn(-column)) - updatePromptDisplay(); - }; - - function moveToEnd() { - if (moveColumn(promptText.length-column)) - updatePromptDisplay(); - }; - - function moveToNextWord() { - while( - column < promptText.length && - !isCharAlphanumeric(promptText[column]) && - moveForward() - ) {} - while( - column < promptText.length && - isCharAlphanumeric(promptText[column]) && - moveForward() - ) {} - }; - - function moveToPreviousWord() { - // Move backward until we find the first alphanumeric - while( - column -1 >= 0 && - !isCharAlphanumeric(promptText[column-1]) && - moveBackward() - ) {} - // Move until we find the first non-alphanumeric - while( - column -1 >= 0 && - isCharAlphanumeric(promptText[column-1]) && - moveBackward() - ) {} - }; - - function isCharAlphanumeric(charToTest) { - if(typeof charToTest == 'string') { - var code = charToTest.charCodeAt(); - return (code >= 'A'.charCodeAt() && code <= 'Z'.charCodeAt()) || - (code >= 'a'.charCodeAt() && code <= 'z'.charCodeAt()) || - (code >= '0'.charCodeAt() && code <= '9'.charCodeAt()); - } - return false; - }; - - function doComplete() { - if(typeof config.completeHandle == 'function') { - var completions = config.completeHandle(promptText); - var len = completions.length; - if (len === 1) { - extern.promptText(promptText + completions[0]); - } else if (len > 1 && config.cols) { - var prompt = promptText; - // Compute the number of rows that will fit in the width - var max = 0; - for (var i = 0;i < len;i++) { - max = Math.max(max, completions[i].length); - } - max += 2; - var n = Math.floor(config.cols / max); - var buffer = ""; - var col = 0; - for (i = 0;i < len;i++) { - var completion = completions[i]; - buffer += completions[i]; - for (var j = completion.length;j < max;j++) { - buffer += " "; - } - if (++col >= n) { - buffer += "\n"; - col = 0; - } - } - commandResult(buffer,"jquery-console-message-value"); - extern.promptText(prompt); - } - } - }; - - function doNothing() {}; - - extern.promptText = function(text){ - if (typeof text === 'string') { - promptText = text; - column = promptText.length; - updatePromptDisplay(); - } - return promptText; - }; - - //////////////////////////////////////////////////////////////////////// - // Update the prompt display - function updatePromptDisplay(){ - var line = promptText; - var html = ''; - if (column > 0 && line == ''){ - // When we have an empty line just display a cursor. - html = cursor; - } else if (column == promptText.length){ - // We're at the end of the line, so we need to display - // the text *and* cursor. - html = htmlEncode(line) + cursor; - } else { - // Grab the current character, if there is one, and - // make it the current cursor. - var before = line.substring(0, column); - var current = line.substring(column,column+1); - if (current){ - current = - '<span class="jquery-console-cursor">' + - htmlEncode(current) + - '</span>'; - } - var after = line.substring(column+1); - html = htmlEncode(before) + current + htmlEncode(after); - } - prompt.html(html); - scrollToBottom(); - }; - - // Simple HTML encoding - // Simply replace '<', '>' and '&' - // TODO: Use jQuery's .html() trick, or grab a proper, fast - // HTML encoder. - function htmlEncode(text){ - return ( - text.replace(/&/g,'&') - .replace(/</g,'<') - .replace(/</g,'<') - .replace(/ /g,' ') - .replace(/\n/g,'<br />') - ); - }; - - return extern; - }; - // Simple utility for printing messages - $.fn.filledText = function(txt){ - $(this).text(txt); - $(this).html($(this).html().replace(/\n/g,'<br/>')); - return this; - }; - - // Alternative method for focus without scrolling - $.fn.focusWithoutScrolling = function(){ - var x = window.scrollX, y = window.scrollY; - $(this).focus(); - window.scrollTo(x, y); - }; -})(jQuery); diff --git a/js/jquery/jquery.terminal-0.8.8.js b/js/jquery/jquery.terminal-0.8.8.js deleted file mode 100644 index 085317b..0000000 --- a/js/jquery/jquery.terminal-0.8.8.js +++ /dev/null @@ -1,4335 +0,0 @@ -/**@license - * __ _____ ________ __ - * / // _ /__ __ _____ ___ __ _/__ ___/__ ___ ______ __ __ __ ___ / / - * __ / // // // // // _ // _// // / / // _ // _// // // \/ // _ \/ / - * / / // // // // // ___// / / // / / // ___// / / / / // // /\ // // / /__ - * \___//____ \\___//____//_/ _\_ / /_//____//_/ /_/ /_//_//_/ /_/ \__\_\___/ - * \/ /____/ version 0.8.8 - * http://terminal.jcubic.pl - * - * Licensed under GNU LGPL Version 3 license - * Copyright (c) 2011-2013 Jakub Jankiewicz <http://jcubic.pl> - * - * Includes: - * - * Storage plugin Distributed under the MIT License - * Copyright (c) 2010 Dave Schindler - * - * jQuery Timers licenced with the WTFPL - * <http://jquery.offput.ca/every/> - * - * Cross-Browser Split 1.1.1 - * Copyright 2007-2012 Steven Levithan <stevenlevithan.com> - * Available under the MIT License - * - * sprintf.js - * Copyright (c) 2007-2013 Alexandru Marasteanu <hello at alexei dot ro> - * licensed under 3 clause BSD license - * - * Date: Thu, 10 Jul 2014 17:20:49 +0000 - * - */ - -(function(ctx) { - var sprintf = function() { - if (!sprintf.cache.hasOwnProperty(arguments[0])) { - sprintf.cache[arguments[0]] = sprintf.parse(arguments[0]); - } - return sprintf.format.call(null, sprintf.cache[arguments[0]], arguments); - }; - - sprintf.format = function(parse_tree, argv) { - var cursor = 1, tree_length = parse_tree.length, node_type = '', arg, output = [], i, k, match, pad, pad_character, pad_length; - for (i = 0; i < tree_length; i++) { - node_type = get_type(parse_tree[i]); - if (node_type === 'string') { - output.push(parse_tree[i]); - } - else if (node_type === 'array') { - match = parse_tree[i]; // convenience purposes only - if (match[2]) { // keyword argument - arg = argv[cursor]; - for (k = 0; k < match[2].length; k++) { - if (!arg.hasOwnProperty(match[2][k])) { - throw(sprintf('[sprintf] property "%s" does not exist', match[2][k])); - } - arg = arg[match[2][k]]; - } - } - else if (match[1]) { // positional argument (explicit) - arg = argv[match[1]]; - } - else { // positional argument (implicit) - arg = argv[cursor++]; - } - - if (/[^s]/.test(match[8]) && (get_type(arg) != 'number')) { - throw(sprintf('[sprintf] expecting number but found %s', get_type(arg))); - } - switch (match[8]) { - case 'b': arg = arg.toString(2); break; - case 'c': arg = String.fromCharCode(arg); break; - case 'd': arg = parseInt(arg, 10); break; - case 'e': arg = match[7] ? arg.toExponential(match[7]) : arg.toExponential(); break; - case 'f': arg = match[7] ? parseFloat(arg).toFixed(match[7]) : parseFloat(arg); break; - case 'o': arg = arg.toString(8); break; - case 's': arg = ((arg = String(arg)) && match[7] ? arg.substring(0, match[7]) : arg); break; - case 'u': arg = arg >>> 0; break; - case 'x': arg = arg.toString(16); break; - case 'X': arg = arg.toString(16).toUpperCase(); break; - } - arg = (/[def]/.test(match[8]) && match[3] && arg >= 0 ? '+'+ arg : arg); - pad_character = match[4] ? match[4] == '0' ? '0' : match[4].charAt(1) : ' '; - pad_length = match[6] - String(arg).length; - pad = match[6] ? str_repeat(pad_character, pad_length) : ''; - output.push(match[5] ? arg + pad : pad + arg); - } - } - return output.join(''); - }; - - sprintf.cache = {}; - - sprintf.parse = function(fmt) { - var _fmt = fmt, match = [], parse_tree = [], arg_names = 0; - while (_fmt) { - if ((match = /^[^\x25]+/.exec(_fmt)) !== null) { - parse_tree.push(match[0]); - } - else if ((match = /^\x25{2}/.exec(_fmt)) !== null) { - parse_tree.push('%'); - } - else if ((match = /^\x25(?:([1-9]\d*)\$|\(([^\)]+)\))?(\+)?(0|'[^$])?(-)?(\d+)?(?:\.(\d+))?([b-fosuxX])/.exec(_fmt)) !== null) { - if (match[2]) { - arg_names |= 1; - var field_list = [], replacement_field = match[2], field_match = []; - if ((field_match = /^([a-z_][a-z_\d]*)/i.exec(replacement_field)) !== null) { - field_list.push(field_match[1]); - while ((replacement_field = replacement_field.substring(field_match[0].length)) !== '') { - if ((field_match = /^\.([a-z_][a-z_\d]*)/i.exec(replacement_field)) !== null) { - field_list.push(field_match[1]); - } - else if ((field_match = /^\[(\d+)\]/.exec(replacement_field)) !== null) { - field_list.push(field_match[1]); - } - else { - throw('[sprintf] huh?'); - } - } - } - else { - throw('[sprintf] huh?'); - } - match[2] = field_list; - } - else { - arg_names |= 2; - } - if (arg_names === 3) { - throw('[sprintf] mixing positional and named placeholders is not (yet) supported'); - } - parse_tree.push(match); - } - else { - throw('[sprintf] huh?'); - } - _fmt = _fmt.substring(match[0].length); - } - return parse_tree; - }; - - var vsprintf = function(fmt, argv, _argv) { - _argv = argv.slice(0); - _argv.splice(0, 0, fmt); - return sprintf.apply(null, _argv); - }; - - /** - * helpers - */ - function get_type(variable) { - return Object.prototype.toString.call(variable).slice(8, -1).toLowerCase(); - } - - function str_repeat(input, multiplier) { - for (var output = []; multiplier > 0; output[--multiplier] = input) {/* do nothing */} - return output.join(''); - } - - /** - * export to either browser or node.js - */ - ctx.sprintf = sprintf; - ctx.vsprintf = vsprintf; -})(typeof exports != "undefined" ? exports : window); - -(function($, undefined) { - "use strict"; - // ----------------------------------------------------------------------- - // :: map object to object - // ----------------------------------------------------------------------- - $.omap = function(o, fn) { - var result = {}; - $.each(o, function(k, v) { - result[k] = fn.call(o, k, v); - }); - return result; - }; - // ----------------------------------------------------------------------- - // :: Storage plugin - // ----------------------------------------------------------------------- - // Private data - var isLS = typeof window.localStorage !== 'undefined'; - // Private functions - function wls(n, v) { - var c; - if (typeof n === 'string' && typeof v === 'string') { - localStorage[n] = v; - return true; - } else if (typeof n === 'object' && typeof v === 'undefined') { - for (c in n) { - if (n.hasOwnProperty(c)) { - localStorage[c] = n[c]; - } - } - return true; - } - return false; - } - function wc(n, v) { - var dt, e, c; - dt = new Date(); - dt.setTime(dt.getTime() + 31536000000); - e = '; expires=' + dt.toGMTString(); - if (typeof n === 'string' && typeof v === 'string') { - document.cookie = n + '=' + v + e + '; path=/'; - return true; - } else if (typeof n === 'object' && typeof v === 'undefined') { - for (c in n) { - if (n.hasOwnProperty(c)) { - document.cookie = c + '=' + n[c] + e + '; path=/'; - } - } - return true; - } - return false; - } - function rls(n) { - return localStorage[n]; - } - function rc(n) { - var nn, ca, i, c; - nn = n + '='; - ca = document.cookie.split(';'); - for (i = 0; i < ca.length; i++) { - c = ca[i]; - while (c.charAt(0) === ' ') { - c = c.substring(1, c.length); - } - if (c.indexOf(nn) === 0) { - return c.substring(nn.length, c.length); - } - } - return null; - } - function dls(n) { - return delete localStorage[n]; - } - function dc(n) { - return wc(n, '', -1); - } - /** - * Public API - * $.Storage.set("name", "value") - * $.Storage.set({"name1":"value1", "name2":"value2", etc}) - * $.Storage.get("name") - * $.Storage.remove("name") - */ - $.extend({ - Storage: { - set: isLS ? wls : wc, - get: isLS ? rls : rc, - remove: isLS ? dls : dc - } - }); - // ----------------------------------------------------------------------- - // :: jQuery Timers - // ----------------------------------------------------------------------- - jQuery.fn.extend({ - everyTime: function(interval, label, fn, times, belay) { - return this.each(function() { - jQuery.timer.add(this, interval, label, fn, times, belay); - }); - }, - oneTime: function(interval, label, fn) { - return this.each(function() { - jQuery.timer.add(this, interval, label, fn, 1); - }); - }, - stopTime: function(label, fn) { - return this.each(function() { - jQuery.timer.remove(this, label, fn); - }); - } - }); - - jQuery.extend({ - timer: { - guid: 1, - global: {}, - regex: /^([0-9]+)\s*(.*s)?$/, - powers: { - // Yeah this is major overkill... - 'ms': 1, - 'cs': 10, - 'ds': 100, - 's': 1000, - 'das': 10000, - 'hs': 100000, - 'ks': 1000000 - }, - timeParse: function(value) { - if (value === undefined || value === null) { - return null; - } - var result = this.regex.exec(jQuery.trim(value.toString())); - if (result[2]) { - var num = parseInt(result[1], 10); - var mult = this.powers[result[2]] || 1; - return num * mult; - } else { - return value; - } - }, - add: function(element, interval, label, fn, times, belay) { - var counter = 0; - - if (jQuery.isFunction(label)) { - if (!times) { - times = fn; - } - fn = label; - label = interval; - } - - interval = jQuery.timer.timeParse(interval); - - if (typeof interval !== 'number' || - isNaN(interval) || - interval <= 0) { - return; - } - if (times && times.constructor !== Number) { - belay = !!times; - times = 0; - } - - times = times || 0; - belay = belay || false; - - if (!element.$timers) { - element.$timers = {}; - } - if (!element.$timers[label]) { - element.$timers[label] = {}; - } - fn.$timerID = fn.$timerID || this.guid++; - - var handler = function() { - if (belay && handler.inProgress) { - return; - } - handler.inProgress = true; - if ((++counter > times && times !== 0) || - fn.call(element, counter) === false) { - jQuery.timer.remove(element, label, fn); - } - handler.inProgress = false; - }; - - handler.$timerID = fn.$timerID; - - if (!element.$timers[label][fn.$timerID]) { - element.$timers[label][fn.$timerID] = window.setInterval(handler, interval); - } - - if (!this.global[label]) { - this.global[label] = []; - } - this.global[label].push(element); - - }, - remove: function(element, label, fn) { - var timers = element.$timers, ret; - - if (timers) { - - if (!label) { - for (var lab in timers) { - if (timers.hasOwnProperty(lab)) { - this.remove(element, lab, fn); - } - } - } else if (timers[label]) { - if (fn) { - if (fn.$timerID) { - window.clearInterval(timers[label][fn.$timerID]); - delete timers[label][fn.$timerID]; - } - } else { - for (var _fn in timers[label]) { - if (timers[label].hasOwnProperty(_fn)) { - window.clearInterval(timers[label][_fn]); - delete timers[label][_fn]; - } - } - } - - for (ret in timers[label]) { - if (timers[label].hasOwnProperty(ret)) { - break; - } - } - if (!ret) { - ret = null; - delete timers[label]; - } - } - - for (ret in timers) { - if (timers.hasOwnProperty(ret)) { - break; - } - } - if (!ret) { - element.$timers = null; - } - } - } - } - }); - - if (/(msie) ([\w.]+)/.exec(navigator.userAgent.toLowerCase())) { - jQuery(window).one('unload', function() { - var global = jQuery.timer.global; - for (var label in global) { - if (global.hasOwnProperty(label)) { - var els = global[label], i = els.length; - while (--i) { - jQuery.timer.remove(els[i], label); - } - } - } - }); - } - // ----------------------------------------------------------------------- - // :: CROSS BROWSER SPLIT - // ----------------------------------------------------------------------- - - (function(undef) { - - // prevent double include - - if (!String.prototype.split.toString().match(/\[native/)) { - return; - } - - var nativeSplit = String.prototype.split, - compliantExecNpcg = /()??/.exec("")[1] === undef, // NPCG: nonparticipating capturing group - self; - - self = function (str, separator, limit) { - // If `separator` is not a regex, use `nativeSplit` - if (Object.prototype.toString.call(separator) !== "[object RegExp]") { - return nativeSplit.call(str, separator, limit); - } - var output = [], - flags = (separator.ignoreCase ? "i" : "") + - (separator.multiline ? "m" : "") + - (separator.extended ? "x" : "") + // Proposed for ES6 - (separator.sticky ? "y" : ""), // Firefox 3+ - lastLastIndex = 0, - // Make `global` and avoid `lastIndex` issues by working with a copy - separator2, match, lastIndex, lastLength; - separator = new RegExp(separator.source, flags + "g"); - str += ""; // Type-convert - if (!compliantExecNpcg) { - // Doesn't need flags gy, but they don't hurt - separator2 = new RegExp("^" + separator.source + "$(?!\\s)", flags); - } - /* Values for `limit`, per the spec: - * If undefined: 4294967295 // Math.pow(2, 32) - 1 - * If 0, Infinity, or NaN: 0 - * If positive number: limit = Math.floor(limit); if (limit > 4294967295) limit -= 4294967296; - * If negative number: 4294967296 - Math.floor(Math.abs(limit)) - * If other: Type-convert, then use the above rules - */ - // ? Math.pow(2, 32) - 1 : ToUint32(limit) - limit = limit === undef ? -1 >>> 0 : limit >>> 0; - while (match = separator.exec(str)) { - // `separator.lastIndex` is not reliable cross-browser - lastIndex = match.index + match[0].length; - if (lastIndex > lastLastIndex) { - output.push(str.slice(lastLastIndex, match.index)); - // Fix browsers whose `exec` methods don't consistently return `undefined` for - // nonparticipating capturing groups - if (!compliantExecNpcg && match.length > 1) { - match[0].replace(separator2, function () { - for (var i = 1; i < arguments.length - 2; i++) { - if (arguments[i] === undef) { - match[i] = undef; - } - } - }); - } - if (match.length > 1 && match.index < str.length) { - Array.prototype.push.apply(output, match.slice(1)); - } - lastLength = match[0].length; - lastLastIndex = lastIndex; - if (output.length >= limit) { - break; - } - } - if (separator.lastIndex === match.index) { - separator.lastIndex++; // Avoid an infinite loop - } - } - if (lastLastIndex === str.length) { - if (lastLength || !separator.test("")) { - output.push(""); - } - } else { - output.push(str.slice(lastLastIndex)); - } - return output.length > limit ? output.slice(0, limit) : output; - }; - - // For convenience - String.prototype.split = function (separator, limit) { - return self(this, separator, limit); - }; - - return self; - - })(); - // ----------------------------------------------------------------------- - // :: Split string to array of strings with the same length - // ----------------------------------------------------------------------- - function str_parts(str, length) { - var result = []; - var len = str.length; - if (len < length) { - return [str]; - } - for (var i = 0; i < len; i += length) { - result.push(str.substring(i, i + length)); - } - return result; - } - // ----------------------------------------------------------------------- - // :: CYCLE DATA STRUCTURE - // ----------------------------------------------------------------------- - function Cycle(init) { - var data = init ? [init] : []; - var pos = 0; - $.extend(this, { - get: function() { - return data; - }, - rotate: function() { - if (data.length === 1) { - return data[0]; - } else { - if (pos === data.length - 1) { - pos = 0; - } else { - ++pos; - } - return data[pos]; - } - }, - length: function() { - return data.length; - }, - set: function(item) { - for (var i = data.length; i--;) { - if (data[i] === item) { - pos = i; - return; - } - } - this.append(item); - }, - front: function() { - return data[pos]; - }, - append: function(item) { - data.push(item); - } - }); - } - // ----------------------------------------------------------------------- - // :: STACK DATA STRUCTURE - // ----------------------------------------------------------------------- - function Stack(init) { - var data = init ? [init] : []; - $.extend(this, { - map: function(fn) { - return $.map(data, fn); - }, - size: function() { - return data.length; - }, - pop: function() { - if (data.length === 0) { - return null; - } else { - var value = data[data.length - 1]; - data = data.slice(0, data.length - 1); - return value; - } - }, - push: function(value) { - data = data.concat([value]); - return value; - }, - top: function() { - return data.length > 0 ? data[data.length - 1] : null; - } - }); - } - // ----------------------------------------------------------------------- - // :: Serialize object myself (biwascheme or prototype library do something - // :: wicked with JSON serialization for Arrays) - // ----------------------------------------------------------------------- - $.json_stringify = function(object, level) { - var result = '', i; - level = level === undefined ? 1 : level; - var type = typeof object; - switch (type) { - case 'function': - result += object; - break; - case 'boolean': - result += object ? 'true' : 'false'; - break; - case 'object': - if (object === null) { - result += 'null'; - } else if (object instanceof Array) { - result += '['; - var len = object.length; - for (i = 0; i < len - 1; ++i) { - result += $.json_stringify(object[i], level + 1); - } - result += $.json_stringify(object[len - 1], level + 1) + ']'; - } else { - result += '{'; - for (var property in object) { - if (object.hasOwnProperty(property)) { - result += '"' + property + '":' + - $.json_stringify(object[property], level + 1); - } - } - result += '}'; - } - break; - case 'string': - var str = object; - var repl = { - '\\\\': '\\\\', - '"': '\\"', - '/': '\\/', - '\\n': '\\n', - '\\r': '\\r', - '\\t': '\\t'}; - for (i in repl) { - if (repl.hasOwnProperty(i)) { - str = str.replace(new RegExp(i, 'g'), repl[i]); - } - } - result += '"' + str + '"'; - break; - case 'number': - result += String(object); - break; - } - result += (level > 1 ? ',' : ''); - // quick hacks below - if (level === 1) { - // fix last comma - result = result.replace(/,([\]}])/g, '$1'); - } - // fix comma before array or object - return result.replace(/([\[{]),/g, '$1'); - }; - // ----------------------------------------------------------------------- - // :: HISTORY CLASS - // ----------------------------------------------------------------------- - function History(name, size) { - var enabled = true; - var storage_key = ''; - if (typeof name === 'string' && name !== '') { - storage_key = name + '_'; - } - storage_key += 'commands'; - var data = $.Storage.get(storage_key); - data = data ? $.parseJSON(data) : []; - var pos = data.length-1; - $.extend(this, { - append: function(item) { - if (enabled) { - if (data[data.length-1] !== item) { - data.push(item); - if (size && data.length > size) { - data = data.slice(-size); - } - pos = data.length-1; - $.Storage.set(storage_key, $.json_stringify(data)); - } - } - }, - data: function() { - return data; - }, - reset: function() { - pos = data.length-1; - }, - last: function() { - return data[length-1]; - }, - end: function() { - return pos === data.length-1; - }, - position: function() { - return pos; - }, - current: function() { - return data[pos]; - }, - next: function() { - if (pos < data.length-1) { - ++pos; - } - if (pos !== -1) { - return data[pos]; - } - }, - previous: function() { - var old = pos; - if (pos > 0) { - --pos; - } - if (old !== -1) { - return data[pos]; - } - }, - clear: function() { - data = []; - this.purge(); - }, - enabled: function() { - return enabled; - }, - enable: function() { - enabled = true; - }, - purge: function() { - $.Storage.remove(storage_key); - }, - disable: function() { - enabled = false; - } - }); - } - // ----------------------------------------------------------------------- - // :: COMMAND LINE PLUGIN - // ----------------------------------------------------------------------- - $.fn.cmd = function(options) { - var self = this; - var maybe_data = self.data('cmd'); - if (maybe_data) { - return maybe_data; - } - self.addClass('cmd'); - self.append('<span class="prompt"></span><span></span>' + - '<span class="cursor"> </span><span></span>'); - var clip = $('<textarea/>').addClass('clipboard').appendTo(self); - if (options.width) { - self.width(options.width); - } - var num_chars; // calculated by draw_prompt - var prompt_len; - var reverse_search = false; - var reverse_search_string = ''; - var reverse_search_position = null; - var backup_prompt; - var mask = options.mask || false; - var command = ''; - var selected_text = ''; // text from selection using CTRL+SHIFT+C (as in Xterm) - var kill_text = ''; // text from command that kill part of the command - var position = 0; - var prompt; - var enabled = options.enabled; - var historySize = options.historySize || 60; - var name, history; - var cursor = self.find('.cursor'); - var animation; - if (supportAnimations()) { - animation = function(toggle) { - if (toggle) { - cursor.addClass('blink'); - } else { - cursor.removeClass('blink'); - } - }; - } else { - animation = function(toggle) { - if (toggle && !enabled) { - cursor.addClass('inverted'); - self.everyTime(500, 'blink', blink); - } else if (enabled) { - self.stopTime('blink', blink); - cursor.removeClass('inverted'); - } - }; - } - // ----------------------------------------------------------------------- - // :: Blinking cursor function - // ----------------------------------------------------------------------- - function blink(i) { - cursor.toggleClass('inverted'); - } - // ----------------------------------------------------------------------- - // :: Set prompt for reverse search - // ----------------------------------------------------------------------- - function draw_reverse_prompt() { - prompt = "(reverse-i-search)`" + reverse_search_string + "': "; - draw_prompt(); - } - // ----------------------------------------------------------------------- - // :: Disable reverse search - // ----------------------------------------------------------------------- - function clear_reverse_state() { - prompt = backup_prompt; - reverse_search = false; - reverse_search_position = null; - reverse_search_string = ''; - } - // ----------------------------------------------------------------------- - // :: Search through command line history. If next is not defined or false - // :: it searches for the first item from the end. If true it search for - // :: the next item - // ----------------------------------------------------------------------- - function reverse_history_search(next) { - var history_data = history.data(); - var regex, save_string; - var len = history_data.length; - if (next && reverse_search_position > 0) { - len -= reverse_search_position; - } - if (reverse_search_string.length > 0) { - for (var j=reverse_search_string.length; j>0; j--) { - save_string = reverse_search_string.substring(0, j). - replace(/([.*+{}\[\]?])/g, '\\$1'); - regex = new RegExp(save_string); - for (var i=len; i--;) { - if (regex.test(history_data[i])) { - reverse_search_position = history_data.length - i; - position = 0; - self.set(history_data[i], true); - redraw(); - if (reverse_search_string.length !== j) { - reverse_search_string = reverse_search_string.substring(0, j); - draw_reverse_prompt(); - } - return; - } - } - } - } - reverse_search_string = ''; // clear if not found any - } - // ----------------------------------------------------------------------- - // :: Recalculate number of characters in command line - // ----------------------------------------------------------------------- - function change_num_chars() { - var W = self.width(); - var w = cursor.innerWidth(); - num_chars = Math.floor(W / w); - } - // ----------------------------------------------------------------------- - // :: Return string repeated n times - // ----------------------------------------------------------------------- - function str_repeat(str, n) { - var result = ''; - for (var i = n; i--;) { - result += str; - } - return result; - } - // ----------------------------------------------------------------------- - // :: Split String that fit into command line where first line need to - // :: fit next to prompt (need to have less characters) - // ----------------------------------------------------------------------- - function get_splited_command_line(string) { - var first = string.substring(0, num_chars - prompt_len); - var rest = string.substring(num_chars - prompt_len); - return [first].concat(str_parts(rest, num_chars)); - } - // ----------------------------------------------------------------------- - // :: Function that displays the command line. Split long lines and place - // :: cursor in the right place - // ----------------------------------------------------------------------- - var redraw = (function(self) { - var before = cursor.prev(); - var after = cursor.next(); - // ----------------------------------------------------------------------- - // :: Draw line with the cursor - // ----------------------------------------------------------------------- - function draw_cursor_line(string, position) { - var len = string.length; - if (position === len) { - before.html($.terminal.encode(string, true)); - cursor.html(' '); - after.html(''); - } else if (position === 0) { - before.html(''); - //fix for tilda in IE - cursor.html($.terminal.encode(string.slice(0, 1), true)); - //cursor.html($.terminal.encode(string[0])); - after.html($.terminal.encode(string.slice(1), true)); - } else { - var before_str = $.terminal.encode(string.slice(0, position), true); - before.html(before_str); - //fix for tilda in IE - var c = string.slice(position, position + 1); - //cursor.html(string[position])); - cursor.html(c === ' ' ? ' ' : $.terminal.encode(c, true)); - if (position === string.length - 1) { - after.html(''); - } else { - after.html($.terminal.encode(string.slice(position + 1), true)); - } - } - } - function div(string) { - return '<div>' + $.terminal.encode(string, true) + '</div>'; - } - // ----------------------------------------------------------------------- - // :: Display lines after the cursor - // ----------------------------------------------------------------------- - function lines_after(lines) { - var last_ins = after; - $.each(lines, function(i, line) { - last_ins = $(div(line)).insertAfter(last_ins). - addClass('clear'); - }); - } - // ----------------------------------------------------------------------- - // :: Display lines before the cursor - // ----------------------------------------------------------------------- - function lines_before(lines) { - $.each(lines, function(i, line) { - before.before(div(line)); - }); - } - var count = 0; - // ----------------------------------------------------------------------- - // :: Redraw function - // ----------------------------------------------------------------------- - return function() { - var string = mask ? command.replace(/./g, '*') : command; - var i, first_len; - self.find('div').remove(); - before.html(''); - // long line - if (string.length > num_chars - prompt_len - 1 || - string.match(/\n/)) { - var array; - var tabs = string.match(/\t/g); - var tabs_rm = tabs ? tabs.length * 3 : 0; - //quick tabulation hack - if (tabs) { - string = string.replace(/\t/g, '\x00\x00\x00\x00'); - } - // command contains new line characters - if (string.match(/\n/)) { - var tmp = string.split("\n"); - first_len = num_chars - prompt_len - 1; - // empty character after each line - for (i=0; i<tmp.length-1; ++i) { - tmp[i] += ' '; - } - // split first line - if (tmp[0].length > first_len) { - array = [tmp[0].substring(0, first_len)]; - array = array.concat(str_parts(tmp[0].substring(first_len), num_chars)); - } else { - array = [tmp[0]]; - } - // process rest of the lines - for (i=1; i<tmp.length; ++i) { - if (tmp[i].length > num_chars) { - array = array.concat(str_parts(tmp[i], num_chars)); - } else { - array.push(tmp[i]); - } - } - } else { - array = get_splited_command_line(string); - } - if (tabs) { - array = $.map(array, function(line) { - return line.replace(/\x00\x00\x00\x00/g, '\t'); - }); - } - first_len = array[0].length; - //cursor in first line - if (first_len === 0 && array.length === 1) { - // skip empty line - } else if (position < first_len) { - draw_cursor_line(array[0], position); - lines_after(array.slice(1)); - } else if (position === first_len) { - before.before(div(array[0])); - draw_cursor_line(array[1], 0); - lines_after(array.slice(2)); - } else { - var num_lines = array.length; - var offset = 0; - if (position < first_len) { - draw_cursor_line(array[0], position); - lines_after(array.slice(1)); - } else if (position === first_len) { - before.before(div(array[0])); - draw_cursor_line(array[1], 0); - lines_after(array.slice(2)); - } else { - var last = array.slice(-1)[0]; - var from_last = string.length - position; - var last_len = last.length; - var pos = 0; - if (from_last <= last_len) { - lines_before(array.slice(0, -1)); - pos = last_len === from_last ? 0 : last_len-from_last; - draw_cursor_line(last, pos+tabs_rm); - } else { - // in the middle - if (num_lines === 3) { - before.before('<div>' + $.terminal.encode(array[0], true) + - '</div>'); - draw_cursor_line(array[1], position-first_len-1); - after.after('<div class="clear">' + - $.terminal.encode(array[2], true) + - '</div>'); - } else { - // more lines, cursor in the middle - var line_index; - var current; - pos = position; - for (i=0; i<array.length; ++i) { - var current_len = array[i].length; - if (pos > current_len) { - pos -= current_len; - } else { - break; - } - } - current = array[i]; - line_index = i; - // cursor on first character in line - if (pos === current.length) { - pos = 0; - current = array[++line_index]; - } - draw_cursor_line(current, pos); - lines_before(array.slice(0, line_index)); - lines_after(array.slice(line_index+1)); - } - } - } - } - } else { - if (string === '') { - before.html(''); - cursor.html(' '); - after.html(''); - } else { - draw_cursor_line(string, position); - } - } - }; - })(self); - var last_command; - // ----------------------------------------------------------------------- - // :: Draw prompt that can be a function or a string - // ----------------------------------------------------------------------- - var draw_prompt = (function() { - var prompt_node = self.find('.prompt'); - function set(prompt) { - prompt_len = skipFormattingCount(prompt); - prompt_node.html($.terminal.format($.terminal.encode(prompt))); - } - return function() { - switch (typeof prompt) { - case 'string': - set(prompt); - break; - case 'function': - prompt(set); - break; - } - }; - })(); - // ----------------------------------------------------------------------- - // :: Paste content to terminal using hidden textarea - // ----------------------------------------------------------------------- - function paste() { - clip.focus(); - //wait until Browser insert text to textarea - self.oneTime(1, function() { - self.insert(clip.val()); - clip.blur().val(''); - }); - } - var first_up_history = true; - //var prevent_keypress = false; - // ----------------------------------------------------------------------- - // :: Keydown Event Handler - // ----------------------------------------------------------------------- - function keydown_event(e) { - var result, pos, len; - if (typeof options.keydown == 'function') { - result = options.keydown(e); - if (result !== undefined) { - //prevent_keypress = true; - return result; - } - } - if (enabled) { - if (e.which !== 38 && - !(e.which === 80 && e.ctrlKey)) { - first_up_history = true; - } - // arrows / Home / End / ENTER - if (reverse_search && (e.which === 35 || e.which === 36 || - e.which === 37 || e.which === 38 || - e.which === 39 || e.which === 40 || - e.which === 13 || e.which === 27)) { - clear_reverse_state(); - draw_prompt(); - if (e.which === 27) { // ESC - command = ''; - } - redraw(); - // finish reverse search and execute normal event handler - keydown_event.call(this, e); - } else if (e.altKey) { - // Chrome on Windows sets ctrlKey and altKey for alt - // need to check for alt first - //if (e.which === 18) { // press ALT - if (e.which === 68) { //ALT+D - self.set(command.slice(0, position) + - command.slice(position).replace(/[^ ]+ |[^ ]+$/, ''), - true); - // chrome jump to address bar - return false; - } - return true; - } else if (e.keyCode === 13) { //enter - if (e.shiftKey) { - self.insert('\n'); - } else { - if (history && command && !mask && - ((typeof options.historyFilter == 'function' && - options.historyFilter(command)) || - !options.historyFilter)) { - history.append(command); - } - var tmp = command; - history.reset(); - self.set(''); - if (options.commands) { - options.commands(tmp); - } - if (typeof prompt === 'function') { - draw_prompt(); - } - } - } else if (e.which === 8) { //backspace - if (reverse_search) { - reverse_search_string = reverse_search_string.slice(0, -1); - draw_reverse_prompt(); - } else { - if (command !== '' && position > 0) { - command = command.slice(0, position - 1) + - command.slice(position, command.length); - --position; - redraw(); - } - } - } else if (e.which === 67 && e.ctrlKey && e.shiftKey) { // CTRL+SHIFT+C - selected_text = getSelectedText(); - } else if (e.which === 86 && e.ctrlKey && e.shiftKey) { - if (selected_text !== '') { - self.insert(selected_text); - } - } else if (e.which === 9 && !(e.ctrlKey || e.altKey)) { // TAB - self.insert('\t'); - } else if (e.which === 46) { - //DELETE - if (command !== '' && position < command.length) { - command = command.slice(0, position) + - command.slice(position + 1, command.length); - redraw(); - } - return true; - } else if (history && e.which === 38 || - (e.which === 80 && e.ctrlKey)) { - //UP ARROW or CTRL+P - if (first_up_history) { - last_command = command; - self.set(history.current()); - } else { - self.set(history.previous()); - } - first_up_history = false; - } else if (history && e.which === 40 || - (e.which === 78 && e.ctrlKey)) { - //DOWN ARROW or CTRL+N - self.set(history.end() ? last_command : history.next()); - } else if (e.which === 37 || - (e.which === 66 && e.ctrlKey)) { - //CTRL+LEFT ARROW or CTRL+B - if (e.ctrlKey && e.which !== 66) { - len = position - 1; - pos = 0; - if (command[len] === ' ') { - --len; - } - for (var i = len; i > 0; --i) { - if (command[i] === ' ' && command[i+1] !== ' ') { - pos = i + 1; - break; - } else if (command[i] === '\n' && command[i+1] !== '\n') { - pos = i; - break; - } - } - self.position(pos); - } else { - //LEFT ARROW or CTRL+B - if (position > 0) { - --position; - redraw(); - } - } - } else if (e.which === 82 && e.ctrlKey) { // CTRL+R - if (reverse_search) { - reverse_history_search(true); - } else { - backup_prompt = prompt; - draw_reverse_prompt(); - last_command = command; - command = ''; - redraw(); - reverse_search = true; - } - } else if (e.which == 71 && e.ctrlKey) { // CTRL+G - if (reverse_search) { - prompt = backup_prompt; - draw_prompt(); - command = last_command; - redraw(); - reverse_search = false; - reverse_search_string = ''; - } - } else if (e.which === 39 || - (e.which === 70 && e.ctrlKey)) { - //RIGHT ARROW OR CTRL+F - if (e.ctrlKey && e.which !== 70) { - // jump to beginning or end of the word - if (command[position] === ' ') { - ++position; - } - var re = /\S[\n\s]{2,}|[\n\s]+\S?/; - var match = command.slice(position).match(re); - if (!match || match[0].match(/^\s+$/)) { - position = command.length; - } else { - if (match[0][0] !== ' ') { - position += match.index + 1; - } else { - position += match.index + match[0].length - 1; - if (match[0][match[0].length-1] !== ' ') { - --position; - } - } - } - redraw(); - } else { - if (position < command.length) { - ++position; - redraw(); - } - } - } else if (e.which === 123) { //F12 - Allow Firebug - return true; - } else if (e.which === 36) { //HOME - self.position(0); - } else if (e.which === 35) { - //END - self.position(command.length); - } else if (e.shiftKey && e.which == 45) { // Shift+Insert - paste(); - return true; - } else if (e.ctrlKey || e.metaKey) { - if (e.which === 192) { // CMD+` switch browser window on Mac - return true; - } - if (e.metaKey) { - if(e.which === 82) { // CMD+r page reload in Chrome Mac - return true; - } else if(e.which === 76) { - return true; // CMD+l jump into Omnibox on Chrome Mac - } - } - if (e.shiftKey) { // CTRL+SHIFT+?? - if (e.which === 84) { - //CTRL+SHIFT+T open closed tab - return true; - } - //} else if (e.altKey) { //ALT+CTRL+?? - } else { - if (e.which === 81) { // CTRL+W - // don't work in Chromium (can't prevent close tab) - if (command !== '' && position !== 0) { - var first = command.slice(0, position); - var last = command.slice(position+1); - var m = first.match(/([^ ]+ *$)/); - position = first.length-m[0].length; - kill_text = first.slice(position); - command = first.slice(0, position) + last; - redraw(); - } - return false; - } else if (e.which === 72) { // CTRL+H - if (command !== '' && position > 0) { - command = command.slice(0, --position); - if (position < command.length-1) { - command += command.slice(position); - } - redraw(); - } - return false; - //NOTE: in opera charCode is undefined - } else if (e.which === 65) { - //CTRL+A - self.position(0); - } else if (e.which === 69) { - //CTRL+E - self.position(command.length); - } else if (e.which === 88 || e.which === 67 || e.which === 84) { - //CTRL+X CTRL+C CTRL+W CTRL+T - return true; - } else if (e.which === 89) { // CTRL+Y - if (kill_text !== '') { - self.insert(kill_text); - } - } else if (e.which === 86) { - //CTRL+V - paste(); - return true; - } else if (e.which === 75) { - //CTRL+K - if (position === 0) { - kill_text = command; - self.set(''); - } else if (position !== command.length) { - kill_text = command.slice(position); - self.set(command.slice(0, position)); - } - } else if (e.which === 85) { // CTRL+U - if (command !== '' && position !== 0) { - kill_text = command.slice(0, position); - self.set(command.slice(position, command.length)); - self.position(0); - } - } else if (e.which === 17) { //CTRL+TAB switch tab - return false; - } - } - } else { - return true; - } - return false; - } /*else { - if ((e.altKey && e.which === 68) || - (e.ctrlKey && - $.inArray(e.which, [65, 66, 68, 69, 80, 78, 70]) > -1) || - // 68 === D - [35, 36, 37, 38, 39, 40].has(e.which)) { - return false; - } - } */ - } - var history_list = []; - // ----------------------------------------------------------------------- - // :: Command Line Methods - // ----------------------------------------------------------------------- - $.extend(self, { - name: function(string) { - if (string !== undefined) { - name = string; - var enabled = history && history.enabled() || !history; - history = new History(string, historySize); - // disable new history if old was disabled - if (!enabled) { - history.disable(); - } - return self; - } else { - return name; - } - }, - purge: function() { - history.clear(); - return self; - }, - history: function() { - return history; - }, - set: function(string, stay) { - if (string !== undefined) { - command = string; - if (!stay) { - position = command.length; - } - redraw(); - if (typeof options.onCommandChange === 'function') { - options.onCommandChange(command); - } - } - return self; - }, - insert: function(string, stay) { - if (position === command.length) { - command += string; - } else if (position === 0) { - command = string + command; - } else { - command = command.slice(0, position) + - string + command.slice(position); - } - if (!stay) { - position += string.length; - } - redraw(); - if (typeof options.onCommandChange === 'function') { - options.onCommandChange(command); - } - return self; - }, - get: function() { - return command; - }, - commands: function(commands) { - if (commands) { - options.commands = commands; - return self; - } else { - return commands; - } - }, - destroy: function() { - $(document.documentElement || window).unbind('.cmd'); - self.stopTime('blink', blink); - self.find('.cursor').next().remove().end().prev().remove().end().remove(); - self.find('.prompt, .clipboard').remove(); - self.removeClass('cmd').removeData('cmd'); - return self; - }, - prompt: function(user_prompt) { - if (user_prompt === undefined) { - return prompt; - } else { - if (typeof user_prompt === 'string' || - typeof user_prompt === 'function') { - prompt = user_prompt; - } else { - throw 'prompt must be a function or string'; - } - draw_prompt(); - // we could check if command is longer then numchars-new prompt - redraw(); - return self; - } - }, - kill_text: function() { - return kill_text; - }, - position: function(n) { - if (typeof n === 'number') { - position = n < 0 ? 0 : n > command.length ? command.length : n; - redraw(); - return self; - } else { - return position; - } - }, - visible: (function() { - var visible = self.visible; - return function() { - visible.apply(self, []); - redraw(); - draw_prompt(); - }; - })(), - show: (function() { - var show = self.show; - return function() { - show.apply(self, []); - redraw(); - draw_prompt(); - }; - })(), - resize: function(num) { - if (num) { - num_chars = num; - } else { - change_num_chars(); - } - redraw(); - return self; - }, - enable: function() { - enabled = true; - animation(true); - return self; - }, - isenabled: function() { - return enabled; - }, - disable: function() { - enabled = false; - animation(false); - return self; - }, - mask: function(display) { - if (typeof display === 'boolean') { - mask = display; - redraw(); - return self; - } else { - return mask; - } - } - }); - // ----------------------------------------------------------------------- - // :: INIT - // ----------------------------------------------------------------------- - self.name(options.name || options.prompt || ''); - prompt = options.prompt || '> '; - draw_prompt(); - if (options.enabled === undefined || options.enabled === true) { - self.enable(); - } - // Keystrokes - var object; - $(document.documentElement || window).bind('keypress.cmd', function(e) { - var result; - if (e.ctrlKey && e.which === 99) { // CTRL+C - return true; - } - if (!reverse_search && typeof options.keypress === 'function') { - result = options.keypress(e); - } - if (result === undefined || result) { - if (enabled) { - if ($.inArray(e.which, [38, 13, 0, 8]) > -1 && - e.keyCode !== 123 && // for F12 which === 0 - //!(e.which === 40 && e.shiftKey || - !(e.which === 38 && e.shiftKey)) { - return false; - } else if (!e.ctrlKey && !(e.altKey && e.which === 100) || e.altKey) { // ALT+D - // TODO: this should be in one statement - if (reverse_search) { - reverse_search_string += String.fromCharCode(e.which); - reverse_history_search(); - draw_reverse_prompt(); - } else { - self.insert(String.fromCharCode(e.which)); - } - return false; - } - } - } else { - return result; - } - }).bind('keydown.cmd', keydown_event); - // characters - self.data('cmd', self); - return self; - }; // cmd plugin - - // ------------------------------------------------------------------------- - // :: TOOLS - // ------------------------------------------------------------------------- - function skipFormattingCount(string) { - // this will covert html entities to single characters - return $('<div>' + $.terminal.strip(string) + '</div>').text().length; - } - // ------------------------------------------------------------------------- - function formattingCount(string) { - return string.length - skipFormattingCount(string); - } - // ------------------------------------------------------------------------- - // taken from https://hacks.mozilla.org/2011/09/detecting-and-generating-css-animations-in-javascript/ - function supportAnimations() { - var animation = false, - animationstring = 'animation', - keyframeprefix = '', - domPrefixes = 'Webkit Moz O ms Khtml'.split(' '), - pfx = '', - elm = document.createElement('div'); - if (elm.style.animationName) { animation = true; } - if (animation === false) { - for (var i = 0; i < domPrefixes.length; i++) { - if (elm.style[ domPrefixes[i] + 'AnimationName' ] !== undefined) { - pfx = domPrefixes[i]; - animationstring = pfx + 'Animation'; - keyframeprefix = '-' + pfx.toLowerCase() + '-'; - animation = true; - break; - } - } - } - return animation; - } - // ------------------------------------------------------------------------- - function processCommand(string, fn) { - var args = string.replace(/^\s+|\s+$/g, '').split(/(\s+)/); - var rest = string.replace(/^[^\s]+\s*/, ''); - return { - name: args[0], - args: fn(rest), - rest: rest - }; - } - // colors from http://www.w3.org/wiki/CSS/Properties/color/keywords - var color_names = [ - 'black', 'silver', 'gray', 'white', 'maroon', 'red', 'purple', - 'fuchsia', 'green', 'lime', 'olive', 'yellow', 'navy', 'blue', 'teal', - 'aqua', 'aliceblue', 'antiquewhite', 'aqua', 'aquamarine', 'azure', - 'beige', 'bisque', 'black', 'blanchedalmond', 'blue', 'blueviolet', - 'brown', 'burlywood', 'cadetblue', 'chartreuse', 'chocolate', 'coral', - 'cornflowerblue', 'cornsilk', 'crimson', 'cyan', 'darkblue', 'darkcyan', - 'darkgoldenrod', 'darkgray', 'darkgreen', 'darkgrey', 'darkkhaki', - 'darkmagenta', 'darkolivegreen', 'darkorange', 'darkorchid', 'darkred', - 'darksalmon', 'darkseagreen', 'darkslateblue', 'darkslategray', - 'darkslategrey', 'darkturquoise', 'darkviolet', 'deeppink', - 'deepskyblue', 'dimgray', 'dimgrey', 'dodgerblue', 'firebrick', - 'floralwhite', 'forestgreen', 'fuchsia', 'gainsboro', 'ghostwhite', - 'gold', 'goldenrod', 'gray', 'green', 'greenyellow', 'grey', 'honeydew', - 'hotpink', 'indianred', 'indigo', 'ivory', 'khaki', 'lavender', - 'lavenderblush', 'lawngreen', 'lemonchiffon', 'lightblue', 'lightcoral', - 'lightcyan', 'lightgoldenrodyellow', 'lightgray', 'lightgreen', - 'lightgrey', 'lightpink', 'lightsalmon', 'lightseagreen', - 'lightskyblue', 'lightslategray', 'lightslategrey', 'lightsteelblue', - 'lightyellow', 'lime', 'limegreen', 'linen', 'magenta', 'maroon', - 'mediumaquamarine', 'mediumblue', 'mediumorchid', 'mediumpurple', - 'mediumseagreen', 'mediumslateblue', 'mediumspringgreen', - 'mediumturquoise', 'mediumvioletred', 'midnightblue', 'mintcream', - 'mistyrose', 'moccasin', 'navajowhite', 'navy', 'oldlace', 'olive', - 'olivedrab', 'orange', 'orangered', 'orchid', 'palegoldenrod', - 'palegreen', 'paleturquoise', 'palevioletred', 'papayawhip', - 'peachpuff', 'peru', 'pink', 'plum', 'powderblue', 'purple', 'red', - 'rosybrown', 'royalblue', 'saddlebrown', 'salmon', 'sandybrown', - 'seagreen', 'seashell', 'sienna', 'silver', 'skyblue', 'slateblue', - 'slategray', 'slategrey', 'snow', 'springgreen', 'steelblue', 'tan', - 'teal', 'thistle', 'tomato', 'turquoise', 'violet', 'wheat', 'white', - 'whitesmoke', 'yellow', 'yellowgreen']; - // ------------------------------------------------------------------------- - var format_split_re = /(\[\[[gbiuso]*;[^;]*;[^\]]*\](?:[^\]]*\\\][^\]]*|[^\]]*|[^\[]*\[[^\]]*)\]?)/i; - var format_parts_re = /\[\[([gbiuso]*);([^;]*);([^;\]]*);?([^;\]]*);?([^\]]*)\]([^\]]*\\\][^\]]*|[^\]]*|[^\[]*\[[^\]]*)\]?/gi; - var format_re = /\[\[([gbiuso]*;[^;\]]*;[^;\]]*(?:;|[^\]()]*);?[^\]]*)\]([^\]]*\\\][^\]]*|[^\]]*|[^\[]*\[[^\]]*)\]?/gi; - var format_full_re = /^\[\[([gbiuso]*;[^;\]]*;[^;\]]*(?:;|[^\]()]*);?[^\]]*)\]([^\]]*\\\][^\]]*|[^\]]*|[^\[]*\[[^\]]*)\]$/gi; - var color_hex_re = /^#([0-9a-f]{3}|[0-9a-f]{6})$/i; - //var url_re = /https?:\/\/(?:(?!&[^;]+;)[^\s:"'<>)])+/g; - var url_re = /\bhttps?:\/\/(?:(?!&[^;]+;)[^\s"'<>)])+\b/g; - var email_re = /((([^<>('")[\]\\.,;:\s@\"]+(\.[^<>()[\]\\.,;:\s@\"]+)*)|(\".+\"))@((\[[0-9]{1,3}\.[0-9]{1,3}\.[0-9]{1,3}\.[0-9]{1,3}\])|(([a-zA-Z\-0-9]+\.)+[a-zA-Z]{2,})))/g; - var command_re = /('[^']*'|"(\\"|[^"])*"|\/(\\\/|[^\/])+\/[gimy]*|(\\ |[^ ])+|[\w-]+)/g; - var format_begin_re = /(\[\[[gbiuso]*;[^;]*;[^\]]*\])/i; - var format_last_re = /\[\[[gbiuso]*;[^;]*;[^\]]*\]?$/i; - $.terminal = { - // ----------------------------------------------------------------------- - // :: Validate html color (it can be name or hex) - // ----------------------------------------------------------------------- - valid_color: function(color) { - return color.match(color_hex_re) || $.inArray(color.toLowerCase(), color_names) !== -1; - }, - // ----------------------------------------------------------------------- - // :: Escape all special regex characters, so it can be use as regex to - // :: match exact string that contain those characters - // ----------------------------------------------------------------------- - escape_regex: function(string) { - var special = /([\^\$\[\]\(\)\+\*\.\|])/g; - return string.replace(special, '\\$1'); - }, - // ----------------------------------------------------------------------- - // :: test if string contain formatting - // ----------------------------------------------------------------------- - have_formatting: function(str) { - return str.match(format_re); - }, - is_formatting: function(str) { - return str.match(format_full_re); - }, - // ----------------------------------------------------------------------- - // :: return array of formatting and text between them - // ----------------------------------------------------------------------- - format_split: function(str) { - return str.split(format_split_re); - }, - // ----------------------------------------------------------------------- - // :: split text into lines with equal length so each line can be rendered - // :: separately (text formatting can be longer then a line). - // ----------------------------------------------------------------------- - split_equal: function(str, length) { - var formatting = false; - var in_text = false; - var braket = 0; - var prev_format = ''; - var result = []; - // add format text as 5th paramter to formatting it's used for - // data attribute in format function - var array = str.replace(format_re, function(_, format, text) { - var semicolons = format.match(/;/g).length; - // missing semicolons - if (semicolons == 2) { - semicolons = ';;'; - } else if (semicolons == 3) { - semicolons = ';'; - } else { - semicolons = ''; - } - // return '[[' + format + ']' + text + ']'; - // closing braket will break formatting so we need to escape those using - // html entity equvalent - return '[[' + format + semicolons + - text.replace(/\\\]/g, ']').replace(/\n/g, '\\n') + ']' + - text + ']'; - }).split(/\n/g); - for (var i = 0, len = array.length; i < len; ++i) { - if (array[i] === '') { - result.push(''); - continue; - } - var line = array[i]; - var first_index = 0; - var count = 0; - for (var j=0, jlen=line.length; j<jlen; ++j) { - if (line[j] === '[' && line[j+1] === '[') { - formatting = true; - } else if (formatting && line[j] === ']') { - if (in_text) { - formatting = false; - in_text = false; - } else { - in_text = true; - } - } else if ((formatting && in_text) || !formatting) { - if (line[j] === '&') { // treat entity as one character - var m = line.substring(j).match(/^(&[^;]+;)/); - if (!m) { - // should never happen if used by terminal, because - // it always calls $.terminal.encode before this function - throw "Unclosed html entity in line " + (i+1) + ' at char ' + (j+1); - } - j+=m[1].length-2; // because continue adds 1 to j - // if entity is at the end there is no next loop - issue #77 - if (j === jlen-1) { - result.push(output_line + m[1]); - } - continue; - } else if (line[j] === ']' && line[j-1] === '\\') { - // escape \] counts as one character - --count; - } else { - ++count; - } - } - if (count === length || j === jlen-1) { - var output_line = line.substring(first_index, j+1); - if (prev_format) { - output_line = prev_format + output_line; - if (output_line.match(']')) { - prev_format = ''; - } - } - first_index = j+1; - count = 0; - // Fix output_line if formatting not closed - var matched = output_line.match(format_re); - if (matched) { - var last = matched[matched.length-1]; - if (last[last.length-1] !== ']') { - prev_format = last.match(format_begin_re)[1]; - output_line += ']'; - } else if (output_line.match(format_last_re)) { - var line_len = output_line.length; - var f_len = line_len - last[last.length-1].length; - output_line = output_line.replace(format_last_re, ''); - prev_format = last.match(format_begin_re)[1]; - } - } - result.push(output_line); - } - } - } - return result; - }, - // ----------------------------------------------------------------------- - // :: Encode formating as html for insertion into DOM - // ----------------------------------------------------------------------- - encode: function(str, full) { - // don't escape entities - if (full) { - str = str.replace(/&(?![^=]+=)/g, '&'); - } else { - str = str.replace(/&(?!#[0-9]+;|[a-zA-Z]+;|[^= "]+=[^=])/g, '&'); - } - return str.replace(/</g, '<').replace(/>/g, '>') - .replace(/ /g, ' ') - .replace(/\t/g, ' '); - }, - // ----------------------------------------------------------------------- - // :: Replace terminal formatting with html - // ----------------------------------------------------------------------- - format: function(str, options) { - var settings = $.extend({}, { - linksNoReferrer: false - }, options || {}); - if (typeof str === 'string') { - //support for formating foo[[u;;]bar]baz[[b;#fff;]quux]zzz - var splited = $.terminal.format_split(str); - if (splited && splited.length > 1) { - str = $.map(splited, function(text) { - if (text === '') { - return text; - } else if (text.substring(0,1) === '[') { - // use substring for IE quirks mode - [0] don't work - return text.replace(format_parts_re, function(s, - style, - color, - background, - _class, - data_text, - text) { - if (text === '') { - return ''; //'<span> </span>'; - } - text = text.replace(/\\]/g, ']'); - var style_str = ''; - if (style.indexOf('b') !== -1) { - style_str += 'font-weight:bold;'; - } - var text_decoration = []; - if (style.indexOf('u') !== -1) { - text_decoration.push('underline'); - } - if (style.indexOf('s') !== -1) { - text_decoration.push('line-through'); - } - if (style.indexOf('o') !== -1) { - text_decoration.push('overline'); - } - if (text_decoration.length) { - style_str += 'text-decoration:' + - text_decoration.join(' ') + ';'; - } - if (style.indexOf('i') !== -1) { - style_str += 'font-style:italic;'; - } - if ($.terminal.valid_color(color)) { - style_str += 'color:' + color + ';'; - if (style.indexOf('g') !== -1) { - style_str += 'text-shadow:0 0 5px ' + color + ';'; - } - } - if ($.terminal.valid_color(background)) { - style_str += 'background-color:' + background; - } - var data; - if (data_text === '') { - data = text; - } else { - data = data_text.replace(/]/g, ']'); - } - var result = '<span style="' + style_str + '"' + - (_class !== '' ? ' class="' + _class + '"' : '') + - ' data-text="'+ data.replace('"', '"e;') + - '">' + text + '</span>'; - return result; - }); - } else { - return '<span>' + text + '</span>'; - } - }).join(''); - } - return $.map(str.split(/(<\/?span[^>]*>)/g), function(string) { - if (!string.match(/span/)) { - return string.replace(url_re, function(link) { - var comma = link.match(/\.$/); - link = link.replace(/\.$/, ''); - return '<a target="_blank" ' + - (settings.linksNoReferer ? ' rel="noreferrer" ' : '') + - 'href="' + link + '">' + link + '</a>' + - (comma ? '.' : ''); - }).replace(email_re, '<a href="mailto:$1">$1</a>'); - } else { - return string; - } - }).join('').replace(/<span><br\/?><\/span>/g, '<br/>'); - } else { - return ''; - } - }, - // ----------------------------------------------------------------------- - // :: Replace brackets with html entities - // ----------------------------------------------------------------------- - escape_brackets: function(string) { - return string.replace(/\[/g, '[').replace(/\]/g, ']'); - }, - // ----------------------------------------------------------------------- - // :: Remove formatting from text - // ----------------------------------------------------------------------- - strip: function(str) { - return str.replace(format_parts_re, '$6'); - }, - // ----------------------------------------------------------------------- - // :: Return active terminal - // ----------------------------------------------------------------------- - active: function() { - return terminals.front(); - }, - // ----------------------------------------------------------------------- - // :: Replace overtyping (from man) formatting with terminal formatting - // ----------------------------------------------------------------------- - overtyping: function(string) { - return string.replace(/((?:_\x08.|.\x08_)+)/g, function(full, g) { - return '[[u;;]' + full.replace(/_x08|\x08_|_\u0008|\u0008_/g, '') + ']'; - }).replace(/((?:.\x08.)+)/g, function(full, g) { - return '[[b;#fff;]' + full.replace(/(.)(?:\x08|\u0008)(.)/g, - function(full, g1, g2) { - return g2; - }) + ']'; - }); - }, - // ----------------------------------------------------------------------- - // :: Html colors taken from ANSI formatting in Linux Terminal - // ----------------------------------------------------------------------- - ansi_colors: { - normal: { - black: '#000', - red: '#A00', - green: '#008400', - yellow: '#A50', - blue: '#00A', - magenta: '#A0A', - cyan: '#0AA', - white: '#AAA' - }, - faited: { - black: '#000', - red: '#640000', - green: '#006100', - yellow: '#737300', - blue: '#000087', - magenta: '#650065', - cyan: '#008787', - white: '#818181' - }, - bold: { - black: '#000', - red: '#F55', - green: '#44D544', - yellow: '#FF5', - blue: '#55F', - magenta: '#F5F', - cyan: '#5FF', - white: '#FFF' - }, - // XTerm 8-bit pallete - palette: [ - '#000000', '#AA0000', '#00AA00', '#AA5500', '#0000AA', - '#AA00AA', '#00AAAA', '#AAAAAA', '#555555', '#FF5555', - '#55FF55', '#FFFF55', '#5555FF', '#FF55FF', '#55FFFF', - '#FFFFFF', '#000000', '#00005F', '#000087', '#0000AF', - '#0000D7', '#0000FF', '#005F00', '#005F5F', '#005F87', - '#005FAF', '#005FD7', '#005FFF', '#008700', '#00875F', - '#008787', '#0087AF', '#0087D7', '#00AF00', '#00AF5F', - '#00AF87', '#00AFAF', '#00AFD7', '#00AFFF', '#00D700', - '#00D75F', '#00D787', '#00D7AF', '#00D7D7', '#00D7FF', - '#00FF00', '#00FF5F', '#00FF87', '#00FFAF', '#00FFD7', - '#00FFFF', '#5F0000', '#5F005F', '#5F0087', '#5F00AF', - '#5F00D7', '#5F00FF', '#5F5F00', '#5F5F5F', '#5F5F87', - '#5F5FAF', '#5F5FD7', '#5F5FFF', '#5F8700', '#5F875F', - '#5F8787', '#5F87AF', '#5F87D7', '#5F87FF', '#5FAF00', - '#5FAF5F', '#5FAF87', '#5FAFAF', '#5FAFD7', '#5FAFFF', - '#5FD700', '#5FD75F', '#5FD787', '#5FD7AF', '#5FD7D7', - '#5FD7FF', '#5FFF00', '#5FFF5F', '#5FFF87', '#5FFFAF', - '#5FFFD7', '#5FFFFF', '#870000', '#87005F', '#870087', - '#8700AF', '#8700D7', '#8700FF', '#875F00', '#875F5F', - '#875F87', '#875FAF', '#875FD7', '#875FFF', '#878700', - '#87875F', '#878787', '#8787AF', '#8787D7', '#8787FF', - '#87AF00', '#87AF5F', '#87AF87', '#87AFAF', '#87AFD7', - '#87AFFF', '#87D700', '#87D75F', '#87D787', '#87D7AF', - '#87D7D7', '#87D7FF', '#87FF00', '#87FF5F', '#87FF87', - '#87FFAF', '#87FFD7', '#87FFFF', '#AF0000', '#AF005F', - '#AF0087', '#AF00AF', '#AF00D7', '#AF00FF', '#AF5F00', - '#AF5F5F', '#AF5F87', '#AF5FAF', '#AF5FD7', '#AF5FFF', - '#AF8700', '#AF875F', '#AF8787', '#AF87AF', '#AF87D7', - '#AF87FF', '#AFAF00', '#AFAF5F', '#AFAF87', '#AFAFAF', - '#AFAFD7', '#AFAFFF', '#AFD700', '#AFD75F', '#AFD787', - '#AFD7AF', '#AFD7D7', '#AFD7FF', '#AFFF00', '#AFFF5F', - '#AFFF87', '#AFFFAF', '#AFFFD7', '#AFFFFF', '#D70000', - '#D7005F', '#D70087', '#D700AF', '#D700D7', '#D700FF', - '#D75F00', '#D75F5F', '#D75F87', '#D75FAF', '#D75FD7', - '#D75FFF', '#D78700', '#D7875F', '#D78787', '#D787AF', - '#D787D7', '#D787FF', '#D7AF00', '#D7AF5F', '#D7AF87', - '#D7AFAF', '#D7AFD7', '#D7AFFF', '#D7D700', '#D7D75F', - '#D7D787', '#D7D7AF', '#D7D7D7', '#D7D7FF', '#D7FF00', - '#D7FF5F', '#D7FF87', '#D7FFAF', '#D7FFD7', '#D7FFFF', - '#FF0000', '#FF005F', '#FF0087', '#FF00AF', '#FF00D7', - '#FF00FF', '#FF5F00', '#FF5F5F', '#FF5F87', '#FF5FAF', - '#FF5FD7', '#FF5FFF', '#FF8700', '#FF875F', '#FF8787', - '#FF87AF', '#FF87D7', '#FF87FF', '#FFAF00', '#FFAF5F', - '#FFAF87', '#FFAFAF', '#FFAFD7', '#FFAFFF', '#FFD700', - '#FFD75F', '#FFD787', '#FFD7AF', '#FFD7D7', '#FFD7FF', - '#FFFF00', '#FFFF5F', '#FFFF87', '#FFFFAF', '#FFFFD7', - '#FFFFFF', '#080808', '#121212', '#1C1C1C', '#262626', - '#303030', '#3A3A3A', '#444444', '#4E4E4E', '#585858', - '#626262', '#6C6C6C', '#767676', '#808080', '#8A8A8A', - '#949494', '#9E9E9E', '#A8A8A8', '#B2B2B2', '#BCBCBC', - '#C6C6C6', '#D0D0D0', '#DADADA', '#E4E4E4', '#EEEEEE' - ] - }, - // ----------------------------------------------------------------------- - // :: Replace ANSI formatting with terminal formatting - // ----------------------------------------------------------------------- - from_ansi: (function() { - var color = { - 30: 'black', - 31: 'red', - 32: 'green', - 33: 'yellow', - 34: 'blue', - 35: 'magenta', - 36: 'cyan', - 37: 'white', - - 39: 'white' // default color - }; - var background = { - 40: 'black', - 41: 'red', - 42: 'green', - 43: 'yellow', - 44: 'blue', - 45: 'magenta', - 46: 'cyan', - 47: 'white', - - 49: 'black' // default background - }; - function format_ansi(code) { - var controls = code.split(';'); - var num; - var faited = false; - var reverse = false; - var bold = false; - var styles = []; - var output_color = ''; - var output_background = ''; - var _8bit_color = false; - var _8bit_background = false; - var process_8bit = false; - var palette = $.terminal.ansi_colors.palette; - for(var i in controls) { - num = parseInt(controls[i], 10); - switch(num) { - case 1: - styles.push('b'); - bold = true; - faited = false; - break; - case 4: - styles.push('u'); - break; - case 3: - styles.push('i'); - break; - case 5: - process_8bit = true; - break; - case 38: - _8bit_color = true; - break; - case 48: - _8bit_background = true; - break; - case 2: - faited = true; - bold = false; - break; - case 7: - reverse = true; - break; - default: - if (_8bit_color && process_8bit && palette[num-1]) { - output_color = palette[num-1]; - } else if (color[num]) { - output_color = color[num]; - } - if (_8bit_background && process_8bit && palette[num-1]) { - output_background = palette[num-1]; - } else if (background[num]) { - output_background = background[num]; - } - } - if (num !== 5) { - process_8bit = false; - } - } - if (reverse) { - if (output_color && output_background) { - var tmp = output_background; - output_background = output_color; - output_color = tmp; - } else { - output_color = 'black'; - output_background = 'white'; - } - } - var colors, backgrounds; - if (bold) { - colors = backgrounds = $.terminal.ansi_colors.bold; - } else if (faited) { - colors = backgrounds = $.terminal.ansi_colors.faited; - } else { - colors = backgrounds = $.terminal.ansi_colors.normal; - } - return [styles.join(''), - _8bit_color ? output_color : colors[output_color], - _8bit_background ? output_background : backgrounds[output_background] - ]; - } - return function(input) { - var splitted = input.split(/(\x1B\[[0-9;]*[A-Za-z])/g); - if (splitted.length == 1) { - return input; - } - var output = []; - //skip closing at the begining - if (splitted.length > 3 && splitted.slice(0,3).join('') == '[0m') { - splitted = splitted.slice(3); - } - var inside = false, next, prev_color, prev_background, code, match; - for (var i=0; i<splitted.length; ++i) { - match = splitted[i].match(/^\x1B\[([0-9;]*)([A-Za-z])$/); - if (match) { - switch (match[2]) { - case 'm': - if (match[1] === '') { - continue; - } - if (match[1] !== '0') { - code = format_ansi(match[1]); - } - if (inside) { - output.push(']'); - if (match[1] == '0') { - //just closing - inside = false; - prev_color = prev_background = ''; - } else { - // someone forget to close - move to next - code[1] = code[1] || prev_color; - code[2] = code[2] || prev_background; - output.push('[[' + code.join(';') + ']'); - // store colors to next use - if (code[1]) { - prev_color = code[1]; - } - if (code[2]) { - prev_background = code[2]; - } - } - } else { - if (match[1] != '0') { - inside = true; - output.push('[[' + code.join(';') + ']'); - // store colors to next use - if (code[1]) { - prev_color = code[1]; - } - if (code[2]) { - prev_background = code[2]; - } - } - } - break; - } - } else { - output.push(splitted[i]); - } - } - if (inside) { - output.push(']'); - } - return output.join(''); //.replace(/\[\[[^\]]+\]\]/g, ''); - }; - })(), - // ----------------------------------------------------------------------- - // :: Function splits arguments and works with strings like - // :: 'asd' 'asd\' asd' "asd asd" asd\ 123 -n -b / [^ ]+ / /\s+/ asd\ asd - // :: it creates a regex and numbers and replaces escape characters in double - // :: quotes - // ----------------------------------------------------------------------- - parseArguments: function(string) { - return $.map(string.match(command_re) || [], function(arg) { - if (arg[0] === "'" && arg[arg.length-1] === "'") { - return arg.replace(/^'|'$/g, ''); - } else if (arg[0] === '"' && arg[arg.length-1] === '"') { - arg = arg.replace(/^"|"$/g, '').replace(/\\([" ])/g, '$1'); - return arg.replace(/\\\\|\\t|\\n/g, function(string) { - if (string[1] === 't') { - return '\t'; - } else if (string[1] === 'n') { - return '\n'; - } else { - return '\\'; - } - }).replace(/\\x([0-9a-f]+)/gi, function(_, hex) { - return String.fromCharCode(parseInt(hex, 16)); - }).replace(/\\0([0-7]+)/g, function(_, oct) { - return String.fromCharCode(parseInt(oct, 8)); - }); - } else if (arg.match(/^\/(\\\/|[^\/])+\/[gimy]*$/)) { - var m = arg.match(/^\/([^\/]+)\/([^\/]*)$/); - return new RegExp(m[1], m[2]); - } else if (arg.match(/^-?[0-9]+$/)) { - return parseInt(arg, 10); - } else if (arg.match(/^[-+]?[0-9]*\.?[0-9]+([eE][-+]?[0-9]+)?$/)) { - return parseFloat(arg); - } else { - return arg.replace(/\\ /g, ' '); - } - }); - }, - // ----------------------------------------------------------------------- - // :: Split arguments: it only strips single and double quotes and escapes - // :: spaces - // ----------------------------------------------------------------------- - splitArguments: function(string) { - return $.map(string.match(command_re) || [], function(arg) { - if (arg[0] === "'" && arg[arg.length-1] === "'") { - return arg.replace(/^'|'$/g, ''); - } else if (arg[0] === '"' && arg[arg.length-1] === '"') { - return arg.replace(/^"|"$/g, '').replace(/\\([" ])/g, '$1'); - } else if (arg[0] === '/' && arg[arg.length-1] == '/') { - return arg; - } else { - return arg.replace(/\\ /g, ' '); - } - }); - }, - // ----------------------------------------------------------------------- - // :: Function that returns an object {name,args}. Arguments are parsed - // :: using the function parseArguments - // ----------------------------------------------------------------------- - parseCommand: function(string) { - return processCommand(string, $.terminal.parseArguments); - }, - // ----------------------------------------------------------------------- - // :: Same as parseCommand but arguments are parsed using splitArguments - // ----------------------------------------------------------------------- - splitCommand: function(string) { - return processCommand(string, $.terminal.splitArguments); - }, - // ----------------------------------------------------------------------- - // :: Test $.terminal functions using terminal - // ----------------------------------------------------------------------- - test: function() { - var term = $.terminal.active(); - if (!term) { - term = $('body').terminal($.noop).css('margin', 0); - var margin = term.outerHeight() - term.height(); - var $win = $(window); - $win.resize(function() { - term.css('height', $(window).height()-20); - }).resize(); - } - term.echo('Testing...'); - function assert(cond, msg) { - term.echo(msg + ' [' + (cond ? '[[b;#44D544;]PASS]' : '[[b;#FF5555;]FAIL]') + ']'); - } - var string = 'name "foo bar" baz /^asd [x]/ str\\ str 10 1e10'; - var cmd = $.terminal.splitCommand(string); - assert(cmd.name === 'name' && cmd.args[0] === 'foo bar' && - cmd.args[1] === 'baz' && cmd.args[2] === '/^asd [x]/' && - cmd.args[3] === 'str str' && cmd.args[4] === '10' && - cmd.args[5] === '1e10', '$.terminal.splitCommand'); - cmd = $.terminal.parseCommand(string); - assert(cmd.name === 'name' && cmd.args[0] === 'foo bar' && - cmd.args[1] === 'baz' && $.type(cmd.args[2]) === 'regexp' && - cmd.args[2].source === '^asd [x]' && - cmd.args[3] === 'str str' && cmd.args[4] === 10 && - cmd.args[5] === 1e10, '$.terminal.parseCommand'); - string = '\x1b[2;31;46mFoo\x1b[1;3;4;32;45mBar\x1b[0m\x1b[7mBaz'; - assert($.terminal.from_ansi(string) === - '[[;#640000;#008787]Foo][[biu;#44D544;#F5F]Bar][[;#000;#AAA]Baz]', - '$.terminal.from_ansi'); - string = '[[biugs;#fff;#000]Foo][[i;;;foo]Bar][[ous;;]Baz]'; - term.echo('$.terminal.format'); - assert($.terminal.format(string) === '<span style="font-weight:bold;text-decoration:underline line-through;font-style:italic;color:#fff;text-shadow:0 0 5px #fff;background-color:#000" data-text="Foo">Foo</span><span style="font-style:italic;" class="foo" data-text="Bar">Bar</span><span style="text-decoration:underline line-through overline;" data-text="Baz">Baz</span>', '\tformatting'); - string = 'http://terminal.jcubic.pl/examples.php https://www.google.com/?q=jquery%20terminal'; - assert($.terminal.format(string) === '<a target="_blank" href="http://terminal.jcubic.pl/examples.php">http://terminal.jcubic.pl/examples.php</a> <a target="_blank" href="https://www.google.com/?q=jquery%20terminal">https://www.google.com/?q=jquery%20terminal</a>', '\turls'); - string = 'foo@bar.com baz.quux@example.com'; - assert($.terminal.format(string) === '<a href="mailto:foo@bar.com">foo@bar.com</a> <a href="mailto:baz.quux@example.com">baz.quux@example.com</a>', '\temails'); - string = '-_-[[biugs;#fff;#000]Foo]-_-[[i;;;foo]Bar]-_-[[ous;;]Baz]-_-'; - assert($.terminal.strip(string) === '-_-Foo-_-Bar-_-Baz-_-', '$.terminal.strip'); - string = '[[bui;#fff;]Lorem ipsum dolor sit amet, consectetur adipiscing elit. Nulla sed dolor nisl, in suscipit justo. Donec a enim et est porttitor semper at vitae augue. Proin at nulla at dui mattis mattis. Nam a volutpat ante. Aliquam consequat dui eu sem convallis ullamcorper. Nulla suscipit, massa vitae suscipit ornare, tellus] est [[b;;#f00]consequat nunc, quis blandit elit odio eu arcu. Nam a urna nec nisl varius sodales. Mauris iaculis tincidunt orci id commodo. Aliquam] non magna quis [[i;;]tortor malesuada aliquam] eget ut lacus. Nam ut vestibulum est. Praesent volutpat tellus in eros dapibus elementum. Nam laoreet risus non nulla mollis ac luctus [[ub;#fff;]felis dapibus. Pellentesque mattis elementum augue non sollicitudin. Nullam lobortis fermentum elit ac mollis. Nam ac varius risus. Cras faucibus euismod nulla, ac auctor diam rutrum sit amet. Nulla vel odio erat], ac mattis enim.'; - term.echo('$.terminal.split_equal'); - var cols = [10, 40, 60, 400]; - for (var i=cols.length; i--;) { - var lines = $.terminal.split_equal(string, cols[i]); - var success = true; - for (var j=0; j<lines.length; ++j) { - if ($.terminal.strip(lines[j]).length > cols[i]) { - success = false; - break; - } - } - assert(success, '\tsplit ' + cols[i]); - } - } - }; - - // ----------------------------------------------------------------------- - // Helper plugins - // ----------------------------------------------------------------------- - $.fn.visible = function() { - return this.css('visibility', 'visible'); - }; - $.fn.hidden = function() { - return this.css('visibility', 'hidden'); - }; - // ----------------------------------------------------------------------- - // JSON-RPC CALL - // ----------------------------------------------------------------------- - var ids = {}; - $.jrpc = function(url, method, params, success, error) { - ids[url] = ids[url] || 0; - var request = $.json_stringify({ - 'jsonrpc': '2.0', 'method': method, - 'params': params, 'id': ++ids[url]}); - return $.ajax({ - url: url, - data: request, - success: function(result, status, jqXHR) { - var content_type = jqXHR.getResponseHeader('Content-Type'); - if (!content_type.match(/application\/json/)) { - if (console && console.warn) { - console.warn('Response Content-Type is not application/json'); - } else { - throw new Error('WARN: Response Content-Type is not application/json'); - } - } - var json; - try { - json = $.parseJSON(result); - } catch (e) { - if (error) { - error(jqXHR, 'Invalid JSON', e); - } else { - throw new Error('Invalid JSON'); - } - return; - } - // don't catch errors in success callback - success(json, status, jqXHR); - }, - error: error, - contentType: 'application/json', - dataType: 'text', - async: true, - cache: false, - //timeout: 1, - type: 'POST'}); - }; - - // ----------------------------------------------------------------------- - function is_scrolled_into_view(elem) { - var docViewTop = $(window).scrollTop(); - var docViewBottom = docViewTop + $(window).height(); - - var elemTop = $(elem).offset().top; - var elemBottom = elemTop + $(elem).height(); - - return ((elemBottom >= docViewTop) && (elemTop <= docViewBottom)); - } - // ----------------------------------------------------------------------- - // :: Create fake terminal to calcualte the dimention of one character - // :: this will make terminal work if terminal div is not added to the - // :: DOM at init like with: - // :: $('<div/>').terminal().echo('foo bar').appendTo('body'); - // ----------------------------------------------------------------------- - function char_size() { - var temp = $('<div class="terminal"><div class="cmd"><span> ' + - '</span></div></div>').appendTo('body'); - var span = temp.find('span'); - var result = { - width: span.width(), - height: span.outerHeight() - }; - temp.remove(); - return result; - } - // ----------------------------------------------------------------------- - // :: calculate numbers of characters - // ----------------------------------------------------------------------- - function get_num_chars(terminal) { - var width = char_size().width; - var result = Math.floor(terminal.width() / width); - if (have_scrollbars(terminal)) { - var SCROLLBAR_WIDTH = 20; - // assume that scrollbars are 20px - in my Laptop with - // Linux/Chrome they are 16px - var margins = terminal.innerWidth() - terminal.width(); - result -= Math.ceil((SCROLLBAR_WIDTH - margins / 2) / (width-1)); - } - return result; - } - // ----------------------------------------------------------------------- - // :: Calculate number of lines that fit without scroll - // ----------------------------------------------------------------------- - function get_num_rows(terminal) { - return Math.floor(terminal.height() / char_size().height); - } - // ----------------------------------------------------------------------- - // :: Get Selected Text (this is internal because it return text even if - // :: it's outside of terminal, is used to paste text to the terminal) - // ----------------------------------------------------------------------- - function getSelectedText() { - if (window.getSelection || document.getSelection) { - var selection = (window.getSelection || document.getSelection)(); - if (selection.text) { - return selection.text; - } else { - return selection.toString(); - } - } else if (document.selection) { - return document.selection.createRange().text; - } - } - // ----------------------------------------------------------------------- - // :: check if div have scrollbars (need to have overflow auto or always) - // ----------------------------------------------------------------------- - function have_scrollbars(div) { - return div.get(0).scrollHeight > div.innerHeight(); - } - // ----------------------------------------------------------------------- - // :: TERMINAL PLUGIN CODE - // ----------------------------------------------------------------------- - var version = '0.8.8'; - var version_set = !version.match(/^\{\{/); - var copyright = 'Copyright (c) 2011-2013 Jakub Jankiewicz <http://jcubic.pl>'; - var version_string = version_set ? ' version ' + version : ' '; - //regex is for placing version string aligned to the right - var reg = new RegExp(" {" + version_string.length + "}$"); - // ----------------------------------------------------------------------- - // :: Terminal Signatures - // ----------------------------------------------------------------------- - var signatures = [ - ['jQuery Terminal', '(c) 2011-2013 jcubic'], - ['jQuery Terminal Emulator' + (version_set ? ' v. ' + version : ''), - copyright.replace(/ *<.*>/, '')], - ['jQuery Terminal Emulator' + (version_set ? version_string : ''), - copyright.replace(/^Copyright /, '')], - [' _______ ________ __', - ' / / _ /_ ____________ _/__ ___/______________ _____ / /', - ' __ / / // / // / _ / _/ // / / / _ / _/ / / \\/ / _ \\/ /', - '/ / / // / // / ___/ // // / / / ___/ // / / / / /\\ / // / /__', - '\\___/____ \\\\__/____/_/ \\__ / /_/____/_//_/ /_/ /_/ \\/\\__\\_\\___/', - ' \\/ /____/ '.replace(reg, ' ') + - version_string, - copyright], - [' __ _____ ________ __', - ' / // _ /__ __ _____ ___ __ _/__ ___/__ ___ ______ __ __ __ ___ / /', - ' __ / // // // // // _ // _// // / / // _ // _// // // \\/ // _ \\/ /', - '/ / // // // // // ___// / / // / / // ___// / / / / // // /\\ // // / /__', - '\\___//____ \\\\___//____//_/ _\\_ / /_//____//_/ /_/ /_//_//_/ /_/ \\__\\_\\___/', - ' \\/ /____/ '.replace(reg, '') + - version_string, - copyright] - ]; - // ----------------------------------------------------------------------- - // :: Default options - // ----------------------------------------------------------------------- - $.terminal.defaults = { - prompt: '> ', - history: true, - exit: true, - clear: true, - enabled: true, - historySize: 60, - checkArity: true, - exceptionHandler: null, - cancelableAjax: true, - processArguments: true, - linksNoReferrer: false, - login: null, - outputLimit: -1, - onAjaxError: null, - onRPCError: null, - completion: false, - historyFilter: null, - onInit: $.noop, - onClear: $.noop, - onBlur: $.noop, - onFocus: $.noop, - onTerminalChange: $.noop, - onExit: $.noop, - keypress: $.noop, - keydown: $.noop, - strings: { - wrongPasswordTryAgain: "Wrong password try again!", - wrongPassword: "Wrong password!", - ajaxAbortError: "Error while aborting ajax call!", - wrongArity: "Wrong number of arguments. Function '%s' expect %s got %s!", - commandNotFound: "Command '%s' Not Found!", - oneRPCWithIgnore: "You can use only one rpc with ignoreSystemDescribe", - oneInterpreterFunction: "You can't use more then one function (rpc with " + - "ignoreSystemDescribe is count as one)", - loginFunctionMissing: "You don't have login function", - noTokenError: "Access denied (no token)", - serverResponse: "Server reponse is", - wrongGreetings: "Wrong value of greetings parameter", - notWhileLogin: "You can't call that function while in login", - loginIsNotAFunction: "Authenticate must be a function", - canExitError: "You can't exit from main interpeter", - invalidCompletion: "Invalid completion", - login: "login", - password: "password" - } - }; - // ----------------------------------------------------------------------- - // :: All terminal globals - // ----------------------------------------------------------------------- - var requests = []; // for canceling on CTRL+D - var terminals = new Cycle(); // list of terminals global in this scope - $.fn.terminal = function(init_interpreter, options) { - // ----------------------------------------------------------------------- - // :: helper function - // ----------------------------------------------------------------------- - function get_processed_command(command) { - if (typeof settings.processArguments === 'function') { - return processCommand(command, settings.processArguments); - } else if (settings.processArguments) { - return $.terminal.parseCommand(command); - } else { - return $.terminal.splitCommand(command); - } - } - // ----------------------------------------------------------------------- - // :: Display object on terminal - // ----------------------------------------------------------------------- - function display_object(object) { - if (typeof object === 'string') { - self.echo(object); - } else if (object instanceof Array) { - self.echo($.map(object, function(object) { - return $.json_stringify(object); - }).join(' ')); - } else if (typeof object === 'object') { - self.echo($.json_stringify(object)); - } else { - self.echo(object); - } - } - // ----------------------------------------------------------------------- - // :: Helper function - // ----------------------------------------------------------------------- - function display_json_rpc_error(error) { - if (typeof settings.onRPCError === 'function') { - settings.onRPCError.call(self, error); - } else { - self.error('[RPC] ' + error.message); - } - } - // ----------------------------------------------------------------------- - // :: Create interpreter function from url string - // ----------------------------------------------------------------------- - function make_basic_json_rpc_interpreter(url) { - var service = function(method, params) { - self.pause(); - $.jrpc(url, method, params, function(json) { - if (!json.error) { - if (typeof settings.processRPCResponse === 'function') { - settings.processRPCResponse.call(self, json.result); - } else { - display_object(json.result); - } - } else { - display_json_rpc_error(json.error); - } - self.resume(); - }, ajax_error); - }; - //this is the interpreter function - return function(command, terminal) { - if (command === '') { - return; - } - command = get_processed_command(command); - if (!settings.login || command.name === 'help') { - // allows to call help without a token - service(command.name, command.args); - } else { - var token = terminal.token(); - if (token) { - service(command.name, [token].concat(command.args)); - } else { - //should never happen - terminal.error('[AUTH] ' + - strings.noTokenError); - } - } - }; - } - // ----------------------------------------------------------------------- - // :: Create interpreter function from Object. If the value is object - // :: it will create nested interpreters - // ----------------------------------------------------------------------- - function make_object_interpreter(object, arity, fallback) { - // function that maps commands to object methods - // it keeps terminal context - return function(user_command, terminal) { - if (user_command === '') { - return; - } - //command = split_command_line(command); - var command = get_processed_command(user_command); - var val = object[command.name]; - var type = $.type(val); - if (type === 'function') { - if (arity && val.length !== command.args.length) { - self.error("[Arity] " + - sprintf(strings.wrongArity, - command.name, - val.length, - command.args.length)); - } else { - return val.apply(self, command.args); - } - } else if (type === 'object' || type === 'string') { - var commands = []; - if (type === 'object') { - commands = Object.keys(val); - val = make_object_interpreter(val, arity); - } - terminal.push(val, { - prompt: command.name + '> ', - name: command.name, - completion: type === 'object' ? function(term, string, callback) { - callback(commands); - } : undefined - }); - } else { - if ($.type(fallback) === 'function') { - fallback(user_command, self); - } else if ($.type(settings.onCommandNotFound) === 'function') { - settings.onCommandNotFound(user_command, self); - } else { - terminal.error(sprintf(strings.commandNotFound, command.name)); - } - } - }; - } - // ----------------------------------------------------------------------- - function ajax_error(xhr, status, error) { - self.resume(); // onAjaxError can use pause/resume call it first - if (typeof settings.onAjaxError == 'function') { - settings.onAjaxError.call(self, xhr, status, error); - } else if (status !== 'abort') { - self.error('[AJAX] ' + status + ' - ' + - strings.serverResponse + - ': \n' + xhr.responseText); - } - } - // ----------------------------------------------------------------------- - function make_json_rpc_object(url, auth, success) { - $.jrpc(url, 'system.describe', [], function(ret) { - var commands = []; - if (ret.procs) { - var interpreter_object = {}; - $.each(ret.procs, function(_, proc) { - interpreter_object[proc.name] = function() { - var append = auth && proc.name != 'help'; - var args = Array.prototype.slice.call(arguments); - var args_len = args.length + (append ? 1 : 0); - if (settings.checkArity && proc.params && - proc.params.length !== args_len) { - self.error("[Arity] " + - sprintf(strings.wrongArity, - proc.name, - proc.params.length, - args_len)); - } else { - self.pause(); - if (append) { - args = [self.token(true)].concat(args); - } - $.jrpc(url, proc.name, args, function(json) { - if (json.error) { - display_json_rpc_error(json.error); - } else { - display_object(json.result); - } - self.resume(); - }, ajax_error); - } - }; - }); - success(interpreter_object); - } else { - success(null); - } - }, function() { - success(null); - }); - } - // ----------------------------------------------------------------------- - function make_interpreter(user_interpreter, auth, finalize) { - finalize = finalize || $.noop; - var type = $.type(user_interpreter); - var result = {}; - var commands; - var rpc_count = 0; // only one rpc can be use for array - var function_interpreter; - if (type === 'array') { - var object = {}; - // recur will be called when previous acync call is finished - (function recur(interpreters, success) { - if (interpreters.length) { - var first = interpreters[0]; - var rest = interpreters.slice(1); - var type = $.type(first); - if (type === 'string') { - rpc_count++; - self.pause(); - if (settings.ignoreSystemDescribe) { - if (rpc_count === 1) { - function_interpreter = make_basic_json_rpc_interpreter(first); - } else { - self.error(strings.oneRPCWithIgnore); - } - recur(rest, success); - } else { - make_json_rpc_object(first, auth, function(new_object) { - // will ignore rpc in array that don't have system.describe - if (new_object) { - $.extend(object, new_object); - } - self.resume(); - recur(rest, success); - }); - } - } else if (type === 'function') { - if (function_interpreter) { - self.error(strings.oneInterpreterFunction); - } else { - function_interpreter = first; - } - } else if (type === 'object') { - $.extend(object, first); - recur(rest, success); - } - } else { - success(); - } - })(user_interpreter, function() { - commands = Object.keys(object); - result.interpreter = make_object_interpreter(object, false, function_interpreter); - result.completion = function(term, string, callback) { - callback(commands); - }; - finalize(result); - }); - } else if (type === 'string') { - if (settings.ignoreSystemDescribe) { - finalize({ - interpreter: make_basic_json_rpc_interpreter(user_interpreter), - completion: settings.completion - }); - } else { - self.pause(); - make_json_rpc_object(user_interpreter, auth, function(object) { - if (object) { - var commands = Object.keys(object); - result.interpreter = make_object_interpreter(object, false); - result.completion = function(term, string, callback) { - callback(commands); - }; - } else { - // no procs in system.describe - result.interpreter = make_basic_json_rpc_interpreter(user_interpreter); - result.completion = settings.completion; - } - self.resume(); - finalize(result); - }); - } - } else if (type === 'object') { - commands = Object.keys(user_interpreter); - result.interpreter = make_object_interpreter(user_interpreter, settings.checkArity); - result.completion = function(term, string, callback) { - callback(commands); - }; - finalize(result); - } else { - // allow $('<div/>).terminal(); - if (type === 'undefined') { - user_interpreter = $.noop; - } else if (type !== 'function') { - throw type + " is invalid interpreter value"; - } - finalize({ - interpreter: user_interpreter, - completion: settings.completion - }); - } - } - // ----------------------------------------------------------------------- - // :: Create JSON-RPC authentication function - // ----------------------------------------------------------------------- - function make_json_rpc_login(url, login) { - var method = $.type(login) === 'boolean' ? 'login' : login; - return function(user, passwd, callback, term) { - self.pause(); - $.jrpc(url, - method, - [user, passwd], - function(response) { - self.resume(); - if (!response.error && response.result) { - callback(response.result); - } else { - // null will trigger message that login fail - callback(null); - } - }, ajax_error); - }; - //default name is login so you can pass true - } - // ----------------------------------------------------------------------- - // :: Return exception message as string - // ----------------------------------------------------------------------- - function exception_message(e) { - if (typeof e === 'string') { - return e; - } else if (typeof e.fileName === 'string') { - return e.fileName + ': ' + e.message; - } else { - return e.message; - } - } - // ----------------------------------------------------------------------- - // :: display Exception on terminal - // ----------------------------------------------------------------------- - function display_exception(e, label) { - if (typeof settings.exceptionHandler == 'function') { - settings.exceptionHandler.call(self, e); - } else { - self.exception(e, label); - } - } - // ----------------------------------------------------------------------- - function scroll_to_bottom() { - var scrollHeight = scroll_object.prop ? scroll_object.prop('scrollHeight') : - scroll_object.attr('scrollHeight'); - scroll_object.scrollTop(scrollHeight); - } - // ----------------------------------------------------------------------- - // :: validating if object is a string or a function, call that function - // :: and display the exeption if any - // ----------------------------------------------------------------------- - function validate(label, object) { - try { - if (typeof object === 'function') { - object(function() { - // don't care - }); - } else if (typeof object !== 'string') { - var msg = label + ' must be string or function'; - throw msg; - } - } catch (e) { - display_exception(e, label.toUpperCase()); - return false; - } - return true; - } - // ----------------------------------------------------------------------- - // :: Draw line - can have line breaks and be longer than the width of - // :: the terminal, there are 2 options raw and finalize - // :: raw - will not encode the string and finalize if a function that - // :: will have div container of the line as first argument - // :: NOTE: it formats and appends lines to output_buffer. The actual - // :: append to terminal output happens in the flush function - // ----------------------------------------------------------------------- - var output_buffer = []; - var NEW_LINE = 1; - function draw_line(string, options) { - // prevent exception in display exception - try { - var line_settings = $.extend({ - raw: false, - finalize: $.noop - }, options || {}); - string = $.type(string) === "function" ? string() : string; - string = $.type(string) === "string" ? string : String(string); - var i, len; - if (!line_settings.raw) { - string = $.terminal.encode(string); - } - string = $.terminal.overtyping(string); - string = $.terminal.from_ansi(string); - output_buffer.push(NEW_LINE); - if (!line_settings.raw && (string.length > num_chars || string.match(/\n/))) { - var array = $.terminal.split_equal(string, num_chars); - for (i = 0, len = array.length; i < len; ++i) { - if (array[i] === '' || array[i] === '\r') { - output_buffer.push(' '); - } else { - if (line_settings.raw) { - output_buffer.push(array[i]); - } else { - output_buffer.push($.terminal.format(array[i], { - linksNoReferer: settings.linksNoReferer - })); - } - } - } - } else { - if (!line_settings.raw) { - string = $.terminal.format(string, { - linksNoReferer: settings.linksNoReferer - }); - } - output_buffer.push(string); - } - output_buffer.push(line_settings.finalize); - } catch (e) { - output_buffer = []; - // don't display exception if exception throw in terminal - alert('[Internal Exception(draw_line)]:' + exception_message(e) + '\n' + - e.stack); - } - } - // ----------------------------------------------------------------------- - // Redraw all lines - // ----------------------------------------------------------------------- - function redraw() { - command_line.resize(num_chars); - var o = output.empty().detach(); - var lines_to_show; - if (settings.outputLimit >= 0) { - // flush will limit lines but if there is lot of - // lines we don't need to show them and then remove - // them from terminal - var limit = settings.outputLimit === 0 ? - self.rows() : - settings.outputLimit; - lines_to_show = lines.slice(lines.length-limit-1); - } else { - lines_to_show = lines; - } - $.each(lines_to_show, function(i, line) { - draw_line.apply(null, line); // line is an array - }); - command_line.before(o); - self.flush(); - } - // ----------------------------------------------------------------------- - // :: Display user greetings or terminal signature - // ----------------------------------------------------------------------- - function show_greetings() { - if (settings.greetings === undefined) { - self.echo(self.signature); - } else if (settings.greetings) { - var type = typeof settings.greetings; - if (type === 'string') { - self.echo(settings.greetings); - } else if (type === 'function') { - settings.greetings.call(self, self.echo); - } else { - self.error(strings.wrongGreetings); - } - } - } - // ----------------------------------------------------------------------- - // :: Display prompt and last command - // ----------------------------------------------------------------------- - function echo_command(command) { - command = $.terminal.escape_brackets($.terminal.encode(command, true)); - var prompt = command_line.prompt(); - if (command_line.mask()) { - command = command.replace(/./g, '*'); - } - if (typeof prompt === 'function') { - prompt(function(string) { - self.echo(string + command); - }); - } else { - self.echo(prompt + command); - } - } - // ----------------------------------------------------------------------- - // :: Wrapper over interpreter, it implements exit and catches all exeptions - // :: from user code and displays them on the terminal - // ----------------------------------------------------------------------- - function commands(command, silent, exec) { - try { - if (!ghost()) { - prev_command = $.terminal.splitCommand(command).name; - if (exec && typeof settings.historyFilter == 'function' && - settings.historyFilter(command) || !settings.historyFilter) { - command_line.history().append(command); - } - } - var interpreter = interpreters.top(); - if (command === 'exit' && settings.exit) { - var count = interpreters.size(); - self.token(); - if (count == 1 && self.token() || count > 1) { - if (!silent) { - echo_command(command); - } - self.pop(); - } - } else { - if (!silent) { - echo_command(command); - } - var position = lines.length-1; - if (command === 'clear' && settings.clear) { - self.clear(); - } else { - // Execute command from the interpreter - var result = interpreter.interpreter(command, self); - if (result !== undefined) { - // was lines after echo_command (by interpreter) - if (position === lines.length-1) { - lines.pop(); - if (result !== false) { - self.echo(result); - } - } else { - if (result === false) { - lines = lines.slice(0, position). - concat(lines.slice(position+1)); - } else { - lines = lines.slice(0, position). - concat([result]). - concat(lines.slice(position+1)); - } - } - self.resize(); - } - } - } - } catch (e) { - display_exception(e, 'USER'); - self.resume(); - throw e; - } - } - // ----------------------------------------------------------------------- - // :: The logout function removes Storage, disables history and runs - // :: the login function. This function is called only when options.login - // :: function is defined. The check for this is in the self.pop method - // ----------------------------------------------------------------------- - function global_logout() { - if (typeof settings.onBeforeLogout === 'function') { - try { - if (settings.onBeforeLogout(self) === false) { - return; - } - } catch (e) { - display_exception(e, 'onBeforeLogout'); - throw e; - } - } - logout(); - if (typeof settings.onAfterLogout === 'function') { - try { - settings.onAfterLogout(self); - } catch (e) { - display_exception(e, 'onAfterlogout'); - throw e; - } - } - self.login(settings.login, true, initialize); - } - // ----------------------------------------------------------------------- - function logout() { - var name = self.prefix_name(true) + '_'; - $.Storage.remove(name + 'token'); - $.Storage.remove(name + 'login'); - } - // ----------------------------------------------------------------------- - // :: Save the interpreter name for use with purge - // ----------------------------------------------------------------------- - function maybe_append_name(interpreter_name) { - var storage_key = self.prefix_name() + '_interpreters'; - var names = $.Storage.get(storage_key); - if (names) { - names = $.parseJSON(names); - } else { - names = []; - } - if ($.inArray(interpreter_name, names) == -1) { - names.push(interpreter_name); - $.Storage.set(storage_key, $.json_stringify(names)); - } - } - // ----------------------------------------------------------------------- - // :: Function enables history, sets prompt, runs interpreter function - // ----------------------------------------------------------------------- - function prepare_top_interpreter(silent) { - var interpreter = interpreters.top(); - var name = self.prefix_name(true); - if (!ghost()) { - maybe_append_name(name); - } - command_line.name(name); - if (typeof interpreter.prompt == 'function') { - command_line.prompt(function(command) { - interpreter.prompt(command, self); - }); - } else { - command_line.prompt(interpreter.prompt); - } - command_line.set(''); - if (!silent && typeof interpreter.onStart === 'function') { - interpreter.onStart(self); - } - } - // --------------------------------------------------------------------- - function initialize() { - prepare_top_interpreter(); - show_greetings(); - // was_paused flag is workaround for case when user call exec before - // login and pause in onInit, 3rd exec will have proper timing (will - // execute after onInit resume) - var was_paused = false; - if (typeof settings.onInit === 'function') { - onPause = function() { // local in terminal - was_paused = true; - }; - try { - settings.onInit(self); - } catch (e) { - display_exception(e, 'OnInit'); - throw e; - } finally { - onPause = $.noop; - if (!was_paused) { - // resume login if user didn't call pause in onInit - // if user pause in onInit wait with exec until it resume - self.resume(); - } - } - } - } - // --------------------------------------------------------------------- - // :: function complete the command - // --------------------------------------------------------------------- - function complete_helper(command, string, commands) { - var test = command_line.get().substring(0, command_line.position()); - if (test !== command) { - // command line changed between TABS - ignore - return; - } - var regex = new RegExp('^' + $.terminal.escape_regex(string)); - var matched = []; - for (var i=commands.length; i--;) { - if (regex.test(commands[i])) { - matched.push(commands[i]); - } - } - if (matched.length === 1) { - self.insert(matched[0].replace(regex, '') + ' '); - } else if (matched.length > 1) { - if (tab_count >= 2) { - echo_command(command); - self.echo(matched.join('\t')); - tab_count = 0; - } else { - var found = false; - var found_index; - var j; - loop: - for (j=string.length; j<matched[0].length; ++j) { - for (i=1; i<matched.length; ++i) { - if (matched[0].charAt(j) !== matched[i].charAt(j)) { - break loop; - } - } - found = true; - } - if (found) { - self.insert(matched[0].slice(0, j).replace(regex, '')); - } - } - } - } - // --------------------------------------------------------------------- - // :: IF Ghost don't store anything in localstorage - // --------------------------------------------------------------------- - function ghost() { - return in_login || command_line.mask(); - } - // --------------------------------------------------------------------- - // :: Keydown event handler - // --------------------------------------------------------------------- - function key_down(e) { - // Prevent to be executed by cmd: CTRL+D, TAB, CTRL+TAB (if more then - // one terminal) - var result, i, top = interpreters.top(); - if ($.type(top.keydown) === 'function') { - result = top.keydown(e, self); - if (result !== undefined) { - return result; - } - } - var completion; - if ((settings.completion && $.type(settings.completion) != 'boolean') && - !top.completion) { - completion = settings.completion; - } else { - completion = top.completion; - } - // after text pasted into textarea in cmd plugin - self.oneTime(10, function() { - on_scrollbar_show_resize(); - }); - if ($.type(settings.keydown) === 'function') { - result = settings.keydown(e, self); - if (result !== undefined) { - return result; - } - } - if (!self.paused()) { - if (e.which !== 9) { // not a TAB - tab_count = 0; - } - if (e.which === 68 && e.ctrlKey) { // CTRL+D - if (!in_login) { - if (command_line.get() === '') { - if (interpreters.size() > 1 || - settings.login !== undefined) { - self.pop(''); - } else { - self.resume(); - self.echo(''); - } - } else { - self.set_command(''); - } - } - return false; - } else if (e.which === 76 && e.ctrlKey) { // CTRL+L - self.clear(); - } else if (completion && e.which === 9) { // TAB - // TODO: move this to cmd plugin - // add completion = array | function - ++tab_count; - // cursor can be in the middle of the command - // so we need to get the text before the cursor - var command = command_line.get().substring(0, command_line.position()); - var strings = command.split(' '); - var string; // string before cursor that will be completed - if (strings.length == 1) { - string = strings[0]; - } else { - string = strings[strings.length-1]; - for (i=strings.length-1; i>0; i--) { - // treat escape space as part of the string - if (strings[i-1][strings[i-1].length-1] == '\\') { - string = strings[i-1] + ' ' + string; - } else { - break; - } - } - } - switch ($.type(completion)) { - case 'function': - completion(self, string, function(commands) { - complete_helper(command, string, commands); - }); - break; - case 'array': - complete_helper(command, string, completion); - break; - default: - // terminal will not catch this because it's an event - throw new Error($.terminal.defaults.strings.invalidCompletion); - } - return false; - } else if (e.which === 86 && e.ctrlKey) { // CTRL+V - self.oneTime(1, function() { - scroll_to_bottom(); - }); - return; - } else if (e.which === 9 && e.ctrlKey) { // CTRL+TAB - if (terminals.length() > 1) { - self.focus(false); - return false; - } - } else if (e.which === 34) { // PAGE DOWN - self.scroll(self.height()); - } else if (e.which === 33) { // PAGE UP - self.scroll(-self.height()); - } else { - self.attr({scrollTop: self.attr('scrollHeight')}); - } - } else if (e.which === 68 && e.ctrlKey) { // CTRL+D (if paused) - if (requests.length) { - for (i=requests.length; i--;) { - var r = requests[i]; - if (4 !== r.readyState) { - try { - r.abort(); - } catch (error) { - self.error(strings.ajaxAbortError); - } - } - } - requests = []; - // only resume if there are ajax calls - self.resume(); - } - return false; - } - } - // ----------------------------------------------------------------------- - var self = this; - if (this.length > 1) { - return this.each(function() { - $.fn.terminal.call($(this), - init_interpreter, - $.extend({name: self.selector}, options)); - }); - } else { - // terminal already exists - if (self.data('terminal')) { - return self.data('terminal'); - } - if (self.length === 0) { - throw 'Sorry, but terminal said that "' + self.selector + - '" is not valid selector!'; - } - //var names = []; // stack if interpeter names - var scroll_object; - var prev_command; // used for name on the terminal if not defined - var loged_in = false; - var tab_count = 0; // for tab completion - // array of line objects: - // - function (called whenever necessary, result is printed) - // - array (expected form: [line, settings]) - // - anything else (cast to string when painted) - var lines = []; - var output; // .terminal-output jquery object - var terminal_id = terminals.length(); - var num_chars; // numer of chars in line - var num_rows; // number of lines that fit without scrollbar - var command_list = []; // for tab completion - var url; - var in_login = false; // some Methods should not be called when login - // TODO: Try to use mutex like counter for pause/resume - var onPause = $.noop; // used to indicate that user call pause onInit - var old_width, old_height; - var dalyed_commands = []; // used when exec commands with pause - var settings = $.extend({}, - $.terminal.defaults, - {name: self.selector}, - options || {}); - var strings = $.terminal.defaults.strings; - var enabled = settings.enabled; - var paused = false; - // ----------------------------------------------------------------------- - // TERMINAL METHODS - // ----------------------------------------------------------------------- - $.extend(self, $.omap({ - // ----------------------------------------------------------------------- - // :: Clear the output - // ----------------------------------------------------------------------- - clear: function() { - output.html(''); - command_line.set(''); - lines = []; - try { - settings.onClear(self); - } catch (e) { - display_exception(e, 'onClear'); - throw e; - } - self.attr({ scrollTop: 0}); - return self; - }, - // ----------------------------------------------------------------------- - // :: Return an object that can be used with import_view to restore the state - // ----------------------------------------------------------------------- - export_view: function() { - if (in_login) { - throw new Exception(strings.notWhileLogin); - } - return { - prompt: self.get_prompt(), - command: self.get_command(), - position: command_line.position(), - lines: lines.slice(0) - }; - }, - // ----------------------------------------------------------------------- - // :: Restore the state of the previous exported view - // ----------------------------------------------------------------------- - import_view: function(view) { - if (in_login) { - throw new Exception(strings.notWhileLogin); - } - self.set_prompt(view.prompt); - self.set_command(view.command); - command_line.position(view.position); - lines = view.lines; - redraw(); - return self; - }, - // ----------------------------------------------------------------------- - // :: Execute a command, it will handle commands that do AJAX calls - // :: and have delays, if the second argument is set to true it will not - // :: echo executed command - // ----------------------------------------------------------------------- - exec: function(command, silent) { - // both commands executed here (resume will call Terminal::exec) - if (paused) { - dalyed_commands.push([command, silent]); - } else { - commands(command, silent, true); - } - return self; - }, - // ----------------------------------------------------------------------- - // :: Function changes the prompt of the command line to login - // :: with a password and calls the user login function with - // :: the callback that expects a token. The login is successful - // :: if the user calls it with value that is truthy - // ----------------------------------------------------------------------- - login: function(auth, infinite, success, error) { - if (in_login) { - throw new Error(strings.notWhileLogin); - } - if (typeof auth !== 'function') { - throw new Error(strings.loginIsNotAFunction); - } - if (self.token(true) && self.login_name(true)) { - if (typeof success == 'function') { - success(); - } - return self; - } - var user = null; - // don't store login data in history - if (settings.history) { - command_line.history().disable(); - } - in_login = true; - return self.push(function(user) { - self.set_mask(true).push(function(pass) { - try { - auth.call(self, user, pass, function(token, silent) { - if (token) { - self.pop().pop(); - if (settings.history) { - command_line.history().enable(); - } - var name = self.prefix_name(true) + '_'; - $.Storage.set(name + 'token', token); - $.Storage.set(name + 'login', user); - in_login = false; - if (typeof success == 'function') { - // will be used internaly since users know - // when login success (they decide when - // it happen by calling the callback - - // this funtion) - success(); - } - } else { - if (infinite) { - if (!silent) { - self.error(strings.wrongPasswordTryAgain); - } - self.pop().set_mask(false); - } else { - in_login = false; - if (!silent) { - self.error(strings.wrongPassword); - } - self.pop().pop(); - } - // used only to call pop in push - if (typeof error == 'function') { - error(); - } - } - }); - } catch(e) { - display_exception(e, 'USER(authentication)'); - } - }, { - prompt: strings.password + ': ' - }); - }, { - prompt: strings.login + ': ' - }); - }, - // ----------------------------------------------------------------------- - // :: User defined settings and defaults as well - // ----------------------------------------------------------------------- - settings: settings, - // ----------------------------------------------------------------------- - // :: Return commands function from top interpreter - // ----------------------------------------------------------------------- - commands: function() { - return interpreters.top().interpreter; - }, - // ----------------------------------------------------------------------- - // :: Low Level method that overwrites interpreter - // ----------------------------------------------------------------------- - setInterpreter: function(user_interpreter, login) { - function overwrite_interpreter() { - self.pause(); - make_interpreter(user_interpreter, login, function(result) { - self.resume(); - var top = interpreters.top(); - $.extend(top, result); - prepare_top_interpreter(true); - }); - } - if ($.type(user_interpreter) == 'string' && login) { - self.login(make_json_rpc_login(user_interpreter, login), - true, - overwrite_interpreter); - } else { - overwrite_interpreter(); - } - }, - // ----------------------------------------------------------------------- - // :: Show user greetings or terminal signature - // ----------------------------------------------------------------------- - greetings: function() { - show_greetings(); - return self; - }, - // ----------------------------------------------------------------------- - // :: Return true if terminal is paused false otherwise - // ----------------------------------------------------------------------- - paused: function() { - return paused; - }, - // ----------------------------------------------------------------------- - // :: Pause the terminal, it should be used for ajax calls - // ----------------------------------------------------------------------- - pause: function() { - onPause(); - if (!paused && command_line) { - paused = true; - self.disable(); - command_line.hidden(); - } - return self; - }, - // ----------------------------------------------------------------------- - // :: Resume the previously paused terminal - // ----------------------------------------------------------------------- - resume: function() { - if (paused && command_line) { - paused = false; - self.enable(); - command_line.visible(); - var original = dalyed_commands; - dalyed_commands = []; - while (original.length) { - self.exec.apply(self, original.shift()); - } - scroll_to_bottom(); - } - return self; - }, - // ----------------------------------------------------------------------- - // :: Return the number of characters that fit into the width of the terminal - // ----------------------------------------------------------------------- - cols: function() { - return num_chars; - }, - // ----------------------------------------------------------------------- - // :: Return the number of lines that fit into the height of the terminal - // ----------------------------------------------------------------------- - rows: function() { - return num_rows; - }, - // ----------------------------------------------------------------------- - // :: Return the History object - // ----------------------------------------------------------------------- - history: function() { - return command_line.history(); - }, - // ----------------------------------------------------------------------- - // :: Switch to the next terminal - // ----------------------------------------------------------------------- - next: function() { - if (terminals.length() === 1) { - return self; - } else { - var offsetTop = self.offset().top; - var height = self.height(); - var scrollTop = self.scrollTop(); - if (!is_scrolled_into_view(self)) { - self.enable(); - $('html,body').animate({scrollTop: offsetTop-50}, 500); - return self; - } else { - terminals.front().disable(); - var next = terminals.rotate().enable(); - // 100 provides buffer in viewport - var x = next.offset().top - 50; - $('html,body').animate({scrollTop: x}, 500); - try { - settings.onTerminalChange(next); - } catch (e) { - display_exception(e, 'onTerminalChange'); - throw e; - } - return next; - } - } - }, - // ----------------------------------------------------------------------- - // :: Make the terminal in focus or blur depending on the first argument. - // :: If there is more then one terminal it will switch to next one, - // :: if the second argument is set to true the events will be not fired. - // :: Used on init - // ----------------------------------------------------------------------- - focus: function(toggle, silent) { - self.oneTime(1, function() { - if (terminals.length() === 1) { - if (toggle === false) { - try { - if (!silent && settings.onBlur(self) !== false) { - self.disable(); - } - } catch (e) { - display_exception(e, 'onBlur'); - throw e; - } - } else { - try { - if (!silent && settings.onFocus(self) !== false) { - self.enable(); - } - } catch (e) { - display_exception(e, 'onFocus'); - throw e; - } - } - } else { - if (toggle === false) { - self.next(); - } else { - var front = terminals.front(); - if (front != self) { - front.disable(); - if (!silent) { - try { - settings.onTerminalChange(self); - } catch (e) { - display_exception(e, 'onTerminalChange'); - throw e; - } - } - } - terminals.set(self); - self.enable(); - } - } - }); - return self; - }, - // ----------------------------------------------------------------------- - // :: Enable the terminal - // ----------------------------------------------------------------------- - enable: function() { - if (num_chars === undefined) { - //enabling first time - self.resize(); - } - if (command_line) { - command_line.enable(); - enabled = true; - } - return self; - }, - // ----------------------------------------------------------------------- - // :: Disable the terminal - // ----------------------------------------------------------------------- - disable: function() { - if (command_line) { - enabled = false; - command_line.disable(); - } - return self; - }, - // ----------------------------------------------------------------------- - // :: return true if the terminal is enabled - // ----------------------------------------------------------------------- - enabled: function() { - return enabled; - }, - // ----------------------------------------------------------------------- - // :: Return the terminal signature depending on the size of the terminal - // ----------------------------------------------------------------------- - signature: function() { - var cols = self.cols(); - var i = cols < 15 ? null : cols < 35 ? 0 : cols < 55 ? 1 : cols < 64 ? 2 : cols < 75 ? 3 : 4; - if (i !== null) { - return signatures[i].join('\n') + '\n'; - } else { - return ''; - } - }, - // ----------------------------------------------------------------------- - // :: Return the version number - // ----------------------------------------------------------------------- - version: function() { - return version; - }, - // ----------------------------------------------------------------------- - // :: Return actual command line object (jquery object with cmd methods) - // ----------------------------------------------------------------------- - cmd: function() { - return command_line; - }, - // ----------------------------------------------------------------------- - // :: Return the current command entered by terminal - // ----------------------------------------------------------------------- - get_command: function() { - return command_line.get(); - }, - // ----------------------------------------------------------------------- - // :: Change the command line to the new one - // ----------------------------------------------------------------------- - set_command: function(command) { - command_line.set(command); - return self; - }, - // ----------------------------------------------------------------------- - // :: Insert text into the command line after the cursor - // ----------------------------------------------------------------------- - insert: function(string) { - if (typeof string === 'string') { - command_line.insert(string); - return self; - } else { - throw "insert function argument is not a string"; - } - }, - // ----------------------------------------------------------------------- - // :: Set the prompt of the command line - // ----------------------------------------------------------------------- - set_prompt: function(prompt) { - if (validate('prompt', prompt)) { - if (typeof prompt == 'function') { - command_line.prompt(function(command) { - prompt(command, self); - }); - } else { - command_line.prompt(prompt); - } - interpreters.top().prompt = prompt; - } - return self; - }, - // ----------------------------------------------------------------------- - // :: Return the prompt used by the terminal - // ----------------------------------------------------------------------- - get_prompt: function() { - return interpreters.top().prompt; - // command_line.prompt(); - can be a wrapper - //return command_line.prompt(); - }, - // ----------------------------------------------------------------------- - // :: Enable or Disable mask depedning on the passed argument - // ----------------------------------------------------------------------- - set_mask: function(display) { - command_line.mask(display); - return self; - }, - // ----------------------------------------------------------------------- - // :: Return the ouput of the terminal as text - // ----------------------------------------------------------------------- - get_output: function(raw) { - if (raw) { - return lines; - } else { - return $.map(lines, function(item) { - return typeof item[0] == 'function' ? item[0]() : item[0]; - }).join('\n'); - } - }, - // ----------------------------------------------------------------------- - // :: Recalculate and redraw everything - // ----------------------------------------------------------------------- - resize: function(width, height) { - if (width && height) { - self.width(width); - self.height(height); - } - width = self.width(); - height = self.height(); - var new_num_chars = get_num_chars(self); - var new_num_rows = get_num_rows(self); - // only if number of chars changed - if (new_num_chars !== num_chars || new_num_rows !== num_rows) { - num_chars = new_num_chars; - num_rows = new_num_rows; - redraw(); - if (typeof settings.onResize === 'function' && - (old_height !== height || old_width !== width)) { - settings.onResize(self); - } - if (old_height !== height || old_width !== width) { - old_height = height; - old_width = width; - } - } - return self; - }, - // ----------------------------------------------------------------------- - // :: Flush the output to the terminal - // ----------------------------------------------------------------------- - flush: function() { - try { - var wrapper; - // print all lines - $.each(output_buffer, function(i, line) { - if (line === NEW_LINE) { - wrapper = $('<div></div>'); - } else if (typeof line === 'function') { - wrapper.appendTo(output); - try { - line(wrapper); - } catch (e) { - display_exception(e, 'USER:echo(finalize)'); - } - } else { - $('<div/>').html(line).appendTo(wrapper).width('100%'); - } - }); - if (settings.outputLimit >= 0) { - var limit = settings.outputLimit === 0 ? - self.rows() : - settings.outputLimit; - var $lines = output.find('div div'); - if ($lines.length > limit) { - var for_remove = $lines.slice(0, lines.length-limit+1); - // you can't get parent if you remove the element so - // we first get the parent - var parents = for_remove.parent(); - for_remove.remove(); - parents.each(function() { - var self = $(this); - if (self.is(':empty')) { - self.remove(); - } - }); - } - } - scroll_to_bottom(); - output_buffer = []; - } catch (e) { - alert('[Flush] ' + exception_message(e) + '\n' + - e.stack); - } - return self; - }, - // ----------------------------------------------------------------------- - // :: Print data to the terminal output. It can have two options: - // :: a function that is called with the container div that holds the - // :: output (as a jquery object) every time the output is printed - // :: (including resize and scrolling) - // :: If the line is a function it will be called for every redraw. - // ----------------------------------------------------------------------- - echo: function(string, options) { - try { - string = string || ''; - var settings = $.extend({ - flush: true, - raw: false, - finalize: $.noop - }, options || {}); - output_buffer = []; - draw_line(string, settings); - lines.push([string, settings]); - if (settings.flush) { - self.flush(); - } - on_scrollbar_show_resize(); - } catch (e) { - // if echo throw exception we can't use error to display that - // exception - alert('[Terminal.echo] ' + exception_message(e) + '\n' + - e.stack); - } - return self; - }, - // ----------------------------------------------------------------------- - // :: echo red text - // ----------------------------------------------------------------------- - error: function(message, finalize) { - //quick hack to fix trailing back slash - return self.echo('[[;#f00;]' + $.terminal.escape_brackets(message). - replace(/\\$/, '\') + ']', finalize); - }, - // ----------------------------------------------------------------------- - // :: Display Exception on terminal - // ----------------------------------------------------------------------- - exception: function(e, label) { - var message = exception_message(e); - if (label) { - message = '[' + label + ']: ' + message; - } - if (message) { - self.error(message, { - finalize: function(div) { - div.addClass('exception message'); - } - }); - } - if (typeof e.fileName === 'string') { - //display filename and line which throw exeption - self.pause(); - $.get(e.fileName, function(file) { - self.resume(); - var num = e.lineNumber - 1; - var line = file.split('\n')[num]; - if (line) { - self.error('[' + e.lineNumber + ']: ' + line); - } - }); - } - if (e.stack) { - self.error(e.stack, { - finalize: function(div) { - div.addClass('exception stack-trace'); - } - }); - } - }, - // ----------------------------------------------------------------------- - // :: Scroll Div that holds the terminal - // ----------------------------------------------------------------------- - scroll: function(amount) { - var pos; - amount = Math.round(amount); - if (scroll_object.prop) { // work with jQuery > 1.6 - if (amount > scroll_object.prop('scrollTop') && amount > 0) { - scroll_object.prop('scrollTop', 0); - } - pos = scroll_object.prop('scrollTop'); - scroll_object.scrollTop(pos + amount); - } else { - if (amount > scroll_object.attr('scrollTop') && amount > 0) { - scroll_object.attr('scrollTop', 0); - } - pos = scroll_object.attr('scrollTop'); - scroll_object.scrollTop(pos + amount); - } - return self; - }, - // ----------------------------------------------------------------------- - // :: Exit all interpreters and logout. The function will throw exception - // :: if there is no login provided - // ----------------------------------------------------------------------- - logout: settings.login ? function() { - while (interpreters.size() > 1) { - self.pop(); - } - return self.pop(); - } : function() { - self.error(strings.loginFunctionMissing); - }, - // ----------------------------------------------------------------------- - // :: Function returns the token returned by callback function in login - // :: function. It does nothing (return undefined) if there is no login - // ----------------------------------------------------------------------- - token: settings.login ? function(local) { - return $.Storage.get(self.prefix_name(local) + '_token'); - } : $.noop, - // ----------------------------------------------------------------------- - // :: Function return Login name entered by the user - // ----------------------------------------------------------------------- - login_name: settings.login ? function(local) { - return $.Storage.get(self.prefix_name(local) + '_login'); - } : $.noop, - // ----------------------------------------------------------------------- - // :: Function returns the name of current interpreter - // ----------------------------------------------------------------------- - name: function() { - return interpreters.top().name; - }, - // ----------------------------------------------------------------------- - // :: Function return prefix name for login/token - // ----------------------------------------------------------------------- - prefix_name: function(local) { - var name = (settings.name ? settings.name + '_' : '') + terminal_id; - if (local && interpreters.size() > 1) { - name += '_' + interpreters.map(function(intrp) { - return intrp.name; - }).slice(1).join('_'); - } - return name; - }, - // ----------------------------------------------------------------------- - // :: Push a new interenter on the Stack - // ----------------------------------------------------------------------- - push: function(interpreter, options) { - options = options || {}; - options.name = options.name || prev_command; - options.prompt = options.prompt || options.name + ' '; - //names.push(options.name); - var top = interpreters.top(); - if (top) { - top.mask = command_line.mask(); - } - make_interpreter(interpreter, options.login, function(result) { - // result is object with interpreter and completion properties - interpreters.push($.extend({}, result, options)); - if (options.login) { - var type = $.type(options.login); - if (type == 'function') { - // self.pop on error - self.login(options.login, - false, - prepare_top_interpreter, - self.pop); - } else if ($.type(interpreter) == 'string' && - type == 'string' || type == 'boolean') { - self.login(make_json_rpc_login(interpreter, options.login), - false, - prepare_top_interpreter, - self.pop); - } - } else { - prepare_top_interpreter(); - } - }); - return self; - }, - // ----------------------------------------------------------------------- - // :: Remove the last interpreter from the Stack - // ----------------------------------------------------------------------- - pop: function(string) { - if (string !== undefined) { - echo_command(string); - } - var token = self.token(true); - if (interpreters.size() == 1) { - if (settings.login) { - global_logout(); - if ($.type(settings.onExit) === 'function') { - try { - settings.onExit(self); - } catch (e) { - display_exception(e, 'onExit'); - throw e; - } - } - } else { - self.error(strings.canExitError); - } - } else { - if (token) { - logout(); - } - var current = interpreters.pop(); - prepare_top_interpreter(); - if ($.type(current.onExit) === 'function') { - try { - current.onExit(self); - } catch (e) { - display_exception(e, 'onExit'); - throw e; - } - } - // restore mask - self.set_mask(interpreters.top().mask); - } - return self; - }, - // ----------------------------------------------------------------------- - // :: Return how deep you are in nested interpreters - // ----------------------------------------------------------------------- - level: function() { - return interpreters.size(); - }, - // ----------------------------------------------------------------------- - // :: Reinitialize the terminal - // ----------------------------------------------------------------------- - reset: function() { - self.clear(); - while(interpreters.size() > 1) { - interpreters.pop(); - } - initialize(); - return self; - }, - // ----------------------------------------------------------------------- - // :: Remove all local storage left by terminal, it will not logout you - // :: until you refresh the browser - // ----------------------------------------------------------------------- - purge: function() { - var prefix = self.prefix_name() + '_'; - var names = $.Storage.get(prefix + 'interpreters'); - $.each($.parseJSON(names), function(_, name) { - $.Storage.remove(name + '_commands'); - $.Storage.remove(name + '_token'); - $.Storage.remove(name + '_login'); - }); - command_line.purge(); - $.Storage.remove(prefix + 'interpreters'); - return self; - }, - // ----------------------------------------------------------------------- - // :: Remove all events and DOM nodes left by terminal, it will not purge - // :: the terminal so you will have the same state when you refresh the - // :: browser - // ----------------------------------------------------------------------- - destroy: function() { - command_line.destroy().remove(); - output.remove(); - $(document).unbind('.terminal'); - $(window).unbind('.terminal'); - self.unbind('click, mousewheel'); - self.removeData('terminal').removeClass('terminal'); - if (settings.width) { - self.css('width', ''); - } - if (settings.height) { - self.css('height', ''); - } - return self; - } - }, function(_, fun) { - // wrap all functions and display execptions - return function() { - try { - return fun.apply(this, Array.prototype.slice.apply(arguments)); - } catch (e) { - // exec catch by command (resume call exec) - if (_ !== 'exec' && _ !== 'resume') { - display_exception(e, 'TERMINAL'); - } - throw e; - } - }; - })); - - // --------------------------------------------------------------------- - var on_scrollbar_show_resize = (function() { - var scroll_bars = have_scrollbars(self); - return function() { - if (scroll_bars !== have_scrollbars(self)) { - // if the scollbar appearance changes we will have a different - // number of chars - self.resize(); - scroll_bars = have_scrollbars(self); - } - }; - })(); - - // --------------------------------------------------------------------- - // INIT CODE - // --------------------------------------------------------------------- - if (settings.width) { - self.width(settings.width); - } - if (settings.height) { - self.height(settings.height); - } - if (!navigator.userAgent.toLowerCase().match(/(webkit)[ \/]([\w.]+)/) && - self[0].tagName.toLowerCase() == 'body') { - scroll_object = $('html'); - } else { - scroll_object = self; - } - // register ajaxSend for cancel requests on CTRL+D - $(document).bind('ajaxSend.terminal', function(e, xhr, opt) { - requests.push(xhr); - }); - output = $('<div>').addClass('terminal-output').appendTo(self); - self.addClass('terminal'); - // keep focus in clipboard textarea in mobile - if (('ontouchstart' in window) || window.DocumentTouch && - document instanceof DocumentTouch) { - self.click(function() { - self.find('textarea').focus(); - }); - self.find('textarea').focus(); - } - /* - self.bind('touchstart.touchScroll', function() { - - }); - self.bind('touchmove.touchScroll', function() { - - }); - */ - //$('<input type="text"/>').hide().focus().appendTo(self); - - // before login event - if (settings.login && typeof settings.onBeforeLogin === 'function') { - try { - settings.onBeforeLogin(self); - } catch (e) { - display_exception(e, 'onBeforeLogin'); - throw e; - } - } - var auth = settings.login; - // create json-rpc authentication function - if (typeof init_interpreter === 'string' && - (typeof settings.login === 'string' || settings.login)) { - settings.login = make_json_rpc_login(init_interpreter, settings.login); - } - terminals.append(self); - var interpreters; - var command_line; - make_interpreter(init_interpreter, auth, function(interpreter) { - interpreters = new Stack($.extend({ - name: settings.name, - prompt: settings.prompt, - greetings: settings.greetings - }, interpreter)); - // CREATE COMMAND LINE - command_line = $('<div/>').appendTo(self).cmd({ - prompt: settings.prompt, - history: settings.history, - historyFilter: settings.historyFilter, - historySize: settings.historySize, - width: '100%', - keydown: key_down, - keypress: settings.keypress ? function(e) { - return settings.keypress(e, self); - } : null, - onCommandChange: function(command) { - if ($.type(settings.onCommandChange) === 'function') { - try { - settings.onCommandChange(command, self); - } catch (e) { - display_exception(e, 'onCommandChange'); - throw e; - } - } - scroll_to_bottom(); - }, - commands: commands - }); - if (enabled) { - self.focus(undefined, true); - } else { - self.disable(); - } - $(document).bind('click.terminal', function(e) { - if (!$(e.target).closest('.terminal').hasClass('terminal') && - settings.onBlur(self) !== false) { - self.disable(); - } - }); - self.click(function(e) { - if (!self.enabled()) { - self.focus(); - } - }).mousedown(function(e) { - if (e.which == 2) { - self.insert(getSelectedText()); - } - }); - // ------------------------------------------------ - // Run Login - if (settings.login) { - self.login(settings.login, true, initialize); - } else { - initialize(); - } - if (self.is(':visible')) { - num_chars = get_num_chars(self); - command_line.resize(num_chars); - num_rows = get_num_rows(self); - } - self.oneTime(100, function() { - $(window).bind('resize.terminal', function() { - if (self.is(':visible')) { - var width = self.width(); - var height = self.height(); - // prevent too many calculations in IE - if (old_height !== height || old_width !== width) { - self.resize(); - } - } - }); - }); - if ($.event.special.mousewheel) { - var shift = false; - $(document).bind('keydown.terminal', function(e) { - if (e.shiftKey) { - shift = true; - } - }).bind('keyup.terminal', function(e) { - // in Google Chromium/Linux shiftKey is false - if (e.shiftKey || e.which == 16) { - shift = false; - } - }); - self.mousewheel(function(event, delta) { - if (!shift) { - if (delta > 0) { - self.scroll(-40); - } else { - self.scroll(40); - } - //event.preventDefault(); - } - }); - } - }); - self.data('terminal', self); - return self; - } - }; //terminal plugin -})(jQuery); diff --git a/sins.py b/sins.py deleted file mode 100644 index 812c363..0000000 --- a/sins.py +++ /dev/null @@ -1,192 +0,0 @@ -# coding=utf-8 -# najprej opis -description = """\ -<h1>Sins</h1> -<p>Predikat <code>sins(X, SortedList, NewSortedList)</code> naredi seznam <code>NewSortedList</code> tako, da vstavi element <code>X</code> na ustrezno mesto v sortiran (v nepadajočem vrstnem redu) seznam <code>SortedList</code>.</p> -<p>Ta lahko vsebuje podvojene elemente; tudi element x se lahko že pojavi v njem.</p> -<p>Primera:</p> -<p><code> -?- sins(4, [1,2,3,5], L).<br> - L = [1,2,3,4,5].<br> -?- sins(3, [1,2,3,4], L).<br> - L = [1,2,3,3,4]. -</code></p>""" - -# in zdaj hinti -hint = {} # to je komentar -hint['list_empty'] = { - 'type': 'static', - 'message': """ -Kaj se zgodi, če je <code>SortedList</code> prazen?<br> -<svg xmlns="http://www.w3.org/2000/svg" - xmlns:xlink="http://www.w3.org/1999/xlink" - viewBox="0 0 150 70" - width="300" - height="140" - preserveAspectRatio="xMidYMid" - version="1.1"> - <desc>Animates sorted insert (sins/3) with rectangles.</desc> - - <!-- definiramo sceno --> - - <defs> - <!-- CSS stil: definiramo barve, debeline črt, fonte, ... --> - <style type="text/css"><![CDATA[ - line { - stroke: black; - stroke-width: 0.5; - } - .block { - stroke: black; - stroke-width: 0.5; - fill: none; - } - .dashed { - stroke-dasharray: 2,2; - } - text { - font-family: Verdana, Tahoma, sans-serif; - font-size: 4px; - fill: black; - } - #ri-text, #ri-text-yes, #ri-text-no { - visibility: hidden; - } - ]]></style> - - <!-- puščica na koncu črte --> - <marker id="arrowhead" - viewBox="0 0 10 10" refX="10" refY="5" - markerUnits="strokeWidth" - markerWidth="5" - markerHeight="5" - orient="auto"> - <path d="M 0 0 L 10 5 L 0 10" stroke="black" stroke-width="1.5" fill="none"/> - </marker> - - <!-- obrezovanje (clipping), s katerim je narejena animacija prikazovanja črte, ki se "riše" od leve proti desni --> - <clipPath id="ri-lineClip"> - <rect id="ri-lineClip-rect" x="7" width="0" height="50"/> - </clipPath> - </defs> - - <g transform="translate(0,10)"><!-- vse skupaj (sceno) pomaknemo 10 pixlov navzdol --> - <line x1="0" x2="150" y1="50" y2="50"/><!-- spodnja črta za podlago --> - - <g transform="translate(90,0)"> - <g id="r1" transform="translate(0,0)"><!-- uporabi se transform, ker se le-ta lahko animira --> - <rect width="7" height="10" y="40" class="block"/><!-- najmanjši pravokotnik; uporabimo y za "zapolnitev" vertikale, tako da so vsi pravokotniki enako visoki (lažje animiranje) --> - </g> - <g id="r2" transform="translate(10,0)"> - <rect width="7" height="20" y="30" class="block"/> - </g> - <g id="r3" transform="translate(20,0)"> - <rect width="7" height="30" y="20" class="block"/> - </g> - <g id="r4" transform="translate(30,0)"> - <rect width="7" height="40" y="10" class="block"/> - </g> - <g id="r5" transform="translate(40,0)"> - <rect width="7" height="50" y="0" class="block"/><!-- največji pravokotnik --> - </g> - </g> - - <g id="ri"><!-- skupina za pravokotnik, ki ga vrivamo --> - <rect width="7" height="25" y="25" class="block"/><!-- dejanski pravokotnik / vrivanec --> - <path id="ri-path" d="M 7 37.5 L 75 45" stroke="black" stroke-width="0.5" fill="none" class="dashed" marker-end="url(#arrowhead)" clip-path="url(#ri-lineClip)"/><!-- črta predstavljena z elementom path, ker tega lahko uporabimo tudi spodaj v textPath, npr. elementa line pa ne moremo --> - <!-- besedilo, ki ga "nalimamo" na zgornjo črto/puščico s textPath, ter odgovora "Yes" in "No" v posebnih tspan segmentih, da lahko ločeno kontroliramo njuno prikaznost --> - <text id="ri-text" transform="translate(3,-2)"><textPath xlink:href="#ri-path">Am I bigger than you? <tspan id="ri-text-yes">Yes.</tspan><tspan id="ri-text-no" style="display:none;">No!</tspan></textPath></text> - </g> - </g> - - <!-- spodaj je definirana animacija --> - - <!-- sklop 1: vrivanec se pripelje na sceno in vpraša prvega pravokotnika, če je večji od njega --> - <animateTransform id="animStart" attributeName="transform" attributeType="XML" type="translate" from="0,0" to="15,0" dur="0.8s" additive="replace" fill="freeze" xlink:href="#ri"/><!-- pripelje vrivanca na sceno--> - <animate id="animLine1" attributeName="width" attributeType="XML" from="0" to="68" dur="0.5s" fill="freeze" xlink:href="#ri-lineClip-rect" begin="animStart.endEvent+0.5s"/><!-- prikaže puščico --> - <set id="animVisible1" attributeName="visibility" attributeType="CSS" to="visible" dur="0.1s" fill="freeze" xlink:href="#ri-text" begin="animLine1.endEvent"/><!-- prikaže vprašanje --> - <set id="animVisible2" attributeName="visibility" attributeType="CSS" to="visible" dur="0.1s" fill="freeze" xlink:href="#ri-text-yes" begin="animVisible1.endEvent+1.5s"/><!-- prikaže odgovor --> - - <!-- sklop 2: skrijemo puščico in napis ter repozicioniramo konec puščice malo višje: na sredino drugega pravokotnika --> - <set id="animHide1" attributeName="width" attributeType="XML" to="0" dur="0.1s" fill="freeze" xlink:href="#ri-lineClip-rect" begin="animVisible2.endEvent+2s"/><!-- skrijemo puščico --> - <set attributeName="visibility" attributeType="CSS" to="hidden" dur="0.1s" fill="freeze" xlink:href="#ri-text" begin="animHide1.beginEvent"/><!-- skrijemo vprašanje --> - <set attributeName="visibility" attributeType="CSS" to="hidden" dur="0.1s" fill="freeze" xlink:href="#ri-text-yes" begin="animHide1.beginEvent"/><!-- skrijemo odgovor "Yes" --> - <set attributeName="d" attributeType="XML" to="M 7 37.5 L 75 40" dur="0.1s" fill="freeze" xlink:href="#ri-path" begin="animHide1.beginEvent"/><!-- popravimo zadnjo koordinato, da kaže 5 pixlov višje --> - - <!-- sklop 3: premaknemo prvi pravokotnik za vrivancem, premaknemo vrivanca malo naprej --> - <animateTransform id="animMove1" attributeName="transform" attributeType="XML" type="translate" from="0,0" to="-75,0" dur="1s" additive="replace" fill="freeze" xlink:href="#r1" begin="animHide1.endEvent"/> - <animateTransform attributeName="transform" attributeType="XML" type="translate" from="15,0" to="25,0" dur="1s" additive="replace" fill="freeze" xlink:href="#ri" begin="animMove1.beginEvent"/> - - <!-- sklop 4: vrivanec vpraša drugega pravokotnika --> - <animate id="animLine2" attributeName="width" attributeType="XML" from="0" to="68" dur="0.5s" fill="freeze" xlink:href="#ri-lineClip-rect" begin="animMove1.endEvent+0.5s"/><!-- prikaže puščico --> - <set id="animVisible21" attributeName="visibility" attributeType="CSS" to="visible" dur="0.1s" fill="freeze" xlink:href="#ri-text" begin="animLine2.endEvent"/><!-- prikaže vprašanje --> - <set id="animVisible22" attributeName="visibility" attributeType="CSS" to="visible" dur="0.1s" fill="freeze" xlink:href="#ri-text-yes" begin="animVisible21.endEvent+1.5s"/><!-- prikaže odgovor --> - - <!-- sklop 5: skrijemo puščico in napis ter repozicioniramo konec puščice malo višje: na sredino tretjega pravokotnika, umaknemo "Yes" iz prikaza in namesto njega uvedemo "No" --> - <set id="animHide2" attributeName="width" attributeType="XML" to="0" dur="0.1s" fill="freeze" xlink:href="#ri-lineClip-rect" begin="animVisible22.endEvent+2s"/><!-- skrijemo puščico --> - <set attributeName="visibility" attributeType="CSS" to="hidden" dur="0.1s" fill="freeze" xlink:href="#ri-text" begin="animHide2.beginEvent"/><!-- skrijemo vprašanje --> - <set attributeName="visibility" attributeType="CSS" to="hidden" dur="0.1s" fill="freeze" xlink:href="#ri-text-yes" begin="animHide2.beginEvent"/><!-- skrijemo odgovor "Yes" --> - <set attributeName="d" attributeType="XML" to="M 7 37.5 L 75 35" dur="0.1s" fill="freeze" xlink:href="#ri-path" begin="animHide2.beginEvent"/><!-- popravimo zadnjo koordinato, da kaže 5 pixlov višje --> - <set attributeName="display" attributeType="CSS" to="none" dur="0.1s" fill="freeze" xlink:href="#ri-text-yes" begin="animHide2.beginEvent"/><!-- izvzamemo odgovor "Yes" iz prikazne strukture --> - <set attributeName="display" attributeType="CSS" to="block" dur="0.1s" fill="freeze" xlink:href="#ri-text-no" begin="animHide2.beginEvent"/><!-- vključimo odgovor "No" v prikazno strukturo --> - - <!-- sklop 6: premaknemo drugi pravokotnik za vrivancem, premaknemo vrivanca malo naprej --> - <animateTransform id="animMove2" attributeName="transform" attributeType="XML" type="translate" from="10,0" to="-65,0" dur="1s" additive="replace" fill="freeze" xlink:href="#r2" begin="animHide2.endEvent"/> - <animateTransform attributeName="transform" attributeType="XML" type="translate" from="25,0" to="35,0" dur="1s" additive="replace" fill="freeze" xlink:href="#ri" begin="animMove2.beginEvent"/> - - <!-- sklop 7: vrivanec vpraša tretjega pravokotnika --> - <animate id="animLine3" attributeName="width" attributeType="XML" from="0" to="68" dur="0.5s" fill="freeze" xlink:href="#ri-lineClip-rect" begin="animMove2.endEvent+0.5s"/><!-- prikaže puščico --> - <set id="animVisible31" attributeName="visibility" attributeType="CSS" to="visible" dur="0.1s" fill="freeze" xlink:href="#ri-text" begin="animLine3.endEvent"/><!-- prikaže vprašanje --> - <set id="animVisible32" attributeName="visibility" attributeType="CSS" to="visible" dur="0.1s" fill="freeze" xlink:href="#ri-text-no" begin="animVisible31.endEvent+1.5s"/><!-- prikaže odgovor --> - - <!-- sklop 8: skrijemo puščico in napis --> - <set id="animHide3" attributeName="width" attributeType="XML" to="0" dur="0.1s" fill="freeze" xlink:href="#ri-lineClip-rect" begin="animVisible32.endEvent+2s"/><!-- skrijemo puščico --> - <set attributeName="visibility" attributeType="CSS" to="hidden" dur="0.1s" fill="freeze" xlink:href="#ri-text" begin="animHide3.beginEvent"/><!-- skrijemo vprašanje --> - <set attributeName="visibility" attributeType="CSS" to="hidden" dur="0.1s" fill="freeze" xlink:href="#ri-text-no" begin="animHide3.beginEvent"/><!-- skrijemo odgovor "No" --> - - <!-- sklop 9: premaknemo pravokotnike skupaj: vse pravokotnike na levi premaknemo v desno --> - <animateTransform id="animMove3" attributeName="transform" attributeType="XML" type="translate" to="100,0" dur="1s" additive="replace" fill="freeze" xlink:href="#ri" begin="animHide3.endEvent"/><!-- vrivanec --> - <animateTransform attributeName="transform" attributeType="XML" type="translate" to="-10,0" dur="1s" additive="replace" fill="freeze" xlink:href="#r1" begin="animMove3.beginEvent"/><!-- prvi (najmanjši) pravokotnik --> - <animateTransform attributeName="transform" attributeType="XML" type="translate" to="0,0" dur="1s" additive="replace" fill="freeze" xlink:href="#r2" begin="animMove3.beginEvent"/><!-- drugi pravokotnik --> - - <!-- načeloma manjka še sklop 0, ki resetira stanje v prvotno, če hočemo da je animacija ponovljiva, kar pustimo bralcu za vajo --> -</svg> -""" -} - -hint['new_largest_element'] = { - 'type': 'static', - 'message': "Kaj se zgodi, če vstavljamo nov največji element?" -} -hint['new_lowest_element'] = { - 'type': 'static', - 'message': "Kaj se zgodi, če vstavljamo nov najmanjši element?" -} -hint['y_less_then_x'] = { - 'type': 'static', - 'message': "Manjka veja rekurzije, ki preskakuje elemente, manjše od <code>X</code>." -} -hint['x_compare_list_head'] = { - 'type': 'static', - 'message': "V obeh vejah rekurzije je potrebno primerjati <code>X</code> z glavo seznama, sicer dobimo več (nepravilnih) rešitev." -} -hint['y_less_then_x_add_new'] = { - 'type': 'static', - 'message': "Pri preskakovanju elementov, manjših od <code>X</code>, jih ne doda v nov seznam." -} - -# a drop-down hint must supply the arguments: start (int), end (int), choices (array of string) -hint['drop_down'] = { - 'type': 'dropdown' -} -# a pop-up hint must supply the arguments: start (int), end (int), args (object of key-value args for the template, optional) -hint['popup_unknown'] = { - 'type': 'popup', - 'message': 'nekaj si zabluzil v vrstici [%=row%]' -} -# a static hint can supply an optional argument: args (object of key-value args for the template) -# a static hint can also be defined as a string instead of an object -hint['sample_static'] = { - 'type': 'static', - 'message': 'A sample static hint' -} diff --git a/sins.svg b/sins.svg deleted file mode 100644 index 14ec645..0000000 --- a/sins.svg +++ /dev/null @@ -1,133 +0,0 @@ -<?xml version="1.0" encoding="UTF-8" standalone="no"?> -<!DOCTYPE svg PUBLIC "-//W3C//DTD SVG 1.1//EN" "http://www.w3.org/Graphics/SVG/1.1/DTD/svg11.dtd"> -<svg xmlns="http://www.w3.org/2000/svg" - xmlns:xlink="http://www.w3.org/1999/xlink" - viewBox="0 0 150 70" - preserveAspectRatio="xMidYMid" - version="1.1"> - <desc>Animates sorted insert (sins/3) with rectangles.</desc> - - <!-- definiramo sceno --> - - <defs> - <!-- CSS stil: definiramo barve, debeline črt, fonte, ... --> - <style type="text/css"><![CDATA[ - line { - stroke: black; - stroke-width: 0.5; - } - .block { - stroke: black; - stroke-width: 0.5; - fill: none; - } - .dashed { - stroke-dasharray: 2,2; - } - text { - font-family: Verdana, Tahoma, sans-serif; - font-size: 4px; - fill: black; - } - #ri-text, #ri-text-yes, #ri-text-no { - visibility: hidden; - } - ]]></style> - - <!-- puščica na koncu črte --> - <marker id="arrowhead" - viewBox="0 0 10 10" refX="10" refY="5" - markerUnits="strokeWidth" - markerWidth="5" - markerHeight="5" - orient="auto"> - <path d="M 0 0 L 10 5 L 0 10" stroke="black" stroke-width="1.5" fill="none"/> - </marker> - - <!-- obrezovanje (clipping), s katerim je narejena animacija prikazovanja črte, ki se "riše" od leve proti desni --> - <clipPath id="ri-lineClip"> - <rect id="ri-lineClip-rect" x="7" width="0" height="50"/> - </clipPath> - </defs> - - <g transform="translate(0,10)"><!-- vse skupaj (sceno) pomaknemo 10 pixlov navzdol --> - <line x1="0" x2="150" y1="50" y2="50"/><!-- spodnja črta za podlago --> - - <g transform="translate(90,0)"> - <g id="r1" transform="translate(0,0)"><!-- uporabi se transform, ker se le-ta lahko animira --> - <rect width="7" height="10" y="40" class="block"/><!-- najmanjši pravokotnik; uporabimo y za "zapolnitev" vertikale, tako da so vsi pravokotniki enako visoki (lažje animiranje) --> - </g> - <g id="r2" transform="translate(10,0)"> - <rect width="7" height="20" y="30" class="block"/> - </g> - <g id="r3" transform="translate(20,0)"> - <rect width="7" height="30" y="20" class="block"/> - </g> - <g id="r4" transform="translate(30,0)"> - <rect width="7" height="40" y="10" class="block"/> - </g> - <g id="r5" transform="translate(40,0)"> - <rect width="7" height="50" y="0" class="block"/><!-- največji pravokotnik --> - </g> - </g> - - <g id="ri"><!-- skupina za pravokotnik, ki ga vrivamo --> - <rect width="7" height="25" y="25" class="block"/><!-- dejanski pravokotnik / vrivanec --> - <path id="ri-path" d="M 7 37.5 L 75 45" stroke="black" stroke-width="0.5" fill="none" class="dashed" marker-end="url(#arrowhead)" clip-path="url(#ri-lineClip)"/><!-- črta predstavljena z elementom path, ker tega lahko uporabimo tudi spodaj v textPath, npr. elementa line pa ne moremo --> - <!-- besedilo, ki ga "nalimamo" na zgornjo črto/puščico s textPath, ter odgovora "Yes" in "No" v posebnih tspan segmentih, da lahko ločeno kontroliramo njuno prikaznost --> - <text id="ri-text" transform="translate(3,-2)"><textPath xlink:href="#ri-path">Am I bigger than you? <tspan id="ri-text-yes">Yes.</tspan><tspan id="ri-text-no" style="display:none;">No!</tspan></textPath></text> - </g> - </g> - - <!-- spodaj je definirana animacija --> - - <!-- sklop 1: vrivanec se pripelje na sceno in vpraša prvega pravokotnika, če je večji od njega --> - <animateTransform id="animStart" attributeName="transform" attributeType="XML" type="translate" from="0,0" to="15,0" dur="0.8s" additive="replace" fill="freeze" xlink:href="#ri"/><!-- pripelje vrivanca na sceno--> - <animate id="animLine1" attributeName="width" attributeType="XML" from="0" to="68" dur="0.5s" fill="freeze" xlink:href="#ri-lineClip-rect" begin="animStart.endEvent+0.5s"/><!-- prikaže puščico --> - <set id="animVisible1" attributeName="visibility" attributeType="CSS" to="visible" dur="0.1s" fill="freeze" xlink:href="#ri-text" begin="animLine1.endEvent"/><!-- prikaže vprašanje --> - <set id="animVisible2" attributeName="visibility" attributeType="CSS" to="visible" dur="0.1s" fill="freeze" xlink:href="#ri-text-yes" begin="animVisible1.endEvent+1.5s"/><!-- prikaže odgovor --> - - <!-- sklop 2: skrijemo puščico in napis ter repozicioniramo konec puščice malo višje: na sredino drugega pravokotnika --> - <set id="animHide1" attributeName="width" attributeType="XML" to="0" dur="0.1s" fill="freeze" xlink:href="#ri-lineClip-rect" begin="animVisible2.endEvent+2s"/><!-- skrijemo puščico --> - <set attributeName="visibility" attributeType="CSS" to="hidden" dur="0.1s" fill="freeze" xlink:href="#ri-text" begin="animHide1.beginEvent"/><!-- skrijemo vprašanje --> - <set attributeName="visibility" attributeType="CSS" to="hidden" dur="0.1s" fill="freeze" xlink:href="#ri-text-yes" begin="animHide1.beginEvent"/><!-- skrijemo odgovor "Yes" --> - <set attributeName="d" attributeType="XML" to="M 7 37.5 L 75 40" dur="0.1s" fill="freeze" xlink:href="#ri-path" begin="animHide1.beginEvent"/><!-- popravimo zadnjo koordinato, da kaže 5 pixlov višje --> - - <!-- sklop 3: premaknemo prvi pravokotnik za vrivancem, premaknemo vrivanca malo naprej --> - <animateTransform id="animMove1" attributeName="transform" attributeType="XML" type="translate" from="0,0" to="-75,0" dur="1s" additive="replace" fill="freeze" xlink:href="#r1" begin="animHide1.endEvent"/> - <animateTransform attributeName="transform" attributeType="XML" type="translate" from="15,0" to="25,0" dur="1s" additive="replace" fill="freeze" xlink:href="#ri" begin="animMove1.beginEvent"/> - - <!-- sklop 4: vrivanec vpraša drugega pravokotnika --> - <animate id="animLine2" attributeName="width" attributeType="XML" from="0" to="68" dur="0.5s" fill="freeze" xlink:href="#ri-lineClip-rect" begin="animMove1.endEvent+0.5s"/><!-- prikaže puščico --> - <set id="animVisible21" attributeName="visibility" attributeType="CSS" to="visible" dur="0.1s" fill="freeze" xlink:href="#ri-text" begin="animLine2.endEvent"/><!-- prikaže vprašanje --> - <set id="animVisible22" attributeName="visibility" attributeType="CSS" to="visible" dur="0.1s" fill="freeze" xlink:href="#ri-text-yes" begin="animVisible21.endEvent+1.5s"/><!-- prikaže odgovor --> - - <!-- sklop 5: skrijemo puščico in napis ter repozicioniramo konec puščice malo višje: na sredino tretjega pravokotnika, umaknemo "Yes" iz prikaza in namesto njega uvedemo "No" --> - <set id="animHide2" attributeName="width" attributeType="XML" to="0" dur="0.1s" fill="freeze" xlink:href="#ri-lineClip-rect" begin="animVisible22.endEvent+2s"/><!-- skrijemo puščico --> - <set attributeName="visibility" attributeType="CSS" to="hidden" dur="0.1s" fill="freeze" xlink:href="#ri-text" begin="animHide2.beginEvent"/><!-- skrijemo vprašanje --> - <set attributeName="visibility" attributeType="CSS" to="hidden" dur="0.1s" fill="freeze" xlink:href="#ri-text-yes" begin="animHide2.beginEvent"/><!-- skrijemo odgovor "Yes" --> - <set attributeName="d" attributeType="XML" to="M 7 37.5 L 75 35" dur="0.1s" fill="freeze" xlink:href="#ri-path" begin="animHide2.beginEvent"/><!-- popravimo zadnjo koordinato, da kaže 5 pixlov višje --> - <set attributeName="display" attributeType="CSS" to="none" dur="0.1s" fill="freeze" xlink:href="#ri-text-yes" begin="animHide2.beginEvent"/><!-- izvzamemo odgovor "Yes" iz prikazne strukture --> - <set attributeName="display" attributeType="CSS" to="block" dur="0.1s" fill="freeze" xlink:href="#ri-text-no" begin="animHide2.beginEvent"/><!-- vključimo odgovor "No" v prikazno strukturo --> - - <!-- sklop 6: premaknemo drugi pravokotnik za vrivancem, premaknemo vrivanca malo naprej --> - <animateTransform id="animMove2" attributeName="transform" attributeType="XML" type="translate" from="10,0" to="-65,0" dur="1s" additive="replace" fill="freeze" xlink:href="#r2" begin="animHide2.endEvent"/> - <animateTransform attributeName="transform" attributeType="XML" type="translate" from="25,0" to="35,0" dur="1s" additive="replace" fill="freeze" xlink:href="#ri" begin="animMove2.beginEvent"/> - - <!-- sklop 7: vrivanec vpraša tretjega pravokotnika --> - <animate id="animLine3" attributeName="width" attributeType="XML" from="0" to="68" dur="0.5s" fill="freeze" xlink:href="#ri-lineClip-rect" begin="animMove2.endEvent+0.5s"/><!-- prikaže puščico --> - <set id="animVisible31" attributeName="visibility" attributeType="CSS" to="visible" dur="0.1s" fill="freeze" xlink:href="#ri-text" begin="animLine3.endEvent"/><!-- prikaže vprašanje --> - <set id="animVisible32" attributeName="visibility" attributeType="CSS" to="visible" dur="0.1s" fill="freeze" xlink:href="#ri-text-no" begin="animVisible31.endEvent+1.5s"/><!-- prikaže odgovor --> - - <!-- sklop 8: skrijemo puščico in napis --> - <set id="animHide3" attributeName="width" attributeType="XML" to="0" dur="0.1s" fill="freeze" xlink:href="#ri-lineClip-rect" begin="animVisible32.endEvent+2s"/><!-- skrijemo puščico --> - <set attributeName="visibility" attributeType="CSS" to="hidden" dur="0.1s" fill="freeze" xlink:href="#ri-text" begin="animHide3.beginEvent"/><!-- skrijemo vprašanje --> - <set attributeName="visibility" attributeType="CSS" to="hidden" dur="0.1s" fill="freeze" xlink:href="#ri-text-no" begin="animHide3.beginEvent"/><!-- skrijemo odgovor "No" --> - - <!-- sklop 9: premaknemo pravokotnike skupaj: vse pravokotnike na levi premaknemo v desno --> - <animateTransform id="animMove3" attributeName="transform" attributeType="XML" type="translate" to="100,0" dur="1s" additive="replace" fill="freeze" xlink:href="#ri" begin="animHide3.endEvent"/><!-- vrivanec --> - <animateTransform attributeName="transform" attributeType="XML" type="translate" to="-10,0" dur="1s" additive="replace" fill="freeze" xlink:href="#r1" begin="animMove3.beginEvent"/><!-- prvi (najmanjši) pravokotnik --> - <animateTransform attributeName="transform" attributeType="XML" type="translate" to="0,0" dur="1s" additive="replace" fill="freeze" xlink:href="#r2" begin="animMove3.beginEvent"/><!-- drugi pravokotnik --> - - <!-- načeloma manjka še sklop 0, ki resetira stanje v prvotno, če hočemo da je animacija ponovljiva, kar pustimo bralcu za vajo --> -</svg> diff --git a/sister.py b/sister.py deleted file mode 100644 index 20d8f1d..0000000 --- a/sister.py +++ /dev/null @@ -1,38 +0,0 @@ -# coding=utf-8 -# najprej opis -description = """\ -<h1>Sister</h1> -<p>Predikat <code>sister(X, Y)</code> velja natanko takrat, kadar je <code>X</code> sestra od <code>Y</code>. -Primer klica:</p> -<p><code> -?- sister(X, patricia).<br> - X = vanessa. -</code></p>""" - -# in zdaj hinti -hint = {} # to je komentar -hint['must_have_common_parent'] = """ -<code>X</code> in <code>Y</code> morata imeti (vsaj enega) skupnega starša.<br> -<svg> -</svg> -""" - -hint['x_must_be_female'] = "<code>X</code> mora biti ženskega spola." -hint['x_cant_be_own_sister'] = "<code>X</code> ne more biti sestra sama sebi." -hint['y_not_necessarily_woman'] = "<code>Y</code> ni nujno ženskega spola / relacija ni simetrična." - -# a drop-down hint must supply the arguments: start (int), end (int), choices (array of string) -hint['drop_down'] = { - 'type': 'dropdown' -} -# a pop-up hint must supply the arguments: start (int), end (int), args (object of key-value args for the template, optional) -hint['popup_unknown'] = { - 'type': 'popup', - 'message': 'nekaj si zabluzil v vrstici [%=row%]' -} -# a static hint can supply an optional argument: args (object of key-value args for the template) -# a static hint can also be defined as a string instead of an object -hint['sample_static'] = { - 'type': 'static', - 'message': 'A sample static hint' -} |
