/lenasys/trunk

define('ace/mode/dot', ['require', 'exports', 'module' , 'ace/lib/oop', 'ace/mode/text', 'ace/tokenizer', 'ace/mode/matching_brace_outdent', 'ace/mode/dot_highlight_rules', 'ace/mode/folding/cstyle'], function(require, exports, module) {

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

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

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

var MatchingBraceOutdent = require("./matching_brace_outdent").MatchingBraceOutdent;

var DotHighlightRules = require("./dot_highlight_rules").DotHighlightRules;

var DotFoldMode = require("./folding/cstyle").FoldMode;

var Mode = function() {

    var highlighter = new DotHighlightRules();

    this.$outdent = new MatchingBraceOutdent();

    this.foldingRules = new DotFoldMode();

    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 tokenizedLine = this.$tokenizer.getLineTokens(line, state);

        var tokens = tokenizedLine.tokens;

        var endState = tokenizedLine.state;

        if (tokens.length && tokens[tokens.length-1].type == "comment") {

            return indent;

        }

        if (state == "start") {

            var match = line.match(/^.*(?:\bcase\b.*\:|[\{\(\[])\s*$/);

            if (match) {

                indent += tab;

            }

        }

        return indent;

    };

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

        return this.$outdent.checkOutdent(line, input);

    };

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

        this.$outdent.autoOutdent(doc, row);

    };

}).call(Mode.prototype);

exports.Mode = Mode;

});

define('ace/mode/matching_brace_outdent', ['require', 'exports', 'module' , 'ace/range'], function(require, exports, module) {

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;

});

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

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

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

var TextHighlightRules = require("./text_highlight_rules").TextHighlightRules;

var DocCommentHighlightRules = require("./doc_comment_highlight_rules").DocCommentHighlightRules;

var DotHighlightRules = function() {

   var keywords = lang.arrayToMap(

        ("strict|node|edge|graph|digraph|subgraph").split("|")

   );

   var attributes = lang.arrayToMap(

        ("damping|k|url|area|arrowhead|arrowsize|arrowtail|aspect|bb|bgcolor|center|charset|clusterrank|color|colorscheme|comment|compound|concentrate|constraint|decorate|defaultdist|dim|dimen|dir|diredgeconstraints|distortion|dpi|edgeurl|edgehref|edgetarget|edgetooltip|epsilon|esep|fillcolor|fixedsize|fontcolor|fontname|fontnames|fontpath|fontsize|forcelabels|gradientangle|group|headurl|head_lp|headclip|headhref|headlabel|headport|headtarget|headtooltip|height|href|id|image|imagepath|imagescale|label|labelurl|label_scheme|labelangle|labeldistance|labelfloat|labelfontcolor|labelfontname|labelfontsize|labelhref|labeljust|labelloc|labeltarget|labeltooltip|landscape|layer|layerlistsep|layers|layerselect|layersep|layout|len|levels|levelsgap|lhead|lheight|lp|ltail|lwidth|margin|maxiter|mclimit|mindist|minlen|mode|model|mosek|nodesep|nojustify|normalize|nslimit|nslimit1|ordering|orientation|outputorder|overlap|overlap_scaling|pack|packmode|pad|page|pagedir|pencolor|penwidth|peripheries|pin|pos|quadtree|quantum|rank|rankdir|ranksep|ratio|rects|regular|remincross|repulsiveforce|resolution|root|rotate|rotation|samehead|sametail|samplepoints|scale|searchsize|sep|shape|shapefile|showboxes|sides|size|skew|smoothing|sortv|splines|start|style|stylesheet|tailurl|tail_lp|tailclip|tailhref|taillabel|tailport|tailtarget|tailtooltip|target|tooltip|truecolor|vertices|viewport|voro_margin|weight|width|xlabel|xlp|z").split("|")

   );

   this.$rules = {

        "start" : [

            {

                token : "comment",

                regex : /\/\/.*$/

            }, {

                token : "comment",

                regex : /#.*$/

            }, {

                token : "comment", // multi line comment

                merge : true,

                regex : /\/\*/,

                next : "comment"

            }, {

                token : "string",

                regex : "'(?=.)",

                next  : "qstring"

            }, {

                token : "string",

                regex : '"(?=.)',

                next  : "qqstring"

            }, {

                token : "constant.numeric",

                regex : /[+\-]?\d+(?:(?:\.\d*)?(?:[eE][+\-]?\d+)?)?\b/

            }, {

                token : "keyword.operator",

                regex : /\+|=|\->/

            }, {

                token : "punctuation.operator",

                regex : /,|;/

            }, {

                token : "paren.lparen",

                regex : /[\[{]/

            }, {

                token : "paren.rparen",

                regex : /[\]}]/

            }, {

                token: "comment",

                regex: /^#!.*$/

            }, {

                token: function(value) {

                    if (keywords.hasOwnProperty(value.toLowerCase())) {

                        return "keyword";

                    }

                    else if (attributes.hasOwnProperty(value.toLowerCase())) {

                        return "variable";

                    }

                    else {

                        return "text";

                    }

                },

                regex: "\\-?[a-zA-Z_][a-zA-Z0-9_\\-]*"

           }

        ],

        "comment" : [

            {

                token : "comment", // closing comment

                regex : ".*?\\*\\/",

                merge : true,

                next : "start"

            }, {

                token : "comment", // comment spanning whole line

                merge : true,

                regex : ".+"

            }

        ],

        "qqstring" : [

            {

                token : "string",

                regex : '[^"\\\\]+',

                merge : true

            }, {

                token : "string",

                regex : "\\\\$",

                next  : "qqstring",

                merge : true

            }, {

                token : "string",

                regex : '"|$',

                next  : "start",

                merge : true

            }

        ],

        "qstring" : [

            {

                token : "string",

                regex : "[^'\\\\]+",

                merge : true

            }, {

                token : "string",

                regex : "\\\\$",

                next  : "qstring",

                merge : true

            }, {

                token : "string",

                regex : "'|$",

                next  : "start",

                merge : true

            }

        ]

   };

};

oop.inherits(DotHighlightRules, TextHighlightRules);

exports.DotHighlightRules = DotHighlightRules;

});

define('ace/mode/doc_comment_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 DocCommentHighlightRules = function() {

    this.$rules = {

        "start" : [ {

            token : "comment.doc.tag",

            regex : "@[\\w\\d_]+" // TODO: fix email addresses

        }, {

            token : "comment.doc.tag",

            regex : "\\bTODO\\b"

        }, {

            defaultToken : "comment.doc"

        }]

    };

};

oop.inherits(DocCommentHighlightRules, TextHighlightRules);

DocCommentHighlightRules.getStartRule = function(start) {

    return {

        token : "comment.doc", // doc comment

        regex : "\\/\\*(?=\\*)",

        next  : start

    };

};

DocCommentHighlightRules.getEndRule = function (start) {

    return {

        token : "comment.doc", // closing comment

        regex : "\\*\\/",

        next  : start

    };

};

exports.DocCommentHighlightRules = DocCommentHighlightRules;

});

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

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.getFoldWidgetRange = function(session, foldStyle, row) {

        var line = session.getLine(row);

        var match = line.match(this.foldingStartMarker);

        if (match) {

            var i = match.index;

            if (match[1])

                return this.openingBracketBlock(session, match[1], row, i);

            return session.getCommentFoldRange(row, i + match[0].length, 1);

        }

        if (foldStyle !== "markbeginend")

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

        }

    };

}).call(FoldMode.prototype);

});