|
|
// CodeMirror, copyright (c) by Marijn Haverbeke and others
|
|
|
// Distributed under an MIT license: https://codemirror.net/LICENSE
|
|
|
|
|
|
(function(mod) {
|
|
|
if (typeof exports == "object" && typeof module == "object") // CommonJS
|
|
|
mod(require("../../lib/codemirror"));
|
|
|
else if (typeof define == "function" && define.amd) // AMD
|
|
|
define(["../../lib/codemirror"], mod);
|
|
|
else // Plain browser env
|
|
|
mod(CodeMirror);
|
|
|
})(function(CodeMirror) {
|
|
|
"use strict";
|
|
|
|
|
|
CodeMirror.defineMode("ttcn", function(config, parserConfig) {
|
|
|
var indentUnit = config.indentUnit,
|
|
|
keywords = parserConfig.keywords || {},
|
|
|
builtin = parserConfig.builtin || {},
|
|
|
timerOps = parserConfig.timerOps || {},
|
|
|
portOps = parserConfig.portOps || {},
|
|
|
configOps = parserConfig.configOps || {},
|
|
|
verdictOps = parserConfig.verdictOps || {},
|
|
|
sutOps = parserConfig.sutOps || {},
|
|
|
functionOps = parserConfig.functionOps || {},
|
|
|
|
|
|
verdictConsts = parserConfig.verdictConsts || {},
|
|
|
booleanConsts = parserConfig.booleanConsts || {},
|
|
|
otherConsts = parserConfig.otherConsts || {},
|
|
|
|
|
|
types = parserConfig.types || {},
|
|
|
visibilityModifiers = parserConfig.visibilityModifiers || {},
|
|
|
templateMatch = parserConfig.templateMatch || {},
|
|
|
multiLineStrings = parserConfig.multiLineStrings,
|
|
|
indentStatements = parserConfig.indentStatements !== false;
|
|
|
var isOperatorChar = /[+\-*&@=<>!\/]/;
|
|
|
var curPunc;
|
|
|
|
|
|
function tokenBase(stream, state) {
|
|
|
var ch = stream.next();
|
|
|
|
|
|
if (ch == '"' || ch == "'") {
|
|
|
state.tokenize = tokenString(ch);
|
|
|
return state.tokenize(stream, state);
|
|
|
}
|
|
|
if (/[\[\]{}\(\),;\\:\?\.]/.test(ch)) {
|
|
|
curPunc = ch;
|
|
|
return "punctuation";
|
|
|
}
|
|
|
if (ch == "#"){
|
|
|
stream.skipToEnd();
|
|
|
return "atom preprocessor";
|
|
|
}
|
|
|
if (ch == "%"){
|
|
|
stream.eatWhile(/\b/);
|
|
|
return "atom ttcn3Macros";
|
|
|
}
|
|
|
if (/\d/.test(ch)) {
|
|
|
stream.eatWhile(/[\w\.]/);
|
|
|
return "number";
|
|
|
}
|
|
|
if (ch == "/") {
|
|
|
if (stream.eat("*")) {
|
|
|
state.tokenize = tokenComment;
|
|
|
return tokenComment(stream, state);
|
|
|
}
|
|
|
if (stream.eat("/")) {
|
|
|
stream.skipToEnd();
|
|
|
return "comment";
|
|
|
}
|
|
|
}
|
|
|
if (isOperatorChar.test(ch)) {
|
|
|
if(ch == "@"){
|
|
|
if(stream.match("try") || stream.match("catch")
|
|
|
|| stream.match("lazy")){
|
|
|
return "keyword";
|
|
|
}
|
|
|
}
|
|
|
stream.eatWhile(isOperatorChar);
|
|
|
return "operator";
|
|
|
}
|
|
|
stream.eatWhile(/[\w\$_\xa1-\uffff]/);
|
|
|
var cur = stream.current();
|
|
|
|
|
|
if (keywords.propertyIsEnumerable(cur)) return "keyword";
|
|
|
if (builtin.propertyIsEnumerable(cur)) return "builtin";
|
|
|
|
|
|
if (timerOps.propertyIsEnumerable(cur)) return "def timerOps";
|
|
|
if (configOps.propertyIsEnumerable(cur)) return "def configOps";
|
|
|
if (verdictOps.propertyIsEnumerable(cur)) return "def verdictOps";
|
|
|
if (portOps.propertyIsEnumerable(cur)) return "def portOps";
|
|
|
if (sutOps.propertyIsEnumerable(cur)) return "def sutOps";
|
|
|
if (functionOps.propertyIsEnumerable(cur)) return "def functionOps";
|
|
|
|
|
|
if (verdictConsts.propertyIsEnumerable(cur)) return "string verdictConsts";
|
|
|
if (booleanConsts.propertyIsEnumerable(cur)) return "string booleanConsts";
|
|
|
if (otherConsts.propertyIsEnumerable(cur)) return "string otherConsts";
|
|
|
|
|
|
if (types.propertyIsEnumerable(cur)) return "builtin types";
|
|
|
if (visibilityModifiers.propertyIsEnumerable(cur))
|
|
|
return "builtin visibilityModifiers";
|
|
|
if (templateMatch.propertyIsEnumerable(cur)) return "atom templateMatch";
|
|
|
|
|
|
return "variable";
|
|
|
}
|
|
|
|
|
|
function tokenString(quote) {
|
|
|
return function(stream, state) {
|
|
|
var escaped = false, next, end = false;
|
|
|
while ((next = stream.next()) != null) {
|
|
|
if (next == quote && !escaped){
|
|
|
var afterQuote = stream.peek();
|
|
|
//look if the character after the quote is like the B in '10100010'B
|
|
|
if (afterQuote){
|
|
|
afterQuote = afterQuote.toLowerCase();
|
|
|
if(afterQuote == "b" || afterQuote == "h" || afterQuote == "o")
|
|
|
stream.next();
|
|
|
}
|
|
|
end = true; break;
|
|
|
}
|
|
|
escaped = !escaped && next == "\\";
|
|
|
}
|
|
|
if (end || !(escaped || multiLineStrings))
|
|
|
state.tokenize = null;
|
|
|
return "string";
|
|
|
};
|
|
|
}
|
|
|
|
|
|
function tokenComment(stream, state) {
|
|
|
var maybeEnd = false, ch;
|
|
|
while (ch = stream.next()) {
|
|
|
if (ch == "/" && maybeEnd) {
|
|
|
state.tokenize = null;
|
|
|
break;
|
|
|
}
|
|
|
maybeEnd = (ch == "*");
|
|
|
}
|
|
|
return "comment";
|
|
|
}
|
|
|
|
|
|
function Context(indented, column, type, align, prev) {
|
|
|
this.indented = indented;
|
|
|
this.column = column;
|
|
|
this.type = type;
|
|
|
this.align = align;
|
|
|
this.prev = prev;
|
|
|
}
|
|
|
|
|
|
function pushContext(state, col, type) {
|
|
|
var indent = state.indented;
|
|
|
if (state.context && state.context.type == "statement")
|
|
|
indent = state.context.indented;
|
|
|
return state.context = new Context(indent, col, type, null, state.context);
|
|
|
}
|
|
|
|
|
|
function popContext(state) {
|
|
|
var t = state.context.type;
|
|
|
if (t == ")" || t == "]" || t == "}")
|
|
|
state.indented = state.context.indented;
|
|
|
return state.context = state.context.prev;
|
|
|
}
|
|
|
|
|
|
//Interface
|
|
|
return {
|
|
|
startState: function(basecolumn) {
|
|
|
return {
|
|
|
tokenize: null,
|
|
|
context: new Context((basecolumn || 0) - indentUnit, 0, "top", false),
|
|
|
indented: 0,
|
|
|
startOfLine: true
|
|
|
};
|
|
|
},
|
|
|
|
|
|
token: function(stream, state) {
|
|
|
var ctx = state.context;
|
|
|
if (stream.sol()) {
|
|
|
if (ctx.align == null) ctx.align = false;
|
|
|
state.indented = stream.indentation();
|
|
|
state.startOfLine = true;
|
|
|
}
|
|
|
if (stream.eatSpace()) return null;
|
|
|
curPunc = null;
|
|
|
var style = (state.tokenize || tokenBase)(stream, state);
|
|
|
if (style == "comment") return style;
|
|
|
if (ctx.align == null) ctx.align = true;
|
|
|
|
|
|
if ((curPunc == ";" || curPunc == ":" || curPunc == ",")
|
|
|
&& ctx.type == "statement"){
|
|
|
popContext(state);
|
|
|
}
|
|
|
else if (curPunc == "{") pushContext(state, stream.column(), "}");
|
|
|
else if (curPunc == "[") pushContext(state, stream.column(), "]");
|
|
|
else if (curPunc == "(") pushContext(state, stream.column(), ")");
|
|
|
else if (curPunc == "}") {
|
|
|
while (ctx.type == "statement") ctx = popContext(state);
|
|
|
if (ctx.type == "}") ctx = popContext(state);
|
|
|
while (ctx.type == "statement") ctx = popContext(state);
|
|
|
}
|
|
|
else if (curPunc == ctx.type) popContext(state);
|
|
|
else if (indentStatements &&
|
|
|
(((ctx.type == "}" || ctx.type == "top") && curPunc != ';') ||
|
|
|
(ctx.type == "statement" && curPunc == "newstatement")))
|
|
|
pushContext(state, stream.column(), "statement");
|
|
|
|
|
|
state.startOfLine = false;
|
|
|
|
|
|
return style;
|
|
|
},
|
|
|
|
|
|
electricChars: "{}",
|
|
|
blockCommentStart: "/*",
|
|
|
blockCommentEnd: "*/",
|
|
|
lineComment: "//",
|
|
|
fold: "brace"
|
|
|
};
|
|
|
});
|
|
|
|
|
|
function words(str) {
|
|
|
var obj = {}, words = str.split(" ");
|
|
|
for (var i = 0; i < words.length; ++i) obj[words[i]] = true;
|
|
|
return obj;
|
|
|
}
|
|
|
|
|
|
function def(mimes, mode) {
|
|
|
if (typeof mimes == "string") mimes = [mimes];
|
|
|
var words = [];
|
|
|
function add(obj) {
|
|
|
if (obj) for (var prop in obj) if (obj.hasOwnProperty(prop))
|
|
|
words.push(prop);
|
|
|
}
|
|
|
|
|
|
add(mode.keywords);
|
|
|
add(mode.builtin);
|
|
|
add(mode.timerOps);
|
|
|
add(mode.portOps);
|
|
|
|
|
|
if (words.length) {
|
|
|
mode.helperType = mimes[0];
|
|
|
CodeMirror.registerHelper("hintWords", mimes[0], words);
|
|
|
}
|
|
|
|
|
|
for (var i = 0; i < mimes.length; ++i)
|
|
|
CodeMirror.defineMIME(mimes[i], mode);
|
|
|
}
|
|
|
|
|
|
def(["text/x-ttcn", "text/x-ttcn3", "text/x-ttcnpp"], {
|
|
|
name: "ttcn",
|
|
|
keywords: words("activate address alive all alt altstep and and4b any" +
|
|
|
" break case component const continue control deactivate" +
|
|
|
" display do else encode enumerated except exception" +
|
|
|
" execute extends extension external for from function" +
|
|
|
" goto group if import in infinity inout interleave" +
|
|
|
" label language length log match message mixed mod" +
|
|
|
" modifies module modulepar mtc noblock not not4b nowait" +
|
|
|
" of on optional or or4b out override param pattern port" +
|
|
|
" procedure record recursive rem repeat return runs select" +
|
|
|
" self sender set signature system template testcase to" +
|
|
|
" type union value valueof var variant while with xor xor4b"),
|
|
|
builtin: words("bit2hex bit2int bit2oct bit2str char2int char2oct encvalue" +
|
|
|
" decomp decvalue float2int float2str hex2bit hex2int" +
|
|
|
" hex2oct hex2str int2bit int2char int2float int2hex" +
|
|
|
" int2oct int2str int2unichar isbound ischosen ispresent" +
|
|
|
" isvalue lengthof log2str oct2bit oct2char oct2hex oct2int" +
|
|
|
" oct2str regexp replace rnd sizeof str2bit str2float" +
|
|
|
" str2hex str2int str2oct substr unichar2int unichar2char" +
|
|
|
" enum2int"),
|
|
|
types: words("anytype bitstring boolean char charstring default float" +
|
|
|
" hexstring integer objid octetstring universal verdicttype timer"),
|
|
|
timerOps: words("read running start stop timeout"),
|
|
|
portOps: words("call catch check clear getcall getreply halt raise receive" +
|
|
|
" reply send trigger"),
|
|
|
configOps: words("create connect disconnect done kill killed map unmap"),
|
|
|
verdictOps: words("getverdict setverdict"),
|
|
|
sutOps: words("action"),
|
|
|
functionOps: words("apply derefers refers"),
|
|
|
|
|
|
verdictConsts: words("error fail inconc none pass"),
|
|
|
booleanConsts: words("true false"),
|
|
|
otherConsts: words("null NULL omit"),
|
|
|
|
|
|
visibilityModifiers: words("private public friend"),
|
|
|
templateMatch: words("complement ifpresent subset superset permutation"),
|
|
|
multiLineStrings: true
|
|
|
});
|
|
|
});
|
|
|
|
