KickJava   Java API By Example, From Geeks To Geeks.

Java > Open Source Codes > de > uka > ipd > coverage > CoverageConfiguration


1 /*
2  * Created on 31.08.2004
3  *
4  * written by Matthias Kempka
5  */

6 package de.uka.ipd.coverage;
7
8
9 /**
10  * Created on 31.08.2004
11  * @author Matthias Kempka
12  */

13 public class CoverageConfiguration {
14     
15     public static final int MAX_LOOP_RECORD = 2; // 2 means boundary-interior-power
16

17     public static int getDefaultLogLevel() {
18         return 10;
19     }
20 }
21
Popular Tags