You can not select more than 25 topics Topics must start with a letter or number, can include dashes ('-') and can be up to 35 characters long.

Stats.java 1.8KB

123456789101112131415161718192021222324252627282930313233343536373839404142434445464748495051525354555657585960
  1. /*
  2. * Sonar Runner - API
  3. * Copyright (C) 2011 SonarSource
  4. * dev@sonar.codehaus.org
  5. *
  6. * This program is free software; you can redistribute it and/or
  7. * modify it under the terms of the GNU Lesser General Public
  8. * License as published by the Free Software Foundation; either
  9. * version 3 of the License, or (at your option) any later version.
  10. *
  11. * This program is distributed in the hope that it will be useful,
  12. * but WITHOUT ANY WARRANTY; without even the implied warranty of
  13. * MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNU
  14. * Lesser General Public License for more details.
  15. *
  16. * You should have received a copy of the GNU Lesser General Public
  17. * License along with this program; if not, write to the Free Software
  18. * Foundation, Inc., 51 Franklin Street, Fifth Floor, Boston, MA 02
  19. */
  20. package org.sonar.runner;
  21. class Stats {
  22. private long startTime;
  23. Stats() {
  24. }
  25. Stats start() {
  26. startTime = System.currentTimeMillis();
  27. return this;
  28. }
  29. Stats stop() {
  30. long stopTime = System.currentTimeMillis() - startTime;
  31. Logs.info("Total time: " + formatTime(stopTime));
  32. System.gc();
  33. Runtime r = Runtime.getRuntime();
  34. long mb = 1024L * 1024;
  35. Logs.info("Final Memory: " + (r.totalMemory() - r.freeMemory()) / mb + "M/" + r.totalMemory() / mb + "M");
  36. return this;
  37. }
  38. static String formatTime(long time) {
  39. long h = time / (60 * 60 * 1000);
  40. long m = (time - h * 60 * 60 * 1000) / (60 * 1000);
  41. long s = (time - h * 60 * 60 * 1000 - m * 60 * 1000) / 1000;
  42. long ms = time % 1000;
  43. final String format;
  44. if (h > 0) {
  45. format = "%1$d:%2$02d:%3$02d.%4$03ds";
  46. } else if (m > 0) {
  47. format = "%2$d:%3$02d.%4$03ds";
  48. } else {
  49. format = "%3$d.%4$03ds";
  50. }
  51. return String.format(format, h, m, s, ms);
  52. }
  53. }