| %line | %branch | |||||||||
|---|---|---|---|---|---|---|---|---|---|---|
| nl.toolforge.karma.core.boot.Karma |
|
|
| 1 | package nl.toolforge.karma.core.boot; |
|
| 2 | ||
| 3 | ||
| 4 | ||
| 5 | /** |
|
| 6 | * @author D.A. Smedes |
|
| 7 | * @version $Id: Karma.java,v 1.3 2004/11/03 20:54:14 asmedes Exp $ |
|
| 8 | */ |
|
| 9 | 0 | public final class Karma { |
| 10 | ||
| 11 | // /** |
|
| 12 | // * String indicating the configuration directory for working contexts and the general location for user specific |
|
| 13 | // * Karma configuration. Its default value is <code>$HOME/.karma</code>; the value cannot be changed. |
|
| 14 | // */ |
|
| 15 | 11 | //// public static final String CONFIGURATION_BASE_DIRECTORY = System.getProperty("user.home") + File.separator + ".karma"; |
| 16 | 11 | // |
| 17 | 11 | // private static File configurationBaseDir = null; |
| 18 | 11 | // |
| 19 | // /** |
|
| 20 | // * Constructor to 'override' the default configuration base directory. With having called this |
|
| 21 | // */ |
|
| 22 | // public Karma(File configBaseDir) { |
|
| 23 | // configurationBaseDir = configBaseDir; |
|
| 24 | // } |
|
| 25 | // |
|
| 26 | // /** |
|
| 27 | // * Returns a <code>File</code> reference to the default base directory for Karma configuration files. When the |
|
| 28 | // * directory does not exist, it is created. |
|
| 29 | // * |
|
| 30 | // * @return A <code>File</code> reference to the default base directory for Karma configuration files. |
|
| 31 | // */ |
|
| 32 | 69 | // public static File getConfigurationBaseDir() { |
| 33 | 138 | // // Create something like $USER_HOME/.karma/ |
| 34 | 69 | // // |
| 35 | 69 | // configurationBaseDir = new File(CONFIGURATION_BASE_DIRECTORY); |
| 36 | 69 | // configurationBaseDir.mkdirs(); |
| 37 | // |
|
| 38 | // return configurationBaseDir; |
|
| 39 | // } |
|
| 40 | } |
| This report is generated by jcoverage, Maven and Maven JCoverage Plugin. |