X-Git-Url: http://source.jalview.org/gitweb/?a=blobdiff_plain;f=src%2Fjalview%2Fgui%2FWsJobParameters.java;h=7c665a3f5b667c228125490eb14d87ef9466f94f;hb=865a855a4ca87eadb3e5ff284ed32ed307d9c34b;hp=e639b41954576382dc10b75fdabb5b1ebdfa2037;hpb=1cc07f96279fa63ebaab79ff42d37e981da6c95f;p=jalview.git diff --git a/src/jalview/gui/WsJobParameters.java b/src/jalview/gui/WsJobParameters.java index e639b41..7c665a3 100644 --- a/src/jalview/gui/WsJobParameters.java +++ b/src/jalview/gui/WsJobParameters.java @@ -1,60 +1,73 @@ +/* + * Jalview - A Sequence Alignment Editor and Viewer (Version 2.8.0b1) + * Copyright (C) 2014 The Jalview Authors + * + * 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 . + * The Jalview Authors are detailed in the 'AUTHORS' file. + */ package jalview.gui; +import jalview.gui.OptsAndParamsPage.OptionBox; +import jalview.gui.OptsAndParamsPage.ParamBox; +import jalview.ws.jws2.JabaParamStore; +import jalview.ws.jws2.JabaPreset; +import jalview.ws.jws2.Jws2Discoverer; +import jalview.ws.jws2.jabaws2.Jws2Instance; +import jalview.ws.params.ArgumentI; +import jalview.ws.params.OptionI; +import jalview.ws.params.ParamDatastoreI; +import jalview.ws.params.ParameterI; +import jalview.ws.params.WsParamSetI; + 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.GridBagConstraints; +import java.awt.GridBagLayout; 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.HierarchyBoundsListener; +import java.awt.event.HierarchyEvent; 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.util.ArrayList; -import java.util.EventObject; -import java.util.HashSet; +import java.net.URL; 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.JDialog; import javax.swing.JFrame; import javax.swing.JLabel; -import javax.swing.JList; import javax.swing.JOptionPane; import javax.swing.JPanel; 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.table.*; +import javax.swing.event.DocumentEvent; +import javax.swing.event.DocumentListener; + +import net.miginfocom.swing.MigLayout; import compbio.metadata.Argument; import compbio.metadata.Option; @@ -62,36 +75,63 @@ 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.ws.jws2.Jws2Discoverer; -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 + ActionListener, DocumentListener, OptsParametersContainerI { - private static final int PARAM_WIDTH = 340, PARAM_HEIGHT = 150, - PARAM_CLOSEDHEIGHT = 80; + URL linkImageURL = getClass().getResource("/images/link.gif"); + + private static final String SVC_DEF = "Defaults"; // this is the null + // parameter set as shown to + // user + + /** + * manager for options and parameters. + */ + OptsAndParamsPage opanp = new OptsAndParamsPage(this); + + /** + * panel containing job options + */ + JPanel jobOptions = new JPanel(); + + /** + * panel containing job parameters + */ + JPanel paramList = new JPanel(); - 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(); + JPanel jobPanel = new JPanel(); JScrollPane jobOptionsPane = new JScrollPane(); - JPanel jobParameters = new JPanel(); + JButton createpref = new JButton(); - JButton savmodified = new JButton(); + JButton deletepref = new JButton(); - JButton renmodified = new JButton(); + JButton revertpref = new JButton(); + + JButton updatepref = new JButton(); JButton startjob = new JButton(); @@ -103,21 +143,23 @@ public class WsJobParameters extends JPanel implements ItemListener, JScrollPane paramPane = new JScrollPane(); - // JList paramList = new JList(); - JPanel paramList = new JPanel(); + // ScrollablePanel optsAndparams = new ScrollablePanel(); + JPanel optsAndparams = new JPanel(); RunnerConfig serviceOptions; - private BorderLayout jparamLayout; + ParamDatastoreI paramStore; + + private int MAX_OPTWIDTH = 200; WsJobParameters(Jws2Instance service) { this(service, null); } - public WsJobParameters(Jws2Instance service, Preset p) + public WsJobParameters(Jws2Instance service, WsParamSetI preset) { - this(null, service, p, null); + this(null, service, preset, null); } /** @@ -125,16 +167,36 @@ public class WsJobParameters extends JPanel implements ItemListener, * @param desktop * - if null, create new JFrame outside of desktop * @param service - * @param p + * @param preset */ - public WsJobParameters(JFrame parent, Jws2Instance service, Preset p, - List jobArgset) + public WsJobParameters(JFrame parent, Jws2Instance service, + WsParamSetI preset, List jobArgset) + { + this(parent, null, service, preset, jobArgset); + } + + /** + * + * @param parent + * @param paramStorei + * @param service + * @param preset + * @param jobArgset + */ + public WsJobParameters(JFrame parent, ParamDatastoreI paramStorei, + Jws2Instance service, WsParamSetI preset, List jobArgset) { super(); jbInit(); + this.paramStore = paramStorei; + if (paramStore == null) + { + paramStore = service.getParamStore(); + } + this.service = service; // argSetModified(false); // populate parameter table - initForService(service, p, jobArgset); + initForService(service, preset, jobArgset); // display in new JFrame attached to parent. validate(); } @@ -143,6 +205,11 @@ public class WsJobParameters extends JPanel implements ItemListener, JDialog frame = null; + /** + * shows a modal dialog containing the parameters. + * + * @return + */ public boolean showRunDialog() { @@ -150,10 +217,24 @@ public class WsJobParameters extends JPanel implements ItemListener, frame.setTitle("Edit parameters for " + service.getActionText()); Rectangle deskr = Desktop.instance.getBounds(); - frame.setBounds(new Rectangle((int) (deskr.getCenterX() - 240), - (int) (deskr.getCenterY() - 92), 380, 385)); + Dimension pref = this.getPreferredSize(); + frame.setBounds(new Rectangle( + (int) (deskr.getCenterX() - pref.width / 2), (int) (deskr + .getCenterY() - pref.height / 2), pref.width, + pref.height)); frame.setContentPane(this); + // should perhaps recover defaults from user prefs. + + frame.validate(); + javax.swing.SwingUtilities.invokeLater(new Runnable() + { + public void run() + { + // jobPanel.setDividerLocation(0.25); + + } + }); frame.setVisible(true); if (response > 0) @@ -165,53 +246,78 @@ public class WsJobParameters extends JPanel implements ItemListener, private void jbInit() { - savmodified.setText("Save"); - savmodified.setToolTipText("Not implemented yet :) "); - savmodified.setFont(new java.awt.Font("Verdana", Font.PLAIN, 10)); - savmodified.setForeground(Color.red); - savmodified.setHorizontalAlignment(SwingConstants.RIGHT); - savmodified.addActionListener(new ActionListener() + this.addHierarchyBoundsListener(new HierarchyBoundsListener() { - public void actionPerformed(ActionEvent e) + @Override + public void ancestorResized(HierarchyEvent arg0) { - savModified_actionPerformed(e); + refreshParamLayout(); } - }); - renmodified.setText("Rename"); - renmodified.setToolTipText("Not implemented yet :) "); - renmodified.setFont(new java.awt.Font("Verdana", Font.PLAIN, 10)); - renmodified.setForeground(Color.red); - renmodified.setHorizontalAlignment(SwingConstants.CENTER); - renmodified.addActionListener(new ActionListener() - { - public void actionPerformed(ActionEvent e) + @Override + public void ancestorMoved(HierarchyEvent arg0) { - renModified_actionPerformed(e); - } - }); - renmodified.setVisible(false); - 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); + // TODO Auto-generated method stub + } }); + updatepref = JvSwingUtils.makeButton("Update", + "Update this existing user parameter set.", + new ActionListener() + { + + public void actionPerformed(ActionEvent e) + { + update_actionPerformed(e); + } + }); + deletepref = JvSwingUtils.makeButton("Delete", + "Delete the currently selected user parameter set.", + new ActionListener() + { + + public void actionPerformed(ActionEvent e) + { + delete_actionPerformed(e); + } + }); + createpref = JvSwingUtils.makeButton("Create", + "Create a new parameter set with the current settings.", + new ActionListener() + { + + public void actionPerformed(ActionEvent e) + { + create_actionPerformed(e); + } + }); + revertpref = JvSwingUtils.makeButton("Revert", + "Undo all changes to the current parameter set", + new ActionListener() + { + + public void actionPerformed(ActionEvent e) + { + revert_actionPerformed(e); + } + }); + startjob = JvSwingUtils.makeButton("Start Job", + "Start Job with current settings.", new ActionListener() + { + public void actionPerformed(ActionEvent e) + { + startjob_actionPerformed(e); + } + }); + canceljob = JvSwingUtils.makeButton("Cancel Job", + "Close this dialog and cancel job.", new ActionListener() + { + public void actionPerformed(ActionEvent e) + { + canceljob_actionPerformed(e); + } + }); setDetails.setBorder(new TitledBorder("Details")); setDetails.setLayout(new BorderLayout()); @@ -219,71 +325,144 @@ public class WsJobParameters extends JPanel implements ItemListener, setDescr.setWrapStyleWord(true); setDescr.setLineWrap(true); setDescr.setBackground(getBackground()); - setDescr.setEditable(false); + setDescr.setEditable(true); + setDescr.getDocument().addDocumentListener(this); + setDescr.setToolTipText("Click to edit the notes for this parameter set."); JScrollPane setDescrView = new JScrollPane(); // setDescrView.setPreferredSize(new Dimension(350, 200)); setDescrView.getViewport().setView(setDescr); setName.setEditable(true); setName.addItemListener(this); setName.getEditor().addActionListener(this); - savmodified.setEnabled(false); // initially unmodified parameters - // modified.setPreferredSize(new Dimension(15, 15)); - JPanel SetNamePanel = new JPanel(); - SetNamePanel.setLayout(new BorderLayout()); - SetNamePanel.add(setName, BorderLayout.WEST); - SetNamePanel.add(renmodified, BorderLayout.CENTER); - SetNamePanel.add(savmodified, BorderLayout.EAST); - setDetails.add(SetNamePanel, BorderLayout.NORTH); + JPanel setNameInfo = new JPanel(new FlowLayout(FlowLayout.LEFT)); + GridBagLayout gbl = new GridBagLayout(); + SetNamePanel.setLayout(gbl); + + JLabel setNameLabel = new JLabel("Current parameter set name :"); + setNameLabel.setFont(new java.awt.Font("Verdana", Font.PLAIN, 10)); + + 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); + JPanel spacer = new JPanel(); + spacer.setPreferredSize(new Dimension(2, 30)); + setsavebuts.add(spacer); + setsavebuts.add(deletepref); + setsavebuts.add(revertpref); + setsavebuts.add(createpref); + setsavebuts.add(updatepref); + // setsavebuts.setSize(new Dimension(150, 30)); + JPanel buttonArea = new JPanel(new GridLayout(1, 1)); + buttonArea.add(setsavebuts); + SetNamePanel.add(setNameInfo); + GridBagConstraints gbc = new GridBagConstraints(); + gbc.gridheight = 2; + gbl.setConstraints(setNameInfo, gbc); + SetNamePanel.add(buttonArea); + gbc = new GridBagConstraints(); + gbc.gridx = 0; + gbc.gridy = 2; + gbc.gridheight = 1; + gbl.setConstraints(buttonArea, gbc); 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); - settingsPanel.setDividerLocation(0.4); + // paramPane.setPreferredSize(new Dimension(360, 400)); + // paramPane.setPreferredSize(null); + jobOptions.setBorder(new TitledBorder("Options")); + jobOptions.setOpaque(true); + paramList.setBorder(new TitledBorder("Parameters")); + paramList.setOpaque(true); + JPanel bjo = new JPanel(new BorderLayout()), bjp = new JPanel( + new BorderLayout()); + bjo.add(jobOptions, BorderLayout.CENTER); + bjp.add(paramList, BorderLayout.CENTER); + bjp.setOpaque(true); + bjo.setOpaque(true); + // optsAndparams.setScrollableWidth(ScrollableSizeHint.FIT); + // optsAndparams.setScrollableHeight(ScrollableSizeHint.NONE); + // optsAndparams.setLayout(new BorderLayout()); + optsAndparams.setLayout(new BorderLayout()); + optsAndparams.add(jobOptions, BorderLayout.NORTH); + optsAndparams.add(paramList, BorderLayout.CENTER); + JPanel jp = new JPanel(new BorderLayout()); + jp.add(optsAndparams, BorderLayout.CENTER); + paramPane.getViewport().setView(jp); + paramPane.setBorder(null); setLayout(new BorderLayout()); - // setPreferredSize(new Dimension(400, 600)); - // setSize(new Dimension(400, 600)); - jobPanel.setLeftComponent(setDetails); - jobPanel.setRightComponent(settingsPanel); - jobPanel.setOrientation(JSplitPane.VERTICAL_SPLIT); - jobPanel.setDividerLocation(0.8); + jobPanel.setPreferredSize(null); + jobPanel.setLayout(new BorderLayout()); + jobPanel.add(setDetails, BorderLayout.NORTH); + jobPanel.add(paramPane, BorderLayout.CENTER); + // 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); + validate(); } - protected void renModified_actionPerformed(ActionEvent e) + protected void revert_actionPerformed(ActionEvent e) { + reInitDialog(lastParmSet); - // TODO Auto-generated method stub - // save current prefs with new name and delete user pref with old name + } + protected void update_actionPerformed(ActionEvent e) + { + if (isUserPreset) + { + String curname = ((String) setName.getSelectedItem()).trim(); + _updatePreset(lastParmSet, curname); + lastParmSet = curname; + isUserPreset = true; + initArgSetModified(); + syncSetNamesWithStore(); + } } - protected void savModified_actionPerformed(ActionEvent e) + private void _deleteUserPreset(String lastParmSet2) { - // TODO Auto-generated method stub - // Store the current settings - // write out param file and name. - // update gui - initArgSetModified(); // reset the modification state + paramStore.deletePreset(lastParmSet2); + } + + 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) @@ -307,84 +486,132 @@ public class WsJobParameters extends JPanel implements ItemListener, 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) + void initForService(Jws2Instance service, WsParamSetI jabap, + List jabajobArgset) { + WsParamSetI p = null; + List jobArgset = null; settingDialog = true; - this.service = service; - // TODO: Recover window geometry prefs for this service - // jobPanel.setDividerLocation(proportionalLocation) - // settingsPanel.setDividerLocation(proportionalLocation) + { // instantiate the abstract proxy for Jaba objects + jobArgset = jabajobArgset == null ? null : JabaParamStore + .getJwsArgsfromJaba(jabajobArgset); + p = jabap; // (jabap != null) ? paramStore.getPreset(jabap.getName()) : + // null; + } + Hashtable exnames = new Hashtable(); - for (int i=0,iSize=setName.getItemCount(); i 0) + { + curSetName = "Supplied Settings"; + isUserPreset = false; + updateTable(p, jobArgset); + setName.setSelectedItem(curSetName); + updateButtonDisplay(); + } + else + { + curSetName = null; + reInitDialog(null); } } - updateTable(p, jobArgset); - initArgSetModified(); settingDialog = false; } @SuppressWarnings("unchecked") - private void updateTable(Preset p, List jobArgset) + private void updateTable(WsParamSetI p, List jobArgset) { - List setargs = new ArrayList(); + boolean setDefaultParams=false; + if (lastParmSet == null) + { + isUserPreset = false; + // First call - so provide Service default settings + setName.setSelectedItem(lastSetName = SVC_DEF); + } + if (p==null && SVC_DEF.equals(""+setName.getSelectedItem())) + { + // indicate that service defaults should be set if available + setDefaultParams=true; + } // populate table from default parameter set. - List args = serviceOptions.getArguments(); + List args = paramStore.getServiceParameters(); // split to params and required arguments { - for (Argument arg : args) - { - Argument myarg = (Argument) arg; + int cw = 0; + boolean optset=false; + for (ArgumentI myarg : args) + { // Ideally, Argument would implement isRequired ! - if (myarg instanceof Parameter) + if (myarg instanceof ParameterI) { - Parameter parm = (Parameter) myarg; - addParameter(parm); + ParameterI parm = (ParameterI) myarg; + opanp.addParameter(parm).validate(); } else { - if (myarg instanceof Option) + if (myarg instanceof OptionI) { - Option opt = (Option) myarg; - addOption(opt); - // Apply default value, always. - selectOption(opt, opt.getDefaultValue()); + OptionI opt = (OptionI) myarg; + OptionBox ob = opanp.addOption(opt); + ob.resetToDefault(setDefaultParams); + if (MAX_OPTWIDTH < ob.getPreferredSize().width) + { + MAX_OPTWIDTH = ob.getPreferredSize().width; + } + ob.validate(); + cw += ob.getPreferredSize().width + 5; } else { System.err.println("Ignoring unknown service argument type " - + arg.getClass().getName()); + + myarg.getClass().getName()); } } } @@ -392,28 +619,20 @@ public class WsJobParameters extends JPanel implements ItemListener, } if (p != null) { + isUserPreset = false; // initialise setname - setName.setSelectedItem(lastSetName=p.getName()); - setDescr.setText(lastDescrText=p.getDescription()); + setName.setSelectedItem(lastSetName = p.getName()); + setDescr.setText(lastDescrText = p.getDescription()); // TODO - URL link try { - args = p.getArguments(serviceOptions); + args = p.getArguments(); } catch (Exception e) { e.printStackTrace(); } // TODO: check if args should be unselected prior to resetting using the // preset - setargs.clear(); - } - else - { - if (lastParmSet == null) - { - // first call - so create a dummy name - setName.setSelectedItem(lastSetName="Defaults"); - } } if (jobArgset != null) @@ -424,566 +643,281 @@ public class WsJobParameters extends JPanel implements ItemListener, // get setargs from current object if (args != null) { - for (Argument arg : args) + for (ArgumentI arg : args) { - if (arg instanceof Parameter) + if (arg instanceof ParameterI) { - setargs.add((Parameter) arg); + opanp.setParameter((ParameterI) arg); } else { - if (arg instanceof Option) + if (arg instanceof OptionI) { - System.out.println("Setting option "+arg.getName()+" with "+arg.getDefaultValue()); - selectOption((Option) arg, arg.getDefaultValue()); + // System.out.println("Setting option " + // + System.identityHashCode(arg) + ":" + arg.getName() + // + " with " + arg.getDefaultValue()); + opanp.selectOption((OptionI) arg, arg.getValue()); } } } } - // mdl.setData(setargs); - // jobOptions.setLayout(new GridLayout(optSet.size() / 2 + 1, 2)); - jobOptions.setPreferredSize(new Dimension(PARAM_WIDTH, optSet.size() - * OPTSET_HEIGHT)); - jobOptions.setLayout(new GridLayout(optSet.size(), 1)); refreshParamLayout(); - // paramPanel.setLayout(new GridLayout(paramSet.size(), 1)); - // paramList.va - // paramPane.getViewport().validate(); - paramPane.validate(); - validate(); + revalidate(); } private boolean isModified() { - return savmodified.isEnabled(); + return modifiedElements.size() > 0; } private Hashtable modifiedElements = new Hashtable(); + /** * reset gui and modification state settings */ - private void initArgSetModified() { + private void initArgSetModified() + { curSetName = null; modifiedElements.clear(); - renmodified.setVisible(false); - savmodified.setEnabled(false); - + updateButtonDisplay(); } - private void argSetModified(Object modifiedElement, boolean b) + + private void updateButtonDisplay() { - if (!b) - { - modifiedElements.remove(modifiedElement); - } - else - { - modifiedElements.put(modifiedElement, modifiedElement); - } - // set mod status based on presence of elements in table - savmodified.setEnabled(modifiedElements.size() > 0); - // special reveal if setName has been modified - if (modifiedElements.get(setName) != null) + boolean _update = false, _create = false, _delete = false, _revert = false; + if (modifiedElements.size() > 0) { - if (curSetName != null && lastSetName!=null && !lastSetName.equals(curSetName)) + // set modified + _revert = true; + _update = isUserPreset; // can only update user presets + if (!isUserPreset || modifiedElements.containsKey(setName)) { - // also test to see if lastSetName exists in preset store - renmodified.setVisible(true); + // name modified - can create new preset + _create = true; } } else { - // setname isn't in modlist - so don't rename - renmodified.setEnabled(false); + // set unmodified } - validate(); - } + // can still delete a user preset + _delete = isUserPreset; - 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); + createpref.setVisible(_create); + updatepref.setVisible(_update); + deletepref.setVisible(_delete); + revertpref.setVisible(_revert); + validate(); } - private void selectOption(Option opt, String string) + public void argSetModified(Object modifiedElement, boolean b) { - OptionBox cb = optSet.get(opt.getName()); - if (cb == null) + if (settingDialog) { - cb = addOption(opt); + return; } - if (string == null) + if (!b) { - // no value specified. Either a .. -// if (opt.getPossibleValues()==null || opt.getPossibleValues().size()<=1) { - // switch -// cb.enabled.setSelected(true); -// } else { -// // or unselected option -// cb.enabled.setSelected(false); -// } - if (opt.isRequired()) - { - // indicate option needs to be selected! - } - else - { - cb.enabled.setSelected(false); - } + modifiedElements.remove(modifiedElement); } else { - cb.enabled.setSelected(true); - - if (opt.getPossibleValues().contains(string)) - { - cb.val.setSelectedItem(string); - } - else + if (b && modifiedElement == setName + && modifiedElements.contains(modifiedElement)) { - throw new Error("Invalid value " + string + " for option " + opt); + // HACK! prevents iteration on makeSetNameValid + b = false; } - + modifiedElements.put(modifiedElement, modifiedElement); } - if (opt.isRequired() && !cb.enabled.isSelected()) + // set mod status based on presence of elements in table + if (b && modifiedElements.size() > 0) { - // TODO: indicate paramset is not valid.. option needs to be selected! + makeSetNameValid(!isUserPreset); + SetNamePanel.revalidate(); } - cb.setInitialValue(); + updateButtonDisplay(); } - Map paramSet = new Hashtable(); - - public class ParamBox extends JPanel implements ChangeListener, - ActionListener + private boolean isServicePreset(String selectedItem) { - 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; + return selectedItem.equals(SVC_DEF) + || servicePresets.containsKey(selectedItem); + } - public ParamBox(final WsJobParameters pmlayout, Parameter parm) + /** + * 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 = (curSetName != null ? curSetName : (String) setName + .getSelectedItem()); + // check if the name is reserved - if it is, rename it. + if (isServicePreset(nm)) { - 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; - showDesc.addActionListener(new ActionListener() - { - - @Override - 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) + nm = "User " + nm; + renamed = true; + } + String tnm = nm; + if (newuserset) + { + int i = 0; + while (paramStore.getPreset(tnm) != null) { - integ = validator.getType() == Type.Integer; + tnm = nm + " (" + (++i) + ")"; + renamed = true; } - else + if (i > 0) { - if (parameter.getPossibleValues() != null) - { - choice = true; - } + nm = tnm; } - updateControls(parm); - descPanel.setBounds(new Rectangle(10, PARAM_CLOSEDHEIGHT, - PARAM_WIDTH - 20, PARAM_HEIGHT - PARAM_CLOSEDHEIGHT - 5)); - add(descPanel); - validate(); } - public void init() + boolean makeupdate = false; + // sync the gui with the preset database + for (int i = 0, iS = setName.getItemCount(); i < iS; i++) { - // reset the widget's initial value. - lastVal = null; + String snm = (String) setName.getItemAt(i); + if (snm.equals(nm)) + { + makeupdate = true; + // setName.setSelectedIndex(i); + } } - - boolean adjusting = false; - - Parameter parameter; - - JComboBox choicebox; - - public int getBoxHeight() + if (!makeupdate) { - return (descisvisible ? PARAM_HEIGHT : PARAM_CLOSEDHEIGHT); + setName.addItem(curSetName = nm); + setName.setSelectedItem(curSetName); } - - public void updateControls(Parameter parm) + if (renamed) { - 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; + settingDialog = false; // we need this name change to be registered. + argSetModified(setName, renamed); } + settingDialog = stn; + } - Object lastVal; - - public Parameter getParameter() + public void refreshParamLayout() + { + // optsAndparams.setPreferredSize(null); + FlowLayout fl = new FlowLayout(FlowLayout.LEFT); + int sep = fl.getVgap(); + boolean fh = true; + int os = 0, s = jobOptions.getBorder().getBorderInsets(jobOptions).bottom + + jobOptions.getBorder().getBorderInsets(jobOptions).top + + 2 + * sep; + /** + * final height for viewport + */ + int finalh = s; + int panewidth = paramPane.getViewport().getSize().width - 120 + - jobOptions.getBorder().getBorderInsets(jobOptions).left + + jobOptions.getBorder().getBorderInsets(jobOptions).right; + + int w = 2 + * fl.getHgap() + + (MAX_OPTWIDTH > OptsAndParamsPage.PARAM_WIDTH ? MAX_OPTWIDTH + : OptsAndParamsPage.PARAM_WIDTH); + int hgap = fl.getHgap(), cw = hgap; + + if (opanp.getOptSet().size() > 0) { - try - { - if (choice) - { - parameter.setDefaultValue((String) choicebox.getSelectedItem()); - } - else - { - parameter.setDefaultValue(valueField.getText()); - } - } catch (WrongParameterException e) - { - e.printStackTrace(); - return null; - } - return parameter; - } - public Object updateSliderFromValueField() - { - int iVal; - float fVal; - if (validator != null) + jobOptions.setLayout(new MigLayout("", "", "")); + jobOptions.removeAll(); + + for (OptionBox pbox : opanp.getOptSet().values()) { - if (integ) + pbox.validate(); + cw += pbox.getSize().width + hgap; + if (cw + 120 > panewidth) { - 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 }; + jobOptions.add(pbox, "wrap"); + // System.out.println("Wrap on "+pbox.option.getName()); + cw = hgap + pbox.getSize().width; + fh = true; } 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 }; + jobOptions.add(pbox); } - } - else - { - if (!choice) - { - slider.setVisible(false); - return new String[] - { valueField.getText().trim() }; - } - else + if (fh) { - return new String[] - { (String) choicebox.getSelectedItem() }; + finalh += pbox.getSize().height + fl.getVgap(); + fh = false; } } - - } - - @Override - public void stateChanged(ChangeEvent e) - { - if (!adjusting) - { - valueField.setText("" - + ((integ) ? ("" + (int) slider.getValue()) - : ("" + (float) (slider.getValue() / 1000f)))); - checkIfModified(); - } - + jobOptions.revalidate(); } - - @Override - public void actionPerformed(ActionEvent e) + else { - if (adjusting) - { - return; - } - if (!choice) - { - updateSliderFromValueField(); - } - checkIfModified(); + jobOptions.setVisible(false); } - private void checkIfModified() + // Now layout the parameters assuming they occupy one column - to calculate + // total height of options+parameters + fl = new FlowLayout(FlowLayout.LEFT); + // helpful hint from + // http://stackoverflow.com/questions/2743177/top-alignment-for-flowlayout + fl.setAlignOnBaseline(true); + if (opanp.getParamSet().size() > 0) { - Object cstate = updateSliderFromValueField(); - boolean notmod = false; - if (cstate.getClass() == lastVal.getClass()) + paramList.removeAll(); + paramList.setLayout(new MigLayout("", "", "")); + fh = true; + for (ParamBox pbox : opanp.getParamSet().values()) { - 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[]) + pbox.validate(); + cw += pbox.getSize().width + hgap; + if (cw + 160 > panewidth) { - notmod = (((String[]) cstate)[0].equals(((String[]) lastVal)[0])); + paramList.add(pbox, "wrap"); + cw = pbox.getSize().width + hgap; + fh = true; } - } - pmdialogbox.argSetModified(this, !notmod); - } - } - - Map optSet = new Hashtable(); - - public class OptionBox extends JPanel implements ActionListener - { - JComboBox val = new JComboBox(); - - JCheckBox enabled = new JCheckBox(); - - 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(opt.getName()); - enabled.setToolTipText(opt.getDescription()); - enabled.addActionListener(this); - add(enabled, BorderLayout.NORTH); - if (opt.getPossibleValues().size() > 1) - { - setLayout(new GridLayout(1, 2)); - for (Object str : opt.getPossibleValues()) + else { - val.addItem((String) str); + paramList.add(pbox); } - 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(); - } - - boolean initEnabled = false; - - String initVal = null; - - public void setInitialValue() - { - initEnabled = enabled.isSelected(); - if (option.getPossibleValues() != null - && option.getPossibleValues().size() > 1) - { - initVal = (String) val.getSelectedItem(); - } - } - - public Option getOptionIfEnabled() - { - if (!enabled.isSelected()) - { - return null; - } - try - { - if (val.getSelectedItem() != null) + if (fh) { - option.setDefaultValue((String) val.getSelectedItem()); + finalh += pbox.getSize().height + fl.getVgap(); + fh = false; } - } catch (WrongParameterException e) - { - e.printStackTrace(); - return null; - } - return option; - } - @Override - public void actionPerformed(ActionEvent e) - { - if (e.getSource() != enabled) - { - enabled.setSelected(true); } - checkIfModified(); + /* + * s = 2 * sep; for (ParamBox pbox : opanp.getParamSet().values()) { + * pbox.validate(); s += sep + + * pbox.getPreferredSize().height+pbox.getBorder + * ().getBorderInsets(pbox).bottom; } + * + * // paramList.setPreferredSize(new Dimension(w, s)); + * os+=s+2*sep+paramList + * .getBorder().getBorderInsets(paramList).bottom+paramList + * .getBorder().getBorderInsets(paramList).top; + */ + paramList.revalidate(); } - - private void checkIfModified() - { - boolean notmod = (initEnabled == enabled.isSelected()); - if (initVal != null) - { - notmod = initVal.equals(val.getSelectedItem()); - } - argSetModified(this, !notmod); - } - } - - 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; - } - - protected void refreshParamLayout() - { - int s = 100; - for (ParamBox pbox : paramSet.values()) + else { - s += pbox.getBoxHeight(); + paramList.setVisible(false); } - paramList.setPreferredSize(new Dimension(PARAM_WIDTH, s)); - paramList.setLayout(new FlowLayout()); - validate(); + // TODO: waste some time trying to eliminate any unnecessary .validate calls + // here + // System.out.println("Size will be : "+w+","+os); + // optsAndparams.setPreferredSize(null); + // paramPane.getViewport().setView(optsAndparams); + paramPane.getViewport().setAutoscrolls(true); + paramPane.revalidate(); + revalidate(); } /** @@ -996,7 +930,7 @@ public class WsJobParameters extends JPanel implements ItemListener, jalview.ws.jws2.Jws2Discoverer disc = jalview.ws.jws2.Jws2Discoverer .getDiscoverer(); int p = 0; - if (args.length > 3) + if (args.length > 0) { Vector services = new Vector(); services.addElement(args[p++]); @@ -1011,207 +945,334 @@ public class WsJobParameters extends JPanel implements ItemListener, e.printStackTrace(); return; } - Jws2Discoverer.Jws2Instance lastserv = null; - for (Jws2Discoverer.Jws2Instance service : disc.getServices()) + Jws2Instance lastserv = null; + for (Jws2Instance service : disc.getServices()) { lastserv = service; - if (p < args.length && service.serviceType.equalsIgnoreCase(args[p])) - { - break; - } - } - if (lastserv != null) - { - List prl = null; - Preset pr = null; - if (++p < args.length) + if (p >= args.length || service.serviceType.equalsIgnoreCase(args[p])) { - PresetManager prman = lastserv.getPresets(); - if (prman != null) + if (lastserv != null) { - pr = prman.getPresetByName(args[p]); - if (pr == null) + List prl = null; + Preset pr = null; + if (++p < args.length) { - // just grab the last preset. - prl = prman.getPresets(); + PresetManager prman = lastserv.getPresets(); + if (prman != null) + { + pr = prman.getPresetByName(args[p]); + if (pr == null) + { + // just grab the last preset. + prl = prman.getPresets(); + } + } } - } - } - Iterator en = (prl == null) ? null : prl.iterator(); - while (true) - { - if (en != null) - { - if (!en.hasNext()) + else { - en = prl.iterator(); + PresetManager prman = lastserv.getPresets(); + if (prman != null) + { + prl = prman.getPresets(); + } } - pr = en.next(); - } - WsJobParameters pgui = new WsJobParameters(lastserv, pr); - JFrame jf = new JFrame("Parameters for " + lastserv.getActionText()); - JPanel cont = new JPanel(); - // jf.setPreferredSize(new Dimension(600, 800)); - cont.add(pgui); - jf.add(cont); - final Thread thr = Thread.currentThread(); - jf.addWindowListener(new WindowListener() - { - - @Override - public void windowActivated(WindowEvent e) + Iterator en = (prl == null) ? null : prl.iterator(); + while (en != null && en.hasNext()) { - // TODO Auto-generated method stub + if (en != null) + { + if (!en.hasNext()) + { + en = prl.iterator(); + } + pr = en.next(); + } + { + System.out.println("Testing opts dupes for " + + lastserv.getUri() + " : " + + lastserv.getActionText() + ":" + pr.getName()); + List