123456789101112131415161718192021222324252627282930313233343536373839404142434445464748495051525354555657585960616263646566676869707172737475767778798081828384858687888990919293949596979899100101102103104105106107108109110111112113114115116117118119120121122123124125126127128129130131132133134135136137138139140141142143144145146147148149150151152153154155156157158159160161162163164165166167168169170171172173174175176177178179180181182183184185186187188189190191192193194195196197198199200201202203204205206207208209210211212213214215216217218219220221222223224225226227228229230231232233234235236237238239240241242243244245246247248249250251252253254255256257258259260261262263264265266267268269270271272273274275276277278279280281282283284285286287288289290291292293294295296297298299300301302303304305306307308309310311312313314315316317318319320321322323324325326327328329330331332333334335336337338339340341342343344345346347348349350351352353354355356357358359360361362363364365366367368369370371 |
- ace.define("ace/mode/prolog_highlight_rules",[], function(require, exports, module) {
- "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",[], 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",[], function(require, exports, module) {
- "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;
- }
- });
- })();
-
|