File manager

File manager - Edit - /home/opticamezl/www/newok/oz.zip

Back
PK��/)�\��Bx��oz.jsnu��[��// CodeMirror, copyright (c) by Marijn Haverbeke and others // Distributed under an MIT license: https://codemirror.net/5/LICENSE (function(mod) { if (typeof exports == "object" && typeof module == "object") // CommonJS mod(require("../../lib/codemirror")); else if (typeof define == "function" && define.amd) // AMD define(["../../lib/codemirror"], mod); else // Plain browser env mod(CodeMirror); })(function(CodeMirror) { "use strict"; CodeMirror.defineMode("oz", function (conf) { function wordRegexp(words) { return new RegExp("^((" + words.join(")\|(") + "))\\b"); } var singleOperators = /[\^@!\\|<>#~\.\\-\+\\/,=]/; var doubleOperators = /(<-)\|(:=)\|(=<)\|(>=)\|(<=)\|(<:)\|(>:)\|(=:)\|(\\=)\|(\\=:)\|(!!)\|(==)\|(::)/; var tripleOperators = /(:::)\|(\.\.\.)\|(=<:)\|(>=:)/; var middle = ["in", "then", "else", "of", "elseof", "elsecase", "elseif", "catch", "finally", "with", "require", "prepare", "import", "export", "define", "do"]; var end = ["end"]; var atoms = wordRegexp(["true", "false", "nil", "unit"]); var commonKeywords = wordRegexp(["andthen", "at", "attr", "declare", "feat", "from", "lex", "mod", "div", "mode", "orelse", "parser", "prod", "prop", "scanner", "self", "syn", "token"]); var openingKeywords = wordRegexp(["local", "proc", "fun", "case", "class", "if", "cond", "or", "dis", "choice", "not", "thread", "try", "raise", "lock", "for", "suchthat", "meth", "functor"]); var middleKeywords = wordRegexp(middle); var endKeywords = wordRegexp(end); // Tokenizers function tokenBase(stream, state) { if (stream.eatSpace()) { return null; } // Brackets if(stream.match(/[{}]/)) { return "bracket"; } // Special [] keyword if (stream.match('[]')) { return "keyword" } // Operators if (stream.match(tripleOperators) \|\| stream.match(doubleOperators)) { return "operator"; } // Atoms if(stream.match(atoms)) { return 'atom'; } // Opening keywords var matched = stream.match(openingKeywords); if (matched) { if (!state.doInCurrentLine) state.currentIndent++; else state.doInCurrentLine = false; // Special matching for signatures if(matched[0] == "proc" \|\| matched[0] == "fun") state.tokenize = tokenFunProc; else if(matched[0] == "class") state.tokenize = tokenClass; else if(matched[0] == "meth") state.tokenize = tokenMeth; return 'keyword'; } // Middle and other keywords if (stream.match(middleKeywords) \|\| stream.match(commonKeywords)) { return "keyword" } // End keywords if (stream.match(endKeywords)) { state.currentIndent--; return 'keyword'; } // Eat the next char for next comparisons var ch = stream.next(); // Strings if (ch == '"' \|\| ch == "'") { state.tokenize = tokenString(ch); return state.tokenize(stream, state); } // Numbers if (/[~\d]/.test(ch)) { if (ch == "~") { if(! /^[0-9]/.test(stream.peek())) return null; else if (( stream.next() == "0" && stream.match(/^[xX][0-9a-fA-F]+/)) \|\| stream.match(/^[0-9](\.[0-9]+)?([eE][~+]?[0-9]+)?/)) return "number"; } if ((ch == "0" && stream.match(/^[xX][0-9a-fA-F]+/)) \|\| stream.match(/^[0-9](\.[0-9]+)?([eE][~+]?[0-9]+)?/)) return "number"; return null; } // Comments if (ch == "%") { stream.skipToEnd(); return 'comment'; } else if (ch == "/") { if (stream.eat("")) { state.tokenize = tokenComment; return tokenComment(stream, state); } } // Single operators if(singleOperators.test(ch)) { return "operator"; } // If nothing match, we skip the entire alphanumeric block stream.eatWhile(/\w/); return "variable"; } function tokenClass(stream, state) { if (stream.eatSpace()) { return null; } stream.match(/([A-Z][A-Za-z0-9_])\|(`.+`)/); state.tokenize = tokenBase; return "variable-3" } function tokenMeth(stream, state) { if (stream.eatSpace()) { return null; } stream.match(/([a-zA-Z][A-Za-z0-9_])\|(`.+`)/); state.tokenize = tokenBase; return "def" } function tokenFunProc(stream, state) { if (stream.eatSpace()) { return null; } if(!state.hasPassedFirstStage && stream.eat("{")) { state.hasPassedFirstStage = true; return "bracket"; } else if(state.hasPassedFirstStage) { stream.match(/([A-Z][A-Za-z0-9_])\|(`.+`)\|\$/); state.hasPassedFirstStage = false; state.tokenize = tokenBase; return "def" } else { state.tokenize = tokenBase; return null; } } function tokenComment(stream, state) { var maybeEnd = false, ch; while (ch = stream.next()) { if (ch == "/" && maybeEnd) { state.tokenize = tokenBase; break; } maybeEnd = (ch == ""); } return "comment"; } function tokenString(quote) { return function (stream, state) { var escaped = false, next, end = false; while ((next = stream.next()) != null) { if (next == quote && !escaped) { end = true; break; } escaped = !escaped && next == "\\"; } if (end \|\| !escaped) state.tokenize = tokenBase; return "string"; }; } function buildElectricInputRegEx() { // Reindentation should occur on [] or on a match of any of // the block closing keywords, at the end of a line. var allClosings = middle.concat(end); return new RegExp("[\\[\\]]\|(" + allClosings.join("\|") + ")$"); } return { startState: function () { return { tokenize: tokenBase, currentIndent: 0, doInCurrentLine: false, hasPassedFirstStage: false }; }, token: function (stream, state) { if (stream.sol()) state.doInCurrentLine = 0; return state.tokenize(stream, state); }, indent: function (state, textAfter) { var trueText = textAfter.replace(/^\s+\|\s+$/g, ''); if (trueText.match(endKeywords) \|\| trueText.match(middleKeywords) \|\| trueText.match(/(\[])/)) return conf.indentUnit * (state.currentIndent - 1); if (state.currentIndent < 0) return 0; return state.currentIndent * conf.indentUnit; }, fold: "indent", electricInput: buildElectricInputRegEx(), lineComment: "%", blockCommentStart: "/", blockCommentEnd: "/" }; }); CodeMirror.defineMIME("text/x-oz", "oz"); }); PK��/)�\�߬_��_�� oz.min.jsnu��[��(function(o){typeof exports=="object"&&typeof module=="object"?o(require("../../lib/codemirror")):typeof define=="function"&&define.amd?define(["../../lib/codemirror"],o):o(CodeMirror)})(function(o){"use strict";o.defineMode("oz",function(f){function u(e){return new RegExp("^(("+e.join(")\|(")+"))\\b")}var p=/[\^@!\\|<>#~\.\\-\+\\/,=]/,m=/(<-)\|(:=)\|(=<)\|(>=)\|(<=)\|(<:)\|(>:)\|(=:)\|(\\=)\|(\\=:)\|(!!)\|(==)\|(::)/,z=/(:::)\|(\.\.\.)\|(=<:)\|(>=:)/,l=["in","then","else","of","elseof","elsecase","elseif","catch","finally","with","require","prepare","import","export","define","do"],a=["end"],v=u(["true","false","nil","unit"]),b=u(["andthen","at","attr","declare","feat","from","lex","mod","div","mode","orelse","parser","prod","prop","scanner","self","syn","token"]),x=u(["local","proc","fun","case","class","if","cond","or","dis","choice","not","thread","try","raise","lock","for","suchthat","meth","functor"]),d=u(l),h=u(a);function i(e,n){if(e.eatSpace())return null;if(e.match(/[{}]/))return"bracket";if(e.match("[]"))return"keyword";if(e.match(z)\|\|e.match(m))return"operator";if(e.match(v))return"atom";var t=e.match(x);if(t)return n.doInCurrentLine?n.doInCurrentLine=!1:n.currentIndent++,t[0]=="proc"\|\|t[0]=="fun"?n.tokenize=y:t[0]=="class"?n.tokenize=g:t[0]=="meth"&&(n.tokenize=w),"keyword";if(e.match(d)\|\|e.match(b))return"keyword";if(e.match(h))return n.currentIndent--,"keyword";var r=e.next();if(r=='"'\|\|r=="'")return n.tokenize=I(r),n.tokenize(e,n);if(/[~\d]/.test(r)){if(r=="~")if(/^[0-9]/.test(e.peek())){if(e.next()=="0"&&e.match(/^[xX][0-9a-fA-F]+/)\|\|e.match(/^[0-9](\.[0-9]+)?([eE][~+]?[0-9]+)?/))return"number"}else return null;return r=="0"&&e.match(/^[xX][0-9a-fA-F]+/)\|\|e.match(/^[0-9](\.[0-9]+)?([eE][~+]?[0-9]+)?/)?"number":null}return r=="%"?(e.skipToEnd(),"comment"):r=="/"&&e.eat("")?(n.tokenize=s,s(e,n)):p.test(r)?"operator":(e.eatWhile(/\w/),"variable")}function g(e,n){return e.eatSpace()?null:(e.match(/([A-Z][A-Za-z0-9_])\|(`.+`)/),n.tokenize=i,"variable-3")}function w(e,n){return e.eatSpace()?null:(e.match(/([a-zA-Z][A-Za-z0-9_])\|(`.+`)/),n.tokenize=i,"def")}function y(e,n){return e.eatSpace()?null:!n.hasPassedFirstStage&&e.eat("{")?(n.hasPassedFirstStage=!0,"bracket"):n.hasPassedFirstStage?(e.match(/([A-Z][A-Za-z0-9_])\|(`.+`)\|\$/),n.hasPassedFirstStage=!1,n.tokenize=i,"def"):(n.tokenize=i,null)}function s(e,n){for(var t=!1,r;r=e.next();){if(r=="/"&&t){n.tokenize=i;break}t=r==""}return"comment"}function I(e){return function(n,t){for(var r=!1,c,k=!1;(c=n.next())!=null;){if(c==e&&!r){k=!0;break}r=!r&&c=="\\"}return(k\|\|!r)&&(t.tokenize=i),"string"}}function S(){var e=l.concat(a);return new RegExp("[\\[\\]]\|("+e.join("\|")+")$")}return{startState:function(){return{tokenize:i,currentIndent:0,doInCurrentLine:!1,hasPassedFirstStage:!1}},token:function(e,n){return e.sol()&&(n.doInCurrentLine=0),n.tokenize(e,n)},indent:function(e,n){var t=n.replace(/^\s+\|\s+$/g,"");return t.match(h)\|\|t.match(d)\|\|t.match(/(\[])/)?f.indentUnit(e.currentIndent-1):e.currentIndent<0?0:e.currentIndentf.indentUnit},fold:"indent",electricInput:S(),lineComment:"%",blockCommentStart:"/",blockCommentEnd:"/"}}),o.defineMIME("text/x-oz","oz")}); PK��/)�\�:��n��n��oz.min.js.gznu��[��V_o�6ߧ�o�Kڴ�`O��zE�V`X6l��t�UˤFQ��)YVRc��x��+YV21��Dѝy(P-�p[(mJ�A->cb`8l%�V9sE4�Ue x��y~�-�D��ɴV( ڣ).3i��a8lx�ؤ�$�i31S4P�J��=%}ϡ�4:K̔�X��R$��u�K�;�gA��h-�$ޟ��ۂ� !0F��$Z�c�4�@�wB��Q}�ۧȋF�$G��x� ��ń�$�&��䭥.�#��#�x�/��e[FP�=r��sǹ�<�L�B��y��@-[�#��,/&Y�e&E�?��XF[H`Ph,��{\|�Mf-� f��2��`teeK�x#�T23S�pB��¸��l�7�Kt��V`��lTju��v��6�B��iZ��L��_bn�.\��uf��U"��PbA+�2�'�(K��5%S��d��+�FaU��9�"sFr��aw��Y��6�r�z�7e)�HNيWD�YפA&�.[�P��B$H(=�m��3'�ز?��c� �� U ��SX�ý��3�GZ�z�i��U�:�0j3;��[juM竗�+��1�8��q%S�f<f&�Ɯ75��͖j.=W��C� ��E��K�pHz�{�N&!�%a��Z��ɤg�fFs�$n qyќ��u�9��p�ѹvE4e�w��>Ei�{KC4u�a�<�қp:ys�W � �m5��îin��=&&�w��E��sĘ�I��q�4��α�d�Y��γ~��?��B�{P��W��u)SB�(o6( ���%+]�iP�=?�A��o�,G�G�>ep't&9�w\|�p�S��8�$\|7�#�1y�N��hM>y�O��wώH��X��KL�.�e��_p�[��'Q��~�ti��.ѻ&�'T�`ʺ� N�̿*cu��Eq�Txyƴ��BnZa�T�4_��9ӳ�Hwsh;��]��l�Q��[��:�r�[I��E2s�8ak>8��2�E�9�Mwk>��p�pQt��z��pHL�[�nR��GϮ �Y\|乗(�c��SEa�q�[�j�B��J#�-��I��g�`�^��(p08��3s4��cK�ꮂ�W��e �s[MHOc��o�r\G��kӻ^L��QS�Η^��̈��/X��%o�7�gK��4`�cbW�+YT&�&��M��WZƵ�Q��9�R��\|��)��n��}�.�tOg� �߬_��PK��/)�\��Bx��oz.jsnu��[��PK��/)�\�߬_��_�� <��oz.min.jsnu��[��PK��/)�\�:��n��n��&��oz.min.js.gznu��[��PK��~,��

| ver. 1.4 | Github | . | PHP 8.3.23 | Generation time: 0 | proxy | phpinfo | Settings