1
var DummyParser = Editor.Parser = (function() {
2
function tokenizeDummy(source) {
3
while (!source.endOfLine()) source.next();
6
function parseDummy(source) {
7
function indentTo(n) {return function() {return n;}}
8
source = tokenizer(source, tokenizeDummy);
13
var tok = source.next();
14
if (tok.type == "whitespace") {
15
if (tok.value == "\n") tok.indentation = indentTo(space);
16
else space = tok.value.length;
22
return function(_source) {
24
source = tokenizer(_source, tokenizeDummy);
31
return {make: parseDummy};