123456789101112131415161718192021222324252627282930313233343536373839404142434445464748495051525354555657585960616263646566676869707172737475767778798081828384858687888990919293949596979899100101102103104105106107108109110111112113114115116117118119120121122123124125126127128129130131132133134135136137138139140141142143144145146147148149150151152153154155156157158159160161162163164165166167168169170171172173174175176177178179180181182183184185186187188189190191192193194195196197198199200201202203204205206207208209210211212213214215216217218219220221222223224225226 |
- ace.define("ace/mode/fsl_highlight_rules",["require","exports","module","ace/lib/oop","ace/mode/text_highlight_rules"], function(require, exports, module){"use strict";
- var oop = require("../lib/oop");
- var TextHighlightRules = require("./text_highlight_rules").TextHighlightRules;
- var FSLHighlightRules = function () {
- this.$rules = {
- start: [{
- token: "punctuation.definition.comment.mn",
- regex: /\/\*/,
- push: [{
- token: "punctuation.definition.comment.mn",
- regex: /\*\//,
- next: "pop"
- }, {
- defaultToken: "comment.block.fsl"
- }]
- }, {
- token: "comment.line.fsl",
- regex: /\/\//,
- push: [{
- token: "comment.line.fsl",
- regex: /$/,
- next: "pop"
- }, {
- defaultToken: "comment.line.fsl"
- }]
- }, {
- token: "entity.name.function",
- 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"
- }, {
- 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"
- }]
- };
- this.normalizeRules();
- };
- FSLHighlightRules.metaData = {
- fileTypes: ["fsl", "fsl_state"],
- name: "FSL",
- scopeName: "source.fsl"
- };
- oop.inherits(FSLHighlightRules, TextHighlightRules);
- exports.FSLHighlightRules = FSLHighlightRules;
- });
- 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";
- var oop = require("../../lib/oop");
- var Range = require("../../range").Range;
- var BaseFoldMode = require("./fold_mode").FoldMode;
- var FoldMode = exports.FoldMode = function (commentRegex) {
- if (commentRegex) {
- this.foldingStartMarker = new RegExp(this.foldingStartMarker.source.replace(/\|[^|]*?$/, "|" + commentRegex.start));
- this.foldingStopMarker = new RegExp(this.foldingStopMarker.source.replace(/\|[^|]*?$/, "|" + commentRegex.end));
- }
- };
- oop.inherits(FoldMode, BaseFoldMode);
- (function () {
- this.foldingStartMarker = /([\{\[\(])[^\}\]\)]*$|^\s*(\/\*)/;
- this.foldingStopMarker = /^[^\[\{\(]*([\}\]\)])|^[\s\*]*(\*\/)/;
- this.singleLineBlockCommentRe = /^\s*(\/\*).*\*\/\s*$/;
- this.tripleStarBlockCommentRe = /^\s*(\/\*\*\*).*\*\/\s*$/;
- this.startRegionRe = /^\s*(\/\*|\/\/)#?region\b/;
- this._getFoldWidgetBase = this.getFoldWidget;
- this.getFoldWidget = function (session, foldStyle, row) {
- 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;
- };
- this.getFoldWidgetRange = function (session, foldStyle, row, forceMultiline) {
- 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);
- }
- else if (foldStyle != "all")
- 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);
- }
- };
- this.getSectionRange = function (session, row) {
- 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;
- if (startIndent > indent)
- break;
- var subRange = this.getFoldWidgetRange(session, "all", row);
- if (subRange) {
- if (subRange.start.row <= startRow) {
- break;
- }
- else if (subRange.isMultiLine()) {
- row = subRange.end.row;
- }
- else if (startIndent == indent) {
- break;
- }
- }
- endRow = row;
- }
- return new Range(startRow, startColumn, endRow, session.getLine(endRow).length);
- };
- this.getCommentRegionBlock = function (session, line, row) {
- 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);
- if (!m)
- continue;
- if (m[1])
- depth--;
- else
- depth++;
- if (!depth)
- break;
- }
- var endRow = row;
- if (endRow > startRow) {
- return new Range(startRow, startColumn, endRow, line.length);
- }
- };
- }).call(FoldMode.prototype);
- });
- 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
- */
- "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;
- var Mode = function () {
- this.HighlightRules = FSLHighlightRules;
- this.foldingRules = new FoldMode();
- };
- oop.inherits(Mode, TextMode);
- (function () {
- this.lineCommentStart = "//";
- this.blockComment = { start: "/*", end: "*/" };
- this.$id = "ace/mode/fsl";
- this.snippetFileId = "ace/snippets/fsl";
- }).call(Mode.prototype);
- exports.Mode = Mode;
- }); (function() {
- ace.require(["ace/mode/fsl"], function(m) {
- if (typeof module == "object" && typeof exports == "object" && module) {
- module.exports = m;
- }
- });
- })();
-
|