private static Builder makeBuilder(String grammarPath) {
Grammar g = new Grammar();
g.read(grammarPath);
Builder b = new Builder();
b.grammar = g;
b.executor = new FormulaMatchExecutor();
b.buildUnspecified();
return b;
}
@Override
public void run() {
builder = new Builder();
builder.build();
dataset = new Dataset();
dataset.read();
params = new Params();
for (String group : dataset.groups()) {
String filename = Execution.getFile("dumped-" + group + ".gz");
out = IOUtils.openOutHard(filename);
processExamples(group, dataset.examples(group));
out.close();
LogInfo.logs("Finished dumping to %s", filename);
StopWatchSet.logStats();
}
}