2023-01-16 22:26:34 +00:00
|
|
|
ace.define("ace/mode/fsl_highlight_rules",["require","exports","module","ace/lib/oop","ace/mode/text_highlight_rules"], function(require, exports, module){"use strict";
|
2020-04-14 12:14:48 +00:00
|
|
|
var oop = require("../lib/oop");
|
|
|
|
var TextHighlightRules = require("./text_highlight_rules").TextHighlightRules;
|
2023-01-16 22:26:34 +00:00
|
|
|
var FSLHighlightRules = function () {
|
2020-04-14 12:14:48 +00:00
|
|
|
this.$rules = {
|
|
|
|
start: [{
|
|
|
|
token: "punctuation.definition.comment.mn",
|
2023-01-16 22:26:34 +00:00
|
|
|
regex: /\/\*/,
|
|
|
|
push: [{
|
|
|
|
token: "punctuation.definition.comment.mn",
|
|
|
|
regex: /\*\//,
|
|
|
|
next: "pop"
|
|
|
|
}, {
|
|
|
|
defaultToken: "comment.block.fsl"
|
|
|
|
}]
|
2020-04-14 12:14:48 +00:00
|
|
|
}, {
|
|
|
|
token: "comment.line.fsl",
|
2023-01-16 22:26:34 +00:00
|
|
|
regex: /\/\//,
|
|
|
|
push: [{
|
|
|
|
token: "comment.line.fsl",
|
|
|
|
regex: /$/,
|
|
|
|
next: "pop"
|
|
|
|
}, {
|
|
|
|
defaultToken: "comment.line.fsl"
|
|
|
|
}]
|
2020-04-14 12:14:48 +00:00
|
|
|
}, {
|
|
|
|
token: "entity.name.function",
|
2023-01-16 22:26:34 +00:00
|
|
|
regex: /\${/,
|
|
|
|
push: [{
|
|
|
|
token: "entity.name.function",
|
|
|
|
regex: /}/,
|
|
|
|
next: "pop"
|
|
|
|
}, {
|
|
|
|
defaultToken: "keyword.other"
|
|
|
|
}],
|
|
|
|
comment: "js outcalls"
|
|
|
|
}, {
|
|
|
|
token: "constant.numeric",
|
|
|
|
regex: /[0-9]*\.[0-9]*\.[0-9]*/,
|
|
|
|
comment: "semver"
|
|
|
|
}, {
|
|
|
|
token: "constant.language.fslLanguage",
|
|
|
|
regex: "(?:"
|
|
|
|
+ "graph_layout|machine_name|machine_author|machine_license|machine_comment|machine_language"
|
|
|
|
+ "|machine_version|machine_reference|npm_name|graph_layout|on_init|on_halt|on_end|on_terminate|on_finalize|on_transition"
|
|
|
|
+ "|on_action|on_stochastic_action|on_legal|on_main|on_forced|on_validation|on_validation_failure|on_transition_refused|on_forced_transition_refused"
|
|
|
|
+ "|on_action_refused|on_enter|on_exit|start_states|end_states|terminal_states|final_states|fsl_version"
|
|
|
|
+ ")\\s*:"
|
|
|
|
}, {
|
|
|
|
token: "keyword.control.transition.fslArrow",
|
|
|
|
regex: /<->|<-|->|<=>|=>|<=|<~>|~>|<~|<-=>|<=->|<-~>|<~->|<=~>|<~=>/
|
|
|
|
}, {
|
|
|
|
token: "constant.numeric.fslProbability",
|
|
|
|
regex: /[0-9]+%/,
|
|
|
|
comment: "edge probability annotation"
|
|
|
|
}, {
|
|
|
|
token: "constant.character.fslAction",
|
|
|
|
regex: /\'[^']*\'/,
|
|
|
|
comment: "action annotation"
|
2020-04-14 12:14:48 +00:00
|
|
|
}, {
|
2023-01-16 22:26:34 +00:00
|
|
|
token: "string.quoted.double.fslLabel.doublequoted",
|
|
|
|
regex: /\"[^"]*\"/,
|
|
|
|
comment: "fsl label annotation"
|
|
|
|
}, {
|
|
|
|
token: "entity.name.tag.fslLabel.atom",
|
|
|
|
regex: /[a-zA-Z0-9_.+&()#@!?,]/,
|
|
|
|
comment: "fsl label annotation"
|
|
|
|
}]
|
2020-04-14 12:14:48 +00:00
|
|
|
};
|
|
|
|
this.normalizeRules();
|
|
|
|
};
|
|
|
|
FSLHighlightRules.metaData = {
|
|
|
|
fileTypes: ["fsl", "fsl_state"],
|
|
|
|
name: "FSL",
|
|
|
|
scopeName: "source.fsl"
|
|
|
|
};
|
|
|
|
oop.inherits(FSLHighlightRules, TextHighlightRules);
|
|
|
|
exports.FSLHighlightRules = FSLHighlightRules;
|
|
|
|
|
2023-01-16 22:26:34 +00:00
|
|
|
});
|
2020-04-14 12:14:48 +00:00
|
|
|
|
2023-01-16 22:26:34 +00:00
|
|
|
ace.define("ace/mode/folding/cstyle",["require","exports","module","ace/lib/oop","ace/range","ace/mode/folding/fold_mode"], function(require, exports, module){"use strict";
|
2020-04-14 12:14:48 +00:00
|
|
|
var oop = require("../../lib/oop");
|
|
|
|
var Range = require("../../range").Range;
|
|
|
|
var BaseFoldMode = require("./fold_mode").FoldMode;
|
2023-01-16 22:26:34 +00:00
|
|
|
var FoldMode = exports.FoldMode = function (commentRegex) {
|
2020-04-14 12:14:48 +00:00
|
|
|
if (commentRegex) {
|
2023-01-16 22:26:34 +00:00
|
|
|
this.foldingStartMarker = new RegExp(this.foldingStartMarker.source.replace(/\|[^|]*?$/, "|" + commentRegex.start));
|
|
|
|
this.foldingStopMarker = new RegExp(this.foldingStopMarker.source.replace(/\|[^|]*?$/, "|" + commentRegex.end));
|
2020-04-14 12:14:48 +00:00
|
|
|
}
|
|
|
|
};
|
|
|
|
oop.inherits(FoldMode, BaseFoldMode);
|
2023-01-16 22:26:34 +00:00
|
|
|
(function () {
|
2020-04-14 12:14:48 +00:00
|
|
|
this.foldingStartMarker = /([\{\[\(])[^\}\]\)]*$|^\s*(\/\*)/;
|
|
|
|
this.foldingStopMarker = /^[^\[\{\(]*([\}\]\)])|^[\s\*]*(\*\/)/;
|
2023-01-16 22:26:34 +00:00
|
|
|
this.singleLineBlockCommentRe = /^\s*(\/\*).*\*\/\s*$/;
|
2020-04-14 12:14:48 +00:00
|
|
|
this.tripleStarBlockCommentRe = /^\s*(\/\*\*\*).*\*\/\s*$/;
|
|
|
|
this.startRegionRe = /^\s*(\/\*|\/\/)#?region\b/;
|
|
|
|
this._getFoldWidgetBase = this.getFoldWidget;
|
2023-01-16 22:26:34 +00:00
|
|
|
this.getFoldWidget = function (session, foldStyle, row) {
|
2020-04-14 12:14:48 +00:00
|
|
|
var line = session.getLine(row);
|
|
|
|
if (this.singleLineBlockCommentRe.test(line)) {
|
|
|
|
if (!this.startRegionRe.test(line) && !this.tripleStarBlockCommentRe.test(line))
|
|
|
|
return "";
|
|
|
|
}
|
|
|
|
var fw = this._getFoldWidgetBase(session, foldStyle, row);
|
|
|
|
if (!fw && this.startRegionRe.test(line))
|
|
|
|
return "start"; // lineCommentRegionStart
|
|
|
|
return fw;
|
|
|
|
};
|
2023-01-16 22:26:34 +00:00
|
|
|
this.getFoldWidgetRange = function (session, foldStyle, row, forceMultiline) {
|
2020-04-14 12:14:48 +00:00
|
|
|
var line = session.getLine(row);
|
|
|
|
if (this.startRegionRe.test(line))
|
|
|
|
return this.getCommentRegionBlock(session, line, row);
|
|
|
|
var match = line.match(this.foldingStartMarker);
|
|
|
|
if (match) {
|
|
|
|
var i = match.index;
|
|
|
|
if (match[1])
|
|
|
|
return this.openingBracketBlock(session, match[1], row, i);
|
|
|
|
var range = session.getCommentFoldRange(row, i + match[0].length, 1);
|
|
|
|
if (range && !range.isMultiLine()) {
|
|
|
|
if (forceMultiline) {
|
|
|
|
range = this.getSectionRange(session, row);
|
2023-01-16 22:26:34 +00:00
|
|
|
}
|
|
|
|
else if (foldStyle != "all")
|
2020-04-14 12:14:48 +00:00
|
|
|
range = null;
|
|
|
|
}
|
|
|
|
return range;
|
|
|
|
}
|
|
|
|
if (foldStyle === "markbegin")
|
|
|
|
return;
|
|
|
|
var match = line.match(this.foldingStopMarker);
|
|
|
|
if (match) {
|
|
|
|
var i = match.index + match[0].length;
|
|
|
|
if (match[1])
|
|
|
|
return this.closingBracketBlock(session, match[1], row, i);
|
|
|
|
return session.getCommentFoldRange(row, i, -1);
|
|
|
|
}
|
|
|
|
};
|
2023-01-16 22:26:34 +00:00
|
|
|
this.getSectionRange = function (session, row) {
|
2020-04-14 12:14:48 +00:00
|
|
|
var line = session.getLine(row);
|
|
|
|
var startIndent = line.search(/\S/);
|
|
|
|
var startRow = row;
|
|
|
|
var startColumn = line.length;
|
|
|
|
row = row + 1;
|
|
|
|
var endRow = row;
|
|
|
|
var maxRow = session.getLength();
|
|
|
|
while (++row < maxRow) {
|
|
|
|
line = session.getLine(row);
|
|
|
|
var indent = line.search(/\S/);
|
|
|
|
if (indent === -1)
|
|
|
|
continue;
|
2023-01-16 22:26:34 +00:00
|
|
|
if (startIndent > indent)
|
2020-04-14 12:14:48 +00:00
|
|
|
break;
|
|
|
|
var subRange = this.getFoldWidgetRange(session, "all", row);
|
|
|
|
if (subRange) {
|
|
|
|
if (subRange.start.row <= startRow) {
|
|
|
|
break;
|
2023-01-16 22:26:34 +00:00
|
|
|
}
|
|
|
|
else if (subRange.isMultiLine()) {
|
2020-04-14 12:14:48 +00:00
|
|
|
row = subRange.end.row;
|
2023-01-16 22:26:34 +00:00
|
|
|
}
|
|
|
|
else if (startIndent == indent) {
|
2020-04-14 12:14:48 +00:00
|
|
|
break;
|
|
|
|
}
|
|
|
|
}
|
|
|
|
endRow = row;
|
|
|
|
}
|
|
|
|
return new Range(startRow, startColumn, endRow, session.getLine(endRow).length);
|
|
|
|
};
|
2023-01-16 22:26:34 +00:00
|
|
|
this.getCommentRegionBlock = function (session, line, row) {
|
2020-04-14 12:14:48 +00:00
|
|
|
var startColumn = line.search(/\s*$/);
|
|
|
|
var maxRow = session.getLength();
|
|
|
|
var startRow = row;
|
|
|
|
var re = /^\s*(?:\/\*|\/\/|--)#?(end)?region\b/;
|
|
|
|
var depth = 1;
|
|
|
|
while (++row < maxRow) {
|
|
|
|
line = session.getLine(row);
|
|
|
|
var m = re.exec(line);
|
2023-01-16 22:26:34 +00:00
|
|
|
if (!m)
|
|
|
|
continue;
|
|
|
|
if (m[1])
|
|
|
|
depth--;
|
|
|
|
else
|
|
|
|
depth++;
|
|
|
|
if (!depth)
|
|
|
|
break;
|
2020-04-14 12:14:48 +00:00
|
|
|
}
|
|
|
|
var endRow = row;
|
|
|
|
if (endRow > startRow) {
|
|
|
|
return new Range(startRow, startColumn, endRow, line.length);
|
|
|
|
}
|
|
|
|
};
|
|
|
|
}).call(FoldMode.prototype);
|
|
|
|
|
|
|
|
});
|
|
|
|
|
2023-01-16 22:26:34 +00:00
|
|
|
ace.define("ace/mode/fsl",["require","exports","module","ace/lib/oop","ace/mode/text","ace/mode/fsl_highlight_rules","ace/mode/folding/cstyle"], function(require, exports, module){/*
|
|
|
|
THIS FILE WAS AUTOGENERATED BY mode.tmpl.js
|
|
|
|
*/
|
2020-04-14 12:14:48 +00:00
|
|
|
"use strict";
|
|
|
|
var oop = require("../lib/oop");
|
|
|
|
var TextMode = require("./text").Mode;
|
|
|
|
var FSLHighlightRules = require("./fsl_highlight_rules").FSLHighlightRules;
|
|
|
|
var FoldMode = require("./folding/cstyle").FoldMode;
|
2023-01-16 22:26:34 +00:00
|
|
|
var Mode = function () {
|
2020-04-14 12:14:48 +00:00
|
|
|
this.HighlightRules = FSLHighlightRules;
|
|
|
|
this.foldingRules = new FoldMode();
|
|
|
|
};
|
|
|
|
oop.inherits(Mode, TextMode);
|
2023-01-16 22:26:34 +00:00
|
|
|
(function () {
|
2020-04-14 12:14:48 +00:00
|
|
|
this.lineCommentStart = "//";
|
2023-01-16 22:26:34 +00:00
|
|
|
this.blockComment = { start: "/*", end: "*/" };
|
2020-04-14 12:14:48 +00:00
|
|
|
this.$id = "ace/mode/fsl";
|
|
|
|
this.snippetFileId = "ace/snippets/fsl";
|
|
|
|
}).call(Mode.prototype);
|
|
|
|
exports.Mode = Mode;
|
2023-01-16 22:26:34 +00:00
|
|
|
|
2020-04-14 12:14:48 +00:00
|
|
|
}); (function() {
|
|
|
|
ace.require(["ace/mode/fsl"], function(m) {
|
|
|
|
if (typeof module == "object" && typeof exports == "object" && module) {
|
|
|
|
module.exports = m;
|
|
|
|
}
|
|
|
|
});
|
|
|
|
})();
|
|
|
|
|