/*
* 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