private void writeMatches(SortedVector<AllMatches> matches) throws jplag.ExitException { Enumeration<AllMatches> enum1 = matches.elements(); for (int i = 0; enum1.hasMoreElements(); i++) { AllMatches match = enum1.nextElement(); if (!matchesIndexMap.containsKey(match)) continue; // match has already been written if (this.program.use_externalSearch()) { ThemeGenerator.loadStructure(match.subA); ThemeGenerator.loadStructure(match.subB); } writeMatch(root, getMatchIndex(match), match); matchesIndexMap.remove(match); // "mark" as already written options.setProgress((i + 1) * 100 / matches.size()); if (this.program.use_externalSearch()) { match.subA.struct = null; match.subB.struct = null; } } }
if (program.use_externalSearch()) { loadStructure(submission); tokenFrequency[tokens[j].type]++; if (program.use_externalSearch()) { submission.struct = null;
if (program.use_externalSearch()) { ThemeGenerator.loadStructure(submission); if (program.use_externalSearch()) { submission.struct = null;
private int writeTop(int i, AllMatches match) throws jplag.ExitException { HTMLFile f = openHTMLFile(root, "match" + i + "-top.html"); writeHTMLHeaderWithScript(f, "Top"); f.println("<BODY BGCOLOR=\"#ffffff\">"); if (this.program.use_externalSearch()) { f.println("<A HREF=\"match" + i + "-dist.html\" TARGET=\"_top\">" + msg.getString("Report.Distribution") + "</A><P>"); } match.HTMLreport(f, i, this.program); f.println("</BODY>\n</HTML>\n"); f.close(); return f.bytesWritten(); }
if (this.program.use_externalSearch()) { bytes += writeDist(i, match);