/** * Get the detail text as a complete HTML document. */ public String getDetailHTML() { return getDetailHTML(getDetailText()); }
private void addBugPatterns(Set<String> bugTypeSet) { Element root = document.getRootElement(); for (String bugType : bugTypeSet) { BugPattern bugPattern = DetectorFactoryCollection.instance().lookupBugPattern(bugType); if (bugPattern == null) { continue; } Element details = root.addElement("BugPattern"); details.addAttribute("type", bugType).addAttribute("abbrev", bugPattern.getAbbrev()) .addAttribute("category", bugPattern.getCategory()); details.addElement("ShortDescription").addText(bugPattern.getShortDescription()); details.addElement("Details").addCDATA(bugPattern.getDetailText()); } }
xmlOutput.writeCDATA(bugPattern.getDetailText()); xmlOutput.closeTag("Details");
/** * Get the detail text as a complete HTML document. */ public String getDetailHTML() { return getDetailHTML(getDetailText()); }
@Override protected void emit(BugPattern bugPattern) throws IOException { out.println("<h2>" + bugPattern.getAbbrev() + ": " + bugPattern.getShortDescription() + "</h2>"); out.println(bugPattern.getDetailText()); }
private void emitBugDescriptions() { PrintStream out = getPrintStream(); out.println("<h2>Descriptions</h2>"); for (BugPattern bugPattern : bugPatternSet) { out.println("<h3><a name=\"" + bugPattern.getType() + "\">" + bugPattern.getAbbrev() + ": " + bugPattern.getShortDescription() + " (" + bugPattern.getType() + ")" + "</a></h3>"); out.println(bugPattern.getDetailText()); } }
@Override public void run() { summaryTopPanel.removeAll(); summaryTopPanel.add(mainFrameComponentFactory.bugSummaryComponent(bug.getAbridgedMessage(), bug)); for (BugAnnotation b : bug.getAnnotationsForMessage(true)) { summaryTopPanel.add(mainFrameComponentFactory.bugSummaryComponent(b, bug)); } BugPattern bugPattern = bug.getBugPattern(); String detailText = bugPattern.getDetailText() +"<br><p> <b>Bug kind and pattern: " + bugPattern.getAbbrev() + " - " + bugPattern.getType(); String txt = bugPattern.getDetailHTML(detailText); summaryHtmlArea.setText(txt); summaryTopPanel.add(Box.createVerticalGlue()); summaryTopPanel.revalidate(); SwingUtilities.invokeLater(new Runnable() { @Override public void run() { summaryHtmlScrollPane.getVerticalScrollBar().setValue( summaryHtmlScrollPane.getVerticalScrollBar().getMinimum()); } }); } });
private void addBugPatterns(Set<String> bugTypeSet) { Element root = document.getRootElement(); for (String bugType : bugTypeSet) { BugPattern bugPattern = DetectorFactoryCollection.instance().lookupBugPattern(bugType); if (bugPattern == null) { continue; } Element details = root.addElement("BugPattern"); details.addAttribute("type", bugType).addAttribute("abbrev", bugPattern.getAbbrev()) .addAttribute("category", bugPattern.getCategory()); details.addElement("ShortDescription").addText(bugPattern.getShortDescription()); details.addElement("Details").addCDATA(bugPattern.getDetailText()); } }
xmlOutput.writeCDATA(bugPattern.getDetailText()); xmlOutput.closeTag("Details");