/lenasys/trunk

/* ***** BEGIN LICENSE BLOCK *****

 * Distributed under the BSD license:

 *

 * Copyright (c) 2012, Ajax.org B.V.

 * All rights reserved.

 *

 * Redistribution and use in source and binary forms, with or without

 * modification, are permitted provided that the following conditions are met:

 *     * Redistributions of source code must retain the above copyright

 *       notice, this list of conditions and the following disclaimer.

 *     * Redistributions in binary form must reproduce the above copyright

 *       notice, this list of conditions and the following disclaimer in the

 *       documentation and/or other materials provided with the distribution.

 *     * Neither the name of Ajax.org B.V. nor the

 *       names of its contributors may be used to endorse or promote products

 *       derived from this software without specific prior written permission.

 *

 * THIS SOFTWARE IS PROVIDED BY THE COPYRIGHT HOLDERS AND CONTRIBUTORS "AS IS" AND

 * ANY EXPRESS OR IMPLIED WARRANTIES, INCLUDING, BUT NOT LIMITED TO, THE IMPLIED

 * WARRANTIES OF MERCHANTABILITY AND FITNESS FOR A PARTICULAR PURPOSE ARE

 * DISCLAIMED. IN NO EVENT SHALL AJAX.ORG B.V. BE LIABLE FOR ANY

 * DIRECT, INDIRECT, INCIDENTAL, SPECIAL, EXEMPLARY, OR CONSEQUENTIAL DAMAGES

 * (INCLUDING, BUT NOT LIMITED TO, PROCUREMENT OF SUBSTITUTE GOODS OR SERVICES;

 * LOSS OF USE, DATA, OR PROFITS; OR BUSINESS INTERRUPTION) HOWEVER CAUSED AND

 * ON ANY THEORY OF LIABILITY, WHETHER IN CONTRACT, STRICT LIABILITY, OR TORT

 * (INCLUDING NEGLIGENCE OR OTHERWISE) ARISING IN ANY WAY OUT OF THE USE OF THIS

 * SOFTWARE, EVEN IF ADVISED OF THE POSSIBILITY OF SUCH DAMAGE.

 *

 * ***** END LICENSE BLOCK ***** */

define('ace/mode/logiql', ['require', 'exports', 'module' , 'ace/lib/oop', 'ace/mode/text', 'ace/tokenizer', 'ace/mode/logiql_highlight_rules', 'ace/mode/folding/coffee', 'ace/token_iterator', 'ace/range'], function(require, exports, module) {

var oop = require("../lib/oop");

var TextMode = require("./text").Mode;

var Tokenizer = require("../tokenizer").Tokenizer;

var LogiQLHighlightRules = require("./logiql_highlight_rules").LogiQLHighlightRules;

var FoldMode = require("./folding/coffee").FoldMode;

var TokenIterator = require("ace/token_iterator").TokenIterator;

var Range = require("ace/range").Range;

var Mode = function() {

    var highlighter = new LogiQLHighlightRules();

    this.foldingRules = new FoldMode();

    this.$tokenizer = new Tokenizer(highlighter.getRules());

};

oop.inherits(Mode, TextMode);

(function() {

    this.lineCommentStart = "//";

    this.blockComment = {start: "/*", end: "*/"};

    this.getNextLineIndent = function(state, line, tab) {

        var indent = this.$getIndent(line);

        var match = line.match();

        if (/(-->|<--|<-|->)\s*$/.test(line))

            indent += tab;

        return indent;

    };

    this.checkOutdent = function(state, line, input) {

        if (input !== "\n" && input !== "\r\n")

            return false;

        if (!/^\s+/.test(line))

            return false;

        return true;

    };

    this.autoOutdent = function(state, doc, row) {

        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)

            return;

        var col = it.getCurrentTokenColumn();

        var row = it.getCurrentTokenRow();

        return new Range(row, col, row, col + tok.value.length);

    };

}).call(Mode.prototype);

exports.Mode = Mode;

});

define('ace/mode/logiql_highlight_rules', ['require', 'exports', 'module' , 'ace/lib/oop', 'ace/mode/text_highlight_rules'], function(require, exports, module) {

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+)?',

            },

         { 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)\\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;

});

define('ace/mode/folding/coffee', ['require', 'exports', 'module' , 'ace/lib/oop', 'ace/mode/folding/fold_mode', 'ace/range'], function(require, exports, module) {

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);

});