mec_oa_html/web/2dcf359bda4d96fcd06e8b0b7bc039bf.js

ace.define("ace/mode/prolog_highlight_rules",["require","exports","module","ace/lib/oop","ace/mode/text_highlight_rules"], function(require, exports, module){/* This file was autogenerated from https://raw.github.com/stephenroller/prolog-tmbundle/master/Syntaxes/Prolog.tmLanguage (uuid: ) */
"use strict";
var oop = require("../lib/oop");
var TextHighlightRules = require("./text_highlight_rules").TextHighlightRules;
var PrologHighlightRules = function () {
    this.$rules = { start: [{ include: '#comment' },
            { include: '#basic_fact' },
            { include: '#rule' },
            { include: '#directive' },
            { include: '#fact' }],
        '#atom': [{ token: 'constant.other.atom.prolog',
                regex: '\\b[a-z][a-zA-Z0-9_]*\\b' },
            { token: 'constant.numeric.prolog',
                regex: '-?\\d+(?:\\.\\d+)?' },
            { include: '#string' }],
        '#basic_elem': [{ include: '#comment' },
            { include: '#statement' },
            { include: '#constants' },
            { include: '#operators' },
            { include: '#builtins' },
            { include: '#list' },
            { include: '#atom' },
            { include: '#variable' }],
        '#basic_fact': [{ token: ['entity.name.function.fact.basic.prolog',
                    'punctuation.end.fact.basic.prolog'],
                regex: '([a-z]\\w*)(\\.)' }],
        '#builtins': [{ token: 'support.function.builtin.prolog',
                regex: '\\b(?:abolish|abort|ancestors|arg|ascii|assert[az]|atom(?:ic)?|body|char|close|conc|concat|consult|define|definition|dynamic|dump|fail|file|free|free_proc|functor|getc|goal|halt|head|head|integer|length|listing|match_args|member|next_clause|nl|nonvar|nth|number|cvars|nvars|offset|op|print?|prompt|putc|quoted|ratom|read|redefine|rename|retract(?:all)?|see|seeing|seen|skip|spy|statistics|system|tab|tell|telling|term|time|told|univ|unlink_clause|unspy_predicate|var|write)\\b' }],
        '#comment': [{ token: ['punctuation.definition.comment.prolog',
                    'comment.line.percentage.prolog'],
                regex: '(%)(.*$)' },
            { token: 'punctuation.definition.comment.prolog',
                regex: '/\\*',
                push: [{ token: 'punctuation.definition.comment.prolog',
                        regex: '\\*/',
                        next: 'pop' },
                    { defaultToken: 'comment.block.prolog' }] }],
        '#constants': [{ token: 'constant.language.prolog',
                regex: '\\b(?:true|false|yes|no)\\b' }],
        '#directive': [{ token: 'keyword.operator.directive.prolog',
                regex: ':-',
                push: [{ token: 'meta.directive.prolog', regex: '\\.', next: 'pop' },
                    { include: '#comment' },
                    { include: '#statement' },
                    { defaultToken: 'meta.directive.prolog' }] }],
        '#expr': [{ include: '#comments' },
            { token: 'meta.expression.prolog',
                regex: '\\(',
                push: [{ token: 'meta.expression.prolog', regex: '\\)', next: 'pop' },
                    { include: '#expr' },
                    { defaultToken: 'meta.expression.prolog' }] },
            { token: 'keyword.control.cutoff.prolog', regex: '!' },
            { token: 'punctuation.control.and.prolog', regex: ',' },
            { token: 'punctuation.control.or.prolog', regex: ';' },
            { include: '#basic_elem' }],
        '#fact': [{ token: ['entity.name.function.fact.prolog',
                    'punctuation.begin.fact.parameters.prolog'],
                regex: '([a-z]\\w*)(\\()(?!.*:-)',
                push: [{ token: ['punctuation.end.fact.parameters.prolog',
                            'punctuation.end.fact.prolog'],
                        regex: '(\\))(\\.?)',
                        next: 'pop' },
                    { include: '#parameter' },
                    { defaultToken: 'meta.fact.prolog' }] }],
        '#list': [{ token: 'punctuation.begin.list.prolog',
                regex: '\\[(?=.*\\])',
                push: [{ token: 'punctuation.end.list.prolog',
                        regex: '\\]',
                        next: 'pop' },
                    { include: '#comment' },
                    { token: 'punctuation.separator.list.prolog', regex: ',' },
                    { token: 'punctuation.concat.list.prolog',
                        regex: '\\|',
                        push: [{ token: 'meta.list.concat.prolog',
                                regex: '(?=\\s*\\])',
                                next: 'pop' },
                            { include: '#basic_elem' },
                            { defaultToken: 'meta.list.concat.prolog' }] },
                    { include: '#basic_elem' },
                    { defaultToken: 'meta.list.prolog' }] }],
        '#operators': [{ token: 'keyword.operator.prolog',
                regex: '\\\\\\+|\\bnot\\b|\\bis\\b|->|[><]|[><\\\\:=]?=|(?:=\\\\|\\\\=)=' }],
        '#parameter': [{ token: 'variable.language.anonymous.prolog',
                regex: '\\b_\\b' },
            { token: 'variable.parameter.prolog',
                regex: '\\b[A-Z_]\\w*\\b' },
            { token: 'punctuation.separator.parameters.prolog', regex: ',' },
            { include: '#basic_elem' },
            { token: 'text', regex: '[^\\s]' }],
        '#rule': [{ token: 'meta.rule.prolog',
                regex: '(?=[a-z]\\w*.*:-)',
                push: [{ token: 'punctuation.rule.end.prolog',
                        regex: '\\.',
                        next: 'pop' },
                    { token: 'meta.rule.signature.prolog',
                        regex: '(?=[a-z]\\w*.*:-)',
                        push: [{ token: 'meta.rule.signature.prolog',
                                regex: '(?=:-)',
                                next: 'pop' },
                            { token: 'entity.name.function.rule.prolog',
                                regex: '[a-z]\\w*(?=\\(|\\s*:-)' },
                            { token: 'punctuation.rule.parameters.begin.prolog',
                                regex: '\\(',
                                push: [{ token: 'punctuation.rule.parameters.end.prolog',
                                        regex: '\\)',
                                        next: 'pop' },
                                    { include: '#parameter' },
                                    { defaultToken: 'meta.rule.parameters.prolog' }] },
                            { defaultToken: 'meta.rule.signature.prolog' }] },
                    { token: 'keyword.operator.definition.prolog',
                        regex: ':-',
                        push: [{ token: 'meta.rule.definition.prolog',
                                regex: '(?=\\.)',
                                next: 'pop' },
                            { include: '#comment' },
                            { include: '#expr' },
                            { defaultToken: 'meta.rule.definition.prolog' }] },
                    { defaultToken: 'meta.rule.prolog' }] }],
        '#statement': [{ token: 'meta.statement.prolog',
                regex: '(?=[a-z]\\w*\\()',
                push: [{ token: 'punctuation.end.statement.parameters.prolog',
                        regex: '\\)',
                        next: 'pop' },
                    { include: '#builtins' },
                    { include: '#atom' },
                    { token: 'punctuation.begin.statement.parameters.prolog',
                        regex: '\\(',
                        push: [{ token: 'meta.statement.parameters.prolog',
                                regex: '(?=\\))',
                                next: 'pop' },
                            { token: 'punctuation.separator.statement.prolog', regex: ',' },
                            { include: '#basic_elem' },
                            { defaultToken: 'meta.statement.parameters.prolog' }] },
                    { defaultToken: 'meta.statement.prolog' }] }],
        '#string': [{ token: 'punctuation.definition.string.begin.prolog',
                regex: '\'',
                push: [{ token: 'punctuation.definition.string.end.prolog',
                        regex: '\'',
                        next: 'pop' },
                    { token: 'constant.character.escape.prolog', regex: '\\\\.' },
                    { token: 'constant.character.escape.quote.prolog',
                        regex: '\'\'' },
                    { defaultToken: 'string.quoted.single.prolog' }] }],
        '#variable': [{ token: 'variable.language.anonymous.prolog',
                regex: '\\b_\\b' },
            { token: 'variable.other.prolog',
                regex: '\\b[A-Z_][a-zA-Z0-9_]*\\b' }] };
    this.normalizeRules();
};
PrologHighlightRules.metaData = { fileTypes: ['plg', 'prolog'],
    foldingStartMarker: '(%\\s*region \\w*)|([a-z]\\w*.*:- ?)',
    foldingStopMarker: '(%\\s*end(\\s*region)?)|(?=\\.)',
    keyEquivalent: '^~P',
    name: 'Prolog',
    scopeName: 'source.prolog' };
oop.inherits(PrologHighlightRules, TextHighlightRules);
exports.PrologHighlightRules = PrologHighlightRules;

});

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/prolog",["require","exports","module","ace/lib/oop","ace/mode/text","ace/mode/prolog_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 PrologHighlightRules = require("./prolog_highlight_rules").PrologHighlightRules;
var FoldMode = require("./folding/cstyle").FoldMode;
var Mode = function () {
    this.HighlightRules = PrologHighlightRules;
    this.foldingRules = new FoldMode();
    this.$behaviour = this.$defaultBehaviour;
};
oop.inherits(Mode, TextMode);
(function () {
    this.lineCommentStart = "%";
    this.blockComment = { start: "/*", end: "*/" };
    this.$id = "ace/mode/prolog";
}).call(Mode.prototype);
exports.Mode = Mode;

});                (function() {
                    ace.require(["ace/mode/prolog"], function(m) {
                        if (typeof module == "object" && typeof exports == "object" && module) {
                            module.exports = m;
                        }
                    });
                })();