diff options
author | jonmv <venstad@gmail.com> | 2022-06-24 08:42:35 +0200 |
---|---|---|
committer | jonmv <venstad@gmail.com> | 2022-06-24 08:42:35 +0200 |
commit | 0d4d8c719ddc2947b6172eaaa5e2e368dadaa469 (patch) | |
tree | dbb2c7c2c97eff922d7465828088f595068e1247 /config-provisioning/src/main/java | |
parent | c1e62d8ec495b5c7c358597f2bd7754853475adf (diff) |
ZoneList.get(ZoneId)
Diffstat (limited to 'config-provisioning/src/main/java')
-rw-r--r-- | config-provisioning/src/main/java/com/yahoo/config/provision/zone/ZoneList.java | 6 |
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(); |