KickJava   Java API By Example, From Geeks To Geeks.

Java > Open Source Codes > org > objectweb > util > explorer > plugin > java > map > swing > MapTitlePanel


1 /*====================================================================
2
3 Objectweb Explorer Framework
4 Copyright (C) 2000-2005 INRIA - USTL - LIFL - GOAL
5 Contact: openccm@objectweb.org
6
7 This library is free software; you can redistribute it and/or
8 modify it under the terms of the GNU Lesser General Public
9 License as published by the Free Software Foundation; either
10 version 2.1 of the License, or any later version.
11
12 This library is distributed in the hope that it will be useful,
13 but WITHOUT ANY WARRANTY; without even the implied warranty of
14 MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNU
15 Lesser General Public License for more details.
16
17 You should have received a copy of the GNU Lesser General Public
18 License along with this library; if not, write to the Free Software
19 Foundation, Inc., 59 Temple Place, Suite 330, Boston, MA 02111-1307
20 USA
21
22 Initial developer(s): Philippe Merle, Jerome Moroy.
23 Contributor(s): ______________________________________.
24
25 ====================================================================
26 $Id: MapTitlePanel.java,v 1.2 2005/07/05 09:23:38 moroy Exp $
27 ====================================================================*/
28
29 package org.objectweb.util.explorer.plugin.java.map.swing;
30
31 import javax.swing.JPanel JavaDoc;
32
33 import org.objectweb.util.explorer.api.Panel;
34 import org.objectweb.util.explorer.api.TreeView;
35
36 /**
37  * Provides a panel with a title displaying the map size.
38  *
39  * @author <a HREF="mailto:Philippe.Merle@lifl.fr">Philippe Merle</a>,
40  * <a HREF="mailto:Jerome.Moroy@lifl.fr">Jérôme Moroy</a>
41  *
42  * @version 0.1
43  */
44 public class MapTitlePanel
45   implements Panel JavaDoc
46 {
47
48     //==================================================================
49 //
50 // Internal state.
51 //
52 //==================================================================
53
54     /**
55      * The panel to provide
56      */
57     protected javax.swing.JPanel JavaDoc panel_;
58
59     //==================================================================
60 //
61 // No constructor.
62 //
63 //==================================================================
64
65     //==================================================================
66 //
67 // No internal method.
68 //
69 //==================================================================
70
71     //==================================================================
72 //
73 // Public methods for Panel interface.
74 //
75 //==================================================================
76
77     /**
78      * Creates a panel with a title displaying the map size.
79      */
80     public void selected(TreeView treeView)
81     {
82         // Obtains the selected map.
83 java.util.Map JavaDoc map = (java.util.Map JavaDoc)treeView.getSelectedObject();
84         
85         // Creates and customizes the panel.
86 panel_ = new JPanel JavaDoc();
87         panel_.setBackground(java.awt.Color.WHITE);
88         panel_.add(new javax.swing.JLabel JavaDoc("Map Entries (" + map.size() + " entries)"));
89     }
90
91     /**
92      * Returns the title panel.
93      */
94     public Object JavaDoc getPanel()
95     {
96         return panel_;
97     }
98
99     /**
100      * When unselected.
101      */
102     public void unselected(TreeView treeview)
103     {
104         // Nothing to do !
105 }
106
107 }
108
109
Popular Tags