annotate .cms/lib/codemirror/mode/ttcn-cfg/ttcn-cfg.js @ 0:78edf6b517a0 draft

24.10
author Coffee CMS <info@coffee-cms.ru>
date Fri, 11 Oct 2024 22:40:23 +0000
parents
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-cfg", 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 fileNCtrlMaskOptions = parserConfig.fileNCtrlMaskOptions || {},
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
18 externalCommands = parserConfig.externalCommands || {},
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
19 multiLineStrings = parserConfig.multiLineStrings,
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
20 indentStatements = parserConfig.indentStatements !== false;
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
21 var isOperatorChar = /[\|]/;
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
22 var curPunc;
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
23
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
24 function tokenBase(stream, state) {
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
25 var ch = stream.next();
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
26 if (ch == '"' || ch == "'") {
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
27 state.tokenize = tokenString(ch);
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
28 return state.tokenize(stream, state);
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
29 }
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
30 if (/[:=]/.test(ch)) {
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
31 curPunc = ch;
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
32 return "punctuation";
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
33 }
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
34 if (ch == "#"){
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
35 stream.skipToEnd();
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
36 return "comment";
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
37 }
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
38 if (/\d/.test(ch)) {
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
39 stream.eatWhile(/[\w\.]/);
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
40 return "number";
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
41 }
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
42 if (isOperatorChar.test(ch)) {
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
43 stream.eatWhile(isOperatorChar);
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
44 return "operator";
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
45 }
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
46 if (ch == "["){
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
47 stream.eatWhile(/[\w_\]]/);
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
48 return "number sectionTitle";
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
49 }
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
50
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
51 stream.eatWhile(/[\w\$_]/);
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
52 var cur = stream.current();
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
53 if (keywords.propertyIsEnumerable(cur)) return "keyword";
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
54 if (fileNCtrlMaskOptions.propertyIsEnumerable(cur))
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
55 return "negative fileNCtrlMaskOptions";
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
56 if (externalCommands.propertyIsEnumerable(cur)) return "negative externalCommands";
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
57
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
58 return "variable";
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
59 }
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
60
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
61 function tokenString(quote) {
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
62 return function(stream, state) {
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
63 var escaped = false, next, end = false;
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
64 while ((next = stream.next()) != null) {
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
65 if (next == quote && !escaped){
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
66 var afterNext = stream.peek();
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
67 //look if the character if the quote is like the B in '10100010'B
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
68 if (afterNext){
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
69 afterNext = afterNext.toLowerCase();
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
70 if(afterNext == "b" || afterNext == "h" || afterNext == "o")
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
71 stream.next();
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
72 }
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
73 end = true; break;
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
74 }
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
75 escaped = !escaped && next == "\\";
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
76 }
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
77 if (end || !(escaped || multiLineStrings))
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
78 state.tokenize = null;
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
79 return "string";
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
80 };
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
81 }
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
82
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
83 function Context(indented, column, type, align, prev) {
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
84 this.indented = indented;
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
85 this.column = column;
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
86 this.type = type;
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
87 this.align = align;
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
88 this.prev = prev;
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
89 }
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
90 function pushContext(state, col, type) {
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
91 var indent = state.indented;
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
92 if (state.context && state.context.type == "statement")
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
93 indent = state.context.indented;
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
94 return state.context = new Context(indent, col, type, null, state.context);
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
95 }
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
96 function popContext(state) {
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
97 var t = state.context.type;
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
98 if (t == ")" || t == "]" || t == "}")
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
99 state.indented = state.context.indented;
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
100 return state.context = state.context.prev;
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
101 }
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
102
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
103 //Interface
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
104 return {
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
105 startState: function(basecolumn) {
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
106 return {
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
107 tokenize: null,
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
108 context: new Context((basecolumn || 0) - indentUnit, 0, "top", false),
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
109 indented: 0,
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
110 startOfLine: true
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
111 };
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
112 },
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
113
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
114 token: function(stream, state) {
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
115 var ctx = state.context;
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
116 if (stream.sol()) {
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
117 if (ctx.align == null) ctx.align = false;
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
118 state.indented = stream.indentation();
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
119 state.startOfLine = true;
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
120 }
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
121 if (stream.eatSpace()) return null;
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
122 curPunc = null;
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
123 var style = (state.tokenize || tokenBase)(stream, state);
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
124 if (style == "comment") return style;
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
125 if (ctx.align == null) ctx.align = true;
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
126
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
127 if ((curPunc == ";" || curPunc == ":" || curPunc == ",")
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
128 && ctx.type == "statement"){
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
129 popContext(state);
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
130 }
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
131 else if (curPunc == "{") pushContext(state, stream.column(), "}");
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
132 else if (curPunc == "[") pushContext(state, stream.column(), "]");
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
133 else if (curPunc == "(") pushContext(state, stream.column(), ")");
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
134 else if (curPunc == "}") {
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
135 while (ctx.type == "statement") ctx = popContext(state);
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
136 if (ctx.type == "}") ctx = popContext(state);
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
137 while (ctx.type == "statement") ctx = popContext(state);
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
138 }
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
139 else if (curPunc == ctx.type) popContext(state);
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
140 else if (indentStatements && (((ctx.type == "}" || ctx.type == "top")
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
141 && curPunc != ';') || (ctx.type == "statement"
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
142 && curPunc == "newstatement")))
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
143 pushContext(state, stream.column(), "statement");
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
144 state.startOfLine = false;
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
145 return style;
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
146 },
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
147
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
148 electricChars: "{}",
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
149 lineComment: "#",
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
150 fold: "brace"
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
151 };
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 words(str) {
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
155 var obj = {}, words = str.split(" ");
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
156 for (var i = 0; i < words.length; ++i)
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
157 obj[words[i]] = true;
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
158 return obj;
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 CodeMirror.defineMIME("text/x-ttcn-cfg", {
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
162 name: "ttcn-cfg",
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
163 keywords: words("Yes No LogFile FileMask ConsoleMask AppendFile" +
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
164 " TimeStampFormat LogEventTypes SourceInfoFormat" +
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
165 " LogEntityName LogSourceInfo DiskFullAction" +
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
166 " LogFileNumber LogFileSize MatchingHints Detailed" +
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
167 " Compact SubCategories Stack Single None Seconds" +
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
168 " DateTime Time Stop Error Retry Delete TCPPort KillTimer" +
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
169 " NumHCs UnixSocketsEnabled LocalAddress"),
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
170 fileNCtrlMaskOptions: words("TTCN_EXECUTOR TTCN_ERROR TTCN_WARNING" +
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
171 " TTCN_PORTEVENT TTCN_TIMEROP TTCN_VERDICTOP" +
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
172 " TTCN_DEFAULTOP TTCN_TESTCASE TTCN_ACTION" +
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
173 " TTCN_USER TTCN_FUNCTION TTCN_STATISTICS" +
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
174 " TTCN_PARALLEL TTCN_MATCHING TTCN_DEBUG" +
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
175 " EXECUTOR ERROR WARNING PORTEVENT TIMEROP" +
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
176 " VERDICTOP DEFAULTOP TESTCASE ACTION USER" +
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
177 " FUNCTION STATISTICS PARALLEL MATCHING DEBUG" +
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
178 " LOG_ALL LOG_NOTHING ACTION_UNQUALIFIED" +
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
179 " DEBUG_ENCDEC DEBUG_TESTPORT" +
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
180 " DEBUG_UNQUALIFIED DEFAULTOP_ACTIVATE" +
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
181 " DEFAULTOP_DEACTIVATE DEFAULTOP_EXIT" +
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
182 " DEFAULTOP_UNQUALIFIED ERROR_UNQUALIFIED" +
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
183 " EXECUTOR_COMPONENT EXECUTOR_CONFIGDATA" +
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
184 " EXECUTOR_EXTCOMMAND EXECUTOR_LOGOPTIONS" +
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
185 " EXECUTOR_RUNTIME EXECUTOR_UNQUALIFIED" +
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
186 " FUNCTION_RND FUNCTION_UNQUALIFIED" +
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
187 " MATCHING_DONE MATCHING_MCSUCCESS" +
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
188 " MATCHING_MCUNSUCC MATCHING_MMSUCCESS" +
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
189 " MATCHING_MMUNSUCC MATCHING_PCSUCCESS" +
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
190 " MATCHING_PCUNSUCC MATCHING_PMSUCCESS" +
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
191 " MATCHING_PMUNSUCC MATCHING_PROBLEM" +
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
192 " MATCHING_TIMEOUT MATCHING_UNQUALIFIED" +
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
193 " PARALLEL_PORTCONN PARALLEL_PORTMAP" +
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
194 " PARALLEL_PTC PARALLEL_UNQUALIFIED" +
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
195 " PORTEVENT_DUALRECV PORTEVENT_DUALSEND" +
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
196 " PORTEVENT_MCRECV PORTEVENT_MCSEND" +
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
197 " PORTEVENT_MMRECV PORTEVENT_MMSEND" +
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
198 " PORTEVENT_MQUEUE PORTEVENT_PCIN" +
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
199 " PORTEVENT_PCOUT PORTEVENT_PMIN" +
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
200 " PORTEVENT_PMOUT PORTEVENT_PQUEUE" +
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
201 " PORTEVENT_STATE PORTEVENT_UNQUALIFIED" +
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
202 " STATISTICS_UNQUALIFIED STATISTICS_VERDICT" +
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
203 " TESTCASE_FINISH TESTCASE_START" +
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
204 " TESTCASE_UNQUALIFIED TIMEROP_GUARD" +
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
205 " TIMEROP_READ TIMEROP_START TIMEROP_STOP" +
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
206 " TIMEROP_TIMEOUT TIMEROP_UNQUALIFIED" +
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
207 " USER_UNQUALIFIED VERDICTOP_FINAL" +
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
208 " VERDICTOP_GETVERDICT VERDICTOP_SETVERDICT" +
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
209 " VERDICTOP_UNQUALIFIED WARNING_UNQUALIFIED"),
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
210 externalCommands: words("BeginControlPart EndControlPart BeginTestCase" +
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
211 " EndTestCase"),
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
212 multiLineStrings: true
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
213 });
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
214 });