2 | 
3 |
'}),Ye=l({},zn.DefaultType,{content:"(string|element|function)"}),ze="fade",Ze=".popover-header",Ge=".popover-body",$e={HIDE:"hide"+Ke,HIDDEN:"hidden"+Ke,SHOW:(Je="show")+Ke,SHOWN:"shown"+Ke,INSERTED:"inserted"+Ke,CLICK:"click"+Ke,FOCUSIN:"focusin"+Ke,FOCUSOUT:"focusout"+Ke,MOUSEENTER:"mouseenter"+Ke,MOUSELEAVE:"mouseleave"+Ke},Xe=function(t){var e,n;function i(){return t.apply(this,arguments)||this}n=t,(e=i).prototype=Object.create(n.prototype),(e.prototype.constructor=e).__proto__=n;var r=i.prototype;return r.isWithContent=function(){return this.getTitle()||this._getContent()},r.addAttachmentClass=function(t){Ue(this.getTipElement()).addClass(Qe+"-"+t)},r.getTipElement=function(){return this.tip=this.tip||Ue(this.config.template)[0],this.tip},r.setContent=function(){var t=Ue(this.getTipElement());this.setElementContent(t.find(Ze),this.getTitle());var e=this._getContent();"function"==typeof e&&(e=e.call(this.element)),this.setElementContent(t.find(Ge),e),t.removeClass(ze+" "+Je)},r._getContent=function(){return this.element.getAttribute("data-content")||this.config.content},r._cleanTipClass=function(){var t=Ue(this.getTipElement()),e=t.attr("class").match(Be);null!==e&&0
Column:" + col + "
" + msg + ""); 125 | error.show(); 126 | }) 127 | 128 | } 129 | } 130 | } 131 | 132 | /* Send Punchscript code to OCaml */ 133 | worker.postMessage({"input": inputcode}); 134 | /* Prevent scroll */ 135 | return false; 136 | } 137 | 138 | jQuery(function($) { 139 | init(); 140 | }); 141 | -------------------------------------------------------------------------------- /web/js/lib/mode/punchscript/punchscript.js: -------------------------------------------------------------------------------- 1 | // CodeMirror, copyright (c) by Marijn Haverbeke and others 2 | // Distributed under an MIT license: https://codemirror.net/LICENSE 3 | // Derived from Python mode by Arun Ravindran, 2018 4 | 5 | (function(mod) { 6 | if (typeof exports == "object" && typeof module == "object") // CommonJS 7 | mod(require("../../lib/codemirror")); 8 | else if (typeof define == "function" && define.amd) // AMD 9 | define(["../../lib/codemirror"], mod); 10 | else // Plain browser env 11 | mod(CodeMirror); 12 | })(function(CodeMirror) { 13 | "use strict"; 14 | 15 | function wordRegexp(words) { 16 | return new RegExp("^((" + words.join(")|(") + "))\\b"); 17 | } 18 | 19 | var wordOperators = wordRegexp(["and", "or", "not", "is"]); 20 | var commonKeywords = ['SOLRAN', 'SEIRAN', 'I AM CHITTI', 21 | 'MALAI DA ANNAMALAI', 'EN VAZHI THANI VAZHI', 'KATHAM, KATHAM', 22 | 'NOORU THADAVA SONNA MAADIRI', 'MAGIZHCHI']; 23 | 24 | var commonBuiltins = ['IDHU EPADI IRUKU', 'GURU', 'SISHYAN', 'BILLA']; 25 | CodeMirror.registerHelper("hintWords", "punchscript", commonKeywords.concat(commonBuiltins)); 26 | 27 | function top(state) { 28 | return state.scopes[state.scopes.length - 1]; 29 | } 30 | 31 | CodeMirror.defineMode("punchscript", function(conf, parserConf) { 32 | var ERRORCLASS = "error"; 33 | 34 | var delimiters = parserConf.delimiters || parserConf.singleDelimiters || /^[\(\)\[\]\{\}@,:=;\.\\]/; 35 | // (Backwards-compatiblity with old, cumbersome config system) 36 | var operators = [parserConf.singleOperators, parserConf.doubleOperators, parserConf.doubleDelimiters, parserConf.tripleDelimiters, 37 | parserConf.operators || /^([-+*/%\/&|^]=?|[<>=]+|\/\/=?|\*\*=?|!=|[~!@])/] 38 | for (var i = 0; i < operators.length; i++) if (!operators[i]) operators.splice(i--, 1) 39 | 40 | var hangingIndent = parserConf.hangingIndent || conf.indentUnit; 41 | 42 | var myKeywords = commonKeywords, myBuiltins = commonBuiltins; 43 | if (parserConf.extra_keywords != undefined) 44 | myKeywords = myKeywords.concat(parserConf.extra_keywords); 45 | 46 | if (parserConf.extra_builtins != undefined) 47 | myBuiltins = myBuiltins.concat(parserConf.extra_builtins); 48 | 49 | // since http://legacy.python.org/dev/peps/pep-0465/ @ is also an operator 50 | var identifiers = parserConf.identifiers|| /^[_A-Za-z\u00A1-\uFFFF][_A-Za-z0-9\u00A1-\uFFFF]*/; 51 | var stringPrefixes = new RegExp("^(([rbuf]|(br)|(fr))?('{3}|\"{3}|['\"]))", "i"); 52 | var keywords = wordRegexp(myKeywords); 53 | var builtins = wordRegexp(myBuiltins); 54 | 55 | // tokenizers 56 | function tokenBase(stream, state) { 57 | var sol = stream.sol() && state.lastToken != "\\" 58 | if (sol) state.indent = stream.indentation() 59 | // Handle scope changes 60 | if (sol && top(state).type == "py") { 61 | var scopeOffset = top(state).offset; 62 | if (stream.eatSpace()) { 63 | var lineOffset = stream.indentation(); 64 | if (lineOffset > scopeOffset) 65 | pushPyScope(state); 66 | else if (lineOffset < scopeOffset && dedent(stream, state) && stream.peek() != "#") 67 | state.errorToken = true; 68 | return null; 69 | } else { 70 | var style = tokenBaseInner(stream, state); 71 | if (scopeOffset > 0 && dedent(stream, state)) 72 | style += " " + ERRORCLASS; 73 | return style; 74 | } 75 | } 76 | return tokenBaseInner(stream, state); 77 | } 78 | 79 | function tokenBaseInner(stream, state) { 80 | if (stream.eatSpace()) return null; 81 | 82 | // Handle Comments 83 | if (stream.match(/^MEHHH!.*/)) return "comment"; 84 | 85 | // Handle Number Literals 86 | if (stream.match(/^[0-9]+/i)) { 87 | return "number"; 88 | } 89 | 90 | // Handle Strings 91 | if (stream.match(stringPrefixes)) { 92 | var isFmtString = stream.current().toLowerCase().indexOf('f') !== -1; 93 | if (!isFmtString) { 94 | state.tokenize = tokenStringFactory(stream.current()); 95 | return state.tokenize(stream, state); 96 | } else { 97 | state.tokenize = formatStringFactory(stream.current(), state.tokenize); 98 | return state.tokenize(stream, state); 99 | } 100 | } 101 | 102 | for (var i = 0; i < operators.length; i++) 103 | if (stream.match(operators[i])) return "operator" 104 | 105 | if (stream.match(delimiters)) return "punctuation"; 106 | 107 | if (state.lastToken == "." && stream.match(identifiers)) 108 | return "property"; 109 | 110 | if (stream.match(keywords) || stream.match(wordOperators)) 111 | return "keyword"; 112 | 113 | if (stream.match(builtins)) 114 | return "builtin"; 115 | 116 | if (stream.match(/^(self|cls)\b/)) 117 | return "variable-2"; 118 | 119 | if (stream.match(identifiers)) { 120 | if (state.lastToken == "def" || state.lastToken == "class") 121 | return "def"; 122 | return "variable"; 123 | } 124 | 125 | // Handle non-detected items 126 | stream.next(); 127 | return ERRORCLASS; 128 | } 129 | 130 | function formatStringFactory(delimiter, tokenOuter) { 131 | while ("rubf".indexOf(delimiter.charAt(0).toLowerCase()) >= 0) 132 | delimiter = delimiter.substr(1); 133 | 134 | var singleline = delimiter.length == 1; 135 | var OUTCLASS = "string"; 136 | 137 | function tokenFString(stream, state) { 138 | // inside f-str Expression 139 | if (stream.match(delimiter)) { 140 | // expression ends pre-maturally, but very common in editing 141 | // Could show error to remind users to close brace here 142 | state.tokenize = tokenString 143 | return OUTCLASS; 144 | } else if (stream.match('{')) { 145 | // starting brace, if not eaten below 146 | return "punctuation"; 147 | } else if (stream.match('}')) { 148 | // return to regular inside string state 149 | state.tokenize = tokenString 150 | return "punctuation"; 151 | } else { 152 | // use tokenBaseInner to parse the expression 153 | return tokenBaseInner(stream, state); 154 | } 155 | } 156 | 157 | function tokenString(stream, state) { 158 | while (!stream.eol()) { 159 | stream.eatWhile(/[^'"\{\}\\]/); 160 | if (stream.eat("\\")) { 161 | stream.next(); 162 | if (singleline && stream.eol()) 163 | return OUTCLASS; 164 | } else if (stream.match(delimiter)) { 165 | state.tokenize = tokenOuter; 166 | return OUTCLASS; 167 | } else if (stream.match('{{')) { 168 | // ignore {{ in f-str 169 | return OUTCLASS; 170 | } else if (stream.match('{', false)) { 171 | // switch to nested mode 172 | state.tokenize = tokenFString 173 | if (stream.current()) { 174 | return OUTCLASS; 175 | } else { 176 | // need to return something, so eat the starting { 177 | stream.next(); 178 | return "punctuation"; 179 | } 180 | } else if (stream.match('}}')) { 181 | return OUTCLASS; 182 | } else if (stream.match('}')) { 183 | // single } in f-string is an error 184 | return ERRORCLASS; 185 | } else { 186 | stream.eat(/['"]/); 187 | } 188 | } 189 | if (singleline) { 190 | if (parserConf.singleLineStringErrors) 191 | return ERRORCLASS; 192 | else 193 | state.tokenize = tokenOuter; 194 | } 195 | return OUTCLASS; 196 | } 197 | tokenString.isString = true; 198 | return tokenString; 199 | } 200 | 201 | function tokenStringFactory(delimiter) { 202 | while ("rubf".indexOf(delimiter.charAt(0).toLowerCase()) >= 0) 203 | delimiter = delimiter.substr(1); 204 | 205 | var singleline = delimiter.length == 1; 206 | var OUTCLASS = "string"; 207 | 208 | function tokenString(stream, state) { 209 | while (!stream.eol()) { 210 | stream.eatWhile(/[^'"\\]/); 211 | if (stream.eat("\\")) { 212 | stream.next(); 213 | if (singleline && stream.eol()) 214 | return OUTCLASS; 215 | } else if (stream.match(delimiter)) { 216 | state.tokenize = tokenBase; 217 | return OUTCLASS; 218 | } else { 219 | stream.eat(/['"]/); 220 | } 221 | } 222 | if (singleline) { 223 | if (parserConf.singleLineStringErrors) 224 | return ERRORCLASS; 225 | else 226 | state.tokenize = tokenBase; 227 | } 228 | return OUTCLASS; 229 | } 230 | tokenString.isString = true; 231 | return tokenString; 232 | } 233 | 234 | function pushPyScope(state) { 235 | while (top(state).type != "py") state.scopes.pop() 236 | state.scopes.push({offset: top(state).offset + conf.indentUnit, 237 | type: "py", 238 | align: null}) 239 | } 240 | 241 | function pushBracketScope(stream, state, type) { 242 | var align = stream.match(/^([\s\[\{\(]|#.*)*$/, false) ? null : stream.column() + 1 243 | state.scopes.push({offset: state.indent + hangingIndent, 244 | type: type, 245 | align: align}) 246 | } 247 | 248 | function dedent(stream, state) { 249 | var indented = stream.indentation(); 250 | while (state.scopes.length > 1 && top(state).offset > indented) { 251 | if (top(state).type != "py") return true; 252 | state.scopes.pop(); 253 | } 254 | return top(state).offset != indented; 255 | } 256 | 257 | function tokenLexer(stream, state) { 258 | if (stream.sol()) state.beginningOfLine = true; 259 | 260 | var style = state.tokenize(stream, state); 261 | var current = stream.current(); 262 | 263 | if (/\S/.test(current)) state.beginningOfLine = false; 264 | 265 | if ((style == "variable" || style == "builtin") 266 | && state.lastToken == "meta") 267 | style = "meta"; 268 | 269 | // Handle scope changes. 270 | if (current == "pass" || current == "return") 271 | state.dedent += 1; 272 | 273 | if (current == "lambda") state.lambda = true; 274 | if (current == ":" && !state.lambda && top(state).type == "py") 275 | pushPyScope(state); 276 | 277 | if (current.length == 1 && !/string|comment/.test(style)) { 278 | var delimiter_index = "[({".indexOf(current); 279 | if (delimiter_index != -1) 280 | pushBracketScope(stream, state, "])}".slice(delimiter_index, delimiter_index+1)); 281 | 282 | delimiter_index = "])}".indexOf(current); 283 | if (delimiter_index != -1) { 284 | if (top(state).type == current) state.indent = state.scopes.pop().offset - hangingIndent 285 | else return ERRORCLASS; 286 | } 287 | } 288 | if (state.dedent > 0 && stream.eol() && top(state).type == "py") { 289 | if (state.scopes.length > 1) state.scopes.pop(); 290 | state.dedent -= 1; 291 | } 292 | 293 | return style; 294 | } 295 | 296 | var external = { 297 | startState: function(basecolumn) { 298 | return { 299 | tokenize: tokenBase, 300 | scopes: [{offset: basecolumn || 0, type: "py", align: null}], 301 | indent: basecolumn || 0, 302 | lastToken: null, 303 | lambda: false, 304 | dedent: 0 305 | }; 306 | }, 307 | 308 | token: function(stream, state) { 309 | var addErr = state.errorToken; 310 | if (addErr) state.errorToken = false; 311 | var style = tokenLexer(stream, state); 312 | 313 | if (style && style != "comment") 314 | state.lastToken = (style == "keyword" || style == "punctuation") ? stream.current() : style; 315 | if (style == "punctuation") style = null; 316 | 317 | if (stream.eol() && state.lambda) 318 | state.lambda = false; 319 | return addErr ? style + " " + ERRORCLASS : style; 320 | }, 321 | 322 | indent: function(state, textAfter) { 323 | if (state.tokenize != tokenBase) 324 | return state.tokenize.isString ? CodeMirror.Pass : 0; 325 | 326 | var scope = top(state), closing = scope.type == textAfter.charAt(0) 327 | if (scope.align != null) 328 | return scope.align - (closing ? 1 : 0) 329 | else 330 | return scope.offset - (closing ? hangingIndent : 0) 331 | }, 332 | 333 | electricInput: /^\s*[\}\]\)]$/, 334 | closeBrackets: {triples: "'\""}, 335 | lineComment: "MEHHH!", 336 | fold: "indent" 337 | }; 338 | return external; 339 | }); 340 | 341 | CodeMirror.defineMIME("text/x-punchscript", "punchscript"); 342 | 343 | var words = function(str) { return str.split(" "); }; 344 | 345 | CodeMirror.defineMIME("text/x-cython", { 346 | name: "punchscript", 347 | extra_keywords: words("") 348 | }); 349 | 350 | }); 351 | -------------------------------------------------------------------------------- /web/js/lib/mode/python/python.js: -------------------------------------------------------------------------------- 1 | // CodeMirror, copyright (c) by Marijn Haverbeke and others 2 | // Distributed under an MIT license: https://codemirror.net/LICENSE 3 | 4 | (function(mod) { 5 | if (typeof exports == "object" && typeof module == "object") // CommonJS 6 | mod(require("../../lib/codemirror")); 7 | else if (typeof define == "function" && define.amd) // AMD 8 | define(["../../lib/codemirror"], mod); 9 | else // Plain browser env 10 | mod(CodeMirror); 11 | })(function(CodeMirror) { 12 | "use strict"; 13 | 14 | function wordRegexp(words) { 15 | return new RegExp("^((" + words.join(")|(") + "))\\b"); 16 | } 17 | 18 | var wordOperators = wordRegexp(["and", "or", "not", "is"]); 19 | var commonKeywords = ["as", "assert", "break", "class", "continue", 20 | "def", "del", "elif", "else", "except", "finally", 21 | "for", "from", "global", "if", "import", 22 | "lambda", "pass", "raise", "return", 23 | "try", "while", "with", "yield", "in"]; 24 | var commonBuiltins = ["abs", "all", "any", "bin", "bool", "bytearray", "callable", "chr", 25 | "classmethod", "compile", "complex", "delattr", "dict", "dir", "divmod", 26 | "enumerate", "eval", "filter", "float", "format", "frozenset", 27 | "getattr", "globals", "hasattr", "hash", "help", "hex", "id", 28 | "input", "int", "isinstance", "issubclass", "iter", "len", 29 | "list", "locals", "map", "max", "memoryview", "min", "next", 30 | "object", "oct", "open", "ord", "pow", "property", "range", 31 | "repr", "reversed", "round", "set", "setattr", "slice", 32 | "sorted", "staticmethod", "str", "sum", "super", "tuple", 33 | "type", "vars", "zip", "__import__", "NotImplemented", 34 | "Ellipsis", "__debug__"]; 35 | CodeMirror.registerHelper("hintWords", "python", commonKeywords.concat(commonBuiltins)); 36 | 37 | function top(state) { 38 | return state.scopes[state.scopes.length - 1]; 39 | } 40 | 41 | CodeMirror.defineMode("python", function(conf, parserConf) { 42 | var ERRORCLASS = "error"; 43 | 44 | var delimiters = parserConf.delimiters || parserConf.singleDelimiters || /^[\(\)\[\]\{\}@,:`=;\.\\]/; 45 | // (Backwards-compatiblity with old, cumbersome config system) 46 | var operators = [parserConf.singleOperators, parserConf.doubleOperators, parserConf.doubleDelimiters, parserConf.tripleDelimiters, 47 | parserConf.operators || /^([-+*/%\/&|^]=?|[<>=]+|\/\/=?|\*\*=?|!=|[~!@])/] 48 | for (var i = 0; i < operators.length; i++) if (!operators[i]) operators.splice(i--, 1) 49 | 50 | var hangingIndent = parserConf.hangingIndent || conf.indentUnit; 51 | 52 | var myKeywords = commonKeywords, myBuiltins = commonBuiltins; 53 | if (parserConf.extra_keywords != undefined) 54 | myKeywords = myKeywords.concat(parserConf.extra_keywords); 55 | 56 | if (parserConf.extra_builtins != undefined) 57 | myBuiltins = myBuiltins.concat(parserConf.extra_builtins); 58 | 59 | var py3 = !(parserConf.version && Number(parserConf.version) < 3) 60 | if (py3) { 61 | // since http://legacy.python.org/dev/peps/pep-0465/ @ is also an operator 62 | var identifiers = parserConf.identifiers|| /^[_A-Za-z\u00A1-\uFFFF][_A-Za-z0-9\u00A1-\uFFFF]*/; 63 | myKeywords = myKeywords.concat(["nonlocal", "False", "True", "None", "async", "await"]); 64 | myBuiltins = myBuiltins.concat(["ascii", "bytes", "exec", "print"]); 65 | var stringPrefixes = new RegExp("^(([rbuf]|(br)|(fr))?('{3}|\"{3}|['\"]))", "i"); 66 | } else { 67 | var identifiers = parserConf.identifiers|| /^[_A-Za-z][_A-Za-z0-9]*/; 68 | myKeywords = myKeywords.concat(["exec", "print"]); 69 | myBuiltins = myBuiltins.concat(["apply", "basestring", "buffer", "cmp", "coerce", "execfile", 70 | "file", "intern", "long", "raw_input", "reduce", "reload", 71 | "unichr", "unicode", "xrange", "False", "True", "None"]); 72 | var stringPrefixes = new RegExp("^(([rubf]|(ur)|(br))?('{3}|\"{3}|['\"]))", "i"); 73 | } 74 | var keywords = wordRegexp(myKeywords); 75 | var builtins = wordRegexp(myBuiltins); 76 | 77 | // tokenizers 78 | function tokenBase(stream, state) { 79 | var sol = stream.sol() && state.lastToken != "\\" 80 | if (sol) state.indent = stream.indentation() 81 | // Handle scope changes 82 | if (sol && top(state).type == "py") { 83 | var scopeOffset = top(state).offset; 84 | if (stream.eatSpace()) { 85 | var lineOffset = stream.indentation(); 86 | if (lineOffset > scopeOffset) 87 | pushPyScope(state); 88 | else if (lineOffset < scopeOffset && dedent(stream, state) && stream.peek() != "#") 89 | state.errorToken = true; 90 | return null; 91 | } else { 92 | var style = tokenBaseInner(stream, state); 93 | if (scopeOffset > 0 && dedent(stream, state)) 94 | style += " " + ERRORCLASS; 95 | return style; 96 | } 97 | } 98 | return tokenBaseInner(stream, state); 99 | } 100 | 101 | function tokenBaseInner(stream, state) { 102 | if (stream.eatSpace()) return null; 103 | 104 | // Handle Comments 105 | if (stream.match(/^#.*/)) return "comment"; 106 | 107 | // Handle Number Literals 108 | if (stream.match(/^[0-9\.]/, false)) { 109 | var floatLiteral = false; 110 | // Floats 111 | if (stream.match(/^[\d_]*\.\d+(e[\+\-]?\d+)?/i)) { floatLiteral = true; } 112 | if (stream.match(/^[\d_]+\.\d*/)) { floatLiteral = true; } 113 | if (stream.match(/^\.\d+/)) { floatLiteral = true; } 114 | if (floatLiteral) { 115 | // Float literals may be "imaginary" 116 | stream.eat(/J/i); 117 | return "number"; 118 | } 119 | // Integers 120 | var intLiteral = false; 121 | // Hex 122 | if (stream.match(/^0x[0-9a-f_]+/i)) intLiteral = true; 123 | // Binary 124 | if (stream.match(/^0b[01_]+/i)) intLiteral = true; 125 | // Octal 126 | if (stream.match(/^0o[0-7_]+/i)) intLiteral = true; 127 | // Decimal 128 | if (stream.match(/^[1-9][\d_]*(e[\+\-]?[\d_]+)?/)) { 129 | // Decimal literals may be "imaginary" 130 | stream.eat(/J/i); 131 | // TODO - Can you have imaginary longs? 132 | intLiteral = true; 133 | } 134 | // Zero by itself with no other piece of number. 135 | if (stream.match(/^0(?![\dx])/i)) intLiteral = true; 136 | if (intLiteral) { 137 | // Integer literals may be "long" 138 | stream.eat(/L/i); 139 | return "number"; 140 | } 141 | } 142 | 143 | // Handle Strings 144 | if (stream.match(stringPrefixes)) { 145 | var isFmtString = stream.current().toLowerCase().indexOf('f') !== -1; 146 | if (!isFmtString) { 147 | state.tokenize = tokenStringFactory(stream.current()); 148 | return state.tokenize(stream, state); 149 | } else { 150 | state.tokenize = formatStringFactory(stream.current(), state.tokenize); 151 | return state.tokenize(stream, state); 152 | } 153 | } 154 | 155 | for (var i = 0; i < operators.length; i++) 156 | if (stream.match(operators[i])) return "operator" 157 | 158 | if (stream.match(delimiters)) return "punctuation"; 159 | 160 | if (state.lastToken == "." && stream.match(identifiers)) 161 | return "property"; 162 | 163 | if (stream.match(keywords) || stream.match(wordOperators)) 164 | return "keyword"; 165 | 166 | if (stream.match(builtins)) 167 | return "builtin"; 168 | 169 | if (stream.match(/^(self|cls)\b/)) 170 | return "variable-2"; 171 | 172 | if (stream.match(identifiers)) { 173 | if (state.lastToken == "def" || state.lastToken == "class") 174 | return "def"; 175 | return "variable"; 176 | } 177 | 178 | // Handle non-detected items 179 | stream.next(); 180 | return ERRORCLASS; 181 | } 182 | 183 | function formatStringFactory(delimiter, tokenOuter) { 184 | while ("rubf".indexOf(delimiter.charAt(0).toLowerCase()) >= 0) 185 | delimiter = delimiter.substr(1); 186 | 187 | var singleline = delimiter.length == 1; 188 | var OUTCLASS = "string"; 189 | 190 | function tokenFString(stream, state) { 191 | // inside f-str Expression 192 | if (stream.match(delimiter)) { 193 | // expression ends pre-maturally, but very common in editing 194 | // Could show error to remind users to close brace here 195 | state.tokenize = tokenString 196 | return OUTCLASS; 197 | } else if (stream.match('{')) { 198 | // starting brace, if not eaten below 199 | return "punctuation"; 200 | } else if (stream.match('}')) { 201 | // return to regular inside string state 202 | state.tokenize = tokenString 203 | return "punctuation"; 204 | } else { 205 | // use tokenBaseInner to parse the expression 206 | return tokenBaseInner(stream, state); 207 | } 208 | } 209 | 210 | function tokenString(stream, state) { 211 | while (!stream.eol()) { 212 | stream.eatWhile(/[^'"\{\}\\]/); 213 | if (stream.eat("\\")) { 214 | stream.next(); 215 | if (singleline && stream.eol()) 216 | return OUTCLASS; 217 | } else if (stream.match(delimiter)) { 218 | state.tokenize = tokenOuter; 219 | return OUTCLASS; 220 | } else if (stream.match('{{')) { 221 | // ignore {{ in f-str 222 | return OUTCLASS; 223 | } else if (stream.match('{', false)) { 224 | // switch to nested mode 225 | state.tokenize = tokenFString 226 | if (stream.current()) { 227 | return OUTCLASS; 228 | } else { 229 | // need to return something, so eat the starting { 230 | stream.next(); 231 | return "punctuation"; 232 | } 233 | } else if (stream.match('}}')) { 234 | return OUTCLASS; 235 | } else if (stream.match('}')) { 236 | // single } in f-string is an error 237 | return ERRORCLASS; 238 | } else { 239 | stream.eat(/['"]/); 240 | } 241 | } 242 | if (singleline) { 243 | if (parserConf.singleLineStringErrors) 244 | return ERRORCLASS; 245 | else 246 | state.tokenize = tokenOuter; 247 | } 248 | return OUTCLASS; 249 | } 250 | tokenString.isString = true; 251 | return tokenString; 252 | } 253 | 254 | function tokenStringFactory(delimiter) { 255 | while ("rubf".indexOf(delimiter.charAt(0).toLowerCase()) >= 0) 256 | delimiter = delimiter.substr(1); 257 | 258 | var singleline = delimiter.length == 1; 259 | var OUTCLASS = "string"; 260 | 261 | function tokenString(stream, state) { 262 | while (!stream.eol()) { 263 | stream.eatWhile(/[^'"\\]/); 264 | if (stream.eat("\\")) { 265 | stream.next(); 266 | if (singleline && stream.eol()) 267 | return OUTCLASS; 268 | } else if (stream.match(delimiter)) { 269 | state.tokenize = tokenBase; 270 | return OUTCLASS; 271 | } else { 272 | stream.eat(/['"]/); 273 | } 274 | } 275 | if (singleline) { 276 | if (parserConf.singleLineStringErrors) 277 | return ERRORCLASS; 278 | else 279 | state.tokenize = tokenBase; 280 | } 281 | return OUTCLASS; 282 | } 283 | tokenString.isString = true; 284 | return tokenString; 285 | } 286 | 287 | function pushPyScope(state) { 288 | while (top(state).type != "py") state.scopes.pop() 289 | state.scopes.push({offset: top(state).offset + conf.indentUnit, 290 | type: "py", 291 | align: null}) 292 | } 293 | 294 | function pushBracketScope(stream, state, type) { 295 | var align = stream.match(/^([\s\[\{\(]|#.*)*$/, false) ? null : stream.column() + 1 296 | state.scopes.push({offset: state.indent + hangingIndent, 297 | type: type, 298 | align: align}) 299 | } 300 | 301 | function dedent(stream, state) { 302 | var indented = stream.indentation(); 303 | while (state.scopes.length > 1 && top(state).offset > indented) { 304 | if (top(state).type != "py") return true; 305 | state.scopes.pop(); 306 | } 307 | return top(state).offset != indented; 308 | } 309 | 310 | function tokenLexer(stream, state) { 311 | if (stream.sol()) state.beginningOfLine = true; 312 | 313 | var style = state.tokenize(stream, state); 314 | var current = stream.current(); 315 | 316 | // Handle decorators 317 | if (state.beginningOfLine && current == "@") 318 | return stream.match(identifiers, false) ? "meta" : py3 ? "operator" : ERRORCLASS; 319 | 320 | if (/\S/.test(current)) state.beginningOfLine = false; 321 | 322 | if ((style == "variable" || style == "builtin") 323 | && state.lastToken == "meta") 324 | style = "meta"; 325 | 326 | // Handle scope changes. 327 | if (current == "pass" || current == "return") 328 | state.dedent += 1; 329 | 330 | if (current == "lambda") state.lambda = true; 331 | if (current == ":" && !state.lambda && top(state).type == "py") 332 | pushPyScope(state); 333 | 334 | if (current.length == 1 && !/string|comment/.test(style)) { 335 | var delimiter_index = "[({".indexOf(current); 336 | if (delimiter_index != -1) 337 | pushBracketScope(stream, state, "])}".slice(delimiter_index, delimiter_index+1)); 338 | 339 | delimiter_index = "])}".indexOf(current); 340 | if (delimiter_index != -1) { 341 | if (top(state).type == current) state.indent = state.scopes.pop().offset - hangingIndent 342 | else return ERRORCLASS; 343 | } 344 | } 345 | if (state.dedent > 0 && stream.eol() && top(state).type == "py") { 346 | if (state.scopes.length > 1) state.scopes.pop(); 347 | state.dedent -= 1; 348 | } 349 | 350 | return style; 351 | } 352 | 353 | var external = { 354 | startState: function(basecolumn) { 355 | return { 356 | tokenize: tokenBase, 357 | scopes: [{offset: basecolumn || 0, type: "py", align: null}], 358 | indent: basecolumn || 0, 359 | lastToken: null, 360 | lambda: false, 361 | dedent: 0 362 | }; 363 | }, 364 | 365 | token: function(stream, state) { 366 | var addErr = state.errorToken; 367 | if (addErr) state.errorToken = false; 368 | var style = tokenLexer(stream, state); 369 | 370 | if (style && style != "comment") 371 | state.lastToken = (style == "keyword" || style == "punctuation") ? stream.current() : style; 372 | if (style == "punctuation") style = null; 373 | 374 | if (stream.eol() && state.lambda) 375 | state.lambda = false; 376 | return addErr ? style + " " + ERRORCLASS : style; 377 | }, 378 | 379 | indent: function(state, textAfter) { 380 | if (state.tokenize != tokenBase) 381 | return state.tokenize.isString ? CodeMirror.Pass : 0; 382 | 383 | var scope = top(state), closing = scope.type == textAfter.charAt(0) 384 | if (scope.align != null) 385 | return scope.align - (closing ? 1 : 0) 386 | else 387 | return scope.offset - (closing ? hangingIndent : 0) 388 | }, 389 | 390 | electricInput: /^\s*[\}\]\)]$/, 391 | closeBrackets: {triples: "'\""}, 392 | lineComment: "#", 393 | fold: "indent" 394 | }; 395 | return external; 396 | }); 397 | 398 | CodeMirror.defineMIME("text/x-python", "python"); 399 | 400 | var words = function(str) { return str.split(" "); }; 401 | 402 | CodeMirror.defineMIME("text/x-cython", { 403 | name: "python", 404 | extra_keywords: words("by cdef cimport cpdef ctypedef enum except "+ 405 | "extern gil include nogil property public "+ 406 | "readonly struct union DEF IF ELIF ELSE") 407 | }); 408 | 409 | }); 410 | -------------------------------------------------------------------------------- /web/js/respond.min.js: -------------------------------------------------------------------------------- 1 | /*! Respond.js v1.4.2: min/max-width media query polyfill 2 | * Copyright 2014 Scott Jehl 3 | * Licensed under MIT 4 | * https://j.mp/respondjs */ 5 | 6 | !function(a){"use strict";a.matchMedia=a.matchMedia||function(a){var b,c=a.documentElement,d=c.firstElementChild||c.firstChild,e=a.createElement("body"),f=a.createElement("div");return f.id="mq-test-1",f.style.cssText="position:absolute;top:-100em",e.style.background="none",e.appendChild(f),function(a){return f.innerHTML='',c.insertBefore(e,d),b=42===f.offsetWidth,c.removeChild(e),{matches:b,media:a}}}(a.document)}(this),function(a){"use strict";function b(){v(!0)}var c={};a.respond=c,c.update=function(){};var d=[],e=function(){var b=!1;try{b=new a.XMLHttpRequest}catch(c){b=new a.ActiveXObject("Microsoft.XMLHTTP")}return function(){return b}}(),f=function(a,b){var c=e();c&&(c.open("GET",a,!0),c.onreadystatechange=function(){4!==c.readyState||200!==c.status&&304!==c.status||b(c.responseText)},4!==c.readyState&&c.send(null))},g=function(a){return a.replace(c.regex.minmaxwh,"").match(c.regex.other)};if(c.ajax=f,c.queue=d,c.unsupportedmq=g,c.regex={media:/@media[^\{]+\{([^\{\}]*\{[^\}\{]*\})+/gi,keyframes:/@(?:\-(?:o|moz|webkit)\-)?keyframes[^\{]+\{(?:[^\{\}]*\{[^\}\{]*\})+[^\}]*\}/gi,comments:/\/\*[^*]*\*+([^/][^*]*\*+)*\//gi,urls:/(url\()['"]?([^\/\)'"][^:\)'"]+)['"]?(\))/g,findStyles:/@media *([^\{]+)\{([\S\s]+?)$/,only:/(only\s+)?([a-zA-Z]+)\s?/,minw:/\(\s*min\-width\s*:\s*(\s*[0-9\.]+)(px|em)\s*\)/,maxw:/\(\s*max\-width\s*:\s*(\s*[0-9\.]+)(px|em)\s*\)/,minmaxwh:/\(\s*m(in|ax)\-(height|width)\s*:\s*(\s*[0-9\.]+)(px|em)\s*\)/gi,other:/\([^\)]*\)/g},c.mediaQueriesSupported=a.matchMedia&&null!==a.matchMedia("only all")&&a.matchMedia("only all").matches,!c.mediaQueriesSupported){var h,i,j,k=a.document,l=k.documentElement,m=[],n=[],o=[],p={},q=30,r=k.getElementsByTagName("head")[0]||l,s=k.getElementsByTagName("base")[0],t=r.getElementsByTagName("link"),u=function(){var a,b=k.createElement("div"),c=k.body,d=l.style.fontSize,e=c&&c.style.fontSize,f=!1;return b.style.cssText="position:absolute;font-size:1em;width:1em",c||(c=f=k.createElement("body"),c.style.background="none"),l.style.fontSize="100%",c.style.fontSize="100%",c.appendChild(b),f&&l.insertBefore(c,l.firstChild),a=b.offsetWidth,f?l.removeChild(c):c.removeChild(b),l.style.fontSize=d,e&&(c.style.fontSize=e),a=j=parseFloat(a)},v=function(b){var c="clientWidth",d=l[c],e="CSS1Compat"===k.compatMode&&d||k.body[c]||d,f={},g=t[t.length-1],p=(new Date).getTime();if(b&&h&&q>p-h)return a.clearTimeout(i),i=a.setTimeout(v,q),void 0;h=p;for(var s in m)if(m.hasOwnProperty(s)){var w=m[s],x=w.minw,y=w.maxw,z=null===x,A=null===y,B="em";x&&(x=parseFloat(x)*(x.indexOf(B)>-1?j||u():1)),y&&(y=parseFloat(y)*(y.indexOf(B)>-1?j||u():1)),w.hasquery&&(z&&A||!(z||e>=x)||!(A||y>=e))||(f[w.media]||(f[w.media]=[]),f[w.media].push(n[w.rules]))}for(var C in o)o.hasOwnProperty(C)&&o[C]&&o[C].parentNode===r&&r.removeChild(o[C]);o.length=0;for(var D in f)if(f.hasOwnProperty(D)){var E=k.createElement("style"),F=f[D].join("\n");E.type="text/css",E.media=D,r.insertBefore(E,g.nextSibling),E.styleSheet?E.styleSheet.cssText=F:E.appendChild(k.createTextNode(F)),o.push(E)}},w=function(a,b,d){var e=a.replace(c.regex.comments,"").replace(c.regex.keyframes,"").match(c.regex.media),f=e&&e.length||0;b=b.substring(0,b.lastIndexOf("/"));var h=function(a){return a.replace(c.regex.urls,"$1"+b+"$2$3")},i=!f&&d;b.length&&(b+="/"),i&&(f=1);for(var j=0;f>j;j++){var k,l,o,p;i?(k=d,n.push(h(a))):(k=e[j].match(c.regex.findStyles)&&RegExp.$1,n.push(RegExp.$2&&h(RegExp.$2))),o=k.split(","),p=o.length;for(var q=0;p>q;q++)l=o[q],g(l)||m.push({media:l.split("(")[0].match(c.regex.only)&&RegExp.$2||"all",rules:n.length-1,hasquery:l.indexOf("(")>-1,minw:l.match(c.regex.minw)&&parseFloat(RegExp.$1)+(RegExp.$2||""),maxw:l.match(c.regex.maxw)&&parseFloat(RegExp.$1)+(RegExp.$2||"")})}v()},x=function(){if(d.length){var b=d.shift();f(b.href,function(c){w(c,b.href,b.media),p[b.href]=!0,a.setTimeout(function(){x()},0)})}},y=function(){for(var b=0;b