Merge branch 'feature/JAL-3690_callback-based-web-services' into alpha/JAL-3066_Jalvi...
[jalview.git] / src / jalview / ws / ServiceChangeListener.java
diff --git a/src/jalview/ws/ServiceChangeListener.java b/src/jalview/ws/ServiceChangeListener.java
new file mode 100644 (file)
index 0000000..98e15b9
--- /dev/null
@@ -0,0 +1,13 @@
+package jalview.ws;
+
+import java.util.Collection;
+import java.util.EventListener;
+
+import jalview.ws.api.ServiceWithParameters;
+
+@FunctionalInterface
+public interface ServiceChangeListener extends EventListener
+{
+  public void servicesChanged(WSDiscovererI discoverer,
+          Collection<? extends ServiceWithParameters> services);
+}