3 import java.awt.BorderLayout;
5 import java.awt.Component;
6 import java.awt.Dimension;
7 import java.awt.FlowLayout;
9 import java.awt.GridLayout;
10 import java.awt.Rectangle;
11 import java.awt.event.ActionEvent;
12 import java.awt.event.ActionListener;
13 import java.awt.event.ComponentEvent;
14 import java.awt.event.ComponentListener;
15 import java.awt.event.ContainerEvent;
16 import java.awt.event.ContainerListener;
17 import java.awt.event.ItemEvent;
18 import java.awt.event.ItemListener;
19 import java.awt.event.KeyEvent;
20 import java.awt.event.KeyListener;
21 import java.awt.event.MouseEvent;
22 import java.awt.event.MouseListener;
23 import java.awt.event.WindowEvent;
24 import java.awt.event.WindowListener;
25 import java.awt.event.WindowStateListener;
27 import java.util.ArrayList;
28 import java.util.EventObject;
29 import java.util.HashSet;
30 import java.util.Hashtable;
31 import java.util.Iterator;
32 import java.util.List;
34 import java.util.Vector;
36 import javax.swing.JButton;
37 import javax.swing.JCheckBox;
38 import javax.swing.JComboBox;
39 import javax.swing.JComponent;
40 import javax.swing.JDialog;
41 import javax.swing.JFrame;
42 import javax.swing.JLabel;
43 import javax.swing.JList;
44 import javax.swing.JMenuItem;
45 import javax.swing.JOptionPane;
46 import javax.swing.JPanel;
47 import javax.swing.JPopupMenu;
48 import javax.swing.JScrollPane;
49 import javax.swing.JSlider;
50 import javax.swing.JSplitPane;
51 import javax.swing.JTable;
52 import javax.swing.JTextArea;
53 import javax.swing.JTextField;
54 import javax.swing.ListSelectionModel;
55 import javax.swing.SwingConstants;
56 import javax.swing.SwingUtilities;
57 import javax.swing.border.TitledBorder;
58 import javax.swing.event.CellEditorListener;
59 import javax.swing.event.ChangeEvent;
60 import javax.swing.event.ChangeListener;
61 import javax.swing.event.DocumentEvent;
62 import javax.swing.event.DocumentListener;
63 import javax.swing.table.*;
65 import compbio.metadata.Argument;
66 import compbio.metadata.Option;
67 import compbio.metadata.Parameter;
68 import compbio.metadata.Preset;
69 import compbio.metadata.PresetManager;
70 import compbio.metadata.RunnerConfig;
71 import compbio.metadata.ValueConstrain;
72 import compbio.metadata.WrongParameterException;
73 import compbio.metadata.ValueConstrain.Type;
75 import jalview.util.jarInputStreamProvider;
76 import jalview.ws.jws2.Jws2Discoverer;
77 import jalview.ws.jws2.ParameterUtils;
78 import jalview.ws.jws2.Jws2Discoverer.Jws2Instance;
81 * job parameter editing/browsing dialog box. User can browse existing settings
82 * (user + presets + Defaults), and any changes to parameters creates a modified
83 * user parameter set. LOGIC: If the parameter set is modified, and its name is
84 * a valid, non-existant user parameter set, then a save button is shown. If the
85 * parameter set is modified and its name is a valid, extant user parameter set,
86 * then an update button is shown. If user parameter set's name is edited, and
87 * old name exists as a writable user parameter set, then rename button is
88 * shown. If current parameter set is associated with a user defined parameter
89 * set, then : if set is modifed, a 'revert' button is shown. if set is not
90 * modified, a 'delete' button is shown.
95 public class WsJobParameters extends JPanel implements ItemListener,
96 ActionListener, DocumentListener
98 private static final String SVC_DEF = "Defaults"; // this is the null
99 // parameter set as shown to
102 private static final int PARAM_WIDTH = 340, PARAM_HEIGHT = 150,
103 PARAM_CLOSEDHEIGHT = 80;
105 private static final int OPTSET_HEIGHT = 30;
107 JPanel SetNamePanel = new JPanel();
109 JPanel setDetails = new JPanel();
111 JSplitPane settingsPanel = new JSplitPane();
113 JSplitPane jobPanel = new JSplitPane();
115 JPanel jobOptions = new JPanel();
117 JScrollPane jobOptionsPane = new JScrollPane();
119 JPanel jobParameters = new JPanel();
121 JButton createpref = new JButton();
123 JButton deletepref = new JButton();
125 JButton revertpref = new JButton();
127 JButton updatepref = new JButton();
129 JButton startjob = new JButton();
131 JButton canceljob = new JButton();
133 JComboBox setName = new JComboBox();
135 JTextArea setDescr = new JTextArea();
137 JScrollPane paramPane = new JScrollPane();
139 // JList paramList = new JList();
140 JPanel paramList = new JPanel();
142 RunnerConfig serviceOptions;
144 private BorderLayout jparamLayout;
146 WsJobParameters(Jws2Instance service)
151 public WsJobParameters(Jws2Instance service, Preset p)
153 this(null, service, p, null);
159 * - if null, create new JFrame outside of desktop
163 public WsJobParameters(JFrame parent, Jws2Instance service, Preset p,
164 List<Argument> jobArgset)
168 // argSetModified(false);
169 // populate parameter table
170 initForService(service, p, jobArgset);
171 // display in new JFrame attached to parent.
177 JDialog frame = null;
180 * shows a modal dialog containing the parameters.
184 public boolean showRunDialog()
187 frame = new JDialog(Desktop.instance, true);
189 frame.setTitle("Edit parameters for " + service.getActionText());
190 Rectangle deskr = Desktop.instance.getBounds();
191 frame.setBounds(new Rectangle((int) (deskr.getCenterX() - 240),
192 (int) (deskr.getCenterY() - 250), 480, 500));
193 frame.setContentPane(this);
194 // should recover defaults from user prefs.
196 settingsPanel.setDividerLocation(0.4);
197 jobPanel.setDividerLocation(0.3);
198 frame.setVisible(true);
207 protected JButton makeButton(String label, String tooltip,
208 ActionListener action)
210 JButton button = new JButton();
211 button.setText(label);
212 button.setFont(new java.awt.Font("Verdana", Font.PLAIN, 10));
213 button.setForeground(Color.black);
214 button.setHorizontalAlignment(SwingConstants.CENTER);
215 button.setToolTipText(tooltip);
216 button.addActionListener(action);
220 private void jbInit()
222 updatepref = makeButton("Update", "Update the stored user preference",
226 public void actionPerformed(ActionEvent e)
228 update_actionPerformed(e);
231 deletepref = makeButton("Delete", "Delete the user preference",
235 public void actionPerformed(ActionEvent e)
237 delete_actionPerformed(e);
240 createpref = makeButton("Create", "Create a new preference",
244 public void actionPerformed(ActionEvent e)
246 create_actionPerformed(e);
249 revertpref = makeButton("Revert",
250 "Undo all changes to the current set", new ActionListener()
253 public void actionPerformed(ActionEvent e)
255 revert_actionPerformed(e);
258 startjob.setFont(new java.awt.Font("Verdana", Font.PLAIN, 10));
259 startjob.setText("Start");
260 startjob.setToolTipText("Start Job");
261 startjob.addActionListener(new ActionListener()
263 public void actionPerformed(ActionEvent e)
265 startjob_actionPerformed(e);
268 canceljob.setFont(new java.awt.Font("Verdana", Font.PLAIN, 10));
269 canceljob.setText("Cancel");
270 canceljob.setToolTipText("Cancel Job");
271 canceljob.addActionListener(new ActionListener()
273 public void actionPerformed(ActionEvent e)
275 canceljob_actionPerformed(e);
279 setDetails.setBorder(new TitledBorder("Details"));
280 setDetails.setLayout(new BorderLayout());
281 setDescr.setColumns(40);
282 setDescr.setWrapStyleWord(true);
283 setDescr.setLineWrap(true);
284 setDescr.setBackground(getBackground());
285 setDescr.setEditable(true);
286 setDescr.getDocument().addDocumentListener(this);
287 JScrollPane setDescrView = new JScrollPane();
288 // setDescrView.setPreferredSize(new Dimension(350, 200));
289 setDescrView.getViewport().setView(setDescr);
290 setName.setEditable(true);
291 setName.addItemListener(this);
292 setName.getEditor().addActionListener(this);
293 JPanel setNameInfo = new JPanel(new FlowLayout(FlowLayout.LEFT));
294 SetNamePanel.setLayout(new GridLayout(2, 1));
295 SetNamePanel.setMinimumSize(new Dimension(300, 40));
296 JLabel setNameLabel = new JLabel("Parameter set: ");
297 setNameLabel.setFont(new java.awt.Font("Verdana", Font.PLAIN, 10));
298 // setNameLabel.setHorizontalAlignment(FlowLayout.LEFT);
299 setNameInfo.add(setNameLabel);
300 setNameInfo.add(setName);
301 // initial button visibility
302 updatepref.setVisible(false);
303 deletepref.setVisible(false);
304 revertpref.setVisible(false);
305 createpref.setVisible(false);
306 JPanel setsavebuts = new JPanel();
307 setsavebuts.setLayout(new FlowLayout(FlowLayout.LEFT)); // GridLayout(1,2));
308 ((FlowLayout) setsavebuts.getLayout()).setHgap(10);
309 ((FlowLayout) setsavebuts.getLayout()).setVgap(0);
310 setsavebuts.add(deletepref);
311 setsavebuts.add(revertpref);
312 setsavebuts.add(createpref);
313 setsavebuts.add(updatepref);
314 setsavebuts.setSize(new Dimension(150, 20));
315 JPanel buttonArea = new JPanel(new GridLayout(1, 1));
316 buttonArea.add(setsavebuts);
317 SetNamePanel.add(setNameInfo);
318 SetNamePanel.add(buttonArea);
319 setDetails.add(setDescrView, BorderLayout.CENTER);
320 // setDetails.setPreferredSize(new Dimension(360, 100));
321 jobParameters.setBorder(new TitledBorder("Parameters"));
322 jobParameters.setLayout(jparamLayout = new BorderLayout());
323 paramPane.setPreferredSize(new Dimension(360, 300));
324 paramPane.getVerticalScrollBar().setUnitIncrement(20);
325 // paramPanel.setPreferredSize(new Dimension(360, 300));
326 // TODO: relayout buttons nicely
327 paramPane.getViewport().setView(paramList);
328 jobParameters.add(paramPane, BorderLayout.CENTER);
329 JPanel jobOptionsPanel = new JPanel();
330 jobOptionsPanel.setLayout(new BorderLayout());
331 jobOptionsPanel.setBorder(new TitledBorder("Options"));
332 jobOptionsPane.getViewport().setView(jobOptions);
333 jobOptionsPanel.add(jobOptionsPane, BorderLayout.CENTER);
334 settingsPanel.setLeftComponent(jobOptionsPanel);
335 settingsPanel.setRightComponent(jobParameters);
336 settingsPanel.setOrientation(JSplitPane.VERTICAL_SPLIT);
338 setLayout(new BorderLayout());
339 // setPreferredSize(new Dimension(400, 600));
340 // setSize(new Dimension(400, 600));
341 jobPanel.setLeftComponent(setDetails);
342 jobPanel.setRightComponent(settingsPanel);
343 jobPanel.setOrientation(JSplitPane.VERTICAL_SPLIT);
344 add(SetNamePanel, BorderLayout.NORTH);
345 add(jobPanel, BorderLayout.CENTER);
346 JPanel dialogpanel = new JPanel();
347 dialogpanel.add(startjob);
348 dialogpanel.add(canceljob);
349 add(dialogpanel, BorderLayout.SOUTH);
352 protected void revert_actionPerformed(ActionEvent e)
354 reInitDialog(lastParmSet);
358 protected void update_actionPerformed(ActionEvent e)
362 String curname = ((String) setName.getSelectedItem()).trim();
363 if (curname.length() > 0 && !curname.equals(lastParmSet))
365 _deleteUserPreset(lastParmSet);
367 _storeCurrentPreset(curname);
368 lastParmSet = curname;
370 initArgSetModified();
371 syncSetNamesWithStore();
375 protected void delete_actionPerformed(ActionEvent e)
379 // delete current preset's saved entry
380 _deleteUserPreset(lastParmSet);
382 reInitDialog(null); // service default
385 protected void create_actionPerformed(ActionEvent e)
387 String curname = ((String) setName.getSelectedItem()).trim();
388 if (curname.length() > 0)
390 _storeCurrentPreset(curname);
391 lastParmSet = curname;
393 initArgSetModified();
397 // TODO: show warning
398 System.err.println("Invalid name. Not saved.");
402 protected void canceljob_actionPerformed(ActionEvent e)
407 frame.setVisible(false);
411 protected void startjob_actionPerformed(ActionEvent e)
416 frame.setVisible(false);
420 Jws2Instance service;
423 * list of service presets in the gui
425 Hashtable servicePresets = null;
428 * set if dialog is being set - so handlers will avoid spurious events
430 boolean settingDialog = false;
432 void initForService(Jws2Instance service, Preset p,
433 List<Argument> jobArgset)
435 settingDialog = true;
436 this.service = service;
437 // TODO: Recover window geometry prefs for this service
438 // jobPanel.setDividerLocation(proportionalLocation)
439 // settingsPanel.setDividerLocation(proportionalLocation)
440 Hashtable exnames = new Hashtable();
441 for (int i = 0, iSize = setName.getItemCount(); i < iSize; i++)
443 exnames.put((String) setName.getItemAt(i), setName.getItemAt(i));
445 // Add the default entry - if not present already.
446 if (!exnames.contains(SVC_DEF))
448 setName.addItem(SVC_DEF);
449 exnames.put(SVC_DEF, SVC_DEF);
451 serviceOptions = service.getRunnerConfig();
452 // add any presets not already added.
453 String curname = (p == null ? "" : p.getName());
454 PresetManager prman = service.getPresets();
455 servicePresets = new Hashtable();
458 List prList = service.getPresets().getPresets();
461 for (Object pr : prList)
463 servicePresets.put(((Preset) pr).getName(), "preset");
464 if (!exnames.contains(((Preset) pr).getName()))
466 setName.addItem(((Preset) pr).getName());
471 // TODO: if initial jobArgset matches a given user setting or preset then
472 // should recover setting accordingly
473 // updateTable(p, jobArgset);
476 reInitDialog(p.getName());
477 initArgSetModified();
481 if (jobArgset != null && jobArgset.size() > 0)
483 curSetName = "Supplied Settings";
484 updateTable(p, jobArgset);
492 settingDialog = false;
496 @SuppressWarnings("unchecked")
497 private void updateTable(Preset p, List<Argument> jobArgset)
499 List<Parameter> setargs = new ArrayList<Parameter>();
500 // populate table from default parameter set.
501 List<Argument> args = serviceOptions.getArguments();
503 // split to params and required arguments
505 for (Argument arg : args)
507 Argument myarg = (Argument) arg;
508 // Ideally, Argument would implement isRequired !
509 if (myarg instanceof Parameter)
511 Parameter parm = (Parameter) myarg;
516 if (myarg instanceof Option)
518 Option opt = (Option) myarg;
519 addOption(opt).resetToDefault();
523 System.err.println("Ignoring unknown service argument type "
524 + arg.getClass().getName());
528 args = null; // no more args to process.
532 isUserPreset = false;
533 // initialise setname
534 setName.setSelectedItem(lastSetName = p.getName());
535 setDescr.setText(lastDescrText = p.getDescription());
539 args = p.getArguments(serviceOptions);
540 } catch (Exception e)
544 // TODO: check if args should be unselected prior to resetting using the
550 if (lastParmSet == null)
552 isUserPreset = false;
553 // first call - so create a dummy name
554 setName.setSelectedItem(lastSetName = SVC_DEF);
558 if (jobArgset != null)
560 argSetModified(jobArgset, true);
563 // get setargs from current object
566 for (Argument arg : args)
568 if (arg instanceof Parameter)
570 setParameter((Parameter) arg);
574 if (arg instanceof Option)
576 // System.out.println("Setting option "
577 // + System.identityHashCode(arg) + ":" + arg.getName()
578 // + " with " + arg.getDefaultValue());
579 selectOption((Option) arg, arg.getDefaultValue());
586 jobOptions.setPreferredSize(new Dimension(PARAM_WIDTH, optSet.size()
588 jobOptions.setLayout(new GridLayout(optSet.size(), 1));
589 refreshParamLayout();
590 paramPane.validate();
594 private boolean isModified()
596 return modifiedElements.size() > 0;
599 private Hashtable modifiedElements = new Hashtable();
602 * reset gui and modification state settings
604 private void initArgSetModified()
607 modifiedElements.clear();
608 updateButtonDisplay();
611 private void updateButtonDisplay()
613 boolean _update = false, _create = false, _delete = false, _revert = false;
614 if (modifiedElements.size() > 0)
618 _update = isUserPreset; // can only update user presets
619 if (!isUserPreset || modifiedElements.containsKey(setName))
621 // name modified - can create new preset
629 // can still delete a user preset
630 _delete = isUserPreset;
632 createpref.setVisible(_create);
633 updatepref.setVisible(_update);
634 deletepref.setVisible(_delete);
635 revertpref.setVisible(_revert);
639 private void argSetModified(Object modifiedElement, boolean b)
648 modifiedElements.remove(modifiedElement);
652 modifiedElements.put(modifiedElement, modifiedElement);
654 // set mod status based on presence of elements in table
655 if (b && modifiedElements.size() > 0)
657 makeSetNameValid(!isUserPreset);
658 SetNamePanel.revalidate();
660 updateButtonDisplay();
663 private boolean isServicePreset(String selectedItem)
665 return selectedItem.equals(SVC_DEF)
666 || servicePresets.containsKey(selectedItem);
670 * check if the current set name is a valid set name for saving, if not, then
673 private void makeSetNameValid(boolean newuserset)
675 boolean stn = settingDialog;
676 boolean renamed = false;
677 settingDialog = true;
678 String nm = (String) setName.getSelectedItem();
679 // check if the name is reserved - if it is, rename it.
680 if (isServicePreset(nm))
689 while (_getUserPreset(tnm) != null)
691 tnm = nm + " (" + (++i) + ")";
700 boolean makeupdate = false;
701 // sync the gui with the preset database
702 for (int i = 0, iS = setName.getItemCount(); i < iS; i++)
704 String snm = (String) setName.getItemAt(i);
708 // setName.setSelectedIndex(i);
713 setName.addItem(curSetName = nm);
714 setName.setSelectedItem(curSetName);
718 settingDialog = false; // we need this name change to be registered.
719 argSetModified(setName, renamed);
724 private void addParameter(Parameter parm)
726 ParamBox pb = paramSet.get(parm.getName());
729 pb = new ParamBox(this, parm);
730 paramSet.put(parm.getName(), pb);
734 // take the defaults from the parameter
735 pb.updateControls(parm);
738 private void setParameter(Parameter arg)
740 ParamBox pb = paramSet.get(arg.getName());
747 pb.updateControls(arg);
752 private void selectOption(Option opt, String string)
754 OptionBox cb = optSet.get(opt.getName());
759 cb.enabled.setSelected(string != null); // initial state for an option.
762 if (opt.getPossibleValues().contains(string))
764 cb.val.setSelectedItem(string);
768 throw new Error("Invalid value " + string + " for option " + opt);
772 if (opt.isRequired() && !cb.enabled.isSelected())
774 // TODO: indicate paramset is not valid.. option needs to be selected!
776 cb.setInitialValue();
779 Map<String, ParamBox> paramSet = new Hashtable<String, ParamBox>();
781 public class ParamBox extends JPanel implements ChangeListener,
782 ActionListener, MouseListener
784 JButton showDesc = new JButton();
786 JTextArea string = new JTextArea();
788 JScrollPane descPanel = new JScrollPane();
790 JSlider slider = null;
792 JTextField valueField = null;
794 ValueConstrain validator = null;
796 JPanel settingPanel = new JPanel();
798 JPanel controlPanel = new JPanel();
800 boolean integ = false;
802 boolean choice = false;
804 boolean descisvisible = false;
806 final WsJobParameters pmdialogbox;
810 public ParamBox(final WsJobParameters pmlayout, Parameter parm)
812 pmdialogbox = pmlayout;
813 setPreferredSize(new Dimension(PARAM_WIDTH, PARAM_CLOSEDHEIGHT));
814 setBorder(new TitledBorder(parm.getName()));
816 showDesc.setFont(new Font("Verdana", Font.PLAIN, 6));
817 showDesc.setText("+");
818 string.setFont(new Font("Verdana", Font.PLAIN, 11));
819 string.setBackground(getBackground());
820 // string.setSize(new Dimension(PARAM_WIDTH, 80));
821 string.setEditable(false);
822 descPanel.getViewport().setView(string);
823 // descPanel.setLocation(2,17);
824 descPanel.setVisible(false);
825 // string.setMinimumSize(new Dimension(140,80));
826 // string.setMaximumSize(new Dimension(280,80));
827 final ParamBox me = this;
828 finfo = parm.getFurtherDetails();
831 showDesc.setToolTipText("<html><p>Click to show brief description, and right click to open link for further information.</p></html>");
832 showDesc.addMouseListener(this);
836 showDesc.setToolTipText("<html><p>Click to show brief description.</p></html>");
838 showDesc.addActionListener(new ActionListener()
841 public void actionPerformed(ActionEvent e)
843 descisvisible = !descisvisible;
844 descPanel.setVisible(descisvisible);
845 me.setPreferredSize(new Dimension(PARAM_WIDTH,
846 (descisvisible) ? PARAM_HEIGHT : PARAM_CLOSEDHEIGHT));
848 pmlayout.refreshParamLayout();
851 string.setWrapStyleWord(true);
852 string.setLineWrap(true);
853 string.setColumns(32);
854 string.setText(parm.getDescription());
855 JPanel firstrow = new JPanel();
856 firstrow.setLayout(null);
857 controlPanel.setLayout(new BorderLayout());
858 controlPanel.setBounds(new Rectangle(39, 10, PARAM_WIDTH - 70,
859 PARAM_CLOSEDHEIGHT - 50));
860 showDesc.setBounds(new Rectangle(10, 10, 16, 16));
861 firstrow.add(showDesc);
862 firstrow.add(controlPanel);
863 firstrow.setBounds(new Rectangle(10, 20, PARAM_WIDTH - 30,
864 PARAM_CLOSEDHEIGHT - 30));
866 validator = parm.getValidValue();
868 if (validator != null)
870 integ = validator.getType() == Type.Integer;
874 if (parameter.getPossibleValues() != null)
879 updateControls(parm);
880 descPanel.setBounds(new Rectangle(10, PARAM_CLOSEDHEIGHT,
881 PARAM_WIDTH - 20, PARAM_HEIGHT - PARAM_CLOSEDHEIGHT - 5));
888 // reset the widget's initial value.
892 boolean adjusting = false;
898 public int getBoxHeight()
900 return (descisvisible ? PARAM_HEIGHT : PARAM_CLOSEDHEIGHT);
903 public void updateControls(Parameter parm)
906 boolean init = (choicebox == null && valueField == null);
913 choicebox = new JComboBox();
914 choicebox.addActionListener(this);
915 controlPanel.add(choicebox, BorderLayout.CENTER);
919 slider = new JSlider();
920 slider.addChangeListener(this);
921 valueField = new JTextField();
922 valueField.addActionListener(this);
923 valueField.setPreferredSize(new Dimension(60, 25));
924 controlPanel.add(slider, BorderLayout.WEST);
925 controlPanel.add(valueField, BorderLayout.EAST);
936 List vals = parm.getPossibleValues();
937 for (Object val : vals)
939 choicebox.addItem(val);
943 if (parm.getDefaultValue() != null)
945 choicebox.setSelectedItem(parm.getDefaultValue());
950 valueField.setText(parm.getDefaultValue());
953 lastVal = updateSliderFromValueField();
959 public Parameter getParameter()
961 Parameter prm = ParameterUtils.copyParameter(parameter);
966 prm.setDefaultValue((String) choicebox.getSelectedItem());
970 prm.setDefaultValue(valueField.getText());
972 } catch (WrongParameterException e)
980 public Object updateSliderFromValueField()
984 if (validator != null)
991 valueField.setText(valueField.getText().trim());
992 iVal = Integer.valueOf(valueField.getText());
993 } catch (Exception e)
997 if (validator.getMin() != null && validator.getMax() != null)
999 slider.getModel().setRangeProperties(iVal, 1,
1000 validator.getMin().intValue(),
1001 validator.getMax().intValue(), true);
1005 slider.setVisible(false);
1015 fVal = Float.valueOf(valueField.getText());
1016 } catch (Exception e)
1020 if (validator.getMin() != null && validator.getMax() != null)
1022 slider.getModel().setRangeProperties((int) fVal * 1000, 1,
1023 (int) validator.getMin().floatValue() * 1000,
1024 (int) validator.getMax().floatValue() * 1000, true);
1028 slider.setVisible(false);
1038 slider.setVisible(false);
1040 { valueField.getText().trim() };
1045 { (String) choicebox.getSelectedItem() };
1051 public void stateChanged(ChangeEvent e)
1055 valueField.setText(""
1056 + ((integ) ? ("" + (int) slider.getValue())
1057 : ("" + (float) (slider.getValue() / 1000f))));
1063 public void actionPerformed(ActionEvent e)
1071 updateSliderFromValueField();
1076 private void checkIfModified()
1078 Object cstate = updateSliderFromValueField();
1079 boolean notmod = false;
1080 if (cstate.getClass() == lastVal.getClass())
1082 if (cstate instanceof int[])
1084 notmod = (((int[]) cstate)[0] == ((int[]) lastVal)[0]);
1086 else if (cstate instanceof float[])
1088 notmod = (((float[]) cstate)[0] == ((float[]) lastVal)[0]);
1090 else if (cstate instanceof String[])
1092 notmod = (((String[]) cstate)[0].equals(((String[]) lastVal)[0]));
1095 pmdialogbox.argSetModified(this, !notmod);
1098 public void mouseClicked(MouseEvent e)
1100 if (javax.swing.SwingUtilities.isRightMouseButton(e))
1102 Desktop.showUrl(finfo.toString());
1106 public void mousePressed(MouseEvent e)
1108 // TODO Auto-generated method stub
1112 public void mouseReleased(MouseEvent e)
1114 // TODO Auto-generated method stub
1118 public void mouseEntered(MouseEvent e)
1120 // TODO Auto-generated method stub
1124 public void mouseExited(MouseEvent e)
1126 // TODO Auto-generated method stub
1132 Map<String, OptionBox> optSet = new Hashtable<String, OptionBox>();
1134 public class OptionBox extends JPanel implements MouseListener,
1137 JComboBox val = new JComboBox();
1139 JCheckBox enabled = new JCheckBox();
1141 JLabel optlabel = new JLabel();
1143 URL linkImageURL = getClass().getResource("/images/link.gif");
1147 boolean hasLink = false;
1151 public OptionBox(Option opt)
1154 setLayout(new BorderLayout());
1155 enabled.setSelected(opt.isRequired()); // TODO: lock required options
1156 enabled.setFont(new Font("Verdana", Font.PLAIN, 11));
1157 enabled.setText("");
1158 enabled.setText(opt.getName());
1159 enabled.addActionListener(this);
1160 finfo = option.getFurtherDetails();
1164 // optlabel.setToolTipText("<html><p>"+opt.getDescription()+"</p><img src=\""+linkImageURL+"\"/></html>");
1165 enabled.setToolTipText("<html><p>" + opt.getDescription()
1166 + "</p><img src=\"" + linkImageURL + "\"/></html>");
1167 // optlabel.addMouseListener(this);
1168 enabled.addMouseListener(this);
1172 // optlabel.setToolTipText(opt.getDescription());
1173 enabled.setToolTipText(opt.getDescription());
1175 add(enabled, BorderLayout.NORTH);
1176 if (opt.getPossibleValues().size() > 1)
1178 setLayout(new GridLayout(1, 2));
1179 for (Object str : opt.getPossibleValues())
1181 val.addItem((String) str);
1183 val.setSelectedItem((String) opt.getDefaultValue());
1184 val.addActionListener(this);
1185 add(val, BorderLayout.SOUTH);
1187 // TODO: add actionListeners for popup (to open further info),
1188 // and to update list of parameters if an option is enabled
1189 // that takes a value.
1193 public void resetToDefault()
1195 enabled.setSelected(false);
1196 if (option.isRequired())
1198 // Apply default value
1199 selectOption(option, option.getDefaultValue());
1203 boolean initEnabled = false;
1205 String initVal = null;
1207 public void setInitialValue()
1209 initEnabled = enabled.isSelected();
1210 if (option.getPossibleValues() != null
1211 && option.getPossibleValues().size() > 1)
1213 initVal = (String) val.getSelectedItem();
1217 initVal = (initEnabled) ? option.getDefaultValue() : null;
1221 public Option getOptionIfEnabled()
1223 if (!enabled.isSelected())
1230 opt = jalview.ws.jws2.ParameterUtils.copyOption(option);
1232 if (val.getSelectedItem() != null)
1234 opt.setDefaultValue((String) val.getSelectedItem());
1236 } catch (WrongParameterException e)
1238 e.printStackTrace();
1244 public void actionPerformed(ActionEvent e)
1246 if (e.getSource() != enabled)
1248 enabled.setSelected(true);
1253 private void checkIfModified()
1255 boolean notmod = (initEnabled == enabled.isSelected());
1256 if (enabled.isSelected())
1258 if (initVal != null)
1260 notmod &= initVal.equals(val.getSelectedItem());
1264 // compare against default service setting
1265 notmod &= option.getDefaultValue() == null
1266 || option.getDefaultValue().equals(val.getSelectedItem());
1271 notmod &= initVal == null;
1273 argSetModified(this, !notmod);
1276 public void mouseClicked(MouseEvent e)
1278 if (javax.swing.SwingUtilities.isRightMouseButton(e))
1280 showUrlPopUp(this, finfo.toString(), e.getX(), e.getY());
1284 public void mousePressed(MouseEvent e)
1286 // TODO Auto-generated method stub
1290 public void mouseReleased(MouseEvent e)
1292 // TODO Auto-generated method stub
1296 public void mouseEntered(MouseEvent e)
1298 // TODO Auto-generated method stub
1302 public void mouseExited(MouseEvent e)
1304 // TODO Auto-generated method stub
1310 private OptionBox addOption(Option opt)
1312 OptionBox cb = optSet.get(opt.getName());
1315 cb = new OptionBox(opt);
1316 optSet.put(opt.getName(), cb);
1322 public static void showUrlPopUp(JComponent invoker, final String finfo,
1326 JPopupMenu mnu = new JPopupMenu();
1327 JMenuItem mitem = new JMenuItem("View " + finfo);
1328 mitem.addActionListener(new ActionListener()
1332 public void actionPerformed(ActionEvent e)
1334 Desktop.showUrl(finfo);
1339 mnu.show(invoker, x, y);
1342 protected void refreshParamLayout()
1344 FlowLayout fl = new FlowLayout();
1345 paramList.setLayout(fl);
1346 int s = 2 * fl.getVgap();
1347 for (ParamBox pbox : paramSet.values())
1349 s += fl.getVgap() + pbox.getBoxHeight(); // getBoxHeight();
1351 paramList.setPreferredSize(new Dimension(PARAM_WIDTH, s));
1356 * testing method - grab a service and parameter set and show the window
1360 public static void main(String[] args)
1362 jalview.ws.jws2.Jws2Discoverer disc = jalview.ws.jws2.Jws2Discoverer
1365 if (args.length > 3)
1367 Vector<String> services = new Vector<String>();
1368 services.addElement(args[p++]);
1369 Jws2Discoverer.setServiceUrls(services);
1374 } catch (Exception e)
1376 System.err.println("Aborting. Problem discovering services.");
1377 e.printStackTrace();
1380 Jws2Discoverer.Jws2Instance lastserv = null;
1381 for (Jws2Discoverer.Jws2Instance service : disc.getServices())
1384 if (p >= args.length || service.serviceType.equalsIgnoreCase(args[p]))
1386 if (lastserv != null)
1388 List<Preset> prl = null;
1390 if (++p < args.length)
1392 PresetManager prman = lastserv.getPresets();
1395 pr = prman.getPresetByName(args[p]);
1398 // just grab the last preset.
1399 prl = prman.getPresets();
1405 PresetManager prman = lastserv.getPresets();
1408 prl = prman.getPresets();
1411 Iterator<Preset> en = (prl == null) ? null : prl.iterator();
1412 while (en != null && en.hasNext())
1418 en = prl.iterator();
1423 System.out.println("Testing opts dupes for "
1424 + lastserv.getHost() + " : "
1425 + lastserv.getActionText() + ":" + pr.getName());
1426 List<Option> rg = lastserv.getRunnerConfig().getOptions();
1431 Option cpy = jalview.ws.jws2.ParameterUtils.copyOption(o);
1432 } catch (Exception e)
1434 System.err.println("Failed to copy " + o.getName());
1435 e.printStackTrace();
1438 System.err.println("Failed to copy " + o.getName());
1439 e.printStackTrace();
1444 System.out.println("Testing param dupes:");
1445 List<Parameter> rg = lastserv.getRunnerConfig()
1447 for (Parameter o : rg)
1451 Parameter cpy = jalview.ws.jws2.ParameterUtils
1453 } catch (Exception e)
1455 System.err.println("Failed to copy " + o.getName());
1456 e.printStackTrace();
1459 System.err.println("Failed to copy " + o.getName());
1460 e.printStackTrace();
1465 System.out.println("Testing param write:");
1466 List<String> writeparam = null, readparam = null;
1469 writeparam = jalview.ws.jws2.ParameterUtils
1471 pr.getArguments(lastserv.getRunnerConfig()),
1473 System.out.println("Testing param read :");
1474 List<Option> pset = jalview.ws.jws2.ParameterUtils
1475 .processParameters(writeparam,
1476 lastserv.getRunnerConfig(), " ");
1477 readparam = jalview.ws.jws2.ParameterUtils
1478 .writeParameterSet(pset, " ");
1479 Iterator<String> o=pr.getOptions().iterator(),s = writeparam.iterator(), t = readparam
1481 boolean failed=false;
1482 while (s.hasNext() && t.hasNext())
1484 String on=o.next(),sn = s.next(),st=t.next();
1487 System.out.println("Original was "+on+" Phase 1 wrote " + sn
1488 + "\tPhase 2 wrote " + st);
1494 System.out.println("Original parameters:\n"+pr.getOptions());
1495 System.out.println("Wrote parameters in first set:\n"+writeparam);
1496 System.out.println("Wrote parameters in second set:\n"+readparam);
1499 } catch (Exception e)
1501 e.printStackTrace();
1504 WsJobParameters pgui = new WsJobParameters(lastserv, pr);
1505 JFrame jf = new JFrame("Parameters for "
1506 + lastserv.getActionText());
1507 JPanel cont = new JPanel();
1508 // jf.setPreferredSize(new Dimension(600, 800));
1511 final Thread thr = Thread.currentThread();
1512 jf.addWindowListener(new WindowListener()
1515 public void windowActivated(WindowEvent e)
1517 // TODO Auto-generated method stub
1521 public void windowClosed(WindowEvent e)
1525 public void windowClosing(WindowEvent e)
1531 public void windowDeactivated(WindowEvent e)
1533 // TODO Auto-generated method stub
1537 public void windowDeiconified(WindowEvent e)
1539 // TODO Auto-generated method stub
1543 public void windowIconified(WindowEvent e)
1545 // TODO Auto-generated method stub
1549 public void windowOpened(WindowEvent e)
1551 // TODO Auto-generated method stub
1556 jf.setVisible(true);
1557 boolean inter = false;
1562 Thread.sleep(10000);
1563 } catch (Exception e)
1576 public List<Argument> getJobParams()
1578 List<Argument> argSet = new ArrayList<Argument>();
1579 // recover options and parameters from GUI
1580 for (OptionBox opts : optSet.values())
1582 Option opt = opts.getOptionIfEnabled();
1588 for (ParamBox parambox : paramSet.values())
1590 Parameter parm = parambox.getParameter();
1600 String lastParmSet = null;
1602 Hashtable<String, Object[]> editedParams = new Hashtable<String, Object[]>();
1605 * store the given parameters in the user parameter set database.
1607 * @param storeSetName
1610 * - setDescr.getText()
1614 private void _storeUserPreset(String storeSetName, String descr,
1615 List<Argument> jobParams)
1617 // this is a simple hash store.
1619 editedParams.put(storeSetName, pset = new Object[3]);
1620 pset[0] = storeSetName;
1622 pset[2] = jobParams;
1623 // writeParam("Saving " + storeSetName + ": ", jobParams);
1626 private void writeParam(String nm, List<Argument> params)
1628 for (Argument p : params)
1630 System.out.println(nm + ":" + System.identityHashCode(p) + " Name: "
1631 + p.getName() + " Value: " + p.getDefaultValue());
1635 private Object[] _getUserPreset(String setName)
1637 Object[] pset = editedParams.get(setName);
1638 // if (pset != null)
1639 // writeParam("Retrieving " + setName + ": ", (List<Argument>) pset[2]);
1644 * remove the given user preset from the preset stash
1648 private void _deleteUserPreset(String setName)
1650 editedParams.remove(setName);
1653 private void syncSetNamesWithStore()
1656 // remove any set names in the drop down menu that aren't either a reserved
1657 // setting, or a user defined or service preset.
1658 Vector items = new Vector();
1659 while (n < setName.getItemCount())
1661 String item = (String) setName.getItemAt(n);
1662 if (!isServicePreset(item) && _getUserPreset(item) == null)
1664 setName.removeItemAt(n);
1668 items.addElement(item);
1672 for (String upn : editedParams.keySet())
1674 if (!items.contains(upn))
1676 setName.addItem(upn);
1682 * true if lastParmSet is a user preset
1684 boolean isUserPreset = false;
1686 private void reInitDialog(String nextPreset)
1688 settingDialog = true;
1689 // updateTable(null,null); // first reset to defaults
1690 Object[] pset = null;
1691 if (nextPreset != null && nextPreset.length() > 0)
1693 pset = _getUserPreset(nextPreset);
1697 isUserPreset = true;
1698 setDescr.setText((String) pset[1]);
1699 updateTable(null, (List<Argument>) pset[2]);
1700 lastParmSet = nextPreset;
1704 isUserPreset = false;
1705 setDescr.setText("");
1706 // must be a default preset from service
1710 PresetManager prman = service.getPresets();
1713 isUserPreset = false;
1714 p = prman.getPresetByName(nextPreset);
1716 } catch (Exception ex)
1718 ex.printStackTrace();
1722 updateTable(p, null);
1723 lastParmSet = nextPreset;
1727 updateTable(null, null);
1728 lastParmSet = SVC_DEF;
1731 initArgSetModified();
1732 syncSetNamesWithStore();
1733 setName.setSelectedItem(lastParmSet);
1735 settingDialog = false;
1739 String curSetName = null;
1741 public void itemStateChanged(ItemEvent e)
1743 if (e.getSource() == setName && e.getStateChange() == e.SELECTED)
1745 String setname = (String) setName.getSelectedItem();
1746 System.out.println("Item state changed for " + setname
1747 + " (handling ? " + !settingDialog + ")");
1753 if (setname == null)
1757 // user has selected a different item from combo-box
1760 String lsetname = (curSetName != null) ? curSetName : lastParmSet;
1761 if (lsetname.equals(setname))
1763 // setname was just edited - so ignore this event.
1766 settingDialog = true;
1767 System.out.println("Prompting to save " + lsetname);
1768 if (javax.swing.JOptionPane.showConfirmDialog(this,
1769 "Parameter set '" + lsetname + "' is modifed\nsave ?",
1770 "Save changes ?", javax.swing.JOptionPane.OK_CANCEL_OPTION) == JOptionPane.OK_OPTION)
1772 System.out.println("Saving for " + lsetname);
1773 _storeCurrentPreset(lsetname);
1777 settingDialog = true;
1778 reInitDialog(setname);
1779 settingDialog = false;
1785 * store current settings as given name. You should then reset gui.
1787 * @param curSetName2
1789 private void _storeCurrentPreset(String curSetName2)
1791 _storeUserPreset(curSetName2, setDescr.getText(), getJobParams());
1795 * last saved name for this user preset
1797 String lastSetName = null;
1800 * last saved value of the description text for this user preset
1802 String lastDescrText = null;
1804 public void actionPerformed(ActionEvent e)
1806 if (e.getSource() instanceof Component)
1808 Component src = (Component) e.getSource();
1809 if (src.getParent() == setName)
1811 // rename any existing records we know about for this set.
1812 String newname = (String) e.getActionCommand().trim();
1814 if (isServicePreset(newname))
1816 JOptionPane.showConfirmDialog(this,
1817 "Invalid name - preset already exists.", "Invalid name",
1818 JOptionPane.OK_OPTION);
1820 setName.setSelectedItem(curSetName);
1823 curSetName = newname;
1824 System.err.println("New name for user setting " + curSetName
1825 + " (was " + setName.getSelectedItem() + ")");
1826 if (curSetName.equals(setName.getSelectedItem()))
1830 if (curSetName != null)
1832 argSetModified(setName, true);
1840 private void checkDescrModified()
1847 (lastDescrText == null ? setDescr.getText().trim().length() > 0
1848 : !setDescr.getText().equals(lastDescrText)));
1853 public void insertUpdate(DocumentEvent e)
1855 checkDescrModified();
1858 public void removeUpdate(DocumentEvent e)
1860 checkDescrModified();
1863 public void changedUpdate(DocumentEvent e)
1865 checkDescrModified();
1868 public Preset getPreset()
1870 if (isUserPreset || isModified()
1871 || (lastParmSet != null && lastParmSet.equals(SVC_DEF)))
1880 return (Preset) service.getPresets().getPresetByName(lastParmSet);
1881 } catch (Exception e)
1883 e.printStackTrace();