private void printSystemIndexPage(PrintStream out, String systemName, TermSystem ts)
throws IOException, TermWareException {
printHeader(out, systemName);
out.println("<BODY BGCOLOR=\"white\">");
SortedSet patternNames = ts.getPatternNames();
Iterator patternsIterator = patternNames.iterator();
while (patternsIterator.hasNext()) {
String patternName = (String) patternsIterator.next();
out.println("<HR><A NAME=\"" + patternName + "\"><!-- --></A>");
out.println("<FONT +1>" + patternName + "</FONT><BR>");
out.println("<ul>");
Iterator it = ts.getStrategy().getStar().iterator(patternName);
HashSet sourceOnlyRules = new HashSet();
while (it.hasNext()) {
ITermTransformer tr = (ITermTransformer) it.next();
String description = tr.getDescription();
if (description.length() == 0) {
sourceOnlyRules.add(tr);
} else {
out.println("<li>");
out.print(description);
out.println("</li>");
}
}
if (!sourceOnlyRules.isEmpty()) {
Iterator sourceOnlyIterator = sourceOnlyRules.iterator();
while (sourceOnlyIterator.hasNext()) {
ITermTransformer tr = (ITermTransformer) sourceOnlyIterator.next();
out.println("<li><code>");
out.println(tr.getSource());
out.println("</code></li>");
}
}
out.println("</ul>");
}
out.println("</BODY></HTML>");
}
