package jalview.gui; import java.awt.BorderLayout; import java.awt.Color; import java.awt.Component; import java.awt.Dimension; import java.awt.FlowLayout; import java.awt.Font; import java.awt.GridLayout; import java.awt.Rectangle; import java.awt.event.ActionEvent; import java.awt.event.ActionListener; import java.awt.event.ComponentEvent; import java.awt.event.ComponentListener; import java.awt.event.ContainerEvent; import java.awt.event.ContainerListener; import java.awt.event.ItemEvent; import java.awt.event.ItemListener; import java.awt.event.KeyEvent; import java.awt.event.KeyListener; import java.awt.event.MouseEvent; import java.awt.event.MouseListener; import java.awt.event.WindowEvent; import java.awt.event.WindowListener; import java.awt.event.WindowStateListener; import java.net.URL; import java.util.ArrayList; import java.util.EventObject; import java.util.HashSet; import java.util.Hashtable; import java.util.Iterator; import java.util.List; import java.util.Map; import java.util.Vector; import javax.swing.JButton; import javax.swing.JCheckBox; import javax.swing.JComboBox; import javax.swing.JComponent; import javax.swing.JDialog; import javax.swing.JFrame; import javax.swing.JLabel; import javax.swing.JList; import javax.swing.JMenuItem; import javax.swing.JOptionPane; import javax.swing.JPanel; import javax.swing.JPopupMenu; import javax.swing.JScrollPane; import javax.swing.JSlider; import javax.swing.JSplitPane; import javax.swing.JTable; import javax.swing.JTextArea; import javax.swing.JTextField; import javax.swing.ListSelectionModel; import javax.swing.SwingConstants; import javax.swing.SwingUtilities; import javax.swing.border.TitledBorder; import javax.swing.event.CellEditorListener; import javax.swing.event.ChangeEvent; import javax.swing.event.ChangeListener; import javax.swing.event.DocumentEvent; import javax.swing.event.DocumentListener; import javax.swing.table.*; import compbio.metadata.Argument; import compbio.metadata.Option; import compbio.metadata.Parameter; import compbio.metadata.Preset; import compbio.metadata.PresetManager; import compbio.metadata.RunnerConfig; import compbio.metadata.ValueConstrain; import compbio.metadata.WrongParameterException; import compbio.metadata.ValueConstrain.Type; import jalview.util.jarInputStreamProvider; import jalview.ws.jws2.Jws2Discoverer; import jalview.ws.jws2.ParameterUtils; import jalview.ws.jws2.Jws2Discoverer.Jws2Instance; /** * job parameter editing/browsing dialog box. User can browse existing settings * (user + presets + Defaults), and any changes to parameters creates a modified * user parameter set. LOGIC: If the parameter set is modified, and its name is * a valid, non-existant user parameter set, then a save button is shown. If the * parameter set is modified and its name is a valid, extant user parameter set, * then an update button is shown. If user parameter set's name is edited, and * old name exists as a writable user parameter set, then rename button is * shown. If current parameter set is associated with a user defined parameter * set, then : if set is modifed, a 'revert' button is shown. if set is not * modified, a 'delete' button is shown. * * @author JimP * */ public class WsJobParameters extends JPanel implements ItemListener, ActionListener, DocumentListener { private static final String SVC_DEF = "Defaults"; // this is the null // parameter set as shown to // user private static final int PARAM_WIDTH = 340, PARAM_HEIGHT = 150, PARAM_CLOSEDHEIGHT = 80; private static final int OPTSET_HEIGHT = 30; JPanel SetNamePanel = new JPanel(); JPanel setDetails = new JPanel(); JSplitPane settingsPanel = new JSplitPane(); JSplitPane jobPanel = new JSplitPane(); JPanel jobOptions = new JPanel(); JScrollPane jobOptionsPane = new JScrollPane(); JPanel jobParameters = new JPanel(); JButton createpref = new JButton(); JButton deletepref = new JButton(); JButton revertpref = new JButton(); JButton updatepref = new JButton(); JButton startjob = new JButton(); JButton canceljob = new JButton(); JComboBox setName = new JComboBox(); JTextArea setDescr = new JTextArea(); JScrollPane paramPane = new JScrollPane(); // JList paramList = new JList(); JPanel paramList = new JPanel(); RunnerConfig serviceOptions; private BorderLayout jparamLayout; WsJobParameters(Jws2Instance service) { this(service, null); } public WsJobParameters(Jws2Instance service, Preset p) { this(null, service, p, null); } /** * * @param desktop * - if null, create new JFrame outside of desktop * @param service * @param p */ public WsJobParameters(JFrame parent, Jws2Instance service, Preset p, List jobArgset) { super(); jbInit(); // argSetModified(false); // populate parameter table initForService(service, p, jobArgset); // display in new JFrame attached to parent. validate(); } int response = -1; JDialog frame = null; /** * shows a modal dialog containing the parameters. * * @return */ public boolean showRunDialog() { frame = new JDialog(Desktop.instance, true); frame.setTitle("Edit parameters for " + service.getActionText()); Rectangle deskr = Desktop.instance.getBounds(); frame.setBounds(new Rectangle((int) (deskr.getCenterX() - 240), (int) (deskr.getCenterY() - 250), 480, 500)); frame.setContentPane(this); // should recover defaults from user prefs. frame.validate(); settingsPanel.setDividerLocation(0.4); jobPanel.setDividerLocation(0.3); frame.setVisible(true); if (response > 0) { return true; } return false; } protected JButton makeButton(String label, String tooltip, ActionListener action) { JButton button = new JButton(); button.setText(label); button.setFont(new java.awt.Font("Verdana", Font.PLAIN, 10)); button.setForeground(Color.black); button.setHorizontalAlignment(SwingConstants.CENTER); button.setToolTipText(tooltip); button.addActionListener(action); return button; } private void jbInit() { updatepref = makeButton("Update", "Update the stored user preference", new ActionListener() { public void actionPerformed(ActionEvent e) { update_actionPerformed(e); } }); deletepref = makeButton("Delete", "Delete the user preference", new ActionListener() { public void actionPerformed(ActionEvent e) { delete_actionPerformed(e); } }); createpref = makeButton("Create", "Create a new preference", new ActionListener() { public void actionPerformed(ActionEvent e) { create_actionPerformed(e); } }); revertpref = makeButton("Revert", "Undo all changes to the current set", new ActionListener() { public void actionPerformed(ActionEvent e) { revert_actionPerformed(e); } }); startjob.setFont(new java.awt.Font("Verdana", Font.PLAIN, 10)); startjob.setText("Start"); startjob.setToolTipText("Start Job"); startjob.addActionListener(new ActionListener() { public void actionPerformed(ActionEvent e) { startjob_actionPerformed(e); } }); canceljob.setFont(new java.awt.Font("Verdana", Font.PLAIN, 10)); canceljob.setText("Cancel"); canceljob.setToolTipText("Cancel Job"); canceljob.addActionListener(new ActionListener() { public void actionPerformed(ActionEvent e) { canceljob_actionPerformed(e); } }); setDetails.setBorder(new TitledBorder("Details")); setDetails.setLayout(new BorderLayout()); setDescr.setColumns(40); setDescr.setWrapStyleWord(true); setDescr.setLineWrap(true); setDescr.setBackground(getBackground()); setDescr.setEditable(true); setDescr.getDocument().addDocumentListener(this); JScrollPane setDescrView = new JScrollPane(); // setDescrView.setPreferredSize(new Dimension(350, 200)); setDescrView.getViewport().setView(setDescr); setName.setEditable(true); setName.addItemListener(this); setName.getEditor().addActionListener(this); JPanel setNameInfo = new JPanel(new FlowLayout(FlowLayout.LEFT)); SetNamePanel.setLayout(new GridLayout(2, 1)); SetNamePanel.setMinimumSize(new Dimension(300, 40)); JLabel setNameLabel = new JLabel("Parameter set: "); setNameLabel.setFont(new java.awt.Font("Verdana", Font.PLAIN, 10)); // setNameLabel.setHorizontalAlignment(FlowLayout.LEFT); setNameInfo.add(setNameLabel); setNameInfo.add(setName); // initial button visibility updatepref.setVisible(false); deletepref.setVisible(false); revertpref.setVisible(false); createpref.setVisible(false); JPanel setsavebuts = new JPanel(); setsavebuts.setLayout(new FlowLayout(FlowLayout.LEFT)); // GridLayout(1,2)); ((FlowLayout) setsavebuts.getLayout()).setHgap(10); ((FlowLayout) setsavebuts.getLayout()).setVgap(0); setsavebuts.add(deletepref); setsavebuts.add(revertpref); setsavebuts.add(createpref); setsavebuts.add(updatepref); setsavebuts.setSize(new Dimension(150, 20)); JPanel buttonArea = new JPanel(new GridLayout(1, 1)); buttonArea.add(setsavebuts); SetNamePanel.add(setNameInfo); SetNamePanel.add(buttonArea); setDetails.add(setDescrView, BorderLayout.CENTER); // setDetails.setPreferredSize(new Dimension(360, 100)); jobParameters.setBorder(new TitledBorder("Parameters")); jobParameters.setLayout(jparamLayout = new BorderLayout()); paramPane.setPreferredSize(new Dimension(360, 300)); paramPane.getVerticalScrollBar().setUnitIncrement(20); // paramPanel.setPreferredSize(new Dimension(360, 300)); // TODO: relayout buttons nicely paramPane.getViewport().setView(paramList); jobParameters.add(paramPane, BorderLayout.CENTER); JPanel jobOptionsPanel = new JPanel(); jobOptionsPanel.setLayout(new BorderLayout()); jobOptionsPanel.setBorder(new TitledBorder("Options")); jobOptionsPane.getViewport().setView(jobOptions); jobOptionsPanel.add(jobOptionsPane, BorderLayout.CENTER); settingsPanel.setLeftComponent(jobOptionsPanel); settingsPanel.setRightComponent(jobParameters); settingsPanel.setOrientation(JSplitPane.VERTICAL_SPLIT); setLayout(new BorderLayout()); // setPreferredSize(new Dimension(400, 600)); // setSize(new Dimension(400, 600)); jobPanel.setLeftComponent(setDetails); jobPanel.setRightComponent(settingsPanel); jobPanel.setOrientation(JSplitPane.VERTICAL_SPLIT); add(SetNamePanel, BorderLayout.NORTH); add(jobPanel, BorderLayout.CENTER); JPanel dialogpanel = new JPanel(); dialogpanel.add(startjob); dialogpanel.add(canceljob); add(dialogpanel, BorderLayout.SOUTH); } protected void revert_actionPerformed(ActionEvent e) { reInitDialog(lastParmSet); } protected void update_actionPerformed(ActionEvent e) { if (isUserPreset) { String curname = ((String) setName.getSelectedItem()).trim(); if (curname.length() > 0 && !curname.equals(lastParmSet)) { _deleteUserPreset(lastParmSet); } _storeCurrentPreset(curname); lastParmSet = curname; isUserPreset = true; initArgSetModified(); syncSetNamesWithStore(); } } protected void delete_actionPerformed(ActionEvent e) { if (isUserPreset) { // delete current preset's saved entry _deleteUserPreset(lastParmSet); } reInitDialog(null); // service default } protected void create_actionPerformed(ActionEvent e) { String curname = ((String) setName.getSelectedItem()).trim(); if (curname.length() > 0) { _storeCurrentPreset(curname); lastParmSet = curname; isUserPreset = true; initArgSetModified(); } else { // TODO: show warning System.err.println("Invalid name. Not saved."); } } protected void canceljob_actionPerformed(ActionEvent e) { response = 0; if (frame != null) { frame.setVisible(false); } } protected void startjob_actionPerformed(ActionEvent e) { response = 1; if (frame != null) { frame.setVisible(false); } } Jws2Instance service; /** * list of service presets in the gui */ Hashtable servicePresets = null; /** * set if dialog is being set - so handlers will avoid spurious events */ boolean settingDialog = false; void initForService(Jws2Instance service, Preset p, List jobArgset) { settingDialog = true; this.service = service; // TODO: Recover window geometry prefs for this service // jobPanel.setDividerLocation(proportionalLocation) // settingsPanel.setDividerLocation(proportionalLocation) Hashtable exnames = new Hashtable(); for (int i = 0, iSize = setName.getItemCount(); i < iSize; i++) { exnames.put((String) setName.getItemAt(i), setName.getItemAt(i)); } // Add the default entry - if not present already. if (!exnames.contains(SVC_DEF)) { setName.addItem(SVC_DEF); exnames.put(SVC_DEF, SVC_DEF); } serviceOptions = service.getRunnerConfig(); // add any presets not already added. String curname = (p == null ? "" : p.getName()); PresetManager prman = service.getPresets(); servicePresets = new Hashtable(); if (prman != null) { List prList = service.getPresets().getPresets(); if (prList != null) { for (Object pr : prList) { servicePresets.put(((Preset) pr).getName(), "preset"); if (!exnames.contains(((Preset) pr).getName())) { setName.addItem(((Preset) pr).getName()); } } } } // TODO: if initial jobArgset matches a given user setting or preset then // should recover setting accordingly // updateTable(p, jobArgset); if (p != null) { reInitDialog(p.getName()); initArgSetModified(); } else { if (jobArgset != null && jobArgset.size() > 0) { curSetName = "Supplied Settings"; updateTable(p, jobArgset); } else { curSetName = null; reInitDialog(null); } } settingDialog = false; } @SuppressWarnings("unchecked") private void updateTable(Preset p, List jobArgset) { List setargs = new ArrayList(); // populate table from default parameter set. List args = serviceOptions.getArguments(); // split to params and required arguments { for (Argument arg : args) { Argument myarg = (Argument) arg; // Ideally, Argument would implement isRequired ! if (myarg instanceof Parameter) { Parameter parm = (Parameter) myarg; addParameter(parm); } else { if (myarg instanceof Option) { Option opt = (Option) myarg; addOption(opt).resetToDefault(); } else { System.err.println("Ignoring unknown service argument type " + arg.getClass().getName()); } } } args = null; // no more args to process. } if (p != null) { isUserPreset = false; // initialise setname setName.setSelectedItem(lastSetName = p.getName()); setDescr.setText(lastDescrText = p.getDescription()); // TODO - URL link try { args = p.getArguments(serviceOptions); } catch (Exception e) { e.printStackTrace(); } // TODO: check if args should be unselected prior to resetting using the // preset setargs.clear(); } else { if (lastParmSet == null) { isUserPreset = false; // first call - so create a dummy name setName.setSelectedItem(lastSetName = SVC_DEF); } } if (jobArgset != null) { argSetModified(jobArgset, true); args = jobArgset; } // get setargs from current object if (args != null) { for (Argument arg : args) { if (arg instanceof Parameter) { setParameter((Parameter) arg); } else { if (arg instanceof Option) { // System.out.println("Setting option " // + System.identityHashCode(arg) + ":" + arg.getName() // + " with " + arg.getDefaultValue()); selectOption((Option) arg, arg.getDefaultValue()); } } } } jobOptions.setPreferredSize(new Dimension(PARAM_WIDTH, optSet.size() * OPTSET_HEIGHT)); jobOptions.setLayout(new GridLayout(optSet.size(), 1)); refreshParamLayout(); paramPane.validate(); revalidate(); } private boolean isModified() { return modifiedElements.size() > 0; } private Hashtable modifiedElements = new Hashtable(); /** * reset gui and modification state settings */ private void initArgSetModified() { curSetName = null; modifiedElements.clear(); updateButtonDisplay(); } private void updateButtonDisplay() { boolean _update = false, _create = false, _delete = false, _revert = false; if (modifiedElements.size() > 0) { // set modified _revert = true; _update = isUserPreset; // can only update user presets if (!isUserPreset || modifiedElements.containsKey(setName)) { // name modified - can create new preset _create = true; } } else { // set unmodified } // can still delete a user preset _delete = isUserPreset; createpref.setVisible(_create); updatepref.setVisible(_update); deletepref.setVisible(_delete); revertpref.setVisible(_revert); validate(); } private void argSetModified(Object modifiedElement, boolean b) { if (settingDialog) { return; } if (!b) { modifiedElements.remove(modifiedElement); } else { modifiedElements.put(modifiedElement, modifiedElement); } // set mod status based on presence of elements in table if (b && modifiedElements.size() > 0) { makeSetNameValid(!isUserPreset); SetNamePanel.revalidate(); } updateButtonDisplay(); } private boolean isServicePreset(String selectedItem) { return selectedItem.equals(SVC_DEF) || servicePresets.containsKey(selectedItem); } /** * check if the current set name is a valid set name for saving, if not, then * fix it. */ private void makeSetNameValid(boolean newuserset) { boolean stn = settingDialog; boolean renamed = false; settingDialog = true; String nm = (String) setName.getSelectedItem(); // check if the name is reserved - if it is, rename it. if (isServicePreset(nm)) { nm = "User " + nm; renamed = true; } String tnm = nm; if (newuserset) { int i = 0; while (_getUserPreset(tnm) != null) { tnm = nm + " (" + (++i) + ")"; renamed = true; } if (i > 0) { nm = tnm; } } boolean makeupdate = false; // sync the gui with the preset database for (int i = 0, iS = setName.getItemCount(); i < iS; i++) { String snm = (String) setName.getItemAt(i); if (snm.equals(nm)) { makeupdate = true; // setName.setSelectedIndex(i); } } if (!makeupdate) { setName.addItem(curSetName = nm); setName.setSelectedItem(curSetName); } if (renamed) { settingDialog = false; // we need this name change to be registered. argSetModified(setName, renamed); } settingDialog = stn; } private void addParameter(Parameter parm) { ParamBox pb = paramSet.get(parm.getName()); if (pb == null) { pb = new ParamBox(this, parm); paramSet.put(parm.getName(), pb); paramList.add(pb); } pb.init(); // take the defaults from the parameter pb.updateControls(parm); } private void setParameter(Parameter arg) { ParamBox pb = paramSet.get(arg.getName()); if (pb == null) { addParameter(arg); } else { pb.updateControls(arg); } } private void selectOption(Option opt, String string) { OptionBox cb = optSet.get(opt.getName()); if (cb == null) { cb = addOption(opt); } cb.enabled.setSelected(string != null); // initial state for an option. if (string != null) { if (opt.getPossibleValues().contains(string)) { cb.val.setSelectedItem(string); } else { throw new Error("Invalid value " + string + " for option " + opt); } } if (opt.isRequired() && !cb.enabled.isSelected()) { // TODO: indicate paramset is not valid.. option needs to be selected! } cb.setInitialValue(); } Map paramSet = new Hashtable(); public class ParamBox extends JPanel implements ChangeListener, ActionListener, MouseListener { JButton showDesc = new JButton(); JTextArea string = new JTextArea(); JScrollPane descPanel = new JScrollPane(); JSlider slider = null; JTextField valueField = null; ValueConstrain validator = null; JPanel settingPanel = new JPanel(); JPanel controlPanel = new JPanel(); boolean integ = false; boolean choice = false; boolean descisvisible = false; final WsJobParameters pmdialogbox; final URL finfo; public ParamBox(final WsJobParameters pmlayout, Parameter parm) { pmdialogbox = pmlayout; setPreferredSize(new Dimension(PARAM_WIDTH, PARAM_CLOSEDHEIGHT)); setBorder(new TitledBorder(parm.getName())); setLayout(null); showDesc.setFont(new Font("Verdana", Font.PLAIN, 6)); showDesc.setText("+"); string.setFont(new Font("Verdana", Font.PLAIN, 11)); string.setBackground(getBackground()); // string.setSize(new Dimension(PARAM_WIDTH, 80)); string.setEditable(false); descPanel.getViewport().setView(string); // descPanel.setLocation(2,17); descPanel.setVisible(false); // string.setMinimumSize(new Dimension(140,80)); // string.setMaximumSize(new Dimension(280,80)); final ParamBox me = this; finfo = parm.getFurtherDetails(); if (finfo != null) { showDesc.setToolTipText("

Click to show brief description, and right click to open link for further information.

"); showDesc.addMouseListener(this); } else { showDesc.setToolTipText("

Click to show brief description.

"); } showDesc.addActionListener(new ActionListener() { public void actionPerformed(ActionEvent e) { descisvisible = !descisvisible; descPanel.setVisible(descisvisible); me.setPreferredSize(new Dimension(PARAM_WIDTH, (descisvisible) ? PARAM_HEIGHT : PARAM_CLOSEDHEIGHT)); me.validate(); pmlayout.refreshParamLayout(); } }); string.setWrapStyleWord(true); string.setLineWrap(true); string.setColumns(32); string.setText(parm.getDescription()); JPanel firstrow = new JPanel(); firstrow.setLayout(null); controlPanel.setLayout(new BorderLayout()); controlPanel.setBounds(new Rectangle(39, 10, PARAM_WIDTH - 70, PARAM_CLOSEDHEIGHT - 50)); showDesc.setBounds(new Rectangle(10, 10, 16, 16)); firstrow.add(showDesc); firstrow.add(controlPanel); firstrow.setBounds(new Rectangle(10, 20, PARAM_WIDTH - 30, PARAM_CLOSEDHEIGHT - 30)); add(firstrow); validator = parm.getValidValue(); parameter = parm; if (validator != null) { integ = validator.getType() == Type.Integer; } else { if (parameter.getPossibleValues() != null) { choice = true; } } updateControls(parm); descPanel.setBounds(new Rectangle(10, PARAM_CLOSEDHEIGHT, PARAM_WIDTH - 20, PARAM_HEIGHT - PARAM_CLOSEDHEIGHT - 5)); add(descPanel); validate(); } public void init() { // reset the widget's initial value. lastVal = null; } boolean adjusting = false; Parameter parameter; JComboBox choicebox; public int getBoxHeight() { return (descisvisible ? PARAM_HEIGHT : PARAM_CLOSEDHEIGHT); } public void updateControls(Parameter parm) { adjusting = true; boolean init = (choicebox == null && valueField == null); float fVal = 0f; int iVal = 0; if (init) { if (choice) { choicebox = new JComboBox(); choicebox.addActionListener(this); controlPanel.add(choicebox, BorderLayout.CENTER); } else { slider = new JSlider(); slider.addChangeListener(this); valueField = new JTextField(); valueField.addActionListener(this); valueField.setPreferredSize(new Dimension(60, 25)); controlPanel.add(slider, BorderLayout.WEST); controlPanel.add(valueField, BorderLayout.EAST); } } if (parm != null) { if (choice) { if (init) { List vals = parm.getPossibleValues(); for (Object val : vals) { choicebox.addItem(val); } } if (parm.getDefaultValue() != null) { choicebox.setSelectedItem(parm.getDefaultValue()); } } else { valueField.setText(parm.getDefaultValue()); } } lastVal = updateSliderFromValueField(); adjusting = false; } Object lastVal; public Parameter getParameter() { Parameter prm = ParameterUtils.copyParameter(parameter); try { if (choice) { prm.setDefaultValue((String) choicebox.getSelectedItem()); } else { prm.setDefaultValue(valueField.getText()); } } catch (WrongParameterException e) { e.printStackTrace(); return null; } return prm; } public Object updateSliderFromValueField() { int iVal; float fVal; if (validator != null) { if (integ) { iVal = 0; try { valueField.setText(valueField.getText().trim()); iVal = Integer.valueOf(valueField.getText()); } catch (Exception e) { } ; if (validator.getMin() != null && validator.getMax() != null) { slider.getModel().setRangeProperties(iVal, 1, validator.getMin().intValue(), validator.getMax().intValue(), true); } else { slider.setVisible(false); } return new int[] { iVal }; } else { fVal = 0f; try { fVal = Float.valueOf(valueField.getText()); } catch (Exception e) { } ; if (validator.getMin() != null && validator.getMax() != null) { slider.getModel().setRangeProperties((int) fVal * 1000, 1, (int) validator.getMin().floatValue() * 1000, (int) validator.getMax().floatValue() * 1000, true); } else { slider.setVisible(false); } return new float[] { fVal }; } } else { if (!choice) { slider.setVisible(false); return new String[] { valueField.getText().trim() }; } else { return new String[] { (String) choicebox.getSelectedItem() }; } } } public void stateChanged(ChangeEvent e) { if (!adjusting) { valueField.setText("" + ((integ) ? ("" + (int) slider.getValue()) : ("" + (float) (slider.getValue() / 1000f)))); checkIfModified(); } } public void actionPerformed(ActionEvent e) { if (adjusting) { return; } if (!choice) { updateSliderFromValueField(); } checkIfModified(); } private void checkIfModified() { Object cstate = updateSliderFromValueField(); boolean notmod = false; if (cstate.getClass() == lastVal.getClass()) { if (cstate instanceof int[]) { notmod = (((int[]) cstate)[0] == ((int[]) lastVal)[0]); } else if (cstate instanceof float[]) { notmod = (((float[]) cstate)[0] == ((float[]) lastVal)[0]); } else if (cstate instanceof String[]) { notmod = (((String[]) cstate)[0].equals(((String[]) lastVal)[0])); } } pmdialogbox.argSetModified(this, !notmod); } public void mouseClicked(MouseEvent e) { if (javax.swing.SwingUtilities.isRightMouseButton(e)) { Desktop.showUrl(finfo.toString()); } } public void mousePressed(MouseEvent e) { // TODO Auto-generated method stub } public void mouseReleased(MouseEvent e) { // TODO Auto-generated method stub } public void mouseEntered(MouseEvent e) { // TODO Auto-generated method stub } public void mouseExited(MouseEvent e) { // TODO Auto-generated method stub } } Map optSet = new Hashtable(); public class OptionBox extends JPanel implements MouseListener, ActionListener { JComboBox val = new JComboBox(); JCheckBox enabled = new JCheckBox(); JLabel optlabel = new JLabel(); URL linkImageURL = getClass().getResource("/images/link.gif"); final URL finfo; boolean hasLink = false; Option option; public OptionBox(Option opt) { option = opt; setLayout(new BorderLayout()); enabled.setSelected(opt.isRequired()); // TODO: lock required options enabled.setFont(new Font("Verdana", Font.PLAIN, 11)); enabled.setText(""); enabled.setText(opt.getName()); enabled.addActionListener(this); finfo = option.getFurtherDetails(); if (finfo != null) { hasLink = true; // optlabel.setToolTipText("

"+opt.getDescription()+"

"); enabled.setToolTipText("

" + opt.getDescription() + "

"); // optlabel.addMouseListener(this); enabled.addMouseListener(this); } else { // optlabel.setToolTipText(opt.getDescription()); enabled.setToolTipText(opt.getDescription()); } add(enabled, BorderLayout.NORTH); if (opt.getPossibleValues().size() > 1) { setLayout(new GridLayout(1, 2)); for (Object str : opt.getPossibleValues()) { val.addItem((String) str); } val.setSelectedItem((String) opt.getDefaultValue()); val.addActionListener(this); add(val, BorderLayout.SOUTH); } // TODO: add actionListeners for popup (to open further info), // and to update list of parameters if an option is enabled // that takes a value. setInitialValue(); } public void resetToDefault() { enabled.setSelected(false); if (option.isRequired()) { // Apply default value selectOption(option, option.getDefaultValue()); } } boolean initEnabled = false; String initVal = null; public void setInitialValue() { initEnabled = enabled.isSelected(); if (option.getPossibleValues() != null && option.getPossibleValues().size() > 1) { initVal = (String) val.getSelectedItem(); } else { initVal = (initEnabled) ? option.getDefaultValue() : null; } } public Option getOptionIfEnabled() { if (!enabled.isSelected()) { return null; } Option opt = null; try { opt = jalview.ws.jws2.ParameterUtils.copyOption(option); if (val.getSelectedItem() != null) { opt.setDefaultValue((String) val.getSelectedItem()); } } catch (WrongParameterException e) { e.printStackTrace(); return null; } return opt; } public void actionPerformed(ActionEvent e) { if (e.getSource() != enabled) { enabled.setSelected(true); } checkIfModified(); } private void checkIfModified() { boolean notmod = (initEnabled == enabled.isSelected()); if (enabled.isSelected()) { if (initVal != null) { notmod &= initVal.equals(val.getSelectedItem()); } else { // compare against default service setting notmod &= option.getDefaultValue() == null || option.getDefaultValue().equals(val.getSelectedItem()); } } else { notmod &= initVal == null; } argSetModified(this, !notmod); } public void mouseClicked(MouseEvent e) { if (javax.swing.SwingUtilities.isRightMouseButton(e)) { showUrlPopUp(this, finfo.toString(), e.getX(), e.getY()); } } public void mousePressed(MouseEvent e) { // TODO Auto-generated method stub } public void mouseReleased(MouseEvent e) { // TODO Auto-generated method stub } public void mouseEntered(MouseEvent e) { // TODO Auto-generated method stub } public void mouseExited(MouseEvent e) { // TODO Auto-generated method stub } } private OptionBox addOption(Option opt) { OptionBox cb = optSet.get(opt.getName()); if (cb == null) { cb = new OptionBox(opt); optSet.put(opt.getName(), cb); jobOptions.add(cb); } return cb; } public static void showUrlPopUp(JComponent invoker, final String finfo, int x, int y) { JPopupMenu mnu = new JPopupMenu(); JMenuItem mitem = new JMenuItem("View " + finfo); mitem.addActionListener(new ActionListener() { @Override public void actionPerformed(ActionEvent e) { Desktop.showUrl(finfo); } }); mnu.add(mitem); mnu.show(invoker, x, y); } protected void refreshParamLayout() { FlowLayout fl = new FlowLayout(); paramList.setLayout(fl); int s = 2 * fl.getVgap(); for (ParamBox pbox : paramSet.values()) { s += fl.getVgap() + pbox.getBoxHeight(); // getBoxHeight(); } paramList.setPreferredSize(new Dimension(PARAM_WIDTH, s)); validate(); } /** * testing method - grab a service and parameter set and show the window * * @param args */ public static void main(String[] args) { jalview.ws.jws2.Jws2Discoverer disc = jalview.ws.jws2.Jws2Discoverer .getDiscoverer(); int p = 0; if (args.length > 3) { Vector services = new Vector(); services.addElement(args[p++]); Jws2Discoverer.setServiceUrls(services); } try { disc.run(); } catch (Exception e) { System.err.println("Aborting. Problem discovering services."); e.printStackTrace(); return; } Jws2Discoverer.Jws2Instance lastserv = null; for (Jws2Discoverer.Jws2Instance service : disc.getServices()) { lastserv = service; if (p >= args.length || service.serviceType.equalsIgnoreCase(args[p])) { if (lastserv != null) { List prl = null; Preset pr = null; if (++p < args.length) { PresetManager prman = lastserv.getPresets(); if (prman != null) { pr = prman.getPresetByName(args[p]); if (pr == null) { // just grab the last preset. prl = prman.getPresets(); } } } else { PresetManager prman = lastserv.getPresets(); if (prman != null) { prl = prman.getPresets(); } } Iterator en = (prl == null) ? null : prl.iterator(); while (en != null && en.hasNext()) { if (en != null) { if (!en.hasNext()) { en = prl.iterator(); } pr = en.next(); } { System.out.println("Testing opts dupes for " + lastserv.getHost() + " : " + lastserv.getActionText() + ":" + pr.getName()); List