src/jalview/ws/ServiceChangeListener.java

   1 package jalview.ws;
   2
   3 import java.util.Collection;
   4 import java.util.EventListener;
   5
   6 import jalview.ws.api.ServiceWithParameters;
   7
   8 @FunctionalInterface
   9 public interface ServiceChangeListener extends EventListener
  10 {
  11   public void servicesChanged(WSDiscovererI discoverer,
  12           Collection<? extends ServiceWithParameters> services);
  13 }