KickJava   Java API By Example, From Geeks To Geeks.

Java > Open Source Codes > edu > umd > cs > findbugs > sourceViewer > HighlightInformation


1 /*
2  * FindBugs - Find Bugs in Java programs
3  * Copyright (C) 2006, University of Maryland
4  *
5  * This library is free software; you can redistribute it and/or
6  * modify it under the terms of the GNU Lesser General Public
7  * License as published by the Free Software Foundation; either
8  * version 2.1 of the License, or (at your option) any later version.
9  *
10  * This library is distributed in the hope that it will be useful,
11  * but WITHOUT ANY WARRANTY; without even the implied warranty of
12  * MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNU
13  * Lesser General Public License for more details.
14  *
15  * You should have received a copy of the GNU Lesser General Public
16  * License along with this library; if not, write to the Free Software
17  * Foundation, Inc., 59 Temple Place, Suite 330, Boston MA 02111-1307, USA
18  */
19
20 package edu.umd.cs.findbugs.sourceViewer;
21
22 import java.awt.Color JavaDoc;
23 import java.util.HashMap JavaDoc;
24 import java.util.Map JavaDoc;
25
26 import edu.umd.cs.findbugs.annotations.CheckForNull;
27
28
29 public class HighlightInformation {
30
31     Map JavaDoc<Integer JavaDoc, Color JavaDoc> map = new HashMap JavaDoc<Integer JavaDoc, Color JavaDoc>();
32     private int foundLineNum = -1;
33     
34     public void clear() {
35         map.clear();
36         foundLineNum = -1;
37     }
38     public void setHighlight(int start, int end, Color JavaDoc color) {
39         for(int i = start; i <= end; i++)
40             map.put(i, color);
41     }
42     
43     public void setHighlight(Integer JavaDoc line, Color JavaDoc color) {
44         map.put(line, color);
45     }
46     
47     public void unsetHighlight(Integer JavaDoc line) {
48         map.remove(line);
49     }
50     
51     public void updateFoundLineNum(Integer JavaDoc line) {
52         if(foundLineNum != -1)
53             unsetHighlight(foundLineNum);
54         foundLineNum = line;
55     }
56     
57     public @CheckForNull Color JavaDoc getHighlight(Integer JavaDoc line) {
58         return map.get(line);
59     }
60 }
61
Popular Tags