annotate .cms/lib/codemirror/mode/ttcn/ttcn.js @ 1:1d486627aa1e draft default tip

24.10
author Coffee CMS <info@coffee-cms.ru>
date Sat, 12 Oct 2024 02:51:39 +0000
parents 78edf6b517a0
children
Ignore whitespace changes - Everywhere: Within whitespace: At end of lines:
rev   line source
0
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
1 // CodeMirror, copyright (c) by Marijn Haverbeke and others
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
2 // Distributed under an MIT license: https://codemirror.net/5/LICENSE
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
3
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
4 (function(mod) {
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
5 if (typeof exports == "object" && typeof module == "object") // CommonJS
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
6 mod(require("../../lib/codemirror"));
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
7 else if (typeof define == "function" && define.amd) // AMD
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
8 define(["../../lib/codemirror"], mod);
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
9 else // Plain browser env
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
10 mod(CodeMirror);
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
11 })(function(CodeMirror) {
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
12 "use strict";
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
13
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
14 CodeMirror.defineMode("ttcn", function(config, parserConfig) {
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
15 var indentUnit = config.indentUnit,
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
16 keywords = parserConfig.keywords || {},
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
17 builtin = parserConfig.builtin || {},
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
18 timerOps = parserConfig.timerOps || {},
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
19 portOps = parserConfig.portOps || {},
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
20 configOps = parserConfig.configOps || {},
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
21 verdictOps = parserConfig.verdictOps || {},
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
22 sutOps = parserConfig.sutOps || {},
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
23 functionOps = parserConfig.functionOps || {},
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
24
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
25 verdictConsts = parserConfig.verdictConsts || {},
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
26 booleanConsts = parserConfig.booleanConsts || {},
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
27 otherConsts = parserConfig.otherConsts || {},
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
28
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
29 types = parserConfig.types || {},
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
30 visibilityModifiers = parserConfig.visibilityModifiers || {},
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
31 templateMatch = parserConfig.templateMatch || {},
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
32 multiLineStrings = parserConfig.multiLineStrings,
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
33 indentStatements = parserConfig.indentStatements !== false;
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
34 var isOperatorChar = /[+\-*&@=<>!\/]/;
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
35 var curPunc;
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
36
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
37 function tokenBase(stream, state) {
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
38 var ch = stream.next();
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
39
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
40 if (ch == '"' || ch == "'") {
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
41 state.tokenize = tokenString(ch);
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
42 return state.tokenize(stream, state);
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
43 }
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
44 if (/[\[\]{}\(\),;\\:\?\.]/.test(ch)) {
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
45 curPunc = ch;
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
46 return "punctuation";
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
47 }
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
48 if (ch == "#"){
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
49 stream.skipToEnd();
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
50 return "atom preprocessor";
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
51 }
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
52 if (ch == "%"){
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
53 stream.eatWhile(/\b/);
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
54 return "atom ttcn3Macros";
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
55 }
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
56 if (/\d/.test(ch)) {
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
57 stream.eatWhile(/[\w\.]/);
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
58 return "number";
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
59 }
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
60 if (ch == "/") {
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
61 if (stream.eat("*")) {
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
62 state.tokenize = tokenComment;
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
63 return tokenComment(stream, state);
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
64 }
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
65 if (stream.eat("/")) {
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
66 stream.skipToEnd();
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
67 return "comment";
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
68 }
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
69 }
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
70 if (isOperatorChar.test(ch)) {
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
71 if(ch == "@"){
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
72 if(stream.match("try") || stream.match("catch")
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
73 || stream.match("lazy")){
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
74 return "keyword";
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
75 }
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
76 }
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
77 stream.eatWhile(isOperatorChar);
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
78 return "operator";
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
79 }
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
80 stream.eatWhile(/[\w\$_\xa1-\uffff]/);
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
81 var cur = stream.current();
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
82
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
83 if (keywords.propertyIsEnumerable(cur)) return "keyword";
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
84 if (builtin.propertyIsEnumerable(cur)) return "builtin";
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
85
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
86 if (timerOps.propertyIsEnumerable(cur)) return "def timerOps";
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
87 if (configOps.propertyIsEnumerable(cur)) return "def configOps";
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
88 if (verdictOps.propertyIsEnumerable(cur)) return "def verdictOps";
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
89 if (portOps.propertyIsEnumerable(cur)) return "def portOps";
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
90 if (sutOps.propertyIsEnumerable(cur)) return "def sutOps";
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
91 if (functionOps.propertyIsEnumerable(cur)) return "def functionOps";
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
92
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
93 if (verdictConsts.propertyIsEnumerable(cur)) return "string verdictConsts";
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
94 if (booleanConsts.propertyIsEnumerable(cur)) return "string booleanConsts";
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
95 if (otherConsts.propertyIsEnumerable(cur)) return "string otherConsts";
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
96
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
97 if (types.propertyIsEnumerable(cur)) return "builtin types";
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
98 if (visibilityModifiers.propertyIsEnumerable(cur))
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
99 return "builtin visibilityModifiers";
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
100 if (templateMatch.propertyIsEnumerable(cur)) return "atom templateMatch";
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
101
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
102 return "variable";
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
103 }
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
104
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
105 function tokenString(quote) {
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
106 return function(stream, state) {
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
107 var escaped = false, next, end = false;
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
108 while ((next = stream.next()) != null) {
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
109 if (next == quote && !escaped){
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
110 var afterQuote = stream.peek();
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
111 //look if the character after the quote is like the B in '10100010'B
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
112 if (afterQuote){
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
113 afterQuote = afterQuote.toLowerCase();
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
114 if(afterQuote == "b" || afterQuote == "h" || afterQuote == "o")
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
115 stream.next();
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
116 }
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
117 end = true; break;
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
118 }
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
119 escaped = !escaped && next == "\\";
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
120 }
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
121 if (end || !(escaped || multiLineStrings))
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
122 state.tokenize = null;
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
123 return "string";
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
124 };
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
125 }
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
126
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
127 function tokenComment(stream, state) {
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
128 var maybeEnd = false, ch;
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
129 while (ch = stream.next()) {
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
130 if (ch == "/" && maybeEnd) {
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
131 state.tokenize = null;
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
132 break;
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
133 }
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
134 maybeEnd = (ch == "*");
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
135 }
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
136 return "comment";
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
137 }
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
138
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
139 function Context(indented, column, type, align, prev) {
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
140 this.indented = indented;
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
141 this.column = column;
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
142 this.type = type;
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
143 this.align = align;
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
144 this.prev = prev;
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
145 }
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
146
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
147 function pushContext(state, col, type) {
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
148 var indent = state.indented;
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
149 if (state.context && state.context.type == "statement")
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
150 indent = state.context.indented;
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
151 return state.context = new Context(indent, col, type, null, state.context);
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
152 }
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
153
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
154 function popContext(state) {
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
155 var t = state.context.type;
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
156 if (t == ")" || t == "]" || t == "}")
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
157 state.indented = state.context.indented;
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
158 return state.context = state.context.prev;
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
159 }
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
160
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
161 //Interface
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
162 return {
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
163 startState: function(basecolumn) {
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
164 return {
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
165 tokenize: null,
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
166 context: new Context((basecolumn || 0) - indentUnit, 0, "top", false),
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
167 indented: 0,
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
168 startOfLine: true
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
169 };
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
170 },
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
171
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
172 token: function(stream, state) {
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
173 var ctx = state.context;
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
174 if (stream.sol()) {
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
175 if (ctx.align == null) ctx.align = false;
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
176 state.indented = stream.indentation();
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
177 state.startOfLine = true;
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
178 }
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
179 if (stream.eatSpace()) return null;
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
180 curPunc = null;
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
181 var style = (state.tokenize || tokenBase)(stream, state);
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
182 if (style == "comment") return style;
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
183 if (ctx.align == null) ctx.align = true;
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
184
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
185 if ((curPunc == ";" || curPunc == ":" || curPunc == ",")
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
186 && ctx.type == "statement"){
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
187 popContext(state);
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
188 }
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
189 else if (curPunc == "{") pushContext(state, stream.column(), "}");
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
190 else if (curPunc == "[") pushContext(state, stream.column(), "]");
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
191 else if (curPunc == "(") pushContext(state, stream.column(), ")");
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
192 else if (curPunc == "}") {
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
193 while (ctx.type == "statement") ctx = popContext(state);
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
194 if (ctx.type == "}") ctx = popContext(state);
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
195 while (ctx.type == "statement") ctx = popContext(state);
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
196 }
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
197 else if (curPunc == ctx.type) popContext(state);
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
198 else if (indentStatements &&
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
199 (((ctx.type == "}" || ctx.type == "top") && curPunc != ';') ||
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
200 (ctx.type == "statement" && curPunc == "newstatement")))
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
201 pushContext(state, stream.column(), "statement");
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
202
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
203 state.startOfLine = false;
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
204
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
205 return style;
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
206 },
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
207
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
208 electricChars: "{}",
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
209 blockCommentStart: "/*",
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
210 blockCommentEnd: "*/",
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
211 lineComment: "//",
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
212 fold: "brace"
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
213 };
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
214 });
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
215
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
216 function words(str) {
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
217 var obj = {}, words = str.split(" ");
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
218 for (var i = 0; i < words.length; ++i) obj[words[i]] = true;
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
219 return obj;
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
220 }
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
221
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
222 function def(mimes, mode) {
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
223 if (typeof mimes == "string") mimes = [mimes];
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
224 var words = [];
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
225 function add(obj) {
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
226 if (obj) for (var prop in obj) if (obj.hasOwnProperty(prop))
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
227 words.push(prop);
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
228 }
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
229
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
230 add(mode.keywords);
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
231 add(mode.builtin);
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
232 add(mode.timerOps);
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
233 add(mode.portOps);
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
234
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
235 if (words.length) {
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
236 mode.helperType = mimes[0];
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
237 CodeMirror.registerHelper("hintWords", mimes[0], words);
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
238 }
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
239
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
240 for (var i = 0; i < mimes.length; ++i)
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
241 CodeMirror.defineMIME(mimes[i], mode);
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
242 }
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
243
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
244 def(["text/x-ttcn", "text/x-ttcn3", "text/x-ttcnpp"], {
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
245 name: "ttcn",
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
246 keywords: words("activate address alive all alt altstep and and4b any" +
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
247 " break case component const continue control deactivate" +
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
248 " display do else encode enumerated except exception" +
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
249 " execute extends extension external for from function" +
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
250 " goto group if import in infinity inout interleave" +
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
251 " label language length log match message mixed mod" +
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
252 " modifies module modulepar mtc noblock not not4b nowait" +
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
253 " of on optional or or4b out override param pattern port" +
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
254 " procedure record recursive rem repeat return runs select" +
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
255 " self sender set signature system template testcase to" +
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
256 " type union value valueof var variant while with xor xor4b"),
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
257 builtin: words("bit2hex bit2int bit2oct bit2str char2int char2oct encvalue" +
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
258 " decomp decvalue float2int float2str hex2bit hex2int" +
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
259 " hex2oct hex2str int2bit int2char int2float int2hex" +
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
260 " int2oct int2str int2unichar isbound ischosen ispresent" +
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
261 " isvalue lengthof log2str oct2bit oct2char oct2hex oct2int" +
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
262 " oct2str regexp replace rnd sizeof str2bit str2float" +
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
263 " str2hex str2int str2oct substr unichar2int unichar2char" +
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
264 " enum2int"),
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
265 types: words("anytype bitstring boolean char charstring default float" +
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
266 " hexstring integer objid octetstring universal verdicttype timer"),
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
267 timerOps: words("read running start stop timeout"),
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
268 portOps: words("call catch check clear getcall getreply halt raise receive" +
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
269 " reply send trigger"),
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
270 configOps: words("create connect disconnect done kill killed map unmap"),
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
271 verdictOps: words("getverdict setverdict"),
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
272 sutOps: words("action"),
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
273 functionOps: words("apply derefers refers"),
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
274
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
275 verdictConsts: words("error fail inconc none pass"),
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
276 booleanConsts: words("true false"),
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
277 otherConsts: words("null NULL omit"),
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
278
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
279 visibilityModifiers: words("private public friend"),
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
280 templateMatch: words("complement ifpresent subset superset permutation"),
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
281 multiLineStrings: true
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
282 });
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
283 });