File modules/editor/codemirror/mode/eiffel/eiffel.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("eiffel", function() { 15 function wordObj(words) { 16 var o = {}; 17 for (var i = 0, e = words.length; i < e; ++i) o[words[i]] = true; 18 return o; 19 } 20 var keywords = wordObj([ 21 'note', 22 'across', 23 'when', 24 'variant', 25 'until', 26 'unique', 27 'undefine', 28 'then', 29 'strip', 30 'select', 31 'retry', 32 'rescue', 33 'require', 34 'rename', 35 'reference', 36 'redefine', 37 'prefix', 38 'once', 39 'old', 40 'obsolete', 41 'loop', 42 'local', 43 'like', 44 'is', 45 'inspect', 46 'infix', 47 'include', 48 'if', 49 'frozen', 50 'from', 51 'external', 52 'export', 53 'ensure', 54 'end', 55 'elseif', 56 'else', 57 'do', 58 'creation', 59 'create', 60 'check', 61 'alias', 62 'agent', 63 'separate', 64 'invariant', 65 'inherit', 66 'indexing', 67 'feature', 68 'expanded', 69 'deferred', 70 'class', 71 'Void', 72 'True', 73 'Result', 74 'Precursor', 75 'False', 76 'Current', 77 'create', 78 'attached', 79 'detachable', 80 'as', 81 'and', 82 'implies', 83 'not', 84 'or' 85 ]); 86 var operators = wordObj([":=", "and then","and", "or","<<",">>"]); 87 88 function chain(newtok, stream, state) { 89 state.tokenize.push(newtok); 90 return newtok(stream, state); 91 } 92 93 function tokenBase(stream, state) { 94 if (stream.eatSpace()) return null; 95 var ch = stream.next(); 96 if (ch == '"'||ch == "'") { 97 return chain(readQuoted(ch, "string"), stream, state); 98 } else if (ch == "-"&&stream.eat("-")) { 99 stream.skipToEnd(); 100 return "comment"; 101 } else if (ch == ":"&&stream.eat("=")) { 102 return "operator"; 103 } else if (/[0-9]/.test(ch)) { 104 stream.eatWhile(/[xXbBCc0-9\.]/); 105 stream.eat(/[\?\!]/); 106 return "ident"; 107 } else if (/[a-zA-Z_0-9]/.test(ch)) { 108 stream.eatWhile(/[a-zA-Z_0-9]/); 109 stream.eat(/[\?\!]/); 110 return "ident"; 111 } else if (/[=+\-\/*^%<>~]/.test(ch)) { 112 stream.eatWhile(/[=+\-\/*^%<>~]/); 113 return "operator"; 114 } else { 115 return null; 116 } 117 } 118 119 function readQuoted(quote, style, unescaped) { 120 return function(stream, state) { 121 var escaped = false, ch; 122 while ((ch = stream.next()) != null) { 123 if (ch == quote && (unescaped || !escaped)) { 124 state.tokenize.pop(); 125 break; 126 } 127 escaped = !escaped && ch == "%"; 128 } 129 return style; 130 }; 131 } 132 133 return { 134 startState: function() { 135 return {tokenize: [tokenBase]}; 136 }, 137 138 token: function(stream, state) { 139 var style = state.tokenize[state.tokenize.length-1](stream, state); 140 if (style == "ident") { 141 var word = stream.current(); 142 style = keywords.propertyIsEnumerable(stream.current()) ? "keyword" 143 : operators.propertyIsEnumerable(stream.current()) ? "operator" 144 : /^[A-Z][A-Z_0-9]*$/g.test(word) ? "tag" 145 : /^0[bB][0-1]+$/g.test(word) ? "number" 146 : /^0[cC][0-7]+$/g.test(word) ? "number" 147 : /^0[xX][a-fA-F0-9]+$/g.test(word) ? "number" 148 : /^([0-9]+\.[0-9]*)|([0-9]*\.[0-9]+)$/g.test(word) ? "number" 149 : /^[0-9]+$/g.test(word) ? "number" 150 : "variable"; 151 } 152 return style; 153 }, 154 lineComment: "--" 155 }; 156 }); 157 158 CodeMirror.defineMIME("text/x-eiffel", "eiffel"); 159 160 });
Downloadmodules/editor/codemirror/mode/eiffel/eiffel.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.