KickJava   Java API By Example, From Geeks To Geeks.

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


1 /*
2  * Created on 01.09.2004
3  *
4  * written by Matthias Kempka
5  */
6 package de.uka.ipd.coverage.natures;
7
8 import org.apache.bcel.classfile.Code;
9
10 import de.uka.ipd.coverage.recording.RegisteredMethod;
11
12 /**
13  * Created on 01.09.2004
14  * @author Matthias Kempka
15  */
16 public interface CoverageNatureVisitor {
17
18     /**
19      * The visitor aspect of the Coverage Nature. The CoverageNature visits
20      * inspects code and asks RegisteredMethods whether sub-paths where recorded.
21      * @param callback The RegisteredMethod object that has paths recorded.
22      * @param code The code of the method to inspect.
23      */
24     public void visitCode(RegisteredMethod callback, Code code);
25  
26 }
27
Popular Tags