*/
public void print(HtmlLinePrinter body) throws org.dbwiki.exception.WikiException {
RequestParameterVersion versionParameter = RequestParameter.versionParameter(_request.parameters().get(RequestParameter.ParameterVersion));
ContentIterator iterator = null;
if (versionParameter.versionAll()) {
iterator = new FullContentIterator(_content);
} else if (versionParameter.versionChangesSince()) {
iterator = new ChangesSinceContentIterator(_content, ((RequestParameterVersionChanges)versionParameter).versionNumber());
} else if (versionParameter.versionCurrent()) {
iterator = new CurrentContentIterator(_content);
} else if (versionParameter.versionSingle()) {
iterator = new VersionContentIterator(_content, ((RequestParameterVersionSingle)versionParameter).versionNumber());
}
// may be unnecessary
assert(iterator != null);
body.add("<ul CLASS=\"" + CSS.CSSIndexContent + "\">");
DatabaseEntry entry = null;
while ((entry = iterator.next()) != null) {
body.add("<li>" + _request.wri().databaseIdentifier().getLink(entry, versionParameter) + "</li>");
}
body.add("</ul>");
}