/** * Prints Name for this HelpSet. */ public String toString() { return getTitle(); }
private void mergeSearchView(NavigatorView view, HelpSet ehs) { try { if (searchnav.canMerge(view)) { searchnav.merge(view); } } catch (IllegalArgumentException ex) { StringBuilder logMessage = new StringBuilder(150); logMessage.append("Failed to merge Search view [").append(view.getName()).append("] "); logMessage.append("from HelpSet [").append(ehs.getTitle()).append("]: "); logMessage.append(ex.getMessage()); LOGGER.warn(logMessage.toString()); } }
/** * Fills HashMap with actual HelpSets and their titles * * @param masterHelpSet The master HelpSet */ private void fillHelpSetTitles(HelpSet masterHelpSet){ for(Enumeration helpSets = masterHelpSet.getHelpSets();helpSets.hasMoreElements();){ HelpSet hs = (HelpSet) helpSets.nextElement(); if(hs != null){ hsMap.put(hs.getTitle(), hs); debug(" fill title: "+hs.getTitle()); fillHelpSetTitles(hs); } } }
/** * A title is found */ public void processTitle(HelpSet hs, String value) { String title = hs.getTitle(); if ((title != null) && !title.equals("")) { parsingWarning("helpset.wrongTitle", value, title); } hs.setTitle(value); }
/** * retuns a helpset title for a given url */ private String getHelpSetTitle(HelpSet hs, URL url) { URL baseURL = hs.getHelpSetURL(); String urlExternal = url.toExternalForm(); String baseURLExternal = baseURL.toExternalForm(); if (urlExternal.startsWith(baseURLExternal)) { return hs.getTitle(); } Enumeration helpsets = hs.getHelpSets(); String title = null; while (helpsets.hasMoreElements()) { HelpSet testHS = (HelpSet) helpsets.nextElement(); title = getHelpSetTitle(testHS, url); if (title != null) { break; } } return title; }
/** * Marks nodes with the same name but diferent IDs with their HelpSet title * * @param master The master node to mark * @param slave The slave node to mark */ public static void markNodes(DefaultMutableTreeNode master, DefaultMutableTreeNode slave) { debug("MarkNodes"); TreeItem masterItem = (TreeItem)master.getUserObject(); TreeItem slaveItem = (TreeItem)slave.getUserObject(); HelpSet masterHS = masterItem.getHelpSet(); HelpSet slaveHS = slaveItem.getHelpSet(); if (masterItem.getName() != null) { masterItem.setName(masterItem.getName()+"("+masterHS.getTitle()+")"); } else { masterItem.setName(masterItem.getName()+"("+masterHS.getTitle()+")"); } if (slaveItem.getName() != null) { slaveItem.setName(slaveItem.getName()+"("+slaveHS.getTitle()+")"); } else { slaveItem.setName(slaveItem.getName()+"("+slaveHS.getTitle()+")"); } }
hsMap.put(masterHelpSet.getTitle(), masterHelpSet);
public String getTitle() { debug("getTitle"); // if the title comes from the document use that first if // jhelp exists if (titleFromDocument && jhelp != null) { String docTitle = jhelp.getContentViewer().getDocumentTitle(); if (docTitle != null) { return docTitle; } } // otherwise use the title that has been set... if (title != null) { return title; } else { // Unless there wasn't a title set and then use the HelpSet // title HelpSet hs = getHelpSet(); if (hs != null) { title = hs.getTitle(); } } return title; }