1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
|
/* GraphFactoryIndexView.java
* =========================================================================
* This file is part of the GrInvIn project - http://www.grinvin.org
*
* Copyright (C) 2005-2008 Universiteit Gent
*
* This program is free software; you can redistribute it and/or modify
* it under the terms of the GNU General Public License as published by
* the Free Software Foundation; either version 2 of the License, or (at
* your option) any later version.
*
* This program is distributed in the hope that it will be useful, but
* WITHOUT ANY WARRANTY; without even the implied warranty of
* MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNU
* General Public License for more details.
*
* A copy of the GNU General Public License can be found in the file
* LICENSE.txt provided with the source distribution of this program (see
* the META-INF directory in the source jar). This license can also be
* found on the GNU website at http://www.gnu.org/licenses/gpl.html.
*
* If you did not receive a copy of the GNU General Public License along
* with this program, contact the lead developer, or write to the Free
* Software Foundation, Inc., 51 Franklin Street, Fifth Floor, Boston, MA
* 02110-1301, USA.
*/
package org.grinvin.help;
import java.util.Enumeration;
import java.util.Hashtable;
import java.util.Locale;
import javax.help.HelpSet;
import javax.help.IndexItem;
import javax.help.IndexView;
import javax.help.Map;
import javax.swing.tree.DefaultMutableTreeNode;
/**
* Loads an overview of the graph factories and places them in a index tree
* that is mergeable with the GrInvIn help index tree.
*/
public class GraphFactoryIndexView extends IndexView {
/**
* Creates a new instance of GraphFactoryIndexView
*/
public GraphFactoryIndexView(){
super(HelpManager.getHelpSet(), HelpManager.getResourceBundle().getString("index.name"), HelpManager.getResourceBundle().getString("index.label"), HelpManager.getHelpSet().getLocale(), new Hashtable());
}
public GraphFactoryIndexView(HelpSet hs, String name, String Label, Hashtable params){
this();
}
public GraphFactoryIndexView(HelpSet hs, String name, String Label, Locale locale, Hashtable params){
this();
}
public String getMergeType(){
return "javax.help.SortMerge";
}
public DefaultMutableTreeNode getDataAsTree() {
IndexItem itemgrinvin = new IndexItem();
itemgrinvin.setName(HelpManager.getResourceBundle().getString("index.item.grinvin"));
DefaultMutableTreeNode grinvin = new DefaultMutableTreeNode(itemgrinvin);
for(Enumeration e = GraphFactoryMap.getInstance().getAllIDs(); e.hasMoreElements(); ){
Map.ID id = (Map.ID)e.nextElement();
String stringId = id.id;
IndexItem item = new IndexItem(id, null, null);
item.setName(GraphFactoryMap.getInstance().getGraphFactoryNameForID(stringId) + " (" + HelpManager.getResourceBundle().getString("factory") + ")");
grinvin.add(new DefaultMutableTreeNode(item, false));
}
DefaultMutableTreeNode root = new DefaultMutableTreeNode(null);
root.add(grinvin);
return root;
}
}
|
