KickJava   Java API By Example, From Geeks To Geeks.

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


1 /*
2  * Created on Sep 3, 2004
3  * @author Matthias Kempka
4  */
5 package de.uka.ipd.coverage.natures;
6
7 import org.apache.bcel.classfile.LineNumber;
8
9 import de.uka.ipd.coverage.recording.BasicBlock;
10 import de.uka.ipd.coverage.recording.CoverageState;
11 import de.uka.ipd.coverage.recording.IBasicBlock;
12
13 /**
14  * @author Matthias Kempka
15  *
16  */
17 public class TranslatingBasicBlock extends BasicBlock {
18
19     private LineNumber[] lineNumbers;
20     private CoverageState coverageState;
21     
22     public TranslatingBasicBlock(IBasicBlock block, CoverageState coverageState) {
23         super(block.getRegisteredMethod());
24         setEndLine(block.getEndLine());
25         setStartLine(block.getStartLine());
26         this.coverageState = coverageState;
27     }
28     
29     public CoverageState getCoverageState() {
30         return coverageState;
31     }
32
33     public void setCorrespondingLineNumbers(LineNumber[] numbers) {
34         this.lineNumbers = numbers;
35     }
36
37     /**
38      * @param currentLineNumber
39      */
40     public boolean contains(int currentLineNumber) {
41         for (int i = 0; i < this.lineNumbers.length; i++) {
42             if (lineNumbers[i].getLineNumber() == currentLineNumber) {
43                 return true;
44             }
45         }
46         return false;
47     }
48     
49 }
50
Popular Tags