public interface HealthEndpointGroups
groups for use with a health endpoint.| Modifier and Type | Method and Description |
|---|---|
default HealthEndpointGroup |
get(AdditionalHealthEndpointPath path)
Return the group with the specified additional path or
null if no group
with that path is found. |
HealthEndpointGroup |
get(String name)
Return the group with the specified name or
null if the name is not known. |
default Set<HealthEndpointGroup> |
getAllWithAdditionalPath(WebServerNamespace namespace)
Return all the groups with an additional path on the specified
WebServerNamespace. |
Set<String> |
getNames()
Return the names of any additional groups.
|
HealthEndpointGroup |
getPrimary()
Return the primary group used by the endpoint.
|
static HealthEndpointGroups |
of(HealthEndpointGroup primary,
Map<String,HealthEndpointGroup> additional)
Factory method to create a
HealthEndpointGroups instance. |
HealthEndpointGroup getPrimary()
null)Set<String> getNames()
HealthEndpointGroup get(String name)
null if the name is not known.name - the name of the groupHealthEndpointGroup or nulldefault HealthEndpointGroup get(AdditionalHealthEndpointPath path)
null if no group
with that path is found.path - the additional pathHealthEndpointGroup or nulldefault Set<HealthEndpointGroup> getAllWithAdditionalPath(WebServerNamespace namespace)
WebServerNamespace.namespace - the WebServerNamespacestatic HealthEndpointGroups of(HealthEndpointGroup primary, Map<String,HealthEndpointGroup> additional)
HealthEndpointGroups instance.primary - the primary groupadditional - the additional groupsHealthEndpointGroups instance