fileProgram.addAll(parsedResults);
} catch (Exception e) {
// write document anyway
// out.create(source, true, monitor);
saveDocument(document, out.getLocation().toFile());
outParsed.create(new StringBufferInputStream(parsed),
true, monitor);
outLatex.create(new StringBufferInputStream(latex),
true, monitor);
throw new TermParseException("While trying to parse '" + f + "'...: " + e.getMessage(), e);
}
}
// work out the logic formula defined by each rule
List<LogicRule> rules = investigateLogic(document, name);
allRules.addAll(rules);
// out.create(source, true, monitor);
saveDocument(document, out.getLocation().toFile());
// write out parsed rules
System.out.println("Writing to '" + outParsed + "'...");
outParsed.create(new StringBufferInputStream(parsed),
true, monitor);
// write out parsed rules
System.out.println("Writing to '" + outLatex + "'...");
outLatex.create(new StringBufferInputStream(latex),
true, monitor);
System.out.println("---");
System.out.println("loops factory in '" + f + "':");
GraphLoops loops = calculateFactoryLoops(fileProgram);