ZoneList.get(ZoneId)

1 files changed, 6 insertions, 0 deletions

diff --git a/config-provisioning/src/main/java/com/yahoo/config/provision/zone/ZoneList.java b/config-provisioning/src/main/java/com/yahoo/config/provision/zone/ZoneList.java
index ce4542cbae9..0a6bdd3b6b8 100644
--- a/config-provisioning/src/main/java/com/yahoo/config/provision/zone/ZoneList.java
+++ b/config-provisioning/src/main/java/com/yahoo/config/provision/zone/ZoneList.java
@@ -6,6 +6,7 @@ import com.yahoo.config.provision.Environment;
 import com.yahoo.config.provision.RegionName;
 
 import java.util.List;
+import java.util.Optional;
 import java.util.stream.Collectors;
 
 /**
@@ -40,6 +41,11 @@ public interface ZoneList extends ZoneFilter {
     /** Zones where traffic is routed using given method */
     ZoneList routingMethod(RoutingMethod method);
 
+    /** Returns the zone with the given id, if this exists. */
+    default Optional<? extends ZoneApi> get(ZoneId id) {
+        return among(id).zones().stream().findFirst();
+    }
+
     /** Returns the ZoneApi of all zones in this list. */
     List<? extends ZoneApi> zones();