Class OutputFile

java.lang.Object

java.io.Writer

java.io.PrintWriter

mockit.coverage.reporting.OutputFile

All Implemented Interfaces:

Closeable, Flushable, Appendable, AutoCloseable

public final class OutputFile
extends PrintWriter

Field Summary

Fields inherited from class PrintWriter

out

Fields inherited from class Writer

lock

Constructor Summary

Constructors

Constructor	Description
OutputFile(File file)
OutputFile(String outputDir, String sourceFilePath)

Method Summary

Modifier and Type	Method	Description
void	writeCommonFooter()
void	writeCommonHeader(String pageTitle)

Methods inherited from class PrintWriter

append, append, append, checkError, clearError, close, flush, format, format, print, print, print, print, print, print, print, print, print, printf, printf, println, println, println, println, println, println, println, println, println, println, setError, write, write, write, write, write

Methods inherited from class Writer

nullWriter

Methods inherited from class Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Constructor Details

OutputFile

public OutputFile(@NonNull
 File file)
           throws IOException

Throws:

IOException

OutputFile

public OutputFile(@NonNull
 String outputDir,
 @NonNull
 String sourceFilePath)
           throws IOException

Throws:

IOException

Method Details

writeCommonHeader

public void writeCommonHeader(@NonNull
 String pageTitle)

writeCommonFooter

public void writeCommonFooter()