public class PlainPrintBugDescriptions extends PrintBugDescriptions
| Constructor and Description |
|---|
PlainPrintBugDescriptions(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 String |
getDocTitle() |
protected PrintStream |
getPrintStream() |
protected void |
header()
Extra stuff that can be printed in the <head> element.
|
static void |
main(String[] args) |
protected void |
prologue() |
isEnabled, printpublic PlainPrintBugDescriptions(String docTitle, OutputStream out)
protected String getDocTitle()
protected PrintStream getPrintStream()
protected void prologue()
throws IOException
prologue in class PrintBugDescriptionsIOExceptionprotected void emit(BugPattern bugPattern) throws IOException
emit in class PrintBugDescriptionsIOExceptionprotected void epilogue()
throws IOException
epilogue in class PrintBugDescriptionsIOExceptionprotected void header()
throws IOException
IOExceptionprotected void beginBody()
throws IOException
IOExceptionprotected void endBody()
throws IOException
IOExceptionCopyright © 2003–2015. All rights reserved.