| 123456789101112131415161718192021222324252627282930313233343536373839404142434445464748495051525354555657585960616263646566676869707172737475767778798081828384858687888990919293949596979899100101102103104105106107108109110111112113114115116117118119120121122123124125126127128129130131132133134135136137138139140141142143144145146147148149150151152153154155156157158159160161162163164165166167168169170171172173174175176177178179180181182183184185186187188189190191192193194195196197198199200201202203204205206207208209210211212213214215216217218219220221222223224225226227228229230231232233234235236237238239240241242243244245246247248249250251252253254255256257258259260261262263264265266267268269270271272273274275276277278279280281282283284285286287288289290291292293294295296297298299300301302303304305306307308309310311312313314315316317318319320321322323324325 | ace.define("ace/mode/jssm_highlight_rules",[], function(require, exports, module) {"use strict";var oop = require("../lib/oop");var TextHighlightRules = require("./text_highlight_rules").TextHighlightRules;var JSSMHighlightRules = function() {    this.$rules = {        start: [{            token: "punctuation.definition.comment.mn",            regex: /\/\*/,            push: [{                token: "punctuation.definition.comment.mn",                regex: /\*\//,                next: "pop"            }, {                defaultToken: "comment.block.jssm"            }],            comment: "block comment"        }, {            token: "comment.line.jssm",            regex: /\/\//,            push: [{                token: "comment.line.jssm",                regex: /$/,                next: "pop"            }, {                defaultToken: "comment.line.jssm"            }],            comment: "block comment"        }, {            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.jssmLanguage",            regex: /graph_layout\s*:/,            comment: "jssm language tokens"        }, {            token: "constant.language.jssmLanguage",            regex: /machine_name\s*:/,            comment: "jssm language tokens"        }, {            token: "constant.language.jssmLanguage",            regex: /machine_version\s*:/,            comment: "jssm language tokens"        }, {            token: "constant.language.jssmLanguage",            regex: /jssm_version\s*:/,            comment: "jssm language tokens"        }, {            token: "keyword.control.transition.jssmArrow.legal_legal",            regex: /<->/,            comment: "transitions"        }, {            token: "keyword.control.transition.jssmArrow.legal_none",            regex: /<-/,            comment: "transitions"        }, {            token: "keyword.control.transition.jssmArrow.none_legal",            regex: /->/,            comment: "transitions"        }, {            token: "keyword.control.transition.jssmArrow.main_main",            regex: /<=>/,            comment: "transitions"        }, {            token: "keyword.control.transition.jssmArrow.none_main",            regex: /=>/,            comment: "transitions"        }, {            token: "keyword.control.transition.jssmArrow.main_none",            regex: /<=/,            comment: "transitions"        }, {            token: "keyword.control.transition.jssmArrow.forced_forced",            regex: /<~>/,            comment: "transitions"        }, {            token: "keyword.control.transition.jssmArrow.none_forced",            regex: /~>/,            comment: "transitions"        }, {            token: "keyword.control.transition.jssmArrow.forced_none",            regex: /<~/,            comment: "transitions"        }, {            token: "keyword.control.transition.jssmArrow.legal_main",            regex: /<-=>/,            comment: "transitions"        }, {            token: "keyword.control.transition.jssmArrow.main_legal",            regex: /<=->/,            comment: "transitions"        }, {            token: "keyword.control.transition.jssmArrow.legal_forced",            regex: /<-~>/,            comment: "transitions"        }, {            token: "keyword.control.transition.jssmArrow.forced_legal",            regex: /<~->/,            comment: "transitions"        }, {            token: "keyword.control.transition.jssmArrow.main_forced",            regex: /<=~>/,            comment: "transitions"        }, {            token: "keyword.control.transition.jssmArrow.forced_main",            regex: /<~=>/,            comment: "transitions"        }, {            token: "constant.numeric.jssmProbability",            regex: /[0-9]+%/,            comment: "edge probability annotation"        }, {            token: "constant.character.jssmAction",            regex: /\'[^']*\'/,            comment: "action annotation"        }, {            token: "entity.name.tag.jssmLabel.doublequoted",            regex: /\"[^"]*\"/,            comment: "jssm label annotation"        }, {            token: "entity.name.tag.jssmLabel.atom",            regex: /[a-zA-Z0-9_.+&()#@!?,]/,            comment: "jssm label annotation"        }]    };        this.normalizeRules();};JSSMHighlightRules.metaData = {    fileTypes: ["jssm", "jssm_state"],    name: "JSSM",    scopeName: "source.jssm"};oop.inherits(JSSMHighlightRules, TextHighlightRules);exports.JSSMHighlightRules = JSSMHighlightRules;});ace.define("ace/mode/folding/cstyle",[], 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/jssm",[], function(require, exports, module) {"use strict";var oop = require("../lib/oop");var TextMode = require("./text").Mode;var JSSMHighlightRules = require("./jssm_highlight_rules").JSSMHighlightRules;var FoldMode = require("./folding/cstyle").FoldMode;var Mode = function() {    this.HighlightRules = JSSMHighlightRules;    this.foldingRules = new FoldMode();};oop.inherits(Mode, TextMode);(function() {    this.lineCommentStart = "//";    this.blockComment = {start: "/*", end: "*/"};    this.$id = "ace/mode/jssm";}).call(Mode.prototype);exports.Mode = Mode;});                (function() {                    ace.require(["ace/mode/jssm"], function(m) {                        if (typeof module == "object" && typeof exports == "object" && module) {                            module.exports = m;                        }                    });                })();            
 |