latex-utensils
Version:
A LaTeX parser, a BibTeX parser, and utilities
1,905 lines (1,768 loc) • 95.2 kB
JavaScript
// Generated by Peggy 3.0.2.
//
// https://peggyjs.org/
"use strict";
function peg$subclass(child, parent) {
function C() { this.constructor = child; }
C.prototype = parent.prototype;
child.prototype = new C();
}
function peg$SyntaxError(message, expected, found, location) {
var self = Error.call(this, message);
// istanbul ignore next Check is a necessary evil to support older environments
if (Object.setPrototypeOf) {
Object.setPrototypeOf(self, peg$SyntaxError.prototype);
}
self.expected = expected;
self.found = found;
self.location = location;
self.name = "SyntaxError";
return self;
}
peg$subclass(peg$SyntaxError, Error);
function peg$padEnd(str, targetLength, padString) {
padString = padString || " ";
if (str.length > targetLength) { return str; }
targetLength -= str.length;
padString += padString.repeat(targetLength);
return str + padString.slice(0, targetLength);
}
peg$SyntaxError.prototype.format = function(sources) {
var str = "Error: " + this.message;
if (this.location) {
var src = null;
var k;
for (k = 0; k < sources.length; k++) {
if (sources[k].source === this.location.source) {
src = sources[k].text.split(/\r\n|\n|\r/g);
break;
}
}
var s = this.location.start;
var offset_s = (this.location.source && (typeof this.location.source.offset === "function"))
? this.location.source.offset(s)
: s;
var loc = this.location.source + ":" + offset_s.line + ":" + offset_s.column;
if (src) {
var e = this.location.end;
var filler = peg$padEnd("", offset_s.line.toString().length, ' ');
var line = src[s.line - 1];
var last = s.line === e.line ? e.column : line.length + 1;
var hatLen = (last - s.column) || 1;
str += "\n --> " + loc + "\n"
+ filler + " |\n"
+ offset_s.line + " | " + line + "\n"
+ filler + " | " + peg$padEnd("", s.column - 1, ' ')
+ peg$padEnd("", hatLen, "^");
} else {
str += "\n at " + loc;
}
}
return str;
};
peg$SyntaxError.buildMessage = function(expected, found) {
var DESCRIBE_EXPECTATION_FNS = {
literal: function(expectation) {
return "\"" + literalEscape(expectation.text) + "\"";
},
class: function(expectation) {
var escapedParts = expectation.parts.map(function(part) {
return Array.isArray(part)
? classEscape(part[0]) + "-" + classEscape(part[1])
: classEscape(part);
});
return "[" + (expectation.inverted ? "^" : "") + escapedParts.join("") + "]";
},
any: function() {
return "any character";
},
end: function() {
return "end of input";
},
other: function(expectation) {
return expectation.description;
}
};
function hex(ch) {
return ch.charCodeAt(0).toString(16).toUpperCase();
}
function literalEscape(s) {
return s
.replace(/\\/g, "\\\\")
.replace(/"/g, "\\\"")
.replace(/\0/g, "\\0")
.replace(/\t/g, "\\t")
.replace(/\n/g, "\\n")
.replace(/\r/g, "\\r")
.replace(/[\x00-\x0F]/g, function(ch) { return "\\x0" + hex(ch); })
.replace(/[\x10-\x1F\x7F-\x9F]/g, function(ch) { return "\\x" + hex(ch); });
}
function classEscape(s) {
return s
.replace(/\\/g, "\\\\")
.replace(/\]/g, "\\]")
.replace(/\^/g, "\\^")
.replace(/-/g, "\\-")
.replace(/\0/g, "\\0")
.replace(/\t/g, "\\t")
.replace(/\n/g, "\\n")
.replace(/\r/g, "\\r")
.replace(/[\x00-\x0F]/g, function(ch) { return "\\x0" + hex(ch); })
.replace(/[\x10-\x1F\x7F-\x9F]/g, function(ch) { return "\\x" + hex(ch); });
}
function describeExpectation(expectation) {
return DESCRIBE_EXPECTATION_FNS[expectation.type](expectation);
}
function describeExpected(expected) {
var descriptions = expected.map(describeExpectation);
var i, j;
descriptions.sort();
if (descriptions.length > 0) {
for (i = 1, j = 1; i < descriptions.length; i++) {
if (descriptions[i - 1] !== descriptions[i]) {
descriptions[j] = descriptions[i];
j++;
}
}
descriptions.length = j;
}
switch (descriptions.length) {
case 1:
return descriptions[0];
case 2:
return descriptions[0] + " or " + descriptions[1];
default:
return descriptions.slice(0, -1).join(", ")
+ ", or "
+ descriptions[descriptions.length - 1];
}
}
function describeFound(found) {
return found ? "\"" + literalEscape(found) + "\"" : "end of input";
}
return "Expected " + describeExpected(expected) + " but " + describeFound(found) + " found.";
};
function peg$DefaultTracer() {
this.indentLevel = 0;
}
peg$DefaultTracer.prototype.trace = function(event) {
var that = this;
function log(event) {
function repeat(string, n) {
var result = "", i;
for (i = 0; i < n; i++) {
result += string;
}
return result;
}
function pad(string, length) {
return string + repeat(" ", length - string.length);
}
if (typeof console === "object") {
console.log(
event.location.start.line + ":" + event.location.start.column + "-"
+ event.location.end.line + ":" + event.location.end.column + " "
+ pad(event.type, 10) + " "
+ repeat(" ", that.indentLevel) + event.rule
);
}
}
switch (event.type) {
case "rule.enter":
log(event);
this.indentLevel++;
break;
case "rule.match":
this.indentLevel--;
log(event);
break;
case "rule.fail":
this.indentLevel--;
log(event);
break;
default:
throw new Error("Invalid event type: " + event.type + ".");
}
};
function peg$parse(input, options) {
options = options !== undefined ? options : {};
var peg$FAILED = {};
var peg$source = options.grammarSource;
var peg$startRuleFunctions = { Root: peg$parseRoot };
var peg$startRuleFunction = peg$parseRoot;
var peg$c0 = "(";
var peg$c1 = ")";
var peg$c2 = "!";
var peg$c3 = ":";
var peg$c4 = ": ";
var peg$c5 = "l.";
var peg$c6 = "[";
var peg$c7 = "]";
var peg$c8 = " [";
var peg$c9 = ".";
var peg$c10 = "/";
var peg$c11 = "\\\\";
var peg$c12 = "l";
var peg$c13 = "o";
var peg$c14 = "a";
var peg$c15 = "d";
var peg$c16 = "u";
var peg$c17 = "c";
var peg$c18 = "s";
var peg$c19 = "i";
var peg$c20 = "n";
var peg$c21 = "g";
var peg$c22 = "r";
var peg$c23 = "e";
var peg$c24 = "h";
var peg$c25 = "\"";
var peg$c26 = "\\\"";
var peg$c27 = "\r\n";
var peg$c28 = "\n";
var peg$r0 = /^[0-9]/;
var peg$r1 = /^[^\]]/;
var peg$r2 = /^[^()]/;
var peg$r3 = /^[a-zA-Z]/;
var peg$r4 = /^[^"]/;
var peg$r5 = /^[ \t]/;
var peg$e0 = peg$literalExpectation("(", false);
var peg$e1 = peg$literalExpectation(")", false);
var peg$e2 = peg$anyExpectation();
var peg$e3 = peg$literalExpectation("!", false);
var peg$e4 = peg$literalExpectation(":", false);
var peg$e5 = peg$classExpectation([["0", "9"]], false, false);
var peg$e6 = peg$literalExpectation(": ", false);
var peg$e7 = peg$literalExpectation("l.", false);
var peg$e8 = peg$literalExpectation("[", false);
var peg$e9 = peg$classExpectation(["]"], true, false);
var peg$e10 = peg$literalExpectation("]", false);
var peg$e11 = peg$literalExpectation(" [", false);
var peg$e12 = peg$classExpectation(["(", ")"], true, false);
var peg$e13 = peg$literalExpectation(".", false);
var peg$e14 = peg$literalExpectation("/", false);
var peg$e15 = peg$classExpectation([["a", "z"], ["A", "Z"]], false, false);
var peg$e16 = peg$literalExpectation("\\\\", false);
var peg$e17 = peg$literalExpectation("l", false);
var peg$e18 = peg$literalExpectation("o", false);
var peg$e19 = peg$literalExpectation("a", false);
var peg$e20 = peg$literalExpectation("d", false);
var peg$e21 = peg$literalExpectation("u", false);
var peg$e22 = peg$literalExpectation("c", false);
var peg$e23 = peg$literalExpectation("s", false);
var peg$e24 = peg$literalExpectation("i", false);
var peg$e25 = peg$literalExpectation("n", false);
var peg$e26 = peg$literalExpectation("g", false);
var peg$e27 = peg$literalExpectation("r", false);
var peg$e28 = peg$literalExpectation("e", false);
var peg$e29 = peg$literalExpectation("h", false);
var peg$e30 = peg$literalExpectation("\"", false);
var peg$e31 = peg$literalExpectation("\\\"", false);
var peg$e32 = peg$classExpectation(["\""], true, false);
var peg$e33 = peg$literalExpectation("\r\n", false);
var peg$e34 = peg$literalExpectation("\n", false);
var peg$e35 = peg$classExpectation([" ", "\t"], false, false);
var peg$f0 = function(x) {
return { kind: 'full', content: x };
};
var peg$f1 = function(x) {
return { kind: 'halt_on_error', content: x };
};
var peg$f2 = function(x) {
return { kind: 'unknown', content: x };
};
var peg$f3 = function(path) {
return { kind: 'file_stack', path, content: [] };
};
var peg$f4 = function(path, content) {
return { kind: 'file_stack', path, content };
};
var peg$f5 = function(path, content) {
return { kind: 'file_stack', path, content };
};
var peg$f6 = function(x) {
return { kind: 'text_string', content:x };
};
var peg$f7 = function(body) {
return { kind: 'tex_error', message: body.message, line: body.line, command: body.command };
};
var peg$f8 = function(head, body) {
return { kind: 'latexmk_error', message: body.message, path: head.path, line: head.line, command: body.command };
};
var peg$f9 = function(path, line) {
return { path, line: Number(line) };
};
var peg$f10 = function(message, line, command) {
return { message, line: Number(line), command: command || undefined };
};
var peg$f11 = function(page, content) {
return { kind: 'page_number', page: Number(page), content: content || undefined };
};
var peg$f12 = function(x) {
timeKeeper && timeKeeper.check();
return { kind: 'text_string', content:x };
};
var peg$f13 = function(x) {
timeKeeper && timeKeeper.check();
return { kind: 'text_string', content:x };
};
var peg$f14 = function(x) {
return x;
};
var peg$currPos = 0;
var peg$savedPos = 0;
var peg$posDetailsCache = [{ line: 1, column: 1 }];
var peg$maxFailPos = 0;
var peg$maxFailExpected = [];
var peg$silentFails = 0;
var peg$tracer = "tracer" in options ? options.tracer : new peg$DefaultTracer();
var peg$result;
if ("startRule" in options) {
if (!(options.startRule in peg$startRuleFunctions)) {
throw new Error("Can't start parsing from rule \"" + options.startRule + "\".");
}
peg$startRuleFunction = peg$startRuleFunctions[options.startRule];
}
function text() {
return input.substring(peg$savedPos, peg$currPos);
}
function offset() {
return peg$savedPos;
}
function range() {
return {
source: peg$source,
start: peg$savedPos,
end: peg$currPos
};
}
function location() {
return peg$computeLocation(peg$savedPos, peg$currPos);
}
function expected(description, location) {
location = location !== undefined
? location
: peg$computeLocation(peg$savedPos, peg$currPos);
throw peg$buildStructuredError(
[peg$otherExpectation(description)],
input.substring(peg$savedPos, peg$currPos),
location
);
}
function error(message, location) {
location = location !== undefined
? location
: peg$computeLocation(peg$savedPos, peg$currPos);
throw peg$buildSimpleError(message, location);
}
function peg$literalExpectation(text, ignoreCase) {
return { type: "literal", text: text, ignoreCase: ignoreCase };
}
function peg$classExpectation(parts, inverted, ignoreCase) {
return { type: "class", parts: parts, inverted: inverted, ignoreCase: ignoreCase };
}
function peg$anyExpectation() {
return { type: "any" };
}
function peg$endExpectation() {
return { type: "end" };
}
function peg$otherExpectation(description) {
return { type: "other", description: description };
}
function peg$computePosDetails(pos) {
var details = peg$posDetailsCache[pos];
var p;
if (details) {
return details;
} else {
p = pos - 1;
while (!peg$posDetailsCache[p]) {
p--;
}
details = peg$posDetailsCache[p];
details = {
line: details.line,
column: details.column
};
while (p < pos) {
if (input.charCodeAt(p) === 10) {
details.line++;
details.column = 1;
} else {
details.column++;
}
p++;
}
peg$posDetailsCache[pos] = details;
return details;
}
}
function peg$computeLocation(startPos, endPos, offset) {
var startPosDetails = peg$computePosDetails(startPos);
var endPosDetails = peg$computePosDetails(endPos);
var res = {
source: peg$source,
start: {
offset: startPos,
line: startPosDetails.line,
column: startPosDetails.column
},
end: {
offset: endPos,
line: endPosDetails.line,
column: endPosDetails.column
}
};
if (offset && peg$source && (typeof peg$source.offset === "function")) {
res.start = peg$source.offset(res.start);
res.end = peg$source.offset(res.end);
}
return res;
}
function peg$fail(expected) {
if (peg$currPos < peg$maxFailPos) { return; }
if (peg$currPos > peg$maxFailPos) {
peg$maxFailPos = peg$currPos;
peg$maxFailExpected = [];
}
peg$maxFailExpected.push(expected);
}
function peg$buildSimpleError(message, location) {
return new peg$SyntaxError(message, null, null, location);
}
function peg$buildStructuredError(expected, found, location) {
return new peg$SyntaxError(
peg$SyntaxError.buildMessage(expected, found),
expected,
found,
location
);
}
function peg$parseRoot() {
var startPos = peg$currPos;
var s0, s1, s2, s3, s4;
peg$tracer.trace({
type: "rule.enter",
rule: "Root",
location: peg$computeLocation(startPos, startPos, true)
});
s0 = peg$currPos;
s1 = peg$currPos;
s2 = peg$parseLogTextOutsideFileStack();
if (s2 !== peg$FAILED) {
s3 = peg$parseFileStack();
if (s3 !== peg$FAILED) {
s4 = peg$parseLogTextOutsideFileStack();
if (s4 !== peg$FAILED) {
s2 = [s2, s3, s4];
s1 = s2;
} else {
peg$currPos = s1;
s1 = peg$FAILED;
}
} else {
peg$currPos = s1;
s1 = peg$FAILED;
}
} else {
peg$currPos = s1;
s1 = peg$FAILED;
}
if (s1 !== peg$FAILED) {
peg$savedPos = s0;
s1 = peg$f0(s1);
}
s0 = s1;
if (s0 === peg$FAILED) {
s0 = peg$currPos;
s1 = peg$currPos;
s2 = peg$parseLogTextOutsideFileStackRightOpen();
if (s2 !== peg$FAILED) {
s3 = peg$parseFileStackRightOpen();
if (s3 !== peg$FAILED) {
s2 = [s2, s3];
s1 = s2;
} else {
peg$currPos = s1;
s1 = peg$FAILED;
}
} else {
peg$currPos = s1;
s1 = peg$FAILED;
}
if (s1 !== peg$FAILED) {
peg$savedPos = s0;
s1 = peg$f1(s1);
}
s0 = s1;
if (s0 === peg$FAILED) {
s0 = peg$currPos;
s1 = [];
s2 = peg$currPos;
s3 = peg$parseLogTextOutsideFileStack();
if (s3 !== peg$FAILED) {
s4 = peg$parseFileStack();
if (s4 !== peg$FAILED) {
s3 = [s3, s4];
s2 = s3;
} else {
peg$currPos = s2;
s2 = peg$FAILED;
}
} else {
peg$currPos = s2;
s2 = peg$FAILED;
}
if (s2 !== peg$FAILED) {
while (s2 !== peg$FAILED) {
s1.push(s2);
s2 = peg$currPos;
s3 = peg$parseLogTextOutsideFileStack();
if (s3 !== peg$FAILED) {
s4 = peg$parseFileStack();
if (s4 !== peg$FAILED) {
s3 = [s3, s4];
s2 = s3;
} else {
peg$currPos = s2;
s2 = peg$FAILED;
}
} else {
peg$currPos = s2;
s2 = peg$FAILED;
}
}
} else {
s1 = peg$FAILED;
}
if (s1 !== peg$FAILED) {
peg$savedPos = s0;
s1 = peg$f2(s1);
}
s0 = s1;
}
}
if (s0 !== peg$FAILED) {
peg$tracer.trace({
type: "rule.match",
rule: "Root",
result: s0,
location: peg$computeLocation(startPos, peg$currPos, true)
});
} else {
peg$tracer.trace({
type: "rule.fail",
rule: "Root",
location: peg$computeLocation(startPos, startPos, true)
});
}
return s0;
}
function peg$parseFileStack() {
var startPos = peg$currPos;
var s0, s1, s2, s3, s4, s5, s6;
peg$tracer.trace({
type: "rule.enter",
rule: "FileStack",
location: peg$computeLocation(startPos, startPos, true)
});
s0 = peg$currPos;
if (input.charCodeAt(peg$currPos) === 40) {
s1 = peg$c0;
peg$currPos++;
} else {
s1 = peg$FAILED;
if (peg$silentFails === 0) { peg$fail(peg$e0); }
}
if (s1 !== peg$FAILED) {
s2 = peg$parsePath();
if (s2 !== peg$FAILED) {
if (input.charCodeAt(peg$currPos) === 41) {
s3 = peg$c1;
peg$currPos++;
} else {
s3 = peg$FAILED;
if (peg$silentFails === 0) { peg$fail(peg$e1); }
}
if (s3 !== peg$FAILED) {
s4 = peg$currPos;
peg$silentFails++;
if (input.charCodeAt(peg$currPos) === 41) {
s5 = peg$c1;
peg$currPos++;
} else {
s5 = peg$FAILED;
if (peg$silentFails === 0) { peg$fail(peg$e1); }
}
if (s5 === peg$FAILED) {
s5 = peg$parseDelimiter();
}
peg$silentFails--;
if (s5 !== peg$FAILED) {
peg$currPos = s4;
s4 = undefined;
} else {
s4 = peg$FAILED;
}
if (s4 !== peg$FAILED) {
s5 = peg$parse__();
peg$savedPos = s0;
s0 = peg$f3(s2);
} else {
peg$currPos = s0;
s0 = peg$FAILED;
}
} else {
peg$currPos = s0;
s0 = peg$FAILED;
}
} else {
peg$currPos = s0;
s0 = peg$FAILED;
}
} else {
peg$currPos = s0;
s0 = peg$FAILED;
}
if (s0 === peg$FAILED) {
s0 = peg$currPos;
if (input.charCodeAt(peg$currPos) === 40) {
s1 = peg$c0;
peg$currPos++;
} else {
s1 = peg$FAILED;
if (peg$silentFails === 0) { peg$fail(peg$e0); }
}
if (s1 !== peg$FAILED) {
s2 = peg$parsePath();
if (s2 !== peg$FAILED) {
s3 = [];
s4 = peg$parseDelimiter();
if (s4 !== peg$FAILED) {
while (s4 !== peg$FAILED) {
s3.push(s4);
s4 = peg$parseDelimiter();
}
} else {
s3 = peg$FAILED;
}
if (s3 !== peg$FAILED) {
s4 = [];
s5 = peg$parseFileStackElement();
if (s5 !== peg$FAILED) {
while (s5 !== peg$FAILED) {
s4.push(s5);
s5 = peg$parseFileStackElement();
}
} else {
s4 = peg$FAILED;
}
if (s4 !== peg$FAILED) {
if (input.charCodeAt(peg$currPos) === 41) {
s5 = peg$c1;
peg$currPos++;
} else {
s5 = peg$FAILED;
if (peg$silentFails === 0) { peg$fail(peg$e1); }
}
if (s5 !== peg$FAILED) {
s6 = peg$parse__();
peg$savedPos = s0;
s0 = peg$f4(s2, s4);
} else {
peg$currPos = s0;
s0 = peg$FAILED;
}
} else {
peg$currPos = s0;
s0 = peg$FAILED;
}
} else {
peg$currPos = s0;
s0 = peg$FAILED;
}
} else {
peg$currPos = s0;
s0 = peg$FAILED;
}
} else {
peg$currPos = s0;
s0 = peg$FAILED;
}
}
if (s0 !== peg$FAILED) {
peg$tracer.trace({
type: "rule.match",
rule: "FileStack",
result: s0,
location: peg$computeLocation(startPos, peg$currPos, true)
});
} else {
peg$tracer.trace({
type: "rule.fail",
rule: "FileStack",
location: peg$computeLocation(startPos, startPos, true)
});
}
return s0;
}
function peg$parseFileStackRightOpen() {
var startPos = peg$currPos;
var s0, s1, s2, s3, s4, s5;
peg$tracer.trace({
type: "rule.enter",
rule: "FileStackRightOpen",
location: peg$computeLocation(startPos, startPos, true)
});
s0 = peg$currPos;
if (input.charCodeAt(peg$currPos) === 40) {
s1 = peg$c0;
peg$currPos++;
} else {
s1 = peg$FAILED;
if (peg$silentFails === 0) { peg$fail(peg$e0); }
}
if (s1 !== peg$FAILED) {
s2 = peg$parsePath();
if (s2 !== peg$FAILED) {
s3 = [];
s4 = peg$parseDelimiter();
if (s4 !== peg$FAILED) {
while (s4 !== peg$FAILED) {
s3.push(s4);
s4 = peg$parseDelimiter();
}
} else {
s3 = peg$FAILED;
}
if (s3 !== peg$FAILED) {
s4 = [];
s5 = peg$parseFileStackElement();
if (s5 !== peg$FAILED) {
while (s5 !== peg$FAILED) {
s4.push(s5);
s5 = peg$parseFileStackElement();
}
} else {
s4 = peg$FAILED;
}
if (s4 !== peg$FAILED) {
peg$savedPos = s0;
s0 = peg$f5(s2, s4);
} else {
peg$currPos = s0;
s0 = peg$FAILED;
}
} else {
peg$currPos = s0;
s0 = peg$FAILED;
}
} else {
peg$currPos = s0;
s0 = peg$FAILED;
}
} else {
peg$currPos = s0;
s0 = peg$FAILED;
}
if (s0 !== peg$FAILED) {
peg$tracer.trace({
type: "rule.match",
rule: "FileStackRightOpen",
result: s0,
location: peg$computeLocation(startPos, peg$currPos, true)
});
} else {
peg$tracer.trace({
type: "rule.fail",
rule: "FileStackRightOpen",
location: peg$computeLocation(startPos, startPos, true)
});
}
return s0;
}
function peg$parseFileStackRightOpenElement() {
var startPos = peg$currPos;
var s0;
peg$tracer.trace({
type: "rule.enter",
rule: "FileStackRightOpenElement",
location: peg$computeLocation(startPos, startPos, true)
});
s0 = peg$parseFileStack();
if (s0 === peg$FAILED) {
s0 = peg$parseFileStackRightOpen();
if (s0 === peg$FAILED) {
s0 = peg$parsePageNumber();
if (s0 === peg$FAILED) {
s0 = peg$parseLogText();
}
}
}
if (s0 !== peg$FAILED) {
peg$tracer.trace({
type: "rule.match",
rule: "FileStackRightOpenElement",
result: s0,
location: peg$computeLocation(startPos, peg$currPos, true)
});
} else {
peg$tracer.trace({
type: "rule.fail",
rule: "FileStackRightOpenElement",
location: peg$computeLocation(startPos, startPos, true)
});
}
return s0;
}
function peg$parseLogTextOutsideFileStackRightOpen() {
var startPos = peg$currPos;
var s0, s1, s2, s3, s4, s5;
peg$tracer.trace({
type: "rule.enter",
rule: "LogTextOutsideFileStackRightOpen",
location: peg$computeLocation(startPos, startPos, true)
});
s0 = peg$currPos;
s1 = peg$currPos;
s2 = [];
s3 = peg$currPos;
s4 = peg$currPos;
peg$silentFails++;
s5 = peg$parseFileStackRightOpen();
peg$silentFails--;
if (s5 === peg$FAILED) {
s4 = undefined;
} else {
peg$currPos = s4;
s4 = peg$FAILED;
}
if (s4 !== peg$FAILED) {
if (input.length > peg$currPos) {
s5 = input.charAt(peg$currPos);
peg$currPos++;
} else {
s5 = peg$FAILED;
if (peg$silentFails === 0) { peg$fail(peg$e2); }
}
if (s5 !== peg$FAILED) {
s4 = [s4, s5];
s3 = s4;
} else {
peg$currPos = s3;
s3 = peg$FAILED;
}
} else {
peg$currPos = s3;
s3 = peg$FAILED;
}
if (s3 !== peg$FAILED) {
while (s3 !== peg$FAILED) {
s2.push(s3);
s3 = peg$currPos;
s4 = peg$currPos;
peg$silentFails++;
s5 = peg$parseFileStackRightOpen();
peg$silentFails--;
if (s5 === peg$FAILED) {
s4 = undefined;
} else {
peg$currPos = s4;
s4 = peg$FAILED;
}
if (s4 !== peg$FAILED) {
if (input.length > peg$currPos) {
s5 = input.charAt(peg$currPos);
peg$currPos++;
} else {
s5 = peg$FAILED;
if (peg$silentFails === 0) { peg$fail(peg$e2); }
}
if (s5 !== peg$FAILED) {
s4 = [s4, s5];
s3 = s4;
} else {
peg$currPos = s3;
s3 = peg$FAILED;
}
} else {
peg$currPos = s3;
s3 = peg$FAILED;
}
}
} else {
s2 = peg$FAILED;
}
if (s2 !== peg$FAILED) {
s1 = input.substring(s1, peg$currPos);
} else {
s1 = s2;
}
if (s1 !== peg$FAILED) {
peg$savedPos = s0;
s1 = peg$f6(s1);
}
s0 = s1;
if (s0 !== peg$FAILED) {
peg$tracer.trace({
type: "rule.match",
rule: "LogTextOutsideFileStackRightOpen",
result: s0,
location: peg$computeLocation(startPos, peg$currPos, true)
});
} else {
peg$tracer.trace({
type: "rule.fail",
rule: "LogTextOutsideFileStackRightOpen",
location: peg$computeLocation(startPos, startPos, true)
});
}
return s0;
}
function peg$parseFileStackElement() {
var startPos = peg$currPos;
var s0;
peg$tracer.trace({
type: "rule.enter",
rule: "FileStackElement",
location: peg$computeLocation(startPos, startPos, true)
});
s0 = peg$parseFileStack();
if (s0 === peg$FAILED) {
s0 = peg$parsePageNumber();
if (s0 === peg$FAILED) {
s0 = peg$parseTexError();
if (s0 === peg$FAILED) {
s0 = peg$parseLatexmkError();
if (s0 === peg$FAILED) {
s0 = peg$parseLogText();
}
}
}
}
if (s0 !== peg$FAILED) {
peg$tracer.trace({
type: "rule.match",
rule: "FileStackElement",
result: s0,
location: peg$computeLocation(startPos, peg$currPos, true)
});
} else {
peg$tracer.trace({
type: "rule.fail",
rule: "FileStackElement",
location: peg$computeLocation(startPos, startPos, true)
});
}
return s0;
}
function peg$parseTexError() {
var startPos = peg$currPos;
var s0, s1, s2, s3, s4, s5;
peg$tracer.trace({
type: "rule.enter",
rule: "TexError",
location: peg$computeLocation(startPos, startPos, true)
});
s0 = peg$currPos;
s1 = peg$parseLineBreak();
if (s1 !== peg$FAILED) {
if (input.charCodeAt(peg$currPos) === 33) {
s2 = peg$c2;
peg$currPos++;
} else {
s2 = peg$FAILED;
if (peg$silentFails === 0) { peg$fail(peg$e3); }
}
if (s2 !== peg$FAILED) {
s3 = peg$parseskip_space();
s4 = peg$parseTexErrorBody();
if (s4 !== peg$FAILED) {
s5 = peg$parse__();
if (s5 !== peg$FAILED) {
peg$savedPos = s0;
s0 = peg$f7(s4);
} else {
peg$currPos = s0;
s0 = peg$FAILED;
}
} else {
peg$currPos = s0;
s0 = peg$FAILED;
}
} else {
peg$currPos = s0;
s0 = peg$FAILED;
}
} else {
peg$currPos = s0;
s0 = peg$FAILED;
}
if (s0 !== peg$FAILED) {
peg$tracer.trace({
type: "rule.match",
rule: "TexError",
result: s0,
location: peg$computeLocation(startPos, peg$currPos, true)
});
} else {
peg$tracer.trace({
type: "rule.fail",
rule: "TexError",
location: peg$computeLocation(startPos, startPos, true)
});
}
return s0;
}
function peg$parseLatexmkError() {
var startPos = peg$currPos;
var s0, s1, s2, s3, s4, s5;
peg$tracer.trace({
type: "rule.enter",
rule: "LatexmkError",
location: peg$computeLocation(startPos, startPos, true)
});
s0 = peg$currPos;
s1 = peg$parseLineBreak();
if (s1 !== peg$FAILED) {
s2 = peg$parseLatexmkErrorPrefix();
if (s2 !== peg$FAILED) {
s3 = peg$parseskip_space();
s4 = peg$parseTexErrorBody();
if (s4 !== peg$FAILED) {
s5 = peg$parse__();
if (s5 !== peg$FAILED) {
peg$savedPos = s0;
s0 = peg$f8(s2, s4);
} else {
peg$currPos = s0;
s0 = peg$FAILED;
}
} else {
peg$currPos = s0;
s0 = peg$FAILED;
}
} else {
peg$currPos = s0;
s0 = peg$FAILED;
}
} else {
peg$currPos = s0;
s0 = peg$FAILED;
}
if (s0 !== peg$FAILED) {
peg$tracer.trace({
type: "rule.match",
rule: "LatexmkError",
result: s0,
location: peg$computeLocation(startPos, peg$currPos, true)
});
} else {
peg$tracer.trace({
type: "rule.fail",
rule: "LatexmkError",
location: peg$computeLocation(startPos, startPos, true)
});
}
return s0;
}
function peg$parseLatexmkErrorPrefix() {
var startPos = peg$currPos;
var s0, s1, s2, s3, s4, s5, s6, s7, s8, s9, s10;
peg$tracer.trace({
type: "rule.enter",
rule: "LatexmkErrorPrefix",
location: peg$computeLocation(startPos, startPos, true)
});
s0 = peg$currPos;
s1 = peg$currPos;
s2 = peg$currPos;
s3 = peg$parsePathPrefix();
if (s3 !== peg$FAILED) {
s4 = [];
s5 = peg$currPos;
s6 = peg$currPos;
peg$silentFails++;
s7 = peg$currPos;
if (input.charCodeAt(peg$currPos) === 58) {
s8 = peg$c3;
peg$currPos++;
} else {
s8 = peg$FAILED;
if (peg$silentFails === 0) { peg$fail(peg$e4); }
}
if (s8 !== peg$FAILED) {
s9 = [];
if (peg$r0.test(input.charAt(peg$currPos))) {
s10 = input.charAt(peg$currPos);
peg$currPos++;
} else {
s10 = peg$FAILED;
if (peg$silentFails === 0) { peg$fail(peg$e5); }
}
if (s10 !== peg$FAILED) {
while (s10 !== peg$FAILED) {
s9.push(s10);
if (peg$r0.test(input.charAt(peg$currPos))) {
s10 = input.charAt(peg$currPos);
peg$currPos++;
} else {
s10 = peg$FAILED;
if (peg$silentFails === 0) { peg$fail(peg$e5); }
}
}
} else {
s9 = peg$FAILED;
}
if (s9 !== peg$FAILED) {
if (input.substr(peg$currPos, 2) === peg$c4) {
s10 = peg$c4;
peg$currPos += 2;
} else {
s10 = peg$FAILED;
if (peg$silentFails === 0) { peg$fail(peg$e6); }
}
if (s10 !== peg$FAILED) {
s8 = [s8, s9, s10];
s7 = s8;
} else {
peg$currPos = s7;
s7 = peg$FAILED;
}
} else {
peg$currPos = s7;
s7 = peg$FAILED;
}
} else {
peg$currPos = s7;
s7 = peg$FAILED;
}
peg$silentFails--;
if (s7 === peg$FAILED) {
s6 = undefined;
} else {
peg$currPos = s6;
s6 = peg$FAILED;
}
if (s6 !== peg$FAILED) {
if (input.length > peg$currPos) {
s7 = input.charAt(peg$currPos);
peg$currPos++;
} else {
s7 = peg$FAILED;
if (peg$silentFails === 0) { peg$fail(peg$e2); }
}
if (s7 !== peg$FAILED) {
s6 = [s6, s7];
s5 = s6;
} else {
peg$currPos = s5;
s5 = peg$FAILED;
}
} else {
peg$currPos = s5;
s5 = peg$FAILED;
}
if (s5 !== peg$FAILED) {
while (s5 !== peg$FAILED) {
s4.push(s5);
s5 = peg$currPos;
s6 = peg$currPos;
peg$silentFails++;
s7 = peg$currPos;
if (input.charCodeAt(peg$currPos) === 58) {
s8 = peg$c3;
peg$currPos++;
} else {
s8 = peg$FAILED;
if (peg$silentFails === 0) { peg$fail(peg$e4); }
}
if (s8 !== peg$FAILED) {
s9 = [];
if (peg$r0.test(input.charAt(peg$currPos))) {
s10 = input.charAt(peg$currPos);
peg$currPos++;
} else {
s10 = peg$FAILED;
if (peg$silentFails === 0) { peg$fail(peg$e5); }
}
if (s10 !== peg$FAILED) {
while (s10 !== peg$FAILED) {
s9.push(s10);
if (peg$r0.test(input.charAt(peg$currPos))) {
s10 = input.charAt(peg$currPos);
peg$currPos++;
} else {
s10 = peg$FAILED;
if (peg$silentFails === 0) { peg$fail(peg$e5); }
}
}
} else {
s9 = peg$FAILED;
}
if (s9 !== peg$FAILED) {
if (input.substr(peg$currPos, 2) === peg$c4) {
s10 = peg$c4;
peg$currPos += 2;
} else {
s10 = peg$FAILED;
if (peg$silentFails === 0) { peg$fail(peg$e6); }
}
if (s10 !== peg$FAILED) {
s8 = [s8, s9, s10];
s7 = s8;
} else {
peg$currPos = s7;
s7 = peg$FAILED;
}
} else {
peg$currPos = s7;
s7 = peg$FAILED;
}
} else {
peg$currPos = s7;
s7 = peg$FAILED;
}
peg$silentFails--;
if (s7 === peg$FAILED) {
s6 = undefined;
} else {
peg$currPos = s6;
s6 = peg$FAILED;
}
if (s6 !== peg$FAILED) {
if (input.length > peg$currPos) {
s7 = input.charAt(peg$currPos);
peg$currPos++;
} else {
s7 = peg$FAILED;
if (peg$silentFails === 0) { peg$fail(peg$e2); }
}
if (s7 !== peg$FAILED) {
s6 = [s6, s7];
s5 = s6;
} else {
peg$currPos = s5;
s5 = peg$FAILED;
}
} else {
peg$currPos = s5;
s5 = peg$FAILED;
}
}
} else {
s4 = peg$FAILED;
}
if (s4 !== peg$FAILED) {
s3 = [s3, s4];
s2 = s3;
} else {
peg$currPos = s2;
s2 = peg$FAILED;
}
} else {
peg$currPos = s2;
s2 = peg$FAILED;
}
if (s2 !== peg$FAILED) {
s1 = input.substring(s1, peg$currPos);
} else {
s1 = s2;
}
if (s1 !== peg$FAILED) {
if (input.charCodeAt(peg$currPos) === 58) {
s2 = peg$c3;
peg$currPos++;
} else {
s2 = peg$FAILED;
if (peg$silentFails === 0) { peg$fail(peg$e4); }
}
if (s2 !== peg$FAILED) {
s3 = peg$currPos;
s4 = [];
if (peg$r0.test(input.charAt(peg$currPos))) {
s5 = input.charAt(peg$currPos);
peg$currPos++;
} else {
s5 = peg$FAILED;
if (peg$silentFails === 0) { peg$fail(peg$e5); }
}
if (s5 !== peg$FAILED) {
while (s5 !== peg$FAILED) {
s4.push(s5);
if (peg$r0.test(input.charAt(peg$currPos))) {
s5 = input.charAt(peg$currPos);
peg$currPos++;
} else {
s5 = peg$FAILED;
if (peg$silentFails === 0) { peg$fail(peg$e5); }
}
}
} else {
s4 = peg$FAILED;
}
if (s4 !== peg$FAILED) {
s3 = input.substring(s3, peg$currPos);
} else {
s3 = s4;
}
if (s3 !== peg$FAILED) {
if (input.charCodeAt(peg$currPos) === 58) {
s4 = peg$c3;
peg$currPos++;
} else {
s4 = peg$FAILED;
if (peg$silentFails === 0) { peg$fail(peg$e4); }
}
if (s4 !== peg$FAILED) {
peg$savedPos = s0;
s0 = peg$f9(s1, s3);
} else {
peg$currPos = s0;
s0 = peg$FAILED;
}
} else {
peg$currPos = s0;
s0 = peg$FAILED;
}
} else {
peg$currPos = s0;
s0 = peg$FAILED;
}
} else {
peg$currPos = s0;
s0 = peg$FAILED;
}
if (s0 !== peg$FAILED) {
peg$tracer.trace({
type: "rule.match",
rule: "LatexmkErrorPrefix",
result: s0,
location: peg$computeLocation(startPos, peg$currPos, true)
});
} else {
peg$tracer.trace({
type: "rule.fail",
rule: "LatexmkErrorPrefix",
location: peg$computeLocation(startPos, startPos, true)
});
}
return s0;
}
function peg$parseTexErrorBody() {
var startPos = peg$currPos;
var s0, s1, s2, s3, s4, s5, s6, s7, s8, s9, s10;
peg$tracer.trace({
type: "rule.enter",
rule: "TexErrorBody",
location: peg$computeLocation(startPos, startPos, true)
});
s0 = peg$currPos;
s1 = peg$currPos;
s2 = [];
s3 = peg$parseTexErrorChar();
if (s3 !== peg$FAILED) {
while (s3 !== peg$FAILED) {
s2.push(s3);
s3 = peg$parseTexErrorChar();
}
} else {
s2 = peg$FAILED;
}
if (s2 !== peg$FAILED) {
s1 = input.substring(s1, peg$currPos);
} else {
s1 = s2;
}
if (s1 !== peg$FAILED) {
s2 = peg$parseLineBreak();
if (s2 !== peg$FAILED) {
if (input.substr(peg$currPos, 2) === peg$c5) {
s3 = peg$c5;
peg$currPos += 2;
} else {
s3 = peg$FAILED;
if (peg$silentFails === 0) { peg$fail(peg$e7); }
}
if (s3 !== peg$FAILED) {
s4 = peg$currPos;
s5 = [];
if (peg$r0.test(input.charAt(peg$currPos))) {
s6 = input.charAt(peg$currPos);
peg$currPos++;
} else {
s6 = peg$FAILED;
if (peg$silentFails === 0) { peg$fail(peg$e5); }
}
if (s6 !== peg$FAILED) {
while (s6 !== peg$FAILED) {
s5.push(s6);
if (peg$r0.test(input.charAt(peg$currPos))) {
s6 = input.charAt(peg$currPos);
peg$currPos++;
} else {
s6 = peg$FAILED;
if (peg$silentFails === 0) { peg$fail(peg$e5); }
}
}
} else {
s5 = peg$FAILED;
}
if (s5 !== peg$FAILED) {
s4 = input.substring(s4, peg$currPos);
} else {
s4 = s5;
}
if (s4 !== peg$FAILED) {
s5 = peg$parseskip_space();
s6 = peg$currPos;
s7 = [];
s8 = peg$currPos;
s9 = peg$currPos;
peg$silentFails++;
s10 = peg$parseLineBreak();
peg$silentFails--;
if (s10 === peg$FAILED) {
s9 = undefined;
} else {
peg$currPos = s9;
s9 = peg$FAILED;
}
if (s9 !== peg$FAILED) {
if (input.length > peg$currPos) {
s10 = input.charAt(peg$currPos);
peg$currPos++;
} else {
s10 = peg$FAILED;
if (peg$silentFails === 0) { peg$fail(peg$e2); }
}
if (s10 !== peg$FAILED) {
s9 = [s9, s10];
s8 = s9;
} else {
peg$currPos = s8;
s8 = peg$FAILED;
}
} else {
peg$currPos = s8;
s8 = peg$FAILED;
}
while (s8 !== peg$FAILED) {
s7.push(s8);
s8 = peg$currPos;
s9 = peg$currPos;
peg$silentFails++;
s10 = peg$parseLineBreak();
peg$silentFails--;
if (s10 === peg$FAILED) {
s9 = undefined;
} else {
peg$currPos = s9;
s9 = peg$FAILED;
}
if (s9 !== peg$FAILED) {
if (input.length > peg$currPos) {
s10 = input.charAt(peg$currPos);
peg$currPos++;
} else {
s10 = peg$FAILED;
if (peg$silentFails === 0) { peg$fail(peg$e2); }
}
if (s10 !== peg$FAILED) {
s9 = [s9, s10];
s8 = s9;
} else {
peg$currPos = s8;
s8 = peg$FAILED;
}
} else {
peg$currPos = s8;
s8 = peg$FAILED;
}
}
s6 = input.substring(s6, peg$currPos);
peg$savedPos = s0;
s0 = peg$f10(s1, s4, s6);
} else {
peg$currPos = s0;
s0 = peg$FAILED;
}
} else {
peg$currPos = s0;
s0 = peg$FAILED;
}
} else {
peg$currPos = s0;
s0 = peg$FAILED;
}
} else {
peg$currPos = s0;
s0 = peg$FAILED;
}
if (s0 !== peg$FAILED) {
peg$tracer.trace({
type: "rule.match",
rule: "TexErrorBody",
result: s0,
location: peg$computeLocation(startPos, peg$currPos, true)
});
} else {
peg$tracer.trace({
type: "rule.fail",
rule: "TexErrorBody",
location: peg$computeLocation(startPos, startPos, true)
});
}
return s0;
}
function peg$parseTexErrorChar() {
var startPos = peg$currPos;
var s0, s1, s2, s3, s4, s5, s6;
peg$tracer.trace({
type: "rule.enter",
rule: "TexErrorChar",
location: peg$computeLocation(startPos, startPos, true)
});
s0 = peg$currPos;
s1 = peg$currPos;
peg$silentFails++;
s2 = peg$currPos;
s3 = peg$parseLineBreak();
if (s3 !== peg$FAILED) {
if (input.substr(peg$currPos, 2) === peg$c5) {
s4 = peg$c5;
peg$currPos += 2;
} else {
s4 = peg$FAILED;
if (peg$silentFails === 0) { peg$fail(peg$e7); }
}
if (s4 !== peg$FAILED) {
s5 = [];
if (peg$r0.test(input.charAt(peg$currPos))) {
s6 = input.charAt(peg$currPos);
peg$currPos++;
} else {
s6 = peg$FAILED;
if (peg$silentFails === 0) { peg$fail(peg$e5); }
}
if (s6 !== peg$FAILED) {
while (s6 !== peg$FAILED) {
s5.push(s6);
if (peg$r0.test(input.charAt(peg$currPos))) {
s6 = input.charAt(peg$currPos);
peg$currPos++;
} else {
s6 = peg$FAILED;
if (peg$silentFails === 0) { peg$fail(peg$e5); }
}
}
} else {
s5 = peg$FAILED;
}
if (s5 !== peg$FAILED) {
s3 = [s3, s4, s5];
s2 = s3;
} else {
peg$currPos = s2;
s2 = peg$FAILED;
}
} else {
peg$currPos = s2;
s2 = peg$FAILED;
}
} else {
peg$currPos = s2;
s2 = peg$FAILED;
}
peg$silentFails--;
if (s2 === peg$FAILED) {
s1 = undefined;
} else {
peg$currPos = s1;
s1 = peg$FAILED;
}
if (s1 !== peg$FAILED) {
if (input.length > peg$currPos) {
s2 = input.charAt(peg$currPos);
peg$currPos++;
} else {
s2 = peg$FAILED;
if (peg$silentFails === 0) { peg$fail(peg$e2); }
}
if (s2 !== peg$FAILED) {
s1 = [s1, s2];
s0 = s1;
} else {
peg$currPos = s0;
s0 = peg$FAILED;
}
} else {
peg$currPos = s0;
s0 = peg$FAILED;
}
if (s0 !== peg$FAILED) {
peg$tracer.trace({
type: "rule.match",
rule: "TexErrorChar",
result: s0,
location: peg$computeLocation(startPos, peg$currPos, true)
});
} else {
peg$tracer.trace({
type: "rule.fail",
rule: "TexErrorChar",
location: peg$computeLocation(startPos, startPos, true)
});
}
return s0;
}
function peg$parsePageNumber() {
var startPos = peg$currPos;
var s0, s1, s2, s3, s4, s5, s6;
peg$tracer.trace({
type: "rule.enter",
rule: "PageNumber",
location: peg$computeLocation(startPos, startPos, true)
});
s0 = peg$currPos;
if (input.charCodeAt(peg$currPos) === 91) {
s1 = peg$c6;
peg$currPos++;
} else {
s1 = peg$FAILED;
if (peg$silentFails === 0) { peg$fail(peg$e8); }
}
if (s1 !== peg$FAILED) {
s2 = peg$currPos;
s3 = [];
if (peg$r0.test(input.charAt(peg$currPos))) {
s4 = input.charAt(peg$currPos);
peg$currPos++;
} else {
s4 = peg$FAILED;
if (peg$silentFails === 0) { peg$fail(peg$e5); }
}
if (s4 !== peg$FAILED) {
while (s4 !== peg$FAILED) {
s3.push(s4);
if (peg$r0.test(input.charAt(peg$currPos))) {
s4 = input.charAt(peg$currPos);
peg$currPos++;
} else {
s4 = peg$FAILED;
if (peg$silentFails === 0) { peg$fail(peg$e5); }
}
}
} else {
s3 = peg$FAILED;
}
if (s3 !== peg$FAILED) {
s2 = input.substring(s2, peg$currPos);
} else {
s2 = s3;
}
if (s2 !== peg$FAILED) {
s3 = peg$parse__();
s4 = peg$currPos;
s5 = [];
if (peg$r1.test(input.charAt(peg$currPos))) {
s6 = input.charAt(peg$currPos);
peg$currPos++;
} else {
s6 = peg$FAILED;
if (peg$silentFails === 0) { peg$fail(peg$e9); }
}
while (s6 !== peg$FAILED) {
s5.push(s6);
if (peg$r1.test(input.charAt(peg$currPos))) {
s6 = input.charAt(peg$currPos);
peg$currPos++;
} else {
s6 = peg$FAILED;
if (peg$silentFails === 0) { peg$fail(peg$e9); }
}
}
s4 = input.substring(s4, peg$currPos);
if (input.charCodeAt(peg$currPos) === 93) {
s5 = peg$c7;
peg$currPos++;
} else {
s5 = peg$FAILED;
if (peg$silentFails === 0) { peg$fail(peg$e10); }
}
if (s5 !== peg$FAILED) {
s6 = peg$parse__();
peg$savedPos = s0;
s0 = peg$f11(s2, s4);
} else {
peg$currPos = s0;
s0 = peg$FAILED;
}
} else {
peg$currPos = s0;
s0 = peg$FAILED;
}
} else {
peg$currPos = s0;
s0 = peg$FAILED;
}
if (s0 !== peg$FAILED) {
peg$tracer.trace({
type: "rule.match",
rule: "PageNumber",
result: s0,
location: peg$computeLocation(startPos, peg$currPos, true)
});
} else {
peg$tracer.trace({
type: "rule.fail",
rule: "PageNumber",
location: peg$computeLocation(startPos, startPos, true)
});
}
return s0;
}
function peg$parsePageNumberChar() {
var startPos = peg$currPos;
var s0, s1, s2, s3;
peg$tracer.trace({
type: "rule.enter",
rule: "PageNumberChar",
location: peg$computeLocation(startPos, startPos, true)
});
s0 = peg$currPos;
s1 = peg$currPos;
peg$silentFails++;
if (input.charCodeAt(peg$currPos) === 93) {
s2 = peg$c7;
peg$currPos++;
} else {
s2 = peg$FAILED;
if (peg$silentFails === 0) { peg$fail(peg$e10); }
}
peg$silentFails--;
if (s2 === peg$FAILED) {
s1 = undefined;
} else {
peg$currPos = s1;
s1 = peg$FAILED;
}
if (s1 !== peg$FAILED) {
if (input.length > peg$currPos) {
s2 = input.charAt(peg$currPos);
peg$currPos++;
} else {
s2 = peg$FAILED;
if (peg$silentFails === 0) { peg$fail(peg$e2); }
}
if (s2 !== peg$FAILED) {
s1 = [s1, s2];
s0 = s1;
} else {
peg$currPos = s0;
s0 = peg$FAILED;
}
} else {
peg$currPos = s0;
s0 = peg$FAILED;
}