private BenchmarkingResult getResultEntry(String key) {
BenchmarkingResult entry;
entry = collectedMeasurementData.get(key);
if (entry == null) {
entry = (BenchmarkingResult) ProfilerMeasurementData.get(key);
}
if (entry == null) {
entry = new BenchmarkingResult(key);
}
return entry;
}
private void writeEntriesToProfilerFiles() throws IOException {
String dirName = ProfilerMeasurementData.getDataFolder() + "benchmarks/";
for (Entry<String, BenchmarkingResult> e : collectedMeasurementData.entrySet()) {
String key = e.getKey();
String[] parts = key.split("_");
String fileName = parts[1] + ".properties";
Writer w = fileWriters.get(dirName + fileName);
if (w == null) {
w = new Writer(dirName, fileName);
fileWriters.put(dirName + fileName, w);
}
w.writeln(e.getValue().toString());
}
}