mockit.coverage.Configuration Maven / Gradle / Ivy

Go to download

Show more of this group Show more artifacts with this name
Show all versions of jmockit-coverage Show documentation

JMockit Coverage is a code coverage tool with several metrics (line, path, data) capable of generating HTML reports. It is designed with ease of use in mind, avoiding the need for complex configuration. Instead, smart (but overridable) defaults are employed, such as the selection of which classes to consider for coverage, and where to find sources files for report generation.

There is a newer version: 1.23

Show newest version

/*
 * Copyright (c) 2006-2015 Rogério Liesenfeld
 * This file is subject to the terms of the MIT license (see LICENSE.txt).
 */
package mockit.coverage;

import javax.annotation.*;

public final class Configuration
{
   private static final String COVERAGE_PREFIX1 = "jmockit-coverage-";
   private static final String COVERAGE_PREFIX2 = "coverage-";

   private Configuration() {}

   @Nullable
   public static String getProperty(@Nonnull String nameSuffix)
   {
      return getProperty(nameSuffix, null);
   }

   public static String getProperty(@Nonnull String nameSuffix, @Nullable String defaultValue)
   {
      String property = System.getProperty(COVERAGE_PREFIX1 + nameSuffix);

      if (property != null) {
         return property;
      }

      return System.getProperty(COVERAGE_PREFIX2 + nameSuffix, defaultValue);
   }

   public static void setProperty(@Nonnull String name, @Nonnull String value)
   {
      String prefixToUse = COVERAGE_PREFIX1;

      if (System.getProperty(prefixToUse + name) == null) {
         prefixToUse = COVERAGE_PREFIX2;
      }

      System.setProperty(prefixToUse + name, value);
   }
}