import jalview.gui.JvSwingUtils;
import jalview.util.MessageManager;
import jalview.ws.WSMenuEntryProviderI;
+import jalview.ws.api.ServiceWithParameters;
import jalview.ws.jws2.jabaws2.Jws2Instance;
import jalview.ws.params.ParamDatastoreI;
MessageManager.getString("label.switch_server")));
hitm.setToolTipText(JvSwingUtils.wrapTooltip(false,
MessageManager.getString("label.choose_jabaws_server")));
- for (final Jws2Instance sv : alternates.get(service.getName()))
+ for (final ServiceWithParameters sv : alternates.get(service.getName()))
{
JMenuItem itm;
hitm.add(itm = new JMenuItem(sv.getHostURL()));
System.out.println("Changesupport: There are now "
+ getDiscoverer().services.size() + " services");
int i = 1;
- for (Jws2Instance instance : getDiscoverer().services)
+ for (ServiceWithParameters instance : getDiscoverer().services)
{
System.out.println("Service " + i++ + " "
+ instance.getClass() + "@"
}
public void setPreferredServiceFor(AlignFrame af, String serviceName,
- String serviceAction, Jws2Instance selectedServer)
+ String serviceAction, ServiceWithParameters selectedServer)
{
// TODO: pull out and generalise for the selectedServer's attributes
String afid = (af == null) ? "" : af.getViewport().getSequenceSetId();
}
public void setPreferredServiceFor(String serviceType,
- String serviceAction, Jws2Instance selectedServer)
+ String serviceAction, ServiceWithParameters selectedServer)
{
setPreferredServiceFor(null, serviceType, serviceAction,
selectedServer);