pending.remove(sourceFile);
}
}
private Result parseFailureResult(String filename) throws FileNotFoundException, IOException {
ITermFactory f = ATermCommands.factory;
IStrategoTerm tbl =
f.makeAppl(f.makeConstructor("parse-table", 5),
f.makeInt(6),
f.makeInt(0),
f.makeList(),
f.makeAppl(f.makeConstructor("states", 1), f.makeList()),
f.makeAppl(f.makeConstructor("priorities", 1),
f.makeList(f.makeAppl(f.makeConstructor("arg-gtr-prio", 3),
f.makeInt(257), f.makeInt(1), f.makeInt(257))))); // XXX
ParseTable pt = null;
try {
pt = new ParseTable(tbl, f);
} catch (InvalidParseTableException e) {