File modules/editor/codemirror/mode/oz/oz.js
Last commit: Sun Dec 17 01:14:09 2017 +0100 Jan Dankert Integration eines weiteren Code-Editors: Codemirror. Demnächst müssen wir hier mal aufräumen und andere Editoren rauswerfen.
1 // CodeMirror, copyright (c) by Marijn Haverbeke and others 2 // Distributed under an MIT license: http://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 CodeMirror.defineMode("oz", function (conf) { 15 16 function wordRegexp(words) { 17 return new RegExp("^((" + words.join(")|(") + "))\\b"); 18 } 19 20 var singleOperators = /[\^@!\|<>#~\.\*\-\+\\/,=]/; 21 var doubleOperators = /(<-)|(:=)|(=<)|(>=)|(<=)|(<:)|(>:)|(=:)|(\\=)|(\\=:)|(!!)|(==)|(::)/; 22 var tripleOperators = /(:::)|(\.\.\.)|(=<:)|(>=:)/; 23 24 var middle = ["in", "then", "else", "of", "elseof", "elsecase", "elseif", "catch", 25 "finally", "with", "require", "prepare", "import", "export", "define", "do"]; 26 var end = ["end"]; 27 28 var atoms = wordRegexp(["true", "false", "nil", "unit"]); 29 var commonKeywords = wordRegexp(["andthen", "at", "attr", "declare", "feat", "from", "lex", 30 "mod", "div", "mode", "orelse", "parser", "prod", "prop", "scanner", "self", "syn", "token"]); 31 var openingKeywords = wordRegexp(["local", "proc", "fun", "case", "class", "if", "cond", "or", "dis", 32 "choice", "not", "thread", "try", "raise", "lock", "for", "suchthat", "meth", "functor"]); 33 var middleKeywords = wordRegexp(middle); 34 var endKeywords = wordRegexp(end); 35 36 // Tokenizers 37 function tokenBase(stream, state) { 38 if (stream.eatSpace()) { 39 return null; 40 } 41 42 // Brackets 43 if(stream.match(/[{}]/)) { 44 return "bracket"; 45 } 46 47 // Special [] keyword 48 if (stream.match(/(\[])/)) { 49 return "keyword" 50 } 51 52 // Operators 53 if (stream.match(tripleOperators) || stream.match(doubleOperators)) { 54 return "operator"; 55 } 56 57 // Atoms 58 if(stream.match(atoms)) { 59 return 'atom'; 60 } 61 62 // Opening keywords 63 var matched = stream.match(openingKeywords); 64 if (matched) { 65 if (!state.doInCurrentLine) 66 state.currentIndent++; 67 else 68 state.doInCurrentLine = false; 69 70 // Special matching for signatures 71 if(matched[0] == "proc" || matched[0] == "fun") 72 state.tokenize = tokenFunProc; 73 else if(matched[0] == "class") 74 state.tokenize = tokenClass; 75 else if(matched[0] == "meth") 76 state.tokenize = tokenMeth; 77 78 return 'keyword'; 79 } 80 81 // Middle and other keywords 82 if (stream.match(middleKeywords) || stream.match(commonKeywords)) { 83 return "keyword" 84 } 85 86 // End keywords 87 if (stream.match(endKeywords)) { 88 state.currentIndent--; 89 return 'keyword'; 90 } 91 92 // Eat the next char for next comparisons 93 var ch = stream.next(); 94 95 // Strings 96 if (ch == '"' || ch == "'") { 97 state.tokenize = tokenString(ch); 98 return state.tokenize(stream, state); 99 } 100 101 // Numbers 102 if (/[~\d]/.test(ch)) { 103 if (ch == "~") { 104 if(! /^[0-9]/.test(stream.peek())) 105 return null; 106 else if (( stream.next() == "0" && stream.match(/^[xX][0-9a-fA-F]+/)) || stream.match(/^[0-9]*(\.[0-9]+)?([eE][~+]?[0-9]+)?/)) 107 return "number"; 108 } 109 110 if ((ch == "0" && stream.match(/^[xX][0-9a-fA-F]+/)) || stream.match(/^[0-9]*(\.[0-9]+)?([eE][~+]?[0-9]+)?/)) 111 return "number"; 112 113 return null; 114 } 115 116 // Comments 117 if (ch == "%") { 118 stream.skipToEnd(); 119 return 'comment'; 120 } 121 else if (ch == "/") { 122 if (stream.eat("*")) { 123 state.tokenize = tokenComment; 124 return tokenComment(stream, state); 125 } 126 } 127 128 // Single operators 129 if(singleOperators.test(ch)) { 130 return "operator"; 131 } 132 133 // If nothing match, we skip the entire alphanumerical block 134 stream.eatWhile(/\w/); 135 136 return "variable"; 137 } 138 139 function tokenClass(stream, state) { 140 if (stream.eatSpace()) { 141 return null; 142 } 143 stream.match(/([A-Z][A-Za-z0-9_]*)|(`.+`)/); 144 state.tokenize = tokenBase; 145 return "variable-3" 146 } 147 148 function tokenMeth(stream, state) { 149 if (stream.eatSpace()) { 150 return null; 151 } 152 stream.match(/([a-zA-Z][A-Za-z0-9_]*)|(`.+`)/); 153 state.tokenize = tokenBase; 154 return "def" 155 } 156 157 function tokenFunProc(stream, state) { 158 if (stream.eatSpace()) { 159 return null; 160 } 161 162 if(!state.hasPassedFirstStage && stream.eat("{")) { 163 state.hasPassedFirstStage = true; 164 return "bracket"; 165 } 166 else if(state.hasPassedFirstStage) { 167 stream.match(/([A-Z][A-Za-z0-9_]*)|(`.+`)|\$/); 168 state.hasPassedFirstStage = false; 169 state.tokenize = tokenBase; 170 return "def" 171 } 172 else { 173 state.tokenize = tokenBase; 174 return null; 175 } 176 } 177 178 function tokenComment(stream, state) { 179 var maybeEnd = false, ch; 180 while (ch = stream.next()) { 181 if (ch == "/" && maybeEnd) { 182 state.tokenize = tokenBase; 183 break; 184 } 185 maybeEnd = (ch == "*"); 186 } 187 return "comment"; 188 } 189 190 function tokenString(quote) { 191 return function (stream, state) { 192 var escaped = false, next, end = false; 193 while ((next = stream.next()) != null) { 194 if (next == quote && !escaped) { 195 end = true; 196 break; 197 } 198 escaped = !escaped && next == "\\"; 199 } 200 if (end || !escaped) 201 state.tokenize = tokenBase; 202 return "string"; 203 }; 204 } 205 206 function buildElectricInputRegEx() { 207 // Reindentation should occur on [] or on a match of any of 208 // the block closing keywords, at the end of a line. 209 var allClosings = middle.concat(end); 210 return new RegExp("[\\[\\]]|(" + allClosings.join("|") + ")$"); 211 } 212 213 return { 214 215 startState: function () { 216 return { 217 tokenize: tokenBase, 218 currentIndent: 0, 219 doInCurrentLine: false, 220 hasPassedFirstStage: false 221 }; 222 }, 223 224 token: function (stream, state) { 225 if (stream.sol()) 226 state.doInCurrentLine = 0; 227 228 return state.tokenize(stream, state); 229 }, 230 231 indent: function (state, textAfter) { 232 var trueText = textAfter.replace(/^\s+|\s+$/g, ''); 233 234 if (trueText.match(endKeywords) || trueText.match(middleKeywords) || trueText.match(/(\[])/)) 235 return conf.indentUnit * (state.currentIndent - 1); 236 237 if (state.currentIndent < 0) 238 return 0; 239 240 return state.currentIndent * conf.indentUnit; 241 }, 242 fold: "indent", 243 electricInput: buildElectricInputRegEx(), 244 lineComment: "%", 245 blockCommentStart: "/*", 246 blockCommentEnd: "*/" 247 }; 248 }); 249 250 CodeMirror.defineMIME("text/x-oz", "oz"); 251 252 });
Downloadmodules/editor/codemirror/mode/oz/oz.js
History Sun, 17 Dec 2017 01:14:09 +0100 Jan Dankert Integration eines weiteren Code-Editors: Codemirror. Demnächst müssen wir hier mal aufräumen und andere Editoren rauswerfen.