public class DiffStatsWriter extends StatsWriter
fileName, writer| Constructor and Description |
|---|
DiffStatsWriter(String fileName)
Instantiates a new diff stats writer.
|
| Modifier and Type | Method and Description |
|---|---|
void |
write(DiffResult dr,
String modelType,
String modelName,
String originalVersion,
String modifiedVersion)
Write.
|
void |
writeHeader()
Write header.
|
close, createpublic DiffStatsWriter(String fileName)
fileName - the name of the file to write topublic void writeHeader()
throws IOException
StatsWriterwriteHeader in class StatsWriterIOException - Signals that an I/O exception has occurred.public void write(DiffResult dr, String modelType, String modelName, String originalVersion, String modifiedVersion) throws IOException
dr - the drmodelType - the model typemodelName - the model nameoriginalVersion - the original versionmodifiedVersion - the modified versionIOException - Signals that an I/O exception has occurred.Copyright © 2018 SEMS project @ University of Rostock. All rights reserved.