KickJava   Java API By Example, From Geeks To Geeks.

Java > Open Source Codes > de > uka > ipd > coverage > recording > IBasicBlock


1 /*
2  * Created on Sep 10, 2004
3  * @author Matthias Kempka
4  */
5 package de.uka.ipd.coverage.recording;
6
7 /**
8  * @author Matthias Kempka
9  *
10  */
11 public interface IBasicBlock {
12     public abstract RegisteredMethod getRegisteredMethod();
13
14     /**
15      * This is a convenience method to get a CoverageState for two BasicBlocks
16      */
17     public abstract CoverageState covers(IBasicBlock obj);
18
19     /**
20      * This method decides whether the compared block describes the same bytecode
21      * as the comparing block. The return values are as follows:
22      * <br>
23      * Full coverage is given if exactly the same bytecode is covered. This is
24      * the case if the method, start and end line are equal.
25      * <br>
26      * No coverage is given if the method is not the same or if the intersection
27      * is empty.
28      *
29      * @param compBlock
30      * @return returns true if full coverage is achieved.
31      */
32     public abstract boolean referencesSameBytecodeAs(BasicBlock compBlock);
33
34     public abstract int getEndLine();
35
36     public abstract int getStartLine();
37     
38 }
Popular Tags