Beispiel #1
0
  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());
    }
  }