KickJava   Java API By Example, From Geeks To Geeks.

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


1 /*====================================================================
2
3 Objectweb Browser Framework
4 Copyright (C) 2000-2003 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
27 package org.objectweb.util.browser.plugin.java.map;
28 import javax.swing.JPanel JavaDoc;
29
30 import org.objectweb.util.browser.api.Panel;
31 import org.objectweb.util.browser.api.TreeView;
32
33 /**
34  * Provides a panel with a title displaying the map size.
35  *
36  * @author <a HREF="mailto:Philippe.Merle@lifl.fr">Philippe Merle</a>,
37  * <a HREF="mailto:Jerome.Moroy@lifl.fr">Jérôme Moroy</a>
38  *
39  * @version 0.1
40  */
41 public class MapTitlePanel
42   implements Panel JavaDoc
43 {
44
45     //==================================================================
46 //
47 // Internal state.
48 //
49 //==================================================================
50
51     /** The panel to provide */
52     protected javax.swing.JPanel JavaDoc panel_;
53
54     //==================================================================
55 //
56 // No constructor.
57 //
58 //==================================================================
59
60     //==================================================================
61 //
62 // No internal method.
63 //
64 //==================================================================
65
66     //==================================================================
67 //
68 // Public methods for Panel interface.
69 //
70 //==================================================================
71
72     /**
73      * Creates a panel with a title displaying the map size.
74      */
75     public void selected(TreeView treeView)
76     {
77         // Obtains the selected map.
78 java.util.Map JavaDoc map = (java.util.Map JavaDoc)treeView.getSelectedObject();
79         
80         // Creates and customizes the panel.
81 panel_ = new JPanel JavaDoc();
82         panel_.setBackground(java.awt.Color.WHITE);
83         panel_.add(new javax.swing.JLabel JavaDoc("Map Entries (" + map.size() + " entries)"));
84     }
85
86     /**
87      * Returns the title panel.
88      */
89     public JPanel JavaDoc getPanel()
90     {
91         return panel_;
92     }
93
94     /**
95      * When unselected.
96      */
97     public void unselected(TreeView treeview)
98     {
99         // Nothing to do !
100 }
101
102 }
103
104
Popular Tags