((XMLDiffXFormatter)formatter).declarePrefixMapping(seq2.getPrefixMapping());
}
formatter.setConfig(config);
// pre-slicing
SequenceSlicer slicer = new SequenceSlicer(seq1, seq2);
if (slice) {
slicer.slice();
slicer.formatStart(formatter);
}
// start algorithm
if (!quiet) {
System.err.println("Matrix: "+seq1.size()+"x"+seq2.size());
}
DiffXAlgorithm df = getAlgorithm(args, seq1, seq2);
df.process(formatter);
// post-slicing
if (slice) {
slicer.formatEnd(formatter);
}
long t2 = System.currentTimeMillis();
if (profile) {
System.err.println("Executed algorithm files in "+(t2 - t1)+"ms");