123456789101112131415161718192021222324252627282930313233343536373839404142434445464748495051525354555657585960616263646566676869707172737475767778798081828384858687888990919293949596979899100101102103104105106107108109110111112113114115116117118119120121122123124125126127128129130131132133134135136137138139140141142143144145146147148149150151152153154155156157158159160161162163164165166167168169170171172173174175176177178179180181182183184185186187188189190191192193194195196197198199200201202203204205206207208209210211212213214215216217218219220221222223224225226227228229230231232233234235236237238239240241242243244245246247248249250251252253254255256257258259260261262263264265266267268269270271272273274275276277278279280281282283284285286287288289290291292293294295296297298299300301302303304305306307308309310 |
- ace.define("ace/mode/logiql_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 LogiQLHighlightRules = function() {
- this.$rules = { start:
- [ { token: 'comment.block',
- regex: '/\\*',
- push:
- [ { token: 'comment.block', regex: '\\*/', next: 'pop' },
- { defaultToken: 'comment.block' } ]
- },
- { token: 'comment.single',
- regex: '//.*'
- },
- { token: 'constant.numeric',
- regex: '\\d+(?:\\.\\d+)?(?:[eE][+-]?\\d+)?[fd]?'
- },
- { token: 'string',
- regex: '"',
- push:
- [ { token: 'string', regex: '"', next: 'pop' },
- { defaultToken: 'string' } ]
- },
- { token: 'constant.language',
- regex: '\\b(true|false)\\b'
- },
- { token: 'entity.name.type.logicblox',
- regex: '`[a-zA-Z_:]+(\\d|\\a)*\\b'
- },
- { token: 'keyword.start', regex: '->', comment: 'Constraint' },
- { token: 'keyword.start', regex: '-->', comment: 'Level 1 Constraint'},
- { token: 'keyword.start', regex: '<-', comment: 'Rule' },
- { token: 'keyword.start', regex: '<--', comment: 'Level 1 Rule' },
- { token: 'keyword.end', regex: '\\.', comment: 'Terminator' },
- { token: 'keyword.other', regex: '!', comment: 'Negation' },
- { token: 'keyword.other', regex: ',', comment: 'Conjunction' },
- { token: 'keyword.other', regex: ';', comment: 'Disjunction' },
- { token: 'keyword.operator', regex: '<=|>=|!=|<|>', comment: 'Equality'},
- { token: 'keyword.other', regex: '@', comment: 'Equality' },
- { token: 'keyword.operator', regex: '\\+|-|\\*|/', comment: 'Arithmetic operations'},
- { token: 'keyword', regex: '::', comment: 'Colon colon' },
- { token: 'support.function',
- regex: '\\b(agg\\s*<<)',
- push:
- [ { include: '$self' },
- { token: 'support.function',
- regex: '>>',
- next: 'pop' } ]
- },
- { token: 'storage.modifier',
- regex: '\\b(lang:[\\w:]*)'
- },
- { token: [ 'storage.type', 'text' ],
- regex: '(export|sealed|clauses|block|alias|alias_all)(\\s*\\()(?=`)'
- },
- { token: 'entity.name',
- regex: '[a-zA-Z_][a-zA-Z_0-9:]*(@prev|@init|@final)?(?=(\\(|\\[))'
- },
- { token: 'variable.parameter',
- regex: '([a-zA-Z][a-zA-Z_0-9]*|_)\\s*(?=(,|\\.|<-|->|\\)|\\]|=))'
- } ] }
-
- this.normalizeRules();
- };
- oop.inherits(LogiQLHighlightRules, TextHighlightRules);
- exports.LogiQLHighlightRules = LogiQLHighlightRules;
- });
- ace.define("ace/mode/folding/coffee",["require","exports","module","ace/lib/oop","ace/mode/folding/fold_mode","ace/range"], function(require, exports, module) {
- "use strict";
- var oop = require("../../lib/oop");
- var BaseFoldMode = require("./fold_mode").FoldMode;
- var Range = require("../../range").Range;
- var FoldMode = exports.FoldMode = function() {};
- oop.inherits(FoldMode, BaseFoldMode);
- (function() {
- this.getFoldWidgetRange = function(session, foldStyle, row) {
- var range = this.indentationBlock(session, row);
- if (range)
- return range;
- var re = /\S/;
- var line = session.getLine(row);
- var startLevel = line.search(re);
- if (startLevel == -1 || line[startLevel] != "#")
- return;
- var startColumn = line.length;
- var maxRow = session.getLength();
- var startRow = row;
- var endRow = row;
- while (++row < maxRow) {
- line = session.getLine(row);
- var level = line.search(re);
- if (level == -1)
- continue;
- if (line[level] != "#")
- break;
- endRow = row;
- }
- if (endRow > startRow) {
- var endColumn = session.getLine(endRow).length;
- return new Range(startRow, startColumn, endRow, endColumn);
- }
- };
- this.getFoldWidget = function(session, foldStyle, row) {
- var line = session.getLine(row);
- var indent = line.search(/\S/);
- var next = session.getLine(row + 1);
- var prev = session.getLine(row - 1);
- var prevIndent = prev.search(/\S/);
- var nextIndent = next.search(/\S/);
- if (indent == -1) {
- session.foldWidgets[row - 1] = prevIndent!= -1 && prevIndent < nextIndent ? "start" : "";
- return "";
- }
- if (prevIndent == -1) {
- if (indent == nextIndent && line[indent] == "#" && next[indent] == "#") {
- session.foldWidgets[row - 1] = "";
- session.foldWidgets[row + 1] = "";
- return "start";
- }
- } else if (prevIndent == indent && line[indent] == "#" && prev[indent] == "#") {
- if (session.getLine(row - 2).search(/\S/) == -1) {
- session.foldWidgets[row - 1] = "start";
- session.foldWidgets[row + 1] = "";
- return "";
- }
- }
- if (prevIndent!= -1 && prevIndent < indent)
- session.foldWidgets[row - 1] = "start";
- else
- session.foldWidgets[row - 1] = "";
- if (indent < nextIndent)
- return "start";
- else
- return "";
- };
- }).call(FoldMode.prototype);
- });
- ace.define("ace/mode/matching_brace_outdent",["require","exports","module","ace/range"], function(require, exports, module) {
- "use strict";
- var Range = require("../range").Range;
- var MatchingBraceOutdent = function() {};
- (function() {
- this.checkOutdent = function(line, input) {
- if (! /^\s+$/.test(line))
- return false;
- return /^\s*\}/.test(input);
- };
- this.autoOutdent = function(doc, row) {
- var line = doc.getLine(row);
- var match = line.match(/^(\s*\})/);
- if (!match) return 0;
- var column = match[1].length;
- var openBracePos = doc.findMatchingBracket({row: row, column: column});
- if (!openBracePos || openBracePos.row == row) return 0;
- var indent = this.$getIndent(doc.getLine(openBracePos.row));
- doc.replace(new Range(row, 0, row, column-1), indent);
- };
- this.$getIndent = function(line) {
- return line.match(/^\s*/)[0];
- };
- }).call(MatchingBraceOutdent.prototype);
- exports.MatchingBraceOutdent = MatchingBraceOutdent;
- });
- ace.define("ace/mode/logiql",["require","exports","module","ace/lib/oop","ace/mode/text","ace/mode/logiql_highlight_rules","ace/mode/folding/coffee","ace/token_iterator","ace/range","ace/mode/behaviour/cstyle","ace/mode/matching_brace_outdent"], function(require, exports, module) {
- "use strict";
- var oop = require("../lib/oop");
- var TextMode = require("./text").Mode;
- var LogiQLHighlightRules = require("./logiql_highlight_rules").LogiQLHighlightRules;
- var FoldMode = require("./folding/coffee").FoldMode;
- var TokenIterator = require("../token_iterator").TokenIterator;
- var Range = require("../range").Range;
- var CstyleBehaviour = require("./behaviour/cstyle").CstyleBehaviour;
- var MatchingBraceOutdent = require("./matching_brace_outdent").MatchingBraceOutdent;
- var Mode = function() {
- this.HighlightRules = LogiQLHighlightRules;
- this.foldingRules = new FoldMode();
- this.$outdent = new MatchingBraceOutdent();
- this.$behaviour = new CstyleBehaviour();
- };
- oop.inherits(Mode, TextMode);
- (function() {
- this.lineCommentStart = "//";
- this.blockComment = {start: "/*", end: "*/"};
- this.getNextLineIndent = function(state, line, tab) {
- var indent = this.$getIndent(line);
- var tokenizedLine = this.getTokenizer().getLineTokens(line, state);
- var tokens = tokenizedLine.tokens;
- var endState = tokenizedLine.state;
- if (/comment|string/.test(endState))
- return indent;
- if (tokens.length && tokens[tokens.length - 1].type == "comment.single")
- return indent;
- var match = line.match();
- if (/(-->|<--|<-|->|{)\s*$/.test(line))
- indent += tab;
- return indent;
- };
- this.checkOutdent = function(state, line, input) {
- if (this.$outdent.checkOutdent(line, input))
- return true;
- if (input !== "\n" && input !== "\r\n")
- return false;
-
- if (!/^\s+/.test(line))
- return false;
- return true;
- };
- this.autoOutdent = function(state, doc, row) {
- if (this.$outdent.autoOutdent(doc, row))
- return;
- var prevLine = doc.getLine(row);
- var match = prevLine.match(/^\s+/);
- var column = prevLine.lastIndexOf(".") + 1;
- if (!match || !row || !column) return 0;
- var line = doc.getLine(row + 1);
- var startRange = this.getMatching(doc, {row: row, column: column});
- if (!startRange || startRange.start.row == row) return 0;
- column = match[0].length;
- var indent = this.$getIndent(doc.getLine(startRange.start.row));
- doc.replace(new Range(row + 1, 0, row + 1, column), indent);
- };
- this.getMatching = function(session, row, column) {
- if (row == undefined)
- row = session.selection.lead
- if (typeof row == "object") {
- column = row.column;
- row = row.row;
- }
- var startToken = session.getTokenAt(row, column);
- var KW_START = "keyword.start", KW_END = "keyword.end";
- var tok;
- if (!startToken)
- return;
- if (startToken.type == KW_START) {
- var it = new TokenIterator(session, row, column);
- it.step = it.stepForward;
- } else if (startToken.type == KW_END) {
- var it = new TokenIterator(session, row, column);
- it.step = it.stepBackward;
- } else
- return;
- while (tok = it.step()) {
- if (tok.type == KW_START || tok.type == KW_END)
- break;
- }
- if (!tok || tok.type == startToken.type)
- return;
- var col = it.getCurrentTokenColumn();
- var row = it.getCurrentTokenRow();
- return new Range(row, col, row, col + tok.value.length);
- };
- this.$id = "ace/mode/logiql";
- }).call(Mode.prototype);
- exports.Mode = Mode;
- });
|