/**
* Builds an html-info string about the current page and its linked resources
*
* @return HTML-String
*/
private String getCurrentPageInfoStringHTML() {
// test if currentPage links to resource, which is used (linked) somewhere
// else in the manifest
final CPManager cpMgm = CPManager.getInstance();
final DefaultElement ele = cpMgm.getElementByIdentifier(cp, currentPage.getIdRef());
boolean single = false;
if (ele instanceof CPResource) {
final CPResource res = (CPResource) ele;
single = cpMgm.isSingleUsedResource(res, cp);
}
final StringBuilder b = new StringBuilder();
b.append("<br /><ul>");
b.append(
"<li><b>"
+ translate("cptreecontroller.pagetitle")
+ "</b> "
+ currentPage.getTitle()
+ "</li>");
if (single) {
b.append(
"<li><b>"
+ translate("cptreecontroller.file")
+ "</b> "
+ currentPage.getFileName()
+ "</li>");
}
b.append("</ul>");
return b.toString();
}
