public class CSVDataExporter
extends java.lang.Object
Modifier and Type | Field and Description |
---|---|
protected java.util.Vector<java.util.Vector<java.lang.String>> |
dataLines |
Constructor and Description |
---|
CSVDataExporter(IPerformanceStatisticsEnrichedNet psnet) |
Modifier and Type | Method and Description |
---|---|
void |
addStatsFor(JSOPnTransition trans,
IPerformanceStatisticsEnrichedNet psnet) |
void |
addStatsFor(java.lang.String translabel,
java.lang.String transID,
IPerformanceStatisticsEnrichedNet psnet) |
java.lang.String |
FormatValueString(IPerformanceStatisticsEnrichedNet psnet,
java.lang.String labelName,
java.lang.String classifierValue,
double val) |
void |
WriteToCSV(java.lang.String filePath) |
public CSVDataExporter(IPerformanceStatisticsEnrichedNet psnet)
public void addStatsFor(JSOPnTransition trans, IPerformanceStatisticsEnrichedNet psnet)
public void addStatsFor(java.lang.String translabel, java.lang.String transID, IPerformanceStatisticsEnrichedNet psnet)
public java.lang.String FormatValueString(IPerformanceStatisticsEnrichedNet psnet, java.lang.String labelName, java.lang.String classifierValue, double val)
public void WriteToCSV(java.lang.String filePath) throws java.io.IOException
java.io.IOException