public class PrettyPrintBugDescriptions extends PlainPrintBugDescriptions
| Constructor and Description |
|---|
PrettyPrintBugDescriptions(String docTitle,
OutputStream out) |
| Modifier and Type | Method and Description |
|---|---|
protected void |
beginBody()
Extra stuff printed at the beginning of the <body> element.
|
protected void |
emit(BugPattern bugPattern) |
protected void |
endBody()
Extra stuff printed at the end of the <body> element.
|
protected void |
epilogue() |
protected void |
header()
Extra stuff that can be printed in the <head> element.
|
protected boolean |
isEnabled(DetectorFactory factory) |
static void |
main(String[] args) |
protected void |
prologue() |
void |
setBeginBodyText(String beginBodyText) |
void |
setEndBodyText(String endBodyText) |
void |
setHeaderText(String headerText) |
void |
setPrologueText(String prologueText) |
getDocTitle, getPrintStreamprintpublic PrettyPrintBugDescriptions(String docTitle, OutputStream out)
public void setHeaderText(String headerText)
public void setBeginBodyText(String beginBodyText)
public void setPrologueText(String prologueText)
public void setEndBodyText(String endBodyText)
protected void prologue()
throws IOException
prologue in class PlainPrintBugDescriptionsIOExceptionprotected void emit(BugPattern bugPattern) throws IOException
emit in class PlainPrintBugDescriptionsIOExceptionprotected void epilogue()
throws IOException
epilogue in class PlainPrintBugDescriptionsIOExceptionprotected void header()
throws IOException
PlainPrintBugDescriptionsheader in class PlainPrintBugDescriptionsIOExceptionprotected void beginBody()
throws IOException
beginBody in class PlainPrintBugDescriptionsIOExceptionprotected void endBody()
throws IOException
endBody in class PlainPrintBugDescriptionsIOExceptionprotected boolean isEnabled(DetectorFactory factory)
isEnabled in class PrintBugDescriptionsCopyright © 2003–2015. All rights reserved.