File: htdocs/modules/system/js/code_mirror/parsedummy.js

var DummyParser = Editor.Parser = (function () {
    function tokenizeDummy(source) {
        while (!source.endOfLine()) source.next();
        return "text";
    }

    function parseDummy(source) {
        function indentTo(n) {
            return function () {
                return n;
            }
        }

        source = tokenizer(source, tokenizeDummy);
        var space = 0;

        var iter = {
            next: function () {
                var tok = source.next();
                if (tok.type == "whitespace") {
                    if (tok.value == "\n") tok.indentation = indentTo(space);
                    else space = tok.value.length;
                }
                return tok;
            },
            copy: function () {
                var _space = space;
                return function (_source) {
                    space = _space;
                    source = tokenizer(_source, tokenizeDummy);
                    return iter;
                };
            }
        };
        return iter;
    }

    return {make: parseDummy};
})();