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, create
public DiffStatsWriter(String fileName)
fileName
- the name of the file to write topublic void writeHeader() throws IOException
StatsWriter
writeHeader
in class StatsWriter
IOException
- 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.