UNPKG

3.75 kBJavaScriptView Raw
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
14CodeMirror.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
158CodeMirror.defineMIME("text/x-eiffel", "eiffel");
159
160});