public interface RichGaugeOperations
Modifier and Type | Method and Description |
---|---|
void |
delete(java.lang.String name)
Delete the given named rich gauge
|
org.springframework.hateoas.PagedResources<MetricResource> |
list()
List the names of the available richgauges
|
RichGaugeResource |
retrieve(java.lang.String name)
Display the value of the named Rich Gauge
|
RichGaugeResource retrieve(java.lang.String name)
name
- the name of the rich gaugeorg.springframework.hateoas.PagedResources<MetricResource> list()
void delete(java.lang.String name)
name
- the name of the rich gauge to delete