/* * Jalview - A Sequence Alignment Editor and Viewer ($$Version-Rel$$) * Copyright (C) $$Year-Rel$$ 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 java.awt.BorderLayout; 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.HierarchyBoundsListener; import java.awt.event.HierarchyEvent; import java.awt.event.ItemEvent; import java.awt.event.ItemListener; import java.awt.event.WindowEvent; import java.awt.event.WindowListener; import java.net.URL; import java.util.Hashtable; import java.util.Iterator; import java.util.List; import java.util.Vector; import javax.swing.JButton; import javax.swing.JComboBox; import javax.swing.JDialog; import javax.swing.JFrame; import javax.swing.JLabel; import javax.swing.JPanel; import javax.swing.JScrollPane; import javax.swing.JSplitPane; import javax.swing.JTextArea; import javax.swing.border.TitledBorder; import javax.swing.event.DocumentEvent; import javax.swing.event.DocumentListener; 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 jalview.bin.Console; import jalview.gui.OptsAndParamsPage.OptionBox; import jalview.gui.OptsAndParamsPage.ParamBox; import jalview.util.MessageManager; 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 net.miginfocom.swing.MigLayout; /** * 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, OptsParametersContainerI { 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(); JPanel SetNamePanel = new JPanel(); JPanel setDetails = new JPanel(); JSplitPane settingsPanel = new JSplitPane(); JPanel jobPanel = new JPanel(); JScrollPane jobOptionsPane = new JScrollPane(); 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(); // ScrollablePanel optsAndparams = new ScrollablePanel(); JPanel optsAndparams = new JPanel(); RunnerConfig serviceOptions; ParamDatastoreI paramStore; private int MAX_OPTWIDTH = 200; WsJobParameters(Jws2Instance service) { this(service, null); } public WsJobParameters(Jws2Instance service, WsParamSetI preset) { this(null, service, preset, null); } /** * * @param desktop * - if null, create new JFrame outside of desktop * @param service * @param preset */ 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, preset, 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(MessageManager.formatMessage("label.edit_params_for", new String[] { service.getActionText() })); Rectangle deskr = Desktop.instance.getBounds(); 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() { @Override public void run() { // jobPanel.setDividerLocation(0.25); } }); frame.setVisible(true); if (response > 0) { return true; } return false; } private void jbInit() { this.addHierarchyBoundsListener(new HierarchyBoundsListener() { @Override public void ancestorResized(HierarchyEvent arg0) { refreshParamLayout(); } @Override public void ancestorMoved(HierarchyEvent arg0) { // TODO Auto-generated method stub } }); updatepref = JvSwingUtils.makeButton( MessageManager.getString("action.update"), MessageManager.getString("label.update_user_parameter_set"), new ActionListener() { @Override public void actionPerformed(ActionEvent e) { update_actionPerformed(e); } }); deletepref = JvSwingUtils.makeButton( MessageManager.getString("action.delete"), MessageManager.getString("label.delete_user_parameter_set"), new ActionListener() { @Override public void actionPerformed(ActionEvent e) { delete_actionPerformed(e); } }); createpref = JvSwingUtils.makeButton( MessageManager.getString("action.create"), MessageManager.getString("label.create_user_parameter_set"), new ActionListener() { @Override public void actionPerformed(ActionEvent e) { create_actionPerformed(e); } }); revertpref = JvSwingUtils.makeButton( MessageManager.getString("action.revert"), MessageManager .getString("label.revert_changes_user_parameter_set"), new ActionListener() { @Override public void actionPerformed(ActionEvent e) { revert_actionPerformed(e); } }); startjob = JvSwingUtils.makeButton( MessageManager.getString("action.start_job"), MessageManager.getString("label.start_job_current_settings"), new ActionListener() { @Override public void actionPerformed(ActionEvent e) { startjob_actionPerformed(e); } }); canceljob = JvSwingUtils.makeButton( MessageManager.getString("action.cancel_job"), MessageManager.getString("label.cancel_job_close_dialog"), new ActionListener() { @Override public void actionPerformed(ActionEvent e) { canceljob_actionPerformed(e); } }); setDetails.setBorder( new TitledBorder(MessageManager.getString("label.details"))); setDetails.setLayout(new BorderLayout()); setDescr.setColumns(40); setDescr.setWrapStyleWord(true); setDescr.setLineWrap(true); setDescr.setBackground(getBackground()); setDescr.setEditable(true); setDescr.getDocument().addDocumentListener(this); setDescr.setToolTipText( MessageManager.getString("label.edit_notes_parameter_set")); JScrollPane setDescrView = new JScrollPane(); setDescrView.getViewport().setView(setDescr); setName.setEditable(true); setName.addItemListener(this); setName.getEditor().addActionListener(this); JPanel setNameInfo = new JPanel(new FlowLayout(FlowLayout.LEFT)); GridBagLayout gbl = new GridBagLayout(); SetNamePanel.setLayout(gbl); JLabel setNameLabel = new JLabel( MessageManager.getString("label.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); // paramPane.setPreferredSize(new Dimension(360, 400)); // paramPane.setPreferredSize(null); jobOptions.setBorder( new TitledBorder(MessageManager.getString("label.options"))); jobOptions.setOpaque(true); paramList.setBorder( new TitledBorder(MessageManager.getString("label.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()); 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); // JAL-1580: setMaximumSize() doesn't work, so just size for the worst case: // check for null is for JUnit usage final int windowHeight = Desktop.instance == null ? 540 : Desktop.instance.getHeight(); setPreferredSize(new Dimension(540, windowHeight)); add(dialogpanel, BorderLayout.SOUTH); validate(); } protected void revert_actionPerformed(ActionEvent e) { reInitDialog(lastParmSet); updateWebServiceMenus(); } protected void update_actionPerformed(ActionEvent e) { if (isUserPreset) { String curname = ((String) setName.getSelectedItem()).trim(); _updatePreset(lastParmSet, curname); lastParmSet = curname; isUserPreset = true; initArgSetModified(); syncSetNamesWithStore(); } } private void _deleteUserPreset(String lastParmSet2) { paramStore.deletePreset(lastParmSet2); } protected void delete_actionPerformed(ActionEvent e) { if (isUserPreset) { // delete current preset's saved entry _deleteUserPreset(lastParmSet); } reInitDialog(null); // service default updateWebServiceMenus(); } protected void create_actionPerformed(ActionEvent e) { String curname = ((String) setName.getSelectedItem()).trim(); if (curname.length() > 0) { _storeCurrentPreset(curname); lastParmSet = curname; isUserPreset = true; reInitDialog(curname); initArgSetModified(); updateWebServiceMenus(); } else { // TODO: show warning jalview.bin.Console.errPrintln("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, WsParamSetI jabap, List jabajobArgset) { WsParamSetI p = null; List jobArgset = null; settingDialog = true; { // 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 < iSize; i++) { exnames.put(setName.getItemAt(i), setName.getItemAt(i)); } servicePresets = new Hashtable(); // Add the default entry - if not present already. if (!exnames.contains(SVC_DEF)) { setName.addItem(SVC_DEF); exnames.put(SVC_DEF, SVC_DEF); servicePresets.put(SVC_DEF, SVC_DEF); } String curname = (p == null ? "" : p.getName()); for (WsParamSetI pr : paramStore.getPresets()) { if (!pr.isModifiable()) { servicePresets.put(pr.getName(), "preset"); } else { } if (!exnames.contains(pr.getName())) { setName.addItem(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"; isUserPreset = false; updateTable(p, jobArgset); setName.setSelectedItem(curSetName); updateButtonDisplay(); } else { curSetName = null; reInitDialog(null); } } settingDialog = false; } @SuppressWarnings("unchecked") private void updateTable(WsParamSetI p, List jobArgset) { 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 = paramStore.getServiceParameters(); // split to params and required arguments { int cw = 0; boolean optset = false; for (ArgumentI myarg : args) { // Ideally, Argument would implement isRequired ! if (myarg instanceof ParameterI) { ParameterI parm = (ParameterI) myarg; opanp.addParameter(parm).validate(); } else { if (myarg instanceof OptionI) { 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 { jalview.bin.Console.errPrintln("Ignoring unknown service argument type " + myarg.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(); } catch (Exception e) { e.printStackTrace(); } // TODO: check if args should be unselected prior to resetting using the // preset } if (jobArgset != null) { argSetModified(jobArgset, true); args = jobArgset; } // get setargs from current object if (args != null) { for (ArgumentI arg : args) { if (arg instanceof ParameterI) { opanp.setParameter((ParameterI) arg); } else { if (arg instanceof OptionI) { // jalview.bin.Console.outPrintln("Setting option " // + System.identityHashCode(arg) + ":" + arg.getName() // + " with " + arg.getDefaultValue()); opanp.selectOption((OptionI) arg, arg.getValue()); } } } } refreshParamLayout(); 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(); } @Override public void argSetModified(Object modifiedElement, boolean b) { if (settingDialog) { return; } if (!b) { modifiedElements.remove(modifiedElement); } else { if (b && modifiedElement == setName && modifiedElements.contains(modifiedElement)) { // HACK! prevents iteration on makeSetNameValid b = false; } 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 = (curSetName != null ? curSetName : (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 (paramStore.getPreset(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; } @Override 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) { jobOptions.setLayout(new MigLayout("", "", "")); jobOptions.removeAll(); for (OptionBox pbox : opanp.getOptSet().values()) { pbox.validate(); cw += pbox.getSize().width + hgap; if (cw + 120 > panewidth) { jobOptions.add(pbox, "wrap"); // jalview.bin.Console.outPrintln("Wrap on "+pbox.option.getName()); cw = hgap + pbox.getSize().width; fh = true; } else { jobOptions.add(pbox); } if (fh) { finalh += pbox.getSize().height + fl.getVgap(); fh = false; } } jobOptions.revalidate(); } else { jobOptions.setVisible(false); } // 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) { paramList.removeAll(); paramList.setLayout(new MigLayout("", "", "")); fh = true; for (ParamBox pbox : opanp.getParamSet().values()) { pbox.validate(); cw += pbox.getSize().width + hgap; if (cw + 160 > panewidth) { paramList.add(pbox, "wrap"); cw = pbox.getSize().width + hgap; fh = true; } else { paramList.add(pbox); } if (fh) { finalh += pbox.getSize().height + fl.getVgap(); fh = false; } } /* * 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(); } else { paramList.setVisible(false); } // TODO: waste some time trying to eliminate any unnecessary .validate calls // here // jalview.bin.Console.outPrintln("Size will be : "+w+","+os); // optsAndparams.setPreferredSize(null); // paramPane.getViewport().setView(optsAndparams); paramPane.getViewport().setAutoscrolls(true); paramPane.revalidate(); revalidate(); } /** * testing method - grab a service and parameter set and show the window * * @param args * @j2sIgnore */ public static void main(String[] args) { jalview.ws.jws2.Jws2Discoverer disc = jalview.ws.jws2.Jws2Discoverer .getDiscoverer(); int p = 0; if (args.length > 0) { Vector services = new Vector<>(); services.addElement(args[p++]); Jws2Discoverer.getDiscoverer().setServiceUrls(services); } try { disc.run(); } catch (Exception e) { jalview.bin.Console.errPrintln("Aborting. Problem discovering services."); e.printStackTrace(); return; } Jws2Instance lastserv = null; for (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(); } { jalview.bin.Console.outPrintln("Testing opts dupes for " + lastserv.getUri() + " : " + lastserv.getActionText() + ":" + pr.getName()); List