KickJava   Java API By Example, From Geeks To Geeks.

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


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: MapInfo.java,v 1.2 2005/07/05 09:23:38 moroy Exp $
27 ====================================================================*/
28
29 package org.objectweb.util.explorer.plugin.java.map;
30
31 import org.objectweb.util.explorer.api.Info;
32 import org.objectweb.util.explorer.api.TreeView;
33
34 /**
35  * Provides the number of entries of the given map.
36  *
37  * @author <a HREF="mailto:Philippe.Merle@lifl.fr">Philippe Merle</a>,
38  * <a HREF="mailto:Jerome.Moroy@lifl.fr">Jérôme Moroy</a>
39  *
40  * @version 0.1
41  */
42 public class MapInfo
43   implements Info
44 {
45
46     //==================================================================
47 //
48 // No internal state.
49 //
50 //==================================================================
51
52     //==================================================================
53 //
54 // No constructor.
55 //
56 //==================================================================
57
58     //==================================================================
59 //
60 // No internal method.
61 //
62 //==================================================================
63
64     //==================================================================
65 //
66 // No public method.
67 //
68 //==================================================================
69
70     /**
71      * Provides the number of entries of the given map.
72      */
73     public String JavaDoc getInfo(TreeView treeView)
74     {
75         // Obtains the selected Map.
76 java.util.Map JavaDoc map = (java.util.Map JavaDoc)treeView.getSelectedObject();
77         
78         // Returns the map size.
79 return new String JavaDoc("Map size: " + map.size() + " entries");
80     }
81
82 }
83
84
Popular Tags