+/*
+ * Jalview - A Sequence Alignment Editor and Viewer (Version 2.8)
+ * Copyright (C) 2012 J Procter, AM Waterhouse, LM Lui, J Engelhardt, G Barton, M Clamp, S Searle
+ *
+ * This file is part of Jalview.
+ *
+ * Jalview 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 3 of the License, or (at your option) any later version.
+ *
+ * Jalview 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.
+ *
+ * You should have received a copy of the GNU General Public License along with Jalview. If not, see <http://www.gnu.org/licenses/>.
+ */
package jalview.gui;
import jalview.bin.Cache;
Hashtable<String, DefaultMutableTreeNode> source = new Hashtable<String, DefaultMutableTreeNode>();
sfetcher = sfetch;
String dbs[] = sfetch.getSupportedDb();
- Hashtable<String,String> ht = new Hashtable<String,String>();
+ Hashtable<String, String> ht = new Hashtable<String, String>();
for (int i = 0; i < dbs.length; i++)
{
tn = source.get(dbs[i]);
private void sortTreeNodes(DefaultMutableTreeNode root)
{
- if (root.getChildCount()==0)
+ if (root.getChildCount() == 0)
{
return;
}
- int count=root.getChildCount();
- String[] names=new String[count];
- DefaultMutableTreeNode[] nodes=new DefaultMutableTreeNode[count];
- for (int i=0;i<count;i++)
+ int count = root.getChildCount();
+ String[] names = new String[count];
+ DefaultMutableTreeNode[] nodes = new DefaultMutableTreeNode[count];
+ for (int i = 0; i < count; i++)
{
TreeNode node = root.getChildAt(i);
if (node instanceof DefaultMutableTreeNode)
{
- DefaultMutableTreeNode child=(DefaultMutableTreeNode) node;
- nodes[i]=child;
- if (child.getUserObject() instanceof DbSourceProxy) {
- names[i]=((DbSourceProxy)child.getUserObject()).getDbName().toLowerCase();
- } else {
+ DefaultMutableTreeNode child = (DefaultMutableTreeNode) node;
+ nodes[i] = child;
+ if (child.getUserObject() instanceof DbSourceProxy)
+ {
+ names[i] = ((DbSourceProxy) child.getUserObject()).getDbName()
+ .toLowerCase();
+ }
+ else
+ {
names[i] = ((String) child.getUserObject()).toLowerCase();
sortTreeNodes(child);
}
- } else {
- throw new Error("Implementation Error: Can't reorder this tree. Not DefaultMutableTreeNode.");
+ }
+ else
+ {
+ throw new Error(
+ "Implementation Error: Can't reorder this tree. Not DefaultMutableTreeNode.");
}
}
- jalview.util.QuickSort.sort(names, nodes);
+ jalview.util.QuickSort.sort(names, nodes);
root.removeAllChildren();
- for (int i=count-1;i>=0;i--)
+ for (int i = count - 1; i >= 0; i--)
{
root.add(nodes[i]);
}