| 123456789101112131415161718192021222324252627282930313233343536373839404142434445464748495051525354555657585960616263646566676869707172737475767778798081828384858687888990919293949596979899100101102103104105106107108109110111112113114115116117118119120121122123124125126127128129130131132133134135136 | ace.define("ace/mode/eiffel_highlight_rules",[], function(require, exports, module) {"use strict";var oop = require("../lib/oop");var TextHighlightRules = require("./text_highlight_rules").TextHighlightRules;var EiffelHighlightRules = function() {    var keywords = "across|agent|alias|all|attached|as|assign|attribute|check|" +        "class|convert|create|debug|deferred|detachable|do|else|elseif|end|" +        "ensure|expanded|export|external|feature|from|frozen|if|inherit|" +        "inspect|invariant|like|local|loop|not|note|obsolete|old|once|" +        "Precursor|redefine|rename|require|rescue|retry|select|separate|" +        "some|then|undefine|until|variant|when";    var operatorKeywords = "and|implies|or|xor";    var languageConstants = "Void";    var booleanConstants = "True|False";    var languageVariables = "Current|Result";    var keywordMapper = this.createKeywordMapper({        "constant.language": languageConstants,        "constant.language.boolean": booleanConstants,        "variable.language": languageVariables,        "keyword.operator": operatorKeywords,        "keyword": keywords    }, "identifier", true);    var simpleString = /(?:[^"%\b\f\v]|%[A-DFHLNQR-V%'"()<>]|%\/(?:0[xX][\da-fA-F](?:_*[\da-fA-F])*|0[cC][0-7](?:_*[0-7])*|0[bB][01](?:_*[01])*|\d(?:_*\d)*)\/)+?/;    this.$rules = {        "start": [{                token : "string.quoted.other", // Aligned-verbatim-strings (verbatim option not supported)                regex : /"\[/,                next: "aligned_verbatim_string"            }, {                token : "string.quoted.other", // Non-aligned-verbatim-strings (verbatim option not supported)                regex : /"\{/,                next: "non-aligned_verbatim_string"            }, {                token : "string.quoted.double",                regex : /"(?:[^%\b\f\n\r\v]|%[A-DFHLNQR-V%'"()<>]|%\/(?:0[xX][\da-fA-F](?:_*[\da-fA-F])*|0[cC][0-7](?:_*[0-7])*|0[bB][01](?:_*[01])*|\d(?:_*\d)*)\/)*?"/            }, {                token : "comment.line.double-dash",                regex : /--.*/            }, {                token : "constant.character",                regex : /'(?:[^%\b\f\n\r\t\v]|%[A-DFHLNQR-V%'"()<>]|%\/(?:0[xX][\da-fA-F](?:_*[\da-fA-F])*|0[cC][0-7](?:_*[0-7])*|0[bB][01](?:_*[01])*|\d(?:_*\d)*)\/)'/            }, {                token : "constant.numeric", // hexa | octal | bin                regex : /\b0(?:[xX][\da-fA-F](?:_*[\da-fA-F])*|[cC][0-7](?:_*[0-7])*|[bB][01](?:_*[01])*)\b/            }, {                token : "constant.numeric",                regex : /(?:\d(?:_*\d)*)?\.(?:(?:\d(?:_*\d)*)?[eE][+-]?)?\d(?:_*\d)*|\d(?:_*\d)*\.?/            }, {                token : "paren.lparen",                regex : /[\[({]|<<|\|\(/            }, {                token : "paren.rparen",                regex : /[\])}]|>>|\|\)/            }, {                token : "keyword.operator", // punctuation                regex : /:=|->|\.(?=\w)|[;,:?]/            }, {                token : "keyword.operator",                regex : /\\\\|\|\.\.\||\.\.|\/[~\/]?|[><\/]=?|[-+*^=~]/            }, {                token : function (v) {                    var result = keywordMapper(v);                    if (result === "identifier" && v === v.toUpperCase()) {                        result =  "entity.name.type";                    }                    return result;                },                regex : /[a-zA-Z][a-zA-Z\d_]*\b/            }, {                token : "text",                regex : /\s+/            }        ],        "aligned_verbatim_string" : [{                token : "string",                regex : /]"/,                next : "start"            }, {                token : "string",                regex : simpleString            }        ],        "non-aligned_verbatim_string" : [{                token : "string.quoted.other",                regex : /}"/,                next : "start"            }, {                token : "string.quoted.other",                regex : simpleString            }        ]};};oop.inherits(EiffelHighlightRules, TextHighlightRules);exports.EiffelHighlightRules = EiffelHighlightRules;});ace.define("ace/mode/eiffel",[], function(require, exports, module) {"use strict";var oop = require("../lib/oop");var TextMode = require("./text").Mode;var EiffelHighlightRules = require("./eiffel_highlight_rules").EiffelHighlightRules;var Mode = function() {    this.HighlightRules = EiffelHighlightRules;    this.$behaviour = this.$defaultBehaviour;};oop.inherits(Mode, TextMode);(function() {    this.lineCommentStart = "--";    this.$id = "ace/mode/eiffel";}).call(Mode.prototype);exports.Mode = Mode;});                (function() {                    ace.require(["ace/mode/eiffel"], function(m) {                        if (typeof module == "object" && typeof exports == "object" && module) {                            module.exports = m;                        }                    });                })();            
 |