KickJava   Java API By Example, From Geeks To Geeks.

Java > Open Source Codes > de > uka > ipd > coverage > natures > CoverageNature


1 /*
2  * Created on 16.08.2004
3  *
4  * written by Matthias Kempka
5  */
6 package de.uka.ipd.coverage.natures;
7
8 import org.apache.bcel.classfile.JavaClass;
9
10 import de.uka.ipd.coverage.plugin.ui.CoverageNatureDescriptor;
11
12
13
14 /**
15 8 *
16  * @author Matthias Kempka
17  */
18 public interface CoverageNature extends CoverageNatureVisitor {
19     
20
21     /**
22      * After the code is inspected the CoverageNature can give answers to
23      * the question which classes where measured.
24      */
25     public TestedClass[] getMeasuredClasses();
26     
27     /**
28      * Precondition: The given class must have been tested.
29      * @return returns a complete mapping from sourceline to CoverageState
30      * for the given class.
31      */
32     public CompleteCoverage getCompleteCoverage(JavaClass className);
33  
34     public CoverageNatureDescriptor getCoverageNatureDescriptor();
35
36     /**
37      * reset the nature to be used in a new evaluation.
38      */
39     public void clear();
40 }
41
Popular Tags