2 * Jalview - A Sequence Alignment Editor and Viewer (Version 2.6)
3 * Copyright (C) 2010 J Procter, AM Waterhouse, G Barton, M Clamp, S Searle
5 * This file is part of Jalview.
7 * Jalview is free software: you can redistribute it and/or
8 * modify it under the terms of the GNU General Public License
9 * as published by the Free Software Foundation, either version 3 of the License, or (at your option) any later version.
11 * Jalview is distributed in the hope that it will be useful, but
12 * WITHOUT ANY WARRANTY; without even the implied warranty
13 * of MERCHANTABILITY or FITNESS FOR A PARTICULAR
14 * PURPOSE. See the GNU General Public License for more details.
16 * You should have received a copy of the GNU General Public License along with Jalview. If not, see <http://www.gnu.org/licenses/>.
20 import java.awt.BorderLayout;
21 import java.awt.event.ActionEvent;
22 import java.awt.event.ActionListener;
24 import java.util.Vector;
26 import javax.swing.JCheckBox;
27 import javax.swing.JLabel;
28 import javax.swing.JOptionPane;
29 import javax.swing.JPanel;
30 import javax.swing.JTextField;
32 import jalview.bin.Cache;
33 import jalview.jbgui.GWsPreferences;
35 public class WsPreferences extends GWsPreferences
38 public WsPreferences()
41 initFromPreferences();
44 Vector<String> wsUrls, oldUrls;
46 private boolean needWsMenuUpdate;
48 private boolean oldJws1, oldJws2, oldIndexByHost, oldIndexByType,
49 oldEnfin, oldWsWarning;
51 private void initFromPreferences()
54 wsUrls = jalview.ws.jws2.Jws2Discoverer.getServiceUrls();
57 oldUrls = new Vector<String>(wsUrls);
62 wsUrls = new Vector<String>();
65 enableEnfinServices.setSelected(oldEnfin = Cache.getDefault(
66 "SHOW_ENFIN_SERVICES", true));
67 enableEnfinServices.addActionListener(updateAction);
68 enableJws1Services.setSelected(oldJws1 = Cache.getDefault(
69 "SHOW_JWS1_SERVICES", true));
70 enableJws1Services.addActionListener(updateAction);
71 enableJws2Services.setSelected(oldJws2 = Cache.getDefault(
72 "SHOW_JWS2_SERVICES", true));
73 enableJws2Services.addActionListener(updateAction);
74 indexByHost.setSelected(oldIndexByHost = Cache.getDefault(
75 "WSMENU_BYHOST", true));
76 indexByHost.addActionListener(updateAction);
77 indexByType.setSelected(oldIndexByType = Cache.getDefault(
78 "WSMENU_BYTYPE", true));
79 indexByType.addActionListener(updateAction);
80 displayWsWarning.setSelected(oldWsWarning = Cache.getDefault(
81 "SHOW_WSDISCOVERY_ERRORS", true));
84 ActionListener updateAction = new ActionListener()
88 public void actionPerformed(ActionEvent e)
95 private void updateList()
97 wsList.setListData(wsUrls);
100 private void updateServiceList()
102 jalview.ws.jws2.Jws2Discoverer.setServiceUrls(wsUrls);
109 * jalview.jbgui.GWsPreferences#deleteWsUrl_actionPerformed(java.awt.event
113 protected void deleteWsUrl_actionPerformed(ActionEvent e)
115 int sel = wsList.getSelectedIndex();
118 wsUrls.removeElementAt(sel);
127 * @see jalview.jbgui.GWsPreferences#editWsUrl_actionPerformed(java.awt.event.
131 protected void editWsUrl_actionPerformed(ActionEvent e)
133 int sel = wsList.getSelectedIndex();
136 String url = editUrl(wsUrls.elementAt(sel), "Edit JWS2 URL");
139 int present = wsUrls.indexOf(url);
143 wsUrls.setElementAt(url, sel);
150 wsUrls.removeElementAt(sel);
158 void updateWsMenuConfig(boolean old)
162 wsUrls = (oldUrls == null) ? null : new Vector(oldUrls);
169 "SHOW_ENFIN_SERVICES",
171 old ? oldEnfin : enableEnfinServices.isSelected())
174 "SHOW_JWS1_SERVICES",
175 Boolean.valueOf(old ? oldJws1 : enableJws1Services.isSelected())
178 "SHOW_JWS2_SERVICES",
179 Boolean.valueOf(old ? oldJws2 : enableJws2Services.isSelected())
183 Boolean.valueOf(old ? oldIndexByHost : indexByHost.isSelected())
187 Boolean.valueOf(old ? oldIndexByType : indexByType.isSelected())
189 Cache.setProperty("SHOW_WSDISCOVERY_ERRORS",
190 Boolean.valueOf(old ? oldWsWarning : displayWsWarning.isSelected()).toString());
198 * jalview.jbgui.GWsPreferences#moveWsUrlDown_actionPerformed(java.awt.event
202 protected void moveWsUrlDown_actionPerformed(ActionEvent e)
204 int p = wsList.getSelectedIndex();
205 if (p > -1 && p < wsUrls.size() - 1)
207 String t = wsUrls.get(p + 1);
208 wsUrls.setElementAt(wsUrls.elementAt(p), p + 1);
209 wsUrls.setElementAt(t, p);
211 wsList.setSelectedIndex(p + 1);
219 * jalview.jbgui.GWsPreferences#moveWsUrlUp_actionPerformed(java.awt.event
223 protected void moveWsUrlUp_actionPerformed(ActionEvent e)
225 int p = wsList.getSelectedIndex();
228 String t = wsUrls.get(p - 1);
229 wsUrls.setElementAt(wsUrls.elementAt(p), p - 1);
230 wsUrls.setElementAt(t, p);
232 wsList.setSelectedIndex(p - 1);
236 private String editUrl(String initUrl, String title)
238 String url = initUrl;
244 JTextField urltf = new JTextField(url, 40);
245 JPanel panel = new JPanel(new BorderLayout());
246 JPanel pane12 = new JPanel(new BorderLayout());
247 pane12.add(new JLabel("URL: "), BorderLayout.CENTER);
248 pane12.add(urltf, BorderLayout.EAST);
249 panel.add(pane12, BorderLayout.NORTH);
250 boolean valid = false;
251 int resp = JOptionPane.CANCEL_OPTION;
253 && (resp = JOptionPane.showInternalConfirmDialog(
254 Desktop.desktop, panel, title,
255 JOptionPane.OK_CANCEL_OPTION)) == JOptionPane.OK_OPTION)
259 // TODO: do a better job of checking that the url is a valid discovery
260 // URL for web services.
261 foo = new URL(urltf.getText().trim());
263 } catch (Exception e)
266 JOptionPane.showInternalMessageDialog(Desktop.desktop,
270 if (valid && resp == JOptionPane.OK_OPTION)
272 int validate = JOptionPane
273 .showInternalConfirmDialog(
275 "Validate JabaWS Server ?\n(Look in console output for results)",
276 "Test Server?", JOptionPane.YES_NO_OPTION);
277 if (validate == JOptionPane.OK_OPTION)
279 if (jalview.ws.jws2.Jws2Discoverer.testServiceUrl(foo))
281 return foo.toString();
286 .showInternalMessageDialog(
288 "Service did not pass validation.\nCheck the Jalview Console for more details.");
293 // just return the URL anyway
294 return foo.toString();
303 * @see jalview.jbgui.GWsPreferences#newWsUrl_actionPerformed(java.awt.event.
307 protected void newWsUrl_actionPerformed(ActionEvent e)
309 String url = editUrl(null, "Add new JWS2 URL");
312 if (!wsUrls.contains(url))
314 int selind = wsList.getSelectedIndex();
317 wsUrls.insertElementAt(url, selind);
321 wsUrls.addElement(url);
332 * @see jalview.jbgui.GWsPreferences#refreshWs_actionPerformed(java.awt.event.
336 protected void refreshWs_actionPerformed(ActionEvent e)
338 new Thread(new Runnable()
344 lastrefresh = update - 1;
345 updateWsMenuConfig(false);
353 * Refresh the web services menus - but only if there has been a change in the
354 * configuration (indicated by update!=lastrefresh)
356 * @param showProgress
357 * show progress in dialog or on desktop
359 protected void refreshWsMenu(boolean showProgress)
363 new Thread(new Runnable()
368 progressBar.setVisible(true);
370 progressBar.setIndeterminate(true);
371 if (lastrefresh != update)
373 lastrefresh = update;
374 Desktop.instance.startServiceDiscovery(true); // wait around for all
375 // threads to complete
377 progressBar.setIndeterminate(false);
378 progressBar.setVisible(false);
386 new Thread(new Runnable()
391 long ct = System.currentTimeMillis();
392 Desktop.instance.setProgressBar("Refreshing Web Service Menus",
394 if (lastrefresh != update)
396 lastrefresh = update;
397 Desktop.instance.startServiceDiscovery(true);
399 Desktop.instance.setProgressBar(null, ct);
407 * state counters for ensuring that updates only happen if config has changed.
409 private long update = 0, lastrefresh = 0;
415 * jalview.jbgui.GWsPreferences#resetWs_actionPerformed(java.awt.event.ActionEvent
419 protected void resetWs_actionPerformed(ActionEvent e)
421 jalview.ws.jws2.Jws2Discoverer.setServiceUrls(null);
422 wsUrls = jalview.ws.jws2.Jws2Discoverer.getServiceUrls();
426 protected void ok_ActionPerformed(ActionEvent e)
428 // update everything regardless.
429 updateAndRefreshWsMenuConfig(false);
432 public void updateAndRefreshWsMenuConfig(
433 final boolean showProgressInDialog)
435 new Thread(new Runnable()
440 updateWsMenuConfig(false);
441 refreshWsMenu(showProgressInDialog);