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 null
default HealthEndpointGroup get(AdditionalHealthEndpointPath path)
null
if no group
with that path is found.path
- the additional pathHealthEndpointGroup
or null
default Set<HealthEndpointGroup> getAllWithAdditionalPath(WebServerNamespace namespace)
WebServerNamespace
.namespace
- the WebServerNamespace
static HealthEndpointGroups of(HealthEndpointGroup primary, Map<String,HealthEndpointGroup> additional)
HealthEndpointGroups
instance.primary
- the primary groupadditional
- the additional groupsHealthEndpointGroups
instance