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

12345678910111213141516171819202122232425262728293031323334353637383940414243444546474849505152535455
  1. /*
  2. * SonarScanner CLI
  3. * Copyright (C) 2011-2024 SonarSource SA
  4. * mailto:info AT sonarsource DOT com
  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 License
  17. * along with this program; if not, write to the Free Software Foundation,
  18. * Inc., 51 Franklin Street, Fifth Floor, Boston, MA 02110-1301, USA.
  19. */
  20. package org.sonarsource.scanner.cli;
  21. import org.slf4j.Logger;
  22. import org.slf4j.LoggerFactory;
  23. class Stats {
  24. private static final Logger LOG = LoggerFactory.getLogger(Stats.class);
  25. private long startTime;
  26. Stats start() {
  27. startTime = System.currentTimeMillis();
  28. return this;
  29. }
  30. Stats stop() {
  31. long stopTime = System.currentTimeMillis() - startTime;
  32. LOG.atInfo().addArgument(() -> formatTime(stopTime)).log("Total time: {}");
  33. return this;
  34. }
  35. static String formatTime(long time) {
  36. long h = time / (60 * 60 * 1000);
  37. long m = (time - h * 60 * 60 * 1000) / (60 * 1000);
  38. long s = (time - h * 60 * 60 * 1000 - m * 60 * 1000) / 1000;
  39. long ms = time % 1000;
  40. final String format;
  41. if (h > 0) {
  42. format = "%1$d:%2$02d:%3$02d.%4$03ds";
  43. } else if (m > 0) {
  44. format = "%2$d:%3$02d.%4$03ds";
  45. } else {
  46. format = "%3$d.%4$03ds";
  47. }
  48. return String.format(format, h, m, s, ms);
  49. }
  50. }